Kramers–Wannier Duality and Random-Bond Ising Model

TL;DR

This paper introduces a new method for calculating the Ising model's free energy using planar graphs and their duals, revealing insights into Kramers–Wannier duality and the Random-Bond Ising Model.

Contribution

A novel combinatorial approach that expresses the Ising model's free energy via determinants of operators on planar graphs and their duals.

Findings

The exact free energy is derived using determinants of ordered and disordered operators.

The approach explicitly demonstrates Kramers–Wannier duality on planar graphs.

Implications for the Random-Bond Ising Model are clarified through the derived formula.

Abstract

We present a new combinatorial approach to the Ising model incorporating arbitrary bond weights on planar graphs. In contrast to existing methodologies, the exact free energy is expressed as the determinant of a set of ordered and disordered operators defined on a planar graph and the corresponding dual graph, respectively, thereby explicitly demonstrating the Kramers–Wannier duality. The implications of our derived formula for the Random-Bond Ising Model are further elucidated.

Figures

Full text

1. Introduction

The well-established duality between order and disorder phases observed in the two-dimensional Ising model was initially exploited by Kramers and Wannier to pinpoint its criticality [1], predating the celebrated solution of Onsager’s free energy [2,3,4]. Furthermore, Kadanoff and Ceva illustrate that the correlation function can be derived by contemplating the disorder operator defined on the dual graph [5], providing substantial insights into the underlying physics [6]. However, the standard methodologies used for the computation of free energy—either algebraically or combinatorially [7]—exhibit the Kramers–Wannier (KW) duality only in the final form after extensive calculations. Despite a tremendous volume of work over the last century devoted to the exact solution of the Ising model, a formula for calculating its free energy with manifest KW duality is still absent in the literature. This gap limits the utility of the exact free energy in broader contexts. For example, in the case of a Random-Bond Ising Model (RBIM) employed for understanding spin glasses, deriving an explicit free energy remains challenging.

It is worth mentioning that the combinatorial approach, pioneered by Kac and Ward [8], provides an alternative pathway to derive Onsager’s free energy. In particular, for a planar graph $[eqn]$ with $[eqn]$ and $[eqn]$ , Kac and Ward introduced a determinant formula,

$$[eqn]$$

where $[eqn]$ represents the coupling constant, and the Kac–Ward (KW) operator $[eqn]$ is a $[eqn]$ matrix, further elucidated in the subsequent discussion. The original derivation of the Kac–Ward formula (1) was based on heuristic arguments and lacked logical completeness. To address this deficiency, Feynman, in unpublished work cited by Harary [9,10], postulated a path-integral form for the Kac–Ward determinant as

$$[eqn]$$

which allows to prove (1) directly. This elegant identity draws an analogy with Riemann’s zeta function, where the Euler product is over all prime cycles, with $[eqn]$ and $[eqn]$ representing the length and winding number of the prime cycles p, respectively. The subscript F highlights the fermionic character of the Ising model, which assigns a negative weight to odd numbers of windings. This formula was later formally proved by Sherman [11,12,13] and Burgoyne [14]. A variant of the combinatorial formulation, mapping the Ising model to the dimer model using Pfaffians, was developed by Green and Hurst [15] and later expanded by others [16,17,18,19]. This approach essentially corresponds to a skew-symmetric version of Equation (1) via a similarity transformation. More recently, a resurgence of the combinatorial approach [20,21,22] focuses on the discrete version of the conformal invariance of the critical Ising model on planar graphs [23].

The combinatorial approach can be seamlessly generalized to accommodate an arbitrary set of bond weights $[eqn]$ , thereby presenting a robust numerical tool for probing RBIM. However, Equation (1) reveals little physical insight. For example, the KW duality indicates that $[eqn]$ should remain invariant (up to some prefactor) under the transformation $[eqn]$ on the dual graph $[eqn]$ , i.e.,

$$[eqn]$$

Regrettably, the manifestation of the KW duality only emerges following the resolution of the determinant, a process that is impractical for numerous disordered systems. This hidden symmetry within Equation (1) remains far from obvious and poses a significant challenge. It was only recently proven that Equation (1) indeed satisfies KW duality under general conditions [24,25]. Consequently, despite its elegance, the combinatorial approach is primarily utilized as a numerical tool. To the best knowledge of the author, no explicit free energy formula demonstrating manifest KW duality for an arbitrary planar graph and weight set has yet been identified.

