Completing the operator-algebraic renormalization construction of the critical two-dimensional Ising fixed point: reconciliation with the exact Ising QFT/CFT, sector structure, stability, and real-time dynamics

Operator-algebraic renormalization (OAR) — a renormalization group scheme implemented by wavelet coarse-graining channels on quasi-local operator algebras — yields an explicit analytic description of the renormalization group fixed point of the two-dimensional Ising model at criticality (Stottmeister and Osborne, Scientific Reports 2023): the fixed-point tensor has infinite bond dimension, and its correlation functions are generated by a quasi-free fermionic state whose two-point function is that of the chiral Majorana conformal field theory, so that equal-time spin-spin correlators reduce to Pfaffians of fermionic two-point kernels and to Toeplitz determinants with continuum entries. The Letter completes only this quasi-free, Neveu-Schwarz-sector skeleton and explicitly defers the rest. The open problem is to finish the construction: reconcile the OAR scaling-limit spin-spin correlation functions with the exact Ising scaling-limit formulas (Toeplitz-determinant asymptotics, the Sato-Miwa-Jimbo holonomic quantum field theory, and the McCoy-Tracy-Wu n-point functions), construct the spin-field (order-parameter) operator within the OAR scaling-limit algebra, realize the remaining continuum sectors such as the Ramond sector at finite volume, determine the stability and universality of the critical fixed point under the OAR flow beyond the quasi-free state manifold, and control the real-time dynamics of the Jordan-Wigner tail operator needed for dynamical spin correlations. No published completion of any of these components is known in the literature to date.

Background

The two-dimensional Ising model on the square lattice, with reduced couplings $K_1,K_2$ in the two lattice directions and critical line $K_1=K_2^{\ast}$ (where $\tanh K_2^{\ast}=e^{-2K_2}$; isotropically $K_{\mathrm{c}}=\tfrac{1}{2}\ln(1+\sqrt{2})$), is the paradigmatic exactly solved statistical system. Its exact solution rests on the transfer-matrix formulation: the partition function and correlation functions are expressed through a horizontal transfer matrix $V_M$ acting on one row of $2M+1$ spins, and the Jordan-Wigner transformation — a bijection between Pauli spin operators and canonically anticommuting lattice fermions — renders $V_M$ quadratic in fermion creation and annihilation operators. Consequently every state induced by $V_M$ is quasi-free (Gaussian), meaning it is determined entirely by its fermionic two-point function, and all its fermionic n-point functions reduce to Pfaffians (square roots of determinants of antisymmetric matrices built from the two-point kernel). Montroll, Potts and Ward showed that the spin-spin correlation functions reduce to Toeplitz determinants — determinants whose entries depend only on the difference of their indices — whose large-distance asymptotics yield the critical power laws, e.g., the spin two-point function decaying as $|x-y|^{-1/4}$.

In the scaling limit (lattice spacing sent to zero at fixed physical separation), the critical model converges to the Ising conformal field theory (CFT), the $c=\tfrac{1}{2}$ theory of two chiral Majorana fermions, and its massive deformation is the Ising quantum field theory (QFT). The fermion boundary conditions on the spatial circle separate the Neveu-Schwarz sector (anti-periodic fermions, containing the vacuum) from the Ramond sector (periodic fermions, containing the spin-field representations). The exact continuum correlation functions of the spin (order-parameter) field were obtained in the 1970s: explicit n-point formulas by McCoy, Tracy and Wu, Abraham, and Bariev, embedded in the holonomic quantum field theory of Sato, Miwa and Jimbo (a framework in which the Ising correlations satisfy holonomic systems of differential equations); Ruijsenaars constructed the spin-field operator itself, by Bogoliubov transformations on the continuum fermionic Fock space, and Palmer and Tracy proved convergence of the Ising correlations to their scaling limits. Conformal invariance of the critical spin correlations has since been proved rigorously by independent discrete-complex-analysis methods (Chelkak, Hongler and Izyurov). These results constitute the exact side against which any new construction of the critical theory must be checked.

A separate line of development is the renormalization group (RG) as an explicit coarse-graining dynamics in the sense of Kadanoff-Wilson block transformations, realized numerically by tensor network methods: the tensor renormalization group and its entanglement-filtering refinements (tensor network renormalization, TNR), which are dual to the multi-scale entanglement renormalization ansatz (MERA). For classical lattice models these methods converge to a finite fixed-point tensor away from criticality, but at criticality the fixed-point tensor is expected to require infinite bond dimension, and explicitly computing it has been an outstanding challenge. Operator-algebraic renormalization (OAR) is a mathematically rigorous version of such a scheme: the RG step is a trace-preserving completely positive channel acting on the quasi-local operator algebra of a spin chain, whose dual channel is implemented by wavelet isometries — the isometry is built from the low-pass filter of a compactly supported scaling function $s$ satisfying a refinement equation, so that continuum fields are probed through the smearing $(\xi\ast s)(x)=\sum_j\xi_j s(x-j)$. The program was developed by Stottmeister, Morinelli, Morsella and Tanimoto and by Osborne and Stottmeister, the latter deriving conformal two-point functions from lattice fermions with explicit error bounds.

