English
Related papers

Related papers: Lower Bounds on Matrix Rigidity via a Quantum Argu…

200 papers

We computationally resolve an open problem concerning the expressibility of $4 \times 4$ full-rank matrices as Hadamard products of two rank-2 matrices. Through exhaustive search over $\mathbb{F}_2$, we identify 5,304 counterexamples among…

Rings and Algebras · Mathematics 2025-08-22 Igor Rivin

Many iterative algorithms in optimization, computational geometry, computer algebra, and other areas of computer science require repeated computation of some algebraic expression whose input changes slightly from one iteration to the next.…

Computational Complexity · Computer Science 2024-01-24 Emile Anand , Jan van den Brand , Mehrdad Ghadiri , Daniel Zhang

In this paper we look at isometry properties of random matrices. During the last decade these properties gained a lot attention in a field called compressed sensing in first place due to their initial use in \cite{CRT,CT}. Namely, in…

Optimization and Control · Mathematics 2015-07-17 Mihailo Stojnic

We give upper bounds for the determinant of an $n\times n$ zero-one matrix containing $kn$ ones for integral $k$. Our results improve upon a result of Ryser for $k=o(n^{1/3})$. For fixed $k\ge 3$ it was an open question whether Hadamard's…

Combinatorics · Mathematics 2019-03-04 Daniel Scheinerman

We present an efficient algorithm to reduce the number of non-Clifford gates in quantum circuits and the number of parametrized rotations in parametrized quantum circuits. The method consists in finding rotations that can be merged into a…

Quantum Physics · Physics 2024-07-11 Vivien Vandaele , Simon Perdrix , Christophe Vuillot

The border rank of the matrix multiplication operator for n by n matrices is a standard measure of its complexity. Using techniques from algebraic geometry and representation theory, we show the border rank is at least 2n^2-n. Our bounds…

Computational Complexity · Computer Science 2013-06-04 J. M. Landsberg , Giorgio Ottaviani

The matrix completion problem consists of finding or approximating a low-rank matrix based on a few samples of this matrix. We propose a new algorithm for matrix completion that minimizes the least-square distance on the sampling set over…

Optimization and Control · Mathematics 2012-09-19 Bart Vandereycken

In this paper, we consider the equilibrium problems and also their regularized problems under the setting of Hadamard spaces. The solution to the regularized problem is represented in terms of resolvent operators. As an essential machinery…

Optimization and Control · Mathematics 2018-07-31 Poom Kumam , Parin Chaipunya

Uncertainty lower bounds for parameter estimations associated with a unitary family of mixed-state density matrices are obtained by embedding the space of density matrices in the Hilbert space of square-root density matrices. In the…

Quantum Physics · Physics 2021-10-20 Alex J. Belfield , Dorje C. Brody

In this paper, we introduce new concepts of weak rigidity matrix and infinitesimal weak rigidity for planar frameworks. The weak rigidity matrix is used to directly check if a framework is infinitesimally weakly rigid while previous work…

Systems and Control · Computer Science 2018-03-28 Seong-Ho Kwon , Minh Hoang Trinh , Koog-Hwan Oh , Shiyu Zhao , Hyo-Sung Ahn

An important yet challenging problem in numerical linear algebra is finding a principal submatrix with maximum determinant from a given symmetric positive semidefinite matrix. This problem arises in experimental design, statistics, and…

Optimization and Control · Mathematics 2026-05-26 Hao Hu , Stefan Sremac , Hugo J. Woerdeman , Henry Wolkowicz

We explore the rigidity of generic frameworks in 3-dimensions whose underlying graph is close to being planar. Specifically we consider apex graphs, edge-apex graphs and their variants and prove independence results in the generic…

Combinatorics · Mathematics 2024-02-28 Sean Dewar , Georg Grasegger , Eleftherios Kastis , Anthony Nixon , Brigitte Servatius

We provide a technique to obtain explicit bounds for problems that can be reduced to linear forms in three complex logarithms of algebraic numbers. This technique can produce bounds significantly better than general results on lower bounds…

Number Theory · Mathematics 2023-10-02 Maurice Mignotte , Paul Voutier

A well studied problem in algebraic complexity theory is the determination of the complexity of problems relying on evaluations of bilinear maps. One measure of the complexity of a bilinear map (or 3-tensor) is the optimal number of…

Information Theory · Computer Science 2021-03-23 Eimear Byrne , Giuseppe Cotardo

A notable difference between the ordinary and Hadamard products is that the Hadamard product of two singular positive semidefinite matrices can be nonsingular, and one of the factors can even be indefinite. We present an eigenvalue lower…

Signal Processing · Electrical Eng. & Systems 2026-04-22 Roger A. Horn , Shengxuan Luo , Hongwei Xu , Zai Yang

Matroid theory provides a unifying framework for studying dependence across combinatorics, geometry, and applications ranging from rigidity to statistics. In this work, we study circuit varieties of matroids, defined by their minimal…

Combinatorics · Mathematics 2025-12-05 Emiliano Liwski , Fatemeh Mohammadi , Rémi Prébet

We study the communication complexity of linear algebraic problems over finite fields in the multi-player message passing model, proving a number of tight lower bounds. Specifically, for a matrix which is distributed among a number of…

Computational Complexity · Computer Science 2014-07-18 Yi Li , Xiaoming Sun , Chengu Wang , David P. Woodruff

In this paper, we define the notion of rigidity for linear electrical multiports and for matroid pairs. We show the parallel between the two and study the consequences of this parallel. We present applications to testing, using purely…

Combinatorics · Mathematics 2021-03-10 H. Narayanan

In this thesis the variational optimisation of the density matrix is discussed as a method in many-body quantum mechanics. This is a relatively unknown technique in which one tries to obtain the two-particle reduced density matrix directly…

Quantum Physics · Physics 2012-03-27 Brecht Verstichel

A minimally rigid graph, also called Laman graph, models a planar framework which is rigid for a general choice of distances between its vertices. In other words, there are finitely many ways, up to isometries, to realize such a graph in…

Computational Geometry · Computer Science 2022-01-04 Christoph Koutschan