Pith. sign in

REVIEW 4 major objections 4 minor 64 references

The trotterized critical Ising chain is exactly integrable, and its Kramers-Wannier duality doubles into a pair of non-invertible, conserved operators that act as half space-time translations.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

T0 review · deepseek-v4-flash

2026-08-03 23:50 UTC pith:YFSLRZQU

load-bearing objection Genuinely new doubled KW operators for the trotterized Ising chain, but the central identity needs a parity-sector fix before the claims are trusted as stated. the 4 major comments →

arxiv 2511.03947 v2 pith:YFSLRZQU submitted 2025-11-06 quant-ph cond-mat.str-elhep-thnlin.SI

Noninvertible Kramers-Wannier duality symmetries for the discrete-time quantum Ising chain

classification quant-ph cond-mat.str-elhep-thnlin.SI MSC 81R1282B23
keywords integrable trotterizationtransverse-field Ising modelKramers-Wannier dualitynon-invertible symmetryquantum inverse scattering methodYang-Baxter equationFloquet evolutionconserved charges
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper aims to show that the simplest discrete-time (trotterized) version of the critical transverse-field Ising chain — one alternating application of field and bond gates per time step — remains exactly integrable. The discrete-time evolution operator V(Ω) is constructed from an inhomogeneous transfer matrix of a free Majorana chain, so the Trotter step Ω becomes an integrability parameter and the circuit inherits an extensive set of conserved charges. The paper further shows that the ordinary Kramers-Wannier duality, which is broken by trotterization, is replaced by two non-invertible operators D_±(Ω) that commute with V(Ω) and square to a spatial translation dressed by one forward or backward time step. These operators also connect first-order trotterization to second-order symmetric circuits and to finite-time Floquet evolution for |t|≤π/4. A careful reader would care because this gives a concrete model where a digital quantum simulation protocol carries both exact conserved quantities and a non-invertible symmetry, with clear implications for benchmarking and for the phase diagram of the driven Ising chain.

Core claim

The central claim is that the first-order trotterized critical transverse-field Ising circuit V(Ω)=V_A(Ω)V_B(Ω), built from gates (1+iΩZ)/(1+iΩ) and (1+iΩXX)/(1+iΩ), equals the ratio τ(−ω/2|ω)^{-1} τ(ω/2|ω) of two inhomogeneous transfer matrices with Ω=tanh ω. From this identity the paper obtains a family of commuting conserved charges, so the discrete-time circuit inherits integrability from the continuous-time model. It then defines projected operators D_±(Ω)=½ τ(±ω/2|ω)(1+P), shows they are non-invertible, commute with V(Ω), and obey D_+^2=½(1+P)TV(Ω), D_-^2=½(1+P)TV(Ω)^†, D_+D_-=½(1+P)T. In the Ω→0 limit both collapse to the ordinary Kramers-Wannier operator D with D^2=½(1+P)T. The same

What carries the argument

The load-bearing object is the spectral-parameter dependent Majorana R-operator R_{a,b}(λ), which solves the Yang-Baxter equation. A monodromy matrix is built by multiplying R with alternating inhomogeneities η_j=±ω/2, and its transfer matrix τ(λ|ω) commutes for different λ. Evaluating at λ=±ω/2 gives two operators whose ratio is the trotterized circuit V(Ω), with Ω=tanh ω. The KW duality operators are the same transfer-matrix pieces multiplied by the parity projector (1+P)/2, which removes their invertibility and makes them act as half space-time translations.

Load-bearing premise

The proof relies on the operator identities U^2=τ(ω/2|ω)τ(−ω/2|ω) and τ(±ω/2|ω)^2=U^2 V^{±1} holding as exact identities on the full physical Hilbert space; if these fail outside the even-parity sector, the integrability and symmetry arguments need an added restriction.

What would settle it

