English
Related papers

Related papers: A $\mathbb{Z}_2$-Topological Framework for Sign-ra…

200 papers

We prove that the sign-rank of the $k$-Hamming Distance matrix on $n$ bits is $2^{O(k)}$, independent of the number of bits $n$. This strongly refutes the conjecture of Hatami, Hatami, Pires, Tao, and Zhao (RANDOM 2022), and Hatami,…

Computational Complexity · Computer Science 2025-09-16 Mika Göös , Nathaniel Harms , Valentin Imbach , Dmitry Sokolov

We prove new upper and lower bounds on $\epsilon$-approximate sign-rank, a relaxation of sign-rank introduced by Chornomaz, Moran, and Waknine (STOC 2025). We show that every $m \times n$ sign matrix with approximate sign-rank $d$ contains…

Computational Complexity · Computer Science 2026-05-26 Riju Bindua , Hamed Hatami , Hasti Karimi , Robert Robere

For even $k$, the matchings connectivity matrix $\mathbf{M}_k$ encodes which pairs of perfect matchings on $k$ vertices form a single cycle. Cygan et al. (STOC 2013) showed that the rank of $\mathbf{M}_k$ over $\mathbb{Z}_2$ is…

Data Structures and Algorithms · Computer Science 2017-11-22 Radu Curticapean , Nathan Lindzey , Jesper Nederlof

We prove new barrier results in arithmetic complexity theory, showing severe limitations of natural lifting (aka escalation) techniques. For example, we prove that even optimal rank lower bounds on $k$-tensors cannot yield non-trivial lower…

Computational Complexity · Computer Science 2019-04-10 Ankit Garg , Visu Makam , Rafael Oliveira , Avi Wigderson

Obtaining superlinear lower bounds on tensor rank is a major open problem in complexity theory. In this paper we propose a generalization of the approach used by Strassen in the proof of his 3n/2 border rank lower bound. Our approach…

Computational Complexity · Computer Science 2020-07-07 Pascal Koiran

We propose a method for rank $k$ approximation to a given input matrix $X \in \mathbb{R}^{d \times n}$ which runs in time \[ \tilde{O} \left(d ~\cdot~ \min\left\{n + \tilde{sr}(X) \,G^{-2}_{k,p+1}\ ,\ n^{3/4}\, \tilde{sr}(X)^{1/4}…

Information Theory · Computer Science 2016-07-12 Alon Gonen , Shai Shalev-Shwartz

For an $N \times N$ matrix $A$, its rank-$r$ rigidity, denoted $\mathcal{R}_A(r)$, is the minimum number of entries of $A$ that one must change to make its rank become at most $r$. Determining the rigidity of interesting explicit families…

Computational Complexity · Computer Science 2025-02-28 Josh Alman , Jingxun Liang

It is a classical important problem of differential topology by Thom; for a homology class of a compact manifold, can we realize this by a closed submanifold with no boundary? This is true if the degree of the class is smaller or equal to…

Algebraic Topology · Mathematics 2020-11-17 Naoki Kitazawa

We consider a notion of probabilistic rank and probabilistic sign-rank of a matrix, which measures the extent to which a matrix can be probabilistically represented by low-rank matrices. We demonstrate several connections with matrix…

Computational Complexity · Computer Science 2018-02-01 Josh Alman , Ryan Williams

One of the strongest techniques available for showing lower bounds on quantum communication complexity is the logarithm of the approximation rank of the communication matrix--the minimum rank of a matrix which is entrywise close to the…

Computational Complexity · Computer Science 2021-03-09 Troy Lee , Adi Shraibman

We consider 2-dimensional orientable self-shrinkers $\Sigma$ for the Mean Curvature Flow of polynomial volume growth immersed in $\mathbb R^n$. We look at closed one forms minimizing the norm $\int_\Sigma \eterm |\omega|^2$ in their…

Differential Geometry · Mathematics 2012-04-02 Matthew McGonagle

Sign-based optimization algorithms, such as SignSGD and Muon, have garnered significant attention for their remarkable performance in training large foundation models. Despite this empirical success, we still lack a theoretical…

Machine Learning · Computer Science 2026-05-08 Hongyi Tao , Dingzhi Yu , Lijun Zhang

For an input graph $G$, an additive spanner is a sparse subgraph $H$ whose shortest paths match those of $G$ up to small additive error. We prove two new lower bounds in the area of additive spanners: 1) We construct $n$-node graphs $G$ for…

Data Structures and Algorithms · Computer Science 2022-10-07 Greg Bodwin , Gary Hoppenworth

Imposing additional constraints on low-rank optimization has garnered growing interest. However, the geometry of coupled constraints hampers the well-developed low-rank structure and makes the problem intricate. To this end, we propose a…

Optimization and Control · Mathematics 2025-10-01 Yan Yang , Bin Gao , Ya-xiang Yuan

This work studies the maximum possible sign rank of $N \times N$ sign matrices with a given VC dimension $d$. For $d=1$, this maximum is {three}. For $d=2$, this maximum is $\tilde{\Theta}(N^{1/2})$. For $d >2$, similar but slightly less…

Combinatorics · Mathematics 2016-07-11 Noga Alon , Shay Moran , Amir Yehudayoff

In this paper, we present a flexible low-rank matrix completion (LRMC) approach for topological interference management (TIM) in the partially connected K-user interference channel. No channel state information (CSI) is required at the…

Information Theory · Computer Science 2016-03-08 Yuanming Shi , Jun Zhang , Khaled B. Letaief

We establish several new properties of the $p$-adic Jacquet-Langlands functor defined by Scholze in terms of the cohomology of the Lubin-Tate tower. In particular, we reprove Scholze's basic finiteness theorems, prove a duality theorem, and…

Number Theory · Mathematics 2022-07-12 David Hansen , Lucas Mann

Depth-3 circuit lower bounds and $k$-SAT algorithms are intimately related; the state-of-the-art $\Sigma^k_3$-circuit lower bound and the $k$-SAT algorithm are based on the same combinatorial theorem. In this paper we define a problem which…

Computational Complexity · Computer Science 2024-05-24 Mohit Gurumukhani , Ramamohan Paturi , Pavel Pudlák , Michael Saks , Navid Talebanfard

The main purpose of this paper is to further study the structure, parameters and constructions of the recently introduced minimal codes in the sum-rank metric. These objects form a bridge between the classical minimal codes in the Hamming…

Combinatorics · Mathematics 2023-03-14 Martino Borello , Ferdinando Zullo

This work rigorously establishes a universal lower bound $z\ge2$ for the dynamical exponent in frustration-free quantum many-body systems whose ground states exhibit power-law decaying correlations. The derivation relies on the Gosset-Huang…

Strongly Correlated Electrons · Physics 2025-12-18 Rintaro Masaoka , Tomohiro Soejima , Haruki Watanabe
‹ Prev 1 2 3 10 Next ›