Hostname: page-component-78c5997874-lj6df Total loading time: 0 Render date: 2024-11-16T15:20:45.370Z Has data issue: false hasContentIssue false

On Lipschitz Bijections Between Boolean Functions

Published online by Cambridge University Press:  19 December 2017

SHRAVAS RAO
Affiliation:
Courant Institute of Mathematical Sciences, New York University, NY 10012, USA (e-mail: [email protected])
IGOR SHINKAR
Affiliation:
Department of Electrical Engineering and Computer Sciences, UC Berkeley, CA 94720, USA (e-mail: [email protected])

Abstract

Given two functions f,g : {0,1}n → {0,1}, a mapping ψ : {0,1}n → {0,1}n is said to be a mapping from f to g if it is a bijection and f(z) = g(ψ(z)) for every z ∈ {0,1}n. In this paper we study Lipschitz mappings between Boolean functions.

Our first result gives a construction of a C-Lipschitz mapping from the Majority function to the Dictator function for some universal constant C. On the other hand, there is no n/2-Lipschitz mapping in the other direction, namely from the Dictator function to the Majority function. This answers an open problem posed by Daniel Varga in the paper of Benjamini, Cohen and Shinkar (FOCS 2014 [1]).

We also show a mapping from Dictator to XOR that is 3-local, 2-Lipschitz, and its inverse is O(log(n))-Lipschitz, where by L-local mapping we mean that each output bit of the mapping depends on at most L input bits.

Next, we consider the problem of finding functions such that any mapping between them must have large average stretch, where the average stretch of a mapping φ is defined as

$${\sf avgstretch}(\phi) = {\mathbb E}_{x,i}[{\sf dist}(\phi(x),\phi(x+e_i)].$$
We show that any mapping φ from XOR to Majority must satisfy avgStretch(φ) ≥ c$\sqrt{n}$ for some absolute constant c > 0. In some sense, this gives a ‘function analogue’ to the question of Benjamini, Cohen and Shinkar (FOCS 2014 [1]), who asked whether there exists a set A ⊆ {0,1}n of density 0.5 such that any bijection from {0,1}n−1 to A has large average stretch.

Finally, we show that for a random balanced function f: {0,1}n → {0,1}n, with high probability there is a mapping φ from Dictator to f such that both φ and φ−1 have constant average stretch. In particular, this implies that one cannot obtain lower bounds on average stretch by taking uniformly random functions.

MSC classification

Type
Paper
Copyright
Copyright © Cambridge University Press 2017 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1] Benjamini, I., Cohen, G. and Shinkar, I. (2016) Bi-Lipschitz bijection between the Boolean cube and the Hamming ball. Israel J. Math. 212 677–703. Also in FOCS 2014: IEEE 55th Annual Symposium on Foundations of Computer Science.Google Scholar
[2] Bourgain, J. (2002) On the distributions of the Fourier spectrum of Boolean functions. Israel J. Math. 131 269276.Google Scholar
[3] de Bruijn, N. G., van Ebbenhorst Tengbergen, C. and Kruyswijk, D. (1951) On the set of divisors of a number. Nieuw Arch. Wiskunde (2) 23 191193.Google Scholar
[4] Håstad, J., Leighton, T. and Newman, M. (1987) Reconfiguring a hypercube in the presence of faults. In STOC 1987: 19th Annual ACM Symposium on Theory of Computing, pp. 274–284.CrossRefGoogle Scholar
[5] Kindler, G. and O'Donnell, R. (2012) Gaussian noise sensitivity and Fourier tails. In CCC 2012: 27th IEEE Conference on Computational Complexity, IEEE Computer Society, pp. 137–147.Google Scholar
[6] Lovett, S. and Viola, E. (2012) Bounded-depth circuits cannot sample good codes. Comput. Complexity 21 245266.Google Scholar
[7] Mossel, E., O'Donnell, R. and Oleszkiewicz, K. (2010) Noise stability of functions with low influences: Invariance and optimality. Ann. of Math. (2) 171 295341.Google Scholar
[8] Viola, E. (2012) The complexity of distributions. SIAM J. Comput. 41 191218.CrossRefGoogle Scholar