{"id":"7953ab93-fe26-43e5-9dd7-2bef855e451b","arxiv_id":"2412.06377","paper_version":4,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"An Ising chain with a Kramers-Wannier-plus-reflection interface has an exact Z4 symmetry whose Majorana formulation hosts robust strong zero modes.","lead":"The paper builds a one-dimensional Ising magnet with an interface that is symmetric under a combined Kramers-Wannier duality and spatial reflection, producing a Z4 symmetry in the open chain. It then proves this symmetry forces exact Majorana zero modes and an exact twofold degeneracy of every energy level, robust to local symmetry-preserving interactions.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the central Z4 symmetry and exact Majorana zero-mode claims are internally consistent, and the locality argument for robustness can be made rigorous.","rationale":"The strongest claim survives scrutiny. The derivation of S^2 = Q is explicit, the xi± basis decoupling is consistent, and the exact zero modes are constructed both directly and via the BdG equations. The reader's weakest assumption is the same locality argument in Sec. 4.1.3 that I examined. I agree that this is the softest point, but I do not consider it load-bearing because the support argument closes the gap: a finite-range S-invariant term containing eta1 would have to be invariant under the map I -> {1} ∪ mirror(I), which is impossible for bounded intervals. Thus the exact twofold degeneracy is robust to local S-invariant perturbations. The only genuine deficiency I found is that the abstract promises quantum circuit realizations that are not developed in the main text or appendices; this is a presentation issue and does not undermine the central physics claim.","tokens_in":24685,"tokens_out":22572,"duration_ms":251794,"concrete_test":"Verify by exact diagonalization for N = 6 and N = 8: build H from Eq. (15), add a local Z4-invariant interaction such as V = eta2 eta3 eta4 eta5 + eta_{e5} eta_{e4} eta_{e3} eta_{e2}, and confirm that [H + V, eta1] = 0 and that every eigenvalue has multiplicity at least 2. If any eigenstate is non-degenerate or eta1 fails to commute, the robustness claim would be refuted.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I read the central claim as: S = R U_KW generates a Z4 symmetry of Eq. (1); in the open Majorana chain the edge mode eta1 is an exact strong zero mode; locality plus S-invariance exclude any local perturbation containing eta1, so the exact twofold degeneracy is robust. I checked S^2 = Q, the xi± decomposition, and the construction of the partner zero mode eta; all are consistent. The only soft spot is Sec. 4.1.3: the claim that no local S-invariant perturbation contains eta1 is argued by a support/nonlocality statement rather than proven. This is not a real defect. If a Majorana monomial A has connected support I containing eta1, then S A S^-1 also contains eta1 and has support {1} ∪ mirror(I), which for |I| < N/2 is disconnected and cannot equal I; hence no finite-range S-invariant term can contain eta1. The argument is therefore rigorous in substance. A separate manuscript-level issue: the abstract promises quantum circuit realizations, but the text contains no such construction; this does not affect the central zero-mode claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a transverse-field Ising chain with an interface between Kramers-Wannier dual phases, and shows that the combined Kramers-Wannier and spatial reflection operator S generates a Z4 symmetry in the open chain (S^2 = Ising parity Q). In the closed chain, the symmetry becomes non-invertible. After a Jordan-Wigner transformation, the model becomes a quadratic Majorana chain in which S acts as a parity-dependent reflection about a Majorana site; a change of basis to ξ± modes decouples the chain into two commuting subsystems. For the open chain, the authors construct exact Majorana strong zero modes in the J>h and J<h regimes and argue that they are robust under local S-preserving interactions; for the closed chain, they construct approximate strong zero modes localized at the two interfaces. The paper closes with a discussion of possible SPT order and a list of future directions.","tokens_in":24888,"tokens_out":11978,"duration_ms":112238,"significance":"The paper establishes a new exactly solvable model exhibiting a Z4 self-duality symmetry (self-quadrality) that is not a conventional unitary symmetry, and it provides explicit Majorana strong zero modes whose associated degeneracy is argued to be robust against local symmetry-preserving interactions. The derivations are transparent: the identity S^2=Q is proved step-by-step in Eq. (8), the ξ± decomposition is verified in Sec. 3.2, and all zero-mode operators are given with their commutators and normalization factors in Secs. 4 and E. The robustness argument in Sec. 4.1.3 is essentially rigorous and can be made fully explicit with a short support-based proof. These features make the model a valuable testbed for generalized symmetries, self-dualities, and strong zero modes. The authors are also honest about the limitations of the SPT interpretation, explicitly stating that the two regimes are not conventional SPT phases.","major_comments":[],"minor_comments":[{"comment":"The abstract promises that the authors 'develop quantum circuit realizations of our model', but the main text and appendices contain no explicit gate decomposition or circuit construction for either the interface Hamiltonian or the strong zero modes; the only related element is the sequential-circuit representation of U_KW in Eq. (17). Please either add a concrete circuit implementation or revise the abstract to match the actual content of the paper.","section":"Abstract and Sec. 6"},{"comment":"The notation for the reflected index is difficult to follow: the text defines both \\hat{a}=2N+1-a and \\tilde{a}=2N+2-a, but Eq. (20) uses an ambiguous placement of the hat/tilde (e.g., 'η^2j−1'). Please adopt a consistent notation such as \\eta_{\\hat{a}} and \\eta_{\\tilde{a}}, and double-check the transformation of the special mode η_{N+1} against the stated definitions.","section":"Sec. 3.2, Eq. (20)"},{"comment":"The robustness argument for η1 is stated in words only. To make it rigorous for arbitrary local interaction monomials, add a short lemma: if a Majorana monomial A has connected support I containing the index 1, then S A S^{-1} contains η1 and has support {1} ∪ (2N+2 - I), which is disconnected for |I| < N/2; hence no finite-range S-invariant term can contain η1. This would also cover multi-Majorana terms beyond the 'adjacent' cases explicitly mentioned.","section":"Sec. 4.1.3"},{"comment":"Since the section concludes that the two phases 'cannot be SPTs in the conventional sense' and the attempted string-order construction is unsuccessful, the presence of 'SPT phases' in the manuscript title may overstate the contribution. Consider rewording the title or the outlook to emphasize that the SPT interpretation remains an open question.","section":"Sec. 5"}],"recommendation":"minor_revision","confidential_remarks":"The central claims regarding the Z4 symmetry and the Majorana strong zero modes are sound and well-supported by explicit derivations. The main issue to address before publication is the mismatch between the abstract's promise of 'quantum circuit realizations' and the actual content of the text. The robustness proof in Sec. 4.1.3 is convincing but would benefit from a one-line formalization. These are local fixes and do not undermine the technical results."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does what it says: it constructs an open Ising spin chain with an interface that is invariant under S = R U_KW, proves S^2 = Q, and shows that locality plus S forces an exact Majorana strong zero mode at the left edge, with a partner zero mode that is exact in both J > h and J < h regimes. I checked the key steps — the S^2 = Q computation, the xi-plus/xi-minus decoupling, and the BdG construction in Appendix E — and they are consistent. The central claims hold up.\n\nWhat is genuinely new: the open-chain Z4 self-duality with S^2 = Q, the parity-dependent reflection about a Majorana site (rather than about a link), and the exact interface-bound zero modes. Ref. [18] did identify the same composition of Kramers-Wannier and reflection, but in a translation-invariant setting and for non-invertible symmetries; the open-chain realization with exact degeneracies is a real step beyond that. The paper is also honest about its limitations: the SPT interpretation is left open, and the authors say so explicitly.\n\nSoft spots, in proportion: they are minor. The abstract promises quantum circuit realizations, but the text contains no such construction. That is a real mismatch and should be fixed before publication — either add a circuit or remove the claim. The robustness argument in Sec. 4.1.3 is stated as a plausibility argument, but the stress-test note is right that it can be made rigorous: any local Majorana monomial containing eta1 would, under S, acquire support on both edges, which for finite range and large enough chains cannot be local. So the claim is true; it just deserves a formal lemma. The J < h fourfold degeneracy relies on exponentially small commutators, which is standard for strong zero modes and is handled correctly. The citation pattern is fine; Ref. [18] is credited where credit is due, and no fitted parameters or hidden inputs are involved.\n\nWho should read this: people working on generalized symmetries, non-invertible defects, and Majorana zero modes in exactly solvable chains. It is a solid contribution with explicit, checkable derivations. I would send it to a serious referee, and I would expect it to be accepted after minor revisions — mostly the abstract/circuit mismatch and the formalization of the locality argument.","headline":"A clean, exactly solvable spin-chain model with a genuinely new Z4 self-duality and exact Majorana strong zero modes; the central derivations check out, and only minor manuscript issues remain.","tokens_in":25434,"tokens_out":1326,"would_cite":true,"duration_ms":16326,"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":"An Ising interface whose Kramers-Wannier plus reflection symmetry forces exact Majorana zero modes.","keywords":["Z4 symmetry","Kramers-Wannier duality","Majorana strong zero mode","transverse field Ising chain","non-invertible symmetry","symmetry-protected topological order","Jordan-Wigner transformation","self-duality"],"falsifier":"Find a local Z4-symmetric interaction on the open chain whose matrix element couples η1 to a nearby Majorana; if such a term exists, the claimed exact twofold degeneracy would be lifted at finite system size. Concretely, exact diagonalization of finite open chains with S-invariant quartic Majorana terms can test whether the degenerate doublet remains pinned to zero energy for all such perturbations.","tokens_in":24485,"feed_emoji":"⚛️","tokens_out":5016,"duration_ms":49986,"temperature":0.7,"pith_summary":"The paper constructs an interface between two Kramers-Wannier dual phases of the transverse-field Ising chain and shows that, in an open chain, the combined operation of Kramers-Wannier duality and spatial reflection generates an exact Z4 symmetry. In the fermionic language this symmetry acts as a parity-dependent reflection about a Majorana site, and it forces the existence of exact Majorana strong zero modes that strictly commute with the Hamiltonian and anticommute with fermion parity. As a result, every energy eigenstate of the open chain is exactly twofold degenerate, and this degeneracy is claimed to survive arbitrary local symmetry-preserving interactions. In one coupling regime a second pair of strong zero modes gives a fourfold degeneracy in the thermodynamic limit. The closed chain instead exhibits a non-invertible symmetry and a single pair of exponentially localized zero modes.","feed_headline":"Ising interface yields exact zero modes from a Z4 self-duality","feed_subtitle":"Two or four exact degenerate partners per energy level arise from parity-dependent reflection in the Majorana chain.","key_machinery":"The central object is the symmetry operator S = R U_KW, a self-duality of order four whose square is the fermion parity; in the Majorana basis it is a parity-dependent reflection about the Majorana site N+1, mapping a to 2N+2-a. The argument relies on rewriting the Majorana chain in terms of modes ξ±_a that transform as S ξ±_a $S^{{-1}}$ = ±i P ξ±_a, which decouples the quadratic Hamiltonian into two chains H+ and H-. Locality then forces the edge Majorana η1 = ξ+_1 to commute exactly with the Hamiltonian, because any local S-invariant term containing η1 would map under S to a nonlocal right-end operator. The remaining exact zero modes are constructed explicitly by an iterative Bogoliubov-de Gennes procedure, yielding operators exponentially localized at the interface or edges.","core_discovery":"The central claim is that the open-chain Hamiltonian commutes with S = R U_KW, where R is spatial reflection and U_KW is the Kramers-Wannier unitary, and that $S^{2}$ equals the Ising parity Q, so S generates an exact Z4 symmetry containing the ordinary Z2 parity. In the Majorana representation obtained by the Jordan-Wigner transformation, S acts as a parity-dependent reflection about a Majorana site rather than about a link. This symmetry, together with locality, forces a pair of exact Majorana strong zero modes that strictly commute with the Hamiltonian and anticommute with fermion parity, giving an exact twofold degeneracy of all energy eigenstates in the open chain. In the J < h regime the same mechanism yields four Majorana strong zero modes and a fourfold degeneracy in the thermodynamic limit. The paper further argues that these zero modes are stable under generic local symmetry-preserving perturbations, including interactions, while the closed geometry supports only one pair of strong zero modes with exponentially small energy splitting.","pith_inferences":["Our inference: if the exactness claim survives non-perturbative checks, this is a rare example of a symmetry-enforced exact (rather than asymptotic) Majorana strong zero mode, and the same construction of composing a duality with reflection could be explored for other self-dualities to produce Z_{2m} symmetries and additional zero modes.","Our inference: the provided quantum circuit realizations make a direct experimental test feasible on current digital quantum hardware; measuring the energy splitting between S-charge sectors of a finite open chain would distinguish exact two-fold degeneracy from exponentially small splitting.","Our inference: the failure to construct a string order parameter may indicate that the two phases are distinguished by a quantized invariant carried by the Z4 charge of the zero modes rather than by a conventional entanglement string; a tensor-network study of the open-chain ground states could look for such an invariant.","Our inference: the non-invertible symmetry of the closed chain, valid away from criticality, is an unusual feature that may carry an anomaly; studying its fusion rules and anomalies could connect this lattice model to known results on non-invertible symmetries in one dimension."],"forward_implications":["For an open chain in the J > h regime, every energy eigenstate is exactly twofold degenerate at finite system size, not merely in the thermodynamic limit, because two exact Majorana strong zero modes commute strictly with the Hamiltonian.","For J < h, four Majorana strong zero modes lead to a fourfold degeneracy of energy eigenstates in the thermodynamic limit, with the finite-size splitting between the two doublets exponentially small.","The exact zero modes are stable under generic local perturbations that preserve the Z4 symmetry, including quartic Majorana interactions, because no such perturbation can couple the protected edge Majorana to the rest of the chain without becoming nonlocal.","On a closed chain the Z4 symmetry is replaced by a non-invertible symmetry projecting onto the even parity sector, and the model retains a pair of interface-localized strong zero modes whose degeneracy is exponentially accurate.","The distinct ground-state degeneracies of the two open-chain regimes suggest a Z4-protected distinction between the phases, although the closed-chain double degeneracy and the absence of a conventional string order parameter complicate a standard SPT classification."],"supporting_citations":[{"why":"Supplies the explicit Kramers-Wannier unitary used to define S and its Majorana sequential-circuit realization.","marker":"[16]"},{"why":"Defines Majorana strong zero modes and their role in producing spectral degeneracies.","marker":"[19, 20]"},{"why":"Provides the original edge Majorana zero mode construction in the Kitaev chain that the interface modes generalize.","marker":"[22]"},{"why":"Supplies the Jordan-Wigner transformation that maps the spin chain to solvable quadratic Majorana fermions.","marker":"[25]"},{"why":"Gives the lattice realization of Kramers-Wannier topological defects whose interface construction this paper contrasts with its own dual-reflection interface.","marker":"[13]"},{"why":"Introduces the nonlocal string order parameters for reflection-protected fermionic SPT phases that the paper attempts to extend to its dual-reflection symmetry.","marker":"[29, 30]"}],"fun_headline_variants":["Z4 dual-reflection interface locks in exact Majorana zero modes","Parity-dependent reflection in Ising chain yields Z4 exact degeneracy","Exact Majorana zero modes via Z4 symmetry in Ising interface","Ising interface's Z4 symmetry creates robust exact zero modes","New Z4 symmetry in Ising chain forces exact strong zero modes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The robustness claim rests on the assumption that every local symmetry-preserving perturbation of the open fermion chain must be built from Majorana products in a finite spatial region and that no such term can contain the edge Majorana η1, because the symmetry would map it to a nonlocal right-end operator; the paper gives a compelling locality argument but not a formal proof of this no-coupling statement.","fun_headline_variants_meta":{"raw":{"variants":["Z4 dual-reflection interface locks in exact Majorana zero modes","Parity-dependent reflection in Ising chain yields Z4 exact degeneracy","Exact Majorana zero modes via Z4 symmetry in Ising interface","Ising interface's Z4 symmetry creates robust exact zero modes","New Z4 symmetry in Ising chain forces exact strong zero modes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000318,"raw_usage":{"total_tokens":1823,"prompt_tokens":997,"completion_tokens":826,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":613,"completion_tokens_details":{"reasoning_tokens":735}},"tokens_in":613,"tokens_out":826,"duration_ms":7540,"temperature":1.0,"reasoning_tokens":735,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T19:44:36.683279+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a local Z4-symmetric interaction on the open chain whose matrix element couples η1 to a nearby Majorana; if such a term exists, the claimed exact twofold degeneracy would be lifted at finite system size. Concretely, exact diagonalization of finite open chains with S-invariant quartic Majorana terms can test whether the degenerate doublet remains pinned to zero energy for all such perturbations.","supporting_citations":[],"review_version":1}