Roots of polynomials over semirings and hyperfields

Louis Halle Rowen

REVIEW 3 major objections 5 minor 15 references

Roots of polynomials over semirings and hyperfields

T0 review · 3 major / 5 minor · reviewed 2026-08-02 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper claims that, within a framework of pairs with a surpassing relation, every tangible polynomial with enough factor-roots splits — sometimes uniquely — into linear factors, and every zero-sum-free paired domain embeds into an integ

desk verdict Coherent continuation of Rowen's pair program with some new ubiquity and integral-closure results, but the central FTA proof has a load-bearing gap that is not yet repaired. read the letter →

arxiv 2606.13330 v4 pith:3P7KV76B submitted 2026-06-11 math.RA

Louis Halle Rowen This is my paper · ORCID

classification math.RA MSC 08A4014T1016Y2016Y6012F0512K1015A7815A80

keywords pairssurpassingrelationhyperfieldsfactor-rootnullrootintegralextensiontropicalsemiring

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper builds a common root theory for semirings, hyperfields, and tropical algebra, using 'pairs' — a module with a distinguished null submodule — equipped with a surpassing relation ⪯ that acts as a one-sided notion of equality. Its central claim is that there are two natural notions of root — null roots, where the polynomial evaluates into the null submodule, and factor-roots, where the polynomial ⪯-divides by a linear factor — and that the theory works when these coincide (Hypothesis R). Under that condition, and with a paired-domain hypothesis, a tangible polynomial with enough factor-roots ⪯-splits into linear factors, uniquely when the Factor Root Condition holds. The paper also shows that polynomials agreeing on almost all inputs are almost equal in metatangible and archimedean pairs, and proves a fundamental theorem of algebra for pairs: every zero-sum-free paired domain embeds in an integrally closed paired extension, built by transfinite adjunction of roots.

What carries the argument

Central machinery: a T-pair (A,A0) with a surpassing relation ⪯ and negation map, whose T-reversibility enables cancellation-like reasoning. Two root notions interact: a null root (f(a) ∈ A0) and a factor-root ((λ(−)a) |⪯ f, f ⪯ (λ(−)a)g for tangible g). The bridge is 'fissure' (forcing Hypothesis R) and the conjecture of Hypothesis R for metatangible pairs with 1⪯e. The Root Condition and Factor Root Condition drive the splitting theorem by peeling off roots one by one, with Lemma 2.20 making the order irrelevant. For extensions, adjoining a root µ via µ0 = (−)a0 and µi ⪯ µ_{i−1} − aµ preserves ZSF-ness, and transfinite iteration gives the integrally closed pair.

What would settle it

In a metatangible pair with 1⪯e (for example a supertropical pair over an ordered group), take a tangible polynomial f = λ² − a1λ + a0 with a null root a; check whether f ⪯ (λ−a)g for some tangible g. If no such g exists while a is a null root, Hypothesis R is false and the general splitting theorem for metatangible pairs collapses. Conversely, a concrete ZSF paired domain whose integrally closed extension admits a polynomial with a null root that is not a factor-root of the original polynomial would show the extension theorem produces roots that do not factor — the paper itself flags this hit

Watch

Extended reading notes

Core claim

Central discovery: the two rival definitions of a root — a null root (f(a) ∈ A0) and a factor-root ((λ−a)|⪯ f) — can be reconciled through the surpassing relation, and once reconciled they yield classical-looking factorization. Theorem 2.32: a tangible polynomial with distinct factor-roots whose multiplicities sum to the degree has a ⪯-splitting f ⪯ ∏(λ(−)ai)^{mi} and no other factor-roots, given the Factor Root Condition. The ubiquity theorems (3.8, 3.12) say almost-equal tangible polynomials are almost equal to their common sub-polynomial. The extension theorems (4.2, 4.15, 4.16) show one can adjoin null roots or factor-roots while preserving T-reversibility and ZSF-ness, and by transfinit

Load-bearing premise

The load-bearing premise is that every null root is also a factor-root (Hypothesis R), and for uniqueness that the Factor Root Condition holds; the paper proves the former only under 'fissure' and otherwise conjectures it, so if a metatangible pair with 1⪯e produced a null root that is not a factor-root, the splitting and integral-closure theorems would fail to apply as stated.

Editorial extensions

If this is right

