✦ LIBER ✦

Hilbert's Nullstellensatz Is in the Polynomial Hierarchy

✍ Scribed by Pascal Koiran

Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 240 KB
Volume: 12
Category: Article
ISSN: 0885-064X
DOI: 10.1006/jcom.1996.0019

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Bounding queries in the analytic polynom

Bounding queries in the analytic polynomial-time hierarchy

✍ Herbert Baier; Klaus W. Wagner 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 1004 KB

In a previous paper the present authors (Baier and Wagner, 1996) investigated an S-V-hierarchy over P using word quantifiers as well as two types of set quantifiers, the so-called analytic polynomial-time hierarchy. The fact that some constructions there result in a bounded number of oracle queries

Computational Arithmetic Geometry: I. Se

Computational Arithmetic Geometry: I. Sentences Nearly in the Polynomial Hierarchy

✍ J.Maurice Rojas 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 215 KB

The polynomial and linear time hierarchi

The polynomial and linear time hierarchies in V0

✍ Leszek A. Kołodziejczyk; Neil Thapen 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 203 KB

## Abstract We show that the bounded arithmetic theory V^0^ does not prove that the polynomial time hierarchy collapses to the linear time hierarchy (without parameters). The result follows from a lower bound for bounded depth circuits computing prefix parity, where the circuits are allowed some au

Graph isomorphism is in the low hierarch

Graph isomorphism is in the low hierarchy

✍ Uwe Schöning 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 751 KB

Rolle's Theorem for Polynomials of Degre

Rolle's Theorem for Polynomials of Degree Four in a Hilbert Space

✍ Jesús Ferrer 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 91 KB

In an infinite-dimensional real Hilbert space, we introduce a class of fourthdegree polynomials which do not satisfy Rolle's Theorem in the unit ball. Extending what happens in the finite-dimensional case, we show that every fourth-degree polynomial defined by a compact operator satisfies Rolle's Th

Generating functional and Green's functi

Generating functional and Green's function hierarchy of the Ising model

✍ F Schwabl 📂 Article 📅 1969 🏛 Elsevier Science 🌐 English ⚖ 738 KB

The generating functional of the lsing model is studied. Equations of motion for the generating functional and the hierarchy of Green's functions are derived. These equations resemble a scalar field theory with nonlinear derivative coupling. Such a formulation bridges the gap between the Ising model