Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Separator Compression of the Complete Spin-Structure Family for Cubic-Lattice Ising Strips

Hainan Zhao

Published Aug 8, 2026• 0 citations
Publisher

Abstract

Corrected version. We prove an exact separator-compression theorem for the complete pre-Arf spin-structure family of zero-field Ising models on cubic-lattice strips G_{n,w}=P_n x P_w x P_w. This version corrects the internal-cut character-duality proof: lambda_a uses PD(b_i), while lambda_b uses PD(a_i); the former longitude-H3 step is withdrawn and replaced by an arbitrary-width pushed-off-meridian proof with exact triangular-transport and two-route replay firewalls. The all-sector tensor train has denominator-free bond at most 2^(w^2-1), with generic equality for independent nonuniform weights at every width. For cubic boxes the remaining carrier is still 2^(L^2-1); no thermodynamic limit, exact critical temperature, critical exponents, or exact solution of the three-dimensional Ising model is claimed. The record contains the corrected paper, standalone source, deterministic proof/replay archive, and checksums.

DOI
10.5281/zenodo.21845272

Related papers

High-temperature series for the susceptibility of the spin- s Ising model: Analysis of confluent singularities

William J. Camp, John P. VAN DYKE

We have extended the series for the zero-field susceptibility of the spin-$s$ Ising model through tenth order in the reduced inverse temperature $K$ on the square, triangular, simple-cubic, body-centered-cubic, and face-centered-cubic lattices. The series coefficients ${h}_{n}(s)$ are expressed as simple polynomials in $X=s(s+1)$. Using extended methods of analysis we have estimated the nature of the leading singularities on the face-centered lattice and conclude with good confidence that the susceptibility exponent ${\ensuremath{\gamma}}_{1}$ equals 1.25, independent of $s$. The exponent of the leading correction term is estimated to be ${\ensuremath{\gamma}}_{2}\ensuremath{\simeq}0.75\ifmmode\pm\else\textpm\fi{}0.08$ in good agreement with renormalization-group theory. For $s=\frac{1}{2}$ only, the amplitude of the confluent correction apparently vanishes. We have also studied the leading singularities on the triangular lattice and conclude that ${\ensuremath{\gamma}}_{1}=\frac{7}{4}$, independent of $s$, with, however, much stronger corrections than in three dimensions. These results provide a very strong corroboration of the universality hypothesis.

Physical review. B, Solid state•Apr 1, 1975•148 citations

On the partition function for the three-dimensional Ising model

Yogendra P. Valani

Our aim is to investigate the critical behaviour of lattice spin models such as the three-dimensional Ising model in the thermodynamic limit. The exact partition functions (typically summed over the order of 1075 states) for finite simple cubic Ising lattices are computed using a transfer matrix approach. Q-state Potts model partition functions on two- and three-dimensional lattices are also computed and analysed. Our results are analysed as distributions of zeros of the partition function in the complex-temperature plane. We then look at sequences of such distributions for sequences of lattices approaching the thermodynamic limit. For a controlled comparison, we show how a sequence of zero distributions for finite 2d Ising lattices tends to Onsager’s thermodynamic solution. Via such comparisons, we find evidence to suggest, for example, a thermodynamic limit singular point in the behaviour of the specific heat of the 3d Ising model.

•Aug 1, 2011•2 citations

Exact Solution for Three-Dimensional Ising Model

Degang Zhang

The three-dimensional Ising model in a zero external field is exactly solved by operator algebras, similar to the Onsager’s approach in two dimensions. The partition function of the simple cubic crystal imposed by the periodic boundary condition along two directions and the screw boundary condition along the third direction is calculated rigorously. In the thermodynamic limit an integral replaces a sum in the formula of the partition function. The critical temperatures, at which order–disorder transitions in the infinite crystal occur along three axis directions, are determined. The analytical expressions for the internal energy and the specific heat are also presented.

arXiv:2110.11233•Symmetry•Oct 1, 2021•6 citations

High-temperature series for the susceptibility of the spin- S Ising model

John P. VAN DYKE, William J. Camp

We have extended the series for the zero-field susceptibility of the spin-$S$ Ising model to eighth order in the reduced temperature $K$, on the triangular, simple cubic, body-centered-cubic, and face-centered-cubic lattices. The coefficients of these series ${h}_{n}(S)$ are expressed as simple polynomials in $X=S(S+1)$. For the face-centered-cubic lattice, an accurate polynomial fit to the critical point ${K}_{c}(S)$ is presented; and the apparent spin dependence of the critical exponent $\ensuremath{\gamma}$ is briefly discussed. The series are quite well behaved for all $S$. However, the large-$S$ series seems to exhibit more rapid apparent convergence.

