Search

It is shown that when properly analyzed using principles consistent with the use of a Hilbert space to describe microscopic properties, quantum mechanics is a local theory: one system cannot influence another system with which it does not interact. Claims to the contrary based on quantum violations of Bell inequalities are shown to be incorrect. A specific example traces a violation of the CHSH Bell inequality in the case of a spin-3/2 particle to the noncommutation of certain quantum operators in a situation where (non)locality is not an issue. A consistent histories analysis of what quantum measurements measure, in terms of quantum properties, is used to identify the basic problem with derivations of Bell inequalities: the use of classical concepts (hidden variables) rather than a probabilistic structure appropriate to the quantum domain. A difficulty with the original Einstein-Podolsky-Rosen (EPR) argument for the incompleteness of quantum mechanics is the use of a counterfactual argument which is not valid if one assumes that Hilbert-space quantum mechanics is complete; locality is not an issue. The quantum correlations that violate Bell inequalities can be understood using local quantum common causes. Wavefunction collapse and Schr\"odinger steering are calculational procedures, not physical processes. A general Principle of Einstein Locality rules out nonlocal influences between noninteracting quantum systems. Some suggestions are made for changes in terminology that could clarify discussions of quantum foundations and be less confusing to students., Comment: v3: Minor changes and corrections. This version agrees pretty well with published paper

We consider a family of quantum channels characterized by the fact that certain (in general nonorthogonal) Pure states at the channel entrance are mapped to (tensor) Products of Pure states (PPP, hence "pcubed") at the complementary outputs (the main output and the "environment") of the channel. The pcubed construction, a reformulation of the twisted-diagonal procedure by M. M Wolf and D. Perez-Garcia, [Phys. Rev. A 75, 012303 (2007)], can be used to produce a large class of degradable quantum channels; degradable channels are of interest because their quantum capacities are easy to calculate. Several known types of degradable channels are either pcubed channels, or subchannels (employing a subspace of the channel entrance), or continuous limits of pcubed channels. The pcubed construction also yields channels which are neither degradable nor antidegradable (i.e., the complement of a degradable channel); a particular example of a qutrit channel of this type is studied in some detail. Determining whether a pcubed channel is degradable or antidegradable or neither is quite straightforward given the pure input and output states that characterize the channel. Conjugate degradable pcubed channels are always degradable., 17 pages. Version 3: Corrections in Eqns. (54) and (66); otherwise minor changes make it close to the published version

It is shown how all the major conceptual difficulties of standard (textbook) quantum mechanics, including the two measurement problems and the (supposed) nonlocality that conflicts with special relativity, are resolved in the consistent or decoherent histories interpretation of quantum mechanics by using a modified form of quantum logic to discuss quantum properties (subspaces of the quantum Hilbert space), and treating quantum time development as a stochastic process. The histories approach in turn gives rise to some conceptual difficulties, in particular the correct choice of a framework (probabilistic sample space) or family of histories, and these are discussed. The central issue is that the principle of unicity, the idea that there is a unique single true description of the world, is incompatible with our current understanding of quantum mechanics., Minor changes and corrections to bring into conformity with published version

A resolution of the quantum measurement problem(s) using the consistent histories interpretation yields in a rather natural way a restriction on what an observer can know about a quantum system, one that is also consistent with some results in quantum information theory. This analysis provides a quantum mechanical understanding of some recent work that shows that certain kinds of quantum behavior are exhibited by a fully classical model if by hypothesis an observer's knowledge of its state is appropriately limited., Minor revisions. Agrees pretty much with published version

It is shown that quantum mechanics is noncontextual if quantum properties are represented by subspaces of the quantum Hilbert space (as proposed by von Neumann) rather than by hidden variables. In particular, a measurement using an appropriately constructed apparatus can be shown to reveal the value of an observable A possessed by the measured system before the measurement took place, whatever other compatible ([B,A]=0) observable B may be measured at the same time., Minor revisions to clarify some points in previus versions

Maudlin has claimed that no local theory can reproduce the predictions of standard quantum mechanics that violate Bell's inequality for Bohm's version (two spin-half particles in a singlet state) of the Einstein-Podolsky-Rosen problem. It is argued that, on the contrary, standard quantum mechanics itself is a counterexample to Maudlin's claim, because it is local in the appropriate sense (measurements at one place do not influence what occurs elsewhere there) when formulated using consistent principles in place of the inconsistent appeals to "measurement" found in current textbooks. This argument sheds light on the claim of Blaylock that counterfactual definiteness is an essential ingredient in derivations of Bell's inequality., Minor revisions to previous version

A Holevo measure is used to discuss how much information about a given POVM on system $a$ is present in another system $b$, and how this influences the presence or absence of information about a different POVM on $a$ in a third system $c$. The main goal is to extend information theorems for mutually unbiased bases or general bases to arbitrary POVMs, and especially to generalize "all-or-nothing" theorems about information located in tripartite systems to the case of \emph{partial information}, in the form of quantitative inequalities. Some of the inequalities can be viewed as entropic uncertainty relations that apply in the presence of quantum side information, as in recent work by Berta et al. [Nature Physics 6, 659 (2010)]. All of the results also apply to quantum channels: e.g., if $\EC$ accurately transmits certain POVMs, the complementary channel $\FC$ will necessarily be noisy for certain other POVMs. While the inequalities are valid for mixed states of tripartite systems, restricting to pure states leads to the basis-invariance of the difference between the information about $a$ contained in $b$ and $c$., 21 pages. An earlier version of this paper attempted to prove our main uncertainty relation, Theorem 5, using the achievability of the Holevo quantity in a coding task, an approach that ultimately failed because it did not account for locking of classical correlations, e.g. see [DiVincenzo et al. PRL. 92, 067902 (2004)]. In the latest version, we use a very different approach to prove Theorem 5

