English
Related papers

Related papers: Lower Bounds for Matrix Product

200 papers

In this work, we prove the strongest known lower bounds for QAC$^0$, allowing polynomially many gates and ancillae. Our main results show that: (1) Depth-3 QAC$^0$ circuits cannot compute PARITY, and require $\Omega(\exp(\sqrt{n}))$ gates…

Quantum Physics · Physics 2026-01-21 Malvika Raj Joshi , Avishay Tal , Francisca Vasconcelos , John Wright

We obtain bounds on the number of triples that determine a given pair of dot products arising in a vector space over a finite field or a module over the set of integers modulo a power of a prime. More precisely, given $E\subset \mathbb…

Combinatorics · Mathematics 2015-08-12 David Covert , Steven Senger

The paper discusses the gate complexity of reversible circuits with the small number of additional inputs consisting of NOT, CNOT and 2-CNOT gates. We study Shannon's gate complexity function $L(n, q)$ for a reversible circuit implementing…

Computational Complexity · Computer Science 2018-02-08 Dmitry V. Zakablukov

We show that the product of an nx3 matrix and a 3x3 matrix over a commutative ring can be computed using 6n+3 multiplications. For two 3x3 matrices this gives us an algorithm using 21 multiplications. This is an improvement with respect to…

Computational Complexity · Computer Science 2020-07-28 Andreas Rosowski

This paper proposes lower bounds on a quantity called $L^p$-norm joint spectral radius, or in short, $p$-radius, of a finite set of matrices. Despite its wide range of applications to, for example, stability analysis of switched linear…

Optimization and Control · Mathematics 2016-11-04 Masaki Ogura , Victor M. Preciado , Raphaël Jungers

Let $ACC \circ THR$ be the class of constant-depth circuits comprised of AND, OR, and MOD$m$ gates (for some constant $m > 1$), with a bottom layer of gates computing arbitrary linear threshold functions. This class of circuits can be seen…

Computational Complexity · Computer Science 2014-01-13 Ryan Williams

Since the breakthrough superpolynomial multilinear formula lower bounds of Raz (Theory of Computing 2006), proving such lower bounds against multilinear algebraic branching programs (mABPs) has been a longstanding open problem in algebraic…

Computational Complexity · Computer Science 2026-05-12 Deepanshu Kush

Comparator circuits are a natural circuit model for studying bounded fan-out computation whose power sits between nondeterministic branching programs and general circuits. Despite having been studied for nearly three decades, the first…

Computational Complexity · Computer Science 2021-12-01 Bruno P. Cavalar , Zhenjian Lu

We present a method for randomizing formulas for bilinear computation of matrix products. We consider the implications of such randomization when there are two sources of error: One due to the formula itself only being approximately…

Data Structures and Algorithms · Computer Science 2022-01-11 Osman Asif Malik , Stephen Becker

Given a large finite point set, $P\subset \mathbb R^2$, we obtain upper bounds on the number of triples of points that determine a given pair of dot products. That is, for any pair of positive real numbers, $(\alpha, \beta)$, we bound the…

Combinatorics · Mathematics 2015-02-09 Daniel Barker , Steven Senger

The goal of this article is to study algorithms that compute the product between two matrixes, specifically using the ingenuous methods of Strassen and Strassen-Winograd, which will be presented in Section 2. At present, the cited methods…

Symbolic Computation · Computer Science 2023-09-06 M. S. O. Poloi , T. O. Quinelato

Let $M_{\langle u,v,w\rangle}\in C^{uv}\otimes C^{vw}\otimes C^{wu}$ denote the matrix multiplication tensor (and write $M_n=M_{\langle n,n,n\rangle}$) and let $det_3\in ( C^9)^{\otimes 3}$ denote the determinant polynomial considered as a…

Algebraic Geometry · Mathematics 2019-11-20 Austin Conner , Alicia Harper , J. M. Landsberg

We consider a model of computation motivated by possible limitations on quantum computers. We have a linear array of n wires, and we may perform operations only on pairs of adjacent wires. Our goal is to build a circuits that perform…

Quantum Physics · Physics 2007-05-23 Samuel A. Kutin , David Petrie Moulton , Lawren M. Smithline

In this note we discuss the geometry of matrix product states with periodic boundary conditions and provide three infinite sequences of examples where the quantum max-flow is strictly less than the quantum min-cut. In the first we fix the…

Quantum Physics · Physics 2018-10-19 Fulvio Gesmundo , J. M. Landsberg , Michael Walter

We prove two new upper bounds for depth-2 linear circuits computing the $N$th disjointness matrix $D^{\otimes N}$. First, we obtain a circuit of size $O\big(2^{1.24485N}\big)$ over $\{0,1\}$. Second, we obtain a circuit of degree…

Computational Complexity · Computer Science 2026-03-17 Lixi Ye

If $A$ and $B$ are nonnegative matrices, a sharp upper bound on the spectral radius $\rho(A\circ B)$ for the Hadamard product of two nonnegative matrices is given, and the minimum eigenvalue $\tau(A\star B)$ of the Fan product of two…

Numerical Analysis · Mathematics 2014-03-19 Qian-Ping Guo , Hou-Biao Li , Jin-Song Leng

The paper discusses the gate complexity and the depth of reversible circuits consisting of NOT, CNOT and 2-CNOT gates in the case, when the number of additional inputs is limited. We study Shannon's gate complexity function $L(n, q)$ and…

Computational Complexity · Computer Science 2017-03-28 Dmitry V. Zakablukov

The distinct dot products problem, a variant of the Erd\H{o}s distinct distances problem, asks "Given a set $P_n$ of $n$ points in $\mathbb{R}^2$, what is the minimum number $|D(P_n)|$ of distinct dot products they determine?" The best…

Combinatorics · Mathematics 2026-05-28 Anshula Gandhi

Quantum circuits currently constitute a dominant model for quantum computation. Our work addresses the problem of constructing quantum circuits to implement an arbitrary given quantum computation, in the special case of two qubits. We…

Quantum Physics · Physics 2009-11-07 Stephen S. Bullock , Igor L. Markov

We present an algorithm that computes the product of two n-bit integers in O(n log n (4\sqrt 2)^{log^* n}) bit operations. Previously, the best known bound was O(n log n 6^{log^* n}). We also prove that for a fixed prime p, polynomials in…

Symbolic Computation · Computer Science 2017-12-12 David Harvey , Joris van der Hoeven