Various lattice spin models are related with their gauge theories and their effective field theories. Most well-known examples are the relation of the toric code, rank-1 gauge theory, and the BF theory. We have been working on creating the formalism deriving the effective field theory of the lattice spin models based on the constant application of the gauge principle. Furthermore, we analyzed the rank-2 toric code and rank-2 gauge theory and showed the exotic behavior of quasiparticles. Their braiding statistics depends on the initial locations of the quasiparticles, and we tried effective field theoretical analysis.
Tensor networks are useful to represent exact or variational low energy wave functions in many-body Hamiltonian. A network of individual tensors is used to express the wave function as a tensor contraction. Matrix product states and projected entangled pair states are respectively used for 1D and 2D many-body system. Individual tensor structure can impose global symmetries on the wave function. The mathematical structure of the tensor network can also be used to derive strict bounds on quantities like entanglement and correlation length.
Fault-tolerant quantum computing scheme is essential for large-scale quantum computation. Non-fault-tolerant quantum computation leads to the error of multiple qubits consisting of the logical qubit and the error of information after decoding. One of the well-known ways to execute universal fault-tolerant quantum computation is using a three-dimensional cluster state. Quantum computation using a three-dimensional cluster state include various specific methods such as lattice surgery for two-qubit gates computation and planar code construction for high threshold quantum computation. We study three-dimensional cluster state construction, photonic quantum computation, and magic state distillation.