If correct, the paper gives one uniform root/factor theory for supertropical pairs, doubled (symmetrized) pairs, tropical extensions, and hyperfield pairs — the main examples listed.
Any tangible polynomial over a zero-sum-free paired domain has a root in a ⪯-integral extension; iterating produces an integrally closed pair, the pair analog of algebraic closure.
Polynomials over metatangible pairs are almost determined by their values: two tangible polynomials that agree almost everywhere agree with their common sub-polynomial almost everywhere, which transfers root data to function data.
The uniqueness of ⪯-splittings is conditional on the Factor Root Condition; the hyperfield of weak signs is an explicit example where non-uniqueness occurs, so the condition is not vacuous.
The construction's transfinite nature means the existence of integrally closed pairs is proven, but the built object is large (many indeterminates and a huge null set); practical closure constructions remain open.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The paper's conjecture that Hypothesis R holds for metatangible pairs with 1⪯e, if true, would extend the splitting theorem to supertropical and many other standard pairs; if false, the theorem's scope shrinks to fissure-type pairs, and the FTA construction may produce null roots that do not factor the original polynomial (as the paper itself notes in Remark 4.3(ii)).
A natural testable extension: check whether the Factor Root Condition holds for the phase hyperfield pair, where the paper notes λ²+1 has no null root — if roots exist after extension, they may or may not be factor-roots; that would calibrate how far the uniqueness theory reaches.
The pair framework suggests a uniform route to Descartes' rule of signs: the paper says work in progress connects to real roots; if the ⪯-splitting into linear factors can be refined to count sign changes, the rule should follow uniformly for all hyperfields in the list.
Because the integral closure construction is so inefficient, one could test whether the integrally closed pair over a finite ZSF semiring pair has a smaller description using the polynomial function pair (A[λ]/≡, A[λ]0/≡) from the appendix, which forms a paired domain and may already be integrally closed in natural cases.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The useful thing here is the ⪯-reversibility framework and the T-ubiquity theorems (3.8, 3.12), which are genuinely new and the proofs are short and look right. The paper is also honest: Example 2.22 is a real counterexample to uniqueness, Remark 4.3(ii) openly flags that the extensions need not satisfy fissure, and Hypothesis R is stated as a conjecture. No data fitting, no circularity.

The soft spot is load-bearing. The Fundamental Theorem for pairs rests on Theorem 4.2, and the proof of that theorem has a gap. In the paired-domain argument, for i > j the proof rewrites a'_1 μ^i − a'_2 μ^j as (a'_1 μ^{i−j} − a'_2) μ^j and says this merely increases t in (4.1). That is only valid if μ^{i-j} − c is itself a product of linear binomials, which is not proved and is generally false without a pre-existing root. So the claim that (A[μ], A[μ]_0f) is a paired domain is not established. Theorem 4.15 inherits the same problem: the ZSF condition is invoked, but the needed absorbability of monomial differences into the null submodule is not shown. And Theorem 4.16 asserts each one-step extension is finitely spanned and hence integral, but no monic relation forcing μ^n into lower powers is exhibited — the underlying monoid is a Laurent monoid on n+1 generators. The transfinite induction sketched there therefore does not go through as written.

Separately, the main splitting theorem (2.32) is conditional on the Factor Root Condition, a strong hypothesis that the paper itself conjectures rather than proves for metatangible pairs with 1⪯e. Remark 4.3(ii) admits that extensions may produce null roots that are not factor-roots. So the abstract's broad framing overstates what is proved.

Who is this for? Specialists in tropical/F1 algebra who already work with pairs. The ubiquity material is citable, and the unifying language is useful, but the FTA claims need substantial repair before I would rely on them. The paper deserves a serious referee — the framework is plausible and the new pieces are worth having — but the referee should insist on fixing the extension construction, either proving a splitting lemma for monomial differences or weakening the claims.

Recommendation: send to peer review, with a request for major revision focused on the proofs of Theorems 4.2 and 4.16.

Referee Report

3 major / 5 minor

Summary. The paper develops a root theory for tangible polynomials over 'pairs' (A,A0) equipped with a surpassing relation. It distinguishes null roots from factor-roots, proves that the two notions agree under a fissure hypothesis, and establishes a ⪯-splitting theorem when the Factor Root Condition holds. It also proves ubiquity results for metatangible and archimedean pairs, and then constructs extensions aimed at adjoining roots to arbitrary polynomials. The final theorems (4.12 and 4.16) claim, respectively, an extension in which every tangible polynomial has a null root and an integrally closed ⪯-integral extension, described as a fundamental theorem of algebra for pairs. The paper relies heavily on definitions and lemmas from the author's earlier work [1,14].

