{"id":"089e4e35-4f06-4220-9c02-f5be9e1f2d7f","arxiv_id":"2608.11609","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A zero-mode construction realizes arbitrary static O(N) lattice gauge fields exactly in artificial tight-binding systems with only positive couplings, demonstrated in acoustic crystals.","lead":"This paper shows a way to build artificial crystals that exactly reproduce any static O(N) gauge field, using only positive couplings and symmetry-protected zero modes. It demonstrates the idea in three acoustic experiments, including a non-Abelian SO(3) topological insulator.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the deferred exact-decoupling step has an explicit positive-coupling construction, so the central claim holds internally.","rationale":"The central construction is an existence argument: given any real N x N effective hopping matrix, choose positive couplings so that the zero-mode sector is exactly the target Hamiltonian and off-block matrix elements vanish. The reader identified the decoupling step as the fragile premise. Reconstructing that step shows it is not fragile: the needed Delta is obtained one matrix element at a time using parallel couplings for positive entries and crossing couplings for negative entries. Each 2x2 block commutes with the swap of the two B-sites in the three-site unit; because w is odd and b is even under that swap, the block cannot mix them. Hence the condition <±lambda_i|Delta|psi_j>=<±lambda_i|Delta^T|psi_j>=0 holds for all i,j, and Eq. (8) reproduces A exactly. This is a parameter-free construction with no hidden negative entries. I therefore find no internal contradiction in the central claim. The verdict stays CONDITIONAL rather than ACCEPT only because the proof is relegated to an unavailable SM section and the experimental panels lack error bars/data-availability statements; those are completeness issues, not identified correctness failures. Agreement with the reader is partial: the right step was flagged, but the concern does not land once the explicit construction is written down.","tokens_in":8927,"tokens_out":34422,"duration_ms":401163,"concrete_test":"Obtain SM Sec. I and verify the lemma; as an independent check, set N=2 with target A = [[0.6,0.8],[-0.8,0.6]], build the inter-atom B-B matrix Delta by the per-pair parallel/crossing rule above, form the projector P_Z onto the four zero modes of the two atoms, and numerically confirm that P_N Delta P_Z and P_Z Delta P_N vanish to machine precision while P_Z Delta P_Z equals A in the zero-mode basis. If any orthogonal target matrix fails this check, the central claim would be refuted.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No significant objection identified. The most load-bearing statement is the exact-decoupling claim after Eq. (6). It is deferred to SM Sec. I and the main text checks only N=1, but an explicit construction shows the claim is internally consistent. For each inter-unit pair (j,k), take the physical 2x2 coupling block between the two B-sites of unit j in atom 1 and the two B-sites of unit k in atom 2 to be [[a,0],[0,a]] if the target effective matrix element A_jk>=0, and [[0,-a],[-a,0]] if A_jk<0, with a=|A_jk|. Each such block is symmetric under swapping the two B-sites, so it maps the local zero-mode vector w=(1,-1)/sqrt(2) to a scalar multiple of itself and the local nonzero-mode B-vector b=(1,1)/sqrt(2) to a scalar multiple of itself. Orthogonality of w and b then forces <b|M|w>=<w|M|b>=0 for every unit pair, while Eq. (8) gives [Delta_eff]_{jk}=A_jk exactly. Assembling blocks over all (j,k) realizes any real N x N effective matrix with non-negative microscopic couplings and with the zero-mode manifold exactly invariant. The only genuine issue is archival: the proof is not in the main text and the SM is not supplied here.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This manuscript introduces a general scheme for realizing arbitrary static O(N) lattice gauge configurations using symmetry-protected zero modes of bipartite units with imbalanced sublattices. The target link matrix on each bond is encoded in the connectivity and strengths of positive microscopic couplings between artificial atoms, and the paper claims that the projected Hamiltonian in the zero-mode sector is an exact spectral block of the microscopic Hamiltonian rather than a perturbative approximation. The scheme is illustrated with three acoustic experiments: a Z2 quadrupole topological insulator, an SO(2) Hofstadter model, and an SO(3) non-Abelian topological insulator. The derivation of the effective hopping formula in Eq. (8) is clean, and the mapping from target data to microscopic couplings has no fitted parameters.","tokens_in":9168,"tokens_out":15056,"duration_ms":165876,"significance":"If the exact-block construction holds, this is a valuable and general route to gauge-field physics in artificial platforms, covering discrete Abelian, continuous Abelian, and non-Abelian links with only positive couplings. The experimental demonstrations provide external validation, and the framework is applicable to photonic, mechanical, circuit, and cold-atom systems. The main technical contribution, the parameter-free construction of arbitrary real effective hopping matrices, is significant, though its proof is not fully contained in the main text.","major_comments":[{"comment":"The exactness claim that 'the couplings can also be chosen to eliminate matrix elements between the zero-mode manifold and its complement' is load-bearing, because it converts the construction from a perturbative projection into an exact spectral block. The proof is deferred to SM Sec. I, but the SM is not included in the arXiv submission. Please make the decoupling construction available, and ideally sketch it in the main text, since without it the central exactness assertion cannot be verified from the submitted manuscript.","section":"General framework, paragraph after Eq. (6)"},{"comment":"The statement that 'any real effective hopping matrix is accessible' is asserted as a mathematical fact but not proved in the main text. Although an explicit per-element construction (parallel couplings for non-negative entries and crossing couplings for negative entries, each with strength |A_jk|) is straightforward and also satisfies the decoupling conditions, the manuscript should include it or cite its location, because this surjectivity is the basis for the claim that arbitrary O(N) configurations can be realized.","section":"General framework, paragraph after Eq. (8)"}],"minor_comments":[{"comment":"The value J=-10 appears to conflict with the stated requirement of positive microscopic couplings; the explanation in footnote [35] is adequate but should be moved into the main text or the figure caption, since it is essential for interpreting the constructed model.","section":"SO(3) non-Abelian gauge field, paragraph with J=-10"},{"comment":"Please clarify whether the displayed matrix e^{im alpha sigma2} denotes the hopping block from site m to m+1 or from m+1 to m; Hermiticity requires the opposite block to be its transpose, and the current wording is ambiguous.","section":"SO(2) Hofstadter model, paragraph with Eq. 'te^{im alpha sigma2}'"},{"comment":"It would improve readability to define 'parallel' and 'crossing' couplings explicitly in terms of the indices a,b,a+1,b+1 before stating Eq. (8), since these terms carry the sign mechanism of the construction.","section":"General framework, Eq. (8)"},{"comment":"The manuscript refers to SM Sec. IX and Sec. X for the 2D SO(3) model and acoustic structural details, but the SM is not provided in the arXiv submission; this limits verification of the experimental implementation.","section":"Supplemental Material reference [30]"}],"recommendation":"major_revision","confidential_remarks":"The central construction appears sound: the per-pair parallel/crossing assignment realizes arbitrary real effective hoppings and preserves the zero-mode manifold exactly, so the missing decoupling proof is likely straightforward to supply. My main concern is archival completeness, because the exact-block claim is deferred to a Supplemental Material that is not included. If the SM is part of the journal submission, the revision should make it available and ideally summarize the construction in the main text. The sign-convention footnote for J=-10 is satisfactory but should be more visible."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper delivers a general, non-perturbative construction for encoding arbitrary static O(N) gauge links into the zero-mode sector of a bipartite tight-binding model using only positive couplings. That is a real advance over the discrete-group enlarged-lattice approaches in Refs. [15,16], which do not spectrally isolate the gauge sector. The continuous SO(2) and non-Abelian SO(3) acoustic demonstrations go beyond what those constructions were designed to do. I think the central claim is correct: the zero-mode manifold can be made exactly invariant, and the effective hopping matrix can be programmed bond by bond. The stress-test note reconstructs the explicit decoupling block and it works, so the deferred proof in the SM is very likely fine. The minimal three-site example and Eq. (8) make the mechanism transparent, and the three experimental systems give credible proof of principle. Credit where due: the idea of using Lieb's zero modes as sign-changing pseudo-spins to generate negative effective hoppings from positive physical couplings is clean and potentially quite useful. The paper is also honest about sign conventions, including the J=-10 point in the SO(3) section, which is a real but minor wrinkle. Soft spots are mostly archival and quantitative. The exact-decoupling proof is stated in the main text and left to the SM; that is acceptable for a letter but should be verified in any referee process. The experimental data have no error bars, no statistical analysis, and no data availability statement; for a PRL-style letter that is often tolerated, but the edge-state dispersions in Fig. 3(i) are shown as color maps without quantified comparison. On the theory side, the exactness claim is for a tight-binding model, not for the actual acoustic continuum, so the 'exact spectral block' statement is always approximate in the experimental realizations; the authors do not overclaim this, but the abstract's wording could mislead a casual reader. Also, the claim that 'any real effective hopping matrix is accessible' is justified by the parallel/crossing construction, which I agree with, but the detailed proof of the simultaneous decoupling condition for arbitrary N is exactly the part deferred to the SM. I have no serious objection to the physics or the honesty of the presentation. Citation pattern looks fine. The paper deserves a serious referee. It would be a good reading-group paper for people working in artificial gauge fields or topological wave simulation; I would cite it if I needed a clean general construction for exact gauge-sector isolation. My recommendation: send to peer review, ask for the SM decoupling proof and experimental uncertainty estimates before acceptance.","headline":"A genuinely general zero-mode recipe for exact O(N) gauge-field realization with only positive couplings; the main mathematical step is deferred to the SM but appears to hold.","tokens_in":9712,"tokens_out":734,"would_cite":true,"duration_ms":10588,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper claims that any static O(N) lattice gauge configuration can be realized as an exact spectral block of a positive-coupling tight-binding model, using symmetry-protected zero modes of sublattice-imbalanced bipartite units, and…","keywords":["gauge fields","symmetry-protected zero modes","Lieb's theorem","positive couplings","artificial atoms","acoustic topological insulators","Hofstadter model","non-Abelian gauge fields"],"falsifier":"Take an N=2 or N=3 artificial atom and a prescribed real effective hopping matrix, then solve the coupled conditions of Eq. (6) and the decoupling equations for positive coupling strengths; a single target matrix with no positive solution, or an acoustic sample whose low-energy spectrum shows the zero-mode block mixing with higher modes as the intra-unit coupling is lowered, would falsify the exactness claim.","tokens_in":8729,"feed_emoji":"🔊","tokens_out":6499,"duration_ms":70756,"temperature":0.7,"pith_summary":"This paper sets out to show that any static O(N) lattice gauge configuration—where each bond carries an orthogonal matrix, possibly continuous and non-Abelian—can be realized exactly in a simple tight-binding model whose couplings are all positive. The engine is a bipartite unit with unequal sublattice populations, whose chiral symmetry forces zero-energy modes; those modes have alternating-sign components, so positive microscopic hoppings produce effective hoppings of either sign between units. The authors further claim that the zero-mode manifold can be decoupled from all other modes, making the target gauge Hamiltonian an exact spectral block separated by a gap, rather than an approximation. They verify the idea in acoustic crystals in three regimes: a Z2 quadrupole topological insulator, an SO(2) Hofstadter model, and a non-Abelian SO(3) topological insulator. A sympathetic reader cares because this would turn prescribed gauge-field models into design rules for real experiments using only positive, short-range couplings.","feed_headline":"Zero modes turn positive couplings into any O(N) gauge field","feed_subtitle":"Three acoustic experiments show the same construction handles Z2, SO(2), and non-Abelian SO(3) links.","key_machinery":"The load-bearing object is the sublattice-imbalanced bipartite unit, a finite tight-binding model with more B-sites than A-sites, whose chiral symmetry forces M_B − M_A zero modes by Lieb's theorem; the minimal unit is three sites (A-B-B) with one zero mode (0, 1, −1)/√2. The sign pattern of this zero mode converts positive microscopic couplings into negative effective hoppings: connecting two units in parallel gives +t and crossing gives −t, and for N units the effective matrix entry is [Δ_eff]_jk = 1/2(Δ_{a,b} + Δ_{a+1,b+1} − Δ_{a,b+1} − Δ_{a+1,b}), so parallel and crossing hoppings compete to produce any real number. The construction's exactness comes from the decoupling condition that inter-atom couplings eliminate all matrix elements between the zero-mode manifold and its complement, making the projected Hamiltonian an exact spectral block.","core_discovery":"The central claim is that one can prescribe any static O(N) gauge configuration on a lattice—each bond carrying an arbitrary N-by-N orthogonal matrix—and realize it exactly in a microscopic model whose only couplings are positive real numbers and short range. The construction replaces every site of the target lattice by an 'artificial atom' made of identical bipartite units whose sublattice imbalance gives one symmetry-protected zero mode per unit. Zero modes live only on B-sites and have sign-changing components, so parallel and crossing inter-atom connections contribute opposite signs to effective hoppings; by choosing coupling strengths, every entry of the effective hopping matrix can be set independently to any real value. The key additional step is choosing inter-atom couplings so that the zero-mode manifold has zero matrix elements with all nonzero modes; the effective target Hamiltonian is then an exact invariant block, not a low-energy approximation. The authors validate this claim numerically and acoustically for Z2, continuously tunable SO(2), and non-Abelian SO(3) link models.","pith_inferences":["If the decoupling existence proof holds for all N, the scheme is effectively a universal compiler for classical static O(N) gauge theories on any lattice: any bond configuration becomes a set of coupling strengths, which suggests practical reconfigurable simulators in which flux angles are tuned continuously in situ.","The same sign-changing zero-mode mechanism might be exploited for effective complex couplings via pairs of real channels, potentially pushing the positive-coupling construction from O(N) to unitary subgroups beyond O(N); the paper does not claim this.","Because the zero modes are protected by sublattice symmetry rather than fine-tuning, disorder that preserves the bipartite structure may leave the exactness intact; testing robustness of the decoupling to disorder would be a natural follow-up."],"forward_implications":["Any compact gauge group can be covered, since every compact Lie group embeds as a subgroup of O(N) for large enough N; the same positive-coupling construction then realizes its static gauge configurations.","Continuously parameterizable links become possible: for SO(2), changing coupling strengths varies the flux continuously, so the Hofstadter butterfly can be traced as a function of flux without breaking reciprocity or using complex hoppings.","Because the target gauge sector is exactly decoupled and gapped, topological invariants and boundary modes of the target model—corner states, chiral edge states, non-Abelian charges—are reproduced in the microscopic spectrum rather than only in a perturbation limit.","The construction uses only positive short-range couplings, so it transfers directly to other artificial-crystal platforms beyond acoustics, including photonic crystals, mechanical lattices, electric circuits, and cold atoms, and to higher orbital numbers and three dimensions."],"supporting_citations":[{"why":"Supplies Lieb's theorem that sublattice imbalance forces symmetry-protected zero modes, the basis of the artificial-atom construction.","marker":"[27]"},{"why":"Supplemental Material containing the proof that couplings can be chosen to eliminate matrix elements between the zero-mode manifold and nonzero modes, the load-bearing exactness step.","marker":"[30]"},{"why":"Provides the quadrupole topological insulator target model whose Z2 gauge configuration the first experiment reproduces.","marker":"[31]"},{"why":"Defines the Hofstadter model whose SO(2) version is the target for the butterfly and edge-state measurements.","marker":"[34]"},{"why":"Earlier construction of arbitrary gauge fields in synthetic crystals with real hoppings; the contrast establishes that the present scheme gives spectrally isolated exact gauge sectors.","marker":"[15]"},{"why":"Prior Cayley-Schreier lattice encoding of gauge links for discrete groups; the paper distinguishes its continuous, bond-by-bond O(N) links from this approach.","marker":"[16]"},{"why":"Prior phononic realization of Z2 gauge physics via effective negative couplings; the baseline showing why an all-positive-coupling construction matters.","marker":"[9]"}],"fun_headline_variants":["Zero modes encode any O(N) gauge field exactly in positive couplings","Exact gauge fields from symmetry-protected zero modes in acoustic lattices","Zero modes make any O(N) gauge field an exact block of a simple model","Non-perturbative route to arbitrary O(N) gauge fields via zero modes","Acoustic proof: zero modes realize Z2, SO(2), and SO(3) gauge fields"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction requires that, for any prescribed real N-by-N effective hopping matrix, one can choose non-negative inter-atom couplings that both produce that matrix on the zero-mode manifold and exactly cancel every matrix element linking zero modes to nonzero modes; the general proof of that cancellation is deferred to the Supplemental Material, and the main text only works out the existence for the minimal three-site, N=1 case.","fun_headline_variants_meta":{"raw":{"variants":["Zero modes encode any O(N) gauge field exactly in positive couplings","Exact gauge fields from symmetry-protected zero modes in acoustic lattices","Zero modes make any O(N) gauge field an exact block of a simple model","Non-perturbative route to arbitrary O(N) gauge fields via zero modes","Acoustic proof: zero modes realize Z2, SO(2), and SO(3) gauge fields"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000628,"raw_usage":{"total_tokens":2885,"prompt_tokens":910,"completion_tokens":1975,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":526,"completion_tokens_details":{"reasoning_tokens":1869}},"tokens_in":526,"tokens_out":1975,"duration_ms":12138,"temperature":1.0,"reasoning_tokens":1869,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T00:35:03.731615+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take an N=2 or N=3 artificial atom and a prescribed real effective hopping matrix, then solve the coupled conditions of Eq. (6) and the decoupling equations for positive coupling strengths; a single target matrix with no positive solution, or an acoustic sample whose low-energy spectrum shows the zero-mode block mixing with higher modes as the intra-unit coupling is lowered, would falsify the exactness claim.","supporting_citations":[{"cited_title":"Translation Groups for arbitrary Gauge Fields in Synthetic Crystals with real hopping amplitudes","cited_arxiv_id":"2508.08461","evidence_quote":"Earlier construction of arbitrary gauge fields in synthetic crystals with real hoppings; the contrast establishes that the present scheme gives spectrally isolated exact gauge sectors."},{"cited_title":"Guba, R.-J","cited_arxiv_id":null,"evidence_quote":"Prior Cayley-Schreier lattice encoding of gauge links for discrete groups; the paper distinguishes its continuous, bond-by-bond O(N) links from this approach."}],"review_version":1}