English
Related papers

Related papers: Some Closure Results for Polynomial Factorization …

200 papers

We construct a polynomial-time classical algorithm that samples from the output distribution of noisy geometrically local Clifford circuits with any product-state input and single-qubit measurements in any basis. Our results apply to…

Quantum Physics · Physics 2026-01-09 Jon Nelson , Joel Rajakumar , Dominik Hangleiter , Michael J. Gullans

We propose an algorithm for quickly evaluating polynomials. It pre-conditions a complex polynomial $P$ of degree $d$ in time $O(d\log d)$, with a low multiplicative constant independent of the precision. Subsequent evaluations of $P$…

Numerical Analysis · Mathematics 2022-11-15 Ramona Anton , Nicolae Mihalache , François Vigneron

In this paper we explore the noncommutative analogues, $\mathrm{VP}_{nc}$ and $\mathrm{VNP}_{nc}$, of Valiant's algebraic complexity classes and show some striking connections to classical formal language theory. Our main results are the…

Computational Complexity · Computer Science 2015-08-04 V. Arvind , Pushkar S Joglekar , S. Raja

We investigate the closure properties of read-once oblivious Algebraic Branching Programs (roABPs) under various natural algebraic operations and prove the following. - Non-closure under factoring: There is a sequence of explicit…

Computational Complexity · Computer Science 2025-09-16 Jules Armand , Prateek Dwivedi , Magnus Rahbek Dalgaard Hansen , Nutan Limaye , Srikanth Srinivasan , Sébastien Tavenas

Kayal, Saha and Tavenas [Theory of Computing, 2018] showed that for all large enough integers $n$ and $d$ such that $d\geq \omega(\log{n})$, any syntactic depth four circuit of bounded individual degree $\delta = o(d)$ that computes the…

Computational Complexity · Computer Science 2021-07-21 Suryajith Chillara

We observe that a certain kind of algebraic proof - which covers essentially all known algebraic circuit lower bounds to date - cannot be used to prove lower bounds against VP if and only if what we call succinct hitting sets exist for VP.…

Computational Complexity · Computer Science 2017-01-09 Joshua A. Grochow , Mrinal Kumar , Michael Saks , Shubhangi Saraf

Let $P_1,...,P_n$ be generic homogeneous polynomials in $n$ variables of degrees $d_1,...,d_n$ respectively. We prove that if $\nu$ is an integer satisfying ${\sum_{i=1}^n d_i}-n+1-\min\{d_i\}<\nu,$ then all multivariate subresultants…

Algebraic Geometry · Mathematics 2007-05-23 Laurent Busé , Carlos D'Andrea

Circuit lower bounds are important since it is believed that a super-polynomial circuit lower bound for a problem in NP implies that P!=NP. Razborov has proved superpolynomial lower bounds for monotone circuits by using method of…

Computational Complexity · Computer Science 2020-06-29 Boyu Sima

We consider sufficient conditions for a degree sequence $\pi$ to be forcibly $k$-factor graphical. We note that previous work on degrees and factors has focused primarily on finding conditions for a degree sequence to be potentially…

Combinatorics · Mathematics 2011-03-09 D. Bauer , H. J. Broersma , J. van den Heuvel , N. Kahl , E. Schmeichel

We investigate the complexity of integration and derivative for multivariate polynomials in the standard computation model. The integration is in the unit cube $[0,1]^d$ for a multivariate polynomial, which has format $f(x_1,\cdots,…

Computational Complexity · Computer Science 2010-12-13 Bin Fu

The study of Locally Checkable Labelings (LCLs) has led to a remarkably precise characterization of the distributed time complexities that can occur on bounded-degree trees. A central feature of this complexity landscape is the existence of…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-02-17 Gustav Schmid

Nisan and Szegedy (CC 1994) showed that any Boolean function $f:\{0,1\}^n\rightarrow \{0,1\}$ that depends on all its input variables, when represented as a real-valued multivariate polynomial $P(x_1,\ldots,x_n)$, has degree at least $\log…

Computational Complexity · Computer Science 2021-07-08 Srikanth Srinivasan , S. Venkitesh

A particular instance of the Shortest Vector Problem (SVP) appears in the context of Compute-and-Forward. Despite the NP-hardness of the SVP, we will show that this certain instance can be solved in complexity order $O(n\psi\log(n\psi))$…

Information Theory · Computer Science 2017-11-28 Saeid Sahraei , Michael Gastpar

We prove that $poly(t) \cdot n^{1/D}$-depth local random quantum circuits with two qudit nearest-neighbor gates on a $D$-dimensional lattice with n qudits are approximate $t$-designs in various measures. These include the "monomial"…

Quantum Physics · Physics 2023-05-05 Aram Harrow , Saeed Mehraban

The extremal values of multivariate trigonometric polynomials are of interest in fields ranging from control theory to filter design, but finding the extremal values of such a polynomial is generally NP-Hard. In this paper, we develop…

Signal Processing · Electrical Eng. & Systems 2018-08-07 Luke Pfister , Yoram Bresler

In a recent paper, Kim and Kopparty (Theory of Computing, 2017) gave a deterministic algorithm for the unique decoding problem for polynomials of bounded total degree over a general grid. We show that their algorithm can be adapted to solve…

Computational Complexity · Computer Science 2019-08-21 Srikanth Srinivasan , Utkarsh Tripathi , S. Venkitesh

It has recently been shown that the problem of testing global convexity of polynomials of degree four is {strongly} NP-hard, answering an open question of N.Z. Shor. This result is minimal in the degree of the polynomial when global…

Optimization and Control · Mathematics 2019-03-14 Amir Ali Ahmadi , Georgina Hall

The paper proposes an implicit (i.e., machine-independent) complexity approach to studying computation by polynomial-size, constant-depth circuits with gates counting modulo a constant through the lens of discrete ordinary differential…

Computational Complexity · Computer Science 2026-05-25 Melissa Antonelli , Arnaud Durand , Rui Li

In this article, we propose a few sufficient conditions on polynomials having integer coefficients all of whose zeros lie outside a closed disc centered at the origin in the complex plane and deduce the irreducibility over the ring of…

Number Theory · Mathematics 2019-08-23 Jitender Singh , Sanjeev Kumar

We show that if a language is recognized within certain error bounds by constant-depth quantum circuits over a finite family of gates, then it is computable in (classical) polynomial time. In particular, our results imply EQNC^0 is…

Quantum Physics · Physics 2007-05-23 Stephen Fenner , Frederic Green , Steven Homer , Yong Zhang