Significance. If the main extension theorems are correct, the paper would provide a genuine unification of root and factorization theory across hyperfields, supertropical pairs, doubled pairs, and tropical extensions, with an integral-closure construction for ZSF paired domains. The splitting theorem and the ubiquity theorems are natural and potentially useful. The paper is also commendably explicit about counterexamples, such as the hyperfield of weak signs, and about the role of Hypothesis R. However, the central extension construction in §4 currently contains unproved assertions that are load-bearing for the advertised fundamental theorem, so the significance of the paper is conditional on a substantial repair.

major comments (3)

[Theorem 4.2 / Eq. (4.1)] The proof that (A[μ], A[μ]0f) is a paired domain is not valid as written. Given (a'_1 μ^i − a'_2 μ^j)h ∈ A[μ]0f, the argument rewrites the left factor for i>j as (a'_1 μ^{i−j} − a'_2) μ^j and says 'we merely have increased t in (4.1).' The null module (4.1) is defined using products of linear binomials (a_{i,1}μ − a_{i,2}); increasing t can only add such linear factors. To absorb a'_1 μ^{i−j} − a'_2 one must know that this monomial difference is itself a product of linear binomials. This is not shown and is generally false: for example, μ^2 − 1 need not factor as (μ−α)(μ−β) before a root is adjoined. Hence membership of h in A[μ]0f does not follow. Since paired-domain is a standing hypothesis in §2 and is used in Theorem 4.12, this is a load-bearing gap.
[Theorems 4.15–4.16] The integrality step in the transfinite construction is not justified. In Theorem 4.15 the extension has underlying monoid T~ = {a μ^{i0} μ_1^{i1}...μ_n^{in} : a∈T, i_j∈Z}, a Laurent monoid on n+1 generators, which is not finitely generated over T. Theorem 4.16 asserts without proof that each one-step extension is 'f.s. over T' and hence integral. No finite spanning set is exhibited, and the declared relations μ_i ⪯ μ_{i−1}(−)a are inequalities among elements, not monic polynomial equations. Moreover, the displayed identity f ⪯ (λ−μ)(λ^n + Σ_{j=0}^{n−1} μ_jλ^j) has right-hand side of degree n+1 while deg f=n, so the coefficient matching needs correction. Therefore Proposition 4.10 cannot be applied, and the transfinite union in Theorem 4.16 is not shown to be ⪯-integral.
[Remark 4.3(ii) and Theorem 4.12] Theorem 4.2 adjoins only null roots, while the splitting and uniqueness results of §2 require factor-roots or the Factor Root Condition. Remark 4.3(ii) explicitly states that the extension need not satisfy fissure, so null roots in the extension need not be factor-roots. Nevertheless, Theorem 4.12(ii) is used as if the one-step extensions are ⪯-integral extensions to which the earlier factor-root theory applies. A separate argument is needed to show that the surpassing relation extended in Theorem 4.2 has enough of the required properties; otherwise the abstract's claim that polynomials with enough roots ⪯-split over a suitable extension is not established.

minor comments (5)

[Lemma 1.15] The proof contains 'If 1+e=1' twice in consecutive sentences; the second occurrence should presumably be 'If 1+e=e'.
[Theorem 4.2] In the paired-domain verification, the product Q_{i=1}^t (a_{i,1}λ − a_{i,2}) appears with λ where μ is intended.
[Definition 4.4] The third bullet of Definition 4.4 says each element of T' is 'integral' over A, but the surrounding text and the notation indicate that '⪯-integral' is meant.
[Example 2.22] The displayed line 'λ^2 + {−1,+1}λ + 1 = (λ+1)^2' is tautological; the second equality should be to (λ−1)^2, which is what the surrounding sentence uses.
[Throughout] Many key lemmas and definitions are cited from the author's prior papers [1,14] without statements. Since the present paper's main theorems depend on these, the reader would benefit from at least a summary of the cited lemmas or precise references to the numbered results.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the splitting theorems are formal unpackings of the factor-root definition, and the central extension construction is a transfinite root-adjunction argument, not a disguised fit or self-citation loop.

full rationale

