- The paper incorporates the partition function’s π/4 periodicity to derive a second family of self-dual lines, then uses Monte Carlo and Wang–Landau simulations to identify genuine phase boundaries.
- The revised phase diagram shows that critical segments satisfy |K| ≥ ½ arsinh(cos(π/4)) ≈ 0.32924 and exhibit four-state Potts critical behavior with ν = 2/3 and η = 1/4.
- The paper finds that average-sign minima can falsely indicate transitions and that Wang–Landau sampling retains an exponential-in-volume cost because sign cancellations amplify statistical errors.
The generalized Baxter–Wu (GBW) model with mutually complex-conjugate couplings Kup=K+iϕ, Kdown=K−iϕ has served as a controlled setting for studying both complex-coupled phase transitions and the sign problem. Prior work established self-dual lines sinh(2K)=±cos(2ϕ) and used them to benchmark sign-based phase-transition probes. This paper shows that those lines are incomplete: the π/4 periodicity of the partition function, inherited from the cosine factor of the bundled Boltzmann weight, generates an additional family of self-dual candidates. Guided by the complete set of candidates, the authors perform unbiased Monte Carlo simulations—brute-force reweighting with Metropolis sampling and a two-dimensional Wang–Landau (WL) algorithm—to determine which candidate segments are genuine phase boundaries, to re-examine sign-based probes against the corrected phase diagram, and to test whether WL circumvents the exponential barrier.
Periodicity and the complete set of self-dual lines
Pairing each spin configuration Γ with its π-rotated partner removes the imaginary part of the Boltzmann weight, leaving a real bundled weight W(Γ~,T)=2eKHK(Γ)cos(ϕHiϕ(Γ)). Because a single spin flip changes Hiϕ by multiples of 8, the partition function is periodic in ϕ with period π/4—verified by exact enumeration of a Kdown=K−iϕ0 system. This periodicity directly contradicts the conventional self-dual phase diagram, which has period Kdown=K−iϕ1 in Kdown=K−iϕ2.
Re-examining the duality analysis via the mapping onto a square-lattice two-state Potts model with diagonal bonds, the authors substitute Kdown=K−iϕ3 into the self-duality condition Kdown=K−iϕ4, obtaining the complete relation Kdown=K−iϕ5. This splits into two families:
Kdown=K−iϕ6
SDA recovers the conventional line; SDB is new. Since self-duality only nominates candidates, Monte Carlo verification is required to decide which segments are genuine critical boundaries.
Monte Carlo verification of the revised phase diagram
Using the four-state Potts-type order parameter and the fourth-order Binder ratio Kdown=K−iϕ7, the authors scan temperature paths crossing the candidate lines. Along Kdown=K−iϕ8, which intersects SDA at Kdown=K−iϕ9, clear Binder crossings appear at sinh(2K)=±cos(2ϕ)0, and data collapse with sinh(2K)=±cos(2ϕ)1 and sinh(2K)=±cos(2ϕ)2 confirms the four-state Potts universality class, consistent with earlier transfer-matrix results. Along sinh(2K)=±cos(2ϕ)3, crossings occur at SDB (sinh(2K)=±cos(2ϕ)4) but not at the SDA intersection (sinh(2K)=±cos(2ϕ)5), establishing that SDB contains genuine boundaries while parts of SDA do not. Fixing sinh(2K)=±cos(2ϕ)6 and scanning sinh(2K)=±cos(2ϕ)7 yields a single transition on the solid segment of the self-dual lines, again collapsing with sinh(2K)=±cos(2ϕ)8, sinh(2K)=±cos(2ϕ)9.
The decisive result concerns the partition-function minima π/40, where the sign problem is most severe. There, the self-dual lines form a critical threshold: segments with π/41 are genuine critical boundaries, while segments with smaller π/42 are not. At π/43, the Binder ratio data at π/44 are too noisy for reliable extrapolation, so the crossing location is instead pinned using the scaled quantity π/45, whose intersections approach the SDA–SDB intersection point. WL simulations of π/46 corroborate this: at π/47 the negative peak shifts toward the self-dual line with increasing π/48, and no signal appears on the excluded segments.
A spurious signal—a local peak in π/49 and Γ0 growing with system size at Γ1 along the second temperature path—is identified as a finite-size artifact rather than a new phase. The argument is that near Γ2 positive and negative signs occur with nearly equal probability, so any apparent order arises from superposition of opposite-sign configurations and cannot represent long-range order from a single configuration. The authors concede that small accessible sizes (Γ3 at this point due to the sign problem) prevent a rigorous finite-size exclusion; the conclusion remains preliminary but strongly supported by the decay of the average sign toward zero.
Sign-based probes revisited
Because Γ4 mixes the original and reference partition functions, its behavior as a transition probe is representation-dependent. Extending previous exact-enumeration results (Γ5) to Γ6 via WL, the paper reaches two conclusions. First, along the path crossing genuine SDA, the minimum of Γ7 converges to the true critical point—but this is coincidental with the structure of Γ8: the maximum of Γ9 reflects inflection points of both free energies, which occur at distinct temperatures (π0 for π1, π2 for π3). Second, along the path through π4, π5 develops a second minimum at π6 where no transition exists; it originates from a minimum of π7 coinciding with a maximum of π8, a mechanism not covered by the three scenarios catalogued by Ma et al., providing a new concrete failure mode of the average-sign probe.
By contrast, extrema of π9 coincide with those of W(Γ~,T)=2eKHK(Γ)cos(ϕHiϕ(Γ))0 in both paths, confirming that the derivative of the average sign tracks the transition of whichever partition function varies more rapidly—in this model, the reference system. The practical implication is that sign-based probes cannot stand alone as transition detectors; they function only as cross-checks against direct thermodynamic observables.
Exponential barrier in the Wang–Landau algorithm
Although WL samples the positive-definite density of states W(Γ~,T)=2eKHK(Γ)cos(ϕHiϕ(Γ))1 and thus formally avoids the sign problem, the paper demonstrates that the barrier reappears. The average sign on the critical line decays as W(Γ~,T)=2eKHK(Γ)cos(ϕHiϕ(Γ))2, with W(Γ~,T)=2eKHK(Γ)cos(ϕHiϕ(Γ))3 linear in W(Γ~,T)=2eKHK(Γ)cos(ϕHiϕ(Γ))4. Comparing 100 independent WL runs at W(Γ~,T)=2eKHK(Γ)cos(ϕHiϕ(Γ))5, observables computed for the original system carry substantially larger statistical errors than for the reference system sharing the identical density of states—the difference attributable entirely to cancellations amplifying fluctuations in the ratio W(Γ~,T)=2eKHK(Γ)cos(ϕHiϕ(Γ))6.
The error analysis decomposes the single-measurement error as W(Γ~,T)=2eKHK(Γ)cos(ϕHiϕ(Γ))7, where W(Γ~,T)=2eKHK(Γ)cos(ϕHiϕ(Γ))8 is set by the termination condition. Compensating the sign amplification requires W(Γ~,T)=2eKHK(Γ)cos(ϕHiϕ(Γ))9, and since tightening the termination costs Hiϕ0, the per-run cost scales as Hiϕ1—exponential in volume. The exponential barrier is therefore governed by the decay of the average sign, not by the choice between reweighting and density-of-states sampling, consistent with the model dependence observed in LLR applications (polynomial for the Hiϕ2 model, exponential for the hexagonal Hubbard model). A practical limitation of the WL implementation itself is the rapid growth of the state space: the number of accessible Hiϕ3 pairs scales as Hiϕ4 (e.g., 10,718 pairs at Hiϕ5), versus Hiϕ6 for the pure Baxter–Wu model, restricting simulations to Hiϕ7 despite windowed sampling with 75% overlap.
Limitations and open questions
Several caveats qualify the results. Finite-size scaling is limited to Hiϕ8 by the sign problem, precluding resolution of the logarithmic corrections expected near the four-state Potts fixed point. At Hiϕ9, accessible sizes drop to ϕ0, so exclusion of long-range order below the threshold—and definitive convergence of the Binder crossing to the SDA–SDB intersection—remains unestablished. The interpolation formula for the number of accessible ϕ1 pairs is validated only up to ϕ2. Finally, whether the periodicity-driven revision generalizes to other complex-coupled models depends on microscopic details and is left open, as is the development of sign-problem-free schemes exploiting the Hermitian transfer matrix and implied PT symmetry of this model.
Conclusion
This work corrects the phase diagram of the GBW model with asymmetric complex couplings by incorporating the ϕ3 partition-function periodicity into the self-duality analysis, yielding a new family of self-dual lines and identifying, via unbiased simulation, the threshold ϕ4 separating genuine critical segments from non-critical ones, all in the four-state Potts universality class. It further demonstrates that minima of the average sign can be non-critical artifacts of the cosine factor's periodicity, that the derivative of the average sign probes the reference-system transition, and that the WL algorithm—despite formally bypassing signed sampling—retains the exponential barrier through the interplay of density-of-states precision and sign amplification. The results establish periodicity as a factor that must be accounted for when constructing phase diagrams from duality arguments in complex-coupled systems.