One of the most basic notions in physics is the partitioning of a system into subsystems, and the study of correlations among its parts. In this work, we explore these notions in the context of quantum reference frame (QRF) covariance, in which this partitioning is subject to a symmetry constraint. We demonstrate that different reference frame perspectives induce different sets of subsystem observable algebras, which leads to a gauge-invariant, frame-dependent notion of subsystems and entanglement. We further demonstrate that subalgebras which commute before imposing the symmetry constraint can translate into non-commuting algebras in a given QRF perspective after symmetry imposition. Such a QRF perspective does not inherit the distinction between subsystems in terms of the corresponding tensor factorizability of the kinematical Hilbert space and observable algebra. Since the condition for this to occur is contingent on the choice of QRF, the notion of subsystem locality is frame-dependent.
The size of quantum information -- or entanglement -- transfer rates between subsystems is a generic question in problems ranging from decoherence in quantum computation and sensing, to quantum underpinnings of thermodynamics, to the behavior of quantum black holes. We investigate such rates for given couplings between subsystems, for sufficiently random subsystem evolution, and find evidence for a conjectured relation of these rates to the size of the couplings. This provides a direct connection between entanglement transfer and the microphysical couplings responsible for it.
There should be quantum vacuum fluctuations of spacetime itself, if we accept that the basic quantum principles we are already familiar with apply as well to a quantum theory of gravity. In this paper, we study, in linearized quantum gravity, the quantum entanglement generation at the neighborhood of the initial time between two independent gravitationally polarizable two-level subsystems caused by fluctuating quantum vacuum gravitational fields in the framework of open quantum systems. A bath of fluctuating quantum vacuum gravitational fields serves as an environment that provides indirect in…
Subsystems of entangled quantum systems are not traditionally described in a local way. This paper begins to address the issue by constructing an explicit local hidden variable theory for quantum subsystems. The interpretation is based on a modified sum-over-paths approach, where the paths of the subsystem obtain information about the external system during interactions. The interpretation utilizes the conception that there is a dissociation between the tensor product structure of wavefunctions and information flow into quantum subsystems.
Any Hilbert space with composite dimension can be factorized into a tensor product of smaller Hilbert spaces. This allows to decompose a quantum system into subsystems. We propose a simple tractable model for a constructive study of decompositions of quantum systems.
Gauge freedom in quantum electrodynamics (QED) outside of textbook regimes is reviewed. It is emphasized that QED subsystems are defined relative to a choice of gauge. Each definition uses different gauge-invariant observables. This relativity is eliminated only if a sufficient number of Markovian and weak-coupling approximations are employed. All physical predictions are gauge invariant, including subsystem properties such as photon number and entanglement. However, subsystem properties naturally differ for different physical subsystems. Gauge ambiguities arise not because it is unclear how t…
A Search for Classical Subsystems in Quantum Worlds
Center for Quantum Mathematics & Physics（量子数学与物理中心）；Department of Physics & Astronomy UC Davis（加州大学戴维斯分校物理与天文学系）；Basic Research Community for Physics e.V.（基础物理社区协会）；École Polytechnique Fédérale de Lausanne（洛桑联邦理工学院）；Theoretical Division, Los Alamos National Laboratory（洛斯阿拉莫斯国家实验室理论部）；Information Sciences, Los Alamos National Laboratory（洛斯阿拉莫斯国家实验室信息科学部）
A local description of quantum subsystems can be used to construct ontologies of the full quantum predictions. This paper communicates one possible way to do so. A retrocausal interpretation of quantum mechanics where the de Broglie-Bohm particles are the retrocausal agents is developed. This interpretation is constrained to be compatible with the existence of a local realist description of quantum subsystems.
Subsystem entanglement and separability in quantum reference frames
KTH Royal Institute of Technology（皇家理工学院）；Stockholm University（斯德哥尔摩大学）；Slovak Academy of Sciences（斯洛伐克科学院）；Basic Research Community for Physics e.V.（基础物理研究社区协会）
Realistic many-particle systems dynamically exchange particles with their environments. In classical physics, small variations in the number of constituent particles are commonly considered practically irrelevant. However, in the quantum mechanical context, such and similar structural variations are generically taxed due to the so-called Entanglement Relativity. In this paper we point out difficulties in deriving master equation for a subsystem of an alternative partition of the closed quantum system. We find that the Nakajima-Zwanzig projection method cannot be straightforwardly used to solve…
We study the temporal evolution of the circuit complexity after the local quench where two harmonic chains are suddenly joined, choosing the initial state as the reference state. We discuss numerical results for the complexity for the entire chain and the subsystem complexity for a block of consecutive sites, obtained by exploiting the Fisher information geometry of the covariance matrices. The qualitative behaviour of the temporal evolutions of the subsystem complexity depends on whether the joining point is inside the subsystem. The revivals and a logarithmic growth observed during these tem…
We study the temporal evolution of the circuit complexity for a subsystem in harmonic lattices after a global quantum quench of the mass parameter, choosing the initial reduced density matrix as the reference state. Upper and lower bounds are derived for the temporal evolution of the complexity for the entire system. The subsystem complexity is evaluated by employing the Fisher information geometry for the covariance matrices. We discuss numerical results for the temporal evolutions of the subsystem complexity for a block of consecutive sites in harmonic chains with either periodic or Dirichle…
We generalize a recently discovered example of a private quantum subsystem to find private subsystems for Abelian subgroups of the $n$-qubit Pauli group, which exist in the absence of private subspaces. In doing so, we also connect these quantum privacy investigations with the theory of quasiorthogonal operator algebras through the use of tools from group theory and operator theory.
There are many ways to decompose the Hilbert space H of a composite quantum system into tensor product subspaces. Different subsystem decompositions generally imply different interaction Hamiltonians V, and therefore different expectation values for subsystem observables. This means that thE uniqueness of physical predictions is not guaranteed, despite the uniqueness of the total Hamiltonian H and the total Hilbert space. Here we use Clausius' version of the second law of thermodynamics (CSL) and standard identifications of thermodynamic quantities to identify possible subsystem decompositions…
We present general conditions for quantum error suppression for Hamiltonian-based quantum computation using subsystem codes. This involves encoding the Hamiltonian performing the computation using an error detecting subsystem code and the addition of a penalty term that commutes with the encoded Hamiltonian. The scheme is general and includes the stabilizer formalism of both subspace and subsystem codes as special cases. We derive performance bounds and show that complete error suppression results in the large penalty limit. To illustrate the power of subsystem-based error suppression, we intr…
The development of quantum control methods is an essential task for emerging quantum technologies. In general, the process of optimizing quantum controls scales very unfavorably in system size due to the exponential growth of the Hilbert space dimension. Here, I present a scalable subsystem-based method for quantum optimal control on a large quantum system. The basic idea is to cast the original problem as a robust control problem on subsystems with requirement of robustness in respect of inter-subsystem couplings, thus enabling a drastic reduction of problem size. The method is in particular …
Many of the contemporary formulations of quantum mechanics describe the marginal probability distributions of entangled many-body systems in a non-local way. Unlike the non-locality of joint distributions, the non-locality of marginal distributions is not forced by theory or experiment. This paper investigates the issue in the context of the Copenhagen, de Broglie-Bohm and sum-over-paths interpretations. A dissociation between information flow into quantum subsystems and the tensor product structure of wavefunctions is highlighted in connection to the problem.
We study the question of how to decompose Hilbert space into a preferred tensor-product factorization without any pre-existing structure other than a Hamiltonian operator, in particular the case of a bipartite decomposition into "system" and "environment." Such a decomposition can be defined by looking for subsystems that exhibit quasi-classical behavior. The correct decomposition is one in which pointer states of the system are relatively robust against environmental monitoring (their entanglement with the environment does not continually and dramatically increase) and remain localized around…
The Oskar Klein Centre and Department of Physics, Stockholm University（斯德哥尔摩大学奥斯克·克莱因中心与物理系）；Yukawa Institute for Theoretical Physics, Kyoto University（京都大学汤川秀树理论物理研究所）；Faculty of Physics, University of Warsaw（华沙大学物理学院）
Given any two classical codes with parameters $[n_1,k,d_1]$ and $[n_2,k,d_2]$, we show how to construct a quantum subsystem code in 2-dimensions with parameters $[[N,K,D]]$ satisfying $N\le 2n_1n_2$, $K=k$, and $D=\min(d_1,d_2)$. These quantum codes are in the class of generalized Bacon-Shor codes introduced by Bravyi. We note that constructions of good classical codes can be used to construct quantum codes that saturate Bravyi's bound $KD=O(N)$ on the code parameters of 2-dimensional subsystem codes. One of these good constructions uses classical expander codes. This construction has the addi…
By means of the examples of classical and Bohmian quantum mechanics, we illustrate the well-known ideas of Boltzmann as to how one gets from laws defined for the universe as a whole to dynamical relations describing the evolution of subsystems. We explain how probabilities enter into this process, what quantum and classical probabilities have in common and where exactly their difference lies.