The paper contains no fitted parameters or empirical predictions, so the dominant circularity failure mode does not apply. The ⪯-splitting statements (Proposition 2.19, Lemma 2.30, Theorem 2.32) are, as the paper itself indicates, direct iterations of the definition of factor-root (Definition 2.14) and multiplicity (Definition 2.28); they are formal consequences rather than independent empirical predictions, and the extra assumptions (the Factor Root Condition and total multiplicity equal to degree) are exactly what is needed for the induction to close. The FTA construction (Theorems 4.2, 4.15, 4.16) is a standard transfinite root-adjunction argument, not a derivation from its own conclusion. The paper does rely on the author's earlier [14] for several foundational lemmas, notably Theorem 2.17 on factor-root/null-root equivalence under fissure, but those are prior mathematical results cited as dependencies, not the present paper's conclusions re-labeled, and they are not fitted to data being 'predicted.' The concerns raised about Theorem 4.2's 'increase t' step and the unproved f.s./integrality step in Theorem 4.16 are correctness or proof-gap issues, not instances of circularity: they do not make the conclusion equal to an input. The paper is also explicit about unresolved points (Hypothesis R is conjectured; Example 2.22 shows non-uniqueness when the Factor Root Condition fails), so it does not hide the limits of its derivation. Overall, no circular step can be exhibited by quoting a reduction of the output to the input.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No numerical fitting occurs. The free choices are structural: the surpassing relation, the extension indeterminates, and which root condition is assumed. The main hidden cost is that Hypothesis R / Factor Root Condition is an additional, partly conjectural condition that fails in important examples, and the extension construction does not preserve fissure.

assumptions (6)

domain assumption All pairs are uniquely negated (Major Note 1.5).
Assumed throughout; excludes pairs with multiple negation-like operations and underpins the relation e = 1 + (-1).
domain assumption Major Note 1.3: T ⊆ A, every element of A is a sum of elements of T0, A is torsion-free over T, and T is central in A.
Narrows the class of modules/pairs to those where polynomial evaluation makes sense; used throughout without proof.
domain assumption Major Note 2.24: (A,A0) is a paired domain with a T-reversible surpassing relation; at times the Root Condition or Factor Root Condition is assumed.
Load-bearing for the splitting theorems; the Factor Root Condition is not automatic and fails in Example 2.22.
domain assumption Hypothesis R: every null root is a factor-root; proved only under fissure, conjectured otherwise.
The bridge between null roots and factor-roots is essential for the factorization theory, but the paper states it as a conjecture except under fissure.
domain assumption ZSF condition (Definition 4.13) for Theorems 4.15 and 4.16.
The FTA-for-ZSF-pairs theorem is proved only for zero-sum-free pairs, which excludes classical fields.
standard math Transfinite induction / choice in the extension theorems.
Invoked as 'standard' in Theorems 4.12 and 4.16; not formalized.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Roots of polynomials over semirings and hyperfields." pith.science (2026). https://pith.science/paper/3P7KV76B

@misc{pith2026260613330,
  author       = {Pith},
  title        = {Pith review of: Roots of polynomials over semirings and hyperfields},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3P7KV76B}},
  note         = {Machine review of arXiv:2606.13330}
}

abstract

We continue our investigation of roots of polynomials over semirings and hyperfields, employing a property on semiring and hyperfield ``pairs'' with a surpassing relation $\preceq,$ which we call $\preceq$-reversibility. There are two kinds of roots generalizing the classical algebraic theory, ``null roots,'' and $\preceq$-roots. The theory works best when all null roots are also $\preceq$-roots. Ensuing results include the fundamental theorem of algebra for pairs, that tangible polynomials with enough roots ``$\preceq$-split,'' at times uniquely, into linear factors. We also see that polynomials that agree on ``almost'' all null roots are ``almost'' equal. Finally, we obtain roots of integral polynomials over extension pairs, providing a construction of integrally closed pairs over hyperfields and over zero sum free semirings.

