In diesem Papier, Wir beginnen mit der Untersuchung der deterministischen PIT für
$\Sigma^{[k]}\Pi\Sigma\Pi^{[\Delta]}$ Schaltungen über Felder beliebiger Art
Merkmal, where $k$ and $\delta$ are bounded. Unser Hauptergebnis ist a
deterministischer polynomieller Black-Box-PIT-Algorithmus für
$\Sigma^{[3]}\Pi\Sigma\Pi^{[\Delta]}$ Schaltkreise, unter der Zusatzbedingung
that one of the summands at the top $\Sigma$ gate is squarefree.
Unsere Techniken sind rein algebro-geometrisch: Sie verlassen sich nicht darauf
Sylvester–KANN THEOREME TYPIEREN, und unser PIT-Ergebnis gilt als willkürlich
Felder.
Der Kern unseres Beweises basiert auf der Normalisierung algebraischer Varietäten.
Speziell, Wir führen die Analyse im integralen Abschluss einer Koordinate durch
Ring, der bessere algebraische Eigenschaften aufweist als der ursprüngliche Ring.

Dieser Artikel untersucht Zeitreisen und deren Auswirkungen.

PDF herunterladen: