The Shape of Logic: What Arithmetic Leaves of a Comparison with No First Side

The manuscript studies numerical valuations C of positive ratios x = p/q. It states three laws: Law I requires C(x) = C(1) exactly when x = 1; Law II requires C(1/x) = C(x); Law III requires that equal input values determine the unordered pair of composite values of xy and x/y. Theorem 1 correctly shows that the bit valuation obeys Laws I and II but fails Law III, because the input pair of bits (1,1) arises both for (x,y) = (2,2), whose composites have bits {1,0}, and for (2,3), whose composites have bits {1,1}. Theorem 2 then proves the three laws equivalent to faithfulness modulo reversal: C(x) = C(y) if and only if y = x or y = x^{-1}. The argument is elementary group-theoretic and is confirmed on the supplied page images: applying Law III to (x,x) and (x,y) places C(1) among the composite values, after which Law I forces the reverse-or-equal conclusion; the converse is immediate because inversion merely permutes or reverses the two composites. Thus the laws fix what a valuation may forget and fix no functional form. This half of the paper is cleanly separated from the arithmetic half that follows, and the separation is maintained throughout Sections 1, 3 and 11.2 by the explicit premises P1-P4. No mathematical defect appears in the checked statements of Theorems 1 and 2 or in the accompanying Figures 4-6 and Table 1. The philosophical identification of the three laws with textbook identity is labeled a premise rather than a theorem, which is the correct framing for a conditional mathematical paper. A reader who rejects Law III as a law of identity still retains Theorem 2 as a precise characterization of what that law adds, and retains Theorems 3 and 4 as statements about rational valuations.

The manuscript already states this reading explicitly, so the interpretive premise does not undermine the proved results. The second half imposes rational-function hypotheses (Definition 2): C is a non-constant quotient of polynomials with real coefficients, finite on the positive reals, and obeying Law II. Lemma 2 recovers the classical fact that any such C invariant under x maps to 1/x is a rational function of w = x + 1/x. Theorem 3 then characterizes the arithmetic-both-ways condition (w recovered rationally from C) as the statement that C is a Möbius transform of w; equivalently, deg C = 2, or generic fibers are exactly {y, y^{-1}}. The proof uses only the listed facts Q1-Q6 and is confirmed on the page images for equations (3)-(5). Proposition 1 strengthens the same conclusion under the three laws on complex ratios, forcing an affine form a(x + 1/x) + b once poles off zero are forbidden; the manuscript correctly notes that this reading treats comparisons as complex and does not claim that lengths are complex. Theorem 4 is the main classification. For a non-constant rational C with no first side, the existence of a rational rule for the total C(xy) + C(x/y), or for the product C(xy)C(x/y), is equivalent to C being a Möbius transform of x^n + x^{-n} for some integer n >= 1. The forward direction is a direct expansion: the identities (8) give the elementary-symmetric polynomials of the two composite W-values, and a Möbius change of W produces rational rules in the two input values. The converse proceeds by reading a rule along lines (Lemma 4), tracking poles or zeros to force equal-value fibers to be generated by multiplications lambda with C(lambda x) = C(x), invoking Q7-Q8 to reduce to a function of x^n, and using a degree count to force the outer map to be Möbius.