Review history (4 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references · 3 linked inside Pith

[1]

Akian, S

M. Akian, S. Gaubert, and L. Rowen,Linear algebra overT-pairs(2023), arXiv 2310.05257

arXiv 2023
[2]

Akian, S

M. Akian, S. Gaubert, and H. Tavakolipour,Factorization of polynomials over the symmetrized tropical semiring and Descartes’ rule of sign over ordered valued fields, Journal Pure Applied Algebra 229 (2025), 108055

2025
[3]

Baker and O

M. Baker and O. Lorscheid,Descartes’ rule of signs, Newton polygons, and polynomials over hyperfields, J. Algebra 569 (2021), 416–441

2021
[4]

Gaubert,Th´ eorie des syst` emes lin´ eaires dans les d ¨ ıodes.Th` ese,´Ecole des Mines de Paris, (1992)

S. Gaubert,Th´ eorie des syst` emes lin´ eaires dans les d ¨ ıodes.Th` ese,´Ecole des Mines de Paris, (1992)

1992
[5]

Golan.The theory of semirings with applications in mathematics and theoretical computer science, Longman Sci & Tech., volume 54, (1992)

J. Golan.The theory of semirings with applications in mathematics and theoretical computer science, Longman Sci & Tech., volume 54, (1992)

1992
[6]

Gunn,Tropical extensions and Baker-Lorscheid multiplicities for idylls, Commun

S. Gunn,Tropical extensions and Baker-Lorscheid multiplicities for idylls, Commun. Algebra 53 (1) (2025) 63–89. 24 LOUIS HALLE ROWEN

2025
[7]

Izhakian and L

Z. Izhakian and L. Rowen.Supertropical algebra, Advances in Mathematics, 225(4) (2010), 2222–2286

2010
[8]

Jun and L

J. Jun and L. Rowen,T-semiring pairs, volume in honour of Prof. Martin Gavalec, Kybernetika 58 (2022), 733–759

2022

Show all 15 references

[9]

Krasner,A class of hyperrings and hyperfields, Internat

M. Krasner,A class of hyperrings and hyperfields, Internat. J. Math. & Math. Sci. 6 no. 2, 307–312 (1983)

1983
[10]

Lorscheid,The geometry of blueprints Part I, Advances in Mathematics 229, no

O. Lorscheid,The geometry of blueprints Part I, Advances in Mathematics 229, no. 3, 1804- 1846, (2012)

2012
[11]

European Mathematical Society Publishing House, (2016)

,A blueprinted view onF 1-geometry, Absolute Arithmetic andF 1-geometry (edited by Koen Thas). European Mathematical Society Publishing House, (2016)

2016
[12]

Mittas,Sur les hyperanneaux et les hypercorps, Math

J. Mittas,Sur les hyperanneaux et les hypercorps, Math. Balk 3, ( 1973), 368–382

1973
[13]

Rowen,Algebras with a negation map, European J

L.H. Rowen,Algebras with a negation map, European J. Math. Vol.8(2022), 62–138. https://doi.org/10.1007/s40879-021-00499-0, arXiv:1602.00353

2022 arXiv
[14]

, Semirings http://arxiv.org/abs/2602.19209

arXiv
[15]

Viro,Hyperfields for Tropical Geometry I

O. Viro,Hyperfields for Tropical Geometry I. Hyperfields and dequantization(2010), arXiv:1006.3034. Department of Mathematics, Bar-Ilan University, Ramat-Gan 52900, Israel Email address:rowen@math.biu.ac.il

2010 arXiv

Pith tools

Reviewed August 2, 2026 · model on record in the stance chip above.

[1] [1]

Akian, S

M. Akian, S. Gaubert, and L. Rowen,Linear algebra overT-pairs(2023), arXiv 2310.05257

arXiv 2023

[2] [2]

Akian, S

M. Akian, S. Gaubert, and H. Tavakolipour,Factorization of polynomials over the symmetrized tropical semiring and Descartes’ rule of sign over ordered valued fields, Journal Pure Applied Algebra 229 (2025), 108055

2025

[3] [3]

Baker and O

M. Baker and O. Lorscheid,Descartes’ rule of signs, Newton polygons, and polynomials over hyperfields, J. Algebra 569 (2021), 416–441

2021

[4] [4]

Gaubert,Th´ eorie des syst` emes lin´ eaires dans les d ¨ ıodes.Th` ese,´Ecole des Mines de Paris, (1992)

S. Gaubert,Th´ eorie des syst` emes lin´ eaires dans les d ¨ ıodes.Th` ese,´Ecole des Mines de Paris, (1992)

1992

[5] [5]

Golan.The theory of semirings with applications in mathematics and theoretical computer science, Longman Sci & Tech., volume 54, (1992)

J. Golan.The theory of semirings with applications in mathematics and theoretical computer science, Longman Sci & Tech., volume 54, (1992)

1992

[6] [6]

Gunn,Tropical extensions and Baker-Lorscheid multiplicities for idylls, Commun

S. Gunn,Tropical extensions and Baker-Lorscheid multiplicities for idylls, Commun. Algebra 53 (1) (2025) 63–89. 24 LOUIS HALLE ROWEN

2025

[7] [7]

Izhakian and L

Z. Izhakian and L. Rowen.Supertropical algebra, Advances in Mathematics, 225(4) (2010), 2222–2286

2010

[8] [8]

Jun and L

J. Jun and L. Rowen,T-semiring pairs, volume in honour of Prof. Martin Gavalec, Kybernetika 58 (2022), 733–759

2022