English
Related papers

Related papers: An Almost Optimal Rank Bound for Depth-3 Identitie…

200 papers

Define $||n||$ to be the complexity of $n$, the smallest number of ones needed to write $n$ using an arbitrary combination of addition and multiplication. The set $\mathscr{D}$ of defects, differences $\delta(n):=||n||-3\log_3 n$, is known…

Number Theory · Mathematics 2025-10-20 Harry Altman , Juan Arias de Reyna

Recently, Gupta et.al. [GKKS2013] proved that over Q any $n^{O(1)}$-variate and $n$-degree polynomial in VP can also be computed by a depth three $\Sigma\Pi\Sigma$ circuit of size $2^{O(\sqrt{n}\log^{3/2}n)}$. Over fixed-size finite fields,…

Computational Complexity · Computer Science 2014-01-03 Suryajith Chillara , Partha Mukhopadhyay

This paper establishes information-theoretic limits in estimating a finite field low-rank matrix given random linear measurements of it. These linear measurements are obtained by taking inner products of the low-rank matrix with random…

Information Theory · Computer Science 2015-03-19 Vincent Y. F. Tan , Laura Balzano , Stark C. Draper

We define and analyze low-rank parity-check (LRPC) codes over extension rings of the finite chain ring $\mathbb{Z}_{p^r}$, where $p$ is a prime and $r$ is a positive integer. LRPC codes have originally been proposed by Gaborit et al.(2013)…

Information Theory · Computer Science 2020-05-18 Julian Renner , Sven Puchinger , Antonia Wachter-Zeh , Camilla Hollanti , Ragnar Freij-Hollanti

In a graph whose vertices are assigned integer ranks, a path is well-ranked if the endpoints have distinct ranks or some interior point has a higher rank than the endpoints. A ranking is an assignment of ranks such that all nontrivial paths…

Combinatorics · Mathematics 2016-07-26 Jordan Almeter , Samet Demircan , Andrew Kallmeyer , Kevin G. Milans , Robert Winslow

We study distributed algorithms that find a maximal matching in an anonymous, edge-coloured graph. If the edges are properly coloured with $k$ colours, there is a trivial greedy algorithm that finds a maximal matching in $k-1$ synchronous…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-12-24 Juho Hirvonen , Jukka Suomela

Motivated by recent work on majority edge-colourings of graphs, we initiate the study of the corresponding problem for hypergraphs. First, sharpening the probabilistic argument by a $KL$ large-deviation estimate, we obtain a sufficient…

Combinatorics · Mathematics 2026-03-31 Jiangdong Ai , Feiyu Nan

For a finite Abelian group $(\Gamma,+)$, let $n(\Gamma)$ denote the smallest positive integer $n$ such that for each labelling of the arcs of the complete digraph of order $n$ using elements from $\Gamma$, there exists a directed cycle such…

Combinatorics · Mathematics 2024-07-11 Micha Christoph , Charlotte Knierim , Anders Martinsson , Raphael Steiner

We show that the representation cost of fully connected neural networks with homogeneous nonlinearities - which describes the implicit bias in function space of networks with $L_2$-regularization or with losses such as the cross-entropy -…

Machine Learning · Statistics 2023-03-27 Arthur Jacot

Let $G$ be a graph and let $I$ be the edge ideal of $G$. Our main results in this article provide lower bounds for the depth of the first three powers of $I$ in terms of the diameter of $G$. More precisely, we show that $\depth R/I^t \geq…

Commutative Algebra · Mathematics 2015-05-21 Louiza Fouli , Susan Morey

We show how to compute a relative-error low-rank approximation to any positive semidefinite (PSD) matrix in sublinear time, i.e., for any $n \times n$ PSD matrix $A$, in $\tilde O(n \cdot poly(k/\epsilon))$ time we output a rank-$k$ matrix…

Data Structures and Algorithms · Computer Science 2019-01-04 Cameron Musco , David P. Woodruff

In this paper, we present a method to certify the approximation quality of a low rank tensor to a given third order symmetric tensor. Under mild assumptions, best low rank approximation is attained if a control parameter is zero or…

Optimization and Control · Mathematics 2023-07-21 Shenglong Hu , Defeng Sun , Kim-Chuan Toh

In the Survivable Network Design problem (SNDP), we are given an undirected graph $G(V,E)$ with costs on edges, along with a connectivity requirement $r(u,v)$ for each pair $u,v$ of vertices. The goal is to find a minimum-cost subset $E^*$…

Data Structures and Algorithms · Computer Science 2008-12-24 Julia Chuzhoy , Sanjeev Khanna

In the past few years, a successful line of research has lead to lower bounds for several fundamental local graph problems in the distributed setting. These results were obtained via a technique called round elimination. On a high level,…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-29 Alkida Balliu , Sebastian Brandt , Fabian Kuhn , Dennis Olivetti , Joonatan Saarhelo

We call a depth-4 formula C set-depth-4 if there exists a (unknown) partition (X_1,...,X_d) of the variable indices [n] that the top product layer respects, i.e. C(x) = \sum_{i=1}^k \prod_{j=1}^{d} f_{i,j}(x_{X_j}), where f_{i,j} is a…

Computational Complexity · Computer Science 2012-09-12 Manindra Agrawal , Chandan Saha , Nitin Saxena

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 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

This paper consists of three parts. The first part presents a large class of new binary quasi-cyclic (QC)-LDPC codes with girth of at least 6 whose parity-check matrices are constructed based on cyclic subgroups of finite fields.…

Information Theory · Computer Science 2015-03-14 Li Zhang , Shu Lin , Khaled Abdel-Ghaffar , Zhi Ding , Bo Zhou

The motivation for this paper is to study the complexity of constant-width arithmetic circuits. Our main results are the following. 1. For every k > 1, we provide an explicit polynomial that can be computed by a linear-sized monotone…

Computational Complexity · Computer Science 2009-08-14 V. Arvind , Pushkar S. Joglekar , Srikanth Srinivasan

Automated underwater species classification is constrained by annotation cost and environmental variation that limits the transferability of fully supervised models. Recent work has shown that frozen embeddings from self-supervised vision…

Computer Vision and Pattern Recognition · Computer Science 2026-04-07 Thomas Manuel Rost