Abstract:We employ techniques from group theory to show that, in many cases, counting problems on graphs are almost as hard to solve in a small number of instances as they are in all instances. Specifically, we show the following results. 1. Goldreich (2020) asks if, for every constant $\delta < 1 / 2$, there is an $\tilde{O} \left( n^2 \right)$-time randomized reduction from computing the number of $k$-cliques modulo $2$ with a success probability of greater than $2 / 3$ to computing the number of $k$-cliques modulo $2$ with an error probability of at most $\delta$. In this work, we show that for almost all choices of the $\delta 2^{n \choose 2}$ corrupt answers within the average-case solver, we have a reduction taking $\tilde{O} \left( n^2 \right)$-time and tolerating an error probability of $\delta$ in the average-case solver for any constant $\delta < 1 / 2$. By "almost all", we mean that if we choose, with equal probability, any subset $S \subset \{0,1\}^{n \choose 2}$ with $|S| = \delta2^{n \choose 2}$, then with a probability of $1-2^{-\Omega \left( n^2 \right)}$, we can use an average-case solver corrupt on $S$ to obtain a probabilistic algorithm. 2. Inspired by the work of Goldreich and Rothblum in FOCS 2018 to take the weighted versions of the graph counting problems, we prove that if the RETH is true, then for a prime $p = \Theta \left( 2^n \right)$, the problem of counting the number of unique Hamiltonian cycles modulo $p$ on $n$-vertex directed multigraphs and the problem of counting the number of unique half-cliques modulo $p$ on $n$-vertex undirected multigraphs, both require exponential time to compute correctly on even a $1 / 2^{n/\log n}$-fraction of instances. Meanwhile, simply printing $0$ on all inputs is correct on at least a $\Omega \left( 1 / 2^n \right)$-fraction of instances.

Bypassing the XOR Trick: Stronger Certificates for Hypergraph Clique Number

Hardness Amplification via Group Theory

Improved Hardness of Approximating k-Clique under ETH

An Alternative Proof of the Exponential Monotone Complexity of the Clique Function

Spectral Pseudorandomness and the Road to Improved Clique Number Bounds for Paley Graphs

Certificates in P and Subquadratic-Time Computation of Radius, Diameter, and all Eccentricities in Graphs

Many cliques with small degree powers

Deterministic near-optimal distributed listing of cliques

An algorithmic version of the Hajnal--Szemerédi theorem

Algorithms approaching the threshold for semi-random planted clique

Spectral Planting and the Hardness of Refuting Cuts, Colorability, and Communities in Random Graphs

A simple and sharper proof of the hypergraph Moore bound

Many cliques in bounded-degree hypergraphs

The clique chromatic number of sparse random graphs

Large cliques or co-cliques in hypergraphs with forbidden order-size pairs

Revisiting the Challenges of MaxClique

Clique Is Hard on Average for Sherali-Adams with Bounded Coefficients

Bounds on the Spectral Radius of General Hypergraphs in Terms of Clique Number

Conformal Hypergraphs: Duality and Implications for the Upper Clique Transversal Problem

The Maximum Number of Cliques in Hypergraphs without Large Matchings

Coloring hypergraphs that are the union of nearly disjoint cliques