{"id":"e1a6b648-13df-4352-a87a-88a9895479dd","arxiv_id":"2509.01853","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Lax matrices built from a fermionic R-matrix yield a family of lattice Hamiltonians with explicitly constructed non-invertible Kramers-Wannier-like symmetry operators and spectrum-preserving dualities.","lead":"This paper builds a systematic machinery for constructing Kramers-Wannier-like non-invertible symmetries in families of 1d lattice models that come from integrable R-matrices. It gives explicit operator formulas and shows how these operators map one model to a different-looking model that shares part of its spectrum.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Parafermion R-matrix (36)-(37) is asserted, not proven; the Z_p generalization and fusion rule (45) hinge on it.","rationale":"The reader's weakest assumption correctly identifies the parafermion R-matrix as the load-bearing unproven input. The paper's strongest claim (Section I) about a large class of lattice models is already supported by the fermionic Lax construction, but the Z_p extension in Section V is a substantial additional claim. The reader's CONDITIONAL verdict appropriately reflects that the core is solid while the breadth is conditional. We agree with this assessment. The concrete YBE check would either vindicate or falsify the parafermion conjecture. The normalization discrepancy in (34) is a minor, non-fatal issue.","tokens_in":9332,"tokens_out":9557,"duration_ms":101696,"concrete_test":"Symbolically verify the braided Yang-Baxter equation (38) for the p=3 R-matrix (36) with g0(u) as in (37), using the parafermion algebra (35). Compute the difference between the left and right sides as a polynomial in u; the identity holds iff the expression vanishes modulo the relations ψ_i^3=1 and ψ_i ψ_j = ω ψ_j ψ_i for i>j. This can be done in Mathematica or Sage. If it fails, the Z_p generalization is invalid; if it holds, the p=3 case is established and the test can be repeated for p=5 to test the 'arbitrary prime p' claim.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section V extends the construction to Z_p parafermions by stating that the R-matrix (36) with g0(u) from (37) satisfies the braided Yang-Baxter equation (38). No proof or derivation is provided; the cited braid group representation [28] is not by itself a Baxterization. All subsequent Z3 vector Potts results (Hamiltonian (42), symmetry operators (43), fusion rule (44)) and the conjectured general rule (45) depend on this assertion. If (36) fails (38), the parafermionic branch of the paper's claims collapses. The fermionic Lax construction in Sections II-IV appears internally consistent, so the concern is about the breadth of the claim, not its core. A secondary issue is the normalization of the fusion rules: from definitions (15) and U_i† U_i = 1, (U_i†)^+ U_i^+ = 2(1+P), not 1+P as written in (34); since projectors are only defined up to scale this does not affect the symmetry argument.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims a systematic way to construct Kramers-Wannier-like non-invertible symmetries in one-dimensional quantum lattice models starting from a fermionic R-matrix. It reproduces the known critical TFIM construction, introduces Lax matrices with a free parameter a, derives two fully worked fermionic models plus a partially deferred Model III, gives explicit actions of the projected symmetry operators U_i^+ in Eqs. (24)-(28) and (32), and uses them to generate duality flows. The last section proposes a Z_p parafermion generalization, states a p=3 R-matrix, writes the vector Potts Hamiltonian, and conjectures fusion rules of the form (45).","tokens_in":9631,"tokens_out":16042,"duration_ms":166627,"significance":"The fermionic part of the paper is a concrete and checkable contribution: the parameter a is genuine rather than fitted, the intertwining relations are explicit, and the reproduction of the TFIM result in Section II is a useful unifying derivation. If the missing proofs are supplied, the framework would provide a systematic route to non-invertible symmetries in a broad family of integrable lattice models and would clarify the relation between R-matrices and fusion rules. The parafermion section is currently a suggestive conjecture rather than an established construction, and the fusion rules contain a normalization error.","major_comments":[{"comment":"The Z3 parafermion R-matrix (36) with g0(u) from (37) is introduced by 'Baxterizing' the braid-group representation of [28], and Eq. (38) asserts the braided Yang-Baxter equation. No proof or concrete reference is supplied, and a braid representation alone does not determine a spectral-parameter Baxterization. This assertion is load-bearing for the entire parafermionic branch: the Hamiltonian (42), the symmetry operators (43), the fusion rule (44), and the conjectured general rule (45) all assume (38). Footnote [29] explicitly defers the parafermionic transfer-matrix details to a longer version. Please provide a verification or a published reference, or clearly mark this section as conjectural and separate from the proven fermionic results.","section":"Section V, Eqs. (36)-(38)"},{"comment":"The fusion rules are stated with the wrong numerical normalization. For U_i^+ = (1+P)U_i with U_i^\\dagger U_i = 1, we have (U_i^\\dagger)^+ U_i^+ = 2(1+P), not 1+P as written in Eq. (34). Similarly, for the Z3 projector 1+O+O^2, (Q^\\dagger)^{++} Q^{++} = 3(1+O+O^2), and the general rule (45) should carry an overall factor p. Since the projectors are defined only up to scale, the symmetry arguments are unaffected, but the fusion rules as written are incorrect. Please use normalized projectors such as (1+P)/2 and (1+O+O^2)/3, or include the factor p explicitly.","section":"Section V, Eqs. (34), (44)-(45)"},{"comment":"The paper states that 'there are three classes of models found by solving the constraints' and gives counts such as 2^{2L+1}, but no derivation or proof of this classification is shown. Model III's 'detailed analysis' is deferred to a longer version. Since the abstract claims a systematic construction for a broad class, the reader cannot currently judge how much of that claim is established. Please either prove the enumeration and include the Model III symmetry analysis, or explicitly restrict the scope claim to the worked examples in Sections II-IV.","section":"Section III, bullet list and text after Eq. (23)"}],"minor_comments":[{"comment":"The statement that in the critical model 'no state is annihilated by U^+' is too strong: states in the P=-1 sector of H_c^TFIM are annihilated by 1+P. The immediately following sentence correctly restricts the shared spectrum to the 1+P subspace; please reconcile the two statements.","section":"Section IV, after Eq. (31)"},{"comment":"There is a typo: 'integrbale' should be 'integrable'.","section":"Section II, paragraph after Eq. (13)"},{"comment":"The pseudo-normal-ordering notation :\\gamma_j\\gamma_{j+1}: is ambiguous at the boundary j=2L. Please state the convention for \\gamma_{2L+1} (presumably \\gamma_1) and how the ordering is defined when the index wraps.","section":"Section III, Eq. (21)"},{"comment":"The notation with multiple plus signs and the role of the signs \\sigma_a = \\pm are not defined precisely. Please clarify how the projector is built from the D operators for general p.","section":"Section V, Eq. (45)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript fits the journal's scope and the fermionic construction is a solid contribution. My recommendation is driven by two fixable but important issues: the unproven parafermion R-matrix/YBE assertion in Section V, and the normalization error in the stated fusion rules. I would ask the editor to require the deferred details from the promised longer version before publication, because the current text explicitly delegates load-bearing material. If the YBE verification and the normalization fix are supplied, I would support acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a real step beyond [18], giving explicit KW operators for a Lax-generated family of fermionic models and a concrete projector/fusion analysis for Z3. The TFIM part holds together; the parafermion section is where I'd push back.\n\nWhat's new: the Lax matrix (17) with free parameter a, the Model I/II Hamiltonians (21)-(22), and the explicit action formulas (24)-(28). These are concrete and checkable. The operator U1^+ with continuous a genuinely interpolates between duality-like actions, and repeated use generates the flow in (31), sharing part of the spectrum with the TFIM. The normalization is carried through, and the claim that integrability is preserved in the subspace of 1+P is at least plausible from the intertwining relations. Also credit: the paper honestly notes the boundary-term mismatch and uses it constructively.\n\nSoft spots: the p=3 R-matrix (36)-(37) is stated to satisfy braided YBE (38) with no derivation. Baxterizing a braid group representation is not automatic; the cited [28] doesn't provide it. Since (42)-(45) all rest on that, the Z3 and general-p claims are conditional. That's not a fatal flaw in the fermionic core, but it is a genuine gap for the advertised breadth. Model III is explicitly deferred to a longer version, which is fine for an announcement but should be flagged. And the fusion rule normalization: from U†U=1, (U†)^+U^+ = 2(1+P), not 1+P as in (34). Since projectors are scale-ambiguous the symmetry argument survives, but as written it's off by a factor; worth a footnote.\n\nI checked the citation pattern—cites the relevant prior work ([18], [26,27], [31]) and doesn't overclaim novelty. Self-citation is not an issue here.\n\nBottom line: the fermionic Lax construction is a genuine, reproducible contribution and deserves a serious referee. The parafermion section needs either a proof or an explicit derivation of YBE before the Z_p claims can stand. I'd send it to review with a request for that.","headline":"A genuinely useful extension of the projector trick to a Lax-parameter family, but the parafermion section leans on an unproved Yang-Baxter assertion.","tokens_in":10068,"tokens_out":2355,"would_cite":true,"duration_ms":22996,"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 turns Kramers-Wannier duality from a special feature of the critical Ising chain into a general, systematically computable symmetry for quantum lattice models built from integrable fermionic R-matrices.","keywords":["Kramers-Wannier duality","non-invertible symmetries","integrable lattice models","fermionic R-matrix","Lax operators","free fermions in disguise","parafermions","vector Potts model"],"falsifier":"Substitute the p=3 R-matrix (36)-(37) into the braided Yang-Baxter equation (38) and verify it for several values of u and v; one counterexample would invalidate the vector Potts part and the conjectured fusion rule (45). For the fermionic core, exact diagonalization of the model (31) for small chains can check whether its spectrum in the 1+P subspace matches the transverse-field Ising spectrum at J=h for generic a.","tokens_in":9229,"feed_emoji":"🔄","tokens_out":15721,"duration_ms":157704,"temperature":0.7,"pith_summary":"The paper sets out to show that Kramers-Wannier duality—the classic non-invertible symmetry of the critical transverse-field Ising model—is not a one-off trick but a structural feature of a broad class of integrable quantum lattice models. Starting from a fermionic R-matrix that satisfies the Yang-Baxter relation, the author builds an integrable Hamiltonian that differs from its critical version only by a boundary term multiplied by a projector; multiplying any conserved charge by that projector promotes it to a non-invertible symmetry of the critical model. The construction is made explicit for a family of Lax-operator models, giving concrete Kramers-Wannier operators and their actions on spin variables, and generating dualities that exchange couplings such as J and h or flip sign patterns. The same logic is extended to Z3 parafermions, yielding a non-invertible symmetry of the critical vector Potts (clock) model with fusion rule fixed by the projector, and a general fusion rule is conjectured for prime p. This matters because, if correct, non-invertible symmetries on lattices cease to be discovered case-by-case: they are computed from the underlying integrability data, and they organize families of models that share spectra, symmetries, and integrability in a common subspace.","feed_headline":"R-matrix recipe yields Kramers-Wannier symmetries in many spin chains","feed_subtitle":"From one fermionic R-matrix you get explicit Kramers-Wannier operators for a family of critical Hamiltonians.","key_machinery":"The load-bearing object is the fermionic R-matrix R_jk(u) = (γ_j − γ_k)(1 + i tan(u) γ_j γ_k)/√2, which satisfies the Yang-Baxter relation (the consistency condition for integrability) and generates an integrable transfer matrix whose logarithmic derivative is a local Hamiltonian. The promotion identity Q^+ = (1+P)Q = Q(1+P), where P is the Z2 parity of the chain, converts any conserved charge of the boundary-modified integrable model into a non-invertible symmetry of the critical model; for the shift charge U this identity is the Kramers-Wannier duality. The Lax operator L_{0j}(u;a_j) ∝ γ_0 + a_j f_0(u) γ_j, satisfying the RLL relation, is the object that generates the broad family of 'free","core_discovery":"The central claim is that, in a large class of lattice models, non-invertible symmetries can be found systematically, with the Kramers-Wannier-like symmetry operators explicitly constructed. The mechanism is to take an integrable model generated by a fermionic R-matrix and observe that its Hamiltonian differs from the corresponding critical model only by a boundary term proportional to a projector such as 1−P. Every conserved charge Q of the integrable model then yields a non-invertible symmetry Q^+ = (1+P)Q of the critical model; for the zero-spectral-parameter shift charge U this is exactly the Kramers-Wannier operator, acting on spins through the duality relations (16). Replacing the R-ma","pith_inferences":["The paper does not pursue the classification direction, but the construction implies that non-invertible symmetry data on the lattice is encoded in the zero-spectral-parameter transfer matrix; classifying new R-matrices would therefore classify new Kramers-Wannier-like symmetries.","For the parafermion part, a quick numerical check—computing [U_i^+, H] on small p=3 chains—would test the conjecture before a proof of the braided Yang-Baxter identity is supplied.","The flow generated by U^+ shares only part of the spectrum, so the paper's construction may be a lattice realization of partial duality; pinning down exactly which states survive the projector 1+P would clarify what the mapping preserves.","The decoupled-product construction (46) is only a starting point; combining it with interacting R-matrices for ladders is a concrete next step toward non-invertible symmetries in genuinely coupled systems."],"forward_implications":["Every Hamiltonian generated by the Lax matrix (17) inherits a non-invertible symmetry U_i^+=(1+P)U_i; the associated periodic model (boundary term removed) is invariant under it.","The KW operators act as dualities on generalized TFIMs: U_1^+ exchanges the couplings J and h in a model with an XY anisotropy, and U_2^+ flips signs of interactions and fields across the two halves of the chain.","Repeated application of U^+ generates a flow of lattice models; in the critical case the full spectrum of the TFIM is reproduced, and in general the 1+P subspace of eigenstates, together with global symmetries and partial integrability, is shared.","For Z3 parafermions, the same construction produces non-invertible symmetries of the vector Potts model with fusion rule (Q†)^{++}Q^{++}=1+O+O^2, conjecturally generalized to 1+D+...+D^{p−1} for prime p.","Products of two independent R-matrices give decoupled two-lattice systems with three commuting transfer matrices and enriched fusion rules, pointing to a systematic treatment of ladder geometries."],"supporting_citations":[{"why":"Supplies the starting fermionic R-matrix and the idea of promoting conserved charges of a boundary-modified integrable model into non-invertible symmetries of the critical model.","marker":"[18]"},{"why":"Provides the transfer-matrix construction used to derive the integrable Hamiltonian and the infinite set of conserved charges from the R-matrix.","marker":"[19]"},{"why":"Defines the class of 'free fermions in disguise' integrable Hamiltonians whose local commuting structure selects the models constructed in Section III.","marker":"[22]"},{"why":"Gives the solvability criterion for Hamiltonians built from even numbers of fermions, used to justify locality and integrability of the constructed models.","marker":"[23]"},{"why":"Supplies the parafermion braid-group representation from which the p=3 R-matrix (36) is built.","marker":"[28]"},{"why":"Contains the fusion-rule statement (their (7.6)) that the conjectured general fusion rule (45) agrees with.","marker":"[13]"},{"why":"Previously constructed the Kramers-Wannier symmetry operator in the Z3 vector Potts model, with which the present Z3 result is identified.","marker":"[31]"}],"fun_headline_variants":["Systematic Kramers-Wannier dualities from integrable R-matrices","Generalized duality recipe turns R-matrices into spin symmetries","Non-invertible symmetries from a single fermionic R-matrix","Explicit Kramers-Wannier operators built from R-matrix charges","Critical spin chains get new dualities from integrability"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The parafermion generalization rests on the unproved assertion that the proposed Z3 R-matrix satisfies the braided Yang-Baxter equation and that analogous R-matrices exist for every prime p; if either fails, the vector Potts construction and the conjectured fusion rule do not go through.","fun_headline_variants_meta":{"raw":{"variants":["Systematic Kramers-Wannier dualities from integrable R-matrices","Generalized duality recipe turns R-matrices into spin symmetries","Non-invertible symmetries from a single fermionic R-matrix","Explicit Kramers-Wannier operators built from R-matrix charges","Critical spin chains get new dualities from integrability"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000773,"raw_usage":{"total_tokens":3181,"prompt_tokens":590,"completion_tokens":2591,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":334,"completion_tokens_details":{"reasoning_tokens":2498}},"tokens_in":334,"tokens_out":2591,"duration_ms":20816,"temperature":1.0,"reasoning_tokens":2498,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T12:07:35.370912+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Substitute the p=3 R-matrix (36)-(37) into the braided Yang-Baxter equation (38) and verify it for several values of u and v; one counterexample would invalidate the vector Potts part and the conjectured fusion rule (45). For the fermionic core, exact diagonalization of the model (31) for small chains can check whether its spectrum in the 1+P subspace matches the transverse-field Ising spectrum at J=h for generic a.","supporting_citations":[{"cited_title":"Sinha, T","cited_arxiv_id":null,"evidence_quote":"Provides the transfer-matrix construction used to derive the integrable Hamiltonian and the infinite set of conserved charges from the R-matrix."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the class of 'free fermions in disguise' integrable Hamiltonians whose local commuting structure selects the models constructed in Section III."},{"cited_title":"$\\mathbb{Z}_3$ Parafermionic Chain Emerging From Yang-Baxter Equation","cited_arxiv_id":"1507.05269","evidence_quote":"Previously constructed the Kramers-Wannier symmetry operator in the Z3 vector Potts model, with which the present Z3 result is identified."}],"review_version":1}