{"id":"a2e152cb-6e79-4227-a77a-2d668963c485","arxiv_id":"2608.03634","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":4,"one_line_summary":"A quantum occupied multiplet that factors locally over a sphere factors globally if and only if its second Chern number is divisible by the gcd of the two subsystem dimensions.","lead":"This paper shows that a gapped group of occupied quantum states can look like a product of two smaller systems in every small region yet still refuse to be one global product. The obstruction is a topological integer: the second Chern number modulo the common divisor of the subsystem sizes.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"I examined the central claim (Theorem 1) and its proof rather than the peripheral numerics. The equivalence (ii)⇔(iii) is standard: tensor-product clutching winding is additive with weights q and p, and SU(n)-bundles over S4 are classified by π3(SU(n))≅Z via c2, so any divisor d=gcd(p,q) of C2 can be realized by Bézout-scaled clutching maps. The reduction statement (i)⇔(ii) is also correct: a reduction to G_{p,q} is a principal G_{p,q}-bundle, and because G_{p,q} is the quotient of the simply connected group SU(p)×SU(q) by the central subgroup μ_d, the only obstruction to lifting is in H^2(S4;μ_d)=0. I checked for a subtle mismatch between 'local tensor-product descriptions' and the abstract frame-bundle reduction; the absence of a fixed ambient tensor-product decomposition is not a flaw, because the paper defines subsystem structure on the occupied bundle itself, and projected observables make such structure accessible. The numerical eight-level example, gap bound, and tomography protocol are consistent with the theorem; possible finite-shot bias in the winding estimator is acknowledged and does not affect the topological result. The paper's self-reported limitations (device-specific errors outside the sampling model, unavailable code link) are reproducibility issues rather than mathematical vulnerabilities. I therefore find no load-bearing concern and recommend no change to the ACCEPT verdict.","tokens_in":20141,"tokens_out":37337,"duration_ms":342522,"concrete_test":"Independently verify the converse step (iii)⇒(ii) in a nontrivial coprime case: for p=2,q=3, construct explicit clutching maps g_A:S^3→SU(2) and g_B:S^3→SU(3) whose Bézout combination satisfies 3W3[g_A]+2W3[g_B]=1, compute W3[g_A⊗g_B] by numerical quadrature of Eq. (C1), and check that it equals 1. This directly tests that every rank-6 bundle with C2=1 is a tensor product.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No significant objection identified. Theorem 1's proof in Appendix C is sound: the clutching winding map Ψ_{p,q}(m,n)=qm+pn has image qZ+pZ=gcd(p,q)Z; the converse constructs determinant-trivial SU(p) and SU(q) bundles with Bézout windings, and the classification of SU(n)-bundles over S4 by π3(SU(n))=Z supplies the isomorphism. The lift from a G_{p,q}-reduction to SU(p)×SU(q) is obstructed only in H^2(S4;Z_d)=0. The gapped-multiplet condition is an explicit domain assumption and is verified in the examples via the analytic bound Eq. (37); it is a scope condition, not a hidden flaw. Self-reported limitations (device-specific errors outside the sampling model in App. D4, no direct code link) affect reproducibility but not the topological claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript introduces a framework for deciding when an isolated occupied multiplet of a gapped Hamiltonian admits a globally consistent tensor-product (subsystem) structure, and for extracting the topological obstruction when it does not. In the line-resolved setting on a closed surface, the authors define a quotient of the sector Chern table by row- and column-additive contributions, obtaining mixed Chern classes; they show that when sector lines move inside a non-Abelian occupied space, the curvature acquires a Gauss–Codazzi term, and that in the label-conserving limit the same integer appears as a crossed Thouless pump. In the second setting, where only the factor dimensions p and q are specified on S^4, they prove (Theorem 1, Appendix C) that a rank-pq bundle with trivial determinant factors as a tensor product of determinant-trivial bundles if and only if C2(E) is divisible by gcd(p,q); equivalently, eta_{p,q}(E)=C2(E) mod gcd(p,q) is the complete obstruction, so in particular odd C2 forbids a 2x2 factorization. The paper supports these results with finite eight-level Hamiltonians, analytic gap bounds, numerical convergence checks, and a three-transmon occupied-projector tomography protocol for reconstructing the clutching winding parity.","tokens_in":20284,"tokens_out":15383,"duration_ms":136579,"significance":"If correct, the result is a clean and useful addition to the topological band literature: it converts a bundle-theoretic factorization question into an integer divisibility test and supplies two experimentally oriented readouts, a crossed pump for the mixed Chern class and transition-function tomography for the clutching parity. The main theorem is fully proven in Appendix C, including the converse construction via Bezout windings and the lift through the central mu_d quotient, and the numerical checks converge cleanly. The obstruction is parameter-free and falsifiable, and the finite-shot analysis is explicit about its modeling assumptions. The paper should be of interest to researchers working on multipartite topological responses, subsystem Chern numbers, and quantum simulation of four-dimensional topology.","major_comments":[],"minor_comments":[{"comment":"Table I as rendered appears internally inconsistent: with the listed values of integral f_proj close to 3.84, the entries 0.175 x 10^{-3}, 0.167 x 10^{-6}, and 0.161 x 10^{-13} for integral Xi_AB cannot sum to the stated Chern number 4; presumably the Gauss-Codazzi entries should be 0.175, 0.167, 0.161 and the powers of ten belong to the residual column, but the table should be reformatted to remove the ambiguity.","section":"Table I"},{"comment":"In Eqs. (5) and (28), the quotient is written as 'Z gcd(p,q)' without a subscript; it should be \\mathbb{Z}_{\\gcd(p,q)}.","section":"Eqs. (5) and (28)"},{"comment":"The Data Availability statement says the numerical data and source code are in a GitHub repository but gives no URL or identifier; a permanent link or DOI is needed for reproducibility.","section":"Data Availability"},{"comment":"In Appendix D4, the text should state explicitly at the beginning that n_s is the total number of shots pooled over the four occupied preparations in one Pauli basis, since the first paragraph describes two different implementations of the ensemble and the meaning of n_s is used throughout the shot-count estimates.","section":"Appendix D4"},{"comment":"In the discussion of Eq. (D3), the statement that '-tau_z supplies two occupied and two unoccupied spectator states' could be made explicit by noting that in the kappa_z=-1 block the occupied states are the tau_z=+1 eigenstates, which have energy -1 in the flattened Hamiltonian.","section":"Eq. (D3)"},{"comment":"In Section IV.C, the phrase 'transition-function tomography' is slightly stronger than what the protocol measures; the protocol reconstructs the homotopy class (winding number) of the clutching map, not the pointwise gauge-dependent transition function, and the text should say so to avoid overstating the result.","section":"Section IV.C"}],"recommendation":"minor_revision","confidential_remarks":"The paper is sound and well within the journal's scope. The central theorem is proven with sufficient care, and the numerical and finite-shot analyses are consistent with the claims after the table-formatting issue is corrected. I have no substantive technical concerns beyond the minor presentation items listed in the report."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this paper earns its central claim. Theorem 1 — a rank-pq bundle over S4 admits a global tensor factorization iff C2 is divisible by gcd(p,q) — is proved properly in Appendix C, including the converse and the central-quotient lift. The proof is elementary homotopy theory, but that does not make it trivial: the statement as a physical factorization obstruction, with the parity-of-C2 consequence for 2x2 factorization, is the kind of crisp criterion that people will want to cite.\n\nThe surface material is the more original part. The cokernel of the row/column additive Chern map, the Gauss–Codazzi correction for moving sector lines, and the crossed-pump readout form a coherent package. The eight-level examples are well chosen: they show that mixed Chern numbers can be nonzero while the total and one-label responses vanish, and the numerics converge cleanly. The finite-time pump includes finite-size and disorder checks, and the three-transmon tomography protocol is worked out at the circuit level with honest finite-shot analysis.\n\nSoft spots are mostly cosmetic. The data availability statement points to a GitHub repository without a direct link or commit hash; that is a reproducibility annoyance, not a scientific flaw. The hardware protocol is simulation-only — the authors say so explicitly — so the readout contribution is a proposal, not a measurement. The S4 criterion is short enough that its novelty sits in the physical framing rather than in the mathematics; readers should not expect a deep new theorem. The surface quotient requires a specified line resolution; without that, the surface case does not give a complete obstruction, and the paper could have said a bit more about what is lost in that situation. None of these touch the central argument, which holds up. Citation pattern is clean: the relevant spin-Chern, valley-Chern, and 4D quantum Hall references are cited, and the new claims are distinguished from those earlier constructions.\n\nI agree with the second-pass stress-test: I did not find a load-bearing flaw. The gapped-multiplet assumption is explicit and is verified in the examples with the analytic bound of Eq. (37). If I were refereeing, I would recommend acceptance with minor revisions — mostly the code link and a small amount of expanded discussion.","headline":"A sound and useful criterion for global tensor factorization of gapped bundles, with a solid surface analogue and honest numerics; minor cosmetic issues only.","tokens_in":20808,"tokens_out":3095,"would_cite":true,"duration_ms":28531,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["55R10","57R22"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that a rank-pq occupied bundle over S4 is a tensor product of factors exactly when its second Chern number vanishes modulo gcd(p,q); for 2x2 factorization this means C2 must be even.","keywords":["topological invariants","tensor-product factorization","clutching map","mixed Chern class","crossed Thouless pump","second Chern number","occupied projector tomography","subsystem labels"],"falsifier":"Construct or compile a rank-four occupied bundle over S4 whose transition map g:S3→SU(4) has winding 1 but whose reconstructed equatorial transition matrix is gauge-equivalent to g_A⊗g_B with g_A,g_B in SU(2); the resulting even winding would contradict the claimed odd-C2 obstruction. Equivalently, run the paper's three-transmon tomography on the odd-C2 bundle and look for a winding parity of 0 instead of 1.","tokens_in":19933,"feed_emoji":"🔗","tokens_out":7144,"duration_ms":63146,"temperature":0.7,"pith_summary":"An isolated set of occupied bands can look locally like a product of two independent subsystems without being a global product: the local tensor-product descriptions may fail to glue consistently around the parameter space. The paper develops a general obstruction, the subsystem-gluing quotient, and applies it in two settings. On a closed surface with a specified array of rank-one sectors, the quotient removes all Chern contributions attributable to a single label and leaves mixed Chern classes, measurable through a crossed Thouless pump. On the four-sphere, where only the factor dimensions p and q are specified, the quotient acts on the clutching map of the rank-pq occupied bundle, and the paper proves that global factorization is possible exactly when C2 is divisible by gcd(p,q). For p=q=2, any odd C2 is a fatal obstruction.","feed_headline":"Odd second Chern number forbids 2x2 factorization","feed_subtitle":"A rank-pq occupied bundle splits into tensor factors exactly when C2 is divisible by gcd(p,q); the residue is the obstruction.","key_machinery":"The engine is the subsystem-gluing quotient: independent changes of basis in the two candidate factors map through the tensor-product homomorphism and generate a subgroup of the occupied frame transformations; the obstruction is the cokernel of the induced map on topological data. For a specified line resolution on a closed surface this quotient is coker Φ ≅ $Z^{{(N_A-1)(N_B-1)}}$ on sector Chern tables, with the mixed classes χ_ab = C_ab - C_{a,b+1} - C_{a+1,b} + C_{a+1,b+1}. For a rank-pq bundle over S4, clutching identifies the relevant data with third homotopy, and the tensor-product map is Ψ(m,n)=qm+pn, whose cokernel is Z_{gcd(p,q)}; the residue η_{p,q}=C2 mod gcd(p,q) is the complete obstruction. The auxiliary machinery includes the Wilczek-Zee curvature of the occupied projector, the Gauss-Codazzi term for moving sector lines, and a transition-function reconstruction protocol that extracts the clutching winding from projector tomography.","core_discovery":"The paper's central result is Theorem 1: for p,q>=2, a rank-pq complex vector bundle E over S4 admits a tensor-product decomposition E = E_A ⊗ E_B (with the factors carrying trivial determinant) if and only if C2(E) is divisible by gcd(p,q). Equivalently, eta_{p,q}(E) = C2(E) mod gcd(p,q) is the complete obstruction. The proof goes through clutching: E is classified by an equatorial transition map g:S3→SU(pq) whose winding is C2, while product frames g_A⊗g_B have windings q m + p n, forming the subgroup qZ + pZ = gcd(p,q)Z. Because the reduction from the product subgroup SU(p)xSU(q) to the two factor bundles lifts trivially (the relevant $H^{2}$(S4;Z_d) vanishes), divisibility is not only necessary but sufficient. The smallest nontrivial case is p=q=2, where odd C2 forbids a global 2x2 factorization. On surfaces, with a specified line resolution, the same quotient removes row- and column-additive Chern numbers and leaves the mixed Chern class, realized in Hamiltonians as a crossed pump.","pith_inferences":["The gcd divisibility criterion is not conceptually tied to S4's clutching; the same cokernel argument should yield analogous factorization obstructions once the image of the tensor-product map on the relevant homotopy groups of another base space is known, so one can pose similar questions for rank-pq bundles over other spheres or for higher Chern classes.","The surface mixed Chern class and the S4 residue are two resolutions of one idea, and one could seek a dimensional-reduction or suspension bridge between them, although the paper does not construct such a map.","The crossed-pump protocol makes a sharp quantitative prediction that could be tested in cold-atom or photonic simulators: in an eight-level QWZ-type model with vanishing one-label responses, flux insertion in label A moves exactly χ=4 units of label B.","The transition-function tomography protocol could serve as a practical diagnostic in quantum devices: it would tell whether a candidate qubit 'subsystem' is a genuine global tensor factor or only a local description, as demonstrated on a three-transmon register."],"forward_implications":["A rank-pq gapped multiplet over S4 with C2 not divisible by gcd(p,q) cannot be realized as two independent subsystem bundles, no matter how the local frame is chosen.","For two qubits, the parity of C2 is the factorization obstruction: even C2 may, after suitable framing, factorize, while odd C2 never does.","In label-conserving two-dimensional systems, the mixed Chern number χ is a measurable transport response: inserting a 2π flux in one label transfers χ units of the other label's charge.","The obstruction is read out directly from the occupied spectral projector: reconstructing the equatorial transition matrix and computing its winding modulo d gives the residue η_{p,q}."],"supporting_citations":[{"why":"Supplies the Qi-Wu-Zhang Hamiltonian block from which the eight-level surface example is built.","marker":"[14]"},{"why":"Defines the occupied-space non-Abelian curvature F_P used in the sector-curvature decomposition.","marker":"[15]"},{"why":"Provides the lattice plaquette formula used to compute the sector Chern numbers on the Brillouin-zone grid.","marker":"[16]"},{"why":"Gives the Thouless-pump quantization that the crossed charge-transfer protocol realizes.","marker":"[9]"},{"why":"Supply the homotopy theory of tensor-product bundle reductions that the S4 factorization criterion builds on.","marker":"[10, 11]"},{"why":"Defines the Yang-monopole projector whose rank-two occupied bundle has C2=1 and seeds the odd and factorized reference bundles.","marker":"[18]"},{"why":"Supplies the standard characteristic-class identity c2 mod 2 = w4 used to phrase the p=q=2 parity obstruction.","marker":"[22]"},{"why":"Supplies the null-vector criterion that forbids a both-label-preserving gapped edge in the crossed-pump argument.","marker":"[17]"}],"fun_headline_variants":["Odd second Chern blocks 2x2 split","Tensor factorization iff C2 divisible by gcd(p,q)","Nonfactorizable bundles: C2 mod gcd is the obstruction","2x2 factorization requires even second Chern number","When does a bundle factor? C2 mod gcd(p,q) decides"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole argument assumes the occupied multiplet is an isolated, uniformly gapped bundle over the entire parameter space, so the spectral projector is a smooth vector bundle; without that gap the clutching and Chern-number language does not apply.","fun_headline_variants_meta":{"raw":{"variants":["Odd second Chern blocks 2x2 split","Tensor factorization iff C2 divisible by gcd(p,q)","Nonfactorizable bundles: C2 mod gcd is the obstruction","2x2 factorization requires even second Chern number","When does a bundle factor? C2 mod gcd(p,q) decides"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000267,"raw_usage":{"total_tokens":1643,"prompt_tokens":1000,"completion_tokens":643,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":616,"completion_tokens_details":{"reasoning_tokens":563}},"tokens_in":616,"tokens_out":643,"duration_ms":16972,"temperature":1.0,"reasoning_tokens":563,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T14:49:53.279724+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct or compile a rank-four occupied bundle over S4 whose transition map g:S3→SU(4) has winding 1 but whose reconstructed equatorial transition matrix is gauge-equivalent to g_A⊗g_B with g_A,g_B in SU(2); the resulting even winding would contradict the claimed odd-C2 obstruction. Equivalently, run the paper's three-transmon tomography on the odd-C2 bundle and look for a winding parity of 0 instead of 1.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Qi-Wu-Zhang Hamiltonian block from which the eight-level surface example is built."},{"cited_title":"The covariant derivative is 𝐷A𝑄𝑠 =d𝑄 𝑠+[A,𝑄 𝑠].(A16) Choose a frame adapted locally to𝑄𝑠⊕(𝑃−𝑄 𝑠)","cited_arxiv_id":null,"evidence_quote":"Defines the occupied-space non-Abelian curvature F_P used in the sector-curvature decomposition."},{"cited_title":"Nested Feature Spectrum Topology: Tripartite Topological Equivalence of Feature, Entanglement, and Wilson Loop Spectrum","cited_arxiv_id":"2603.13128","evidence_quote":"Provides the lattice plaquette formula used to compute the sector Chern numbers on the Brillouin-zone grid."},{"cited_title":"Their residues modulo two distinguish the odd bundle from the factorized reference","cited_arxiv_id":null,"evidence_quote":"Gives the Thouless-pump quantization that the crossed charge-transfer protocol realizes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the Yang-monopole projector whose rank-two occupied bundle has C2=1 and seeds the odd and factorized reference bundles."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the null-vector criterion that forbids a both-label-preserving gapped edge in the crossed-pump argument."}],"review_version":2}