Open directions for the R-matrix construction of non-invertible Kramers–Wannier symmetries: categorical precision, general-$p$ fusion rules, and continuum limits of the induced critical lattice families

The Kramers–Wannier (KW) duality of the Ising model is the prototype of a non-invertible symmetry. A 2025 construction (R.-D. Zhu, arXiv:2509.01853) generates explicit KW-like duality operators on one-dimensional quantum lattices from integrability data: Lax operators built from a fermionic R-matrix yield solvable spin chains whose boundary-modified, 'generalized critical' versions carry these operators as non-invertible symmetries, with fusion rules proposed — but not proven — to be determined by the underlying R-matrix. The source leaves a precise bundle of open directions: connecting the construction to categorical and symmetry-topological-field-theory (symTFT) frameworks; rigorously deriving the general-$p$ parafermionic fusion form $1+\sum_{a=1}^{p-1}\mathcal{D}^a$ (only $p=2,3$ are verified); classifying the two-dimensional conformal field theories (2d CFTs) reached in the continuum limit by the new critical transverse-field-Ising and parafermionic lattice families; fully characterizing the sketched Model III; and extending the composite-R-matrix construction to interacting ladder models.

Background

The one-dimensional transverse-field Ising model (TFIM), $H=-J\sum_i X_i X_{i+1}-h\sum_i Z_i$ with Pauli matrices $X_i,Z_i$, is the canonical exactly solvable quantum spin chain: a Jordan–Wigner transformation (a re-encoding of spins as fermions, here Majorana fermions — Hermitian operators $\gamma_j$ with $\{\gamma_j,\gamma_k\}=2\delta_{jk}$) maps it to free fermions. Its self-duality under the Kramers–Wannier (KW) duality — the map exchanging ordered and disordered descriptions, introduced by Kramers and Wannier in 1941 for the two-dimensional Ising model — is the prototype of a non-invertible symmetry: the duality operator is not unitary, and fusing it with its conjugate yields a projector rather than the identity. Such relations are called fusion rules, by analogy with the fusion of topological defect lines in two-dimensional conformal field theory (CFT). A fusion category is the algebraic structure abstracting these rules (objects with an associative fusion product and duals), and the symmetry topological field theory (symTFT) is a topological theory in one dimension higher from which the full symmetry data of a system can be read off; these frameworks now organize the theory of non-invertible symmetries, which generalize ordinary group symmetries by allowing symmetry operations that cannot be inverted.

Integrability provides a second, older solvability framework. An R-matrix is a solution of the Yang–Baxter equation, the consistency condition guaranteeing that transfer matrices (traces of chained R-matrices along the lattice) commute with one another; the quantum inverse scattering method builds commuting conserved charges, and hence exact solvability, from this data. Baxterization is the construction of spectral-parameter-dependent R-matrices from a representation of the braid group. Two recent results anchor the present problem. First, Sinha, Justin, Padmanabhan and Korepin (2025) showed that the critical TFIM itself is Yang–Baxter integrable via a non-local R-matrix written in Majorana fermions, and found the KW duality operator among the conserved charges; this revealed that modifying the boundary term of an integrable Hamiltonian can promote its ordinary symmetries to non-invertible ones. Second, on the categorical side, Aasen, Fendley and Mong (2020) constructed lattice topological defects with full fusion-category structure (generalizing KW duality to a large class of models), Okada and Tachikawa (2024) clarified how non-invertible symmetries act on local operators, Eck and Fendley (2024) built non-invertible duality defects from fusion categories relating the XXZ chain to Rydberg-ladder and other integrable models with explicit CFT partition functions for their critical regions, and Cao, Miao and Yamazaki (2025) analyzed how global symmetries transform under non-invertible dualities of quantum lattice models.

