To formulate the universal constraints of quantum statistics data of generic long-range entangled quantum systems, we introduce the geometric-topology surgery theory on spacetime manifolds where quantum systems reside, cutting and gluing the associated quantum amplitudes, specifically in 2+1 and 3+1 spacetime dimensions. First, we introduce the fusion data for worldline and worldsheet operators capable of creating anyonic excitations of particles and strings, well-defined in gapped states of matter with intrinsic topological orders. Second, we introduce the braiding statistics data of particles and strings, such as the geometric Berry matrices for particle-string Aharonov-Bohm, 3-string, 4-string, or multi-string adiabatic loop braiding process, encoded by submanifold linkings, in the closed spacetime 3-manifolds and 4-manifolds. Third, we derive new `quantum surgery' formulas and constraints, analogous to Verlinde formula associating fusion and braiding statistics data via spacetime surgery, essential for defining the theory of topological orders, 3d and 4d TQFTs and potentially correlated to bootstrap boundary physics such as gapless modes, extended defects, 2d and 3d conformal field theories or quantum anomalies. This article is meant to be an extended and further detailed elaboration of our previous work [arXiv:1602.05951] and Chapter 6 of [arXiv:1602.05569]. Our theory applies to general quantum theories and quantum mechanical systems, also applicable to, but not necessarily requiring the quantum field theory description.

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

We consider densities $D_\Sigma(A)$, $\overline{D}_\Sigma(A)$ and $\underline{D}_\Sigma(A)$ for a subset $A$ of $\mathbb{N}$ with respect to a sequence $\Sigma$ of finite subsets of $\mathbb{N}$ and study Fourier coefficients of ergodic, weakly mixing and strongly mixing $\times p$-invariant measures on the unit circle $\mathbb{T}$. Combining these, we prove the following measure rigidity results: on $\mathbb{T}$, the Lebesgue measure is the only non-atomic $\times p$-invariant measure satisfying one of the following: (1) $\mu$ is ergodic and there exist a F\o lner sequence $\Sigma$ in $\mathbb{N}$ and a nonzero integer $l$ such that $\mu$ is $\times (p^j+l)$-invariant for all $j$ in a subset $A$ of $\mathbb{N}$ with $D_\Sigma(A)=1$; (2) $\mu$ is weakly mixing and there exist a F\o lner sequence $\Sigma$ in $\mathbb{N}$ and a nonzero integer $l$ such that $\mu$ is $\times (p^j+l)$-invariant for all $j$ in a subset $A$ of $\mathbb{N}$ with $\overline{D}_\Sigma(A)>0$; (3) $\mu$ is strongly mixing and there exists a nonzero integer $l$ such that $\mu$ is $\times (p^j+l)$-invariant for infinitely many $j$. Moreover, a $\times p$-invariant measure satisfying (2) or (3) is either a Dirac measure or the Lebesgue measure. As an application we prove that for every increasing function $\tau$ defined on positive integers with $\lim_{n\to\infty}\tau(n)=\infty$, there exists a multiplicative semigroup $S_\tau$ of $\mathbb{Z}^+$ containing $p$ such that $|S_\tau\cap[1,n]|\leq (\log_p n)^{\tau(n)}$ and the Lebesgue measure is the only non-atomic ergodic $\times p$-invariant measure which is $\times q$-invariant for all $q$ in $S_\tau$.