Improved direct sum theorem in classical communication complexity

Rahul Jain

DOI: https://doi.org/10.48550/arXiv.cs/0504087

2005-04-22

Abstract:Withdrawn due to critical error.

Other Computer Science

What problem does this paper attempt to address?

A strong direct product theorem for two-way public coin communication complexity

Rahul Jain

DOI: https://doi.org/10.48550/arXiv.1010.0846

2010-10-05

Computational Complexity

Abstract:We show a direct product result for two-way public coin communication complexity of all relations in terms of a new complexity measure that we define. Our new measure is a generalization to non-product distributions of the two-way product subdistribution bound of [J, Klauck and Nayak 08], thereby our result implying their direct product result in terms of the two-way product subdistribution bound. We show that our new complexity measure gives tight lower bound for the set-disjointness problem, as a result we reproduce strong direct product result for this problem, which was previously shown by [Klauck 00].
Refuting the Direct Sum Conjecture for Total Functions in Deterministic Communication Complexity

Simon Mackenzie,Abdallah Saffidine

2024-11-28

Abstract:In communication complexity the input of a function $f:X\times Y\rightarrow Z$ is distributed between two players Alice and Bob. If Alice knows only $x\in X$ and Bob only $y\in Y$, how much information must Alice and Bob share to be able to elicit the value of $f(x,y)$? Do we need $\ell$ more resources to solve $\ell$ instances of a problem? This question is the direct sum question and has been studied in many computational models. In this paper we focus on the case of 2-party deterministic communication complexity and give a counterexample to the direct sum conjecture in its strongest form. To do so we exhibit a family of functions for which the complexity of solving $\ell$ instances is less than $(1 -\epsilon )\ell$ times the complexity of solving one instance for some small enough $\epsilon>0$. We use a customised method in the analysis of our family of total functions, showing that one can force the alternation of rounds between players. This idea allows us to exploit the integrality of the complexity measure to create an increasing gap between the complexity of solving the instances independently with that of solving them together.

Computational Complexity
Optimal Direct Sum Results for Deterministic and Randomized Decision Tree Complexity

Rahul Jain,Hartmut Klauck,Miklos Santha

DOI: https://doi.org/10.48550/arXiv.1004.0105

2010-04-01

Abstract:A Direct Sum Theorem holds in a model of computation, when solving some k input instances together is k times as expensive as solving one. We show that Direct Sum Theorems hold in the models of deterministic and randomized decision trees for all relations. We also note that a near optimal Direct Sum Theorem holds for quantum decision trees for boolean functions.

Computational Complexity,Quantum Physics
Direct sum theorems beyond query complexity

Daiki Suruga

2024-08-28

Abstract:A fundamental question in computer science is: \emph{Is it harder to solve $n$ instances independently than to solve them simultaneously?} This question, known as the direct sum question or direct sum theorem, has been paid much attention in several research fields. Despite its importance, however, little has been discovered in many other research fields. In this paper, we introduce a novel framework that extends to classical/quantum query complexity, PAC-learning for machine learning, statistical estimation theory, and more. Within this framework, we establish several fundamental direct sum theorems. The main contributions of this paper include: (i) establishing a complete characterization of the amortized query/oracle complexities, and (ii) proving tight direct sum theorems when the error is small. Note that in our framework, every oracle access needs to be performed \emph{classically} even in the quantum setting. This can be thought of one limitation of this work. As a direct consequence of our results, we obtain the following: (A) The first known asymptotic separation of the randomized query complexity. Specifically, we show that there is a function $f: \{0, 1\}^k \to \{0, 1\}$ and small error $\varepsilon > 0$ such that solving $n$ instances simultaneously requires the query complexity $\tilde{O}(n\sqrt{k})$ but solving one instance with the same error has the complexity $\tilde{\Omega}(k)$. In communication complexity this type of separation was previously given in~Feder, Kushilevitz, Naor and Nisan (1995). (B) The query complexity counterpart of the ``information = amortized communication" relation, one of the most influential results in communication complexity shown by Braverman and Rao (2011) and further investigated by Braverman (2015). We hope that our results will provide further interesting applications in the future.

Computational Complexity,Quantum Physics
Classical Algorithms from Quantum and Arthur-Merlin Communication Protocols.

