REVIEW 1 cited by
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
A primer on the closure of algebraic complexity classes under factoring
read the original abstract
Polynomial factorisation is a fundamental problem in computational algebra. Over the past half century, a variety of algorithmic techniques have been developed to tackle different variants of this problem. In parallel, algebraic complexity theory classifies polynomials into complexity classes based on their computational hardness. This raises a natural question: Are these complexity classes closed under factorisation? In this survey, we revisit pivotal techniques in polynomial factorisation: Hensel lifting, Newton iteration, and Lagrange inversion. These techniques have played an essential role in resolving key factoring questions in algebraic complexity for more than half a century. We examine and organise the known results through the lens of these techniques, discussing their underlying mathematical equivalence while reflecting on how their applications vary depending on the problem context. We focus on prominent algebraic complexity classes, including $\text{VP}$ (circuits of polynomial size and degree), its closure $\overline{\text{VP}}$, the class $\text{VNP}$ (verifier circuits of polynomial size and degree), $\text{VBP}$ (polynomial-size branching programs), $\text{VF}$ (polynomial-size formulas), and $\text{VP}_{\text{nb}}$ (circuits of polynomial size and exponential degree). We also discuss bounded-depth circuits and sparse polynomials. Along the way, we highlight several unresolved open problems.
Forward citations
Cited by 1 Pith paper
-
Deterministic Algorithms for Low Individual Degree Factors of Sparse Polynomials
Deterministic poly-time and quasipoly-time algorithms list all bounded individual-degree factors of sparse polynomials (with possible spurious outputs) and yield a new upper bound on their number.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.