The source Letter applies OAR to the two-dimensional classical Ising model by treating the symmetrized transfer matrix as a density matrix of the transverse-field Ising quantum chain and coarse-graining it. It analytically computes the action of the OAR group on the transfer operator, exhibits the critical fixed point as an infinite-bond-dimension fixed-point tensor, and shows that the fixed-point fermionic two-point functions are exactly the vacuum two-point functions of the two chiral Majorana fields of the $c=\tfrac{1}{2}$ CFT (Neveu-Schwarz sector), with explicit error bounds $\delta\le 2^{-m}C_{T}$ for sufficiently regular scaling functions, where $m$ is the number of RG steps. It further observes that within the manifold of quasi-free states the critical point is unstable — non-critical couplings flow to the disorder (Fock) or order (anti-Fock) fixed points — and expresses the fixed-point spin-spin correlators as Pfaffians of the two-point kernel, reducing to Toeplitz determinants whose entries are the continuum (scaling-limit) covariances rather than lattice ones. What the Letter explicitly defers is the subject of the problem below: the detailed reconciliation of the spin correlation functions with the exact Ising QFT/CFT formulas and the construction of the spin-field operator; the other continuum sectors (e.g., the Ramond sector) and finite-volume realizations; the stability/universality analysis of the fixed point for non-quasi-free perturbations; and the control of real-time dynamical spin correlations, which in the Jordan-Wigner picture requires the tail operator — the infinite-volume remnant of the fermionic string in $\sigma^{(3)}_j=TS_j(a_j+a^{\dagger}_j)$, a self-adjoint unitary in the crossed product (the algebra generated by the fermion algebra together with $T$) — whose Heisenberg-time evolution is only formally sketched in the supplementary material via a Dyson series.

Problem Statement

Complete the operator-algebraic renormalization construction of the renormalization group fixed point of the two-dimensional Ising model at criticality, so that the OAR scaling limit is identified with — not merely analogous to — the exactly solved critical Ising theory. In the terms of the source Letter (Stottmeister and Osborne, Scientific Reports 2023), this comprises four jointly linked components:

(a) Correlator reconciliation and the spin field. Establish in full rigor that the scaling-limit spin-spin correlation functions produced by the OAR fixed point — the Pfaffian/Toeplitz-determinant expressions built from the continuum quasi-free two-point kernel — coincide with the exact Ising scaling-limit results: the Toeplitz-determinant representation and its asymptotics (Montroll-Potts-Ward), the n-point functions of McCoy-Tracy-Wu, Abraham, and Bariev, and the Sato-Miwa-Jimbo holonomic quantum field theory, with all conventions (smearing by the scaling function, field normalizations, sector and boundary conditions) pinned; and construct the spin-field (order-parameter) operator explicitly as an operator in the OAR scaling-limit algebra, in the spirit of Ruijsenaars' Bogoliubov-transformation construction.

(b) Sector structure and finite volume. Construct the fixed points corresponding to the other continuum sectors of the Ising CFT — in particular the Ramond sector — by realizing the OAR flow at finite volume with the appropriate boundary conditions, which the Letter states will be 'discussed elsewhere'.

(c) Stability and universality. Analyze the stability of the critical fixed point under the OAR flow beyond the manifold of quasi-free (Gaussian) states: the Letter establishes instability only within the quasi-free family (flow towards the order/disorder fixed points) and explicitly declines to address the question 'in full detail', i.e., for arbitrary non-quasi-free perturbations of the fixed point; a complete answer characterizes which perturbations are relevant and which are driven back to the critical fixed point.

(d) Real-time dynamics. Complete the operator-algebraic control of the Jordan-Wigner tail operator $T$ in the infinite-volume crossed-product framework: the supplementary material only writes the Dyson-series expressions for $T\tau_t(T)$ and their renormalized counterparts, without convergence or norm estimates, so the real-time (analytically continued) spin-spin correlation functions of the critical model are not yet actually evaluated.

These components jointly support one objective — elevating the OAR critical fixed point from a quasi-free, Neveu-Schwarz-sector description to a full equivalence with the exact Ising CFT/QFT — and an answer that silently drops one of (a)-(d) does not complete the program the source poses.

References

