{"id":"9a89692b-3a1c-44b0-b942-e74eeaab1013","arxiv_id":"2412.04397","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"This paper reformulates entanglement as a basis-invariant, multi-screen tensor property within its own Tensorial Quantum Mechanics framework.","lead":"This paper proposes a new way to describe entanglement using tensors and multiple measurement screens, building on the authors' earlier framework called Tensorial Quantum Mechanics. It argues that this reformulation bypasses known difficulties in standard multipartite entanglement theory, but the key theorems are asserted rather than proved here.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The EA of Definition 2.7 is a standard density matrix on the tensor-product Hilbert space, so the claimed escape from multipartite-entanglement problems is unsupported: the Section 4 obstacles apply to exactly these objects, and the paper's only example is fully separable.","rationale":"The reader rejected the paper because the central theorems are unproved and multi-screen entanglement is never defined. I agree with the verdict, but I think the more fundamental problem is that the formal object itself does not go beyond standard density-matrix quantum mechanics. If Definition 2.7 is taken literally, an EA is just a (possibly non-normalized) density operator on a tensor-product Hilbert space. The basis-change formula in Section 2 is the usual congruence transformation of a matrix; the 'factorization invariance' is the usual embedding/partial-trace structure. Hence the paper's claims that all multipartite obstacles 'simply disappear' are not supported by the mathematics. The lack of a definition of 'multi-screen entanglement' is not a minor omission: without it, there is no criterion to decide whether the Section 4 example is or is not entangled. In fact the example is separable under the standard definition, so the paper does not even demonstrate its intended phenomenon. My proposed test would settle the matter by exhibiting the density-matrix equivalence explicitly and checking the example's separability. If the test shows the intended object is different, then the burden shifts to the authors to give the missing definition and prove the two theorems; if not, the REJECT verdict stands.","tokens_in":8676,"tokens_out":10197,"duration_ms":169200,"concrete_test":"Reshape the Section 4 example as a 16×16 matrix ρ = (1/2)(|0101><0101| + |1111><1111|). Run three checks: (1) verify ρ ≥ 0 and Trρ = 1, so it is a legitimate density matrix; (2) apply the basis-change rule written after Theorem 2.10 and confirm it is exactly ρ ↦ UρU†; (3) compute the partial trace over the fourth qubit, Tr_4(ρ), and compare with the claimed 'removed screen' EA (1/2)(|010><010| + |111><111|). Then observe that ρ is a convex combination of the product states |0101> and |1111>, so by definition it is fully separable; the example therefore contains no entanglement under any standard criterion. If the authors intend a different object, Definition 2.7 must be amended to specify how α is obtained from Ψ and what 'multi-screen entanglement' means for such an object.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Definition 2.7 defines an EA as Σ α^{k'...}_{k...} |k1...kn><k'1...k'n|. This is an element of End(C^{i1}⊗...⊗C^{in}), i.e., an N×N matrix. The multi-index notation does not create a new kind of object: standard density matrices on a tensor-product Hilbert space are exactly such arrays. The text concedes the point when it says that the two-screen case 'is linked to the orthodox extension to density matrices' (Section 2). Consequently the central formal object of TQM is mathematically identical to the density-matrix formalism of standard QM, and the Section 4 obstacles — infinite SLOCC classes, multipartite measures, genuine requirement, optimization hardness — are all properties of density matrices on tensor products. They do not vanish merely by relabeling 'parties' as 'screens'. Moreover, the paper nowhere defines what it means for an EA to be 'entangled'. The only quantitative example, EA = 1/2|0101><0101| + 1/2|1111><1111| in Section 4, is a convex combination of two product-state projectors, hence fully separable under every standard criterion; so the example does not even illustrate entanglement. Theorems 2.9 and 2.10 are unproved, but in this reading they reduce to the trivial facts that a fixed operator is basis-independent and that one can embed a Hilbert space into a larger one.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a 'tensorial quantum mechanics' (TQM) framework in which an experimental arrangement (EA) is defined as a matrix indexed by multi-screen detector outcomes (Definition 2.7). It claims this provides an invariant-objective formalization of 'multi-screen entanglement' that escapes the difficulties of standard multipartite entanglement. The two central theorems, Basis Invariance (Theorem 2.9) and Factorization Invariance (Theorem 2.10), are stated without proof. The paper argues that the multipartite entanglement obstacles listed in Section 4 disappear within TQM, and illustrates this with a four-screen example that removes one screen.","tokens_in":8996,"tokens_out":5699,"duration_ms":52338,"significance":"If the program were fully developed, grounding entanglement in experimental arrangements rather than particles could be a conceptual shift with connections to Heisenberg's matrix mechanics and to the Deutsch-Hayden descriptors and Raymond-Robichaud noumenal states mentioned in Section 4. The paper is openly programmatic and explicitly relates to existing approaches, which is a useful framing. However, the present manuscript does not establish the central claim: the formal object reduces to standard density matrices, the key theorems are unproved, and the sole example is fully separable. No definition of entanglement in TQM is given, so the claimed advantages over multipartite entanglement theory are not demonstrated.","major_comments":[{"comment":"The two theorems that carry the paper's central claim are stated without proof or precise formal statement. The text only says 'see for a detailed analysis [10,16]' and then gives a basis-change formula. The reader cannot verify what 'equivalent' (Theorem 2.9) or 'reproduced in a higher-complexity arrangement' (Theorem 2.10) means, nor under what conditions they hold. Because these theorems are the basis for the claimed invariance of multi-screen entanglement and the containment of lower-complexity arrangements in higher-complexity ones, the central argument is not self-contained.","section":"Section 2 (Theorems 2.9 and 2.10)"},{"comment":"The EA is defined as a matrix Σ α^{k'...}_{k...} |k...><k'...| on the tensor product C^{i1}⊗...⊗C^{in}. This is exactly a density matrix on a tensor-product Hilbert space, up to the usual Hermiticity and trace conditions, which are not stated. The text itself concedes that the two-screen case 'is linked to the orthodox extension to density matrices.' Consequently, the Section 4 obstacles—infinite SLOCC classes, failure of the genuine requirement, geometric and optimization complexity—are properties of exactly this class of objects. The paper provides no argument that relabeling 'parties' as 'screens' changes any of these properties.","section":"Section 2 (Definition 2.7)"},{"comment":"The single quantitative example, EA = 1/2 |0101><0101| + 1/2 |1111><1111|, is a convex combination of two product-state projectors, hence fully separable by every standard multipartite separability criterion. As such, it does not illustrate the phenomenon the paper claims to formalize. Moreover, the paper nowhere defines what it means for a general EA to be 'entangled'; the phrase 'multi-screen entanglement' is used throughout but never formally introduced.","section":"Section 4 (example)"},{"comment":"There is an unstated jump from the infinite-dimensional Hilbert space H in the definition of ISA to the finite-dimensional screen spaces C^n. Definition 2.7 says an EA is 'given an ISA, Ψ', but no construction is provided that maps a GIV on G(H) to the coefficients α in the finite-dimensional expansion. This gap makes it impossible to check whether the EAs of the paper are actually derived from the ISA formalism.","section":"Section 2 (Definitions 2.3 and 2.5)"},{"comment":"The claim that 'applying instead TQM, all these obstacles and problems ... simply disappear' is asserted without any derivation or reference to a proof; the only citations are to the authors' own [11,12]. The preceding example does not address any of the listed obstacles (no SLOCC classification, no measure, no optimization). Since this is the paper's main conclusion, the claim is unsupported as it stands.","section":"Section 4 (final paragraph)"}],"minor_comments":[{"comment":"There are typos: 'completely straight forward' should be 'completely straightforward', and 'pure sate' should be 'pure state'.","section":"Section 3"},{"comment":"Typos: Section 1 has 'the filed' instead of 'the field'; Section 4 has 'leaser complexity' instead of 'lesser complexity'.","section":"Sections 1 and 4"},{"comment":"The terminology is inconsistent: the title uses 'Tensorial' but Section 2 speaks of a 'tensional formulation' and 'these leads to what we call a multi-screen analysis'; please standardize the terminology and grammar.","section":"Throughout"},{"comment":"Reference [2] lists 'Aronson, S.' but the correct spelling is 'Aaronson, S.'; reference [28] is missing the author's initial.","section":"References"}],"recommendation":"reject","confidential_remarks":"The manuscript relies heavily on the authors' own previous works for the two central theorems, and the present paper does not contain enough detail to assess them. Given that the formal object reduces to standard density matrices, the sole example is separable, and the central claim that the Section 4 obstacles disappear is unsupported, I do not see a viable route to acceptance within the scope of the current manuscript."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nRead the de Ronde et al. paper on multi-screen entanglement. The thing to know up front: the central object, the 'Experimental Arrangement' (Def 2.7), is just a complex matrix on the tensor-product space C^{i1}⊗…⊗C^{in}. The paper even admits the two-screen case reduces to the standard density-matrix formalism. So when Section 4 claims that TQM makes multipartite entanglement obstacles 'simply disappear,' that is not supported — those obstacles (infinite SLOCC classes, measure problems, genuine requirement, optimization hardness) are properties of exactly these objects. Relabeling parties as 'screens' doesn't change the mathematics.\n\nWhat the paper does well: it gives a clear, if familiar, summary of the open problems in multipartite entanglement, and the critique of the purity/mixture distinction (Section 1) is worth reading. The acknowledgment that Deutsch-Hayden descriptors and Raymond-Robichaud states are equivalent via Bedard is honest. The polytope diagrams are a nice pedagogical aid.\n\nThe soft spots are significant. First, 'multi-screen entanglement' is never defined. The title and abstract promise a formalization, but Section 3 offers only pictures. Second, the two theorems that carry the argument — Basis Invariance and Factorization Invariance — are stated without proof and deferred to the authors' own [10,16]. As stated, they look like the trivial facts that an operator transforms under basis change and that a Hilbert space can be embedded in a larger one. That does not get you the conclusion that all known multipartite problems vanish. Third, the only worked example (Section 4) is EA = 1/2|0101><0101| + 1/2|1111><1111|, a convex combination of product projectors — fully separable by any standard criterion. It illustrates nothing about entanglement. Fourth, there is an unaddressed jump from the infinite-dimensional ISA (Def 2.3) to the finite-dimensional screens used throughout.\n\nThis paper is for readers already invested in the TQM research program. A newcomer will come away puzzled about what exactly is being claimed. It is not a self-contained research paper.\n\nRecommendation: not ready for peer review as is. A serious referee would need (i) a precise definition of entanglement for EAs, (ii) proofs or exact statements of the two theorems, and (iii) an example that involves actual non-separability. Until then, desk rejection is defensible, though the underlying program may merit attention in the authors' longer works.","headline":"TQM position paper: EA is just a density matrix; multi-screen entanglement never defined; load-bearing theorems unproved — not ready for review.","tokens_in":9497,"tokens_out":6253,"would_cite":false,"duration_ms":62007,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper argues that entanglement is best understood as an intensive property of a multi-screen experimental arrangement, and that Tensorial Quantum Mechanics makes this precise through the Basis and Factorization Invariance theorems.","keywords":["multi-screen entanglement","tensorial quantum mechanics","basis invariance","factorization invariance","intensive state of affairs","potentia","experimental arrangement","entanglement measures"],"falsifier":"Take a specific experimental arrangement such as the four-screen tensor $\\frac{1}{2}|0101\\rangle\\langle0101| + \\frac{1}{2}|1111\\rangle\\langle1111|$, remove the fourth screen by the contraction rule, and compare the resulting three-screen tensor with the one obtained by first applying a non-product basis change and then removing the fourth screen; the two results must agree if the two invariance theorems are consistent. A single concrete mismatch would directly disprove the factorization claim.","tokens_in":8448,"feed_emoji":"🔗","tokens_out":8772,"duration_ms":82479,"temperature":0.7,"pith_summary":"This paper argues that the familiar obstacles of multipartite entanglement — the explosion of entanglement classes, basis dependence, and hard optimization problems — are artifacts of the standard vectorial formulation of quantum mechanics, and that they disappear when entanglement is described in Tensorial Quantum Mechanics (TQM). In TQM a physical situation is an Intensive State of Affairs: an assignment of intensities, called potentia, to projection operators over a Hilbert space. A concrete experimental setup is a tensor that represents an arrangement of screens and detectors. The paper's central claims are the Basis Invariance Theorem, that arrangements of the same complexity are equivalent under change of basis, and the Factorization Invariance Theorem, that every arrangement of degree $N$ is contained in any higher-degree arrangement built from the same underlying quantum laboratory (Q-Lab). If these hold, entanglement becomes a basis-invariant property of the experimental arrangement rather than of particles, and working with any number of screens is as straightforward as working with one.","feed_headline":"Multi-screen entanglement tamed by tensorial quantum mechanics","feed_subtitle":"A tensorial reformulation treats entanglement as a property of experimental arrangements, not of particles.","key_machinery":"The central object is the experimental arrangement $EA^{N,i_1\\ldots i_n}_{\\Psi,B}$, a tensor over a factorization $\\mathbb{C}^{i_1}\\otimes\\cdots\\otimes\\mathbb{C}^{i_n}$, where the basis $\\{|k_1\\ldots k_n\\rangle\\}$ fixes a choice of screens and detectors and the tensor components are the potentia (intensities) of joint powers of action. The Basis Invariance Theorem acts on this object by changing the basis while keeping the degree $N$ fixed, and the Factorization Invariance Theorem acts by changing the factorization, i.e., adding or removing screens; both transformations reduce to the standard tensor transformation law. The argument's work is done by these two theorems: they are what makes the intensity assignment invariant across different experimental arrangements, so that any screen configuration is a legitimate, comparable representation of the same Q-Lab, i.e., the same Intensive State of Affairs.","core_discovery":"The central discovery is that, in TQM, entanglement is an intensive multi-screen phenomenon rather than a property of composite particles. The state of affairs is given by an Intensive State of Affairs $\\Psi$, and each concrete choice of screens, detectors, and basis determines an experimental arrangement, a tensor $EA_{\\Psi,B}$ whose components are the potentia of joint powers and their coherent relations. The paper asserts two results about these tensors: all arrangements of the same degree of complexity are equivalent under basis change, and any arrangement of degree $N$ can be embedded in an arrangement of degree $N+M$ within the same Q-Lab, so decreasing the number of screens or detectors never produces information that was not already present. On this picture the multipartite puzzles of standard quantum theory — infinitely many entanglement classes, basis-dependent entanglement, and the difficulty of quantifying genuine multipartite entanglement — are consequences of a wrong choice of formalism and do not arise when entanglement is analyzed through experimental arrangements.","pith_inferences":["Editorial inference: if the Factorization Invariance Theorem is correct, it suggests a partial ordering of experimental arrangements by informational content (higher degree contains lower degree), a principle the paper states informally but does not formalize.","Editorial inference: the identification of entanglement with the full arrangement tensor implies that conventional entanglement measures are factorization-relative rather than fundamental; this is a stronger claim than the formal theorems alone and would require additional philosophical argument.","Editorial inference: a direct laboratory test could compare the measured intensities of joint detector clicks in arrangements with different numbers of screens and check the tensor transformation law, although the paper does not propose an experiment."],"forward_implications":["If the two invariance theorems hold, entanglement can be redefined as an intensive property of an experimental arrangement, so the question 'is this state entangled?' becomes a question about a chosen screen-and-detector setup rather than about an abstract state in a fixed Hilbert space.","Adding or removing screens becomes a routine tensor operation: every lower-complexity arrangement is contained in a higher-complexity one from the same Q-Lab, so no new conceptual machinery is needed for three, four, or seven screens.","The standard multipartite entanglement classification by equivalence classes under local operations becomes unnecessary, because the framework replaces state equivalence with basis and factorization invariance of experimental arrangements.","The same graphical representation — points for one screen, lines for two, filled polytopes for $n$ screens — extends to any number of screens and detectors, which the paper uses as evidence that complexity growth is not a conceptual obstacle."],"supporting_citations":[{"why":"Foundational paper defining Tensorial Quantum Mechanics and its tensor formalism; supplies the method on which the multi-screen analysis is built.","marker":"[12]"},{"why":"Provides the objective account of bases and factorizations cited as the background for the two invariance theorems.","marker":"[10]"},{"why":"Together with [10], cited as containing the detailed analysis of basis and factorization invariance.","marker":"[16]"},{"why":"Argues that standard entanglement measures are inconsistent and that in TQM the multipartite obstacles disappear; used to support the paper's diagnosis and cure.","marker":"[11]"}],"fun_headline_variants":["Multi-screen entanglement demystified via tensorial formalism","Tensorial quantum mechanics reframes entanglement as screen-dependent","Entanglement is not about particles, says tensorial quantum mechanics","TQM: Entanglement is an arrangement, not a particle property","Tensorial mechanics shifts entanglement from particles to arrangements"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument rests on the unproved claim that the Basis Invariance and Factorization Invariance theorems hold as stated for the finite-dimensional screen arrangements used in the paper; if either theorem fails, the claimed invariant comparison of experimental arrangements collapses.","fun_headline_variants_meta":{"raw":{"variants":["Multi-screen entanglement demystified via tensorial formalism","Tensorial quantum mechanics reframes entanglement as screen-dependent","Entanglement is not about particles, says tensorial quantum mechanics","TQM: Entanglement is an arrangement, not a particle property","Tensorial mechanics shifts entanglement from particles to arrangements"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000638,"raw_usage":{"total_tokens":2869,"prompt_tokens":806,"completion_tokens":2063,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":422,"completion_tokens_details":{"reasoning_tokens":1981}},"tokens_in":422,"tokens_out":2063,"duration_ms":15065,"temperature":1.0,"reasoning_tokens":1981,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T21:24:40.784718+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a specific experimental arrangement such as the four-screen tensor $\\frac{1}{2}|0101\\rangle\\langle0101| + \\frac{1}{2}|1111\\rangle\\langle1111|$, remove the fourth screen by the contraction rule, and compare the resulting three-screen tensor with the one obtained by first applying a non-product basis change and then removing the fourth screen; the two results must agree if the two invariance theorems are consistent. A single concrete mismatch would directly disprove the factorization claim.","supporting_citations":[{"cited_title":"Tensorial Quantum Mechanics: Back to Heisenberg and Beyond","cited_arxiv_id":"2410.09535","evidence_quote":"Foundational paper defining Tensorial Quantum Mechanics and its tensor formalism; supplies the method on which the multi-screen analysis is built."},{"cited_title":"Equivalence Relations in Quantum Theory: An Objective Account of Bases and Factorizations","cited_arxiv_id":"2404.14891","evidence_quote":"Provides the objective account of bases and factorizations cited as the background for the two invariance theorems."},{"cited_title":"Relational quantum entanglement beyond non-separable and contextual relativism","cited_arxiv_id":null,"evidence_quote":"Together with [10], cited as containing the detailed analysis of basis and factorization invariance."},{"cited_title":"Everything is Entangled in Quantum Mechanics: On the Measures of Quantum Entanglement","cited_arxiv_id":null,"evidence_quote":"Argues that standard entanglement measures are inconsistent and that in TQM the multipartite obstacles disappear; used to support the paper's diagnosis and cure."}],"review_version":1}