The location of quantum information in various subsets of the qudit carriers of an additive graph code is discussed using a collection of operators on the coding space which form what we call the information group. It represents the input information through an encoding operation constructed as an explicit quantum circuit. Partial traces of these operators down to a particular subset of carriers provide an isomorphism of a subgroup of the information group, and this gives a precise characterization of what kinds of information they contain. All carriers are assumed to have the same dimension D, an arbitrary integer greater than 1., Comments are welcome. 17 pages with 4 figures

The well-known duality relating entangled states and noisy quantum channels is expressed in terms of a channel ket, a pure state on a suitable tripartite system, which functions as a pre-probability allowing the calculation of statistical correlations between, for example, the entrance and exit of a channel, once a framework has been chosen so as to allow a consistent set of probabilities. In each framework the standard notions of ordinary (classical) information theory apply, and it makes sense to ask whether information of a particular sort about one system is or is not present in another system. Quantum effects arise when a single pre-probability is used to compute statistical correlations in different incompatible frameworks, and various constraints on the presence and absence of different kinds of information are expressed in a set of all-or-nothing theorems which generalize or give a precise meaning to the concept of ``no-cloning.'' These theorems are used to discuss: the location of information in quantum channels modeled using a mixed-state environment; the $CQ$ (classical-quantum) channels introduced by Holevo; and the location of information in the physical carriers of a quantum code. It is proposed that both channel and entanglement problems be classified in terms of pure states (functioning as pre-probabilities) on systems of $p\geq 2$ parts, with mixed bipartite entanglement and simple noisy channels belonging to the category $p=3$, a five-qubit code to the category $p=6$, etc.; then by the dimensions of the Hilbert spaces of the component parts, along with other criteria yet to be determined., Latex 32 pages, 4 figures in text using PSTricks. Version 3: Minor typographical errors corrected

A relativistic version of the (consistent or decoherent) histories approach to quantum theory is developed on the basis of earlier work by Hartle, and used to discuss relativistic forms of the paradoxes of spherical wave packet collapse, Bohm's formulation of Einstein-Podolsky-Rosen, and Hardy's paradox. It is argued that wave function collapse is not needed for introducing probabilities into relativistic quantum mechanics, and in any case should never be thought of as a physical process. Alternative approaches to stochastic time dependence can be used to construct a physical picture of the measurement process that is less misleading than collapse models. In particular, one can employ a coarse-grained but fully quantum mechanical description in which particles move along trajectories, with behavior under Lorentz transformations the same as in classical relativistic physics, and detectors are triggered by particles reaching them along such trajectories. States entangled between spacelike separate regions are also legitimate quantum descriptions, and can be consistently handled by the formalism presented here. The paradoxes in question arise because of using modes of reasoning which, while correct for classical physics, are inconsistent with the mathematical structure of quantum theory, and are resolved (or tamed) by using a proper quantum analysis. In particular, there is no need to invoke, nor any evidence for, mysterious long-range superluminal influences, and thus no incompatibility, at least from this source, between relativity theory and quantum mechanics., Latex 42 pages, 7 figures in text using PSTricks

A central principle of consistent histories quantum theory, the requirement that quantum descriptions be based upon a single framework (or family), is employed to show that there is no conflict between consistent histories and a no-hidden-variables theorem of Bell, and Kochen and Specker, contrary to a recent claim by Bassi and Ghirardi. The argument makes use of ``truth functionals'' defined on a Boolean algebra of classical or quantum properties., Latex 10 pages, no figures

Phase diagrams as a function of anisotropy $D$ and magnetic field $H$ are obtained for discommensurations and surface states for an antiferromagnet in which $H$ is parallel to the easy axis, by modeling it using the ground states of a one-dimensional chain of classical XY spins. A surface spin-flop phase exists for all $D$, but the interval in $H$ over which it is stable becomes extremely small as $D$ goes to zero. First-order transitions, separating different surface states and ending in critical points, exist inside the surface spin-flop region. They accumulate at a field $H'$ (depending on $D$) significantly less than the value $H_{SF}$ for a bulk spin-flop transition. For $H' < H < H_{SF}$ there is no surface spin-flop phase in the strict sense; instead, the surface restructures by, in effect, producing a discommensuration infinitely far away in the bulk. The results are used to explain in detail the phase transitions occurring in systems consisting of a finite, even number of layers., Revtex 17 pages, 15 figures

The problem of finding the exact energies and configurations for the Frenkel-Kontorova model consisting of particles in one dimension connected to their nearest-neighbors by springs and placed in a periodic potential consisting of segments from parabolas of identical (positive) curvature but arbitrary height and spacing, is reduced to that of minimizing a certain convex function defined on a finite simplex., 12 RevTeX pages, using AMS-Fonts (amssym.tex,amssym.def), 6 Postscript figures, accepted by Phys. Rev. B

Phase diagrams as a function of anisotropy D and magnetic field H are obtained for discommensurations and surface states for a model antiferromagnet in which $H$ is parallel to the easy axis. The surface spin-flop phase exists for all $D$. We show that there is a region where the penetration length of the surface spin-flop phase diverges. Introducing a discommensuration of even length then becomes preferable to reconstructing the surface. The results are used to clarify and correct previous studies in which discommensurations have been confused with genuine surface spin-flop states., 4 pages, RevTeX, 2 Postscript figures

The method of Peierls is used to prove the existence of a spontaneous magnetization for a spin system with nearest-neighbor interactions and Hamiltonian\(H = - J \sum\limits_{\left\langle {ij} \right\rangle } { [S_i^z S_j^z + \alpha (S_i^x S_j^x + S_i^y S_i^y )], S_i } \) a (classical) unit vector at thei'th site, with |α