Physical review. B, Solid state•Apr 1, 1974•42 citations

Finite Gluing of the Three-Dimensional Ising Free Energy

Yoshiki Ueoka

We construct a single reduced free-energy generator for the simple-cubic three-dimensional Ising model by finite gluing of complementary local relations. With the convention $\Phi=+\log Z/V$, the final object is $\Phi_3(K,H,L)=\Phi_0(K)+\Delta\Phi_H(K,H)+\Phi_{\rm FSS}(K,H,L),$ from which $M=\partial_H\Phi_3$, $\chi=\partial_H^2\Phi_3$, and $U_K=\partial_K\Phi_3$ are generated. The construction covers the high- and low-temperature regimes, the critical region, finite magnetic field, strong-field saturation, periodic-film finite size, and simultaneous finite $H$ and finite $L$. The materials and operations are separated explicitly. A diagnostic dimensional stage uses $d=1,2,4$ anchors in $\mu_c=-\log\tanh K_c$ to transport critical coordinates and positive film amplitudes toward $d=3$. The practical 3D generator then protects established 3D values of $K_c$, critical exponents, selected amplitude ratios, and scalar zero-field critical data. The zero-field term joins truncated simple-cubic high- and low-temperature series through a singular critical patch with $C^2$ matching. The inner magnetic increment joins an $O(K^2)$ high-temperature field expansion, a minimal 3D parametric critical free energy fixed only by the basic 3D anchors, and a low-temperature/cluster continuation using fixed quintic switches in $K$. A recovered $z^4$ strong-field expansion is integrated to an absolute free energy. The final inner-to-strong crossover is performed by constructing a monotone beta-CDF magnetization whose endpoint values and integral reproduce the two endpoint free energies, and then integrating that derivative; thus convexity is enforced at the free-energy level rather than by clipping observables. The periodic-film excess is built from dimensionally weighted 2D and leading 4D film surfaces in common correlation-length coordinates, with an $H$-independent residual stabilizer that preserves the $H=0$ axis. A previously reconstructed full 3D parametric equation-of-state benchmark and the full 3D finite-size scaling function are withheld from construction. The pure dimensional stage gives $K_c(3)=0.22301549$ and sub-percent estimates of $\beta$, $\delta$, and $\nu$. After 3D calibration, the final implementation passes 29/29 stated structural and numerical checks. In the withheld low-field window $|K-K_c|\le0.01$, $H\le0.1$, the magnetization has RMS relative error $1.21\%$ and maximum error $4.29\%$. The result is not an exact lattice solution; it is a finite, auditable reconstruction in which the input anchors, switch intervals, matching conditions, numerical tolerances, and validation data are kept distinct.

•Sep 2, 2026•0 citations

Finite Gluing of the Two-Dimensional Ising Free Energy

Yoshiki Ueoka