Lijie Chen,Ruosong Wang

DOI: https://doi.org/10.4230/lipics.itcs.2019.23

2018-01-01

Abstract:The polynomial method from circuit complexity has been applied to several fundamental problems and obtains the state-of-the-art running times. As observed in [Alman and Williams, STOC 2017], almost all applications of the polynomial method in algorithm design ultimately rely on certain low-rank decompositions of the computation matrices corresponding to key subroutines. They suggest that making use of low-rank decompositions directly could lead to more powerful algorithms, as the polynomial method is just one way to derive such a decomposition. Inspired by their observation, in this paper, we study another way of systematically constructing low-rank decompositions of matrices which could be used by algorithms. It is known that various types of communication protocols lead to certain low-rank decompositions (e.g., $\mathsf{P}$ protocols/rank, $\mathsf{BQP}$ protocols/approximate rank). These are usually interpreted as approaches for proving communication lower bounds, while in this work we explore the other direction. We have the two generic algorithmic applications of communication protocols. The first connection is that a fast $\mathsf{BQP}$ communication protocol for a function $f$ implies a fast deterministic additive approximate counting algorithm for a related pair counting problem. The second connection is that a fast $\mathsf{AM}^{\mathsf{cc}}$ protocol for a function $f$ implies a faster-than-bruteforce algorithm for $f\textsf{-Satisfying-Pair}$. We also apply our second connection to shed some light on long-standing open problems in communication complexity. We show that if the Longest Common Subsequence problem admits an efficient $\mathsf{AM}^{\mathsf{cc}}$ protocol, then polynomial-size Formula-$\textsf{SAT}$ admits a $2^{n - n^{1-\delta}}$ time algorithm for any constant $\delta > 0$.
Tight Bounds for the Randomized and Quantum Communication Complexities of Equality with Small Error

Olivier Lalonde,Nikhil S. Mande,Ronald de Wolf

2023-10-18

Abstract:We investigate the randomized and quantum communication complexities of the well-studied Equality function with small error probability $\epsilon$, getting optimal constant factors in the leading terms in a number of different models. In the randomized model, 1) we give a general technique to convert public-coin protocols to private-coin protocols by incurring a small multiplicative error, at a small additive cost. This is an improvement over Newman's theorem [Inf. Proc. Let.'91] in the dependence on the error parameter. 2) Using this we obtain a $(\log(n/\epsilon^2)+4)$-cost private-coin communication protocol that computes the $n$-bit Equality function, to error $\epsilon$. This improves upon the $\log(n/\epsilon^3)+O(1)$ upper bound implied by Newman's theorem, and matches the best known lower bound, which follows from Alon [Comb. Prob. Comput.'09], up to an additive $\log\log(1/\epsilon)+O(1)$. In the quantum model, 1) we exhibit a one-way protocol of cost $\log(n/\epsilon)+4$, that uses only pure states and computes the $n$-bit Equality function to error $\epsilon$. This bound was implicitly already shown by Nayak [PhD thesis'99]. 2) We show that any $\epsilon$-error one-way protocol for $n$-bit Equality that uses only pure states communicates at least $\log(n/\epsilon)-\log\log(1/\epsilon)-O(1)$ qubits. 3) We exhibit a one-way protocol of cost $\log(\sqrt{n}/\epsilon)+3$, that uses mixed states and computes the $n$-bit Equality function to error $\epsilon$. This is also tight up to an additive $\log\log(1/\epsilon)+O(1)$, which follows from Alon's result. 4) We study the number of EPR pairs required to be shared in an entanglement-assisted one-way protocol. Our upper bounds also yield upper bounds on the approximate rank and related measures of the Identity matrix.

Quantum Physics,Computational Complexity
XOR Lemmas for Communication via Marginal Information

Siddharth Iyer,Anup Rao

2024-07-03

Abstract: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 every $\tilde \Omega(C \sqrt{n})$-bit protocol has advantage $\exp(-\Omega(n))$ for computing the $n$-fold xor $f^{\oplus n}$. We prove exponentially small bounds in the average case setting, and near optimal bounds for product distributions and for bounded-round protocols.

Computational Complexity
Strong direct product theorems for quantum communication and query complexity

Alexander A. Sherstov

DOI: https://doi.org/10.48550/arXiv.1011.4935

