Abstract:We give a randomness-efficient homomorphism test in the low soundness regime for functions, $f: G\to \mathbb{U}_t$, from an arbitrary finite group $G$ to $t\times t$ unitary matrices. We show that if such a function passes a derandomized Blum--Luby--Rubinfeld (BLR) test (using small-bias sets), then (i) it correlates with a function arising from a genuine homomorphism, and (ii) it has a non-trivial Fourier mass on a low-dimensional irreducible representation. In the full randomness regime, such a test for matrix-valued functions on finite groups implicitly appears in the works of Gowers and Hatami [Sbornik: Mathematics '17], and Moore and Russell [SIAM Journal on Discrete Mathematics '15]. Thus, our work can be seen as a near-optimal derandomization of their results. Our key technical contribution is a "degree-2 expander mixing lemma'' that shows that Gowers' $\mathrm{U}^2$ norm can be efficiently estimated by restricting it to a small-bias subset. Another corollary is a "derandomized'' version of a useful lemma due to Babai, Nikolov, and Pyber [SODA'08] and Gowers [Comb. Probab. Comput.'08].

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to perform randomness - efficient homomorphism testing on the function $f: G \to U_t$ from an arbitrary finite group $G$ to the $t\times t$ unitary matrix group $U_t$ in the low soundness regime. Specifically, the goal of the paper is to design a derandomized Blum - Luby - Rubinfeld (BLR) testing method, such that if a function passes this derandomized test, then it can be concluded that the function is associated with some genuine homomorphism function, or has a non - trivial Fourier mass on low - dimensional irreducible representations. ### Background of the Paper In theoretical computer science, an important problem is to efficiently test whether a function $f: G \to H$ is related to some homomorphism function between two groups $G$ and $H$. This kind of testing has wide applications in areas such as probabilistically checkable proofs (PCPs), approximation hardness, and locally testable codes. In recent years, researchers have become interested in homomorphism testing on non - Abelian groups. For example, in quantum complexity, entanglement testing involves homomorphism testing of the non - Abelian Pauli group, which has played an important role in proving MIP* = RE. ### Main Contributions 1. **Derandomized Homomorphism Testing** - The paper proposes a derandomized BLR testing method for functions from an arbitrary finite group $G$ to the $t\times t$ unitary matrix group $U_t$ in the low soundness regime. - Small - bias sets are used as derandomization tools, and these sets can "deceive" irreducible representations. - It is proved that if a function passes the derandomized BLR test, then the function is associated with some genuine homomorphism function, or has a non - trivial Fourier mass on low - dimensional irreducible representations. 2. **Derandomized BNP Lemma** - A derandomized matrix BNP lemma is proposed, and this lemma still holds on small - bias sets. - This lemma has important applications in analyzing mixing progress in quasi - random groups, product - free sets, etc. ### Technical Overview - **Spectral Norm and Its Non - Abelian Analogue** - The spectral norm is an important concept in the analysis of Boolean functions. For non - Abelian groups, the paper introduces the Fourier - algebraic norm as an analogue of the spectral norm. - It is proved that any small - bias set can deceive functions with a small Fourier - algebraic norm. - **Spectral Positivity and Its Non - Abelian Analogue** - For functions on Abelian groups, spectral non - negativity means that the Fourier coefficient of each character is non - negative. - For finite groups, a positive - definite function means that the Fourier coefficient of each irreducible representation is positive semi - definite. - It is proved that such functions have a small algebraic norm, and this is used to prove that small - bias sets can approximate the U2 norm. ### Applications - **Derandomized Homomorphism Testing** - Through the derandomized BLR test, it is possible to efficiently test whether a function is associated with some homomorphism function in the low soundness regime. - This testing method has important applications in the construction of probabilistically checkable proofs (PCPs) and locally testable codes. - **Derandomized BNP Lemma** - This lemma has important applications in analyzing mixing progress in quasi - random groups, product - free sets, etc., especially in the low soundness regime. ### Related Work - **High Soundness Regime** - Blum - Luby - Rubinfeld (BLR) analyzed the linear testing of functions of the form $f: \mathbb{Z}_2^n \to \{\pm 1\}$. - These results were extended to arbitrary finite groups $G$ and $H$ and were derandomized. - **Low Soundness Regime** - Bellare, Coppersmith, Håstad, Kiwi

Derandomized Non-Abelian Homomorphism Testing in Low Soundness Regime

Consistency of invariance-based randomization tests

Hardness vs. Randomness, Revised: Uniform, Non-Black-Box, and Instance-wise

Low coordinate degree algorithms I: Universality of computational thresholds for hypothesis testing

Concentration of Randomized Functions of Uniformly Bounded Variation

Randomness and lowness notions via open covers

Improved Parallel Derandomization via Finite Automata with Applications

Outliers for deformed inhomogeneous random matrices

Strong asymptotic freeness for independent uniform variables on compact groups associated to nontrivial representations

Simple Norm Bounds for Polynomial Random Matrices via Decoupling

Cohen-Lenstra Distributions Via Random Matrices over Complete Discrete Valuation Rings with Finite Residue Fields

Converse Bounds for Noisy Group Testing with Arbitrary Measurement Matrices

A concentration inequality and a local law for the sum of two random matrices

Central Limit Theorem for Linear Eigenvalue Statistics of non-Hermitian Random Matrices

Homomorphism of independent random variable convolution and matrix multiplication

A distance theorem for inhomogenous random rectangular matrices

Time-inhomogeneous random walks on finite groups and cokernels of random integer block matrices

Norm of matrix-valued polynomials in random unitaries and permutations

Revealing Incommensurability between Device-Independent Randomness, Nonlocality, and Entanglement using Hardy and Hardy-type Relations

Universality for the global spectrum of random inner-product kernel matrices in the polynomial regime

Nonlinear Random Matrices and Applications to the Sum of Squares Hierarchy