-
Improved fewnomial upper bounds from Wronskians and dessins d'enfant
Authors:
Boulos El Hilany,
Sébastien Tavenas
Abstract:
We use Grothendieck's dessins d'enfant to show that if $P$ and $Q$ are two real polynomials, any real function of the form $x^α(1-x)^β P - Q$, has at most $°P +°Q + 2$ roots in the interval $]0,~1[$. As a consequence, we obtain an upper bound on the number of positive solutions to a real polynomial system $f=g=0$ in two variables where $f$ has three monomials terms, and $g$ has $t$ terms. The appr…
▽ More
We use Grothendieck's dessins d'enfant to show that if $P$ and $Q$ are two real polynomials, any real function of the form $x^α(1-x)^β P - Q$, has at most $°P +°Q + 2$ roots in the interval $]0,~1[$. As a consequence, we obtain an upper bound on the number of positive solutions to a real polynomial system $f=g=0$ in two variables where $f$ has three monomials terms, and $g$ has $t$ terms. The approach we adopt for tackling this Fewnomial bound relies on the theory of Wronskians, which was used in Koiran et.\ al.\ (J.\ Symb.\ Comput., 2015) for producing the first upper bound which is polynomial in $t$.
△ Less
Submitted 3 September, 2024;
originally announced September 2024.
-
On the complexity of Client-Waiter and Waiter-Client games
Authors:
Valentin Gledel,
Nacim Oijid,
Sébastien Tavenas,
Stéphan Thomassé
Abstract:
Positional games were introduced by Hales and Jewett in 1963, and their study became more popular after Erdos and Selfridge's first result on their connection to Ramsey theory and hypergraph coloring in 1973. Several conventions of these games exist, and the most popular one, Maker-Breaker was proved to be PSPACE-complete by Schaefer in 1978. The study of their complexity then stopped for decades,…
▽ More
Positional games were introduced by Hales and Jewett in 1963, and their study became more popular after Erdos and Selfridge's first result on their connection to Ramsey theory and hypergraph coloring in 1973. Several conventions of these games exist, and the most popular one, Maker-Breaker was proved to be PSPACE-complete by Schaefer in 1978. The study of their complexity then stopped for decades, until 2017 when Bonnet, Jamain, and Saffidine proved that Maker-Breaker is W[1]-complete when parameterized by the number of moves. The study was then intensified when Rahman and Watson improved Schaefer's result in 2021 by proving that the PSPACE-hardness holds for 6-uniform hypergraphs. More recently, Galliot, Gravier, and Sivignon proved that computing the winner on rank 3 hypergraphs is in P.
We focus here on the Client-Waiter and the Waiter-Client conventions. Both were proved to be NP-hard by Csernenszky, Martin, and Pluhár in 2011, but neither completeness nor positive results were known for these conventions. In this paper, we complete the study of these conventions by proving that the former is PSPACE-complete, even restricted to 6-uniform hypergraphs, and by providing an FPT-algorithm for the latter, parameterized by the size of its largest edge. In particular, the winner of Waiter-Client can be computed in polynomial time in k-uniform hypergraphs for any fixed integer k. Finally, in search of finding the exact bound between the polynomial result and the hardness result, we focused on the complexity of rank 3 hypergraphs in the Client-Waiter convention. We provide an algorithm that runs in polynomial time with an oracle in NP.
△ Less
Submitted 2 September, 2024; v1 submitted 9 July, 2024;
originally announced July 2024.
-
Rational and lacunary algebraic curves
Authors:
Georges Comte,
Sébastien Tavenas
Abstract:
We give a bound on the number $\mathcal{Z}$ of intersection points in a ball of the complex plane, between a rational curve and a lacunary algebraic curve $Q=0$. This bound depends only on the lacunarity diagram of $Q$, and in particular is uniform in the coefficients of $Q$. Our bound shows that $\mathcal{Z}=O(dm)$, where $d$ is the degree of $Q$ and $m$ is the number of its monomials.
We give a bound on the number $\mathcal{Z}$ of intersection points in a ball of the complex plane, between a rational curve and a lacunary algebraic curve $Q=0$. This bound depends only on the lacunarity diagram of $Q$, and in particular is uniform in the coefficients of $Q$. Our bound shows that $\mathcal{Z}=O(dm)$, where $d$ is the degree of $Q$ and $m$ is the number of its monomials.
△ Less
Submitted 10 January, 2024;
originally announced January 2024.
-
New bounds for the number of connected components of fewnomial hypersurfaces
Authors:
Frédéric Bihan,
Tristan Humbert,
Sébastien Tavenas
Abstract:
We prove that the number of connected components of a smooth hypersurface in the positive orthant of $\mathbb{R}^n$ defined by a real polynomial with $d + k + 1$ monomials, where $d$ is the dimension of the affine span of the exponent vectors, is smaller than or equal to $8(d+1)^{k-1} 2^{k-1 \choose 2}$, improving the previously known bounds. We refine this bound for $k = 2$ by showing that a smoo…
▽ More
We prove that the number of connected components of a smooth hypersurface in the positive orthant of $\mathbb{R}^n$ defined by a real polynomial with $d + k + 1$ monomials, where $d$ is the dimension of the affine span of the exponent vectors, is smaller than or equal to $8(d+1)^{k-1} 2^{k-1 \choose 2}$, improving the previously known bounds. We refine this bound for $k = 2$ by showing that a smooth hypersurface defined by a real polynomial with $d+3$ monomials in $n$ variables has at most $\lfloor(d-1)/2\rfloor + 3$ connected components in the positive orthant of $\mathbb{R}^n$. We present an explicit polynomial in $2$ variables with $5$ monomials which defines a curve with three connected components in the positive orthant, showing that our bound is sharp for $d = 2$ (and any $n$). Our results hold for polynomials with real exponent vectors.
△ Less
Submitted 7 May, 2024; v1 submitted 9 August, 2022;
originally announced August 2022.
-
On the Markov numbers: fixed numerator, denominator, and sum conjectures
Authors:
Clément Lagisquet,
Edita Pelantová,
Sébastien Tavenas,
Laurent Vuillon
Abstract:
The Markov numbers are the positive integer solutions of the Diophantine equation $x^2 + y^2 + z^2 = 3xyz$. Already in 1880, Markov showed that all these solutions could be generated along a binary tree. So it became quite usual (and useful) to index the Markov numbers by the rationals between 0 and 1 which stand at the same place in the Stern-Brocot binary tree. The Frobenius conjecture claims th…
▽ More
The Markov numbers are the positive integer solutions of the Diophantine equation $x^2 + y^2 + z^2 = 3xyz$. Already in 1880, Markov showed that all these solutions could be generated along a binary tree. So it became quite usual (and useful) to index the Markov numbers by the rationals between 0 and 1 which stand at the same place in the Stern-Brocot binary tree. The Frobenius conjecture claims that each Markov number appears at most once in the tree.
In particular, if the conjecture is true, the order of Markov numbers would establish a new strict order on the rationals. Aigner suggested three conjectures to better understand this order. The first one has already been solved for a few months. We prove that the other two conjectures are also true.
Along the way, we generalize Markov numbers to any couple (p,q) of nonnegative integers (not only when they are relatively primes) and conjecture that the unicity is still true as soon as $p \leq q$. Finally, we show that the three conjectures are in fact true for this superset.
△ Less
Submitted 20 October, 2020;
originally announced October 2020.
-
Log-concavity and lower bounds for arithmetic circuits
Authors:
Ignacio García-Marco,
Pascal Koiran,
Sébastien Tavenas
Abstract:
One question that we investigate in this paper is, how can we build log-concave polynomials using sparse polynomials as building blocks? More precisely, let $f = \sum\_{i = 0}^d a\_i X^i \in \mathbb{R}^+[X]$ be a polynomial satisfying the log-concavity condition $a\_i^2 \textgreater{} τa\_{i-1}a\_{i+1}$ for every $i \in \{1,\ldots,d-1\},$ where $τ\textgreater{} 0$. Whenever $f$ can be written unde…
▽ More
One question that we investigate in this paper is, how can we build log-concave polynomials using sparse polynomials as building blocks? More precisely, let $f = \sum\_{i = 0}^d a\_i X^i \in \mathbb{R}^+[X]$ be a polynomial satisfying the log-concavity condition $a\_i^2 \textgreater{} τa\_{i-1}a\_{i+1}$ for every $i \in \{1,\ldots,d-1\},$ where $τ\textgreater{} 0$. Whenever $f$ can be written under the form $f = \sum\_{i = 1}^k \prod\_{j = 1}^m f\_{i,j}$ where the polynomials $f\_{i,j}$ have at most $t$ monomials, it is clear that $d \leq k t^m$. Assuming that the $f\_{i,j}$ have only non-negative coefficients, we improve this degree bound to $d = \mathcal O(k m^{2/3} t^{2m/3} {\rm log^{2/3}}(kt))$ if $τ\textgreater{} 1$, and to $d \leq kmt$ if $τ= d^{2d}$.
This investigation has a complexity-theoretic motivation: we show that a suitable strengthening of the above results would imply a separation of the algebraic complexity classes VP and VNP. As they currently stand, these results are strong enough to provide a new example of a family of
polynomials in VNP which cannot be computed by monotone arithmetic circuits of polynomial size.
△ Less
Submitted 26 March, 2015;
originally announced March 2015.
-
On the intersection of a sparse curve and a low-degree curve: A polynomial version of the lost theorem
Authors:
Pascal Koiran,
Natacha Portier,
Sébastien Tavenas
Abstract:
Consider a system of two polynomial equations in two variables: $$F(X,Y)=G(X,Y)=0$$ where $F \in \rr[X,Y]$ has degree $d \geq 1$ and $G \in \rr[X,Y]$ has $t$ monomials. We show that the system has only $O(d^3t+d^2t^3)$ real solutions when it has a finite number of real solutions. This is the first polynomial bound for this problem. In particular, the bounds coming from the theory of fewnomials are…
▽ More
Consider a system of two polynomial equations in two variables: $$F(X,Y)=G(X,Y)=0$$ where $F \in \rr[X,Y]$ has degree $d \geq 1$ and $G \in \rr[X,Y]$ has $t$ monomials. We show that the system has only $O(d^3t+d^2t^3)$ real solutions when it has a finite number of real solutions. This is the first polynomial bound for this problem. In particular, the bounds coming from the theory of fewnomials are exponential in $t$, and count only nondegenerate solutions. More generally, we show that if the set of solutions is infinite, it still has at most $O(d^3t+d^2t^3)$ connected components. By contrast, the following question seems to be open: if $F$ and $G$ have at most $t$ monomials, is the number of (nondegenerate) solutions polynomial in $t$? The authors' interest for these problems was sparked by connections between lower bounds in algebraic complexity theory and upper bounds on the number of real roots of "sparse like" polynomials.
△ Less
Submitted 23 July, 2014; v1 submitted 9 October, 2013;
originally announced October 2013.
-
The complexity of Shortest Common Supersequence for inputs with no identical consecutive letters
Authors:
Aurélie Lagoutte,
Sébastien Tavenas
Abstract:
The Shortest Common Supersequence problem (SCS for short) consists in finding a shortest common supersequence of a finite set of words on a fixed alphabet Sigma. It is well-known that its decision version denoted [SR8] in [Garey and Johnson] is NP-complete. Many variants have been studied in the literature. In this paper we settle the complexity of two such variants of SCS where inputs do not cont…
▽ More
The Shortest Common Supersequence problem (SCS for short) consists in finding a shortest common supersequence of a finite set of words on a fixed alphabet Sigma. It is well-known that its decision version denoted [SR8] in [Garey and Johnson] is NP-complete. Many variants have been studied in the literature. In this paper we settle the complexity of two such variants of SCS where inputs do not contain identical consecutive letters. We prove that those variants denoted \varphi SCS and MSCS both have a decision version which remains NP-complete when |Σ| is at least 3. Note that it was known for MSCS when |Σ| is at least 4 [Fleisher and Woeginger] and we discuss how [Darte] states a similar result for |Σ| at least 3.
△ Less
Submitted 8 January, 2015; v1 submitted 2 September, 2013;
originally announced September 2013.
-
Detecting wheels
Authors:
Emilie Diot,
Sébastien Tavenas,
Nicolas Trotignon
Abstract:
A \emph{wheel} is a graph made of a cycle of length at least~4 together with a vertex that has at least three neighbors in the cycle. We prove that the problem whose instance is a graph $G$ and whose question is "does $G$ contains a wheel as an induced subgraph" is NP-complete. We also settle the complexity of several similar problems.
A \emph{wheel} is a graph made of a cycle of length at least~4 together with a vertex that has at least three neighbors in the cycle. We prove that the problem whose instance is a graph $G$ and whose question is "does $G$ contains a wheel as an induced subgraph" is NP-complete. We also settle the complexity of several similar problems.
△ Less
Submitted 29 August, 2013;
originally announced August 2013.