In this paper, we propose a new free energy formula for the Ising model with arbitrary bond weights on planar graphs. Contrasting with existing methodologies, our formula is expressed as the determinant of the summation of local ordered and disordered operators, each defined on vertices V and dual vertices $[eqn]$ , thereby explicitly exhibiting the KW duality. In addition, it establishes a tangible connection with nonlocal ordered and disordered operators, offering insights into the nature of duality. We elucidate the implications of our formula in the context of RBIM.

2. Ihara Zeta Function

To hint at the existence of the manifest dual formula, we initiate our discussion with a warm-up exercise by considering the bosonic counterpart of Equation (2),

$$[eqn]$$

This definition, known as the Ihara zeta function [26,27], serves as a p-adic analogue of the Selberg zeta function that counts the number of closed geodesics on a hyperbolic surface. Analogous to Equation (1), we express

$$[eqn]$$

where T denotes the $[eqn]$ Hashimoto’s edge adjacency operator [28] in analogy to the KW operator $[eqn]$ . Specifically, T applies on the space of oriented edges $[eqn]$ , where an edge $[eqn]$ denotes the directional inverse of a corresponding edge $[eqn]$ . The matrix $[eqn]$ only if the oriented edge e follows $[eqn]$ backtracklessly, meaning that the terminal vertex of e is the starting vertex of $[eqn]$ and $[eqn]$ . The equivalence of Equations (3) and (4) can be demonstrated directly by applying the logarithm and aligning the power expansion term by term.

For a regular graph of degree $[eqn]$ , the Ihara zeta function displays self-duality under the transformation $[eqn]$ , which mirrors Riemann’s functional equation. However, in similarity to its fermionic counterpart, Equation (4) does not explicitly reveal this duality. Intriguingly, a second formula exists, as proposed in Ihara’s original paper [26],

$$[eqn]$$

where A is the adjacency matrix, and Q is the diagonal matrix with the degree diminished by one. Assuming the graph is $[eqn]$ -regular, that is, $[eqn]$ , it becomes evident that

$$[eqn]$$

Consequently, Equation (5) presents a manifestly dual formula for the bosonic zeta function.

The derivation of Equation (5) from Equation (4) provides illuminating insights. Here, we present a streamlined approach based on the original proof by Bass [29,30,31]. We introduce the matrix

$$[eqn]$$

where $[eqn]$ and $[eqn]$ enumerate all successors $[eqn]$ following e, including its inverse $[eqn]$ . A key observation arises from the factorization of the matrix

$$[eqn]$$

where X and Y are $[eqn]$ matrices with $[eqn]$ or $[eqn]$ if v is the starting vertex or the terminal vertex of the orient edge e, respectively. Leveraging this factorization, we obtain

$$[eqn]$$

where the second line ensues from the generalized matrix determinant lemma and $[eqn]$ . The third line employs the identity

$$[eqn]$$

while noting $[eqn]$ and $[eqn]$ . This completes the proof of Equation (5). The critical component of this proof involves the use of the generalized matrix determinant lemma, predicated on the factorability of S, which can be reinterpreted as an index theorem over a chain complex [32].

Consider a more generalized setup involving an arbitrary set of weights $[eqn]$ assigned to each edge. By employing a similar approach, we obtain

$$[eqn]$$

where $[eqn]$ represents the weighted adjacency matrix defined as

$$[eqn]$$

and $[eqn]$ denotes the weighted degree defined as

$$[eqn]$$

Specifically, for the $[eqn]$ disorders, i.e., $[eqn]$ with $[eqn]$ , Equation (6) simplifies to

$$[eqn]$$

where $[eqn]$ includes entries of 0 and $[eqn]$ to account for bond disorders. It becomes evident that $[eqn]$ serves as the adjacency matrix of the percolation model, thereby mapping the Ihara zeta function with $[eqn]$ disorder to a percolation problem.

3. Manifestly Dual Formula

Consider the fermionic case represented by Equation (2), where the winding number is suitably defined only after immersion into a surface with a given spin structure. This marks a notable distinction from its bosonic counterpart in Equation (3) and creates a host of technical challenges when applying a similar approach to the one used for the bosonic zeta function. For ease of discussion, our examination is confined to a planar graph G embedded in a plane. However, extending this discussion to surfaces with a higher genus is straightforward.

