The real tau-conjecture is true on average

@article{Briquel2020TheRT,
  title={The real tau-conjecture is true on average},
  author={Ir{\'e}n{\'e}e Briquel and Peter B{\"u}rgisser},
  journal={ArXiv},
  year={2020},
  volume={abs/1806.00417}
}
Koiran's real $\tau$-conjecture claims that the number of real zeros of a structured polynomial given as a sum of $m$ products of $k$ real sparse polynomials, each with at most $t$ monomials, is bounded by a polynomial in $m,k,t$. This conjecture has a major consequence in complexity theory since it would lead to superpolynomial bounds for the arithmetic circuit size of the permanent. We confirm the conjecture in a probabilistic sense by proving that if the coefficients involved in the… Expand
On the Number of Real Zeros of Random Fewnomials
TLDR
It is proved that the expected number of zeros of the random system in the positive orthant is bounded from above by $\frac{1}{2^{n-1}}\binom{t}{n}$. Expand
How many zeros of a random sparse polynomial are real?
TLDR
The O (log n) bound on the expected number of real zeros of a dense polynomial of degree n with coefficients coming from independent standard normal distributions is recovered. Expand
Real τ-Conjecture for Sum-of-Squares: A Unified Approach to Lower Bound and Derandomization
  • P. Dutta
  • Mathematics, Computer Science
  • CSR
  • 2021
TLDR
A \(\tau)-conjecture for sum-of-squares (SOS) model (equivalently, \(m=2\)) is proposed and it is shown that \({\mathsf {VP}}\ne {\ mathsf {VNP}}\) (i.e. symbolic permanent requires superpolynomial-size circuit). Expand
Condition and homology in semialgebraic geometry
The computation of the homology groups of semialgebraic sets (given by Boolean formulas) remains one of the open challenges of computational semialgebraic geometry. Despite the search for anExpand
Intersection multiplicity of a sparse curve and a low-degree curve
TLDR
The main result is that the multiplicity of any isolated solution of the system F ∈ C 2 with nonzero coordinates is no greater than 5 2 d 2 t 2 . Expand

References

SHOWING 1-10 OF 28 REFERENCES
A Wronskian approach to the real τ-conjecture
TLDR
The Wronksian determinant is used to give an upper bound on the number of real roots of sums of products of sparse polynomials of a special form and a deterministic polynomial identity testing algorithm is given for the same class of polynmials. Expand
A $$\tau $$τ-Conjecture for Newton Polygons
TLDR
It is conjecture that when P is expressed as a sum of products of sparse polynomials, the number of edges of its Newton polygon is polynomial-size bounded in the size of such an expression. Expand
On the Real τ-Conjecture and the Distribution of Complex Roots
  • P. Hrubes
  • Mathematics, Computer Science
  • Theory Comput.
  • 2013
TLDR
It is shown that the real τ-conjecture implies quite a strong property of the complex roots of f : their arguments are uniformly distributed except for an error which is polynomially bounded in pqk. Expand
On the Number of Real Zeros of Random Fewnomials
TLDR
It is proved that the expected number of zeros of the random system in the positive orthant is bounded from above by $\frac{1}{2^{n-1}}\binom{t}{n}$. Expand
On The Intractability Of Hilbert's Nullstellensatz And An Algebraic Version Of . .
Section 1. Introduction In this paper we relate an elementary problem in number theory to the intractability of deciding whether an algebraic set defined over the complex numbers (or anyExpand
A τ-Conjecture for Newton Polygons
One can associate to any bivariate polynomial P (X,Y ) its Newton polygon. This is the convex hull of the points (i, j) such that the monomial X Y j appears in P with a nonzero coefficient. WeExpand
On Defining Integers And Proving Arithmetic Circuit Lower Bounds
TLDR
It is proved that if there are arithmetic circuits of size polynomial in n for computing the permanent of n by n matrices, then τ(n!) is polynomially bounded in log n. Expand
Shallow circuits with high-powered inputs
  • P. Koiran
  • Computer Science, Mathematics
  • ICS
  • 2011
TLDR
It is shown that a deterministic black-box identity testing algorithm for (high-degree) univariate polynomials would imply a lower bound on the arithmetic complexity of the permanent, and the intriguing possibility that tools from real analysis might be brought to bear on a longstanding open problem. Expand
On the distribution of runners on a circle
  • P. Hrubes
  • Mathematics, Computer Science
  • Eur. J. Comb.
  • 2020
TLDR
It is shown that the Real $\tau$-Conjecture of Koiran implies the conjecture on Newton polytopes ofKoiran et al. Expand
Complexity and Real Computation
  • L. Blum
  • Mathematics, Computer Science
  • Springer New York
  • 1998
TLDR
This chapter discusses decision problems and Complexity over a Ring and the Fundamental Theorem of Algebra: Complexity Aspects. Expand
...
1
2
3
...