Compute both sides of Eq. (22) for N=1 using Eq. (19): the left side V(Ω) is parity-dependent (different actions on |0⟩ and |1⟩), while the right side is a c-number phase (1−iΩ)/(1+iΩ) times the identity; if this discrepancy reproduces, the claimed operator identity fails at N=1, and one would need to verify the next cases N=2,3 to see where it holds.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • The circuit V(Ω) has an extensive set of conserved charges that depend on the time step, so a digital simulation of the critical Ising chain can be benchmarked against exact conserved quantities even at finite Trotter step.
  • The operators D_±(Ω) are genuine non-invertible symmetries of the discrete-time evolution, not approximate ones; they map V_A↔V_B while commuting with the full circuit.
  • Squaring D_± gives a spatial translation dressed by one time step, so the symmetries organize the circuit into light-cone coordinates x±t.
  • The same duality operators map the first-order circuit to the two second-order symmetric trotterizations, meaning dualities can relate different product-formula approximations.
  • The Floquet circuit e^{-itH_A}e^{-itH_B} is integrable for |t|≤π/4, which fixes a precise window where the driven critical Ising chain retains its Yang-Baxter integrability.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The N=1 case is a natural boundary case: the paper's own equations imply τ_-^{-1}τ_+ is a global phase while V(Ω) is parity-dependent, so the identification (22) appears to require N≥2 or an explicit parity restriction; checking this would sharpen the theorem.
  • If D_± really are half translations along light-cone directions, then the transfer-matrix construction may be a discrete analogue of light-cone lattice models, and one could test whether entanglement growth follows a light-cone with speed set by log((1+Ω)/(1−Ω)).
  • Because D_± map between first- and second-order trotterizations, one might look for a hierarchy where powers of these operators connect higher-order symmetric product formulas, giving a purely algebraic handle on Trotter-error reduction.
  • The Floquet integrability window |t|≤π/4 is derived from Ω=tanh ω=tan t; a direct spectral check on small chains could verify whether Floquet heating is suppressed exactly in this window and not beyond.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

4 major / 4 minor

Summary. The paper constructs a discrete-time (Trotterized) version of the critical transverse-field Ising chain and claims that the first-order circuit V(Ω)=V_A(Ω)V_B(Ω) is Yang-Baxter integrable. The construction starts from a Majorana-fermion R-matrix and an inhomogeneous transfer matrix τ(λ|ω); the central identification is Eq. (22), V(Ω)=τ(-ω/2|ω)^{-1}τ(ω/2|ω). After a Jordan-Wigner transformation, the authors define projected conserved charges Q(Ω) = (1/2)(1+P)Q(Ω) in Eq. (27) and non-invertible Kramers-Wannier operators D_±(Ω) in Eq. (31)-(32). They show [D_±(Ω), V(Ω)] = 0 and derive the algebra (40)-(41), where D_±^2 acts as half space-time translations. The results are extended to a Floquet evolution via the identification tan(t)=Ω and to maps between first- and second-order Trotterizations. The abstract additionally promises a phase-diagram analysis.

Significance. The paper's core idea is valuable: using the QISM to preserve an extensive set of conserved charges under Trotterization and to construct exact non-invertible symmetries of the discrete-time circuit. The formulas are explicit, there are no fitted parameters, and the algebraic structure is transparent. If the parity-sector issue were resolved, the identification of D_± as 'half space-time translations' would be an interesting and publishable contribution. However, as written, the central operator identity is only shown on the even-parity sector, so the full-Hilbert-space claims of integrability and KW symmetry are not established.