Against this background, Zhu (2025) proposed a systematic construction bridging the two frameworks. Starting from the fermionic (Majorana) R-matrix and its Lax operators — the local building blocks of the transfer matrix, here carrying free parameters $a_i$ — the paper classifies the induced solvable lattice models (Model I, II, III, distinguished by which coefficients $a_i$ are nonzero or equal to $\pm 1$; Model III, where vanishing $a_i$ knock fermionic modes out of the system, is only sketched). Removing the boundary term containing the parity operator $\mathcal{P}$ from the integrable Hamiltonian yields what the paper calls generalized critical TFIMs, and the transfer matrix at a special spectral parameter becomes, upon normalization, an explicit KW-like operator $\mathcal{U}^{+}$ acting on these critical models as a non-invertible symmetry with the fusion rule $(\mathcal{U}_i^{\dagger})^{+}\mathcal{U}_i^{+}=1+\mathcal{P}$, where $1+\mathcal{P}$ projects onto the $\mathbb{Z}_2$-symmetric sector. Acting with these operators generates non-invertible flows (duality mappings) from a solvable model to other lattice models while partially preserving integrability on a subspace. Repeating the construction with $\mathbb{Z}_p$ parafermions — order-$p$ generalizations of Majorana fermions satisfying $\psi_i\psi_j=\omega\psi_j\psi_i$ for $i>j$ with $\omega^p=1$ — via Baxterization of their braid-group representation, gives an explicit $p=3$ ($\mathbb{Z}_3$) vector-Potts example with fusion rule $(\mathcal{Q}^{\dagger})^{++}\mathcal{Q}^{++}=1+\mathcal{O}+\mathcal{O}^{2}$ for a $\mathbb{Z}_3$ generator $\mathcal{O}$, and the general expectation

$\mathcal{Q}^{\dagger}\mathcal{Q}=1+\sum_{a=1}^{p-1}\mathcal{D}^{a},\qquad \mathcal{D}^{p}=1,$