We test the Gluing Method on the square-lattice two-dimensional Ising model by reconstructing global free-energy generators from complementary local relations. The emphasis is kept explicit throughout: the inputs used as \emph{gluing material} are separated from quantities obtained \emph{after gluing} and from data reserved for validation. At zero magnetic field, Kramers--Wannier duality is absorbed into the coordinate $\tau=\log\sinh 2K$, so that the reduced free energy decomposes as $\Phi(\tau)=\tau/2+G(|\tau|)$. The gluing materials are then only a critical logarithmic local expansion and a low-order high-temperature outer expansion; the low-temperature sector is generated by duality rather than fitted independently. Positive flat weights preserve the prescribed critical asymptotics to every finite algebraic order. With one crossover parameter fixed from three scalar anchors, the resulting bulk free energy agrees with the exact Onsager benchmark at a maximum relative error of $1.915\times10^{-5}$ on the tested interval. Internal energy and specific heat are derived from the same glued generator. Zero-field finite-size corrections are organized separately as one-variable scaling functions multiplying $L^{-2},L^{-4},\ldots$. At nonzero field in the thermodynamic limit, the gluing materials are the established high-temperature, critical, and low-temperature local expansions of the universal Ising magnetic scaling free energy $\Phi_{\rm mag}(\eta)$, $\eta=m/|h|^{8/15}$. The low-temperature input contains the $|h|$ cusp associated with spontaneous symmetry breaking. Mapping the glued scaling free energy back to the square lattice through nonlinear scaling fields yields a single generator for the magnetic free-energy increment, magnetization, and susceptibility. The construction reproduces high-temperature linear response, the critical isotherm $M\propto |H|^{1/15}$, and the two one-sided limits $M(H\to0^\pm)=\pm M_0$ without separately fitting magnetization branches. Finally, finite size and finite field are combined in the scaling variables $x_t=Lm$ and $x_h=L^{15/8}h$. The two protected one-dimensional axes, a central mixed-response expansion, a low-temperature spectral-rounding relation, and a massive outer description are glued into a two-variable scaling surface $\mathcal Y_{\rm glue}(x_t,x_h)$. The resulting lattice free energy closes in the compact form $\Phi_L^{glue}(K,H)=\Phi_{lat}^{glue}(K,H)+\frac{\mathcal{Y}_{glue}(Lm,L^{15/8}h)- Y_{bulk}(Lm,L^{15/8}h)}{L^2}+O(L^{-4})$ where $m=m(r,H)$ and $h=h(r,H)$ are the nonlinear scaling fields and $Y_{\rm bulk}$ is the thermodynamic singular scaling surface expressed in the same variables. Thus all finite-size/finite-field information is carried by the excess $\mathcal Y_{\rm glue}-Y_{\rm bulk}$, while the thermodynamic lattice free energy remains the previously constructed $\Phi_{\rm lat}^{\rm glue}$. On eleven transfer-matrix points withheld from the construction, the blind free-energy test gives RMS absolute error $3.90\times10^{-4}$ and maximum absolute error $9.55\times10^{-4}$ in $\mathcal Y$. Differentiation of the same free energy produces finite-size magnetization and susceptibility; magnetization is especially stable on the low-temperature side, while the second derivative is more sensitive in crossover regions.