major comments (4)
  1. [Eqs. (22), (25), (28)] The key identity V(Ω)=τ(-ω/2|ω)^{-1}τ(ω/2|ω) is derived for the fermionic circuit (16), whose Jordan-Wigner image is the nonlocal circuit (24) containing the boundary term P X_N X_1. The local circuit (26) is connected to it only through V_nonlocal(1+P)=V_local(1+P), not as an operator identity on the full Hilbert space. Thus (22) holds at best on the P=+1 subspace. The text never states this restriction, and the N=1 case shows the failure explicitly: from (19), τ_-^{-1}τ_+ is a global phase while V_local(Ω) is parity-dependent. This is load-bearing because Eq. (22) is used to assert integrability and commutativity of D_± with V.
  2. [Eqs. (27), (31), (40)-(41)] The conserved charges Q(Ω) and the KW operators D_±(Ω) are defined with an explicit factor (1+P). They therefore annihilate the entire odd-parity sector. Consequently the algebra D_±^2 = (1/2)(1+P) T V^{±1} and the light-cone picture in Fig. 1 are valid only on the even sector. Since the circuit preserves parity, one could restrict to the even sector, but the paper claims integrability and conserved quantities for the full model. On the odd sector no nontrivial conserved charge or KW symmetry is constructed; this gap should be stated and either filled or explicitly excluded from the claims.
  3. [Section IV vs. abstract] The abstract promises: 'we investigate how these non-invertible operators shape the phase diagram of the discrete-time evolution' and 'systematically construct the necessary operators which relate different phases away from criticality for both trotterized and Floquet evolutions.' The body of Section IV gives duality maps for h,J in Eqs. (37)-(38) and (49)-(51), and maps to second-order Trotter circuits in (55), but it does not present a phase diagram or a systematic phase-structure analysis. This overclaims what is actually derived.
  4. [Eqs. (44)-(46)] The Floquet integrability statement V_F(t;1,1)=e^{2iNt}V(Ω) with tan(t)=Ω and |t|≤π/4 is a phase multiplied version of the Trotter circuit. It inherits the same parity-sector restriction from V(Ω). The sentence 'this completes our required proof' should be qualified to the even-parity sector, or the odd-sector problem must be addressed.
minor comments (4)
  1. [Notation, Eqs. (24)-(28)] The symbol V(Ω) is used both for the nonlocal circuit in (24) and the local circuit in (26). This makes the parity discussion very hard to follow. Please use distinct names, e.g. V_nonlocal and V_local, throughout.
  2. [Eq. (6)] The relation U_Z^j(Ω) ≃ e^{iΩ Z_j} is only valid to first order in Ω; the text says 'essentially' but the exact expression (5) has an overall factor. It would be clearer to state that U_Z^j(Ω) = c(Ω) e^{iφ(Ω) Z_j} with a global phase.
  3. [Appendix B, Eq. (B3)] There is a sign/notation issue in M_+^{(1)}: the boundary term is written '- i Γ_{2N} Γ_2' while the analogous term in M_- looks asymmetric. Please check whether this is a typographical error.
  4. [Ref. [37]] The footnote about references [33-36] not including the boundary term is useful, but it should appear where Eq. (7) is introduced, not as an afterthought.

Circularity Check

0 steps flagged

No significant circularity; the transfer-matrix derivation is self-contained, with only an even-parity domain restriction that is a correctness caveat, not an input-output equivalence.

full rationale

The claimed derivation is not circular. The fermionic circuit V(Ω) is obtained from the inhomogeneous transfer matrix through explicit identities: Eq. (19) gives τ(±ω/2), Eq. (21) states τ(ω/2)^2 = U^2 V(Ω) and τ(−ω/2)^2 = U^2 V(Ω)^†, and Eq. (22) then yields V(Ω) = τ(−ω/2)^{-1} τ(ω/2) with Ω = tanh ω. These are nontrivial operator identities, not definitions of V in terms of the transfer matrix. The spin circuit (26) is reached by the Jordan-Wigner transformation, and the projected conserved charges (27) and duality operators (31)-(32) are constructed from transfer-matrix objects; their commutation relations (28), (34), and (40)-(41) are derived from those definitions together with standard KW identities from [40,42]. There are no fitted parameters, and no quantity called a 'prediction' is merely an input renamed. Citations to the authors' earlier work [28] supply the R-matrix solution of the Yang-Baxter equation and the QISM treatment of the critical Ising chain; these are parameter-free mathematical inputs that do not contain the paper's target claim of trotterized integrability, so they constitute independent support rather than a circular self-citation chain. The manuscript itself flags the one substantive limitation: Figure 1 states 'We restricted ourselves in the even parity sector P=1,' and Eq. (27) defines charges only after projection with (1+P). Consequently the integrability proof and the nontrivial action of D_±(Ω) are established on the even-parity sector, while the projected charges vanish on the odd-parity sector. This is a domain restriction and possible correctness gap, but it is not an equivalence between the derivation's inputs and outputs; the even-sector conserved charges are not defined to be the local circuit's evolution, and the algebra (40)-(41) follows from the transfer-matrix identities rather than restating them.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

