{"id":"8d885c43-adc7-43c3-9d54-e2e82ec16d97","arxiv_id":"2412.01846","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"high","formal_verification":"none","parameter_count":2,"one_line_summary":"The paper gives simplified toy models intended to show that modular finite-ring representations of a symmetry superalgebra contain both signs of energy, unlike standard quantum theory.","lead":"This paper argues that finite quantum theory, built on arithmetic modulo a large number p, is more fundamental than standard quantum theory, which it treats as only the p→infinity limit. The author presents two toy algebraic models meant to show that in finite quantum theory energy representations mix positive and negative energies, so particles, antiparticles and charge-like quantum numbers would not be fundamental.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"FQT has no scalar product or Born rule, so the paper's own criterion for 'more general than SQT' cannot be applied; the toy models are algebraic, not physical.","rationale":"The reader's REJECT verdict focused on the integer-coefficient approximation and on limited self-adjointness. I agree partially, but I locate the load-bearing issue more sharply in the missing probability calculus. The toy-model recurrence computations appear internally consistent; I found no contradiction in treating the d'' operators as non-nilpotent raising operators. However, the paper's own Sec. 4 concedes that there is no positive scalar product and that Hermitian conjugation has limited applicability. Since the Definition in Sec. 1 is the basis for the claim that FQT is more general than SQT, and since 'any result of SQT' includes probabilistic predictions, the claim cannot be evaluated without defining FQT observables and a Born rule. Eq. (2) only approximates vectors, not physical content. This is not an ad hominem or a consensus dispute; it is a missing definition internal to the argument. Therefore the REJECT verdict remains appropriate, with no adjustment to the reader's assessment.","tokens_in":13604,"tokens_out":13301,"duration_ms":128524,"concrete_test":"Attempt to construct the FQT analogue of a two-outcome projective measurement for a state x = sum_j c_j e_j over R_{p^2} with coefficients comparable to p, using only ring operations and the paper's axioms. If no well-defined finite-p expression reduces to |c_k|^2 / sum_j |c_j|^2 in the limit p->infinity without first embedding coefficients into C, then the reproduction criterion of Sec. 1 fails and the 'degenerate case' conclusion is unsupported. If such an expression exists, the concern is refuted.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Sec. 1 defines A to be more general than B only if A can reproduce any result of B with arbitrary accuracy while B cannot reproduce all results of A. In SQT, the results include probabilities and expectation values. Sec. 4 states that in spaces over R_{p^2} it is impossible to introduce a scalar product with (x,x)>0 for all nonzero x, that Hermitian conjugation has limited applicability, and that 'in FQT such a requirement cannot be imposed.' The paper never defines a finite-p analogue of |<phi|psi>|^2 or a measurement rule. Eq. (2) shows only that state vectors can be approximated by integer-coefficient combinations; it does not show that inner products, transition amplitudes, or expectation values can be reproduced, because those are not defined for finite p. Consequently the central assertion that SQT is the degenerate p->infinity limit of FQT is not established: the modular IR computations in Secs. 6 and 8 show algebraic facts about finite-dimensional representations, but without observables and probabilities they do not constitute results of a quantum theory. This is a limitation stated in the manuscript itself, not merely a disagreement with convention.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper argues that quantum theory based on finite rings of characteristic p (FQT) is more general than standard quantum theory (SQT), with SQT obtained as the degenerate p → ∞ limit. The central claims are that in FQT all irreducible representations necessarily contain states of both positive and negative energy, and that as a result the fundamental theory should not contain particle-antiparticle or additive-quantum-number concepts. The paper presents two model calculations: a two-operator superalgebra (Sec. 6) and the Dirac supersingleton (Sec. 8), showing that modular irreducible representations over Rp are finite-dimensional and contain both positive and negative eigenvalues of the relevant operator, whereas the corresponding SQT representations split into separate positive- and negative-energy irreducibles. The paper also discusses the equivalence of dS and AdS symmetries in FQT, the absence of a scalar product in FQT, and speculative cosmological consequences involving a time-dependent characteristic p.","tokens_in":47,"tokens_out":8749,"duration_ms":146014,"significance":"If the general claim were established, it would constitute a substantial conceptual revision of quantum foundations: standard particle/antiparticle notions and additive conservation laws would be only approximate low-energy artifacts of a finite modular theory. The toy-model calculations in Secs. 6 and 8 are explicit, transparent, and easy to verify, and they do illustrate an interesting algebraic difference between modular and ordinary representations of the same superalgebra. However, the paper does not prove the general 'all IRs' statement, and, more seriously, it does not provide a measurement rule or positive-definite inner product for FQT. Since probabilities and expectation values are central results of SQT, the paper's own criterion for 'more general' cannot be applied to the claimed FQT-SQT relationship. The significance is therefore conditional: the examples may be useful illustrations of modular representation theory, but the paper does not establish the foundational conclusions announced in the abstract.","major_comments":[{"comment":"The abstract states that 'in FQT, all IRs necessarily contain states with both signs of energy' and draws conclusions about particle-antiparticle concepts. The manuscript, however, proves this only for two toy models (Secs. 6 and 8), and the general statement is not stated as a precise theorem, nor is a proof sketched; the reader is referred to the author's monographs [1,2]. If the paper is intended as an expository companion to those works, it should say so explicitly and clearly separate the illustrative model results from the previously claimed general theorems. As written, the title and abstract promise more than the presented derivations establish.","section":"Abstract; Sec. 9"},{"comment":"The claim that FQT can reproduce all results of SQT is not established. Eq. (2) only shows that every vector in a separable Hilbert space can be approximated by a finite linear combination with integer coefficients. To reproduce the results of SQT one also needs inner products, transition amplitudes, expectation values, and a probability rule. The paper itself states that over Rp2 no scalar product with (x,x)>0 for all nonzero x exists, that Hermitian conjugation has limited applicability, and that 'in FQT such a requirement cannot be imposed.' Without a positive-definite inner product and a Born-rule analogue, the criterion in Sec. 1 that 'A can reproduce any result of B' cannot be satisfied. This is a load-bearing gap in the central degeneracy claim.","section":"Sec. 4, Eq. (2)"},{"comment":"The paper's conclusion that FQT is more fundamental than SQT depends on a definition of 'more general' proposed by the author. The definition itself is not the issue, but its application requires a rigorous meaning for 'B is obtained from A in the formal limit when the parameter goes to infinity.' For the limit p → ∞ of modular representations, no topology, inverse system, or representation-theoretic limit is specified; the spaces Rp2 are not nested in a complex Hilbert space. A concrete test would be to exhibit, for each SQT transition amplitude or expectation value, a sequence of well-defined FQT expressions converging to it. The paper does not provide such a construction, and the toy models do not fill this gap.","section":"Sec. 1, Definition"},{"comment":"The modular IR calculations are plausible, but the claimed relationship to the SQT limit is not demonstrated. For a fixed SQT parameter q0, the finite-dimensional FQT IR has dimension that grows with p (roughly 2p−2q0 in the Sec. 6 model), and no argument is given that this family of representations converges to the direct sum of the positive- and negative-energy SQT IRs. The picture of 'one IR in FQT splitting into two IRs in SQT at p → ∞' is therefore a suggestive analogy, not a proven statement. Either a representation-theoretic limit theorem should be provided, or the claim should be weakened to apply only to the specific models.","section":"Sec. 6.2, Eq. (15); Sec. 8.2"}],"minor_comments":[{"comment":"In Eq. (10), the condition 'h f0 = −q0 e0' should presumably read 'h f0 = −q0 f0'; otherwise the subsequent eigenvalue computation for fn is inconsistent with the stated basis.","section":"Sec. 6.1, Eq. (10)"},{"comment":"Eq. (19) writes 'h_j f0 = −1/2 e0' and Eq. (21) writes 'M04 fjk = −(1+j+k) ejk'; both should refer to f0 and fjk, respectively, on the right-hand side. These are typographical errors, but they are confusing in the derivation.","section":"Sec. 8.1, Eq. (19) and Eq. (21)"},{"comment":"The text refers to 'Figure 1' for the relation between Rp and Z, but the figure is not reproduced in the manuscript text; please include it or remove the reference.","section":"Sec. 2, Figure 1"},{"comment":"The calculations assume p is odd; the paper should explicitly state whether the claims extend to even p, since Sec. 2 gives a definition covering both cases.","section":"Secs. 6.2 and 8.2"}],"recommendation":"reject","confidential_remarks":"The manuscript relies heavily on the author's own prior monographs [1,2,3,4] for the general claims that are central to the abstract. The new material in this paper is limited to two toy-model computations, which are not by themselves enough to support the foundational conclusions. The absence of a measurement rule in FQT is not a local presentation issue; it undermines the paper's own criterion for 'more general.' I would not recommend acceptance in the current form, and I am doubtful that a revision within the scope of this manuscript could repair the gap without a substantially new development of FQT's probabilistic content."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Felix,\n\nQuick take on Lev's arXiv:2412.01846. It's a readable summary of his finite quantum theory (FQT) program, and the two toy models in Secs. 6 and 8 are worked out correctly. The recurrence relations for the superalgebra with two fermionic operators are straightforward, and the conclusion that FQT gives one finite-dimensional IR where SQT gives two infinite-dimensional ones is a clean illustration. The paper is also honest that the general proof is in his earlier monographs [1-4].\n\nThe problem is that the paper's own standard for \"more general\" is not met. The Definition in Sec. 1 says A is more general than B if A can reproduce any result of B with arbitrary accuracy. In SQT, results include probabilities and expectation values. But Sec. 4 concedes that over Rp2 there is no scalar product with (x,x)>0, and no finite-p analogue of the Born rule is ever introduced. Equation (2) only approximates state vectors with integer coefficients. It does not show that inner products or transition amplitudes can be reproduced, because those objects are not defined. So the shift from state-vector approximation to \"reproduce all results\" is a gap. The modular representation computations show algebraic facts, but until a measurement rule exists, they are not results of a quantum theory. This is a load-bearing flaw, and it is acknowledged in the manuscript itself.\n\nThere is also heavy self-citation: the \"more general\" criterion and the general IR proofs all come from the author's own prior work. That isn't automatically a problem, but it means this paper provides no independent confirmation.\n\nSo my recommendation: do not send this to peer review as a research article. It is an exposition, not a demonstration. If a reader wants an introduction to the FQT program, this paper is fine; I'd bring it to a reading group as a jumping-off point for discussion. But I wouldn't cite it for the fundamental claims.\n\nBest,\n[Your name]","headline":"A clear but non-advancing exposition of the FQT program; the central claim fails because the paper never defines a finite-p measurement rule.","tokens_in":14347,"tokens_out":3921,"would_cite":false,"duration_ms":35198,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11Axx","11Txx","13Mxx","16Gxx","81R05"],"pacs":[],"model":"deepseek-v4-flash","headline":"Quantum theory built on finite rings puts particles and antiparticles in a single irreducible representation, making the distinction only approximate.","keywords":["finite mathematics","finite quantum theory","standard quantum theory","characteristic p","modular representations","Dirac supersingleton","particle-antiparticle distinction","additive quantum numbers"],"falsifier":"Pick any normalized state in a standard Hilbert space, such as a Gaussian wave packet, and compute the minimal approximation error with integer coefficients bounded well below p; if the error does not go to zero as p grows, the reproduction step fails. Alternatively, construct the modular irrep of the two-operator superalgebra for a small odd p, say p=7, and check whether its spectrum always contains a zero eigenvalue and both positive and negative f(λ_n); finding a q0 whose irrep is purely one-signed would refute the claim.","tokens_in":13389,"feed_emoji":"⚛️","tokens_out":6082,"duration_ms":53667,"temperature":0.7,"pith_summary":"The paper argues that a quantum theory built on finite rings, where arithmetic runs modulo a huge but finite characteristic p, is more fundamental than standard quantum theory, which it treats as the p→∞ limit. Its central new claim is that in finite quantum theory every irreducible representation necessarily contains states with both positive and negative energies, so particles and antiparticles cannot be separated and additive conserved charges such as electric charge or baryon number lose their meaning. The author's two toy models—a superalgebra with two fermionic operators and the Dirac supersingleton—show this phenomenon explicitly without the lengthy technical proofs of earlier work. If correct, the standard particle/antiparticle picture and its superselection rules are only accurate at late cosmic times because p is currently enormous, and the ultimate theory must rest on different principles.","feed_headline":"Finite mathematics makes antiparticles an approximation","feed_subtitle":"At finite characteristic p, every irreducible representation mixes positive and negative energy, so conserved charges become late-universe…","key_machinery":"The central object is the finite ring R_p with modulo-p arithmetic and its quadratic extension R_{$p^{2}$}, together with modular irreducible representations of the dS/AdS algebra or the osp(1,4) superalgebra. The key identity is the recurrence a(n)=q0+n−1−a(n−1) for the ladder coefficients in the two-operator superalgebra: its standard solution stays positive for all n, while the modulo-p solution vanishes at n=2p+1−2q0, forcing a finite irrep whose spectrum necessarily contains both negative and positive f(λ_n) and a zero eigenvalue. This wrapping-around-the-ring mechanism is what makes the positive and negative energy sectors cohabit in a single representation.","core_discovery":"On the paper's own terms, the central discovery is that modular representations over the ring R_p of characteristic p are finite-dimensional and irreducible in a way that always mixes positive and negative energy sectors, whereas the corresponding standard representations split into two infinite-dimensional irreps distinguished by the sign of the energy. In the model with two operators d' and d'' defined by h={d', d''}, standard theory gives two irreps with eigenvalues n+q0 and −(n+q0), while finite theory gives one irrep whose spectrum wraps around a circle of p points, ends at the exact negative of the starting eigenvalue, and contains a zero eigenvalue. Applied to Dirac supersingletons, the four standard objects (Di, Rac, and their antiparticles) collapse in FQT into one object, and the single finite-dimensional irrep has dimension $p^{2}$. Because the finite spectrum reduces to the standard one only when expansion coefficients are much smaller than p, the paper concludes that standard quantum theory is a degenerate limit rather than the fundamental theory.","pith_inferences":["Because the sign-mixing mechanism is driven by the modular recurrence a(n)=q0+n−1−a(n−1) wrapping around the ring, the same one-irrep-with-both-energy-signs effect should arise in any ladder-generated representation over R_p; explicit modular constructions of Poincaré-type irreps at moderate p would show whether the two toy models are representative.","If p is not a constant but tied to the universe's changing state, then dimensionless couplings and masses could carry a tiny time dependence proportional to d(ln p)/dt, which might be searched for in high-precision spectroscopy or cosmological observations.","A natural next check is whether the zero-eigenvalue vector that appears in every finite irrep corresponds to a physical state with no additive charges; if so, it might play the role of a neutral state that standard theory mislabels as a forbidden superposition."],"forward_implications":["In FQT, superpositions of electron and positron states are allowed; particle–antiparticle superselection rules disappear at finite p.","Electric charge, baryon number, and similar additive quantum numbers become approximate labels valid only when all relevant expansion coefficients are much smaller than p.","The baryon asymmetry problem dissolves if p was smaller in the early universe, because equal baryon and antibaryon numbers cannot even be defined then.","The Dirac, Rac, and antiparticle singletons of standard AdS theory merge into a single finite-dimensional supersingleton irrep of dimension p^2.","dS and AdS symmetries are equivalent in FQT, so the absence of observed supersymmetry need not signal a fundamental preference for dS over AdS."],"supporting_citations":[{"why":"Supplies the detailed earlier proof that finite mathematics and FQT are more general than standard mathematics and SQT, with the p→∞ limit.","marker":"[1]"},{"why":"Longer previous monograph proving the same generality claim and deriving gravity with G proportional to 1/ln(p), fixing the scale of p from observation.","marker":"[2]"},{"why":"Argues that only integer coefficients are needed for wave functions because quantum states are projective, the bridge that lets FQT reproduce SQT.","marker":"[4]"},{"why":"Constructs modular irreducible representations of the dS/AdS algebras, the representation-theoretic foundation for FQT irreps.","marker":"[22]"},{"why":"Extends the modular representation construction and discusses finiteness of physics, underpinning the finite-dimensionality of FQT irreps.","marker":"[23]"},{"why":"Textbook result behind Eq. (2): a dense countable set in a separable Hilbert space lets any state be approximated with integer coefficients.","marker":"[24]"},{"why":"Establishes the dS vs AdS asymmetry in SQT and the large AdS masses, motivating why FQT's dS–AdS equivalence matters.","marker":"[25]"},{"why":"Baseline singleton result that one massless particle equals two Dirac singletons in standard AdS theory, which FQT merges into one object.","marker":"[27]"},{"why":"Dirac's singleton irrep is the standard-theory object whose modular analog the paper computes to exhibit sign-mixing.","marker":"[29]"}],"fun_headline_variants":["Finite math makes antiparticles just an approximation","Finite ring quantum theory erases particle-antiparticle split","Antiparticles are only an infinite-limit approximation","In finite quantum math, energy signs always mix"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument depends on the paper's own definition of 'more general'—A is more fundamental than B if A can reproduce B's results in a limit while B cannot reproduce all of A—and on the claim that any physical state can be approximated by integer-coefficient vectors; if either fails for physically relevant states, the conclusion that FQT is the fundamental theory collapses.","fun_headline_variants_meta":{"raw":{"variants":["Finite math makes antiparticles just an approximation","Finite ring quantum theory erases particle-antiparticle split","Antiparticles are only an infinite-limit approximation","In finite quantum math, energy signs always mix"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00063,"raw_usage":{"total_tokens":2956,"prompt_tokens":1035,"completion_tokens":1921,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":651,"completion_tokens_details":{"reasoning_tokens":1858}},"tokens_in":651,"tokens_out":1921,"duration_ms":13410,"temperature":1.0,"reasoning_tokens":1858,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T11:42:46.630268+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Pick any normalized state in a standard Hilbert space, such as a Gaussian wave packet, and compute the minimal approximation error with integer coefficients bounded well below p; if the error does not go to zero as p grows, the reproduction step fails. Alternatively, construct the modular irrep of the two-operator superalgebra for a small odd p, say p=7, and check whether its spectrum always contains a zero eigenvalue and both positive and negative f(λ_n); finding a q0 whose irrep is purely one-signed would refute the claim.","supporting_citations":[{"cited_title":"Lev, Finite mathematics as the foundation of classical mathematics and quan- tum theory","cited_arxiv_id":null,"evidence_quote":"Supplies the detailed earlier proof that finite mathematics and FQT are more general than standard mathematics and SQT, with the p→∞ limit."},{"cited_title":"Finite Mathematics, Finite Quantum Theory and Applications to Gravity and Particle Theory","cited_arxiv_id":"1104.4647","evidence_quote":"Longer previous monograph proving the same generality claim and deriving gravity with G proportional to 1/ln(p), fixing the scale of p from observation."},{"cited_title":"Lev, Finite mathematics as the most general (fundamental) mathematics","cited_arxiv_id":null,"evidence_quote":"Argues that only integer coefficients are needed for wave functions because quantum states are projective, the bridge that lets FQT reproduce SQT."},{"cited_title":"Lev, Modular Representations as a Possible Basis of Finite Physics","cited_arxiv_id":null,"evidence_quote":"Constructs modular irreducible representations of the dS/AdS algebras, the representation-theoretic foundation for FQT irreps."},{"cited_title":"Lev, Finiteness of Physics and Its Possible Consequences","cited_arxiv_id":null,"evidence_quote":"Extends the modular representation construction and discusses finiteness of physics, underpinning the finite-dimensionality of FQT irreps."},{"cited_title":"Kolmogorov and S.V","cited_arxiv_id":null,"evidence_quote":"Textbook result behind Eq. (2): a dense countable set in a separable Hilbert space lets any state be approximated with integer coefficients."},{"cited_title":"Lev, Solving Particle-antiparticle and Cosmological Constant Problems","cited_arxiv_id":null,"evidence_quote":"Establishes the dS vs AdS asymmetry in SQT and the large AdS masses, motivating why FQT's dS–AdS equivalence matters."},{"cited_title":"Flato and C","cited_arxiv_id":null,"evidence_quote":"Baseline singleton result that one massless particle equals two Dirac singletons in standard AdS theory, which FQT merges into one object."},{"cited_title":"Dirac, A Remarkable Representation of the 3 + 2 de Sitter group","cited_arxiv_id":null,"evidence_quote":"Dirac's singleton irrep is the standard-theory object whose modular analog the paper computes to exhibit sign-mixing."}],"review_version":1}