Skip to main content Accessibility help
×
Home
Hostname: page-component-558cb97cc8-rx7pk Total loading time: 0.611 Render date: 2022-10-06T12:04:37.725Z Has data issue: true Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "useRatesEcommerce": false, "displayNetworkTab": true, "displayNetworkMapGraph": true, "useSa": true } hasContentIssue true

Lipschitz bijections between boolean functions

Published online by Cambridge University Press:  16 November 2020

Tom Johnston*
Affiliation:
Mathematical Institute, University of Oxford, OxfordOX2 6GG, UK
Alex Scott
Affiliation:
Mathematical Institute, University of Oxford, OxfordOX2 6GG, UK
*
*Corresponding author. Email: thomas.johnston@maths.ox.ac.uk

Abstract

We answer four questions from a recent paper of Rao and Shinkar [17] on Lipschitz bijections between functions from {0, 1}n to {0, 1}. (1) We show that there is no O(1)-bi-Lipschitz bijection from Dictator to XOR such that each output bit depends on O(1) input bits. (2) We give a construction for a mapping from XOR to Majority which has average stretch $O(\sqrt{n})$ , matching a previously known lower bound. (3) We give a 3-Lipschitz embedding $\phi \colon \{0,1\}^n \to \{0,1\}^{2n+1}$ such that $${\rm{XOR }}(x) = {\rm{ Majority }}(\phi (x))$$ for all $x \in \{0,1\}^n$ . (4) We show that with high probability there is an O(1)-bi-Lipschitz mapping from Dictator to a uniformly random balanced function.

MSC classification

Type
Paper
Copyright
© The Author(s), 2020. Published by Cambridge University Press

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

Ben-Or, M. and Linial, N. (1989) Collective coin flipping. Adv. Comput. Research 5 91115.Google Scholar
Benjamini, I., Cohen, G. and Shinkar, I. (2016) Bi-Lipschitz bijection between the boolean cube and the Hamming ball. Israel J. Math. 212 677703.CrossRefGoogle Scholar
Benjamini, I., Kalai, G. and Schramm, O. (1999) Noise sensitivity of boolean functions and applications to percolation. Publ. Math. Inst. Hautes Études Sci. 90 543.CrossRefGoogle Scholar
Bernasconi, A. (1998) Mathematical techniques for the analysis of boolean functions. Bull. Eur. Assoc. Theor. Comput. Sci. 65 228230.Google Scholar
Boczkowski, L. and Shinkar, I. (2019) On mappings on the hypercube with small average stretch. arXiv:1905.11350Google Scholar
Bollobás, B. (1986) Combinatorics: Set Systems, Hypergraphs, Families of Vectors, and Combinatorial Probability. Cambridge University Press.Google Scholar
Boppana, R. B. (1997) The average sensitivity of bounded-depth circuits. Inform. Process. Lett. 63 257261.CrossRefGoogle Scholar
Bourgain, J. (2002) On the distribution of the Fourier spectrum of boolean functions. Israel J. Math. 131 269276.CrossRefGoogle Scholar
Dinur, I. and Safra, S. (2005) On the hardness of approximating minimum vertex cover. Ann. of Math. 162 439485.CrossRefGoogle Scholar
Erdős, P. and Rényi, A. (1963) On random matrices. Magyar Tud. Akad. Mat. Kutató Int. Közl 8 455461.Google Scholar
Hastad, J., Leighton, T. and Newman, M. (1987) Reconfiguring a hypercube in the presence of faults. In Proceedings of the Nineteenth Annual ACM Symposium on Theory of Computing (STOC ’87), pp. 274284. ACM.CrossRefGoogle Scholar
Kahn, J., Kalai, G. and Linial, N. (1988) The Influence of Variables on Boolean Functions. IEEE.CrossRefGoogle Scholar
Kindler, G., Kirshner, N. and O’Donnell, R. (2018) Gaussian noise sensitivity and Fourier tails. Israel J. Math. 225 71109.CrossRefGoogle Scholar
Lovett, S. and Viola, E. (2011) Bounded-depth circuits cannot sample good codes. In 26th Annual Conference on Computational Complexity (CCC 2011), pp. 243251. IEEE.CrossRefGoogle Scholar
Mitzenmacher, M. and Upfal, E. (2005) Probability and Computing: Randomized Algorithms and Probabilistic Analysis. Cambridge University Press.CrossRefGoogle Scholar
Mossel, E., O’Donnell, R. and Oleszkiewicz, K. (2010) Noise stability of functions with low influences: invariance and optimality. Ann. of Math. 171 295341.CrossRefGoogle Scholar
Rao, S. and Shinkar, I. (2018) On Lipschitz bijections between boolean functions. Combin. Probab. Comput. 27 411426.CrossRefGoogle Scholar

Save article to Kindle

To save this article to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Lipschitz bijections between boolean functions
Available formats
×

Save article to Dropbox

To save this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you used this feature, you will be asked to authorise Cambridge Core to connect with your Dropbox account. Find out more about saving content to Dropbox.

Lipschitz bijections between boolean functions
Available formats
×

Save article to Google Drive

To save this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you used this feature, you will be asked to authorise Cambridge Core to connect with your Google Drive account. Find out more about saving content to Google Drive.

Lipschitz bijections between boolean functions
Available formats
×
×

Reply to: Submit a response

Please enter your response.

Your details

Please enter a valid email address.

Conflicting interests

Do you have any conflicting interests? *