2010-11-23

Abstract:A strong direct product theorem (SDPT) states that solving n instances of a problem requires Omega(n) times the resources for a single instance, even to achieve success probability exp(-Omega(n)). We prove that quantum communication complexity obeys an SDPT whenever the communication lower bound for a single instance is proved by the generalized discrepancy method, the strongest technique in that model. We prove that quantum query complexity obeys an SDPT whenever the query lower bound for a single instance is proved by the polynomial method, one of the two main techniques in that model. In both models, we prove the corresponding XOR lemmas and threshold direct product theorems.

Computational Complexity,Quantum Physics
Inner Cohomology of the General Linear Group

Krishna Kishore

DOI: https://doi.org/10.48550/arXiv.1708.01950

2018-02-20

Abstract:The main theorem is incorrectly stated.

Number Theory
Lifting Theorems Meet Information Complexity: Known and New Lower Bounds of Set-disjointness

Guangxu Yang,Jiapeng Zhang

2023-09-24

Abstract:Set-disjointness problems are one of the most fundamental problems in communication complexity and have been extensively studied in past decades. Given its importance, many lower bound techniques were introduced to prove communication lower bounds of set-disjointness. Combining ideas from information complexity and query-to-communication lifting theorems, we introduce a density increment argument to prove communication lower bounds for set-disjointness: We give a simple proof showing that a large rectangle cannot be $0$-monochromatic for multi-party unique-disjointness. We interpret the direct-sum argument as a density increment process and give an alternative proof of randomized communication lower bounds for multi-party unique-disjointness. Avoiding full simulations in lifting theorems, we simplify and improve communication lower bounds for sparse unique-disjointness. Potential applications to be unified and improved by our density increment argument are also discussed.

Computational Complexity
A Quantum Pigeonhole Principle and Two Semidefinite Relaxations of Communication Complexity

Pavel Dvořák,Bruno Loff,Suhail Sherif

DOI: https://doi.org/10.48550/arXiv.2409.04592

2024-09-07

Abstract:We study semidefinite relaxations of $\Pi_1$ combinatorial statements. By relaxing the pigeonhole principle, we obtain a new "quantum" pigeonhole principle which is a stronger statement. By relaxing statements of the form "the communication complexity of $f$ is $> k$", we obtain new communication models, which we call "$\gamma_2$ communication" and "quantum-lab protocols". We prove, via an argument from proof complexity, that any natural model obtained by such a relaxation must solve all Karchmer--Wigderson games efficiently. However, the argument is not constructive, so we work to explicitly construct such protocols in these two models.

Computational Complexity
Discretised sum-product theorems by Shannon-type inequalities

András Máthé,William Lewis O'Regan

2023-06-05

Abstract:By making use of arithmetic information inequalities, we give a short new proof of the discretised ring theorem for sets of real numbers. Our proof gives a strong quantitative bound. In particular, we show that if $A \subset [1,2]$ is a $(\delta,\sigma)$-set, then $A+A$ or $A\cdot A$ has $\delta$-covering number at least $\delta^{-c}|A|$ for any $0 < c < \min\{\sigma/6, (1-\sigma)/6\}$ provided that $\delta > 0$ is small enough.

Classical Analysis and ODEs,Combinatorics,Metric Geometry
Cryptanalysis and improvement of quantum secure multi-party summation using single photons

Chia-Wei Tsai,Jason Lin,Chun-Wei Yang

DOI: https://doi.org/10.1088/1402-4896/ad275a

2024-02-09

Physica Scripta

Abstract:A previous study [Entropy 25.4 (2023): 590] proposed a quantum secure multi-party summation protocol wherein n participants could obtain the modulo-2 summation result using single photons and single-particle operations. Owing to the absence of an entanglement state, this protocol was more practical than other quantum summation protocols that used entanglement properties. Thus, this study investigated the claim that this proposed protocol prevented the participants' secret inputs from being disclosed. It was found that the previously proposed protocol was vulnerable to a quantum Trojan horse attack owing to the circular qubit transmission mode. Using a security loophole, this study proposed an attack strategy that allowed an outside attacker to steal any participant's secret input without being detected by a third party and participants. In addition, a simulation experiment was conducted to demonstrate the feasibility of the proposed attack and evaluate the number of quantum Trojan horse probes that the attacker must inject into regular qubit sequences. Finally, a solution was proposed by modifying the protocol to securely prevent quantum Trojan horse attacks.

