Self-testing/correcting with applications to numerical problems
Journal of Computer and System Sciences - Special issue: papers from the 22nd ACM symposium on the theory of computing, May 14–16, 1990
Proof verification and the hardness of approximation problems
Journal of the ACM (JACM)
A PCP characterization of NP with optimal amortized query complexity
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
Locally Testable Codes and PCPs of Almost-Linear Length
FOCS '02 Proceedings of the 43rd Symposium on Foundations of Computer Science
Simple analysis of graph tests for linearity and PCP
Random Structures & Algorithms
Randomness-efficient low degree tests and short PCPs via epsilon-biased sets
Proceedings of the thirty-fifth annual ACM symposium on Theory of computing
Derandomizing homomorphism testing in general groups
STOC '04 Proceedings of the thirty-sixth annual ACM symposium on Theory of computing
Linearity testing in characteristic two
IEEE Transactions on Information Theory - Part 1
On the distance between non-isomorphic groups
European Journal of Combinatorics
SIAM Journal on Discrete Mathematics
Property testing for cyclic groups and beyond
Journal of Combinatorial Optimization
Hi-index | 0.00 |
In this paper, we study two questions related to the problem of testing whether a function is close to a homomorphism. For two finite groups G,H (not necessarily Abelian), an arbitrary map f : G,H, and a parameter 0 ε f is ε-close to a homomorphism if there is some homomorphism g such that g and f differ on at most ε | G | elements of G, and say that f is ε-far otherwise. For a given f and ε, a homomorphism tester should distinguish whether f is a homomorphism, or if f is ε-far from a homomorphism. When G is Abelian, it was known that the test which picks O(1/ε) random pairs x,y and tests that f(x) + f(y) = f(x + y) gives a homomorphism tester. Our first result shows that such a test works for all groups G. Next, we consider functions that are close to their self-convolutions. Let A = {ag | g ε G} be a distribution on G. The self-convolution of A, A′ = {a g′ | g ε G}, is defined by $$a^{\prime}_x = \sum_{y,z \in G; yz=x}a_y a_z.$$ It is known that A= A′ exactly when A is the uniform distribution over a subgroup of G. We show that there is a sense in which this characterization is robust—that is, if A is close in statistical distance to A′, then A must be close to uniform over some subgroup of G. Finally, we show a relationship between the question of testing whether a function is close to a homomorphism via the above test and the question of characterizing functions that are close to their self-convolutions. © 2007 Wiley Periodicals, Inc. Random Struct. Alg., 2008 A preliminary version of this paper appeared in RANDOM 2004 [3].