English
Related papers

Related papers: Composition theorems in communication complexity

200 papers

We show nearly quadratic separations between two pairs of complexity measures: 1. We show that there is a Boolean function $f$ with $D(f)=\Omega((D^{sc}(f))^{2-o(1)})$ where $D(f)$ is the deterministic query complexity of $f$ and $D^{sc}$…

Computational Complexity · Computer Science 2015-12-03 Andris Ambainis , Martins Kokainis

Let $K$ be a field of characteristic zero, $X$ and $Y$ be smooth $K$-varieties, and let $G$ be a algebraic $K$-group. Given two algebraic morphisms $\varphi:X\rightarrow G$ and $\psi:Y\rightarrow G$, we define their convolution…

Algebraic Geometry · Mathematics 2020-12-15 Itay Glazer , Yotam I. Hendel

A fundamental problem in the study of complex networks is to provide quantitative measures of correlation and information flow between different parts of a system. To this end, several notions of communicability have been introduced and…

Physics and Society · Physics 2015-04-08 Ernesto Estrada , Naomichi Hatano , Michele Benzi

Let $n$ be a positive integer and $\mathbf{g}=(g_0,g_1,\cdots,g_{n-1})$, with $g_k\in H(\mathbb{D})$ for $k=0,1,\cdots,n-1$. Let $I_{\mathbf{g}}^{(n)}$ be the generalized Volterra-type operators on $H(\mathbb{C})$, which is represented as…

Complex Variables · Mathematics 2024-06-12 Hicham Arroussi , Huijie Liu , Cezhong Tong , Zicong Yang

Recently, a strong exponential character bound has been established in [3] for all elements $g \in \mathbf{G}^F$ of a finite reductive group $\mathbf{G}^F$ which satisfy the condition that the centraliser $C_{\mathbf{G}}(g)$ is contained in…

Representation Theory · Mathematics 2022-02-07 Jay Taylor , Pham H. Tiep

For a polynomial map $\mathbf{f} : k^n \to k^m$ ($k$ a field), we investigate those polynomials $g \in k[t_1,\ldots, t_n]$ that can be written as a composition $g = h \circ \mathbf{f}$, where $h: k^m \to k$ is an arbitrary function. In the…

Commutative Algebra · Mathematics 2019-09-04 Erhard Aichinger

The class $FORMULA[s] \circ \mathcal{G}$ consists of Boolean functions computable by size-$s$ de Morgan formulas whose leaves are any Boolean functions from a class $\mathcal{G}$. We give lower bounds and (SAT, Learning, and PRG) algorithms…

Computational Complexity · Computer Science 2020-02-21 Valentine Kabanets , Sajin Koroth , Zhenjian Lu , Dimitrios Myrisiotis , Igor Oliveira

A solution is proposed for the problem of composition of ordinary generating functions. A new class of functions that provides a composition of ordinary generating functions is introduced; main theorems are presented; compositae are written…

Combinatorics · Mathematics 2010-09-15 Kruchinin Vladimir Victorovich

The log-rank conjecture is one of the fundamental open problems in communication complexity. It speculates that the deterministic communication complexity of any two-party function is equal to the log of the rank of its associated matrix,…

Computational Complexity · Computer Science 2014-04-01 Shachar Lovett

In this paper, we study the weighted composition operator on the Fock space $\mf$ of slice regular functions. First, we characterize the boundedness and compactness of the weighted composition operator. Subsequently, we describe all the…

Functional Analysis · Mathematics 2018-03-20 Pan Lian , Yu-Xia Liang

Autoregressive language models achieve remarkable performance, yet a unified theory explaining their internal mechanisms, how training shapes representations, and why these representations support complex behavior remains incomplete. We…

Machine Learning · Computer Science 2026-05-14 Yifan Zhang

Inference is a fundamental reasoning technique in probability theory. When applied to a large joint distribution, it involves updating with evidence (conditioning) in one or more components (variables) and computing the outcome in other…

Logic in Computer Science · Computer Science 2026-03-03 Bart Jacobs , Márk Széles , Dario Stein

Actors are embedded in networks of communication: the relations of the actors can be represented as the rows of a matrix, while the column vectors represent their communications. The two systems are structurally coupled in the co-variation:…

Adaptation and Self-Organizing Systems · Physics 2010-03-16 Loet Leydesdorff

We suggest the necessary/sufficient criteria for the existence of a (order-by-order) solution y(x) of a functional equation F(x,y)=0 over a ring. In full generality, the criteria hold in the category of filtered groups, this includes the…

Commutative Algebra · Mathematics 2016-04-05 Genrich Belitskii , Dmitry Kerner

For a restricted class of potentials (harmonic+Gaussian potentials), we express the resolvent integral for the correlation functions of simple traces of powers of complex matrices of size $N$, in term of a determinant; this determinant is…

High Energy Physics - Theory · Physics 2009-11-11 M. C. Bergère

We investigate the question which communication tasks can be accomplished within a given operational theory. The concrete task is to find out which communication matrices have a prepare-and-measure implementation with states and measurement…

Quantum Physics · Physics 2020-11-04 Teiko Heinosaari , Oskari Kerppo , Leevi Leppäjärvi

Compositional generalization, the ability to recognize familiar parts in novel contexts, is a defining property of intelligent systems. Although modern models are trained on massive datasets, they still cover only a tiny fraction of the…

Computer Vision and Pattern Recognition · Computer Science 2026-03-02 Arnas Uselis , Andrea Dittadi , Seong Joon Oh

In this paper, we propose a novel architecture called Composition Attention Grammars (CAGs) that recursively compose subtrees into a single vector representation with a composition function, and selectively attend to previous structural…

Computation and Language · Computer Science 2025-08-20 Ryo Yoshida , Yohei Oseki

Among the various forms of reasoning studied in the context of artificial intelligence, qualitative reasoning makes it possible to infer new knowledge in the context of imprecise, incomplete information without numerical values. In this…

Artificial Intelligence · Computer Science 2026-02-10 Quentin Cohen-Solal , Alexandre Niveau , Maroua Bouzid

For a function $g\colon\{0,1\}^m\to\{0,1\}$, a function $f\colon \{0,1\}^n\to\{0,1\}$ is called a $g$-polymorphism if their actions commute: $f(g(\mathsf{row}_1(Z)),\ldots,g(\mathsf{row}_n(Z))) =…

Discrete Mathematics · Computer Science 2021-06-22 Gilad Chase , Yuval Filmus , Dor Minzer , Elchanan Mossel , Nitin Saurabh