English
Related papers

Related papers: Strong XOR Lemma for Information Complexity

200 papers

In this paper, we prove a strong XOR lemma for bounded-round two-player randomized communication. For a function $f:\mathcal{X}\times \mathcal{Y}\rightarrow\{0,1\}$, the $n$-fold XOR function $f^{\oplus n}:\mathcal{X}^n\times…

Computational Complexity · Computer Science 2022-08-25 Huacheng Yu

We prove a lower bound on the communication complexity of computing the $n$-fold xor of an arbitrary function $f$, in terms of the communication complexity and rank of $f$. We prove that $D(f^{\oplus n}) \geq n \cdot…

Computational Complexity · Computer Science 2024-07-03 Siddharth Iyer , Anup Rao

We define the $\textit{marginal information}$ of a communication protocol, and use it to prove XOR lemmas for communication complexity. We show that if every $C$-bit protocol has bounded advantage for computing a Boolean function $f$, then…

Computational Complexity · Computer Science 2024-07-03 Siddharth Iyer , Anup Rao

We show that for any Boolean function f on {0,1}^n, the bounded-error quantum communication complexity of XOR functions $f\circ \oplus$ satisfies that $Q_\epsilon(f\circ \oplus) = O(2^d (\log\|\hat f\|_{1,\epsilon} + \log…

Computational Complexity · Computer Science 2013-07-26 Shengyu Zhang

Boolean function $F(x,y)$ for $x,y \in \{0,1\}^n$ is an XOR function if $F(x,y)=f(x\oplus y)$ for some function $f$ on $n$ input bits, where $\oplus$ is a bit-wise XOR. XOR functions are relevant in communication complexity, partially for…

Computational Complexity · Computer Science 2024-06-04 Vladimir V. Podolskii , Dmitrii Sluch

We call $F:\{0, 1\}^n\times \{0, 1\}^n\to\{0, 1\}$ a symmetric XOR function if for a function $S:\{0, 1, ..., n\}\to\{0, 1\}$, $F(x, y)=S(|x\oplus y|)$, for any $x, y\in\{0, 1\}^n$, where $|x\oplus y|$ is the Hamming weight of the bit-wise…

Quantum Physics · Physics 2008-08-20 Yaoyun Shi , Zhiqiang Zhang

Given an unpredictable Boolean function $f: \{0, 1\}^n \rightarrow \{0, 1\}$, the standard Yao's XOR lemma is a statement about the unpredictability of computing $\oplus_{i \in [k]}f(x_i)$ given $x_1, ..., x_k \in \{0, 1\}^n$, whereas the…

Computational Complexity · Computer Science 2019-08-16 Ragesh Jaiswal

An XOR function is a function of the form g(x,y) = f(x + y), for some boolean function f on n bits. We study the quantum and classical communication complexity of XOR functions. In the case of exact protocols, we completely characterise…

Computational Complexity · Computer Science 2010-02-10 Ashley Montanaro , Tobias Osborne

We study the communication complexity of symmetric XOR functions, namely functions $f: \{0,1\}^n \times \{0,1\}^n \rightarrow \{0,1\}$ that can be formulated as $f(x,y)=D(|x\oplus y|)$ for some predicate $D: \{0,1,...,n\} \rightarrow…

Computational Complexity · Computer Science 2011-11-01 Ming Lam Leung , Yang Li , Shengyu Zhang

In this note, we study the relation between the parity decision tree complexity of a boolean function $f$, denoted by $\mathrm{D}_{\oplus}(f)$, and the $k$-party number-in-hand multiparty communication complexity of the XOR functions…

Computational Complexity · Computer Science 2015-06-30 Penghui Yao

We study the two-party communication complexity of functions with large outputs, and show that the communication complexity can greatly vary depending on what output model is considered. We study a variety of output models, ranging from the…

Computational Complexity · Computer Science 2023-04-04 Lila Fontes , Sophie Laplante , Mathieu Lauriere , Alexandre Nolin

We show that for any $\varepsilon>0$ there is an XOR game $G=G(\varepsilon)$ with $\Theta(\varepsilon^{-1/5})$ inputs for one player and $\Theta(\varepsilon^{-2/5})$ inputs for the other player such that $\Omega(\varepsilon^{-1/5})$ ebits…

Quantum Physics · Physics 2016-09-07 Dimiter Ostrev , Thomas Vidick

We give a strong direct sum theorem for computing $xor \circ g$. Specifically, we show that for every function g and every $k\geq 2$, the randomized query complexity of computing the xor of k instances of g satisfies…

Computational Complexity · Computer Science 2020-07-21 Joshua Brody , Jae Tak Kim , Peem Lerdputtipongporn , Hariharan Srinivasulu

We give improved separations for the query complexity analogue of the log-approximate-rank conjecture i.e. we show that there are a plethora of total Boolean functions on $n$ input bits, each of which has approximate Fourier sparsity at…

Computational Complexity · Computer Science 2020-09-08 Arkadev Chattopadhyay , Ankit Garg , Suhail Sherif

We study the power of randomness in the Number-on-Forehead (NOF) model in communication complexity. We construct an explicit 3-player function $f:[N]^3 \to \{0,1\}$, such that: (i) there exist a randomized NOF protocol computing it that…

Computational Complexity · Computer Science 2024-01-04 Zander Kelley , Shachar Lovett , Raghu Meka

Let the randomized query complexity of a relation for error probability $\epsilon$ be denoted by $R_\epsilon(\cdot)$. We prove that for any relation $f \subseteq \{0,1\}^n \times \mathcal{R}$ and Boolean function $g:\{0,1\}^m \rightarrow…

Computational Complexity · Computer Science 2017-06-15 Anurag Anshu , Dmitry Gavinsky , Rahul Jain , Srijita Kundu , Troy Lee , Priyanka Mukhopadhyay , Miklos Santha , Swagato Sanyal

We study the complexity of computing the commuting-operator value $\omega^*$ of entangled XOR games with any number of players. We introduce necessary and sufficient criteria for an XOR game to have $\omega^* = 1$, and use these criteria to…

Quantum Physics · Physics 2019-02-12 Adam Bene Watts , Aram W. Harrow , Gurtej Kanwar , Anand Natarajan

The information complexity of a function $f$ is the minimum amount of information Alice and Bob need to exchange to compute the function $f$. In this paper we provide an algorithm for approximating the information complexity of an arbitrary…

Information Theory · Computer Science 2015-02-11 Mark Braverman , Jon Schneider

This paper provides the first general technique for proving information lower bounds on two-party unbounded-rounds communication problems. We show that the discrepancy lower bound, which applies to randomized communication complexity, also…

Computational Complexity · Computer Science 2012-06-13 Mark Braverman , Omri Weinstein

We show a new duality between the polynomial margin complexity of $f$ and the discrepancy of the function $f \circ \textsf{XOR}$, called an $\textsf{XOR}$ function. Using this duality, we develop polynomial based techniques for…

Computational Complexity · Computer Science 2017-04-11 Arkadev Chattopadhyay , Nikhil S. Mande
‹ Prev 1 2 3 10 Next ›