No fitted constants or new entities. The result rests on standard QISM machinery, the authors' prior YBE proof, and one unverified operator identity (Eqs. 20-22) that the paper leaves unqualified.

axioms (5)
  • domain assumption The Majorana R-operator (9) satisfies the Yang-Baxter equation (10).
    Taken from the authors' prior work [28]; not proved in this paper but standard and checkable.
  • standard math The fermionic partial-trace representation (A2) yields commuting transfer matrices τ(λ).
    Proved in Appendix A using cyclicity of trace and representation of Majorana algebra.
  • domain assumption The Jordan-Wigner transformation maps the 2N-Majorana anti-periodic chain to the periodic spin chain with parity projection.
    Standard mapping; the paper uses it to pass from (16) to (24)-(26).
  • domain assumption The identity U^2(1+P)=T(1+P) on the parity-even subalgebra (used to derive Eq. 40).
    Quoted from [40,42] and argued from the action on the even subalgebra; needed to interpret D_±^2 as half translations.
  • ad hoc to paper The circuit-transfer matrix identification V(Ω)=τ(-ω/2|ω)^{-1}τ(ω/2|ω) holds as an operator identity on the relevant Hilbert space.
    This is the load-bearing computational claim (Eqs. 19-22); it appears to require N≥2 and/or even-parity projection and fails for N=1.

pith-pipeline@v1.3.0-alltime-deepseek · 17003 in / 42513 out tokens · 320834 ms · 2026-08-03T23:50:54.678774+00:00 · methodology

0 comments
read the original abstract

