{"id":"0a5f2033-6949-4c63-911e-7f748eedf56a","arxiv_id":"2502.00967","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Dimensions, units, and numerical values all derive from one algebraic structure whose addition is a partial operation.","lead":"A new set of axioms for 'partially additive fields' shows that physical dimensions, units, and numerical values need not be assumed separately; they emerge from one algebraic structure where addition only works within the same dimension. The paper offers a cleaner foundation for dimensional analysis and units in physics and mathematics.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The strong associativity convention in Definition 1 is load-bearing: without it, Lemma 3 and the derivation of dimensions as summability equivalence classes fail.","rationale":"I verified the main proofs in detail and found the mathematics internally consistent under the stated axioms. Lemma 3 is the key step that turns summability into an equivalence relation, and it genuinely requires the strong associativity convention in Definition 1. The paper explicitly adopts this convention, but offers no physical justification for why the strong reading is the correct one for quantities. Since the central claim is that dimensions and units arise naturally, the unargued status of this convention is a real soft spot. However, the issue is not a mathematical error; it is a modeling choice that could be addressed by adding a clarifying discussion or by proving that a weaker, more standard partial-algebra convention still yields the same conclusions. For that reason, I recommend a conditional acceptance: the paper's technical results are sound, but the framing should be revised to acknowledge the substantive role of the strong associativity axiom. This is a minor revision rather than a rejection.","tokens_in":11789,"tokens_out":23844,"duration_ms":213279,"concrete_test":"Formalize Definition 1 with weak associativity (replace the strong equality reading with 'if both sides are defined, they are equal') and use a finite-model finder (e.g., Mace4) to search for an algebra satisfying all other axioms, including unique zeros and inverses, but containing elements a, b, c with a+b and b+c defined while (a+b)+c, a+(b+c), and a+c are undefined. If such a model exists, Lemma 3 fails without strong associativity and dimensions are not equivalence classes under the weaker convention. If no such model exists, the strong reading is derivable from the other axioms and the concern is resolved.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The paper's central claim is that physical dimensions and units emerge naturally from modified field axioms. The load-bearing step is Definition 1's equality convention for associativity: (a+b)+c = a+(b+c) is read as 'both sides are defined and equal, or both sides are undefined.' Lemma 3 depends on this strong convention in both directions. If 0_a=0_b and a+b were undefined, the proof rewrites a = a+0_b = a+(b+(-b)) and uses strong associativity to infer (a+b)+(-b) is defined, forcing a = u, a contradiction. Conversely, if a+b is defined, the proof shows both 0_a and 0_b are zeros for a+b, again using associativity to rearrange parenthesizations. Under the weaker partial-algebra convention (associativity only when both sides are already defined), these inferences are unjustified; summability may be non-transitive, as in matroid partial fields, so the equivalence classes of Definition 13 need not exist. The paper gives no independent physical argument for the strong reading; it is a modeling choice that effectively builds the dimensional structure into the axioms. Thus the claim that dimensions 'arise naturally' is contingent on a strong, unargued convention.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript introduces 'partially additive fields': sets with total multiplication, partial addition, a per-element zero 0_a, and an equality convention for all axiom equations under which both sides are defined and equal or both are undefined. It proves that summability coincides with equality of zeros (Lemma 3), that dimensionless elements form a field (Theorem 9), that every element factors uniquely as a dimensionless value times a selected unit (Theorem 11), and that dimensions, defined as summability classes, form a commutative group (Corollary 14). It also analyzes coherent unit systems, giving sufficient conditions (Theorem 31), and generalizes to 'fieldoids' where multiplication is also partial (Appendix A). The paper's thesis is that dimensions and units need not be postulated separately but emerge from a partially additive field structure.","tokens_in":12067,"tokens_out":15305,"duration_ms":152665,"significance":"If accepted, the paper offers a clean algebraic unification of quantities, numerical values, units, and dimensions in one structure, with a genuinely derived representation theorem and no fitted parameters. The proofs are generally coherent, and the appendices extend the framework nontrivially. The main caveat is that the claimed 'emergence' of dimensions is conditional on axiomatic choices: the per-element zero axioms and the strong associativity convention. The significance of the contribution therefore lies in the unified structure and in the derived theorems, rather than in an unconditional derivation of dimensional analysis from ordinary field axioms.","major_comments":[{"comment":"The strong associativity convention in Definition 1 is load-bearing: the proof of Lemma 3 uses it to infer, from a = a + (b + (-b)), that the parenthesization (a + b) + (-b) is defined, and conversely to rearrange a + b = a + 0_a + b into (a + b) + 0_b. Under the weaker partial-algebra convention in which associativity applies only when both sides are already defined, summability is not forced to be transitive, and the equivalence classes of Definition 13 need not exist. Since Lemma 3 underpins Theorem 11 and Corollary 14, the strong reading is a substantive axiom rather than a bookkeeping device. The paper should either justify the strong reading as the physically appropriate one (definedness of physical addition is an equivalence relation, so the strong form is exactly the algebraic translation) or explicitly present it as an additional modeling assumption and soften the claim that dimensions 'arise naturally' from field axioms alone.","section":"Definition 1, Lemma 3"},{"comment":"The axioms already encode the dimensional partition: each element a is assigned a unique zero 0_a, and Lemmas 3 and 6 identify the summability classes with these zeros; Section 4 explicitly notes the one-to-one correspondence between dimensions and zero quantities. Thus the claim in the abstract and conclusion that dimensions 'do not have to be explicitly postulated' overstates what is derived. The partition of Q into dimensions is present in the zero structure, while what is genuinely derived is the field structure of dimensionless elements, the unit-value representation, and the group structure of dimensions (Corollary 14). I recommend qualifying the 'emergence' language accordingly.","section":"Definition 1, Lemma 6, Section 4"}],"minor_comments":[{"comment":"The equality convention 'both sides are defined and equal, or both sides are undefined' should be formalized: since u is an element of Q_u, it should be stated explicitly that 'undefined' means 'equal to u' and that equations with u on both sides are permitted.","section":"Definition 1"},{"comment":"The displayed identity '0_a × 0_a = 0_a × a + 0_a × (-a) = a × a + (-a) × a + 0_a × (-a)' appears to contain a typo or a missing intermediate step; please check and clarify.","section":"Lemma 26"},{"comment":"The statement that 'divisible groups, finite groups, and their direct products are cotorsion' is terse; a one-sentence explanation of why cotorsion gives the desired splitting would help readers.","section":"Section 3"},{"comment":"Condition 2 of Theorem 31 is a strong global homogeneity assumption; a brief comment on its physical status and on how restrictive it is compared with the alternatives discussed in Section 3 would be useful.","section":"Theorem 31"}],"recommendation":"major_revision","confidential_remarks":"The mathematical core is sound and, in my view, publishable after revision. The referee report asks for reframing rather than new mathematics: the authors should address the status of the strong associativity convention and the extent to which the per-element zero axioms already encode the dimensional partition. If those points are handled, I would support acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear X,\n\nThe short version: this is a real new algebraic object, the proofs are mostly clean, and the central representation theorem follows from the axioms as stated. The main caveat is that the strong form of associativity in Definition 1 does a lot of the work, and the paper doesn't defend that convention as physically necessary.\n\nWhat the paper actually does: it proposes a 'partially additive field' where addition is partial and each element has its own zero, and derives from those axioms that mutual summability is transitive, dimensionless elements form a field, and every quantity factors uniquely as a dimensionless value times a unit. None of that is assumed; it is genuinely derived. The derivation is compact, and I checked the key lemmas; they hold under the stated axioms. The author also engages with the prior literature seriously, and the fieldoid appendix is a nice bonus.\n\nThe soft spot is the load-bearing convention. The equality in the axioms is read as 'both sides are defined and equal, or both sides are undefined.' That strong associativity is what makes Lemma 3 go through: it lets the proof conclude that a+(b+(-b)) being defined forces (a+b)+(-b) to be defined, which is how you get transitivity of summability. Under the weaker partial-algebra convention, where associativity only applies when both sides are already defined, Lemma 3 fails and dimensions as summability classes are not guaranteed. The paper states the convention explicitly but gives no independent physical argument for it. That makes the 'dimensions arise naturally' claim weaker than the abstract suggests. It is not a fatal gap—one can choose axioms to get the structure you want—but a referee should ask for more discussion of why this reading, rather than the weaker one, is the right model for quantities.\n\nThe coherent-unit-system section is more exploratory, with a few sufficient conditions rather than a sharp theorem, but it is clearly labeled as such.\n\nThis is for people working on foundations of quantity calculus and on partial algebraic structures; it gives them a compact example of how far you can get with partial addition alone. I'd send it to peer review, and I'd bring it to a reading group. The referee should push on the associativity convention.","headline":"A clean new algebraic axiomatization of physical quantities whose central derivation leans on a strong associativity convention that deserves a more explicit physical defense.","tokens_in":12504,"tokens_out":4285,"would_cite":true,"duration_ms":39319,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["08A55"],"pacs":[],"model":"deepseek-v4-flash","headline":"Physical dimensions and units can be derived from a field whose addition is only partially defined, rather than being postulated as extra structure.","keywords":["physical quantities","quantity calculus","dimensional analysis","partial addition","partially additive field","unit system","dimensions","axiomatization"],"falsifier":"Take the axioms of a partially additive field but replace strong associativity by the weaker convention that $(a+b)+c = a+(b+c)$ is required only when both sides are defined; a model with two elements that share a zero yet are not summable would satisfy the weaker axioms but violate Lemma 3, showing that the derivation of dimensions as summability classes collapses under that reading.","tokens_in":11516,"feed_emoji":"📏","tokens_out":8614,"duration_ms":89577,"temperature":0.7,"pith_summary":"This paper tries to show that the familiar hierarchy of physical quantities—dimensions, units, numerical values—can be derived from one algebraic structure instead of being put in by hand. The structure is a field whose addition is allowed to be undefined for some pairs, called a partially additive field. The claim is that, from this small modification alone, dimensions appear as the equivalence classes of quantities that can be added, dimensionless quantities form an ordinary field, and every quantity factors uniquely into a dimensionless value and a unit. If the derivation works, quantity calculus becomes a theorem about a single algebraic object rather than a collection of separate postulates.","feed_headline":"Partial addition alone gives physical dimensions and units","feed_subtitle":"A field whose addition is sometimes undefined reproduces quantity calculus in one structure.","key_machinery":"The central object is the partially additive field: a set with total multiplication, partial addition, and a separate additive zero $0_a$ for each element $a$, with all axioms read in the strong sense that an equation holds only if both sides are defined and equal or both sides are undefined. The load-bearing mechanism is Lemma 3, which proves that $a+b$ is defined if and only if $0_a = 0_b$; this transitivity of summability turns dimensions into equivalence classes. Theorem 11 then uses multiplicative invertibility of nonzero elements to factor every quantity as a dimensionless value times a unit, and the unit-system axioms in Section 3 convert that factorization into ordinary quantity calculus whenever a coherent unit system exists.","core_discovery":"On the paper's own terms, the discovery is that the textbook scaffolding of quantity calculus—dimensions, units, numerical values—is not an additional layer on top of field arithmetic: it is forced by making addition partial. Theorem 9 shows that the elements summable with the multiplicative identity $1$ form a field, namely the field of dimensionless quantities. Lemma 3 shows that $a+b$ is defined exactly when the additive zeros of $a$ and $b$ coincide, so mutual summability is an equivalence relation; Theorem 11 then represents every element as $a = v_a \\times u_a$ with $v_a$ dimensionless and $u_a$ a unit. Corollary 14 identifies dimensions with the quotient of nonzero elements by nonzero dimensionless elements, making the dimensions a commutative group. The paper takes this as evidence that partial operations give a more economical axiomatization of physical quantities than postulating dimensions and units separately.","pith_inferences":["Beyond the paper: the strong-associativity reading is doing real logical work; if one adopts the weaker partial-algebra convention that associativity is required only when both sides are defined, the derivation of dimensions from summability collapses.","Beyond the paper: because the existence of a coherent unit system depends on the cotorsion of the dimensionless multiplicative group, the framework suggests that familiar real and complex scalars are convenient but not uniquely privileged choices.","Beyond the paper: a natural next step, not taken here, is to axiomatize exponentiation of quantities so that non-integer and transcendental powers of dimensions become theorems rather than additional postulates, which would connect directly to fractional calculus and critical phenomena."],"forward_implications":["Dimension ceases to be primitive: two quantities have the same dimension exactly when their sum is defined, so 'you can only add apples to apples' becomes a theorem rather than a rule.","Every quantity is built from a dimensionless numerical value and a unit, and the usual rule that numerical values add only for equal units falls out of Theorem 11.","The dimensionless quantities themselves form an ordinary field, so the dimensionless field can be chosen freely—real, complex, computable, or rational functions—without changing the dimensional scaffolding.","A coherent unit system exists whenever the nonzero dimensionless elements form a cotorsion group, which covers the standard choices $\\mathbb{R}\\setminus\\{0\\}$ and $\\mathbb{C}\\setminus\\{0\\}$, so familiar arithmetic with physical quantities is recovered.","Making multiplication partial as well (the fieldoid generalization) puts non-multipliable quantities into completely disjoint algebras, which the paper offers as an explanation of why non-multipliable quantities do not appear together in one physical theory."],"supporting_citations":[{"why":"Defines the earlier notion of a partial field, which has a global zero and non-transitive summability; the paper contrasts its partially additive field with this to justify the new axioms.","marker":"[33]"},{"why":"Supplies the group-theoretic facts about cotorsion groups and splitting extensions used to prove conditions under which a coherent unit system exists.","marker":"[34, 35]"},{"why":"Provides the direct-summand theorem quoted in Appendix B, which lets a divisible dimensionless subgroup be split off to build a coherent unit system.","marker":"[35]"}],"fun_headline_variants":["Partial addition alone reproduces physical quantity calculus","When addition is partial, physical dimensions and units emerge","One algebraic structure: partial addition gives units and dimensions","Partial addition: how dimensions and units become algebraic","Partial addition makes dimensions and units algebraic"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument depends on reading every equality that involves an undefined sum in the strong sense: an identity holds only if both sides are defined and equal or both sides are undefined; if associativity were required only when both sides are defined, Lemma 3 would no longer force dimensions to be equivalence classes.","fun_headline_variants_meta":{"raw":{"variants":["Partial addition alone reproduces physical quantity calculus","When addition is partial, physical dimensions and units emerge","One algebraic structure: partial addition gives units and dimensions","Partial addition: how dimensions and units become algebraic","Partial addition makes dimensions and units algebraic"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001028,"raw_usage":{"total_tokens":4274,"prompt_tokens":832,"completion_tokens":3442,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":448,"completion_tokens_details":{"reasoning_tokens":3372}},"tokens_in":448,"tokens_out":3442,"duration_ms":28616,"temperature":1.0,"reasoning_tokens":3372,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-09T17:07:57.333118+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the axioms of a partially additive field but replace strong associativity by the weaker convention that $(a+b)+c = a+(b+c)$ is required only when both sides are defined; a model with two elements that share a zero yet are not summable would satisfy the weaker axioms but violate Lemma 3, showing that the derivation of dimensions as summability classes collapses under that reading.","supporting_citations":[{"cited_title":"Partial fields and matroid representation,","cited_arxiv_id":null,"evidence_quote":"Defines the earlier notion of a partial field, which has a global zero and non-transitive summability; the paper contrasts its partially additive field with this to justify the new axioms."},{"cited_title":"Fuchs, Abelian groups(Springer, 2015)","cited_arxiv_id":null,"evidence_quote":"Provides the direct-summand theorem quoted in Appendix B, which lets a divisible dimensionless subgroup be split off to build a coherent unit system."}],"review_version":1}