English
Related papers

Related papers: A note on a problem in communication complexity

200 papers

We give lower bounds on the communication complexity of graph problems in the multi-party blackboard model. In this model, the edges of an $n$-vertex input graph are partitioned among $k$ parties, who communicate solely by writing messages…

Data Structures and Algorithms · Computer Science 2021-03-15 Christian Konrad , Peter Robinson , Viktor Zamaraev

Throughout this paper, a persistence diagram ${\cal P}$ is composed of a set $P$ of planar points (each corresponding to a topological feature) above the line $Y=X$, as well as the line $Y=X$ itself, i.e., ${\cal P}=P\cup\{(x,y)|y=x\}$.…

Computational Geometry · Computer Science 2020-02-11 Yuya Higashikawa , Naoki Katoh , Guohui Lin , Eiji Miyano , Suguru Tamaki , Junichi Teruyama , Binhai Zhu

Measure-theoretic slow entropy is a more refined invariant than the classical measure-theoretic entropy to characterize the complexity of dynamical systems with subexponential growth rates of distinguishable orbit types. In this paper we…

Dynamical Systems · Mathematics 2021-09-20 Shilpak Banerjee , Philipp Kunde , Daren Wei

By a formula of Farber the topological complexity TC(X) of a (p-1)-connected, m-dimensional CW-complex X is bounded above by (2m+1)/p+1. There are also various lower estimates for TC(X) such as the nilpotency of the ring $H^*(X\times…

Algebraic Topology · Mathematics 2012-10-24 Aleksandra Franc , Petar Pavešić

Permutation Pattern Matching (or PPM) is a decision problem whose input is a pair of permutations $\pi$ and $\tau$, represented as sequences of integers, and the task is to determine whether $\tau$ contains a subsequence order-isomorphic to…

Combinatorics · Mathematics 2016-08-02 Vít Jelínek , Jan Kynčl

We prove combinatorial rigidity of infinitely renormalizable unicritical polynomials, P_c :z \mapsto z^d+c, with complex c, under the a priori bounds and a certain "combinatorial condition". This implies the local connectivity of the…

Dynamical Systems · Mathematics 2022-02-09 Davoud Cheraghi

Deterministic and probabilistic communication protocols are introduced in which parties can exchange the values of polynomials (rather than bits in the usual setting). It is established a sharp lower bound $2n$ on the communication…

Computational Complexity · Computer Science 2007-10-16 Dima Grigoriev

While there has been progress in establishing the unprovability of complexity statements in lower fragments of bounded arithmetic, understanding the limits of Je\v{r}\'abek's theory $APC_1$ (2007) and of higher levels of Buss's hierarchy…

Computational Complexity · Computer Science 2023-05-25 Jiatu Li , Igor Carboni Oliveira

The quantum version of communication complexity allows the two communicating parties to exchange qubits and/or to make use of prior entanglement (shared EPR-pairs). Some lower bound techniques are available for qubit communication…

Computational Complexity · Computer Science 2007-05-23 Harry Buhrman , Ronald de Wolf

Determining the randomized (or distributional) communication complexity of disjointness is a central problem in communication complexity, having roots in the foundational work of Babai, Frankl, and Simon in the 1980s and culminating in the…

Computational Complexity · Computer Science 2026-03-23 Zach Hunter , Aleksa Milojević , Benny Sudakov , Istvan Tomon

We study the complexity of computational problems arising from existence theorems in extremal combinatorics. For some of these problems, a solution is guaranteed to exist based on an iterated application of the Pigeonhole Principle. This…

Computational Complexity · Computer Science 2022-09-19 Amol Pasarkar , Mihalis Yannakakis , Christos Papadimitriou

We study the complexity of satisfiability problems in probabilistic and causal reasoning. Given random variables $X_1, X_2,\ldots$ over finite domains, the basic terms are probabilities of propositional formulas over atomic events $X_i =…

Computational Complexity · Computer Science 2025-04-29 Markus Bläser , Julian Dörfler , Maciej Liśkiewicz , Benito van der Zander

Let $f \in L_{loc}^1 (\R^n)\cap \mathcal{S}'$, where $\mathcal{S}'$ is the Schwartz class of distributions, and $$\int_{\sigma (D)} f(x) dx = 0 \quad \forall \sigma \in G, \qquad (*)$$ where $D\subset \R^n$ is a bounded domain, the closure…

Analysis of PDEs · Mathematics 2012-10-30 A. G. Ramm

We survey lower-bound results in complexity theory that have been obtained via newfound interconnections between propositional proof complexity, boolean circuit complexity, and query/communication complexity. We advocate for the theory of…

Computational Complexity · Computer Science 2022-02-21 Susanna F. de Rezende , Mika Göös , Robert Robere

The Promise Constraint Satisfaction Problem (PCSP for short) is a generalization of the well-studied Constraint Satisfaction Problem (CSP). The PCSP has its roots in such classic problems as the Approximate Graph Coloring and the…

Computational Complexity · Computer Science 2025-12-08 Arash Beikmohammadi , Andrei A. Bulatov

We study model predictive control (MPC) problems for stochastic LTI systems, where the noise distribution is unknown, compactly supported, and only observable through a limited number of i.i.d. noise samples. Building upon recent results in…

Optimization and Control · Mathematics 2023-04-25 Liviu Aolaritei , Marta Fochesato , John Lygeros , Florian Dörfler

We study the complexity of the decision problem known as Permutation Pattern Matching, or PPM. The input of PPM consists of a pair of permutations $\tau$ (the `text') and $\pi$ (the `pattern'), and the goal is to decide whether $\tau$…

Combinatorics · Mathematics 2021-08-10 Vít Jelínek , Michal Opler , Jakub Pekárek

We investigate the power of the most important lower bound technique in randomized communication complexity, which is based on an evaluation of the maximal size of approximately monochromatic rectangles, minimized over all distributions on…

Computational Complexity · Computer Science 2007-05-23 Hartmut Klauck

Proving that there are problems in $\mathsf{P}^\mathsf{NP}$ that require boolean circuits of super-linear size is a major frontier in complexity theory. While such lower bounds are known for larger complexity classes, existing results only…

Computational Complexity · Computer Science 2023-06-22 Jan Bydzovsky , Jan Krajicek , Igor C. Oliveira

Generalized probabilistic theories (GPT) provide a general framework that includes classical and quantum theories. It is described by a cone $C$ and its dual $C^*$. We show that whether some one-way communication complexity problems can be…

Quantum Physics · Physics 2014-07-01 Samuel Fiorini , Serge Massar , Manas K. Patra , Hans Raj Tiwary