To explicitly reveal the KW duality, we embed the dual graph $[eqn]$ over G. In this arrangement, each vertex of G is located inside a face of $[eqn]$ , and vice versa; each edge in G intersects with the corresponding edge in $[eqn]$ . For technical convenience, we require these intersections to be perpendicular. Note that the embedding need not be isoradial in general. Figure 1a illustrates such an embedding, where red and blue colors represent G and $[eqn]$ , respectively.

A crucial element in our depiction involves the quadrilaterals (gray domain in Figure 1a). Each quadrilateral is formed by two neighboring edges in both G and $[eqn]$ , along with a vertex pair $[eqn]$ , where $[eqn]$ and $[eqn]$ . We denote the angles associated with the left and right edges of v and $[eqn]$ as $[eqn]$ and $[eqn]$ , and $[eqn]$ and $[eqn]$ , respectively. These angles satisfy the relations

$$[eqn]$$

as depicted in Figure 1a. The collection of $[eqn]$ quadrilaterals, which collectively tile the entire plane, plays a critical role in our new formulation.

The Kac–Ward operator $[eqn]$ in Equation (1) is defined similarly to Hashimoto’s edge adjacency operator T. However, we must introduce a phase change between two consecutive edges to account for the fermionic nature. Specifically, we impose a gauge transformation

$$[eqn]$$

if edge $[eqn]$ follows e without backtracking, where $[eqn]$ is the exterior angle from e to $[eqn]$ , and $[eqn]$ is the interior angle between $[eqn]$ and its inverse $[eqn]$ (Figure 2a). This condition ensures that the summation of the half exterior angles contributes to a total $[eqn]$ phase change over a cycle, effectively capturing the fermionic sign in Equation (2).

Following a similar approach as that applied to the bosonic zeta function, we introduce the gauged successor operator

$$[eqn]$$

appending an additional element between edge e and its inverse $[eqn]$ with weight $[eqn]$ . However, $[eqn]$ no longer exhibits factorability, preventing directly applying the matrix determinant lemma in this scenario. To tackle this issue, we follow the strategy developed by Cimasoni [24,25], introducing operator Q between neighboring edges e and $[eqn]$ that share a common starting vertex v. Specifically, for each quadrilateral q, the operator Q maps its right edge e to the left edge $[eqn]$ while inducing a phase shift

$$[eqn]$$

As illustrated in Figure 2b,

$$[eqn]$$

if $[eqn]$ . However, the fermionic nature possesses a non-trivial monodromy, resulting in a branch cut after a rotation of $[eqn]$ . This observation leads to the discontinuity

$$[eqn]$$

As the operator Q acts on the edges attached to the quadrilaterals, it facilitates a natural factorization

$$[eqn]$$

where L and R are $[eqn]$ matrices associating each quadrilateral q with its left and right edges, respectively. Moreover, we assign weights $[eqn]$ and $[eqn]$ . Building on this factorization, we find

$$[eqn]$$

where the first equality follows from Equation (7), and the second stems from the generalized matrix determinant lemma and $[eqn]$ . We then introduce the discrete curl operator

$$[eqn]$$

acting on the space of quadrilaterals, with elements

$$[eqn]$$

when the quadrilaterals $[eqn]$ and q share a common edge with $[eqn]$ positioned counterclockwise next to q. This definition suggests that d can be decomposed into a set of operators $[eqn]$ , each acting on the quadrilaterals around vertex v. Therefore, $[eqn]$ , as depicted in Figure 1b. Similarly, the dual operator $[eqn]$ is the summation of the operators $[eqn]$ around the dual vertex $[eqn]$ . Observe that

$$[eqn]$$

holds if q possesses a left edge e and $[eqn]$ a right edge $[eqn]$ (see Figure 1). This yields

$$[eqn]$$

which applies to quadrilaterals around dual vertices clockwise. Taken together, we obtain

$$[eqn]$$

where we employ the identities $[eqn]$ and

$$[eqn]$$

Drawing parallels with Equation (6), we can generalize Equation (8) to incorporate a set of bond weights $[eqn]$ as follows:

$$[eqn]$$

where

$$[eqn]$$

and $[eqn]$ represent the weighted curl operators around the vertices in V and $[eqn]$ , respectively. These operators permit a natural decomposition

$$[eqn]$$

The determinant present in Equation (9) is manifestly symmetric under the dual transformation, thereby reinstating the KW duality for an arbitrary set of bond weights [24,25]

$$[eqn]$$

where we applied the identity

$$[eqn]$$

4. Order and Disorder Operators

