{"id":"3da23ab3-105f-4794-955b-484da77b0915","arxiv_id":"2602.19209","paper_version":4,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"Rowen consolidates the pair/surpassing-relation framework that extends classical algebra (roots, matrices, linear algebra, geometry) to semirings without cancellation, adding new root-factor theorems and a map of open problems.","lead":"This paper surveys a 20-year effort to do algebra on number-like systems that lack subtraction, such as tropical and idempotent mathematics. It organizes the framework that replaces 'zero' with a designated null part and 'equals' with an ordering, showing which classical theorems survive and which open problems remain.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.13's root/⪯-root equivalence proof uses an unjustified coefficient-cancellation step; the flagship root theorem is not established.","rationale":"The paper's central claim is that pairs with Property N and surpassing relation generalize classical root theory. Theorem 3.13 is the hinge: it identifies tangible roots with ⪯-roots. The proof sketch, however, contains an implication that does not follow from the stated axioms. This is not merely a typo like Lemma 2.16; it concerns the core equivalence. If the step cannot be justified, then all consequences (at most n roots, determinant applications) lack foundation, even in the supertropical/hyperfield examples for which the framework is designed. The Property N scope concern identified by the reader is real but less damaging: the paper acknowledges it in Major Note 2.6 and offers constructions. The proof gap, in contrast, is internal to the framework's flagship result. I therefore recommend retaining CONDITIONAL until Theorem 3.13 is either proven rigorously or amended with the correct hypotheses.","tokens_in":31009,"tokens_out":13762,"duration_ms":111193,"concrete_test":"Formalize the disputed step in the simplest nontrivial case: take the supertropical pair (T({1};{0,1}), {0,μ(1)}), set f = λ, g = 1, a = 1. Check whether α_1 ⪯ β_0 + (−a)β_1 (i.e., 1 ⪯ 1 + μ(1)) and whether the asserted β_0 ⪯ α_1 + aβ_1 holds. Then attempt to derive the step from the axioms; if no derivation exists, construct a finite T-reversible pair where a ⪯-root fails to be a root, or identify the missing hypothesis (fissure / strong T-reversibility) needed to complete the proof.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central bridge between ⪯-roots and roots is Theorem 3.13. Its proof (i) asserts, from the coefficient inequality α_i ⪯ β_{i−1} + (−a)β_i, that (−)β_{i−1} ⪯ (−)α_i + (−a)β_i, and then β_{i−1} ⪯ α_i + aβ_i. No axiom of pre-surpassing relations or T-reversibility (Definition 2.7) justifies canceling/negating on both sides of ⪯: the relation is only a pre-order compatible with T-action and addition, and T-reversibility concerns sums landing in A0, not arbitrary inequalities. The parenthetical \"which by Lemma 2.9 implies uniquely negated\" is also directionally wrong—Lemma 2.9 goes from strong T-reversibility to T-reversibility, not the reverse. The proof of (ii) is deferred to [17] with a caveat \"I think one needs to take f tangible,\" leaving the stated version unsupported. Since every subsequent root-counting result (Corollary 3.14, Proposition 3.15, Corollary 5.5) relies on this equivalence, a gap here is load-bearing.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper surveys a framework for semirings that are not additively cancellative, in which a distinguished \"null part\" A_0 replaces zero and a \"surpassing relation\" replaces equality. The framework is built on T-pairs with Property N, T-reversibility, metatangibility, and related axioms, and is applied to polynomial roots, algebraic geometry, matrices, linear algebra, varieties, categories, and module pairs. The principal concrete claims are Theorem 3.13 (tangible roots coincide with ⪯-roots under T-reversibility, with fissure for the converse), Theorem 3.15/Proposition 3.15 (a monic polynomial over an A_0-domain has at most n distinct tangible ⪯-roots), Theorem 5.4 (Cayley-Hamilton for matrix pairs), and Theorem 5.7 (Laplace and Cauchy-Binet identities for †-determinants). Much of the paper is expository and refers to the author's prior work for proofs.","tokens_in":31261,"tokens_out":6576,"duration_ms":61427,"significance":"If the central theorems were fully established, the framework would provide a genuinely useful unified language for supertropical, hyperfield, doubled-pair, and other non-cancellative semiring settings, and would generalize classical root, determinant, and linear-algebra theorems. The paper is careful to stress-test the definitions on explicit examples, including the adversarial A = T_0 ∪ {e} of §2.1.2 and the explicit counterexample in Remark 3.11, and it is candid about places where work remains. These are real strengths. However, the flagship bridge theorem (Theorem 3.13) has a proof gap that is load-bearing: the downstream root-counting results (Corollary 3.14, Proposition 3.15, Corollary 5.5 and the eigenvalue discussion of §5.4) depend on it. The paper's significance is therefore conditional on repairing that proof or suitably restricting the statement.","major_comments":[{"comment":"The proof of the direction '⪯-root ⇒ root' contains an unjustified coefficient-cancellation step. From α_i ⪯ (−)a β_i + β_{i−1}, the proof asserts (−)β_{i−1} ⪯ (−)α_i (−)aβ_i, and then β_{i−1} ⪯ α_i + aβ_i. No axiom of pre-surpassing relations or T-reversibility (Definition 2.7) permits this. The pre-order is only compatible with the T-action and addition; it is not cancellative, and T-reversibility concerns sums landing in A_0, not arbitrary inequalities. The parenthetical appeal to Lemma 2.9 is also directionally wrong: Lemma 2.9 shows that strong T-reversibility implies unique negation and T-reversibility, not the converse. Thus the claimed implication is not established by the argument as written.","section":"Theorem 3.13(i), §3"},{"comment":"The converse direction is not proved in the manuscript. The proof says: 'Reversing the argument of (i), following the proof of [17, Proposition 4.7] (where I think one needs to take f tangible).' The caveat indicates that the stated version, for arbitrary f ∈ A[λ], may not be covered by the cited argument. Since Corollary 3.14, Proposition 3.15, and Corollary 5.5 all rely on the full equivalence in Theorem 3.13, the statement must either be proved in the text under its stated hypotheses or weakened to the tangible-polynomial case, with the downstream results adjusted accordingly.","section":"Theorem 3.13(ii), §3"},{"comment":"The proof of Lemma 2.16(i) appears to contain a logical error/typo. It says: 'If a_{t−1}+a_t ∈ A_0, we can replace a_{t−1} by a_{t−1}+a_t and lower t. Hence we may assume that a_{t−1}+a_t ∈ A_0.' The second line is the opposite of what the first line requires, and replacing two tangible elements by their sum destroys tangibility, so the induction hypothesis (stated for a_i ∈ T) cannot be applied to the reduced tuple. Since Lemma 2.16(ii) is one route to T-reversibility for metatangible pairs, this proof needs to be repaired or the lemma re-proved.","section":"Lemma 2.16(i), §2.0.3"}],"minor_comments":[{"comment":"The statement lists parts (i)–(iii), but the proof refers to '(iv) By (iii)...' The numbering should be corrected.","section":"Lemma 3.9"},{"comment":"The sentence 'Tensor products of weak morphisms and ⪯-morphisms are considerably subtler. treated in Tensor products of module pairs are seen in [53, Corollaries 4.15, 4.16]...' is duplicated and garbled; one copy should be deleted.","section":"§9.0.1"},{"comment":"Typographical errors: 'mutatus mutandus' should be 'mutatis mutandis', and 'arrranged' should be 'arranged'.","section":"§5.3"},{"comment":"The paper could more explicitly state as a limitation that an idempotent ZSF semiring with its trivial null part does not satisfy Property N, and that the framework therefore applies only after constructing a suitable null part. The text acknowledges this, but a reader would benefit from a summary of which of the main theorems require that constructed null part.","section":"Major Note 2.6 / §2.1.2"}],"recommendation":"major_revision","confidential_remarks":"The central issue is Theorem 3.13; if the gap there cannot be repaired under the stated hypotheses, the paper's main claimed generalizations of root theory are not supported. I do not regard the heavy reliance on the author's previous papers as disqualifying for a survey, but the one-line proof of Theorem 5.4 ('By [4, Theorem E] applied to the doubled pair') should be expanded enough for the reader to verify that the hypotheses of the cited theorem are met by the doubled pair. The manuscript is otherwise informative and the framework is potentially valuable; major revision is appropriate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing you should know: this is a survey of Rowen's pair program, not a fresh theory. The genuinely new piece is in Section 3 — Theorem 3.13 and its corollaries — and the stress-test is right: that proof has a real gap. From α_i ⪯ (−a)β_i + β_{i−1}, the text concludes (−)β_{i−1} ⪯ (−)α_i (−a)β_i, but no axiom of pre-surpassing relations justifies canceling or negating on both sides of ⪯. Lemma 2.8 only translates b + b_1 ⪯ b_2 into b_1 ⪯ b^† + b_2, and it doesn't apply in the direction used. The parenthetical about Lemma 2.9 is also backwards. Part (ii) is deferred to Gunn with a hedge — \"I think one needs to take f tangible\" — so the stated version is unsupported. Since Corollary 3.14, Proposition 3.15, and Corollary 5.5 all rest on 3.13, those results are not yet sound as printed.\n\nWhat the paper does well: it gives a coherent map of a large body of work, with concrete examples (supertropical pairs, hyperpairs, doubled semirings) and candid self-reported limitations — open questions, \"much work remains,\" \"little control\" over the adversarial example. The heavy self-citation is disclosed and appropriate for a survey. The pair framework itself is plausible and worth exploring, even if the new theorems need repair.\n\nOther soft spots: Lemma 2.16(i) contains a self-contradictory reduction — it first says if a_{t−1}+a_t ∈ A_0 replace and lower, then says \"hence we may assume a_{t−1}+a_t ∈ A_0.\" That direction is wrong. There is also a duplicated sentence in §9.0.1. These are minor, but they make the proof sketches harder to trust.\n\nThe overall architecture holds up as a survey; the gap is concentrated in the genuinely new material, so this is CONDITIONAL, not reject. I'd send it to a serious referee: the framework matters, the claims are central, and a referee can push for a corrected proof or a counterexample. The paper deserves that attention.","headline":"The survey is useful and honest, but the new root theorem (Theorem 3.13) has a genuine proof gap, so the flagship root-counting results are not yet established as written.","tokens_in":31949,"tokens_out":2874,"would_cite":false,"duration_ms":25759,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["16Y20","16Y60","12K10","14T10","06A12","20M25"],"pacs":[],"model":"deepseek-v4-flash","headline":"Semiring pairs regain roots, determinants, and Cayley-Hamilton","keywords":["semirings","pairs","Property N","surpassing relation","tropical algebra","hyperfields","†-determinants","Cayley-Hamilton"],"falsifier":"In the hyperpair of the phase hyperfield (where addition of non-antipodal complex numbers is an open arc), count distinct tangible surpassing-relation roots of a monic polynomial of degree 5; the theorem predicts at most 5, so 6 distinct roots would refute it.","tokens_in":30713,"feed_emoji":"🧮","tokens_out":6888,"duration_ms":58968,"temperature":0.7,"pith_summary":"The paper argues that many classical algebraic theorems survive for semirings (structures with addition and multiplication but no subtraction) if one stops forcing equality and instead works with a designated 'null part' inside the semiring and a 'surpassing relation' that behaves like an inequality. The central claim is that the pair (A, A0), taken together with a mild assumption called Property N, which supplies a substitute for negatives, is enough to generalize polynomials and their roots, determinants, matrix theory, linear algebra, varieties, and module theory. The concrete flagship results are that, under a T-reversibility condition, tangible roots coincide with surpassing-relation roots, that a monic polynomial over an A0-domain has at most n distinct tangible surpassing-relation roots, and that Cayley-Hamilton, Laplace, and Cauchy-Binet identities hold for the paper's dagger-determinants. If the framework is right, the tropical and idempotent semirings that motivated it inherit a working algebraic geometry and linear algebra.","feed_headline":"Semiring pairs regain roots, determinants, and Cayley-Hamilton","feed_subtitle":"A null part plus a surpassing relation replaces zero and equality, rescuing classical theorems for tropical semirings.","key_machinery":"The central object is the pair (A, A0), where A is a T-semiring (an additive monoid with multiplication by a monoid T of 'tangible' elements, assumed central) and A0 is a distinguished T-submodule called the null part, playing the role of zero. The surpassing relation is a preorder compatible with the T-module structure, satisfying 0 precedes b for all b in A0; it replaces equality in all statements. Property N (for 'negation') adds an invertible element 1-dagger with 1 + 1-dagger = e, and requires e to be the unique element of A0 of the form 1 + a with a in T. The paper also uses the dagger-determinant, |A|_dagger = |A|_+ + |A|_dagger_- , where the two parity sums of tracks are combined wit","core_discovery":"The paper establishes that the obstruction to algebraic structure in semirings is the use of equality and zero. Replacing them with a pair (A, A0), where A0 is a designated null submodule, and with a surpassing relation (a preorder compatible with the T-module structure and satisfying 0 precedes b for b in A0) yields a framework where the classical theorems hold up to the surpassing relation. Property N guarantees an element 1-dagger with unique e = 1 + 1-dagger in A0, providing the necessary 'negation'. Then, under T-reversibility, Theorem 3.13 shows tangible roots and surpassing-relation roots of polynomials coincide, and Theorem 3.15 bounds the number of distinct tangible surpassing-relat","pith_inferences":["Because Property N is stated as an existence condition, a practical next step is to classify which semirings admit a null part satisfying it; the paper notes that the basic Boolean semiring with trivial null part fails, so the theory's reach outside constructed examples is an open quantitative question.","The dagger-determinant construction might be used to define a notion of rank via maximal nonsingular minors in idempotent semirings; the paper does not pursue this, but its matrix identities give the needed tools.","If the root-bound theorem continues to hold when the uniqueness of e is dropped but Property N is retained, the framework could be relaxed further; the paper suggests that uniqueness of e may be more than is strictly necessary, leaving the boundary untested.","The surpassing-relation formalism suggests interpreting classical identities as inequalities with controlled error in the null part; this could inspire quantitative versions of algebraic geometry over ordered and tropical semirings."],"forward_implications":["The Cayley-Hamilton theorem holds for matrices over any semiring pair satisfying Property N, so characteristic polynomials annihilate their matrices up to the surpassing relation.","A monic polynomial over an A0-domain has at most degree-many distinct tangible surpassing-relation roots, generalizing the classical root bound to tropical and hyperfield settings.","The dagger-determinant satisfies Laplace expansion and the Cauchy-Binet formula, making Cramer-type linear algebra possible over pairs.","The Zariski correspondence between A0-loci and congruences opens a concrete path to a Nullstellensatz for semiring pairs, with prime congruence spectra already defined.","The categorical treatment yields three kinds of morphisms (paired homomorphisms, weak morphisms, and surpassing-relation morphisms), letting algebraic constructions such as tensor products extend to pairs."],"fun_headline_variants":["Surpassing relation restores classical algebra in semirings","Semiring pairs: zero and equality replaced, theorems survive","Null ideal plus surpassing relation rescues Cayley-Hamilton","Semiring pairs restore roots and determinants","Replace zero with null ideal to regain classical theorems"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"Every pair must satisfy Property N, meaning there is an invertible element 1-dagger whose sum with 1 yields a unique element e in the null part; idempotent semirings with their natural trivial null part fail this, so the theory engages only after one constructs a suitable null part.","fun_headline_variants_meta":{"raw":{"variants":["Surpassing relation restores classical algebra in semirings","Semiring pairs: zero and equality replaced, theorems survive","Null ideal plus surpassing relation rescues Cayley-Hamilton","Semiring pairs restore roots and determinants","Replace zero with null ideal to regain classical theorems"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00069,"raw_usage":{"total_tokens":2905,"prompt_tokens":628,"completion_tokens":2277,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":372,"completion_tokens_details":{"reasoning_tokens":2201}},"tokens_in":372,"tokens_out":2277,"duration_ms":15113,"temperature":1.0,"reasoning_tokens":2201,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T21:42:46.636598+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"In the hyperpair of the phase hyperfield (where addition of non-antipodal complex numbers is an open arc), count distinct tangible surpassing-relation roots of a monic polynomial of degree 5; the theorem predicts at most 5, so 6 distinct roots would refute it.","supporting_citations":[],"review_version":1}