We demonstrate that linear combinations of subregion entropies with canceling boundary terms, commonly used to calculate the topological entanglement entropy, may suffer from spurious nontopological contributions even in models with zero correlation length. These spurious contributions are due to a specific kind of long-range string order, and persist throughout certain subsystem symmetry-protected phases. We introduce an entropic quantity that measures the presence of such order, and hence should serve as an order parameter for the aforementioned phases. arXiv:1808.05221v1 [quant-ph]

We introduce a model of three-dimensional (3D) topological order enriched by planar subsystem symmetries. The model is constructed starting from the 3D toric code, whose ground state can be viewed as an equal-weight superposition of two-dimensional (2D) membrane coverings. We then decorate those membranes with 2D cluster states possessing symmetry-protected topological order under linelike subsystem symmetries. This endows the decorated model with planar subsystem symmetries under which the looplike excitations of the toric code fractionalize, resulting in an extensive degeneracy per unit length of the excitation. We also show that the value of the topological entanglement entropy is larger than that of the toric code for certain bipartitions due to the subsystem symmetry enrichment. Our model can be obtained by gauging the global symmetry of a short-range entangled model which has symmetry-protected topological order coming from an interplay of global and subsystem symmetries. We study the nontrivial action of the symmetries on boundary of this model, uncovering a mixed boundary anomaly between global and subsystem symmetries. To further study this interplay, we consider gauging several different subgroups of the total symmetry. The resulting network of models, which includes models with fracton topological order, showcases more of the possible types of subsystem symmetry enrichment that can occur in 3D.

No abstract

No abstract

We study the twist defects in the toric code model introduced by Bombin [Phys. Rev. Lett. 105, 030403 (2010)]. Using a generalized 2D Jordan-Wigner transformation and a projective construction, we show explicitly the twist defects carry unpaired Majorana zero modes. In addition, we propose a quantum non-demolition measurement scheme of the parity of Majorana modes. Such a scheme provides an alternative avenue to demonstrate the non-Abelian statistics of Majorana fermions. The braiding operation is simulated by a non-repetitive measurement-based approach which removes the uncertainty associated with forced measurements.

We investigate two dimensional compactifications of three dimensional fractonic stabilizer models. We find the two dimensional topological phases produced as a function of compactification radius for the X-cube model and Haah's cubic code. Furthermore, we uncover translation symmetryenrichment in the compactified cubic code that leads to twisted boundary conditions. I. :1903.12246v1 [cond-mat.str-el] arXiv

No abstract

We investigate the measurement-only topological quantum computation (MOTQC) approach proposed by Bonderson et al (2008 Phys. Rev. Lett. 101 010501) where the braiding operation is shown to be equivalent to a series of topological charge 'forced measurements' of anyons. In a forced measurement, the charge measurement is forced to yield the desired outcome (e.g. charge 0) via repeatedly measuring charges in different bases. This is a probabilistic process with a certain success probability for each trial. In practice, the number of measurements needed will vary from run to run. We show that such an uncertainty associated with forced measurements can be removed by simulating the braiding operation using a fixed number of three measurements supplemented by a correction operator. Furthermore, we demonstrate that in practice we can avoid applying the correction operator in hardware by implementing it in software. Our findings greatly simplify the MOTQC proposal and only require the capability of performing charge measurements to implement topologically protected transformations generated by braiding exchanges without physically moving anyons.