English
Related papers

Related papers: Parity Decision Tree Complexity and 4-Party Commun…

200 papers

Representations of Boolean functions by real polynomials play an important role in complexity theory. Typically, one is interested in the least degree of a polynomial p(x_1,...,x_n) that approximates or sign-represents a given Boolean…

Computational Complexity · Computer Science 2008-05-15 Alexander A. Sherstov

We study nondeterministic multiparty quantum communication with a quantum generalization of broadcasts. We show that, with number-in-hand classical inputs, the communication complexity of a Boolean function in this communication model…

Quantum Physics · Physics 2018-02-13 Harry Buhrman , Matthias Christandl , Jeroen Zuiddam

For any $n$-bit boolean function $f$, we show that the randomized communication complexity of the composed function $f\circ g^n$, where $g$ is an index gadget, is characterized by the randomized decision tree complexity of $f$. In…

Computational Complexity · Computer Science 2017-03-23 Mika Göös , Toniann Pitassi , Thomas Watson

In this paper we show that PSPACE is equal to 4th level in the polynomial hierarchy. We also deduce a lot of important consequences. True quantified Boolean formula is a generalisation of the Boolean Satisfiability Problem, where…

Computational Complexity · Computer Science 2022-11-03 Valerii Sopin

Suppose we have randomized decision trees for an outer function $f$ and an inner function $g$. The natural approach for obtaining a randomized decision tree for the composed function $(f\circ g^n)(x^1,\ldots,x^n)=f(g(x^1),\ldots,g(x^n))$…

Computational Complexity · Computer Science 2020-06-22 Shalev Ben-David , Mika Göös , Robin Kothari , Thomas Watson

A major open problem in communication complexity is whether or not quantum protocols can be exponentially more efficient than classical protocols on _total_ Boolean functions in the two-party interactive model. The answer appears to be…

Quantum Physics · Physics 2008-04-14 Yaoyun Shi , Yufan Zhu

The log-rank conjecture, a longstanding problem in communication complexity, has persistently eluded resolution for decades. Consequently, some recent efforts have focused on potential approaches for establishing the conjecture in the…

Computational Complexity · Computer Science 2024-05-06 Hamed Hatami , Kaave Hosseini , Shachar Lovett , Anthony Ostuni

We study the following problem: with the power of postselection (classically or quantumly), what is your ability to answer adaptive queries to certain languages? More specifically, for what kind of computational classes $\mathcal{C}$, we…

Computational Complexity · Computer Science 2016-10-17 Lijie Chen

The Forrelation problem, introduced by Aaronson [A10] and Aaronson and Ambainis [AA15], is a well studied problem in the context of separating quantum and classical models. Variants of this problem were used to give exponential separations…

Computational Complexity · Computer Science 2020-07-08 Uma Girish , Ran Raz , Wei Zhan

In this work we revisit the Boolean Hidden Matching communication problem, which was the first communication problem in the one-way model to demonstrate an exponential classical-quantum communication separation. In this problem, Alice's…

Quantum Physics · Physics 2021-08-18 João F. Doriguello , Ashley Montanaro

In this note we compare two measures of the complexity of a class $\mathcal F$ of Boolean functions studied in (unconditional) pseudorandomness: $\mathcal F$'s ability to distinguish between biased and uniform coins (the coin problem), and…

Computational Complexity · Computer Science 2020-09-01 Rohit Agrawal

We establish new hardness results for decision tree optimization problems, adding to a line of work that dates back to Hyafil and Rivest in 1976. We prove, under randomized ETH, superpolynomial lower bounds for two basic problems: given an…

Computational Complexity · Computer Science 2022-10-13 Caleb Koch , Carmen Strassle , Li-Yang Tan

We obtain a lower bound of n^Omega(1) on the k-party randomized communication complexity of the Disjointness function in the `Number on the Forehead' model of multiparty communication when k is a constant. For k=o(loglog n), the bounds…

Computational Complexity · Computer Science 2008-02-21 Arkadev Chattopadhyay , Anil Ada

We introduce new models and new information theoretic measures for the study of communication complexity in the natural peer-to-peer, multi-party, number-in-hand setting. We prove a number of properties of our new models and measures, and…

Computational Complexity · Computer Science 2020-10-01 Adi Rosén , Florent Urrutia

In the paper where he first defined Communication Complexity, Yao asks: \emph{Is computing $CC(f)$ (the 2-way communication complexity of a given function $f$) NP-complete?} The problem of deciding whether $CC(f) \le k$, when given the…

Computational Complexity · Computer Science 2025-07-15 Shuichi Hirahara , Rahul Ilango , Bruno Loff

We study the direct-sum problem for $k$-party ``Number On the Forehead'' (NOF) deterministic communication complexity. We prove several positive results, showing that the complexity of computing a function $f$ in this model, on $\ell$…

Computational Complexity · Computer Science 2014-02-24 Eldar Aharoni , Eyal Kushilevitz

The complexity of parity games is a long standing open problem that saw a major breakthrough in 2017 when two quasi-polynomial algorithms were published. This article presents a third, independent approach to solving parity games in…

Formal Languages and Automata Theory · Computer Science 2023-06-22 Karoliina Lehtinen , Udi Boker

Lin and Lin have recently shown how starting with a classical query algorithm (decision tree) for a function, we may find upper bounds on its quantum query complexity. More precisely, they have shown that given a decision tree for a…

Quantum Physics · Physics 2020-03-04 Salman Beigi , Leila Taghavi

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

We study a model of communication complexity that encompasses many well-studied problems, including classical and quantum communication complexity, the complexity of simulating distributions arising from bipartite measurements of shared…

Quantum Physics · Physics 2011-07-08 Julien Degorre , Marc Kaplan , Sophie Laplante , Jérémie Roland