Within the decoherence theory we investigate the physical background of the condition of the separability (diagonalizability in noncorrelated basis) of the interaction Hamiltonian of the composite system, "system plus environment". It proves that the condition of the separability may serve as a criterion for defining "system", but so that "system" cannot be defined unless it is simultaneously defined with its "environment". When extended to a set of the mutually interacting composite systems, this result implies that the separability conditions of the local interactions are mutually tied. The task of defining "system" (and "environment") via investigating the separability of the Hamiltonian is a sort of the inverse task of the decoherence theory. A simple example of doing the task is given.
Within the decoherence theory we investigate the physical background of the condition of the separability (diagonalizability in noncorrelated basis) of the interaction Hamiltonian of the composite system, "system plus environment". It proves that the condition of the separability may serve as a criterion for defining "system", but so that "system" cannot be defined unless it is simultaneously defined with its "environment". When extended to a set of the mutually interacting composite systems, this result implies that the separability conditions of the local interactions are mutually tied. The task of defining "system" (and "environment") via investigating the separability of the Hamiltonian is a sort of the inverse task of the decoherence theory. A simple example of doing the task is given.
We develop a general algebraic method for investigating the diagonalizability of a composite-system observable in the, so-called, noncorrelated basis of the Hilbert state space of a composite ("two-body") quantum system. The method consists in rewriting a composite-system obsrvable in linear form, for which one directly and uniquely obtains an answer concerning the diagonalizability. The method has been applied to the analysis of the concept of separability of the interaction part of the Hamiltonian of the composite system, "quantum system plus environment (apparatus)". The application leads to a new (more precise) operational definition of separability, which represents a necessary condition concerning the occurrence of decoherence in the, so-called, orthodox approach to the theory of decoherence.
We investigate the conditions which can lead to the occurrence of "decoherence" (i.e., of "environment-induced superselection"), in a quantum system interacting with another, infinite quantum system (an apparatus, environment, etc.), in the context of the nonrelativistic quantum mechanics. We are particularly concerned with: a kind of interaction, its relative strength, initial state of the apparatus (environment), and compatibility of the self-Hamiltonian and the interaction Hamiltonian of the composite system, "system plus apparatus", including time dependent interactions. As necessary conditions concerning occurrence of decoherence appear the two requirements: (i) That the interaction Hamiltonian is of the separable kind , and (ii) That the complete Hamiltonian, Ĥ u satisfies commutator relation [Ĥ u ( t ), Ĥ u ( t ')] = 0 ( t and t ' arbitrary instants). Since non-separable interaction cannot produce the same, we conclude that occurrence of decoherence is neither a rule (as it is sometimes assumed in the context of the "environment theory"), nor an exceptional consequence of the dynamics of a system interacting with its environment (as it is sometimes claimed in the criticism of the environment theory). Exhaustiveness and generality of our analysis extend applicability of related results (which are independent on a particular model of (infinite) environment), at least as a qualitative test and/or quantitative estimation of the results of the calculations obtained by the use of the different methods (semiclassical methods, path-integration technique, etc.) in quantum many-particle physics.
Abstract: The problem of ”what is ’system’? ” is in the very foundations of modern quantum mechanics. Here, we point out the interest in this topic in the information-theoretic context. E.g., we point out the possibility to manipulate a pair of mutually non-interacting, non-entangled systems to employ entanglement of the newly defined ”(sub)systems ” consisting the one and the same composite system. Given the different divisions of a composite system into ”subsystems”, the Hamiltonian of the system may generate in general non-equivalent quantum computations. Redefinition of ”subsystems” of a composite system may be regarded as a method for avoiding decoherence in the quantum hardware. In principle, all the notions refer to a composite system as simple as the hydrogen atom. 1.
We present a general analytic method for evaluating the generally time-dependent pointer states of a subsystem, which are defined by their capability not to entangle with the states of another subsystem. In this way, we show how in practice the global state of the system and the environment may evolve into a diagonal state as a result of the natural evolution of the total composite system. We explore the conditions under which the pointer states of the system become independent of time; so that a preferred basis of measurement can be realized. As we show, these conditions include the so-called quantum limit of decoherence and the so-called quantum measurement limit; as well as some other specific conditions which are discussed in the paper. We relate the mathematical conditions for having time-independent pointer states to some classes of possible symmetries in the Hamiltonian of the total composite system. Indeed, our theory would serve as a generalization of the existing theory for determination of the preferred basis of measurement. By exploiting this new theory we can obtain those regimes of the parameter space for a given total Hamiltonian defining our system-environment model for which a preferred basis of measurement can be realized. Moreover, we can predict the corresponding preferred basis of measurement for each regime. We can also obtain the time-dependent pointer states of the system and the environment in most of the other regimes where the pointer states of the system are time-dependent and a preferred basis of measurement cannot be realized at all. This ability to obtain time-dependent pointer states is specifically important in decoherence studies; as pointer states correspond to those initial conditions for the state of the system and the environment for which we can have longer decoherence times.
A quantum system is always in interaction with its environment. This interaction inevitably alters the state of the quantum system, which causes loss of information encoded in the system. The system under consideration is not a closed system any more when interaction with the outside world is in action. We formulate the theory of an open quantum system in this chapter by regarding the combined system of the quantum system and its environment as a closed system and subsequently trace out the environmental degrees of freedom. Let ρS and ρE be the density matrices of the system and the environment, respectively. Even when the initial state is an uncorrelated state ρS ⊗ ρE , the system-environment interaction entangles the total system so that the total state develops to an inseparable entangled state in general. Decoherence is a process in which environment causes various changes in the quantum system, which manifests itself as undesirable noise.
The local Hamiltonian problem plays the equivalent role of SAT in quantum complexity theory. Understanding the complexity of the intermediate case in which the constraints are quantum but all local terms in the Hamiltonian commute, is of importance for conceptual, physical and computational complexity reasons. Bravyi and Vyalyi showed in 2003 [10], using a clever application of the representation theory of C*-algebras, that if the terms in the Hamiltonian are all two-local, the problem is in NP, and the entanglement in the ground states is local. The general case remained open since then. In this paper we extend this result beyond the two-local case, to the case of three-qubit interactions. We then extend our results even further, and show that NP verification is possible for three-wise interaction between qutrits as well, as long as the interaction graph is planar and also "nearly Euclidean" in some well-defined sense. The proofs imply that in all such systems, the entanglement in the ground states is local. These extensions imply an intriguing sharp transition phenomenon in commuting Hamiltonian systems: the ground spaces of 3-local "physical" systems based on qubits and qutrits are diagonalizable by a basis whose entanglement is highly local, while even slightly more involved interactions (the particle dimensionality or the locality of the interaction is larger) already exhibit an important long-range entanglement property called Topological Order. Our results thus imply that Kitaev's celebrated Toric code construction is, in a well defined sense, optimal as a construction of Topological Order based on commuting Hamiltonians.