physics, multidisciplinary
An XOR Lemma for Deterministic Communication Complexity

Siddharth Iyer,Anup Rao

2024-07-02

Abstract: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 \Big(\frac{\Omega(D(f))}{\log \mathsf{rk}(f)} -\log \mathsf{rk}(f)\Big )$, where here $D(f), D(f^{\oplus n})$ represent the deterministic communication complexity, and $\mathsf{rk}(f)$ is the rank of $f$. Our methods involve a new way to use information theory to reason about deterministic communication complexity.

Computational Complexity
Newman's theorem via Carathéodory

Yaqiao Li,Ali Mohammad Lavasani,Mehran Shakerinava

2024-11-02

Abstract:We give a streamlined short proof of Newman's theorem in communication complexity by applying the classical and the approximate Carathéodory's theorems.

Computational Complexity
A theorem about relative entropy of quantum states with an application to privacy in quantum communication

Rahul Jain,Jaikumar Radhakrishnan,Pranab Sen

DOI: https://doi.org/10.48550/arXiv.0705.2437

2007-05-16

Quantum Physics

Abstract:We prove the following theorem about relative entropy of quantum states. "Substate theorem: Let rho and sigma be quantum states in the same Hilbert space with relative entropy S(rho|sigma) = Tr rho (log rho - log sigma) = c. Then for all epsilon > 0, there is a state rho' such that the trace distance ||rho' - rho||_t = Tr sqrt{(rho' - rho)^2} <= epsilon, and rho'/2^{O(c/epsilon^2)} <= sigma." It states that if the relative entropy of rho and sigma is small, then there is a state rho' close to rho, i.e. with small trace distance ||rho' - rho||_t, that when scaled down by a factor 2^{O(c)} `sits inside', or becomes a `substate' of, sigma. This result has several applications in quantum communication complexity and cryptography. Using the substate theorem, we derive a privacy trade-off for the set membership problem in the two-party quantum communication model. Here Alice is given a subset A of [n], Bob an input i in [n], and they need to determine if i in A. "Privacy trade-off for set membership: In any two-party quantum communication protocol for the set membership problem, if Bob reveals only k bits of information about his input, then Alice must reveal at least n/2^{O(k)} bits of information about her input." We also discuss relationships between various information theoretic quantities that arise naturally in the context of the substate theorem.
One-Way Communication Complexity of Partial XOR Functions

Vladimir V. Podolskii,Dmitrii Sluch

2024-06-01

Abstract: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 allowing Fourier analytic technique. For total XOR functions it is known that deterministic communication complexity of $F$ is closely related to parity decision tree complexity of $f$. Montanaro and Osbourne (2009) observed that one-sided communication complexity $D_{cc}^{\rightarrow}(F)$ of $F$ is exactly equal to nonadaptive parity decision tree complexity $NADT^{\oplus}(f)$ of $f$. Hatami et al. (2018) showed that unrestricted communication complexity of $F$ is polynomially related to parity decision tree complexity of $f$. We initiate the studies of a similar connection for partial functions. We show that in case of one-sided communication complexity whether these measures are equal, depends on the number of undefined inputs of $f$. On the one hand, if $D_{cc}^{\rightarrow}(F)=t$ and $f$ is undefined on at most $O(\frac{2^{n-t}}{\sqrt{n-t}})$, then $NADT^{\oplus}(f)=t$. On the other hand, for a wide range of values of $D_{cc}^{\rightarrow}(F)$ and $NADT^{\oplus}(f)$ (from constant to $n-2$) we provide partial functions for which $D_{cc}^{\rightarrow}(F) < NADT^{\oplus}(f)$. In particular, we provide a function with an exponential gap between the two measures. Our separation results translate to the case of two-sided communication complexity as well, in particular showing that the result of Hatami et al. (2018) cannot be generalized to partial functions. Previous results for total functions heavily rely on Boolean Fourier analysis and the technique does not translate to partial functions. For the proofs of our results we build a linear algebraic framework instead. Separation results are proved through the reduction to covering codes.

Computational Complexity
Trade-offs between Entanglement and Communication

Srinivasan Arunachalam,Uma Girish

