Abstract:Quantum entanglement is a particularly useful characterization of topological orders which lack conventional order parameters. In this work, we study the entanglement in topologically ordered states between two arbitrary spatial regions, using two distinct mixed-state entanglement measures: the so-called "computable cross-norm or realignment" (CCNR) negativity, and the more well-known partial-transpose (PT) negativity. We first generally compute the entanglement measures: We obtain general expressions both in (2+1)D Chern-Simons field theories under certain simplifying conditions, and in the Pauli stabilizer formalism that applies to lattice models in all dimensions. While the field-theoretic results are expected to be topological and universal, the lattice results contain nontopological/nonuniversal terms as well. This raises the important problem of continuum-lattice comparison which is crucial for practical applications. When the two spatial regions and the remaining subsystem do not have triple intersection, we solve the problem by proposing a general strategy for extracting the topological and universal terms in both entanglement measures. Examples in the (2+1)D $Z_2$ toric code model are also presented. In the presence of trisection points, however, our result suggests that the subleading piece in the PT negativity is not topological and depends on the local geometry of the trisections, which is in harmonics with a technical subtlety in the field-theoretic calculation.

Topological Erdős similarity conjecture and Strong Measure zero sets

The Logarithmic Minkowski Problem For Non-Symmetric Measures

An Ideal Topology Type Convergent Theorem on Scale Effect Algebras

On the topology of Gaussian random zero sets

The topological support of the z-measures on the Thoma simplex

Topological Disjointness from Entropy Zero Systems

Mixed-State Entanglement Measures in Topological Order

Countably perfectly meager and countably perfectly null sets

Dichotomy and measures on limit sets of Anosov groups

On the Lebesgue measure of one generalised set of subsums of geometric series

Weak convergence of topological measures

Universal Differentiability Sets in Laakso Space

Erdős Similarity Problem via Bi-Lipschitz Embedding

A UNIFIED THEORY OF ZERO-SUM PROBLEMS, SUBSET SUMS AND COVERS OF Z

Lebesgue measure zero modulo ideals on the natural numbers

Undecidably Semilocalizable Metric Measure Spaces

On the Ziv–Merhav theorem beyond Markovianity I

Quasi-graphs, Zero Entropy and Measures with Discrete Spectrum

Separating cardinal characteristics of the strong measure zero ideal

Topological Sequence Entropy of the Space of Measures