Integrable trotterization} provides a method to evolve a continuous time integrable many-body system in discrete time, such that it retains its conserved quantities. Here we explicitly show that the first order trotterization of the critical {\it transverse field Ising model} is integrable. The discrete time conserved quantities are obtained from an inhomogeneous transfer matrix constructed using the {\it quantum inverse scattering method}. The inhomogeneity parameter determines the discrete time step. We then focus on the non-invertible {\it Kramers-Wannier} duality-symmetry for the trotterized evolution. We find that the discretization of both space and time leads to a doubling of these duality operators. They account for discrete translations in both space and time. As an interesting application, we find that these operators also provide maps between trotterizations of different orders. This helps us extend our results beyond the trotterization scheme and investigate the Kramers-Wannier duality-symmetry for finite time Floquet evolution of the critical transverse field Ising chain. {Finally, we investigate how these non-invertible operators shape the phase diagram of the discrete-time evolution. This question is particularly interesting in the Floquet setting, which is known to host a richer phase structure than its undriven counterpart. We systematically construct the necessary operators which relate different phases away from criticality for both trotterized and Floquet evolutions.

Figures

Figures reproduced from arXiv: 2511.03947 by Akash Sinha, Pramod Padmanabhan, Vladimir Korepin.

Figure 1
Figure 1. Figure 1: FIG. 1. We can think of [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

64 extracted references · 6 linked inside Pith

  1. [1]

    Zur theorie der metalle: I. eigenwerte und eigenfunktionen der linearen atomkette,

    H. Bethe, “Zur theorie der metalle: I. eigenwerte und eigenfunktionen der linearen atomkette,”Zeitschrift f¨ ur Physik, vol. 71, no. 3, pp. 205–226, 1931

  2. [2]

    How algebraic bethe ansatz works for inte- grable model,

    L. Faddeev, “How algebraic bethe ansatz works for inte- grable model,”arXiv preprint hep-th/9605187, 1996

  3. [3]

    V. E. Korepin, N. Bogoliubov, and A. Izergin,Quan- tum inverse scattering method and correlation functions, vol. 3. Cambridge university press, 1997

  4. [4]

    Quantum version of the method of inverse scattering problem,

    “Quantum version of the method of inverse scattering problem,”Journal of Soviet Mathematics, vol. 19, no. 5, pp. 1546–1596, 1982

  5. [5]

    The quantum inverse problem method. 1,

    L. D. Faddeev, E. K. Sklyanin, and L. A. Takhtajan, “The quantum inverse problem method. 1,”Theor. Math. Phys, vol. 40, no. 2, pp. 688–706, 1980

  6. [6]

    Conserved charges in the quantum simulation of integrable spin chains,

    K. Maruyoshi, T. Okuda, J. W. Pedersen, R. Suzuki, M. Yamazaki, and Y. Yoshida, “Conserved charges in the quantum simulation of integrable spin chains,”Journal of Physics A: Mathematical and Theoretical, vol. 56, no. 16, p. 165301, 2023

  7. [7]

    Simulation of the 1d xy model on a quantum computer,

    M. Farreras and A. Cervera-Lierta, “Simulation of the 1d xy model on a quantum computer,”SciPost Physics Lecture Notes, p. 095, 2025

  8. [8]

    Quantum utility in simulating the real-time dynamics of the fermi-hubbard model using superconducting quan- tum computers,

    T. A. Chowdhury, V. Korepin, V. R. Pascuzzi, and K. Yu, “Quantum utility in simulating the real-time dynamics of the fermi-hubbard model using superconducting quan- tum computers,”arXiv preprint arXiv:2509.14196, 2025

  9. [9]

    Universal quantum simulators,

    S. Lloyd, “Universal quantum simulators,”Science, vol. 273, no. 5278, pp. 1073–1078, 1996

  10. [10]

    Universal digi- tal quantum simulation with trapped ions,

    B. P. Lanyon, C. Hempel, D. Nigg, M. M¨ uller, R. Ger- ritsma, F. Z¨ ahringer, P. Schindler, J. T. Barreiro, M. Rambach, G. Kirchmair,et al., “Universal digi- tal quantum simulation with trapped ions,”Science, vol. 334, no. 6052, pp. 57–61, 2011

  11. [11]

    Nearly optimal lattice sim- ulation by product formulas,

    A. M. Childs and Y. Su, “Nearly optimal lattice sim- ulation by product formulas,”Physical review letters, vol. 123, no. 5, p. 050503, 2019

  12. [12]

    Char- acterization and verification of trotterized digital quan- tum simulation via hamiltonian and liouvillian learning,

    L. Pastori, T. Olsacher, C. Kokail, and P. Zoller, “Char- acterization and verification of trotterized digital quan- tum simulation via hamiltonian and liouvillian learning,” PRX Quantum, vol. 3, no. 3, p. 030324, 2022

  13. [13]

    Low-depth quantum sim- ulation of materials,

    R. Babbush, N. Wiebe, J. McClean, J. McClain, H. Neven, and G. K.-L. Chan, “Low-depth quantum sim- ulation of materials,”Phys. Rev. X, vol. 8, p. 011044, Mar 2018

  14. [14]

    Quan- tum utility-scale error mitigation for quantum quench dynamics in heisenberg spin chains,

    S. Choi, T. A. Chowdhury, and K. Yu, “Quan- tum utility-scale error mitigation for quantum quench dynamics in heisenberg spin chains,”arXiv preprint arXiv:2506.20125, 2025

  15. [15]

    On the product of semi-groups of opera- tors,

    H. F. Trotter, “On the product of semi-groups of opera- tors,”Proceedings of the American Mathematical Society, vol. 10, no. 4, pp. 545–551, 1959. 9

  16. [16]

    Generalized trotter’s formula and system- atic approximants of exponential operators and inner derivations with applications to many-body problems,

    M. Suzuki, “Generalized trotter’s formula and system- atic approximants of exponential operators and inner derivations with applications to many-body problems,” Communications in Mathematical Physics, vol. 51, no. 2, pp. 183–190, 1976

  17. [17]

    Decomposition formulas of exponential op- erators and lie exponentials with some applications to quantum mechanics and statistical physics,

    M. Suzuki, “Decomposition formulas of exponential op- erators and lie exponentials with some applications to quantum mechanics and statistical physics,”Journal of mathematical physics, vol. 26, no. 4, pp. 601–612, 1985

  18. [18]

    Integrable trot- terization: Local conservation laws and boundary driv- ing,

    M. Vanicat, L. Zadnik, and T. Prosen, “Integrable trot- terization: Local conservation laws and boundary driv- ing,”Physical review letters, vol. 121, no. 3, p. 030606, 2018

  19. [19]

    Ballistic spin transport in a periodically driven integrable quan- tum system,

    M. Ljubotina, L. Zadnik, and T. Prosen, “Ballistic spin transport in a periodically driven integrable quan- tum system,”Physical review letters, vol. 122, no. 15, p. 150605, 2019

  20. [20]

    Rigorous bounds on dynamical response functions and time- translation symmetry breaking,

    M. Medenjak, T. Prosen, and L. Zadnik, “Rigorous bounds on dynamical response functions and time- translation symmetry breaking,”SciPost Physics, vol. 9, no. 1, p. 003, 2020

  21. [21]

    Bethe ansatz solutions for certain periodic quantum circuits,

    I. L. Aleiner, “Bethe ansatz solutions for certain periodic quantum circuits,”Annals of Physics, vol. 433, p. 168593, 2021

  22. [22]

    Temporal en- tanglement, quasiparticles, and the role of interactions,

    G. Giudice, G. Giudici, M. Sonner, J. Thoenniss, A. Lerose, D. A. Abanin, and L. Piroli, “Temporal en- tanglement, quasiparticles, and the role of interactions,” Physical review letters, vol. 128, no. 22, p. 220401, 2022

  23. [23]

    Correlations and commuting transfer matrices in inte- grable unitary circuits,

    P. W. Claeys, J. Herzog-Arbeitman, and A. Lamacraft, “Correlations and commuting transfer matrices in inte- grable unitary circuits,”SciPost Physics, vol. 12, no. 1, p. 007, 2022

  24. [24]

    In- tegrable digital quantum simulation: Generalized gibbs ensembles and trotter transitions,

    E. Vernier, B. Bertini, G. Giudici, and L. Piroli, “In- tegrable digital quantum simulation: Generalized gibbs ensembles and trotter transitions,”Physical Review Let- ters, vol. 130, no. 26, p. 260401, 2023

  25. [25]

    Strong zero modes in integrable quantum circuits,

    E. Vernier, H.-C. Yeh, L. Piroli, and A. Mitra, “Strong zero modes in integrable quantum circuits,”Physical Re- view Letters, vol. 133, no. 5, p. 050606, 2024

  26. [26]

    Integrability of open bound- ary driven quantum circuits,

    C. Paletta and T. Prosen, “Integrability of open bound- ary driven quantum circuits,”SciPost Physics, vol. 18, no. 1, p. 027, 2025

  27. [27]

    Quantum simulating continuum field theories with large-spin lattice models,

    G. Calliari, M. Di Liberto, H. Pichler, and T. V. Zache, “Quantum simulating continuum field theories with large-spin lattice models,”PRX Quantum, vol. 6, July 2025

  28. [28]

    The Yang–Baxter integrability of the critical Ising chain,

    A. Sinha, T. Justin, P. Padmanabhan, and V. Kore- pin, “The Yang–Baxter integrability of the critical Ising chain,”J. Stat. Mech., vol. 2025, no. 10, p. 103102, 2025

  29. [29]

    Matchgates and classical sim- ulation of quantum circuits,

    R. Jozsa and A. Miyake, “Matchgates and classical sim- ulation of quantum circuits,”Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sci- ences, vol. 464, no. 2100, pp. 3089–3106, 2008

  30. [30]

    A new class of completely integrable quan- tum spin chains,

    T. Prosen, “A new class of completely integrable quan- tum spin chains,”Journal of Physics A: Mathematical and General, vol. 31, no. 21, p. L397, 1998

  31. [31]

    Exact time-correlation functions of quantum ising chain in a kicking transversal magnetic field spectral analysis of the adjoint propagator in heisenberg picture,

    T. Prosen, “Exact time-correlation functions of quantum ising chain in a kicking transversal magnetic field spectral analysis of the adjoint propagator in heisenberg picture,” Progress of Theoretical Physics Supplement, vol. 139, pp. 191–203, 2000

  32. [32]

    Integrable floquet dy- namics,

    V. Gritsev and A. Polkovnikov, “Integrable floquet dy- namics,”SciPost Physics, vol. 2, no. 3, p. 021, 2017

  33. [33]

    Phase structure of driven quantum systems,

    V. Khemani, A. Lazarides, R. Moessner, and S. L. Sondhi, “Phase structure of driven quantum systems,” Physical review letters, vol. 116, no. 25, p. 250401, 2016

  34. [34]

    Phase struc- ture of one-dimensional interacting floquet systems. i. abelian symmetry-protected topological phases,

    C. W. von Keyserlingk and S. L. Sondhi, “Phase struc- ture of one-dimensional interacting floquet systems. i. abelian symmetry-protected topological phases,”Phys. Rev. B, vol. 93, p. 245145, Jun 2016

  35. [35]

    Phase struc- ture of one-dimensional interacting floquet systems. ii. symmetry-broken phases,

    C. W. von Keyserlingk and S. L. Sondhi, “Phase struc- ture of one-dimensional interacting floquet systems. ii. symmetry-broken phases,”Physical Review B, vol. 93, no. 24, p. 245146, 2016

  36. [36]

    Floquet quantum criticality,

    W. Berdanier, M. Kolodrubetz, S. Parameswaran, and R. Vasseur, “Floquet quantum criticality,”Proceedings of the National Academy of Sciences, vol. 115, no. 38, pp. 9491–9496, 2018

  37. [37]

    To be precise, the authors in [33–36] study the evolution V(ΩA,Ω B) without the boundary termX N X1

  38. [38]

    Statistics of the two-dimensional ferromagnet. part i,

    H. A. Kramers and G. H. Wannier, “Statistics of the two-dimensional ferromagnet. part i,”Phys. Rev., vol. 60, pp. 252–262, 1941

  39. [39]

    Statistics of the two- dimensional ferromagnet. part ii,

    H. A. Kramers and G. H. Wannier, “Statistics of the two- dimensional ferromagnet. part ii,”Phys. Rev., vol. 60, pp. 263–276, 1941

  40. [40]

    Non-invertible symmetries and lsm-type constraints on a tensor product hilbert space,

    N. Seiberg, S. Seifnashri, and S.-H. Shao, “Non-invertible symmetries and lsm-type constraints on a tensor product hilbert space,”SciPost Phys., vol. 16, no. 6, p. 154, 2024

  41. [41]

    Majorana chain and ising model – (non-invertible) translations, anomalies, and em- anant symmetries,

    N. Seiberg and S.-H. Shao, “Majorana chain and ising model – (non-invertible) translations, anomalies, and em- anant symmetries,”SciPost Phys., vol. 16, no. 3, p. 064, 2024

  42. [42]

    What’s done cannot be undone: Tasi lectures on non-invertible symmetries

    S.-H. Shao, “What’s done cannot be undone: Tasi lectures on non-invertible symmetries.” arXiv preprint arXiv:2308.00747, 2023

  43. [43]

    Kramers-wannier self- duality and non-invertible translation symmetry in quan- tum chains: a wave-function perspective,

    H.-C. Zhang and G. Sierra, “Kramers-wannier self- duality and non-invertible translation symmetry in quan- tum chains: a wave-function perspective,”Journal of High Energy Physics, vol. 2025, May 2025

  44. [44]

    Topological defects on the lattice: I. the ising model,

    D. Aasen, R. S. Mong, and P. Fendley, “Topological defects on the lattice: I. the ising model,”Journal of Physics A: Mathematical and Theoretical, vol. 49, no. 35, p. 354001, 2016

  45. [45]

    Topological de- fects on the lattice: dualities and degeneracies,

    D. Aasen, P. Fendley, and R. S. Mong, “Topological de- fects on the lattice: dualities and degeneracies,”arXiv preprint arXiv:2008.08598, 2020

  46. [46]

    Topological defects in Floquet circuits,

    M. T. Tan, Y. Wang, and A. Mitra, “Topological defects in Floquet circuits,”SciPost Phys., vol. 16, p. 075, 2024

  47. [47]

    Systematic construction of kramers-wannier- like dualities in quantum lattice models from integrabil- ity,

    R.-D. Zhu, “Systematic construction of kramers-wannier- like dualities in quantum lattice models from integrabil- ity,”arXiv preprint arXiv:2509.01853, 2025

  48. [48]

    Light-cone lattice approach to fermionic theories in 2d: The massive thirring model,

    C. Destri and H. De Vega, “Light-cone lattice approach to fermionic theories in 2d: The massive thirring model,” Nuclear Physics B, vol. 290, pp. 363–391, 1987

  49. [49]

    We provide the relevant details in Appendix C

    Interestingly, our construction using the inhomogeneous transfer matrix can generate the entire Onsager algebra as well. We provide the relevant details in Appendix C

  50. [50]

    M. A. Nielsen and I. L. Chuang,Quantum computation and quantum information. Cambridge university press, 2010

  51. [51]

    Spectrum of a duality-twisted ising quantum chain,

    U. Grimm, “Spectrum of a duality-twisted ising quantum chain,”Journal of Physics A: Mathematical and General, vol. 35, no. 3, p. L25, 2002

  52. [52]

    The ising quantum chain with defects (i). the exact solution,

    M. Henkel, A. Patk´ os, and M. Schlottmann, “The ising quantum chain with defects (i). the exact solution,”Nu- clear Physics B, vol. 314, no. 3, pp. 609–624, 1989. 10

  53. [53]

    The ising quantum chain with defects (ii). the so (2n) kac-moody spectra,

    M. Baake, P. Chaselon, and M. Schlottmann, “The ising quantum chain with defects (ii). the so (2n) kac-moody spectra,”Nuclear Physics B, vol. 314, no. 3, pp. 625–645, 1989

  54. [54]

    Entanglement Entropy in the Ising Model with Topological Defects,

    A. Roy and H. Saleur, “Entanglement Entropy in the Ising Model with Topological Defects,”Phys. Rev. Lett., vol. 128, no. 9, p. 090603, 2022

  55. [55]

    Roy and H

    A. Roy and H. Saleur,Entanglement Entropy in Criti- cal Quantum Spin Chains with Boundaries and Defects. 2022

  56. [56]

    Entanglement entropy and negativity in the Ising model with defects,

    D. Rogerson, F. Pollmann, and A. Roy, “Entanglement entropy and negativity in the Ising model with defects,” JHEP, vol. 06, p. 165, 2022

  57. [57]

    Noninte- grable Floquet Ising model with duality twisted bound- ary conditions,

    A. Mitra, H.-C. Yeh, F. Yan, and A. Rosch, “Noninte- grable Floquet Ising model with duality twisted bound- ary conditions,”Phys. Rev. B, vol. 107, no. 24, p. 245416, 2023

  58. [58]

    Duality defect in a deformed transverse-field Ising model,

    F. Yan, R. Konik, and A. Mitra, “Duality defect in a deformed transverse-field Ising model,”Phys. Rev. Res., vol. 7, no. 3, p. 033198, 2025

  59. [59]

    Isolated zero mode in a quantum computer from a du- ality twist,

    S. Samanta, D. S. Wang, A. Rahmani, and A. Mitra, “Isolated zero mode in a quantum computer from a du- ality twist,” 8 2023

  60. [60]

    Exact zero modes in twisted kitaev chains,

    K. Kawabata, R. Kobayashi, N. Wu, and H. Katsura, “Exact zero modes in twisted kitaev chains,”Physical Review B, vol. 95, no. 19, p. 195140, 2017

  61. [61]

    Crystal statistics. i. a two-dimensional model with an order-disorder transition,

    L. Onsager, “Crystal statistics. i. a two-dimensional model with an order-disorder transition,”Physical re- view, vol. 65, no. 3-4, p. 117, 1944

  62. [62]

    Conserved charges from self- duality,

    L. Dolan and M. Grady, “Conserved charges from self- duality,”Physical Review D, vol. 25, no. 6, p. 1587, 1982

  63. [63]

    Star-triangle equations, quantum lax pairs, and higher genus curves,

    J. H. Perk, “Star-triangle equations, quantum lax pairs, and higher genus curves,”Theta Functions–Bowdoin 1987, vol. 49, pp. 341–354, 1989

  64. [64]

    Onsager’s algebra and superintegrability,

    B. Davies, “Onsager’s algebra and superintegrability,” Journal of Physics A: Mathematical and General, vol. 23, no. 12, p. 2245, 1990. Appendix A: Commuting transfer matrices Here we give the details on the commutativity of the transfer matrices, which follows from (12). Since we need to take partial trace over the auxiliary indices, it is desirable to lo...