{"id":"b96427fd-5f5e-4b2d-8763-0b51a3b0a578","arxiv_id":"2509.10680","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper argues that the Received and Alternative views on quantum individuality are two sides of the same anti-realist, particle-presupposing coin, and promotes a relational 'Logos' account of quantum individuals.","lead":"This philosophy of physics paper argues that the two main camps in the quantum individuality debate, the 'received' non-individual view and the 'alternative' particle view, share an anti-realist methodology inherited from Bohr and Dirac. It then sketches a relational account of quantum individuals based on 'powers' and global intensive valuations, drawn from the authors' own earlier work.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Definition 4.11 is under-specified: 'deriving' and 'minimum set' are undefined, and the EAN_Ψ object in Def 4.7 has off-diagonal coefficients not fixed by the ISA; the positive account rests on unproved Thms 4.9–4.10.","rationale":"The reader's conditional verdict is appropriate, but the most load-bearing problem is slightly more specific than the reader's formulation. The reader focused on the unproved invariance theorems (4.9 and 4.10) and on whether the Global Intensive Valuation gives a consistent non-contextual valuation. I agree that these are serious, but the deeper issue is that the formal object on which the theorems act—the experimental arrangement EAN_Ψ—is under-specified: Definition 4.7 includes off-diagonal matrix elements that are not determined by the ISA Ψ, which only assigns intensities to projectors. Therefore, even the statement 'all experimental arrangements of the same complexity are equivalent' is ambiguous. Additionally, Definition 4.11 introduces 'derive' and 'minimum set' without formal definitions, making the central constructive notion non-checkable as written. This does not necessarily refute the paper's philosophical diagnosis or its historical reading of Schrödinger, and the companion papers [25, 31] may supply the missing details. But as a standalone argument, the positive proposal is not yet a well-defined construction, so the paper should remain conditional pending a precise derivation or a clear statement that the argument presupposes the Logos framework. I do not see a reason to move to reject: the historical and methodological critique is substantive, and the formal gap is explicitly flagged by the authors' deferral to [31].","tokens_in":21414,"tokens_out":5151,"duration_ms":57620,"concrete_test":"Instantiate the construction for H = C^2 ⊗ C^2 with the singlet state and N = 2, using the GIV Ψ(P) = Tr(ρP) as in Definition 4.3. Compute the matrix in Definition 4.7 for two different bases (e.g., computational and Bell basis) using only the ISA data. If the off-diagonal α coefficients are not uniquely determined by Ψ, then EAN_Ψ is not a well-defined function of the ISA and Theorem 4.9 is ill-posed. Then attempt to exhibit a 'minimum set of powers' satisfying Definition 4.11 and prove it derives all powers/potentia in that degree. If any full set of N basis projectors qualifies, the definition reduces to an arbitrary basis choice and does not define an individual; if no such set can be exhibited, the definition is empty.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central positive claim—that there is an objective yet relational account of quantum individuality—rests on Definition 4.11, but that definition is not actually well-defined. It says a quantum individual is a 'minimum set of powers of action within a specific degree of complexity capable of deriving the totality of powers and potentia in that same degree (or less),' yet neither 'derive' nor 'minimum set' is given a formal meaning, and no proof is offered that such a minimal set exists or is unique. The only support offered for the required equivalence facts is Theorem 4.9 (Basis Invariance) and Theorem 4.10 (Factorization Invariance), which are stated without proof and deferred to the authors' earlier paper [31]. Moreover, Definition 4.7 defines an experimental arrangement EAN,Ψ,B by a matrix whose off-diagonal coefficients α are not determined by the ISA Ψ: Ψ only assigns values to projectors (powers), not to off-diagonal transition elements. Thus the object EAN_Ψ is under-specified. If the off-diagonal coefficients are not fixed by the ISA, then Theorem 4.9 is either false, vacuous, or not about the quantities the paper needs. This is load-bearing because the definition of a quantum individual is the constructive payoff of the paper; if it cannot be made precise, the paper's positive proposal collapses to a sketch, regardless of the plausibility of its historical critique of the Received and Alternative views.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper enters the quantum-individuality debate by arguing that the Received View (Krause-style non-individual particles) and the Alternative View (Dieks-style contextual, emergent particles) are not genuine opponents. Both, the authors claim, inherit an anti-realist, atomist methodology from Bohr and Dirac, one that presupposes the classical 'particle' without deriving it from the formalism. The paper then sketches the Logos Categorical Approach: a quantum individual is defined, relative to an experimental arrangement, as a set of powers (projectors) of a given complexity that can derive all powers and potentia in that degree or less. The account is presented as objective and invariant despite being frame-relative, resting on Global Intensive Valuations (GIVs) that are said to bypass Kochen-Specker contextuality, and on a Basis Invariance Theorem and a Factorization Invariance Theorem stated in Section 4. The final section defends a revisionary reading of Schrödinger as attacking the particle notion rather than defending non-individual particles.","tokens_in":21881,"tokens_out":5246,"duration_ms":63285,"significance":"If the positive account could be made precise, it would offer a genuinely novel alternative to the particle/non-particle dichotomy and would connect quantum individuality to operational invariance in an interesting way. The paper's critical diagnosis—that both mainstream camps share a common presupposition—is a valuable framing, and the authors are to be credited for making the constructive proposal explicit rather than leaving it as a metaphor. However, the constructive payoff is currently not self-contained: the central definitions are under-specified, and the two theorems that carry the weight of the proposal are deferred to the authors' earlier work. The paper would be significant if those gaps were filled, but in its present form the central claim is not verifiable from the text.","major_comments":[{"comment":"The experimental arrangement EA is defined by a matrix with coefficients α, but the ISA Ψ only assigns values to projectors, i.e., to diagonal entries. The off-diagonal coefficients are therefore not fixed by Ψ, so the object EAN,i1...inΨ,B is under-specified. Since Theorem 4.9 and the derivation relation used in Definition 4.11 are about such arrangements, this is load-bearing. Please supply a rule that determines the off-diagonal coefficients, or explicitly show that they are irrelevant by defining equivalence on diagonal data alone.","section":"§4, Definition 4.7"},{"comment":"These theorems are the only results that allow one experimental arrangement to be 'equivalent to' or 'contained in' another, and Definition 4.11 uses exactly that relation. They are stated without proof and deferred to the authors' earlier paper [31]; the manuscript does not define 'equivalent' or 'deduce' formally. This leaves the central constructive claim unverifiable in the present text. Please include precise statements with hypotheses (finite/infinite dimension, regularity of Ψ, definition of equivalence) and either proofs or a precise pointer to the exact theorems in [31].","section":"§4, Theorems 4.9 and 4.10"},{"comment":"The prose preceding the definition says a quantum individual is the 'minimum set' of powers, but the formal definition drops 'minimum'. Neither 'derive' nor 'minimum set' is given a formal meaning, and no existence or uniqueness result is stated. As written, any sufficiently large set of powers might qualify, and minimality could fail. This is load-bearing because the quantum individual is the paper's positive proposal. Please give a formal definition and prove that the claimed minimal set exists and is unique up to the intended equivalence.","section":"§4, Definition 4.11"},{"comment":"The existence of a Global Intensive Valuation satisfying additivity and normalization is stipulated, and the sentence claiming that this 'bypasses Kochen-Specker contextuality' is supported only by self-citations [27,29]. Since the objectivity of the account depends on the consistency of such valuations, the manuscript should either state the relevant theorem precisely or give a derivation sketch. Without this, the reader cannot judge whether the GIV is a consistent alternative to KS valuations or merely a different object.","section":"§4, Definitions 4.2–4.3"}],"minor_comments":[{"comment":"Typos and slips: 'Borh' and 'Krasue' in §5, 'oximoron' in §5, 'Einstenian' in the Introduction. A careful proofreading pass is needed.","section":"Throughout"},{"comment":"The term 'GIV' is first defined as any map to [0,1], then Definition 4.3 uses 'GIV Ψ' for an additive, normalized one. Consider renaming the latter 'consistent GIV' or 'ISA valuation' to avoid ambiguity.","section":"§4, Definitions 4.2–4.3"},{"comment":"It would help to state explicitly that the α coefficients in Definition 4.7 are not the potentia; only the diagonal coefficients are, as Definition 4.8 says. The notation EAN,i1...inΨ,B is unwieldy and could be simplified.","section":"§4, Definitions 4.5–4.8"},{"comment":"The historical claim about Schrödinger is supported by selected quotations. Given that the Received View also claims Schrödinger's authority, a more extended engagement with alternative readings of these passages would strengthen the critique.","section":"§5"}],"recommendation":"major_revision","confidential_remarks":"The paper relies heavily on the authors' own previous work ([25], [27], [29], [31]) for the mathematical core. This is not by itself a problem, but it makes independent assessment difficult. The editor may wish to ensure that the companion papers are available and that the deferred theorems are indeed proved there. The central concern is not the historical polemic but the under-specification of the constructive definition; that is fixable within the manuscript's scope, so I am not recommending rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper has two parts, and they are not equally strong. The first part, the meta-critique of the Received View and Alternative View, is genuinely worth your time. The authors argue that both sides start from the same presupposition—that QM is about microscopic particles—and then disagree about whether those particles are individuals. That shared presupposition, they say, is itself a symptom of the anti-realist, Bohr-Dirac methodology that makes particle-talk a precondition for any interpretation. This is a fair and sharp diagnosis, and I'm not aware of another paper that makes it as cleanly. Their reading of Schrödinger as attacking the particle notion rather than proposing non-individual particles is also credible and well-sourced.\n\nThe second part is where I have problems. The constructive account, the Logos approach with 'powers,' 'potentia,' and the definition of a quantum individual (Def 4.11), is not self-contained. The two load-bearing theorems, Basis Invariance (4.9) and Factorization Invariance (4.10), are stated and deferred to the authors' earlier paper [31]. That would be fine if the rest of the paper could stand without them, but it can't. Definition 4.11 turns on 'derive' and 'minimum set' with no formal meaning given, and no argument that a minimal set exists or is unique. The stress-test note is right about Definition 4.7 too: the experimental arrangement EAN_Ψ,B is written as a matrix with off-diagonal coefficients α that are not determined by the ISA Ψ, so the object is under-specified. If those α's are free parameters, then the basis invariance theorem is either not about what the paper needs, or it needs a separate proof that the assignment is fixed.\n\nThe Kochen-Specker bypass claim is asserted with self-citations rather than demonstrated. It may be true—I haven't read [29] closely—but the burden is on the authors to show at least a sketch of how intensive valuations avoid the binary-outcome contextuality argument. The abstract and conclusion oversell the positive proposal, calling it a 'completely new, truly realist understanding' when what's actually presented is a sketch.\n\nNone of this sinks the central philosophical claim. The meta-critique stands on its own and is the real contribution. But the paper should either present the companion derivations or explicitly frame the constructive part as conditional on [31]. As it stands, it's a good philosophy paper about a debate, with a promissory note attached.\n\nI'd take this to a reading group on quantum foundations, and I'd cite the meta-critique if I write about the RV/AV debate. It deserves a serious referee, though that referee should insist on either proofs or a clear conditional framing.","headline":"A genuinely useful meta-critique of the quantum individuality debate, but the constructive 'quantum individual' is a promissory note that needs the deferred proofs or an explicit conditional framing.","tokens_in":22253,"tokens_out":3362,"would_cite":true,"duration_ms":36387,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P05","81P10"],"pacs":[],"model":"deepseek-v4-flash","headline":"Quantum individuality is a relational invariant: a minimal set of powers that generates all others in a given degree of complexity.","keywords":["quantum individuality","non-individuality","relational realism","powers of action","global intensive valuation","Kochen-Specker","operational invariance","quantum particles"],"falsifier":"Find a Hilbert space and an Intensive State of Affairs for which two different minimal sets of powers of the same degree N generate distinct families of powers (or assign different potentia), demonstrating basis-dependent individuality; or exhibit a projector whose intensity cannot be assigned consistently under the GIV axioms, contradicting the claimed non-contextual valuation.","tokens_in":21324,"feed_emoji":"⚛️","tokens_out":6081,"duration_ms":61794,"temperature":0.7,"pith_summary":"The paper argues that the two dominant philosophical accounts of quantum individuality — the view that quantum particles are non-individuals, and the view that they are contextually emergent classical particles — are not genuine opposites. Both, the authors claim, inherit the same anti-realist, atomist methodology imposed by the founders of the standard formulation of quantum mechanics, taking 'particle' as an unquestioned starting point. The paper proposes instead a relational realist definition: a quantum individual is a minimal set of powers of action (projectors) of a given complexity that can generate all powers and their intensities within that degree. Because this definition is invariant under changes of basis and factorization, it is objective; because the relevant degree is tied to an experimental arrangement, it is frame-relative. If correct, this dissolves the received/alternative opposition and replaces it with a single invariant concept of quantum individuality.","feed_headline":"Relational power sets, not particles, define quantum individuals","feed_subtitle":"A minimal set of powers generates all quantum potentia, making each individual objective yet frame-relative.","key_machinery":"The load-bearing structure is the graph of powers G(H): its vertices are projection operators, called 'powers of action,' and an edge links two powers exactly when the corresponding projectors commute. A Global Intensive Valuation (GIV) maps these projectors into [0,1] with the requirement that for any piecewise orthogonal family the value of the sum equals the sum of values, giving an Intensive State of Affairs (ISA) intended to bypass the Kochen–Specker obstruction to binary valuations. The definition of a quantum individual rests on two theorems — the Basis Invariance Theorem and the Factorization Invariance Theorem — which are stated without proof and deferred to an earlier paper by the","core_discovery":"On the authors' account, the central discovery is that the reference of quantum mechanics need not be sought among particles or their negations. Starting from the graph of powers — vertices are projector operators, edges are commutation — a Global Intensive Valuation assigns to each power an intensity in [0,1] and defines an Intensive State of Affairs consistent with the algebraic structure. The Basis Invariance and Factorization Invariance Theorems then imply that any experimental arrangement of a given degree of complexity contains the information of any other arrangement of the same or lower degree. A quantum individual is therefore defined as the minimum set of powers of complexity N tha","pith_inferences":["If the minimal-power-set definition is correct, a general strategy suggests itself: in any physical theory, define the individual as a generating set under the theory's equivalence relations rather than as a primitive object; this could be probed in statistical mechanics or quantum field theory.","Because the two invariance theorems are deferred, the account's viability can be checked by brute force in finite-dimensional Hilbert spaces: enumerate minimal generating sets and verify basis and factorization independence numerically.","The intensive valuation over projectors is conceptually close to unsharp observables and positive-operator-valued measures; linking the two would give the framework a concrete experimental language.","The frame-relativity of individuality resembles quantum reference frame formalisms; combining them might yield operational statements about which measurements reveal individual powers."],"forward_implications":["If the definition is sound, quantum individuality becomes a derived, relational concept: an individual is a minimal generator of the state of affairs, and all powers in a degree are inter-derivable.","The received/alternative debate dissolves: since both sides start from the particle presupposition, the question 'individuals or non-individuals?' is replaced by 'which minimal power set generates the given degree of complexity?'","The account provides a non-contextual, intensive reading of quantum properties: projectors receive global values in [0,1], so the Kochen–Specker obstruction is bypassed for intensities rather than binaries.","Individuality is relativized to experimental arrangements in the same way space-time is relativized in relativity theory: objective but frame-dependent.","The paper's historical reinterpretation implies that the standard textual evidence for non-individual particles commits a category mistake: statements against the particle notion were mistaken for statements about the nature of particles."],"fun_headline_variants":["No particles: quantum individuals are power sets","Quantum individuals are minimal power sets","Realist quantum identity: power sets over particles","Objective yet frame-relative: the new quantum individual","Beyond classical particles: quantum individuality via powers"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The argument stands on the stated-but-unproved Basis Invariance and Factorization Invariance Theorems and on the existence of a consistent global intensive valuation; if those fail, the proposed definition of a quantum individual collapses.","fun_headline_variants_meta":{"raw":{"variants":["No particles: quantum individuals are power sets","Quantum individuals are minimal power sets","Realist quantum identity: power sets over particles","Objective yet frame-relative: the new quantum individual","Beyond classical particles: quantum individuality via powers"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000924,"raw_usage":{"total_tokens":3750,"prompt_tokens":649,"completion_tokens":3101,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":393,"completion_tokens_details":{"reasoning_tokens":3048}},"tokens_in":393,"tokens_out":3101,"duration_ms":23227,"temperature":1.0,"reasoning_tokens":3048,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T17:40:37.020071+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a Hilbert space and an Intensive State of Affairs for which two different minimal sets of powers of the same degree N generate distinct families of powers (or assign different potentia), demonstrating basis-dependent individuality; or exhibit a projector whose intensity cannot be assigned consistently under the GIV axioms, contradicting the claimed non-contextual valuation.","supporting_citations":[],"review_version":1}