English
Related papers

Related papers: A strong direct product theorem for two-way public…

200 papers

We consider bicrossed products obtained by twisting compact semi-direct products by a suitable finite subgroup. Under some restriction, we give a practical criterion for the discrete dual of such bicrossed products to have the rapid decay…

Operator Algebras · Mathematics 2025-10-28 Hua Wang

Nonuniqueness of semidirect decompositions of groups is an insufficiently studied question in contrast to direct decompositions. We obtain some results about semidirect decompositions for semidirect products with factors which are…

Group Theory · Mathematics 2016-09-09 Peteris Daugulis

Using an inequality due to Ricard and Xu, we give a different proof of Paul Skoufranis's recent result showing that the strong convergence of possibly non-commutative random variables $X^{(k)}\to X$ is stable under reduced free product with…

Operator Algebras · Mathematics 2017-10-02 Gilles Pisier

We derive novel conditions that guarantee convergence of the Sum-Product algorithm (also known as Loopy Belief Propagation or simply Belief Propagation) to a unique fixed point, irrespective of the initial messages. The computational…

Information Theory · Computer Science 2007-12-18 Joris M. Mooij , Hilbert J. Kappen

We study the sum-product problem for the planar hypercomplex numbers: the dual numbers and double numbers. These number systems are similar to the complex numbers, but it turns out that they have a very different combinatorial behavior. We…

Combinatorics · Mathematics 2018-12-27 Matthew Hase-Liu , Adam Sheffer

In Direct Sum problems [KRW], one tries to show that for a given computational model, the complexity of computing a collection of finite functions on independent inputs is approximately the sum of their individual complexities. In this…

Computational Complexity · Computer Science 2016-11-17 Andrew Drucker

We study the problem of discrete distribution testing in the two-party setting. For example, in the standard closeness testing problem, Alice and Bob each have $t$ samples from, respectively, distributions $a$ and $b$ over $[n]$, and they…

Data Structures and Algorithms · Computer Science 2018-11-12 Alexandr Andoni , Tal Malkin , Negev Shekel Nosatzki

We study conditions under which subdirect products of various types of algebraic structures are finitely generated or finitely presented. In the case of two factors, we prove general results for arbitrary congruence permutable varieties,…

Rings and Algebras · Mathematics 2019-04-24 Peter Mayr , Nik Ruskuc

A unitary interaction coupling two parties enables quantum communication in both the forward and backward directions. Each communication capacity can be thought of as a tradeoff between the achievable rates of specific types of forward and…

Quantum Physics · Physics 2007-05-23 Aram W. Harrow , Debbie W. Leung

It is shown that, if $R$ is either an Artin algebra or a commutative noetherian domain of Krull dimension $1$, then infinite direct products of $R$-modules resist direct sum decomposition as follows: If $(M_n)_{n \in \Bbb N}$ is a family of…

Rings and Algebras · Mathematics 2014-07-10 Birge Huisgen-Zimmermann , Frank Okoh

In this paper we provide new bounds on classical and quantum distributional communication complexity in the two-party, one-way model of communication. In the classical model, our bound extends the well known upper bound of Kremer, Nisan and…

Information Theory · Computer Science 2008-02-29 Rahul Jain , Shengyu Zhang

In this paper, we first provide three general norm inequalities, which are used to give new uncertainty relations of any finite observables and quantum channels via metric-adjusted skew information. The results are applicable to its special…

Quantum Physics · Physics 2023-04-27 Hui Li , Ting Gao , Fengli Yan

Let $\F$ be a collection of subsets of $\Z_+$ and $(X,T)$ be a dynamical system. $x\in X$ is $\F$-recurrent if for each neighborhood $U$ of $x$, $\{n\in\Z_+:T^n x\in U\}\in \F$. $x$ is $\F$-product recurrent if $(x,y)$ is recurrent for any…

Dynamical Systems · Mathematics 2010-01-22 Pandeng Dong , Song Shao , Xiangdong Ye

We prove rigidity properties for von Neumann algebraic graph products. We introduce the notion of rigid graphs and define a class of II$_1$-factors named $\mathcal{C}_{\rm Rigid}$. For von Neumann algebras in this class we show a unique…

Operator Algebras · Mathematics 2026-05-13 Matthijs Borst , Martijn Caspers , Enli Chen

The system of undetermined coefficients of a bifurcation problem G[z]=0 in Banach spaces is investigated for proving the existence of families of solution curves by use of the implicit function theorem. The main theorem represents an…

Algebraic Geometry · Mathematics 2019-07-23 Matthias Stiefenhofer

We study a strongly coupled system consisting of a parabolic equation and a singular Hamilton-Jacobi equation in one space dimension. This system describes the dynamics of dislocation densities in a material submitted to an exterior applied…

Analysis of PDEs · Mathematics 2009-03-10 H. Ibrahim , M. Jazar , R. Monneau

I give a simple proof of a tight communication lower bound for pointer chasing.

Computational Complexity · Computer Science 2025-09-11 Emanuele Viola

We develop two generalizations of contraction theory, namely, semi-contraction and weak-contraction theory. First, using the notion of semi-norm, we propose a geometric framework for semi-contraction theory. We introduce matrix…

Systems and Control · Electrical Eng. & Systems 2020-10-06 Saber Jafarpour , Pedro Cisneros-Velarde , Francesco Bullo

The effective, fast transport of matter through porous media is often characterized by complex dispersion effects. To describe in mathematical terms such situations, instead of a simple macroscopic equation (as in the classical Darcy's…

Numerical Analysis · Mathematics 2025-05-06 Surendra Nepal , Vishnu Raveendran , Michael Eden , Rainey Lyons , Adrian Muntean

One of the major open problems in complexity theory is proving super-logarithmic lower bounds on the depth of circuits (i.e., $\mathbf{P}\not\subseteq\mathbf{NC}^{1}$). Karchmer, Raz, and Wigderson (Computational Complexity 5(3/4), 1995)…

Computational Complexity · Computer Science 2025-02-13 Or Meir