No Arabic abstract
Stabilizer states are eigenvectors of maximal commuting sets of operators in a finite Heisenberg group. States that are far from being stabilizer states include magic states in quantum computation, MUB-balanced states, and SIC vectors. In prime dimensions the latter two fall under the umbrella of Minimum Uncertainty States (MUS) in the sense of Wootters and Sussman. We study the correlation between two ways in which the notion of far from being a stabilizer state can be quantified, and give detailed results for low dimensions. In dimension 7 we identify the MUB-balanced states as being antipodal to the SIC vectors within the set of MUS, in a sense that we make definite. In dimension 4 we show that the states that come closest to being MUS with respect to all the six stabilizer MUBs are the fiducial vectors for Alltop MUBs.
The entanglement properties of a multiparty pure state are invariant under local unitary transformations. The stabilizer dimension of a multiparty pure state characterizes how many types of such local unitary transformations existing for the state. We find that the stabilizer dimension of an $n$-qubit ($nge 2$) graph state is associated with three specific configurations in its graph. We further show that the stabilizer dimension of an $n$-qubit ($nge 3$) graph state is equal to the degree of irreducible two-qubit correlations in the state.
The phenomenon of many-body localisation received a lot of attention recently, both for its implications in condensed-matter physics of allowing systems to be an insulator even at non-zero temperature as well as in the context of the foundations of quantum statistical mechanics, providing examples of systems showing the absence of thermalisation following out-of-equilibrium dynamics. In this work, we establish a novel link between dynamical properties - the absence of a group velocity and transport - with entanglement properties of individual eigenvectors. Using Lieb-Robinson bounds and filter functions, we prove rigorously under simple assumptions on the spectrum that if a system shows strong dynamical localisation, all of its many-body eigenvectors have clustering correlations. In one dimension this implies directly an entanglement area law, hence the eigenvectors can be approximated by matrix-product states. We also show this statement for parts of the spectrum, allowing for the existence of a mobility edge above which transport is possible.
We compute the $mathbb{A}^1$-localization of several invariants of schemes namely, topological Hochschild homology ($mathrm{THH}$), topological cyclic homology ($mathrm{TC}$) and topological periodic cyclic homology ($mathrm{TP}$). This procedure is quite brutal and kills the complete
The generation and verification of large-scale entanglement are essential to the development of quantum technologies. In this paper, we present an efficient scheme to generate genuine multipartite entanglement of a large number of qubits by using the Heisenberg interaction. This method can be conveniently implemented in various physical platforms, including superconducting, trapped-ion, and cold-atom systems. In order to characterize the entanglement of the output quantum state, we generalize the stabilizer formalism and develop an entanglement witness method. In particular, we design a generic searching algorithm to optimize entanglement witness with a minimal number of measurement settings under a given noise level. From the perspective of practical applications, we numerically study the trade-off between the experiment efficiency and the detection robustness.
Consider a stabilizer state on $n$ qudits, each of dimension $D$ with $D$ being a prime or a squarefree integer, divided into three mutually disjoint sets or parts. Generalizing a result of Bravyi et al. [J. Math. Phys. textbf{47}, 062106 (2006)] for qubits (D=2), we show that up to local unitaries on the three parts the state can be written as a tensor product of unentangled single-qudit states, maximally entangled EPR pairs, and tripartite GHZ states. We employ this result to obtain a complete characterization of the properties of a class of channels associated with stabilizer error-correcting codes, along with their complementary channels.