2023-06-02

Abstract:We study the advantages of quantum communication models over classical communication models that are equipped with a limited number of qubits of entanglement. In this direction, we give explicit partial functions on $n$ bits for which reducing the entanglement increases the classical communication complexity exponentially. Our separations are as follows. For every $k\ge 1$: $Q\|^*$ versus $R2^*$: We show that quantum simultaneous protocols with $\tilde{\Theta}(k^5 \log^3 n)$ qubits of entanglement can exponentially outperform two-way randomized protocols with $O(k)$ qubits of entanglement. This resolves an open problem from [Gav08] and improves the state-of-the-art separations between quantum simultaneous protocols with entanglement and two-way randomized protocols without entanglement [Gav19, GRT22]. $R\|^*$ versus $Q\|^*$: We show that classical simultaneous protocols with $\tilde{\Theta}(k \log n)$ qubits of entanglement can exponentially outperform quantum simultaneous protocols with $O(k)$ qubits of entanglement, resolving an open question from [GKRW06, Gav19]. The best result prior to our work was a relational separation against protocols without entanglement [GKRW06]. $R\|^*$ versus $R1^*$: We show that classical simultaneous protocols with $\tilde{\Theta}(k\log n)$ qubits of entanglement can exponentially outperform randomized one-way protocols with $O(k)$ qubits of entanglement. Prior to our work, only a relational separation was known [Gav08].

Quantum Physics,Computational Complexity
Stealth Communication with Vanishing Power over Binary Symmetric Channels

Diego Lentner,Gerhard Kramer

DOI: https://doi.org/10.48550/arXiv.2005.06313

2020-06-16

Abstract:A framework for stealth communication with vanishing power (VP) is presented by studying binary symmetric channels. Coding theorems are proved by modifying Gallager's error exponents for VP and by applying resolvability exponents. The analysis unifies and generalizes existing rate bounds for covert and stealth communication.

Information Theory
Entropic Quantum Central Limit Theorem and Quantum Inverse Sumset Theorem

Kaifeng Bu,Weichen Gu,Arthur Jaffe

2024-01-26

Abstract:We establish an entropic, quantum central limit theorem and quantum inverse sumset theorem in discrete-variable quantum systems describing qudits or qubits. Both results are enabled by using our recently-discovered quantum convolution. We show that the exponential rate of convergence of the entropic central limit theorem is bounded by the magic gap. We also establish an ``quantum, entropic inverse sumset theorem,'' by introducing a quantum doubling constant. Furthermore, we introduce a ``quantum Ruzsa divergence'', and we pose a conjecture called ``convolutional strong subaddivity,'' which leads to the triangle inequality for the quantum Ruzsa divergence. A byproduct of this work is a magic measure to quantify the nonstabilizer nature of a state, based on the quantum Ruzsa divergence.

Quantum Physics,Information Theory,Mathematical Physics,Probability

Improved direct sum theorem in classical communication complexity

A strong direct product theorem for two-way public coin communication complexity

Refuting the Direct Sum Conjecture for Total Functions in Deterministic Communication Complexity

Optimal Direct Sum Results for Deterministic and Randomized Decision Tree Complexity

Direct sum theorems beyond query complexity

Classical Algorithms from Quantum and Arthur-Merlin Communication Protocols.

Tight Bounds for the Randomized and Quantum Communication Complexities of Equality with Small Error

XOR Lemmas for Communication via Marginal Information

Strong direct product theorems for quantum communication and query complexity

Inner Cohomology of the General Linear Group

Lifting Theorems Meet Information Complexity: Known and New Lower Bounds of Set-disjointness

A Quantum Pigeonhole Principle and Two Semidefinite Relaxations of Communication Complexity

Discretised sum-product theorems by Shannon-type inequalities

Cryptanalysis and improvement of quantum secure multi-party summation using single photons

An XOR Lemma for Deterministic Communication Complexity

Newman's theorem via Carathéodory

A theorem about relative entropy of quantum states with an application to privacy in quantum communication

One-Way Communication Complexity of Partial XOR Functions

Trade-offs between Entanglement and Communication

Stealth Communication with Vanishing Power over Binary Symmetric Channels

Entropic Quantum Central Limit Theorem and Quantum Inverse Sumset Theorem