Exact selection of a toric-code vison crystal in a flux-conditioned Kitaev model

Abstract: We construct an exactly solvable extension of the spin-$1/2$ Kitaev honeycomb model in which conserved $\mathbb{Z}_2$ fluxes determine not only the signs but also the connectivity of nearest-neighbor Majorana hopping. At a tuned loop point, hopping survives only across opposite-flux plaquettes, so every vertex has active degree zero or two and the matter Hamiltonian fragments in each flux sector into independent Majorana rings and isolated zero modes. Exact ring spectra and bond counting then bound the matter energy over all local flux configurations and all four Wilson-loop sectors, and split it exactly into a frustrated triangular-lattice Ising term, whose extensively degenerate ground states are the fully packed loop coverings, and a non-negative Majorana residual. On admissible commensurate tori, the residual selects precisely the three translation-related $2/3$-vison crystals, which saturate the bound, and an exact fermion-parity identity shows that for antiferromagnetic coupling their vacua also survive projection, making them rigorous ground states of the spin model. Within a single crystal, a depth-one local unitary then maps the ground space onto that of a sheared square-lattice toric code, giving fourfold topological degeneracy. The model thus realizes exact nonperturbative gauge-matter feedback: the flux fixes where the Majorana fermions may move, and their zero-point energy selects in return a topologically ordered vison crystal with spontaneously broken translation symmetry.