The printed algebra and the counting diagram in Figure 9 are consistent. Corollaries 2 and 3 then show that the rules are polynomial precisely when there is no ceiling, recovering the familiar d'Alembert form 2u + 2v + uv/a and the product (u - v)^2 on the zero-sameness no-ceiling scales. Example 2 verifies the numerical instance for J(2) = 1/4 and J(3) = 2/3, recovering the composite values 25/12 and 1/12. Proposition 2 assembles the hierarchy: arithmetic both ways implies composition by arithmetic, which (under no first side) implies the three laws; neither implication reverses, as shown by the separating examples J(x^3) and J^2 in Theorem 5 and Table 3. The necessity sieve of Section 9 and Figure 11 is carefully constructed: each hypothesis turns away a concrete valuation that the preceding hypotheses admit. Section 10 extends the same two theorems to differences (t^2) and angles (cos n theta), with the normal forms and product law (u - v)^2 collected in Table 4 and Figure 12; the reduction for angles uses z + z^{-1} = 2 cos theta. The three kinds are further identified with the three associative commutative rational laws of composition in one coordinate (Theorem D.14), a known classification that the manuscript reproves for self-containment. Throughout, the paper distinguishes proved conditional theorems from imported classical facts (Q1-Q8, symmetric polynomials, Ritt, Sinopoulos, two-valued groups), from scale conventions (Lemma 3, Corollary 1, Table 2), and from the physical identification of the reciprocal cost J with a cost in Recognition Science (Section 12). The novelty claim in Section 11.3 is correspondingly narrow: the formulas are classical, but the unified rational-function proof of Theorem 4, including product-only and ceiling cases not reached by the cited older theorems, together with the no-division/no-ceiling criterion, is presented as new.

The reference audit flags several unresolved classical books and web resources; these are recognizable works and raise no integrity concern, but the bibliography should be made more resolver-friendly. No confirmed mathematical error was found in the core chain Theorems 1-4, Proposition 1, Corollaries 1-3, Proposition 2 or the stated difference/angle analogues. Validated objections that alleged mathematical defects were all classified already_addressed; remaining items are editorial preferences on rational-function wording at Theorem 4, expression-level no-division near Corollaries 2-3, abstract finiteness caveats, and bibliographic metadata. Source fidelity is limited by the fact that supplied page images stop at page 40 while several appendix proofs occur later; assessment of those appendices therefore rests on the extracted text. The recommendation of both independent referees is minor revision, primarily for bibliographic cleanup, a short emphasis that composition rules are equalities of rational functions, and preservation of the already-clear conditional framing of premises P1-P4. The mathematical contribution stands under its stated hypotheses.

If the central conditional claims hold, the paper supplies a clean elementary classification of rational valuations of one-dimensional comparisons that admit an unspecified arithmetic composition rule, separating what follows from the three laws alone from what follows only after rational computability. The main novelty is a unified rational-function proof covering product-only and ceiling cases not reached by the older addition-theorem results it cites, together with the observation that polynomial composition rules occur exactly on scales with no ceiling. The identification of the three laws with the laws of identity, and the restriction to arithmetic on the ratio itself, remain premises rather than theorems; the manuscript states this explicitly. The physical reading in Recognition Science is likewise conditional on those premises and on chosen scale settings, so the mathematical contribution is a precise classification rather than a derivation of a unique physical cost from logic alone.

1. Clear separation of proved conditional theorems from premises P1-P4, scale conventions, and the Recognition Science reading.
2. Theorem 1 correctly shows the bit fails Law III via composites of (2,2) versus (2,3).
3. Theorem 2 equates Laws I-III with faithfulness modulo reversal under elementary group composition.
4. Lemma 2 and Theorem 3 correctly characterize arithmetic-both-ways rational valuations as Mobius images of x+1/x.
5. Theorem 4 classifies nonconstant rational no-first-side valuations with a rational total or product rule as Mobius images of x^n+x^{-n}.
6. Necessity sieve (Theorem 5, Table 3, Figure 11) isolates each hypothesis with concrete counterexamples.
7. Difference and angle analogues (Theorem 6, Table 4) share the product law (u-v)^2 and normal forms a t^2, a(x^n+x^{-n}-2), 2a(1-cos n theta).
8. Section 11.3 states a narrow, transparent novelty claim relative to Ritt, Sinopoulos, and two-valued groups.

This review was written by a machine. No person has reviewed this paper on Pith yet. A scientist listed on Pith can review it for a fee, and their review is published here whatever it concludes. It does not decide whether the paper is published.

Get a human review · Become a reviewer

Competing interests. The author is affiliated with the Recognition Physics Institute and is an owner of Pith.

License. This paper is distributed under the Creative Commons Attribution 4.0 license.