We consider the problem of converting a product state to a ground state of a topologically ordered system through a locally generated open-system dynamic. Employing quantum-information tools, we show that such a conversion takes an amount of time proportional to the diameter of the system. Our result applies to typical two-dimensional topologically ordered systems as well as, for example, the three-dimensional and four-dimensional toric codes. It is tight for the toric code, giving a scaling with the linear system size. Our results have immediate operational implications for the preparation of topologically ordered states, a crucial ingredient for topological quantum computation: Dissipation cannot provide any significant speedup compared to unitary evolution.
We consider the problem of converting a product state to a ground state of a topologically ordered system through a locally generated open-system dynamic. Employing quantum-information tools, we show that such a conversion takes an amount of time proportional to the diameter of the system. Our result applies to typical two-dimensional topologically ordered systems as well as, for example, the three-dimensional and four-dimensional toric codes. It is tight for the toric code, giving a scaling with the linear system size. Our results have immediate operational implications for the preparation of topologically ordered states, a crucial ingredient for topological quantum computation: Dissipation cannot provide any significant speedup compared to unitary evolution.
We consider the problem of preparing specific encoded resource states for the toric code by local, time-independent interactions with a memoryless environment. We propose the construction of such a dissipative encoder which converts product states to topologically ordered ones while preserving logical information. The corresponding Liouvillian is made up of four local Lindblad operators. For a qubit lattice of size L × L , we show that this process prepares encoded states in time O ( L ), which is optimal. This scaling compares favorably with known local unitary encoders for the toric code which take time of order Ω( L 2 ) and require active time-dependent control.
We analyze the computational aspects of detecting topological order in a quantum many-body system. We contrast the widely used topological entanglement entropy with a recently introduced operational definition for topological order based on error correction properties, finding exponential scaling with the system size for the former and polynomial scaling for the latter. We exemplify our approach for a variant of the paradigmatic toric code model with mobile particles, finding that the error correction method allows to treat substantially larger system sizes. In particular, the phase diagram of the model can be successfully computed using error correction, while the topological entanglement entropy is too severely limited by finite size effects to obtain conclusive results. While we mainly focus on one-dimensional systems whose ground states can be expressed in terms of matrix product states, our strategy can be readily generalized to higher dimensions and systems out of equilibrium, even allowing for an efficient detection of topological order in current quantum simulation experiments.
We propose a definition for topological order at nonzero temperature in analogy to the usual zero temperature definition that a state is topologically ordered, or "nontrivial", if it cannot be transformed into a product state (or a state close to a product state) using a local (or approximately local) quantum circuit. We prove that any two-dimensional Hamiltonian which is a sum of commuting local terms is not topologically ordered at T > 0. We show that such trivial states cannot be used to store quantum information using certain stringlike operators. This definition is not too restrictive, however, as the four dimensional toric code does have a nontrivial phase at nonzero temperature.
The topological order of the Kitaev toric code is insensitive to disorder in its couplings since all star and plaquette operators commute; consequently, the stabilizer ground-state manifold is independent of the individual coupling strengths, and the phase remains stable against weak local perturbations. This insensitivity, however, is a property of the eigenstates and not of the dynamics they generate, and we show that the disorder sensitivity of a probe prepared outside that eigenbasis can be a metrological resource. In particular, we investigate the estimation of the strength of three topological-order-breaking perturbations, the nonlinear Castelnovo-Chamon deformation, nearest-neighbor Ising interactions, and a magnetic field along horizontal edges, encoded on an initially separable probe through unitary evolution under the disordered toric code Hamiltonian. We demonstrate that the quenched average quantum Fisher information (QFI), a figure of merit for metrological precision, exceeds that of its ordered counterpart in suitable regimes of perturbation strength and encoding time. For the ordered case, we further identify optimal product probes, for which the quadratic and cubic terms of the short-time expansion vanish identically, leaving a transient quartic scaling of QFI. Interestingly, this window persists as long as the multipartite entanglement generated by the encoding continues to increase, and it survives under local dephasing, bit-flip, and amplitude damping noise acting independently on each site, with the non-unital channel being the least detrimental.
Abstract We analyze the computational aspects of detecting topological order in a quantum many-body system. We contrast the widely used topological entanglement entropy with a recently introduced operational definition for topological order based on error correction properties, finding exponential scaling with the system size for the former and polynomial scaling for the latter. We exemplify our approach for a variant of the paradigmatic toric code model with mobile particles, finding that the error correction method allows to treat substantially larger system sizes. In particular, the phase diagram of the model can be successfully computed using error correction, while the topological entanglement entropy is too severely limited by finite size effects to obtain conclusive results. While we mainly focus on one-dimensional systems whose ground states can be expressed in terms of matrix product states, our strategy can be readily generalized to higher dimensions and systems out of equilibrium, even allowing for an efficient detection of topological order in current quantum simulation experiments.
Topologically ordered quantum phases are robust in the sense that perturbations in the Hamiltonian of the system will not change the topological nature of the ground-state wave function. However, in order to exploit topological order for applications such as self-correcting quantum memories and information processing, these states need to be also robust both dynamically and at finite temperature in the presence of an environment. It is well known that systems like the toric code in two spatial dimensions are fragile in temperature. In this paper, we show a completely analytic treatment of the toric code away from equilibrium, after a quantum quench of the system Hamiltonian. We show that, despite being subject to unitary evolution (and at zero temperature), the long-time behavior of the topological entropy is thermal, therefore vanishing. If the quench preserves a local gauge structure, there is a residual long-lived topological entropy. This also is the thermal behavior in presence of such gauge constraints. The result is obtained by studying the time evolution of the topological 2-R\'enyi entropy in a fully analytical, exact way.