Abstract:A computational phase transition in a classical or quantum system is a non-analytic change in behavior of an order parameter which can only be observed with the assistance of a nontrivial classical computation. Such phase transitions, and the computational observables which detect them, play a crucial role in the optimal decoding of quantum error-correcting codes and in the scalable detection of measurement-induced phenomena. In this work we show that computational phase transitions and observables can also provide important physical insight on the phase diagram of a classical statistical physics system, specifically in the context of the dislocation-mediated melting of a two-dimensional antiferromagnetic (AF) crystal. In the solid phase, elementary dislocations disrupt the bipartiteness of the underlying square lattice, and as a result, pairs of dislocations are linearly confined by string-like AF domain walls. It has previously been argued that a novel AF tetratic phase can arise when double dislocations proliferate while elementary dislocations remain bound. However, since elementary dislocations carry AF Ising gauge flux, no local order parameter can distinguish between AF and paramagnetic (PM) tetratic regimes, and consequently there is no thermodynamic phase transition separating the two regimes. Nonetheless, we demonstrate that it is possible to algorithmically construct a staggered magnetization which distinguishes the AF and PM tetratic regimes by "pairing" dislocations, which requires an increasingly nontrivial classical computation as elementary dislocation pairs increase in density and unbind. We discuss both algorithm-dependent and "intrinsic" algorithm-independent computational phase transitions in this setting, the latter of which includes a transition in one's ability to consistently sort atoms into two sublattices to construct a well-defined staggered magnetization.

Dimerized phase and transitions in a spatially anisotropic square lattice antiferromagnet

Phase transitions in the spin-1/2 Heisenberg antiferromagnet on the dimerized diamond lattice

Dimer XXZ Spin Ladders: Phase diagram and a Non-Trivial Antiferromagnetic Phase

Supersymmetric approach for generating quasi-exactly solvable potentials with arbitrary two known eigenstates

Entanglement and Correlations in a One-Dimensional Quantum Spin- 12 Chain with Anisotropic Power-Law Long-Range Interactions

Entanglement and correlations in a one-dimensional quantum spin-1/2 chain with anisotropic power-law long-range interactions

Phase diagram for a class of spin-half Heisenberg models interpolating between the square-lattice, the triangular-lattice and the linear chain limits

A Generalized Quantum Dimer Model Applied to the Frustrated Heisenberg Model on the Square Lattice: Emergence of a Mixed Columnar-Plaquette Phase

Entanglement and correlations in a one-dimensional quantum spin-12 chain with anisotropic power-law long-range interactions

Ground states of quantum antiferromagnets in two dimensions

Triangular-lattice anisotropic dimerized Heisenberg antiferromagnet: Stability and excitations of the quantum paramagnetic phase

Exact staggered dimer ground state and its stability in a two-dimensional magnet

Anomalous scaling corrections and quantum phase diagram of the Heisenberg antiferromagnet on the spatially anisotropic honeycomb lattice

Phases and phase transitions in a dimerized spin-$\mathbf{\frac{1}{2}}$ XXZ chain

Phase-Transitions in A Highly Anisotropic Heisenberg Chain with Staggered Interaction

Magnetic and quantum disordered phases in triangular-lattice Heisenberg antiferromagnets

Phase Transition Of The Spin-One Square-Lattice Anisotropic Heisenberg Model

Computational Phase Transitions in Two-Dimensional Antiferromagnetic Melting

The ground-state magnetic ordering of the spin-1/2 frustrated J1-J2 XXZ model on the square lattice

Quantum Weyl-Heisenberg antiferromagnet

Disorder Line and Incommensurate Floating Phases in the Quantum Ising Model on an Anisotropic Triangular Lattice