(with the source's superscript bookkeeping suppressed), which matches the fusion rules of lattice topological defects known in the literature. The paper proposes — but does not prove — that these fusion rules are determined by the underlying fermionic R-matrix itself, and identifies the lattice families produced by the construction as expected to be critical and to flow to 2d CFTs in the continuum limit, without determining which ones.

Problem Statement

Convert the proposal of arXiv:2509.01853 into established theory with determined scope and classified physical content. The paper proposes that the fusion rules of non-invertible Kramers–Wannier-like symmetry operators on one-dimensional quantum lattices are determined by the underlying fermionic R-matrix, and constructs, from R-matrix/Lax data, solvable lattice models whose boundary-modified (generalized critical) versions carry these operators as non-invertible symmetries. The source leaves the following open directions, each testing the same proposed correspondence from a different side:

(1) Formulate and prove — or refute — the correspondence between the R-matrix/Lax data and the fusion rules of the induced non-invertible operators, making the connection to categorical and symTFT frameworks concrete (in particular to the fusion-category duality-defect framework of Eck–Fendley and the non-invertible-duality framework of Cao–Miao–Yamazaki). This must include a rigorous derivation of the proposed general fusion form

$\mathcal{Q}^{\dagger}\mathcal{Q}=1+\sum_{a=1}^{p-1}\mathcal{D}^{a},\qquad \mathcal{D}^{p}=1,$

for $\mathbb{Z}_p$ parafermionic models at arbitrary $p$ — at minimum all prime $p$, and ideally composite $p$ — of which only the $p=2$ case (eq. (49) of the source, $(\mathcal{U}_i^{\dagger})^{+}\mathcal{U}_i^{+}=1+\mathcal{P}$, with $\mathcal{P}$ the fermion-parity operator) and the $p=3$ case (eq. (60), $(\mathcal{Q}^{\dagger})^{++}\mathcal{Q}^{++}=1+\mathcal{O}+\mathcal{O}^{2}$, with $\mathcal{O}$ the generator of the $\mathbb{Z}_3$ clock symmetry) are verified; in the general form, $\mathcal{D}$ denotes the operator reducing to $\mathcal{P}$ and $\mathcal{O}$ in these two verified cases.

(2) Determine which two-dimensional conformal field theories the generalized critical TFIM and parafermionic lattice families reach in the continuum limit: whether every model in these families is critical, as the source expects, and how the resulting CFTs compare with existing CFT-based classifications of critical Potts and vector-Potts models.

(3) Settle the scope of the construction: give the full characterization of Model III (and the other intricate parameter choices) deferred by the author to an unpublished longer version — its locality structure, solvability, and operator content — and carry out the source's expected extension of the composite-R-matrix construction to interacting ladder models (e.g., via SU(4)-type R-matrices for two-leg ladders).

For context, the source argues that integrability is partially preserved on the subspace of the projector $1+\mathcal{P}$ under the non-invertible flows, and remarks that deformations of critical models preserving integrability or non-invertible symmetries may further reveal the hidden relation between these two subjects.

These directions jointly test a single proposed correspondence; each remains open and can be advanced independently, but the proposal is converted into established theory with determined scope and classified physical content only when all three are settled. Within direction (1) this requires proving or refuting the correspondence and, independently, rigorously deriving — or refuting — the general-$p$ fusion form, which remains a claim about the $\mathbb{Z}_p$ parafermionic models in its own right, so a refutation of the correspondence does not by itself discharge the derivation. Direction (2) requires the continuum-limit CFTs reached by these families to be determined, including whether every model in them is critical, and compared with the existing CFT-based classifications of critical Potts and vector-Potts models. Direction (3) requires both the full characterization of Model III and the extension of the composite-R-matrix construction to interacting ladder models.

References

1. Rui-Dong Zhu, "Systematic Construction of Kramers-Wannier-like Dualities in Quantum Lattice Models from Integrability", arXiv:2509.01853 (2025). DOI: 10.48550/arXiv.2509.01853, https://arxiv.org/abs/2509.01853
2. H. A. Kramers and G. H. Wannier, "Statistics of the Two-Dimensional Ferromagnet. Part I", Phys. Rev. 60, 252 (1941). DOI: 10.1103/PhysRev.60.252, https://journals.aps.org/pr/abstract/10.1103/PhysRev.60.252
3. H. A. Kramers and G. H. Wannier, "Statistics of the Two-Dimensional Ferromagnet. Part II", Phys. Rev. 60, 263 (1941). DOI: 10.1103/PhysRev.60.263, https://journals.aps.org/pr/abstract/10.1103/PhysRev.60.263
4. David Aasen, Paul Fendley, Roger S. K. Mong, "Topological Defects on the Lattice: Dualities and Degeneracies", arXiv:2008.08598 (2020). https://arxiv.org/abs/2008.08598
5. Masaki Okada, Yuji Tachikawa, "Noninvertible Symmetries Act Locally by Quantum Operations", Phys. Rev. Lett. 133, 191602 (2024). DOI: 10.1103/PhysRevLett.133.191602, arXiv:2403.20062, https://arxiv.org/abs/2403.20062
6. Akash Sinha, Tinu Justin, Pramod Padmanabhan, Vladimir Korepin, "The Yang–Baxter integrability of the critical Ising chain", J. Stat. Mech. (2025) 103102. DOI: 10.1088/1742-5468/ae0690, arXiv:2506.03668, https://arxiv.org/abs/2506.03668
7. Weiguang Cao, Yuan Miao, Masahito Yamazaki, "Global symmetries of quantum lattice models under non-invertible dualities", SciPost Phys. Core 8, 070 (2025). DOI: 10.21468/SciPostPhysCore.8.4.070, arXiv:2501.12514, https://arxiv.org/abs/2501.12514
8. Luisa Eck, Paul Fendley, "From the XXZ chain to the integrable Rydberg-blockade ladder via non-invertible duality defects", SciPost Phys. 16, 127 (2024). DOI: 10.21468/SciPostPhys.16.5.127, arXiv:2302.14081, https://arxiv.org/abs/2302.14081
9. Akash Sinha, Pramod Padmanabhan, Vladimir Korepin, "Noninvertible Kramers-Wannier duality symmetries for the discrete-time quantum Ising chain", arXiv:2511.03947 (2025). https://arxiv.org/abs/2511.03947
10. Kohei Fukai, Hosho Katsura, "Integrability of a family of clean SYK models from the critical Ising chain", arXiv:2511.03460 (2025). https://arxiv.org/abs/2511.03460
11. Thea Budde, Marina Krstić Marinković, Joao C. Pinto Barros, "Hilbert Space Fragmentation from Generalized Symmetries", arXiv:2604.12907 (2026). https://arxiv.org/abs/2604.12907
12. Yuan Miao, Andras Molnar, Nick G. Jones, "Matrix-product operator dualities in integrable lattice models", arXiv:2602.17436 (2026). https://arxiv.org/abs/2602.17436
13. Madhav Sinha, Thiago Silva Tavares, Ananda Roy, Hubert Saleur, "Integrability and lattice discretizations of all Topological Defect Lines in minimal CFTs", arXiv:2509.04257 (2025). https://arxiv.org/abs/2509.04257
14. Zhao Zhang, "The Yang-Baxter Equation for the Chiral Potts Model and Integrable Parafermions", arXiv:2606.11146 (2026). https://arxiv.org/abs/2606.11146