English
Related papers

Related papers: On top fan-in vs formal degree for depth-$3$ arith…

200 papers

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

Let $D(M,N)$ be the set of integers that can be realized as the degree of a map between two closed connected orientable manifolds $M$ and $N$ of the same dimension. For closed $3$-manifolds with $S^3$-geometry $M$ and $N$, every such degree…

Algebraic Topology · Mathematics 2018-01-17 Daciberg Gonçalves , Peter Wong , Xuezhi Zhao

We study the following computational problem: for which values of $k$, the majority of $n$ bits $\text{MAJ}_n$ can be computed with a depth two formula whose each gate computes a majority function of at most $k$ bits? The corresponding…

Computational Complexity · Computer Science 2016-10-11 Alexander S. Kulikov , Vladimir V. Podolskii

The edge domination number $\gamma_e(G)$ of a graph $G$ is the minimum size of a maximal matching in $G$. It is well known that this parameter is computationally very hard, and several approximation algorithms and heuristics have been…

Combinatorics · Mathematics 2019-05-30 Julien Baste , Maximilian Fürst , Michael A. Henning , Elena Mohr , Dieter Rautenbach

We establish that the optimal bound for the size of the smallest integral solution of the Oppenheim Diophantine approximation problem $\abs{Q(x)-\xi}< \epsilon$ for a generic ternary form $Q$ is $\abs{x}\ll \epsilon^{-1}$. We also establish…

Number Theory · Mathematics 2018-01-04 Anish Ghosh , Alexander Gorodnik , Amos Nevo

In this paper we associate to each multivariate polynomial $f$ that is homogeneous relative to a subset of its variables a series of polynomial families $P_\lambda (f)$ of $m$-tuples of homogeneous polynomials of equal degree such that the…

Computational Complexity · Computer Science 2017-08-03 Hông Vân Lê

We prove new monogamy of entanglement bounds for two-local qudit Hamiltonians of rank-one projectors without one-local terms. In particular, we certify the maximum energy in terms of the maximum matching of the underlying interaction graph…

We prove that if a degree-$d$ homogeneous polynomial $f$ has border Waring rank $\underline{\mathrm{WR}}({f}) = r$, then its Waring rank is bounded by \[ {\mathrm{WR}}({f}) \leq d \cdot r^{O(\sqrt{r})}. \] This result significantly improves…

Computational Complexity · Computer Science 2025-02-06 Amir Shpilka

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

The assignments of a set of $m$ items into $n$ clusters of prescribed sizes $k_1,\dots,k_n$ can be encoded as the vertices of the partition polytope $\mathrm{PP}(k_1,\dots,k_n)$. We prove that, if $K = \max\{k_1,\dots,k_n\}$, then the…

Combinatorics · Mathematics 2025-07-30 Steffen Borgwardt , Zdeněk Dvořák , Bryce Frederickson , Abigail Nix , Youngho Yoo

Let $\mathrm{R}$ be a real closed field. We prove that the number of semi-algebraically connected components of a real hypersurface in $\mathrm{R}^n$ defined by a multi-affine polynomial of degree $d$ is bounded by $2^{d-1}$. This bound is…

Algebraic Geometry · Mathematics 2022-04-05 Saugata Basu , Daniel Perrucci

The approximate degree of a Boolean function $f: \{-1, 1\}^n \to \{-1, 1\}$ is the minimum degree of a real polynomial that approximates $f$ to within error $1/3$ in the $\ell_\infty$ norm. In an influential result, Aaronson and Shi (J. ACM…

Computational Complexity · Computer Science 2015-03-27 Mark Bun , Justin Thaler

We prove an average-case depth hierarchy theorem for Boolean circuits over the standard basis of $\mathsf{AND}$, $\mathsf{OR}$, and $\mathsf{NOT}$ gates. Our hierarchy theorem says that for every $d \geq 2$, there is an explicit…

Computational Complexity · Computer Science 2015-04-15 Benjamin Rossman , Rocco A. Servedio , Li-Yang Tan

Ananyan and Hochster proved the existence of a function $\Phi(m,d)$ such that any graded ideal $I$ generated by $m$ forms of degree at most $d$ in a standard graded polynomial ring satisfies $\mathrm{reg}(I) \le \Phi(m,d)$. Relatedly,…

Commutative Algebra · Mathematics 2023-05-12 Jason McCullough

The degree-diameter problem consists of finding the maximum number of vertices $n$ of a graph with diameter $d$ and maximum degree $\Delta$. This problem is well studied, and has been solved for plane graphs of low diameter in which every…

Combinatorics · Mathematics 2024-01-23 Brandon Du Preez

We study the problem of maximizing the geometric mean of $d$ low-degree non-negative forms on the real or complex sphere in $n$ variables. We show that this highly non-convex problem is NP-hard even when the forms are quadratic and is…

Optimization and Control · Mathematics 2021-03-23 Chenyang Yuan , Pablo A. Parrilo

We study the problem of approximating the largest root of a real-rooted polynomial of degree $n$ using its top $k$ coefficients and give nearly matching upper and lower bounds. We present algorithms with running time polynomial in $k$ that…

Data Structures and Algorithms · Computer Science 2017-04-14 Nima Anari , Shayan Oveis Gharan , Amin Saberi , Nikhil Srivastava

We relate the maximum semidefinite and linear extension complexity of a family of polytopes to the cardinality of this family and the minimum pairwise Hausdorff distance of its members. This result directly implies a known lower bound on…

Optimization and Control · Mathematics 2016-05-30 Gennadiy Averkov , Volker Kaibel , Stefan Weltge

Product structure theorems are a collection of recent results that have been used to resolve a number of longstanding open problems on planar graphs and related graph classes. One particularly useful version states that every planar graph…

Combinatorics · Mathematics 2024-06-17 Vida Dujmović , Gwenaël Joret , Piotr Micek , Pat Morin , David R. Wood

Let $P_{\text{MAX}}(d,s)$ denote the maximum arithmetic genus of a locally Cohen-Macaulay curve of degree $d$ in $\mathbb{P}^3$ that is not contained in a surface of degree $<s$. A bound $P(d, s)$ for $P_{\text{MAX}}(d,s)$ has been proven…

Algebraic Geometry · Mathematics 2018-06-25 Valentina Beorchia , Paolo Lella , Enrico Schlesinger