Results 1  10
of
27
A brief introduction to Fourier analysis on the Boolean cube
 Theory of Computing Library– Graduate Surveys
, 2008
"... Abstract: We give a brief introduction to the basic notions of Fourier analysis on the ..."
Abstract

Cited by 22 (3 self)
 Add to MetaCart
Abstract: We give a brief introduction to the basic notions of Fourier analysis on the
A hypercontractive inequality for matrixvalued functions with applications to quantum computing and LDCs
"... The BonamiBeckner hypercontractive inequality is a powerful tool in Fourier analysis of realvalued functions on the Boolean cube. In this paper we present a version of this inequality for matrixvalued functions on the Boolean cube. Its proof is based on a powerful inequality by Ball, Carlen, and ..."
Abstract

Cited by 18 (2 self)
 Add to MetaCart
The BonamiBeckner hypercontractive inequality is a powerful tool in Fourier analysis of realvalued functions on the Boolean cube. In this paper we present a version of this inequality for matrixvalued functions on the Boolean cube. Its proof is based on a powerful inequality by Ball, Carlen, and Lieb. We also present a number of applications. First, we analyze maps that encode n classical bits into m qubits, in such a way that each set of k bits can be recovered with some probability by an appropriate measurement on the quantum encoding; we show that if m<0.7n, then the success probability is exponentially small in k. This result may be viewed as a direct product version of Nayak’s quantum random access code bound. It in turn implies strong direct product theorems for the oneway quantum communication complexity of Disjointness and other problems. Second, we prove that errorcorrecting codes that are locally decodable with 2 queries require length exponential in the length of the encoded string. This gives what is arguably the first “nonquantum” proof of a result originally derived by Kerenidis and de Wolf using quantum information theory.
Simple and Practical Algorithm for Sparse Fourier Transform
"... We consider the sparse Fourier transform problem: given a complex vector x of length n, and a parameter k, estimate the k largest (in magnitude) coefficients of the Fourier transform of x. The problem is of key interest in several areas, including signal processing, audio/image/video compression, an ..."
Abstract

Cited by 16 (8 self)
 Add to MetaCart
We consider the sparse Fourier transform problem: given a complex vector x of length n, and a parameter k, estimate the k largest (in magnitude) coefficients of the Fourier transform of x. The problem is of key interest in several areas, including signal processing, audio/image/video compression, and learning theory. We propose a new algorithm for this problem. The algorithm leverages techniques from digital signal processing, notably Gaussian and DolphChebyshev filters. Unlike the typical approach to this problem, our algorithm is not iterative. That is, instead of estimating “large ” coefficients, subtracting them and recursing on the reminder, it identifies and estimates the k largest coefficients in “one shot”, in a manner akin to sketching/streaming algorithms. The resulting algorithm is structurally simpler than its predecessors. As a consequence, we are able to extend considerably the range of sparsity, k, for which the algorithm is faster than FFT, both in theory and practice. 1
Property Testing Lower Bounds Via Communication Complexity
, 2011
"... We develop a new technique for proving lower bounds in property testing, by showing a strong connection between testing and communication complexity. We give a simple scheme for reducing communication problems to testing problems, thus allowing us to use known lower bounds in communication complexit ..."
Abstract

Cited by 12 (3 self)
 Add to MetaCart
We develop a new technique for proving lower bounds in property testing, by showing a strong connection between testing and communication complexity. We give a simple scheme for reducing communication problems to testing problems, thus allowing us to use known lower bounds in communication complexity to prove lower bounds in testing. This scheme is general and implies a number of new testing bounds, as well as simpler proofs of several known bounds. For the problem of testing whether a boolean function is klinear (a parity function on k variables), we achieve a lower bound of Ω(k) queries, even for adaptive algorithms with twosided error, thus confirming a conjecture of Goldreich [25]. The same argument behind this lower bound also implies a new proof of known lower bounds for testing related classes such as kjuntas. For some classes, such as the class of monotone functions and the class of ssparse GF(2) polynomials, we significantly strengthen the best known bounds.
Nearly Optimal Sparse Fourier Transform
"... We consider the problem of computing the ksparse approximation to the discrete Fourier transform of an ndimensional signal. We show: • An O(k log n)time algorithm for the case where the input signal has at most k nonzero Fourier coefficients, and • An O(k log n log(n/k))time algorithm for gener ..."
Abstract

Cited by 11 (5 self)
 Add to MetaCart
We consider the problem of computing the ksparse approximation to the discrete Fourier transform of an ndimensional signal. We show: • An O(k log n)time algorithm for the case where the input signal has at most k nonzero Fourier coefficients, and • An O(k log n log(n/k))time algorithm for general input signals. Both algorithms achieve o(n log n) time, and thus improve over the Fast Fourier Transform, for any k = o(n). Further, they are the first known algorithms that satisfy this property. Also, if one assumes that the Fast Fourier Transform is optimal, the algorithm for the exactly ksparse case is optimal for any k = n Ω(1). We complement our algorithmic results by showing that any algorithm for computing the sparse Fourier transform of a general signal must use at least Ω(k log(n/k) / log log n) signal samples, even if it is allowed The discrete Fourier transform (DFT) is one of the most important and widely used computational tasks. Its applications are broad and include signal processing, communications, and audio/image/video compression. Hence, fast algorithms for DFT are highly valuable. Currently, the fastest such algorithm is the Fast Fourier
Reconstruction and Clustering in Random Constraint Satisfaction Problems
, 2009
"... Random instances of Constraint Satisfaction Problems (CSP’s) appear to be hard for all known algorithms, when the number of constraints per variable lies in a certain interval. Contributing to the general understanding of the structure of the solution space of a CSP in the satisfiable regime, we for ..."
Abstract

Cited by 5 (3 self)
 Add to MetaCart