1. Alexander Stottmeister and Tobias J. Osborne, 'On the renormalization group fixed point of the two-dimensional Ising model at criticality', Scientific Reports 13, 14859 (2023). DOI: 10.1038/s41598-023-42005-4, arXiv:2304.03224, https://doi.org/10.1038/s41598-023-42005-4
2. Lars Onsager, 'Crystal Statistics. I. A Two-Dimensional Model with an Order-Disorder Transition', Physical Review 65, 117-149 (1944). DOI: 10.1103/PhysRev.65.117, https://doi.org/10.1103/PhysRev.65.117
3. T. D. Schultz, D. C. Mattis and E. H. Lieb, 'Two-Dimensional Ising Model as a Soluble Problem of Many Fermions', Reviews of Modern Physics 36, 856-871 (1964). DOI: 10.1103/RevModPhys.36.856, https://doi.org/10.1103/RevModPhys.36.856
4. Elliott W. Montroll, Renfrey B. Potts and John C. Ward, 'Correlations and Spontaneous Magnetization of the Two-Dimensional Ising Model', Journal of Mathematical Physics 4, 308-322 (1963). DOI: 10.1063/1.1703955, https://doi.org/10.1063/1.1703955
5. Barry M. McCoy, Craig A. Tracy and Tai Tsun Wu, 'Two-Dimensional Ising Model as an Exactly Solvable Relativistic Quantum Field Theory: Explicit Formulas for n-Point Functions', Physical Review Letters 38, 793-796 (1977). DOI: 10.1103/PhysRevLett.38.793, https://doi.org/10.1103/PhysRevLett.38.793
6. D. B. Abraham, 'n-point functions for the rectangular Ising ferromagnet', Physics Letters A 61, 271-274 (1977). DOI: 10.1016/0375-9601(77)90159-1, https://doi.org/10.1016/0375-9601(77)90159-1
7. R. Z. Bariev, 'Many-point correlation functions of the two-dimensional Ising model', Physics Letters A 64, 169-171 (1977). DOI: 10.1016/0375-9601(77)90704-6, https://doi.org/10.1016/0375-9601(77)90704-6
8. Mikio Sato, Tetsuji Miwa and Michio Jimbo, 'Holonomic quantum fields, V', Publications of the Research Institute for Mathematical Sciences 16, 531-584 (1980). DOI: 10.2977/prims/1195187216, https://doi.org/10.2977/prims/1195187216
9. S. N. M. Ruijsenaars, 'Integrable quantum field theories and Bogoliubov transformations', Annals of Physics 132, 328-382 (1981). DOI: 10.1016/0003-4916(81)90071-3, https://doi.org/10.1016/0003-4916(81)90071-3
10. John Palmer and Craig Tracy, 'Two-dimensional Ising correlations: Convergence of the scaling limit', Advances in Applied Mathematics 2, 329-388 (1981). DOI: 10.1016/0196-8858(81)90010-5, https://doi.org/10.1016/0196-8858(81)90010-5
11. Dmitry Chelkak, Clément Hongler and Konstantin Izyurov, 'Conformal invariance of spin correlations in the planar Ising model', Annals of Mathematics 181, 1087-1138 (2015). DOI: 10.4007/annals.2015.181.3.5, https://doi.org/10.4007/annals.2015.181.3.5
12. Alexander Stottmeister, Vincenzo Morinelli, Gerardo Morsella and Yoh Tanimoto, 'Operator-Algebraic Renormalization and Wavelets', Physical Review Letters 127, 230601 (2021). DOI: 10.1103/PhysRevLett.127.230601, https://doi.org/10.1103/PhysRevLett.127.230601
13. Vincenzo Morinelli, Gerardo Morsella, Alexander Stottmeister and Yoh Tanimoto, 'Scaling Limits of Lattice Quantum Fields by Wavelets', Communications in Mathematical Physics 387, 299-360 (2021). DOI: 10.1007/s00220-021-04152-5, https://doi.org/10.1007/s00220-021-04152-5
14. Tobias J. Osborne and Alexander Stottmeister, 'Conformal Field Theory from Lattice Fermions', Communications in Mathematical Physics 398, 219-289 (2023). DOI: 10.1007/s00220-022-04521-8, https://doi.org/10.1007/s00220-022-04521-8
15. Tom Kennedy and Slava Rychkov, 'Tensor RG Approach to High-Temperature Fixed Point', Journal of Statistical Physics 187, 33 (2022). DOI: 10.1007/s10955-022-02924-4, https://doi.org/10.1007/s10955-022-02924-4
16. Lauritz van Luijk, Alexander Stottmeister and Reinhard F. Werner, 'Convergence of Dynamics on Inductive Systems of Banach Spaces', Annales Henri Poincaré 25, 4931-4986 (2024). DOI: 10.1007/s00023-024-01413-6, arXiv:2306.16063, https://doi.org/10.1007/s00023-024-01413-6
17. Lauritz van Luijk, Alexander Stottmeister and Henrik Wilming, 'Critical fermions are universal embezzlers', Nature Physics 21, 1141-1146 (2025). DOI: 10.1038/s41567-025-02921-w, arXiv:2406.11747, https://doi.org/10.1038/s41567-025-02921-w
18. Jutho Haegeman, Laurens Lootens, Quinten Mortier, Alexander Stottmeister, Atsushi Ueda and Frank Verstraete, 'Interacting chiral fermions on the lattice with matrix product operator norms', arXiv:2405.10285 (2024), https://arxiv.org/abs/2405.10285
19. Lorenzo Siro Trezzini, Alessandro Bisio and Paolo Perinotti, 'Renormalisation of Quantum Cellular Automata', Quantum 9, 1756 (2025). DOI: 10.22331/q-2025-05-28-1756, arXiv:2407.12652, https://doi.org/10.22331/q-2025-05-28-1756
20. Alessia Kera, Lauritz van Luijk, Alexander Stottmeister and Henrik Wilming, 'Gaussian fermionic embezzlement of entanglement', arXiv:2509.15749 (2025), https://arxiv.org/abs/2509.15749