English
Related papers

Related papers: Violating Constant Degree Hypothesis Requires Brea…

200 papers

Dub\'e introduced cone decompositions and their Macaulay constants and used them to obtain an upper bound on the degrees of the generators in a Gr\"obner basis of an ideal. Liang extended the theory to submodules of a free module. In this…

Commutative Algebra · Mathematics 2026-02-24 Uwe Nagel

A Turing degree d bounds a principle P of reverse mathematics if every computable instance of P has a d-computable solution. P admits a universal instance if there exists a computable instance such that every solution bounds P. We prove…

Logic · Mathematics 2014-11-07 Ludovic Patey

There is a growing body of work on proving hardness results for average-case estimation problems by bounding the low-degree advantage (LDA) - a quantitative estimate of the closeness of low-degree moments - between a null distribution and a…

Computational Complexity · Computer Science 2025-05-26 Rares-Darius Buhai , Jun-Ting Hsieh , Aayush Jain , Pravesh K. Kothari

Stochastic gradient descent (SGD) is a promising numerical method for solving large-scale inverse problems. However, its theoretical properties remain largely underexplored in the lens of classical regularization theory. In this note, we…

Numerical Analysis · Mathematics 2020-07-22 Tim Jahn , Bangti Jin

Spontaneous symmetry breaking is a cornerstone of modern physics, defining a wealth of phenomena in condensed-matter and high-energy physics, and beyond. It requires an infinite number of degrees of freedom, and even then, for continuous…

Disordered Systems and Neural Networks · Physics 2026-04-10 Oleg Evnin

We study the question of local testability of low (constant) degree functions from a product domain $S_1 \times \dots \times {S}_n$ to a field $\mathbb{F}$, where ${S_i} \subseteq \mathbb{F}$ can be arbitrary constant sized sets. We show…

Computational Complexity · Computer Science 2024-11-12 Prashanth Amireddy , Srikanth Srinivasan , Madhu Sudan

We prove a simple, nearly tight lower bound on the approximate degree of the two-level $\mathsf{AND}$-$\mathsf{OR}$ tree using symmetrization arguments. Specifically, we show that $\widetilde{\mathrm{deg}}(\mathsf{AND}_m \circ…

Computational Complexity · Computer Science 2023-03-23 William Kretschmer

We consider a combinatorial problem occurring naturally in a group theoretical setting and provide a constructive solution in a special case. More precisely, in 1999 the author established a logarithmic bound for the derived length of the…

Combinatorics · Mathematics 2014-07-18 Thomas Michael Keller

We show that for sufficiently large $d$ and for $t\geq d+1$, there is a graph $G$ with average degree $(1-\varepsilon)\lambda t \sqrt{\ln d}$ such that almost every graph $H$ with $t$ vertices and average degree $d$ is not a minor of $G$,…

Combinatorics · Mathematics 2020-12-14 Sergey Norin , Bruce Reed , Andrew Thomason , David R. Wood

An open problem in complexity theory is to find the minimal degree of a polynomial representing the $n$-bit OR function modulo composite $m$. This problem is related to understanding the power of circuits with $\text{MOD}_m$ gates where $m$…

Computational Complexity · Computer Science 2015-11-13 Holden Lee

In 1960, Ghouila-Houri extended Dirac's theorem to directed graphs by proving that if D is a directed graph on n vertices with minimum out-degree and in-degree at least n/2 (i.e. minimum semi-degree at least n/2), then D contains a directed…

Combinatorics · Mathematics 2014-12-12 Louis DeBiasio , Theodore Molla

We introduce a new class of numerical semigroups, which we call the class of {\it acute} semigroups and we prove that they generalize symmetric and pseudo-symmetric numerical semigroups, Arf numerical semigroups and the semigroups generated…

Information Theory · Computer Science 2023-08-01 M. Bras-Amorós

We investigate the constant-depth circuit complexity of the Isomorphism Problem, Minimum Generating Set Problem (MGS), and Sub(quasi)group Membership Problem (Membership) for groups and quasigroups (=Latin squares), given as input in terms…

Computational Complexity · Computer Science 2025-08-27 Nathaniel A. Collins , Joshua A. Grochow , Michael Levet , Armin Weiß

We use discrete Morse theory to give a new proof of the Degree Theorem in Auter space A_n. There is a filtration of A_n into subspaces A_{n,k} using the degree of a graph, and the Degree Theorem says that each A_{n,k} is (k-1)-connected.…

Group Theory · Mathematics 2014-03-06 Robert McEwen , Matthew C. B. Zaremsky

It is often said that the transition from quantum to classical worlds is caused by decoherence originated from an interaction between a system of interest and its surrounding environment. Here we establish a computational quantum-classical…

Quantum Physics · Physics 2016-04-08 Keisuke Fujii , Shuhei Tamate

Motivated by the recent experimental demonstrations of quantum supremacy, proving the hardness of the output of random quantum circuits is an imperative near term goal. We prove under the complexity theoretical assumption of the…

Quantum Physics · Physics 2021-12-13 Yasuhiro Kondo , Ryuhei Mori , Ramis Movassagh

Derrick's theorem on the nonexistence of stable time-independent scalar field configurations [G. H. Derrick, J. Math. Phys. 5, 1252 (1964)] is generalized to finite systems of arbitrary dimension. It is shown that the "dilation" argument…

High Energy Physics - Theory · Physics 2007-05-23 Artur B. Adib

Beginning with Anderson (1972), spontaneous symmetry breaking (SSB) in infinite quantum systems is often put forward as an example of (asymptotic) emergence in physics, since in theory no finite system should display it. Even the…

Mathematical Physics · Physics 2013-08-05 N. P. Landsman

The famous Dirac's Theorem gives an exact bound on the minimum degree of an $n$-vertex graph guaranteeing the existence of a hamiltonian cycle. We prove exact bounds of similar type for hamiltonian Berge cycles in $r$-uniform, $n$-vertex…

Combinatorics · Mathematics 2022-11-08 Alexandr Kostochka , Ruth Luo , Grace McCourt

Symmetry is conventionally described in a contrariety manner that the system is either completely symmetric or completely asymmetric. Using group theoretical approach to overcome this dichotomous problem, we introduce the degree of symmetry…

Quantum Physics · Physics 2016-05-04 Y. N. Fang , G. H. Dong , D. L. Zhou , C. P. Sun