Random instances of Constraint Satisfaction Problems (CSP’s) appear to be hard for all known algorithms, when the number of constraints per variable lies in a certain interval. Contributing to the general understanding of the structure of the solution space of a CSP in the satisfiable regime, we formulate a set of technical conditions on a large family of random CSP’s, and prove bounds on three most interesting thresholds for the density of such an ensemble: namely, the satisfiability threshold, the threshold for clustering of the solution space, and the threshold for an appropriate reconstruction problem on the CSP’s. The bounds become asymptoticlally tight as the number of degrees of freedom in each clause diverges. The families are general enough to include commonly studied problems such as, random instances of NotAllEqualSAT, kXOR formulae, hypergraph 2coloring, and graph kcoloring. An important new ingredient is a condition involving the Fourier expansion of clauses, which characterizes the class of problems with a similar threshold structure.
Systems of linear equations over F2 and problems parameterized above average
 Proc. SWAT 2010
, 1999
"... In the problem Max Lin, we are given a system Az = b of m linear equations with n variables over F2 in which each equation is assigned a positive weight and we wish to find an assignment of values to the variables that maximizes the excess, which is the total weight of satisfied equations minus the ..."
Abstract

Cited by 5 (5 self)
 Add to MetaCart
In the problem Max Lin, we are given a system Az = b of m linear equations with n variables over F2 in which each equation is assigned a positive weight and we wish to find an assignment of values to the variables that maximizes the excess, which is the total weight of satisfied equations minus the total weight of falsified equations. Using an algebraic approach, we obtain a lower bound for the maximum excess. Max Lin Above Average (Max Lin AA) is a parameterized version of Max Lin introduced by Mahajan et al. (Proc. IWPEC’06 and J. Comput. Syst. Sci. 75, 2009). In Max Lin AA all weights are integral and we are to decide whether the maximum excess is at least k, where k is the parameter. It is not hard to see that we may assume that no two equations in Az = b have the same lefthand side and n = rankA. Using our maximum excess results, we prove that, under these assumptions, Max Lin AA is fixedparameter
The Fourier Entropy–Influence Conjecture for certain classes of Boolean functions
"... entropy of f, I[f] is the total influence of f, and C is a universal constant. In this work we verify the conjecture for symmetric functions. More generally, we verify it for functions with symmetry group Sn1 × · · ·×Sn d where d is constant. We also verify the conjecture for functions computable b ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
entropy of f, I[f] is the total influence of f, and C is a universal constant. In this work we verify the conjecture for symmetric functions. More generally, we verify it for functions with symmetry group Sn1 × · · ·×Sn d where d is constant. We also verify the conjecture for functions computable by readonce decision trees.
NearOptimal and Explicit Bell Inequality Violations
"... Bell inequality violations correspond to behavior of entangled quantum systems that cannot be simulated classically. We give two new twoplayer games with Bell inequality violations that are stronger, fully explicit, and arguably simpler than earlier work. The first game is based on the Hidden Match ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
Bell inequality violations correspond to behavior of entangled quantum systems that cannot be simulated classically. We give two new twoplayer games with Bell inequality violations that are stronger, fully explicit, and arguably simpler than earlier work. The first game is based on the Hidden Matching problem of quantum communication complexity, introduced by BarYossef, Jayram, and Kerenidis. This game can be won with probability 1 by a quantum strategy using a maximally entangled state with local dimension n (e.g., log n EPRpairs), while we show that the winning probability of any classical strategy differs from 1 2 by at most O(log n/ √ n). The second game is based on the integrality gap for Unique Games by Khot and Vishnoi and the quantum rounding procedure of Kempe, Regev, and Toner. Here ndimensional entanglement allows to win the game with probability 1/(logn) 2, while the best winning probability without entanglement is 1/n. This nearlinear ratio (“Bell inequality violation”) is nearoptimal, both in terms of the local dimension of the entangled state, and in terms of the number of possible outputs of the two players.
Simultaneously Satisfying Linear Equations Over F2
 MaxLin2 and MaxrLin2 Parameterized Above Average. In FSTTCS 2011, LIPICS
"... ABSTRACT. In the parameterized problem MAXLIN2AA[k], we are given a system with variables x1,..., xn consisting of equations of the form ∏i∈I x i = b, where x i, b ∈ {−1, 1} and I ⊆ [n], each equation has a positive integral weight, and we are to decide whether it is possible to simultaneously sati ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
ABSTRACT. In the parameterized problem MAXLIN2AA[k], we are given a system with variables x1,..., xn consisting of equations of the form ∏i∈I x i = b, where x i, b ∈ {−1, 1} and I ⊆ [n], each equation has a positive integral weight, and we are to decide whether it is possible to simultaneously satisfy equations of total weight at least W/2 + k, where W is the total weight of all equations and k is the parameter (if k = 0, the possibility is assured). We show that MAXLIN2AA[k] has a kernel with at most O(k 2 log k) variables and can be solved in time 2 O(k log k) (nm) O(1). This solves an open problem of Mahajan et al. (2006). The problem MAXrLIN2AA[k, r] is the same as MAXLIN2AA[k] with two differences: each equation has at most r variables and r is the second parameter. We prove a theorem on MAXrLIN2AA[k, r] which implies that MAXrLIN2AA[k, r] has a kernel with at most (2k − 1)r variables, improving a number of results including one by Kim and Williams (2010). The theorem also implies a lower bound on the maximum of a function f: {−1, 1} n → R whose Fourier expansion (which is a multilinear polynomial) is of degree r. We show applicability of the lower bound by giving a new proof of the EdwardsErdős bound (each connected graph on n vertices and m edges has a bipartite subgraph with at least m/2 + (n − 1)/4 edges) and obtaining a generalization. 1