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.

Groups, Graphs, and Hypergraphs: Average Sizes of Kernels of Generic Matrices with Support Constraints

Super graphs on groups, II

Two Matrix Theorems Arising from Nilpotent Groups

Bipartite $q$-Kneser graphs and two-generated irreducible linear groups

On generalized corners and matrix multiplication

Universal localizations, Atiyah conjectures and graphs of groups

Hardness Amplification via Group Theory

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

Schur Multipliers of $C^*$-algebras, group-invariant compactification and applications to amenability and percolation

Universal adjacency spectrum of (proper) power graphs and their complements on some groups

Interlacing triangles, Schubert puzzles, and graph colorings

2-Selmer Groups over Multiquadratic Extensions

Rank fluctuations of matrix products and a moment method for growing groups

The Spectrum of the Singular Values of Z-Shaped Graph Matrices

Finite groups with geodetic Cayley graphs

Singular Values of Products of Ginibre Random Matrices, Multiple Orthogonal Polynomials and Hard Edge Scaling Limits

On Hypergraph Supports

An extension of Steinberg's Theorem to biquotient pairs of subgroups

Chromatic numbers of Cayley graphs of abelian groups: A matrix method

The average size of maximal matchings in graphs