Solving Nonlinear Polynomial Systems via Symbolic-Numeric Elimination Method
Why this work is in the frame
A frame that forgets how it found something cannot be audited. These are the routes that admitted this work.
Bibliographic record
Abstract
Consider a general polynomial system S in x1, . . . , xn of degree q and its corresponding vector of monomials of degree less than or equal to q. The system can be written as M0 · [xq1, xq−1 1 x2, . . . , xn, x1, . . . , xn, 1] = [0, 0, . . . , 0, 0, . . . , 0, 0] (1) in terms of its coefficient matrix M0. Here and hereafter, [...] T means the transposition. Further, [ξ1, ξ2, . . . , ξn] is one of the solutions of the polynomial system, if and only if [ξ 1 , ξ q−1 1 ξ2, . . . , ξ 2 n, ξ1, . . . , ξn, 1] T (2) is a null vector of the coefficient matrix M0. Since the number of monomials is usually bigger than the number of polynomials, the dimension of the null space can be big. The aim of completion methods, such as ours and those based on Grobner bases and others [4, 5, 6, 7, 8, 10, 16, 18, 17, 12, 9, 20], is to include additional polynomials belonging to the ideal generated by S, to reduce the dimension to its minima. The bijection φ : xi ↔ ∂ ∂xi , 1 ≤ i ≤ n, (3) maps the system S to an equivalent system of linear homogeneous PDEs denoted by R. Jet space approaches are concerned with the study of the jet variety V (R) = {( u q , u q−1 , . . . , u 1 , u ) ∈ J : R ( u q , u q−1 , . . . , u 1 , u ) = 0 } , (4) where u j denotes the formal jet coordinates corresponding to derivatives of order exactly j. A single prolongation of a system R of order q consists of augmenting the system with all possible derivatives of its equations, so that the resulting augmented systems, denoted by DR, has order q + 1. Under the bijection φ, the equivalent operation for polynomial systems is to multiply by monomials, so that the resulting augmented system has degree q + 1. A single geometric projection is defined as E(R) := {( u q−1 , . . . , u 1 , u ) ∈ Jq−1 : ∃ u q , R ( u q , u q−1 , . . . , u 1 , u ) = 0 } . (5)
Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.
Full frame distilled prediction
Teacher imitationNot calibrated prevalence, not ground truth. Human validation pending. Learned from the 10,348 direct Codex labels and 10,348 direct Gemma labels. Candidate is the union of thresholded teacher heads; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels or direct frontier model labels.
Codex and Gemma teacher scores by category
| Category | Codex | Gemma |
|---|---|---|
| Metaresearch | 0.000 | 0.000 |
| Meta-epidemiology (narrow) | 0.000 | 0.000 |
| Meta-epidemiology (broad) | 0.000 | 0.000 |
| Bibliometrics | 0.000 | 0.000 |
| Science and technology studies | 0.000 | 0.000 |
| Scholarly communication | 0.000 | 0.001 |
| Open science | 0.001 | 0.000 |
| Research integrity | 0.000 | 0.000 |
| Insufficient payload (model declined to judge) | 0.000 | 0.000 |
Machine scores (provisional)
The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.
Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.
score_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from it