{"id":"07559c70-449a-4833-b1c9-89aa5d60830c","arxiv_id":"2509.19772","paper_version":3,"verdict":"REJECT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"high","formal_verification":"none","parameter_count":1,"one_line_summary":"The paper proposes a formal correspondence between topological quantum neural networks and amplituhedra, claiming generic quantum processes have amplituhedron representations.","lead":"This paper argues that universal quantum computation, implemented through topological quantum neural networks, can be represented geometrically by amplituhedra, the positive geometries used for scattering amplitudes in N=4 super Yang-Mills. The central correspondence is proposed by analogy and admitted to be a postulate.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2 is not derived: the TQNN–amplituhedron correspondence rests on the explicitly postulated map (37), with no concrete dictionary or invariance check.","rationale":"Theorem 2 is the central new claim of the paper: within a TQNN, UQC corresponds to an amplituhedron scattering process, and conversely. The reader's weakest_assumption—that generic quantum processes may not admit unique amplitudes due to coarse-graining—is a real limitation, and the paper itself concedes it in Section 5. However, that concern does not touch the TQNN-restricted version of Theorem 2, where the TV state sum provides well-defined amplitudes. The more immediate, load-bearing problem is internal: the asserted 'formal correspondence' is never actually constructed. Eq. (37) is explicitly postulated, not derived, and no dictionary is provided between the boundary data of a TQNN computation and the external data of an amplituhedron. The structural parallels in Section 4.5 (tetrahedra vs. positroid cells, 6j recursion vs. BCFW recursion, q-deformation) are analogies; they do not define a map of cell-complexes that is invariant under triangulation changes. Without such a map, Theorem 2 is a research proposal rather than a theorem. This supports the reader's REJECT verdict for the paper's central claim, though for a different primary reason: the amplitude-uniqueness caveat is a further obstacle, but not the decisive one. The background material on TV/RT invariants and TQNN universality (Theorem 1) is grounded in prior literature, so the concern is specific to the new correspondence claim, not to the whole manuscript.","tokens_in":28167,"tokens_out":5952,"duration_ms":68218,"concrete_test":"Work out one nontrivial example. Pick a mapping cylinder H_h for a nontrivial mapping class h of a genus-2 surface, and compute the TV transition amplitude between two boundary labelings. Then specify an explicit amplituhedron A_{n,k}^{(4)}(Z) with concrete n, k, Z and show the amplitude equals the canonical-form integral. Repeat for a second triangulation of the same manifold; if the tetrahedron/cell identification changes the resulting 'amplituhedron' (i.e., does not commute with Pachner moves), the map (37) is not well-defined. If no such example can be produced, the claimed formal correspondence is not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 4.5 states Theorem 2 after 'the above discussion and details... can be summarized by' and gives no proof. The only constructive content is Eq. (37), where the authors 'postulate' maps between TV tetrahedra and positroid cells as maps of cell-complexes. A formal correspondence requires a well-defined, structure-preserving map between TQNN data (triangulated 3-manifold, boundary labelings, level k) and amplituhedron data (n, k, Z, helicity sector), but no such map is defined. In particular, the TV state sum is triangulation-independent, so any tetrahedron-to-positroid-cell assignment must be invariant under Pachner moves; the paper does not verify this. It also does not explain how boundary spin-network labels or a mapping-class-group element determine external data (n,k,Z) of an amplituhedron, or how the root-of-unity deformation parameter in the TV model is matched to the formal cluster q in Eq. (36). The cited similarities—decomposition into tetrahedra/cells, 6j recursion vs. BCFW recursion, q-deformation—are analogies, not a correspondence. Therefore Theorem 2's central claim is unsupported independently of Section 5's admitted open question about unique amplitudes; even in the TQNN-restricted case, where amplitudes are well-defined, the claimed amplituhedron representation has not been exhibited.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops an operational and formal bridge between universal quantum computation (UQC) and scattering processes. It first argues, using an LOCC/QRF framework, that any computation can be viewed as a scattering process and vice versa. It then reviews TQNNs built from Reshetikhin-Turaev and Turaev-Viro TQFTs, and claims (Theorem 1) that such TQNNs implement UQC, grounding this in known results on topological quantum computation and Turaev-Viro quantum error-correcting codes. The central new claim is Theorem 2 in §4.5: within a TQNN, a UQC corresponds to a scattering process with amplitudes given by an amplituhedron, and conversely. The paper supports this by a series of analogies between the Turaev-Viro model (tetrahedra, 6j-symbols, quantum group U_q(sl(2))) and the amplituhedron (positroid cells, BCFW recursion, cluster algebras), and it postulates a cell-complex map in Eq. (37). The conclusion discusses potential applications and explicitly concedes that well-defined unique amplitudes for generic quantum processes remain an open question.","tokens_in":28526,"tokens_out":4804,"duration_ms":37399,"significance":"If Theorem 2 were established, the paper would provide a genuinely new bridge between topological quantum computation and positive geometry, potentially extending amplituhedron methods from planar N=4 SYM to arbitrary quantum processes. The background material in §§3.2–3.9 is a coherent synthesis of established results: the relation between RT and TV invariants, the construction of TV codes as QECCs, and the universality of the Freedman–Kitaev–Wang model are all supported by standard citations. However, the new claim is not demonstrated. The only constructive step toward Theorem 2 is a postulate (Eq. (37)), and the paper itself states that the well-definedness of amplitudes for generic processes is open. Thus the paper is best read as a speculative research proposal rather than an established formal result.","major_comments":[{"comment":"The central correspondence is asserted, not proved. Theorem 2 is introduced by “the above discussion and details ... can be summarized by,” and the only constructive content is Eq. (37), where the authors “postulate” maps between TV tetrahedra and positroid cells as maps of cell-complexes. No explicit dictionary is given from TQNN data (a triangulated 3-manifold, edge labelings, boundary spin networks, a mapping-class element h, level k) to amplituhedron data (n, k, Z, helicity sector, loop number). Without such a map, the parallels listed in §§4.3–4.5 remain analogies, not a correspondence.","section":"§4.5, Theorem 2 and Eq. (37)"},{"comment":"Even if a cell-complex map were intended, it must be compatible with the triangulation independence of the Turaev-Viro state sum. The TV invariant does not depend on the choice of triangulation, so any assignment of positroid cells to tetrahedra must be invariant under Pachner moves, or at least accompanied by a rule for how the amplituhedron data transforms under these moves. The paper neither states such a rule nor checks invariance. This is load-bearing because Theorem 2 quantifies over all TQNN computations, not just a preferred triangulation.","section":"§4.5, after Eq. (37)"},{"comment":"The q-matching is not derived. In the TV model q is a root of unity fixed by the level k, while in Eq. (36) q appears as the formal deformation parameter of a quantum torus/cluster algebra via x_i x_j = q^{2 ε_{ij}} x_j x_i. The paper provides no relation between k (or the edge spins) and the cluster data (ε_{ij}, exponents a_{ij}). Moreover, Eq. (36) is presented without derivation from amplituhedron geometry and without checking that its logarithmic singularities reproduce the canonical form. This identification is a free parameter, not a theorem.","section":"§4.5, Eq. (36)"},{"comment":"The paper explicitly concedes: “Amplituhedra are well-defined only if the amplitudes they represent are well-defined. Whether unique amplituhedra can be assigned to a process depends on whether unique amplitudes can be assigned, which in turn depends on state purity and hence the level of effective coarse-graining.” This directly limits the claim of amplituhedra for generic quantum processes. Even in the TQNN-restricted case where transition amplitudes are well defined, Theorem 2 lacks the proof requested in the preceding comments; the generic-process extension is therefore unsupported.","section":"§5, first paragraph"}],"minor_comments":[{"comment":"Typographical issues: “postitroid” should be “positroid,” and “tetraheda” should be “tetrahedra.” The notation “positroid (cells) polytopes” is ambiguous; presumably “positroid cell polytopes” or simply “positroid cells” is intended.","section":"Eq. (37)"},{"comment":"The displayed Poisson bracket uses a four-dimensional ε_{μνρσ} together with δ^{(D)}(x−y) in a formula claimed for arbitrary dimension D. This is inconsistent; either the formula should be restricted to D=4 or the ε symbol should be replaced by the appropriate D-dimensional structure.","section":"§4.4, Eq. (26)"},{"comment":"The exponents γ_j are said to be “determined by the dimension,” but no explicit formula or reference is given. The notation ⟨C_{1⋯k}⟩ is also used without definition in this context.","section":"§4.4, Eq. (22)"},{"comment":"“the unimodular functor V” appears to be a typo for “the modular functor V.” This occurs in the first sentence of the fourth paragraph.","section":"§3.6"}],"recommendation":"reject","confidential_remarks":"The paper's advertised contribution is Theorem 2, but that theorem is not proved; the only constructive step is a postulate, and the paper itself identifies an open condition that would be needed for the generic-process claim. The surrounding Sections 2–3 are largely review/synthesis, with a high density of self-citations ([17], [23], [24], [28], [135]) that support prior steps but not the amplituhedron correspondence. If the authors intend to present a conjecture or research program, the title and abstract should say so explicitly; in the present form the central claim overstates what is established."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a research proposal, not a proof. The TQNN/UQC material in Section 3 is largely a sound repackaging of known results (Freedman–Kitaev–Wang, RT/TV, TV codes). The genuinely new piece—the amplituhedron correspondence—is stated as Theorem 2 but not derived; the key map is literally postulated in (37). The paper's own conclusion concedes that generic quantum processes may not have unique amplitudes, which would undercut the amplituhedron representation. So the abstract overpromises \"formal correspondence.\"\n\nWhat is actually new: the specific TQNN–amplituhedron analogy, and the suggestion that edge complexity of an amplituhedron could measure QRF sharing. The paper does a good job of organizing the TQFT background and making the UQC claim precise via Theorem 1. The connection between TV state sums and chain-mail invariants is well reviewed. I believe Theorem 1 is correct as a restatement of known universality results, and the paper is transparent about relying on Freedman et al.\n\nSoft spots: Theorem 2 is an assertion based on structural parallels: tetrahedra vs. positroid cells, 6j recursion vs. BCFW, q-deformed algebra vs. cluster algebra. There is no explicit dictionary from TQNN data (triangulated 3-manifold, level k, boundary labelings) to amplituhedron data (n,k,Z, helicity sector). The stress-test note is right: the TV state sum is triangulation-independent, so any tetrahedron-to-cell assignment has to be invariant under Pachner moves, and the paper does not check this. Eq. (37) is a postulate, not a theorem. The matching of the two q's is a free choice. I am not saying the analogy is worthless—it may point somewhere—but as written it is a conjecture. The Section 5 caveat about well-defined amplitudes is honest and important; it means the \"generic quantum processes\" claim is conditional.\n\nMinor concerns: the discussion in 4.1–4.4 is loose and sometimes rhetorical (e.g. \"striking similarities\"); self-citations are prominent but mostly tied to earlier TQNN work, so I don't see it as a serious flaw. The paper would be stronger with a precise conjecture, a small worked example, or a consistency check under Pachner moves.\n\nWho this is for: people interested in whether positive geometry can be imported into quantum computation/information. It's a programmatic paper. I'd send it to a referee, because the conjecture is significant and the authors know the TQFT side well; but I would expect a recommendation for major revision, and I would not accept it as a proof of the correspondence.","headline":"A competent, honest speculative proposal that re-derives UQC via TQNNs and then sketches—but does not prove—a correspondence to amplituhedra; worth refereeing as a conjecture.","tokens_in":28991,"tokens_out":2816,"would_cite":false,"duration_ms":31364,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P68","57R56","81T18"],"pacs":[],"model":"deepseek-v4-flash","headline":"Within a topological quantum neural network, every universal quantum computation corresponds to a scattering process whose amplitudes are encoded by an amplituhedron, and conversely.","keywords":["Amplituhedron","Topological quantum neural network","Universal quantum computation","Turaev-Viro model","Reshetikhin-Turaev invariant","Scattering amplitudes","Quantum error-correcting codes","Positive geometry"],"falsifier":"If a specific universal quantum computation, such as a simple two-qubit gate implemented in a TQNN, can be shown not to admit a unique amplitude under any reasonable coarse-graining, or if its purported amplituhedron volume fails to reproduce the unitary transition probability, then the correspondence would be refuted.","tokens_in":28056,"feed_emoji":"🌀","tokens_out":4477,"duration_ms":45796,"temperature":0.7,"pith_summary":"This paper establishes a formal correspondence between universal quantum computation (UQC) and scattering processes, mediated by topological quantum neural networks (TQNNs). The authors show that TQNNs, which are topological quantum field theories in a spin-network basis, can implement UQC by way of Reshetikhin-Turaev and Turaev-Viro state-sum invariants. They then argue that the structure of the Turaev-Viro model matches the positive geometry of amplituhedra, the geometric objects that encode scattering amplitudes in planar N=4 supersymmetric Yang-Mills theory. If correct, every universal quantum computation has a geometric representation as an amplituhedron, extending the amplitude construction to generic quantum processes.","feed_headline":"Every quantum computation has an amplituhedron","feed_subtitle":"New correspondence gives every quantum computation a geometric representation, extending scattering-amplitude methods beyond SYM.","key_machinery":"The central objects are TQNNs—topological quantum field theories formulated on spin-networks—and the Reshetikhin-Turaev (RT) and Turaev-Viro (TV) state-sum invariants, which are related by the chain-mail construction: the TV invariant is the absolute square of the RT invariant. The TV model's dependence on the quantum group U_q(sl(2)) is mirrored by the quantum cluster algebra structure of the amplituhedron's coordinate ring, and matching the deformation parameter q with the canonical form establishes the geometric correspondence. This chain turns topological invariants into scattering amplitudes.","core_discovery":"The paper's central discovery is Theorem 2: within a TQNN, a universal quantum computation corresponds to a scattering process with amplitudes given by an amplituhedron, and conversely. This is established by first showing that TQNNs implement UQC (Theorem 1), using the Reshetikhin-Turaev modular functor and its equivalence to the Turaev-Viro state sum, which acts as a quantum error-correcting code. The correspondence to amplituhedra is then argued through a parallel between the quantum group U_q(sl(2)) used in the Turaev-Viro model and the quantum cluster algebra of the amplituhedron's coordinate ring, with the deformation parameter q matched to the canonical form. The result implies that a","pith_inferences":["A natural testable extension is to construct explicit amplituhedron volumes for small quantum circuits (e.g., two-qubit gates) and verify that they reproduce known transition probabilities, providing a concrete check of the correspondence.","If the correspondence holds for all generic quantum processes, it would unify the geometric description of particle physics with quantum information science, potentially offering a 'positive geometry' formulation of quantum gravity, although the paper leaves the uniqueness of amplitudes open.","The edge complexity of the amplituhedron might serve as an operational, but not within-protocol observable, measure of how much two parties 'speak the same language' in an LOCC protocol, suggesting a new diagnostic for quantum reference frame alignment.","The link to #P-hardness raises the possibility that the difficulty of computing amplituhedron amplitudes could be used to probe the P vs NP question, if a family of computations is found whose geometry complexity scales in a way that distinguishes the classes."],"forward_implications":["Any quantum circuit that can be implemented within a TQNN admits a geometric representation as an amplituhedron, allowing amplitudes to be computed without perturbative or off-shell methods.","The Turaev-Viro model, interpreted as a quantum error-correcting code, provides a concrete physical mechanism for UQC through TQNNs, linking 3-manifold topology to quantum information processing.","Because computing the TV invariant is #P-hard, the correspondence suggests that evaluating amplituhedron amplitudes for generic processes is computationally hard, with consequences for quantum complexity theory.","The operational equivalence of computation and scattering, together with the amplituhedron representation, offers a new route for quantum simulation of scattering in scalar field theories and for studying complexity measures such as the momentum/complexity correspondence."],"fun_headline_variants":["TQNNs show every quantum computation has an amplituhedron","Quantum computation gets amplituhedron via TQNNs","Universal quantum computations now have amplituhedra","Topological networks map quantum processes to amplituhedra"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"Amplituhedra and their amplitudes are only well-defined if the quantum process has well-defined, unique amplitudes, which depends on state purity and the level of coarse-graining; the paper explicitly leaves this as an open question.","fun_headline_variants_meta":{"raw":{"variants":["TQNNs show every quantum computation has an amplituhedron","Quantum computation gets amplituhedron via TQNNs","Universal quantum computations now have amplituhedra","Topological networks map quantum processes to amplituhedra"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000809,"raw_usage":{"total_tokens":3340,"prompt_tokens":647,"completion_tokens":2693,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":391,"completion_tokens_details":{"reasoning_tokens":2626}},"tokens_in":391,"tokens_out":2693,"duration_ms":15398,"temperature":1.0,"reasoning_tokens":2626,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T15:19:11.737983+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"If a specific universal quantum computation, such as a simple two-qubit gate implemented in a TQNN, can be shown not to admit a unique amplitude under any reasonable coarse-graining, or if its purported amplituhedron volume fails to reproduce the unitary transition probability, then the correspondence would be refuted.","supporting_citations":[],"review_version":1}