English
Related papers

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

200 papers

The Zariski closure of the boundary of the set of matrices of nonnegative rank at most 3 is reducible. We give a minimal generating set for the ideal of each irreducible component. In fact, this generating set is a Grobner basis with…

Algebraic Geometry · Mathematics 2014-12-05 Rob H. Eggermont , Emil Horobet , Kaie Kubjas

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

The circuit evaluation problem (also known as the compressed word problem) for finitely generated linear groups is studied. The best upper bound for this problem is $\mathsf{coRP}$, which is shown by a reduction to polynomial identity…

Computational Complexity · Computer Science 2015-02-13 Daniel König , Markus Lohrey

$ \newcommand{\cclass}[1]{{\normalfont\textsf{##1}}} $We show average-case lower bounds for explicit Boolean functions against bounded-depth threshold circuits with a superlinear number of wires. We show that for each integer $d > 1$, there…

Computational Complexity · Computer Science 2018-06-19 Ruiwen Chen , Rahul Santhanam , Srikanth Srinivasan

We give a simple construction of $n\times n$ Boolean matrices with $\Omega(n^{4/3})$ zero entries that are free of $2 \times 2$ all-zero submatrices and have covering number $O(\log^4(n))$. This construction provides an explicit…

Computational Complexity · Computer Science 2022-10-18 Lianna Hambardzumyan , Hamed Hatami , Ndiamé Ndiaye

The design automation of analog circuits is a longstanding challenge. This paper presents a reinforcement learning method enhanced by graph learning to automate the analog circuit parameter optimization at the pre-layout stage, i.e.,…

Machine Learning · Computer Science 2022-05-18 Weidong Cao , Mouhacine Benosman , Xuan Zhang , Rui Ma

Given a network property or a data structure, a local certification is a labeling that allows to efficiently check that the property is satisfied, or that the structure is correct. The quality of a certification is measured by the size of…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-11 Virgina Ardévol Martínez , Marco Caoduro , Laurent Feuilloley , Jonathan Narboni , Pegah Pournajafi , Jean-Florent Raymond

We establish a generic form of hardness amplification for the approximability of constant-depth Boolean circuits by polynomials. Specifically, we show that if a Boolean circuit cannot be pointwise approximated by low-degree polynomials to…

Computational Complexity · Computer Science 2014-04-29 Mark Bun , Justin Thaler

We prove that for an $L$-layer fully-connected linear neural network, if the width of every hidden layer is $\tilde\Omega (L \cdot r \cdot d_{\mathrm{out}} \cdot \kappa^3 )$, where $r$ and $\kappa$ are the rank and the condition number of…

Machine Learning · Computer Science 2019-05-28 Simon S. Du , Wei Hu

A rank 3 graph is an orbital graph of a rank 3 permutation group of even order. Despite the classification of rank 3 graphs being complete, see, e.g., Chapter 11 of the recent monograph 'Strongly regular graphs' by Brouwer and Van…

Combinatorics · Mathematics 2024-06-10 Jin Guo , Andrey V. Vasil'ev , Rui Wang

Over fields of characteristic unequal to $2$, we can identify symmetric matrices with homogeneous polynomials of degree $2$. This allows us to view symmetric rank-metric codes as living inside the space of such polynomials. In this paper,…

Information Theory · Computer Science 2023-03-14 Arthur Bik , Alessandro Neri

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

We present new deterministic algorithms for several cases of the maximum rank matrix completion problem (for short matrix completion), i.e. the problem of assigning values to the variables in a given symbolic matrix as to maximize the…

Data Structures and Algorithms · Computer Science 2014-07-11 Gábor Ivanyos , Marek Karpinski , Nitin Saxena

Polynomial identity testing and arithmetic circuit lower bounds are two central questions in algebraic complexity theory. It is an intriguing fact that these questions are actually related. One of the authors of the present paper has…

Computational Complexity · Computer Science 2012-02-17 Bruno Grenet , Pascal Koiran , Natacha Portier , Yann Strozecki

We introduce spiky rank, a new matrix parameter that enhances blocky rank by combining the combinatorial structure of the latter with linear-algebraic flexibility. A spiky matrix is block-structured with diagonal blocks that are arbitrary…

Computational Complexity · Computer Science 2026-03-02 Lianna Hambardzumyan , Konstantin Myasnikov , Artur Riazanov , Morgan Shirley , Adi Shraibman

A $k$-ranking of a graph $G$ is a labeling of its vertices from $\{1,\ldots,k\}$ such that any nontrivial path whose endpoints have the same label contains a larger label. The least $k$ for which $G$ has a $k$-ranking is the ranking number…

Combinatorics · Mathematics 2014-01-14 Daniel C. McDonald

The complexity of bilinear maps (equivalently, of $3$-mode tensors) has been studied extensively, most notably in the context of matrix multiplication. While circuit complexity and tensor rank coincide asymptotically for $3$-mode tensors,…

Computational Complexity · Computer Science 2026-02-13 Cornelius Brand , Radu Curticapean , Petteri Kaski , Baitian Li , Ian Orzel , Tim Seppelt , Jiaheng Wang

For a matrix $M$ and a positive integer $r$, the rank $r$ rigidity of $M$ is the smallest number of entries of $M$ which one must change to make its rank at most $r$. There are many known applications of rigidity lower bounds to a variety…

Data Structures and Algorithms · Computer Science 2021-02-25 Josh Alman

In this paper, for each $d>0$, we study the minimum integer $h_{3,2d}\in \mathbb{N}$ for which there exists a complex polarized K3 surface $(X,H)$ of degree $H^2=2d$ and Picard number $\rho (X):=\textrm{rank } \textrm{Pic } X = h_{3,2d}$…

Algebraic Geometry · Mathematics 2024-03-26 Dino Festi

A code over a finite field is called locally recoverable code (LRC) if every coordinate symbol can be determined by a small number (at most r, this parameter is called locality) of other coordinate symbols. For a linear code with length n,…

Information Theory · Computer Science 2019-10-22 Hao Chen , Jian Weng , Weiqi Luo