{"id":"f879cdc7-e9d1-4880-be7e-ea5fe4393bd5","arxiv_id":"1908.08958","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A finite-dimensional 1d lattice model with a non-onsite symmetry action realizes the anomalous boundary of the 2d quantum spin-Hall insulator, including fractional domain-wall charge and Kramers parity switching under pi-flux.","lead":"This paper constructs a one-dimensional lattice model with finite-dimensional local degrees of freedom that reproduces the edge behavior of a two-dimensional quantum spin-Hall insulator without needing the two-dimensional bulk. The construction uses a symmetry action that is not strictly local to individual sites and demonstrates two hallmark effects: half-integer charge at time-reversal domain walls and a Kramers-parity switch upon threading flux through a ring.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The gauge-coupled spin-1 Hamiltonian's Luttinger-liquid phase is asserted, not directly verified; if wrong, the claimed QSHI edge Hamiltonian fails.","rationale":"I read the paper in good faith and find the core algebraic construction careful and largely convincing: the non-onsite symmetry action is explicit, the domain-wall and flux-threading arguments are concrete, and the anomaly-cocycle computation provides nontrivial supporting data. The exactly solvable bulk+boundary construction for the U(1) x Z2 subgroup is a strong independent check. The weakest point, exactly as the Reader identified, is the phase identification of the explicit Hamiltonian: the claim that the gauge-coupled spin-1 chain is a Luttinger liquid describing the QSHI edge is supported by the known phase of the bare XXZ chain and a plausible bosonization argument, but no direct simulation of the full gauge-coupled model is presented. This matters because the low-energy equivalence to the Dirac edge (1.4), and hence the identification of the symmetry action on the physical edge, depends on being in that phase. If the gauge projection or the odd-N boundary term altered the phase, the paper's strongest claim about realizing the conventional Luttinger-liquid QSHI edge would fail even though the algebraic mimicry might survive. The proposed DMRG test would settle this. Since this is a limitation acknowledged in the paper and the balance of evidence supports the construction, the Reader's CONDITIONAL verdict remains appropriate.","tokens_in":24514,"tokens_out":21768,"duration_ms":201966,"concrete_test":"Run density-matrix renormalization group on the gauge-fixed form of (2.28)-(2.30) on a ring, e.g., L=32,64, for representative Delta in (Delta_c,1), with even and odd total S^z sectors and the twisted boundary hopping (2.29) in the odd sector. Compute the central charge from the entanglement entropy scaling and extract the low-energy spectrum; verify c=1 and the winding sectors obey (2.43) with the symmetry assignments (2.45)-(2.46). A gapless c=1 spectrum with the predicted sector structure would confirm the phase; a gap or different central charge would falsify the Hamiltonian claim.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that the Hamiltonian (2.28)-(2.30) realizes the conventional Luttinger-liquid QSHI edge rests on the numerically known Luttinger-liquid phase of the bare spin-1 XXZ chain (Refs [24-26]) plus the bosonization argument in Section II E that coupling to the Z2 gauge field only imposes winding-sector boundary conditions (2.38)-(2.43). This is a controlled but indirect argument. If the gauge projection (Gauss law (2.24)) or the odd-N boundary term (2.29) were to open a gap, change the central charge, or alter the symmetry implementation at low energies, the paper's low-energy identification with (1.4) would fail. The paper contains no direct numerical or analytic check of the gauge-coupled model itself. The Section III bulk+boundary construction, which is exactly solvable, covers only the U(1) x Z2 subgroup and not time-reversal, so it does not independently anchor the T part of the claim. This does not invalidate the algebraic non-onsite construction (domain-wall charge, Kramers switching, anomaly cocycle), but it leaves the Hamiltonian realization claim conditional.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript constructs an explicit one-dimensional lattice model with a finite-dimensional local tensor product Hilbert space and a non-onsite symmetry action that mimics the boundary of the two-dimensional quantum spin-Hall insulator with U(1) particle number and time-reversal T satisfying T^2 = (-1)^F. The symmetry action is defined on a chain of fermions with Ising link spins, and the paper demonstrates that the model reproduces the fractional charge n+1/2 on T-domain walls and the switching of Kramers parity upon pi-flux threading. A Jordan-Wigner transformation maps the model to a bosonic Z2 gauge theory, in which a spin-1 Hamiltonian coupled to the gauge field is proposed as a realization of the Luttinger-liquid edge. The paper also extracts the algebraic anomaly data (sigma, w3) characterizing the non-onsite symmetry and presents an exactly solvable bulk+boundary construction for the U(1) x Z2 subgroup that matches the bosonized model.","tokens_in":24613,"tokens_out":23579,"duration_ms":213029,"significance":"If the low-energy identification of the proposed Hamiltonian is correct, the paper resolves an open question: the edge of a continuous-symmetry supercohomology SPT can be mimicked in a finite-dimensional lattice Hilbert space by relaxing the onsite condition on the symmetry action. The explicit construction of the non-onsite symmetry, the derivation of the domain-wall charge and Kramers parity switching from the operator algebra, and the extraction of the anomaly cocycle are valuable and internally consistent. The bulk+boundary construction for the U(1) x Z2 subgroup provides an independent check of part of the model. The Hamiltonian claim is an important step, but it rests on an indirect bosonization argument and would benefit from direct numerical verification.","major_comments":[{"comment":"The assertion that the gauge-coupled spin-1 Hamiltonian (2.28)-(2.30) realizes the conventional Luttinger-liquid phase of the QSHI edge is supported only by an indirect argument: the bare spin-1 XXZ chain is known to be a Luttinger liquid for Delta_c < Delta < |J| (Refs. [24-26]), and Section II E argues that the Z2 gauge field only modifies the boundary conditions, yielding the winding sectors (2.38)-(2.43). The manuscript does not provide a direct check of the gauge-coupled model itself, for instance a numerical computation of the central charge or Luttinger parameter, nor does it explicitly analyze the effect of the Gauss-law projection (2.24) and the odd-N boundary term (2.29) on the low-energy theory. If the gauge coupling, the projection, or the boundary term were to open a gap or change the central charge, the identification with the edge theory (1.4) would fail. Since the abstract states that the Hamiltonian realizes the Luttinger-liquid phase, this is a load-bearing point that requires either a numerical verification or a more rigorous derivation.","section":"Section II E, Eqs. (2.28)-(2.30)"}],"minor_comments":[{"comment":"The operator U is defined as a product of Majorana operators over the chain, which is a long string in the occupation-number basis; the paper should clarify in what sense this is a finite-depth local unitary for fermionic systems, for example by providing a definition of finite-depth fermionic unitaries or a reference, since the locality-preserving property (2.5) alone does not establish finite-depth implementation.","section":"Section II A, Eq. (2.3)"},{"comment":"The paper computes the anomaly cocycle for the enlarged group Gb = Z2 x O(2) but does not explicitly discuss how the data (lambda, sigma, w3) restricts to the physical QSHI symmetry subgroup generated by U(1) and T = U TNK; showing this restriction would confirm that the extracted anomaly matches the expected QSHI anomaly.","section":"Section II F, Eq. (2.61)"},{"comment":"As the paper openly acknowledges at the end of Section I and in Section III F, the bulk+boundary construction covers only the U(1) x Z2 subgroup and not time-reversal; the authors should state more prominently that the T-dependent signatures (fractional charge on T-domain walls and Kramers parity switching) are supported only by the Section II algebraic construction, not by the bulk derivation.","section":"Section III F"},{"comment":"The identification tau^z_{j,j+1} ~ cos(tilde_theta/2) is stated without derivation; a brief justification of the operator's scaling dimension and its irrelevance would strengthen the argument that the gauge field does not destabilize the Luttinger liquid.","section":"Section II E, Eq. (2.40)"},{"comment":"There are minor typographical issues, for example the missing closing ket in 'tau^z_{L,1}|psi(phi + 2pi>' and the notation 'N - odd' in Eq. (2.29) without a comma; these should be corrected in the final version.","section":"Section II C"}],"recommendation":"major_revision","confidential_remarks":"The algebraic construction of the non-onsite symmetry and the anomaly extraction are careful and likely correct, and the paper addresses an important open question. The main uncertainty is the low-energy phase of the proposed gauge-coupled Hamiltonian, which is argued only indirectly. I recommend major revision, encouraging the authors to add a numerical check of the gauge-coupled model (for example DMRG on small rings) or to qualify the Hamiltonian claim accordingly. The scope fits the journal well, and there are no citation concerns."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper is genuinely useful. It answers a specific open question: whether a 1d boundary with finite site dimension can mimic the edge of the quantum spin-Hall insulator with continuous U(1) and time-reversal. Metlitski constructs an explicit non-onsite symmetry action on the full unconstrained Hilbert space, not just after imposing a constraint, and shows that domain-wall charge, Kramers parity switching under pi-flux, and the anomaly cocycle all follow from the operator algebra. Appendix D gives a clean general construction for finite supercohomology groups, and Section III's exactly solvable bulk+boundary model for the U(1)xZ2 subgroup independently backs up the bosonized language. The paper does not fake a derivation; its limitations are stated plainly. Where it is soft: the claim that the Hamiltonian (2.28)-(2.30) realizes the conventional Luttinger-liquid edge is conditional. It leans on the known phase diagram of the bare spin-1 XXZ chain plus a bosonization argument that coupling to the Z2 gauge field only alters winding-sector boundary conditions. There is no direct numerical or analytic check of the gauge-coupled model, and the odd-N boundary term (2.29) is part of this assumption. If the gauge projection opened a gap or changed the low-energy symmetry action, the Hamiltonian-realization claim would fail. The algebraic non-onsite construction would still stand, but the identification with the QSHI edge described by (1.4) would not. Also, Section III covers only the U(1)xZ2 subgroup, not time-reversal, so the time-reversal part of the physical claim lacks an independent bulk derivation. These are honest limitations, not hidden ones. The math looks internally consistent; the anomaly-cocycle extraction and Appendix D check out at the level I can verify. The citation pattern is reasonable, and the differences from concurrent work in Ref. 22 are stated fairly. This paper deserves a serious referee. The right outcome is probably a revise, with the phase identification either backed by a controlled check or explicitly separated from the algebraic construction results. I would take it.","headline":"A clean finite-dimensional 1d boundary construction for the QSHI edge, with the algebraic claims solid and the Hamiltonian phase identification honestly conditional.","tokens_in":596,"tokens_out":1002,"would_cite":true,"duration_ms":28000,"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":"The paper claims that a 1d lattice model with finite-dimensional local sites and a non-onsite action of U(1) and time-reversal symmetry can mimic the anomalous edge of the 2d quantum spin-Hall insulator, including fractional T-domain-wall…","keywords":["quantum spin-Hall insulator","symmetry-protected topological phase","non-onsite symmetry","edge anomaly","Luttinger liquid","Jordan-Wigner transformation","Z2 gauge theory","Kramers parity"],"falsifier":"A direct numerical solution of the full gauge-coupled spin-1 Hamiltonian (2.28)-(2.30) on a ring: if its low-energy spectrum does not have a single gapless mode with the predicted winding-sector quantization (2.43), or if the charge on a pair of symmetry-related $T$-domain walls is not an odd integer, then the lattice simulation of the edge fails.","tokens_in":1778,"feed_emoji":"🧲","tokens_out":2913,"duration_ms":85920,"temperature":0.7,"pith_summary":"This paper tries to settle whether the anomalous 1d boundary of a quantum spin-Hall insulator can be recreated as a standalone quantum lattice without the 2d bulk. It claims yes, at the price of making the symmetry action non-onsite: the finite site Hilbert space still factors locally, but the symmetry operators act through finite-depth circuits rather than site-by-site. The construction reproduces the edge's signature properties—half-integer charge bound to time-reversal domain walls and the switch of Kramers parity when pi flux is threaded—and comes with a 1d Hamiltonian argued to flow to the standard Luttinger-liquid phase of the edge. If correct, it shows that at least some continuous-symmetry supercohomology SPT boundaries can be simulated by finite-dimensional local models.","feed_headline":"Finite 1d lattice mimics the spin-Hall edge without the bulk","feed_subtitle":"The edge's fractional charges and Kramers switch survive in a finite lattice model with a global symmetry action.","key_machinery":"The load-bearing object is the non-onsite symmetry action: fermion operators $c_i$ on each site plus Ising link variables $\\tau^z_{i,i+1}$, with $U$ built from products of $\\tau^x$ links, powers of Majorana operators, and $(-i)^{N_{dw}/2}$, and $T_{NK}$ from occupation-dependent signs times complex conjugation. After a Jordan-Wigner transformation and a unitary rotation, this becomes a bosonic $\\mathbb{Z}_2$ gauge theory: spin-1 site variables $S^z_i = 2\\tilde{n}_i$, link electric field $\\tau^z_{i,i+1}$, Gauss law $(-1)^{S^z_i} = \\tau^z_{i-1,i}\\tau^z_{i,i+1}$, and symmetry $U = e^{i\\pi S^z/4}\\prod_i \\tau^x_{i,i+1}$ with a parity-sector phase. The same bosonized form emerges independently from the exactly solvable bulk-plus-boundary construction, so the model is not purely ad hoc.","core_discovery":"The central claim is that the QSHI edge's anomaly does not force an infinite-dimensional or constrained Hilbert space; a chain with one complex fermion per site plus one Ising spin per link suffices. Symmetry generators $U$ and $T_{NK}$ are written so they satisfy the group law exactly on the whole Hilbert space while acting non-onsitely, and their finite-depth nature is what carries the anomaly. The paper derives the fractional charge $n+1/2$ on $T$-domain walls, the Kramers parity flip $T^2 = -(-1)^F$ at $\\phi=\\pi$, and the anomaly cocycle data $(\\sigma,w_3)$, then presents a Hamiltonian whose ground state is argued to realize the QSHI edge Luttinger liquid.","pith_inferences":["Beyond the paper, the construction suggests a route to finite-dimensional boundary models for other supercohomology phases with continuous symmetry groups, since the obstacle there was truncating group-element-labeled Hilbert spaces and the paper's non-onsite action avoids that.","One testable extension is to compute the Luttinger parameter $K$ and central charge of the full gauge-coupled Hamiltonian (2.28)-(2.30) from finite-size spectra; the claim that it is the QSHI edge Luttinger liquid predicts a single gapless mode with winding quantization (2.43).","A second extension is to probe whether the boundary model reproduces the expected anomaly under more general background U(1) gauge fields, beyond the flux-threading thought experiments the paper analyzes, by looking for the same algebraic anomaly data in other boundary observables."],"forward_implications":["A standalone 1d system with finite local dimension can carry the QSHI edge anomaly, so the edge need not be realized only as the boundary of a 2d bulk.","The half-integer charge on $T$-domain walls and the Kramers parity switch at $\\pi$ flux are reproduced by the lattice model, not just by the continuum edge theory.","The bosonized form yields a symmetric 1d Hamiltonian (a spin-1 XX chain coupled to a $\\mathbb{Z}_2$ gauge field) argued to lie in the Luttinger-liquid phase with the correct winding-sector quantization.","The anomaly cocycle extraction gives algebraic data $\\sigma, w_3$ matching the bulk SPT data, connecting the lattice construction to the general non-onsite-symmetry framework.","For the simpler $U(1) \\times \\mathbb{Z}_2$ bulk, the paper derives the same boundary model from an exactly solvable commuting-projector bulk, linking the effective edge model to a microscopic bulk."],"supporting_citations":[{"why":"Places the QSHI phase in the (generalized) supercohomology classification, the premise that the edge can be mimicked by relaxing the onsite-symmetry assumption.","marker":"[21]"},{"why":"Supplies the procedure used to extract the anomaly cocycle $(\\sigma,w_3)$ from a finite-depth non-onsite symmetry, linking the lattice model to bulk SPT data.","marker":"[7]"},{"why":"Provide the numerical evidence that the bare spin-1 XXZ chain is a Luttinger liquid for $\\Delta_c < \\Delta < |J|$, the input for the claim that the gauge-coupled Hamiltonian realizes the edge Luttinger liquid.","marker":"[24-26]"},{"why":"Supplies the exactly solvable commuting-projector bulk model whose two copies build the bulk-plus-boundary construction.","marker":"[27]"},{"why":"Provides the constrained-edge framework and plaquette-operator techniques used in section III to derive the bosonized boundary Hilbert space.","marker":"[14]"},{"why":"Inspires the explicit non-onsite form of the $\\mathbb{Z}_2$ symmetry $U$ and motivates the question whether a symmetric finite-depth unitary exists for the QSHI.","marker":"[23]"}],"fun_headline_variants":["1D lattice mimics QSHI edge with finite Hilbert space","Edge mimic: fractional charge and Kramers parity from 1D chain","Non-onsite symmetry gives spin-Hall edge in 1D model","Finite chain reproduces QSHI edge Luttinger liquid"],"cache_read_input_tokens":27392,"weakest_assumption_plain":"The construction's low-energy story rests on the assumption that the proposed gauge-coupled 1d Hamiltonians genuinely realize the gapless Luttinger-liquid phase of the QSHI edge; this is supported by known numerics for the gauge-free spin-1 chain and by a bosonization argument for how the $\\mathbb{Z}_2$ gauge field changes boundary conditions, but the full gauge-coupled model is not solved directly.","fun_headline_variants_meta":{"raw":{"variants":["1D lattice mimics QSHI edge with finite Hilbert space","Edge mimic: fractional charge and Kramers parity from 1D chain","Non-onsite symmetry gives spin-Hall edge in 1D model","Finite chain reproduces QSHI edge Luttinger liquid"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000699,"raw_usage":{"total_tokens":3096,"prompt_tokens":821,"completion_tokens":2275,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":437,"completion_tokens_details":{"reasoning_tokens":2198}},"tokens_in":437,"tokens_out":2275,"duration_ms":16072,"temperature":1.0,"reasoning_tokens":2198,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:26:24.611188+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct numerical solution of the full gauge-coupled spin-1 Hamiltonian (2.28)-(2.30) on a ring: if its low-energy spectrum does not have a single gapless mode with the predicted winding-sector quantization (2.43), or if the charge on a pair of symmetry-related $T$-domain walls is not an odd integer, then the lattice simulation of the edge fails.","supporting_citations":[{"cited_title":"gauge transformations","cited_arxiv_id":null,"evidence_quote":"Supplies the procedure used to extract the anomaly cocycle $(\\sigma,w_3)$ from a finite-depth non-onsite symmetry, linking the lattice model to bulk SPT data."}],"review_version":1}