Results 1  10
of
904
Combinatorial Nullstellensatz
 COMBINATORICS, PROBABILITY AND COMPUTING
, 1999
"... We present a general algebraic technique and discuss some of its numerous applications in Combinatorial Number Theory, in Graph Theory and in Combinatorics. These applications include results in additive number theory and in the study of graph coloring problems. Many of these are known results, to w ..."
Abstract

Cited by 20 (0 self)
 Add to MetaCart
We present a general algebraic technique and discuss some of its numerous applications in Combinatorial Number Theory, in Graph Theory and in Combinatorics. These applications include results in additive number theory and in the study of graph coloring problems. Many of these are known results
Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization
, 2000
"... ..."
Lower bounds on Hilbert's Nullstellensatz and propositional proofs
 PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY
, 1996
"... The socalled weak form of Hilbert's Nullstellensatz says that a system of algebraic equations over a field, Qj(x) = 0, does not have a solution in the algebraic closure if and only if 1 is in the ideal generated by the polynomials (?,(*) • We shall prove a lower bound on the degrees of polyno ..."
Abstract

Cited by 60 (19 self)
 Add to MetaCart
of Count/?, where m^O (modp). We give a new proof of this theorem based on the lower bound for Hilbert's Nullstellensatz. Furthermore our technique enables us to extend the independence results for counting principles to composite numbers p and q. This improved lower bound together with new upper
Hilbert's Nullstellensatz is in the Polynomial Hierarchy
 Journal of Complexity
, 1996
"... We show that if the Generalized Riemann Hypothesis is true, the problem of deciding whether a system of polynomial equations in several complex variables has a solution is in the second level of the polynomial hierarchy. In fact, this problem is in AM, the "ArthurMerlin" class (recall tha ..."
Abstract

Cited by 48 (11 self)
 Add to MetaCart
was done when the author was visiting DIMACS at Rutgers University. 1 Introduction In its weak form, Hilbert's Nullstellensatz states that a system f 1 (x) = 0; : : : ; f s (x) = 0 (1) of polynomial equations in n unknowns has no solution over C if and only if there are polynomials g 1 ; : : : ; g
Dedekind Zeta Functions and the Complexity of Hilbert’s Nullstellensatz
, 2008
"... Let HN denote the problem of determining whether a system of multivariate polynomials with integer coefficients has a complex root. It has long been known that HN ∈P = ⇒ P =NP and, thanks to recent work of Koiran, it is now known that the truth of the Generalized Riemann Hypothesis (GRH) yields the ..."
Abstract

Cited by 5 (4 self)
 Add to MetaCart
Let HN denote the problem of determining whether a system of multivariate polynomials with integer coefficients has a complex root. It has long been known that HN ∈P = ⇒ P =NP and, thanks to recent work of Koiran, it is now known that the truth of the Generalized Riemann Hypothesis (GRH) yields the implication HN ̸∈P = ⇒ P ̸=NP. We show that the assumption of GRH in the latter implication can be replaced by either of two more plausible hypotheses from analytic number theory. The first is an effective short interval Prime Ideal Theorem with explicit dependence on the underlying field, while the second can be interpreted as a quantitative statement on the higher moments of the zeroes of Dedekind zeta functions. In particular, both assumptions can still hold even if GRH is false. We thus obtain a new application of Dedekind zero estimates to computational algebraic geometry. Along the way, we also apply recent explicit algebraic and analytic estimates, some due to Silberman and Sombra, which may be of independent interest.
Results 1  10
of
904