No Arabic abstract
When the reduced state of a many-body quantum system is independent of its remaining parts, we say it shows what has become known by shielding property. Under some assumptions, equilibrium states of quantum transverse Ising models do manifest such phenomenon. Namely, imagine a many-body quantum system described by a lattice in the presence of an external magnetic field. Suppose there exists a separating interface on this lattice splitting the system into two subsets such that they only interact one another through that interface. In addition, suppose also that the applied external magnetic field is null on the interface. The shielding property states that the reduced state of the set in one side of the interface has no dependence on the Hamiltonian parameters of the set in the other side. This statement was proved in [N. Moller et al, PRE 97, 032101 (2018)] for the case where there is only one site in the interface. For lattices with more sites in the interface, it was conjectured that the shielding property is true when the system is in the ground state. For the case of positive temperatures, it does not hold and there are counterexamples to show that. Here we show that the conjecture does hold true for ground states, but under an additional condition. This condition is met, in particular, if the Hamiltonian terms associated to the interface are frustration-free.
We show that Gibbs states of non-homogeneous transverse Ising chains satisfy a emph{shielding} property. Namely, whatever the fields on each spin and exchange couplings between neighboring spins are, if the field in one particular site is null, the reduced states of the subchains to the right and to the left of this site are emph{exactly} the Gibbs states of each subchain alone. Therefore, even if there is a strong exchange coupling between the extremal sites of each subchain, the Gibbs states of the each subchain behave as if there is no interaction between them. In general, if a lattice can be divided into two disconnected regions separated by an interface of sites with zero applied field, we can guarantee a similar result only if the surface contains a single site. Already for an interface with two sites we show an example where the property does not hold. When it holds, however, we show that if a perturbation of the Hamiltonian parameters is done in one side of the lattice, the other side is completely unchanged, with regard to both its equilibrium state and dynamics.
We construct a three-dimensional quantum cellular automaton (QCA), an automorphism of the local operator algebra on a lattice of qubits, which disentangles the ground state of the Walker-Wang three fermion model. We show that if this QCA can be realized by a quantum circuit of constant depth, then there exists a two-dimensional commuting projector Hamiltonian which realizes the three fermion topological order which is widely believed not to be possible. We conjecture in accordance with this belief that this QCA is not a quantum circuit of constant depth, and we provide two further pieces of evidence to support the conjecture. We show that this QCA maps every local Pauli operator to a local Pauli operator, but is not a Clifford circuit of constant depth. Further, we show that if the three-dimensional QCA can be realized by a quantum circuit of constant depth, then there exists a two-dimensional QCA acting on fermionic degrees of freedom which cannot be realized by a quantum circuit of constant depth; i.e., we prove the existence of a nontrivial QCA in either three or two dimensions. The square of our three-dimensional QCA can be realized by a quantum circuit of constant depth, and this suggests the existence of a $mathbb{Z}_2$ invariant of a QCA in higher dimensions, totally distinct from the classification by positive rationals (i.e., by one integer index for each prime) in one dimension. In an appendix, unrelated to the main body of this paper, we give a fermionic generalization of a result of Bravyi and Vyalyi on ground states of 2-local commuting Hamiltonians.
We consider the mutual Renyi information I^n(A,B)=S^n_A+S^n_B-S^n_{AUB} of disjoint compact spatial regions A and B in the ground state of a d+1-dimensional conformal field theory (CFT), in the limit when the separation r between A and B is much greater than their sizes R_{A,B}. We show that in general I^n(A,B)sim C^n_AC^n_B(R_AR_B/r^2)^a, where a the smallest sum of the scaling dimensions of operators whose product has the quantum numbers of the vacuum, and the constants C^n_{A,B} depend only on the shape of the regions and universal data of the CFT. For a free massless scalar field, where 2x=d-1, we show that C^2_AR_A^{d-1} is proportional to the capacitance of a thin conducting slab in the shape of A in d+1-dimensional electrostatics, and give explicit formulae for this when A is the interior of a sphere S^{d-1} or an ellipsoid. For spherical regions in d=2 and 3 we obtain explicit results for C^n for all n and hence for the leading term in the mutual information by taking n->1. We also compute a universal logarithmic correction to the area law for the Renyi entropies of a single spherical region for a scalar field theory with a small mass.
We present fresh evidence for the presence of discrete quantum time crystals in two spatial dimensions. Discrete time crystals are intricate quantum systems that break discrete time translation symmetry in driven quantum many-body systems undergoing non-equilibrium dynamics. They are stabilized by many-body localization arising from disorder. We directly target the thermodynamic limit using instances of infinite tensor network states and implement disorder in a translationally invariant setting by introducing auxiliary systems at each site. We discuss how such disorder can be realized in programmable quantum simulators: This gives rise to the interesting situation in which a classical tensor network simulation can contribute to devising a blueprint of a quantum simulator featuring pre-thermal time crystalline dynamics, one that will yet ultimately have to be built in order to explore the stability of this phase of matter for long times.
The Clifford hierarchy is a nested sequence of sets of quantum gates critical to achieving fault-tolerant quantum computation. Diagonal gates of the Clifford hierarchy and nearly diagonal semi-Clifford gates are particularly important: they admit efficient gate teleportation protocols that implement these gates with fewer ancillary quantum resources such as magic states. Despite the practical importance of these sets of gates, many questions about their structure remain open; this is especially true in the higher-dimensional qudit setting. Our contribution is to leverage the discrete Stone-von Neumann theorem and the symplectic formalism of qudit stabiliser mechanics towards extending results of Zeng-Cheng-Chuang (2008) and Beigi-Shor (2010) to higher dimensions in a uniform manner. We further give a simple algorithm for recursively enumerating all gates of the Clifford hierarchy, a simple algorithm for recognising and diagonalising semi-Clifford gates, and a concise proof of the classification of the diagonal Clifford hierarchy gates due to Cui-Gottesman-Krishna (2016) for the single-qudit case. We generalise the efficient gate teleportation protocols of semi-Clifford gates to the qudit setting and prove that every third level gate of one qudit (of any prime dimension) and of two qutrits can be implemented efficiently. Numerical evidence gathered via the aforementioned algorithms support the conjecture that higher-level gates can be implemented efficiently.