Pith. sign in

REVIEW 4 cited by

Completeness classes in algebraic complexity theory

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2406.06217 v1 pith:5E5G5I3J submitted 2024-06-10 cs.CC

Completeness classes in algebraic complexity theory

classification cs.CC
keywords algebraiccomplexityclassescompletenessconferencecontributiondevelopmentenormous
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

The purpose of this overview is to explain the enormous impact of Les Valiant's eponymous short conference contribution from 1979 on the development of algebraic complexity.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Planar Perfect Matching Counting is as Hard as Determinants

    cs.CC 2026-06 unverdicted novelty 8.0

    Proves an Ω(n^{ω/2}) lower bound on counting edge-weighted perfect matchings in planar graphs over algebraic circuits, matching the FKT+Yuster upper bound.

  2. Quantum determinants in polynomial time

    math.QA 2026-07 conditional novelty 7.0

    The q-Cayley determinant of q-right-quantum matrices equals a Valiant-style clow determinant and is computable by a polynomial-size algebraic branching program.

  3. Field-independent Kronecker-plethysm isomorphisms

    math.RT 2025-09 unverdicted novelty 7.0

    An explicit field-independent SL2-equivariant isomorphism is given between tensor invariant spaces and plethysm spaces, extending Hermite reciprocity and related maps, plus a combinatorial proof that the Hermite map i...

  4. Intractability of Hilbert's Nullstellensatz implies algebraic hardness of permanent

    cs.CC 2026-06 unverdicted novelty 6.0

    P_C ≠ NP_C in the BSS model over C implies VP^0 ≠ VNP^0 in the constant-free Valiant classes over C, with an analogous nonuniform statement.