English
Related papers

Related papers: On depth-3 circuits and covering number: an explic…

200 papers

The input to the NP-hard Point Line Cover problem (PLC) consists of a set $P$ of $n$ points on the plane and a positive integer $k$, and the question is whether there exists a set of at most $k$ lines which pass through all points in $P$. A…

Data Structures and Algorithms · Computer Science 2013-07-10 Stefan Kratsch , Geevarghese Philip , Saurabh Ray

In this paper, we introduce the notion of (strictly) semimonotone matrices of exact order $k$, where $0\leq k\leq n$, and explore their properties. We fully characterize the $3 \times 3$ (strictly) semimonotone matrices of exact order $2$,…

Optimization and Control · Mathematics 2026-03-03 Bharat Pratap Chauhan , Dipti Dubey

We introduce the polynomial coefficient matrix and identify maximum rank of this matrix under variable substitution as a complexity measure for multivariate polynomials. We use our techniques to prove super-polynomial lower bounds against…

Computational Complexity · Computer Science 2013-02-15 Mrinal Kumar , Gaurav Maheshwari , Jayalal Sarma M. N

Let $A$ be the polynomial algebra in $r$ variables with coefficients in an algebraically closed field $k$. When the characteristic of $k$ is $2$, Carlsson conjectured that any $\mathrm{dg}$-$A$-module that is free of rank $N$ as an…

Commutative Algebra · Mathematics 2025-12-16 Berrin Şentürk

We show that sharp thresholds for Boolean functions directly imply average-case circuit lower bounds. More formally we show that any Boolean function exhibiting a sharp enough threshold at \emph{arbitrary} critical density cannot be…

Computational Complexity · Computer Science 2024-07-17 David Gamarnik , Elchanan Mossel , Ilias Zadik

We give the first super-polynomial separation in the power of bounded-depth boolean formulas vs. circuits. Specifically, we consider the problem Distance $k(n)$ Connectivity, which asks whether two specified nodes in a graph of size $n$ are…

Computational Complexity · Computer Science 2013-12-03 Benjamin Rossman

We prove that for any connected open set $\Omega\subset \R^n$ and for any set of matrices $K=\{A_1,A_2,A_3\}\subset M^{m\times n}$, with $m\ge n$ and rank$(A_i-A_j)=n$ for $i\neq j$, there is no non-constant solution $B\in…

Analysis of PDEs · Mathematics 2007-05-23 Mariapia Palombaro , Marcello Ponsiglione

We study the size blow-up that is necessary to convert an algebraic circuit of product-depth $\Delta+1$ to one of product-depth $\Delta$ in the multilinear setting. We show that for every positive $\Delta = \Delta(n) = o(\log n/\log \log…

Computational Complexity · Computer Science 2018-04-10 Suryajith Chillara , Christian Engels , Nutan Limaye , Srikanth Srinivasan

The class P is in fact a proper sub-class of NP. We explore topological properties of the Hamming space 2^[n] where [n]={1, 2,..., n}. With the developed theory, we show: (i) a theorem that is closely related to Erdos and Rado's sunflower…

Computational Complexity · Computer Science 2013-10-23 Junichiro Fukuyama

Let C be a depth-3 circuit with n variables, degree d and top fanin k (called sps(k,d,n) circuits) over base field F. It is a major open problem to design a deterministic polynomial time blackbox algorithm that tests if C is identically…

Computational Complexity · Computer Science 2015-03-17 Nitin Saxena , C. Seshadhri

Strassen's asymptotic rank conjecture [Progr. Math. 120 (1994)] claims a strong submultiplicative upper bound on the rank of a three-tensor obtained as an iterated Kronecker product of a constant-size base tensor. The conjecture, if true,…

Data Structures and Algorithms · Computer Science 2023-10-19 Andreas Björklund , Petteri Kaski

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

We study the random composition of a small family of O(n^3) simple permutations on {0,1}^n. Specifically we ask how many randomly selected simple permutations need be composed to yield a permutation that is close to k-wise independent. We…

Combinatorics · Mathematics 2007-05-23 Shlomo Hoory , Alex Brodsky

We construct Zollfrei Lorentzian metrics on every nontrivial orientable circle bundle over a orientable closed surface. Further we prove a weaker version of Guillemin's conjecture assuming global hyperbolicity of the universal cover.

Differential Geometry · Mathematics 2014-02-24 Stefan Suhr

We construct explicit Boolean square matrices whose rectifier complexity (OR-complexity) differs significantly from the complexity of their complement matrices.

Computational Complexity · Computer Science 2014-07-18 Igor S. Sergeev

We establish an explicit link between depth-3 formulas and one-sided approximation by depth-2 formulas, which were previously studied independently. Specifically, we show that the minimum size of depth-3 formulas is (up to a factor of n)…

Computational Complexity · Computer Science 2017-05-11 Shuichi Hirahara

Let $\Omega \subset R^n$, $n \geq 3$, be a fixed smooth bounded domain, and let $\gamma$ be a smooth conductivity in $\overline{\Omega}$. Consider a non-zero frequency $\lambda_0$ which does not belong to the Dirichlet spectrum of $L_\gamma…

Analysis of PDEs · Mathematics 2024-09-23 Thierry Daudé , Bernard Helffer , Niky Kamran , François Nicoleau

We study pseudorandomness properties of permutations on $\{0,1\}^n$ computed by random circuits made from reversible $3$-bit gates (permutations on $\{0,1\}^3$). Our main result is that a random circuit of depth $n \cdot \tilde{O}(k^2)$,…

Computational Complexity · Computer Science 2025-02-13 William He , Ryan O'Donnell

We show lower bounds of $\Omega(\sqrt{n})$ and $\Omega(n^{1/4})$ on the randomized and quantum communication complexity, respectively, of all $n$-variable read-once Boolean formulas. Our results complement the recent lower bound of…

Computational Complexity · Computer Science 2009-09-01 Rahul Jain , Hartmut Klauck , Shengyu Zhang

We study circuits for computing depth-2 linear transforms defined by Kronecker power matrices. Recent works have improved on decades-old constructions in this area using a new ''rebalancing'' approach [Alman, Guan and Padaki, SODA'23;…

Data Structures and Algorithms · Computer Science 2025-09-19 Josh Alman , Baitian Li