•Sep 2, 2026•0 citations
Corrected version. We prove an exact separator-compression theorem for the complete pre-Arf spin-structure family of zero-field Ising models on cubic-lattice strips G_{n,w}=P_n x P_w x P_w. This version corrects the internal-cut character-duality proof: lambda_a uses PD(b_i), while lambda_b uses PD(a_i); the former longitude-H3 step is withdrawn and replaced by an arbitrary-width pushed-off-meridian proof with exact triangular-transport and two-route replay firewalls. The all-sector tensor train has denominator-free bond at most 2^(w^2-1), with generic equality for independent nonuniform weights at every width. For cubic boxes the remaining carrier is still 2^(L^2-1); no thermodynamic limit, exact critical temperature, critical exponents, or exact solution of the three-dimensional Ising model is claimed. The record contains the corrected paper, standalone source, deterministic proof/replay archive, and checksums.
We have extended the series for the zero-field susceptibility of the spin-sss Ising model through tenth order in the reduced inverse temperature KKK on the square, triangular, simple-cubic, body-centered-cubic, and face-centered-cubic lattices. The series coefficients hn(s){h}_{n}(s)hn​(s) are expressed as simple polynomials in X=s(s+1)X=s(s+1)X=s(s+1). Using extended methods of analysis we have estimated the nature of the leading singularities on the face-centered lattice and conclude with good confidence that the susceptibility exponent ${\ensuremath{\gamma}}_{1}$ equals 1.25, independent of sss. The exponent of the leading correction term is estimated to be ${\ensuremath{\gamma}}_{2}\ensuremath{\simeq}0.75\ifmmode\pm\else\textpm\fi{}0.08$ in good agreement with renormalization-group theory. For s=12s=\frac{1}{2}s=21​ only, the amplitude of the confluent correction apparently vanishes. We have also studied the leading singularities on the triangular lattice and conclude that ${\ensuremath{\gamma}}_{1}=\frac{7}{4}$, independent of sss, with, however, much stronger corrections than in three dimensions. These results provide a very strong corroboration of the universality hypothesis.
Our aim is to investigate the critical behaviour of lattice spin models such as the three-dimensional Ising model in the thermodynamic limit. The exact partition functions (typically summed over the order of 1075 states) for finite simple cubic Ising lattices are computed using a transfer matrix approach. Q-state Potts model partition functions on two- and three-dimensional lattices are also computed and analysed. Our results are analysed as distributions of zeros of the partition function in the complex-temperature plane. We then look at sequences of such distributions for sequences of lattices approaching the thermodynamic limit. For a controlled comparison, we show how a sequence of zero distributions for finite 2d Ising lattices tends to Onsager’s thermodynamic solution. Via such comparisons, we find evidence to suggest, for example, a thermodynamic limit singular point in the behaviour of the specific heat of the 3d Ising model.
The three-dimensional Ising model in a zero external field is exactly solved by operator algebras, similar to the Onsager’s approach in two dimensions. The partition function of the simple cubic crystal imposed by the periodic boundary condition along two directions and the screw boundary condition along the third direction is calculated rigorously. In the thermodynamic limit an integral replaces a sum in the formula of the partition function. The critical temperatures, at which order–disorder transitions in the infinite crystal occur along three axis directions, are determined. The analytical expressions for the internal energy and the specific heat are also presented.
We have extended the series for the zero-field susceptibility of the spin-SSS Ising model to eighth order in the reduced temperature KKK, on the triangular, simple cubic, body-centered-cubic, and face-centered-cubic lattices. The coefficients of these series hn(S){h}_{n}(S)hn​(S) are expressed as simple polynomials in X=S(S+1)X=S(S+1)X=S(S+1). For the face-centered-cubic lattice, an accurate polynomial fit to the critical point Kc(S){K}_{c}(S)Kc​(S) is presented; and the apparent spin dependence of the critical exponent $\ensuremath{\gamma}$ is briefly discussed. The series are quite well behaved for all SSS. However, the large-SSS series seems to exhibit more rapid apparent convergence.
We construct a single reduced free-energy generator for the simple-cubic three-dimensional Ising model by finite gluing of complementary local relations. With the convention Φ=+log⁡Z/V\Phi=+\log Z/VΦ=+logZ/V, the final object is Φ3(K,H,L)=Φ0(K)+ΔΦH(K,H)+ΦFSS(K,H,L),\Phi_3(K,H,L)=\Phi_0(K)+\Delta\Phi_H(K,H)+\Phi_{\rm FSS}(K,H,L),Φ3​(K,H,L)=Φ0​(K)+ΔΦH​(K,H)+ΦFSS​(K,H,L), from which M=∂HΦ3M=\partial_H\Phi_3M=∂H​Φ3​, χ=∂H2Φ3\chi=\partial_H^2\Phi_3χ=∂H2​Φ3​, and UK=∂KΦ3U_K=\partial_K\Phi_3UK​=∂K​Φ3​ are generated. The construction covers the high- and low-temperature regimes, the critical region, finite magnetic field, strong-field saturation, periodic-film finite size, and simultaneous finite HHH and finite LLL. The materials and operations are separated explicitly. A diagnostic dimensional stage uses d=1,2,4d=1,2,4d=1,2,4 anchors in μc=−log⁡tanh⁡Kc\mu_c=-\log\tanh K_cμc​=−logtanhKc​ to transport critical coordinates and positive film amplitudes toward d=3d=3d=3. The practical 3D generator then protects established 3D values of KcK_cKc​, critical exponents, selected amplitude ratios, and scalar zero-field critical data. The zero-field term joins truncated simple-cubic high- and low-temperature series through a singular critical patch with C2C^2C2 matching. The inner magnetic increment joins an O(K2)O(K^2)O(K2) high-temperature field expansion, a minimal 3D parametric critical free energy fixed only by the basic 3D anchors, and a low-temperature/cluster continuation using fixed quintic switches in KKK. A recovered z4z^4z4 strong-field expansion is integrated to an absolute free energy. The final inner-to-strong crossover is performed by constructing a monotone beta-CDF magnetization whose endpoint values and integral reproduce the two endpoint free energies, and then integrating that derivative; thus convexity is enforced at the free-energy level rather than by clipping observables. The periodic-film excess is built from dimensionally weighted 2D and leading 4D film surfaces in common correlation-length coordinates, with an HHH-independent residual stabilizer that preserves the H=0H=0H=0 axis. A previously reconstructed full 3D parametric equation-of-state benchmark and the full 3D finite-size scaling function are withheld from construction. The pure dimensional stage gives Kc(3)=0.22301549K_c(3)=0.22301549Kc​(3)=0.22301549 and sub-percent estimates of β\betaβ, δ\deltaδ, and ν\nuν. After 3D calibration, the final implementation passes 29/29 stated structural and numerical checks. In the withheld low-field window ∣K−Kc∣≤0.01|K-K_c|\le0.01∣K−Kc​∣≤0.01, H≤0.1H\le0.1H≤0.1, the magnetization has RMS relative error 1.21%1.21\%1.21% and maximum error 4.29%4.29\%4.29%. The result is not an exact lattice solution; it is a finite, auditable reconstruction in which the input anchors, switch intervals, matching conditions, numerical tolerances, and validation data are kept distinct.
We test the Gluing Method on the square-lattice two-dimensional Ising model by reconstructing global free-energy generators from complementary local relations. The emphasis is kept explicit throughout: the inputs used as \emph{gluing material} are separated from quantities obtained \emph{after gluing} and from data reserved for validation. At zero magnetic field, Kramers--Wannier duality is absorbed into the coordinate τ=log⁡sinh⁡2K\tau=\log\sinh 2Kτ=logsinh2K, so that the reduced free energy decomposes as Φ(τ)=τ/2+G(∣τ∣)\Phi(\tau)=\tau/2+G(|\tau|)Φ(τ)=τ/2+G(∣τ∣). The gluing materials are then only a critical logarithmic local expansion and a low-order high-temperature outer expansion; the low-temperature sector is generated by duality rather than fitted independently. Positive flat weights preserve the prescribed critical asymptotics to every finite algebraic order. With one crossover parameter fixed from three scalar anchors, the resulting bulk free energy agrees with the exact Onsager benchmark at a maximum relative error of 1.915×10−51.915\times10^{-5}1.915×10−5 on the tested interval. Internal energy and specific heat are derived from the same glued generator. Zero-field finite-size corrections are organized separately as one-variable scaling functions multiplying L−2,L−4,…L^{-2},L^{-4},\ldotsL−2,L−4,…. At nonzero field in the thermodynamic limit, the gluing materials are the established high-temperature, critical, and low-temperature local expansions of the universal Ising magnetic scaling free energy Φmag(η)\Phi_{\rm mag}(\eta)Φmag​(η), η=m/∣h∣8/15\eta=m/|h|^{8/15}η=m/∣h∣8/15. The low-temperature input contains the ∣h∣|h|∣h∣ cusp associated with spontaneous symmetry breaking. Mapping the glued scaling free energy back to the square lattice through nonlinear scaling fields yields a single generator for the magnetic free-energy increment, magnetization, and susceptibility. The construction reproduces high-temperature linear response, the critical isotherm M∝∣H∣1/15M\propto |H|^{1/15}M∝∣H∣1/15, and the two one-sided limits M(H→0±)=±M0M(H\to0^\pm)=\pm M_0M(H→0±)=±M0​ without separately fitting magnetization branches. Finally, finite size and finite field are combined in the scaling variables xt=Lmx_t=Lmxt​=Lm and xh=L15/8hx_h=L^{15/8}hxh​=L15/8h. The two protected one-dimensional axes, a central mixed-response expansion, a low-temperature spectral-rounding relation, and a massive outer description are glued into a two-variable scaling surface Yglue(xt,xh)\mathcal Y_{\rm glue}(x_t,x_h)Yglue​(xt​,xh​). The resulting lattice free energy closes in the compact form ΦLglue(K,H)=Φlatglue(K,H)+Yglue(Lm,L15/8h)−Ybulk(Lm,L15/8h)L2+O(L−4)\Phi_L^{glue}(K,H)=\Phi_{lat}^{glue}(K,H)+\frac{\mathcal{Y}_{glue}(Lm,L^{15/8}h)- Y_{bulk}(Lm,L^{15/8}h)}{L^2}+O(L^{-4})ΦLglue​(K,H)=Φlatglue​(K,H)+L2Yglue​(Lm,L15/8h)−Ybulk​(Lm,L15/8h)​+O(L−4) where m=m(r,H)m=m(r,H)m=m(r,H) and h=h(r,H)h=h(r,H)h=h(r,H) are the nonlinear scaling fields and YbulkY_{\rm bulk}Ybulk​ is the thermodynamic singular scaling surface expressed in the same variables. Thus all finite-size/finite-field information is carried by the excess Yglue−Ybulk\mathcal Y_{\rm glue}-Y_{\rm bulk}Yglue​−Ybulk​, while the thermodynamic lattice free energy remains the previously constructed Φlatglue\Phi_{\rm lat}^{\rm glue}Φlatglue​. On eleven transfer-matrix points withheld from the construction, the blind free-energy test gives RMS absolute error 3.90×10−43.90\times10^{-4}3.90×10−4 and maximum absolute error 9.55×10−49.55\times10^{-4}9.55×10−4 in Y\mathcal YY. Differentiation of the same free energy produces finite-size magnetization and susceptibility; magnetization is especially stable on the low-temperature side, while the second derivative is more sensitive in crossover regions.