Equation (9) suggests that the fermionic zeta function

$$[eqn]$$

constitutes the characteristic polynomial of a non-Hermitian Hamiltonian:

$$[eqn]$$

Assuming the $[eqn]$ disorders of $[eqn]$ , where $[eqn]$ , the equation simplifies to:

$$[eqn]$$

where

$$[eqn]$$

applicable for two quadrilaterals sharing the dual vertex $[eqn]$ and edge e. Evidently, only the dual curl operator $[eqn]$ represents the disorder, while the curl operator D remains unaffected by the disorder. Thus, we interpret $[eqn]$ and $[eqn]$ as local order and disorder operators, respectively, echoing the nonlocal disorder operator introduced by Kananoff and Ceva [5].

To establish a connection explicitly, consider a defect that changes a line $[eqn]$ of ferromagnetic bonds to antiferromagnetic, i.e., $[eqn]$ only for $[eqn]$ . The corresponding correlation function of nonlocal disorder operators involves a shift in the free energy:

$$[eqn]$$

where $[eqn]$ represents Green’s function of the ferromagnetic Hamiltonian

$$[eqn]$$

and the defect operator

$$[eqn]$$

It becomes apparent that nonlocal disorder operators correspond to a line integral over the local disorder operator $[eqn]$ . Consequently, the KW duality presented in Equation (9) reflects an exact interchange of local order and disorder operators under the duality transformation.

5. Implication to RBIM

We now turn to the implications of our new formula for the RBIM. For the sake of technical convenience, our discussion will primarily focus on $[eqn]$ disorder on a square lattice, i.e.,

$$[eqn]$$

A straightforward generalization applies to arbitrary disorder. As we demonstrated earlier, the free energy of $[eqn]$ bond disorder is dictated by the spectrum of Equation (12), where only the disorder operator $[eqn]$ accounts for the bond disorders $[eqn]$ .

In the absence of disorder ( $[eqn]$ ), it is straightforward to diagonalize H via the Fourier transform, which consequently recovers Onsager’s free energy. Considering a scenario where p is close to 1, we can apply the Dyson series expansion to Equation (13). This approach enables us to determine the critical coupling $[eqn]$ as a series expansion of disorder probability $[eqn]$ . At the leading order, we find

$$[eqn]$$

This result aligns with the findings initially obtained using the replica trick [33].

We now turn our attention to the zero-temperature limit $[eqn]$ of Equation (12). In this limit, $[eqn]$ and $[eqn]$ . Consequently, in this scenario, disorder operators dominate the spectrum. Direct computation yields

$$[eqn]$$

where the frustration $[eqn]$ is defined as the product of edge disorders around the plaquette of the corresponding dual vertices $[eqn]$ . It is clear that when the plaquette is frustrated, i.e., $[eqn]$ , the determinant acquires a correction from the order operator d with an order at most $[eqn]$ . On average, there is a $[eqn]$ chance of $[eqn]$ , which results in a lower bound of the ground state energy density:

$$[eqn]$$

This finding is consistent with the results in Refs. [34,35] obtained using geometric approaches.

6. Conclusions

In conclusion, we have unveiled a novel combinatorial approach to Ising models with arbitrary bond weights. In contrast to previous methods, our new formulation distinctly manifests the KW duality via order and disorder operators. We have presented preliminary implications for RBIM at the leading order, and our findings are consistent with results derived from alternative approaches. However, our method has the distinct advantage of seamlessly integrating with the standard framework of perturbative techniques, thereby simplifying the extension to higher-order terms. This also opens up the potential to employ non-perturbative methodologies for a more nuanced understanding of the phase diagram of RBIM. Additionally, our approach can be directly applied to other planar graphs, such as triangular and hexagonal lattices. On the other hand, it has been suggested that the RBIM may exhibit a disorder duality based on the replica argument, potentially localizing the multicritical point [36]. The exactness of this duality and its connection to our method remains unclear. We aim to explore these questions in future research.

Our methodology can also be readily generalized to anyonic statistics by considering a non-half-integer phase shift, a topic we plan to discuss elsewhere. Further, a non-Abelian generalization seems feasible. These generalizations have close ties with parafermionic models [37]. Moreover, given that the Ihara zeta function can generalize to high-dimensional objects [38], it is enticing to contemplate a similar higher-dimensional generalization for its fermionic counterpart. Such an extension may hold promise for a solution to the 3D Ising model.