-
Madelung Mechanics and Superoscillations
Authors:
Mordecai Waegell
Abstract:
In single-particle Madelung mechanics, the single-particle quantum state $Ψ(\vec{x},t) = R(\vec{x},t) e^{iS(\vec{x},t)/\hbar}$ is interpreted as comprising an entire conserved fluid of classical point particles, with local density $R(\vec{x},t)^2$ and local momentum $\vec{\nabla}S(\vec{x},t)$ (where $R$ and $S$ are real). The Schrödinger equation gives rise to the continuity equation for the fluid…
▽ More
In single-particle Madelung mechanics, the single-particle quantum state $Ψ(\vec{x},t) = R(\vec{x},t) e^{iS(\vec{x},t)/\hbar}$ is interpreted as comprising an entire conserved fluid of classical point particles, with local density $R(\vec{x},t)^2$ and local momentum $\vec{\nabla}S(\vec{x},t)$ (where $R$ and $S$ are real). The Schrödinger equation gives rise to the continuity equation for the fluid, and the Hamilton-Jacobi equation for particles of the fluid, which includes a new density-dependent quantum potential energy term $Q(\vec{x},t) = -\frac{\hbar^2}{2m}\frac{\vec{\nabla}R(\vec{x},t)}{R(\vec{x},t)}$, which is all that makes the fluid behavior nonclassical. In particular, the quantum potential can become negative and create a nonclassical boost in the kinetic energy. This boost is related to superoscillations in the wavefunction, where the local frequency of $Ψ$ exceeds its global band limit. Berry showed that for states of definite energy $E$, the regions of superoscillation are exactly the regions where $Q(\vec{x},t)<0$. For energy superposition states with band-limit $E_+$, the situation is slightly more complicated, and the bound is no longer $Q(\vec{x},t)<0$. However, the fluid model provides a definite local energy for each fluid particle which allows us to define a local band limit for superoscillation, and with this definition, all regions of superoscillation are again regions where $Q(\vec{x},t)<0$ for general superpositions. Detailed examples are given which illustrate the role of the quantum potential and superoscillations in a range of scenarios.
△ Less
Submitted 10 May, 2024;
originally announced May 2024.
-
Separating a particle's mass from its momentum
Authors:
Mordecai Waegell,
Jeff Tollaksen,
Yakir Aharonov
Abstract:
The Quantum Cheshire Cat experiment showed that when weak measurements are performed on pre- and post-selected system, the counterintuitive result has been obtained that a neutron is measured to be in one place without its spin, and its spin is measured to be in another place without the neutron. A generalization of this effect is presented with a massive particle whose mass is measured to be in o…
▽ More
The Quantum Cheshire Cat experiment showed that when weak measurements are performed on pre- and post-selected system, the counterintuitive result has been obtained that a neutron is measured to be in one place without its spin, and its spin is measured to be in another place without the neutron. A generalization of this effect is presented with a massive particle whose mass is measured to be in one place with no momentum, while the momentum is measured to be in another place without the mass. The new result applies to any massive particle, independent of its spin or charge. A gedanken experiment which illustrates this effect is presented using a nested pair of Mach-Zehnder interferometers, but with some of the mirrors and beam splitters moving relative to the laboratory frame. The analysis of this experiment using the counterparticle ontology of Aharonov et al. is also given.
△ Less
Submitted 18 January, 2024;
originally announced January 2024.
-
Toward Local Madelung Mechanics in Spacetime
Authors:
Mordecai Waegell
Abstract:
It has recently been shown that relativistic quantum theory leads to a local interpretation of quantum mechanics wherein the universal wavefunction in configuration space is entirely replaced with an ensemble of local fluid equations in spacetime. For want of a fully relativistic quantum fluid treatment, we develop a model using the nonrelativistic Madelung equations, and obtain conditions for the…
▽ More
It has recently been shown that relativistic quantum theory leads to a local interpretation of quantum mechanics wherein the universal wavefunction in configuration space is entirely replaced with an ensemble of local fluid equations in spacetime. For want of a fully relativistic quantum fluid treatment, we develop a model using the nonrelativistic Madelung equations, and obtain conditions for them to be local in spacetime. Every particle in the Madelung fluid is equally real, and has a definite position, momentum, kinetic energy, and potential energy. These are obtained by defining quantum momentum and kinetic energy densities for the fluid and separating the momentum into average and symmetric parts, and kinetic energy into classical kinetic and quantum potential parts. The two types of momentum naturally give rise to a single classical kinetic energy density, which contains the expected kinetic energy, even for stationary states, and we define the reduced quantum potential as the remaining part of the quantum kinetic energy density. We treat the quantum potential as a novel mode of internal energy storage within the fluid particles, which explains most of the nonclassical behavior of the Madelung fluid. For example, we show that in tunneling phenomena the quantum potential negates the barrier so that nothing prevents the fluid from flowing through. We show how energy flows and transforms in this model, and that enabling local conservation of energy requires defining a quantum potential energy current that flows through the fluid rather than only flowing with it. The nonrelativistic treatment generally contains singularities in the velocity field, which undermines the goal of local dynamics, but we expect a proper relativistic treatment will bound the fluid particle velocities at $c$.
△ Less
Submitted 26 March, 2024; v1 submitted 28 October, 2023;
originally announced October 2023.
-
The Generative Programs Framework
Authors:
Mordecai Waegell,
Kelvin J. McQueen,
Emily C. Adlam
Abstract:
Recently there has been significant interest in using causal modelling techniques to understand the structure of physical theories. However, the notion of `causation' is limiting - insisting that a physical theory must involve causal structure already places significant constraints on the form that theory may take. Thus in this paper, we aim to set out a more general structural framework. We argue…
▽ More
Recently there has been significant interest in using causal modelling techniques to understand the structure of physical theories. However, the notion of `causation' is limiting - insisting that a physical theory must involve causal structure already places significant constraints on the form that theory may take. Thus in this paper, we aim to set out a more general structural framework. We argue that any quantitative physical theory can be represented in the form of a generative program, i.e. a list of instructions showing how to generate the empirical data; the information-processing structure associated with this program can be represented by a directed acyclic graph (DAG). We suggest that these graphs can be interpreted as encoding relations of `ontological priority,' and that ontological priority is a suitable generalisation of causation which applies even to theories that don't have a natural causal structure. We discuss some applications of our framework to philosophical questions about realism, operationalism, free will, locality and fine-tuning.
△ Less
Submitted 20 July, 2023;
originally announced July 2023.
-
Generation of Kochen-Specker contextual sets in higher dimensions by dimensional upscaling whose complexity does not scale with dimension and their applications
Authors:
Mladen Pavicic,
Mordecai Waegell
Abstract:
Recently, handling of contextual sets, in particular Kochen-Specker (KS) sets, in higher dimensions has been given an increasing attention, both theoretically and experimentally. However, methods of their generation are diverse, not generally applicable in every dimension, and of exponential complexity. Therefore, we design a dimensional upscaling method, whose complexity does not scale with dimen…
▽ More
Recently, handling of contextual sets, in particular Kochen-Specker (KS) sets, in higher dimensions has been given an increasing attention, both theoretically and experimentally. However, methods of their generation are diverse, not generally applicable in every dimension, and of exponential complexity. Therefore, we design a dimensional upscaling method, whose complexity does not scale with dimension. As a proof of principle we generate manageable-sized KS master sets in up to 27 dimensional spaces and show that well over 32 dimensions can be reached. From these master sets we obtain an ample number of smaller KS sets. We discuss three kinds of applications that work with KS sets in higher dimensions. We anticipate other applications of KS sets for quantum information processing that make use of large families of nonisomorphic KS sets.
△ Less
Submitted 10 May, 2024; v1 submitted 14 May, 2023;
originally announced May 2023.
-
The Golay codes and Quantum Contextuality
Authors:
Mordecai Waegell,
P. K. Aravind
Abstract:
It is shown that the codewords of the binary and ternary Golay codes can be converted into rays in RP(23) and RP(11) that provide proofs of the Kochen-Specker theorem in real state spaces of dimension 24 and 12, respectively. Some implications of these results are discussed.
It is shown that the codewords of the binary and ternary Golay codes can be converted into rays in RP(23) and RP(11) that provide proofs of the Kochen-Specker theorem in real state spaces of dimension 24 and 12, respectively. Some implications of these results are discussed.
△ Less
Submitted 29 August, 2022; v1 submitted 8 June, 2022;
originally announced June 2022.
-
Quantum reality with negative-mass particles
Authors:
Mordecai Waegell,
Eliahu Cohen,
Avshalom Elitzur,
Jeff Tollaksen,
Yakir Aharonov
Abstract:
Physical interpretations of the time-symmetric formulation of quantum mechanics, due to Aharonov, Bergmann, and Lebowitz are discussed in terms of weak values. The most direct, yet somewhat naive, interpretation uses the time-symmetric formulation to assign eigenvalues to unmeasured observables of a system, which results in logical paradoxes, and no clear physical picture. A top-down ontological m…
▽ More
Physical interpretations of the time-symmetric formulation of quantum mechanics, due to Aharonov, Bergmann, and Lebowitz are discussed in terms of weak values. The most direct, yet somewhat naive, interpretation uses the time-symmetric formulation to assign eigenvalues to unmeasured observables of a system, which results in logical paradoxes, and no clear physical picture. A top-down ontological model is introduced that treats the weak values of observables as physically real during the time between pre- and post-selection (PPS), which avoids these paradoxes. The generally delocalized rank-1 projectors of a quantum system describe its fundamental ontological elements, and the highest-rank projectors corresponding to individual localized objects describe an emergent particle model, with unusual particles whose masses and energies may be negative or imaginary. This retrocausal top-down model leads to an intuitive particle-based ontological picture, wherein weak measurements directly probe the properties of these exotic particles, which exist whether or not they are actually measured
△ Less
Submitted 24 January, 2022;
originally announced January 2022.
-
Local Quantum Theory with Fluids in Space-Time
Authors:
Mordecai Waegell
Abstract:
In 1948, Schwinger developed a local Lorentz covariant formulation of relativistic quantum electrodynamics in space-time which is fundamentally inconsistent with any delocalized interpretation of quantum mechanics. An interpretation compatible with Schwinger's theory is presented, which makes all of the same empirical predictions as conventional delocalized quantum theory in configuration space. T…
▽ More
In 1948, Schwinger developed a local Lorentz covariant formulation of relativistic quantum electrodynamics in space-time which is fundamentally inconsistent with any delocalized interpretation of quantum mechanics. An interpretation compatible with Schwinger's theory is presented, which makes all of the same empirical predictions as conventional delocalized quantum theory in configuration space. This is an explicit, unambiguous, and Lorentz-covariant 'local hidden variable theory' in space-time, whose existence proves definitively that such theories are possible. There is no inconsistency with Bell's theorem because this a local many-worlds theory. Each physical system is characterized by a wave-field, which is a set of indexed piece-wise single-particle wavefunctions in space-time, each with with its own coefficient, along with a memory which contains the separate local Hilbert-space quantum state at each event in space-time. Each single-particle wavefunction of a fundamental system describes the motion of a portion of a conserved fluid in space-time, with the fluid decomposing into many classical point particles, each following a world-line and recording a local memory. Local interactions between two systems take the form of local boundary conditions between the differently indexed pieces of those systems' wave-fields, with new indexes encoding each orthogonal outcome of the interaction. The general machinery is introduced, including the local mechanisms for entanglement and interference. The experience of collapse, Born rule probability, and environmental decoherence are discussed, and a number of illustrative examples are given.
△ Less
Submitted 3 December, 2021; v1 submitted 14 July, 2021;
originally announced July 2021.
-
Aharonov-Bohm effect with an effective complex-valued vector potential
Authors:
Ismael L. Paiva,
Yakir Aharonov,
Jeff Tollaksen,
Mordecai Waegell
Abstract:
The interaction between a quantum charge and a dynamic source of a magnetic field is considered in the Aharonov-Bohm scenario. It is shown that, in weak interactions with a post-selection of the source, the effective vector potential is, generally, complex-valued. This leads to new experimental protocols to detect the Aharonov-Bohm phase before the source is fully encircled. While this does not ne…
▽ More
The interaction between a quantum charge and a dynamic source of a magnetic field is considered in the Aharonov-Bohm scenario. It is shown that, in weak interactions with a post-selection of the source, the effective vector potential is, generally, complex-valued. This leads to new experimental protocols to detect the Aharonov-Bohm phase before the source is fully encircled. While this does not necessarily change the nonlocal status of the Aharonov-Bohm effect, it brings new insights into it. Moreover, we discuss how these results might have consequences for the correspondence principle, making complex vector potentials relevant to the study of classical systems.
△ Less
Submitted 15 May, 2023; v1 submitted 28 January, 2021;
originally announced January 2021.
-
Reformulating Bell's Theorem: The Search for a Truly Local Quantum Theory
Authors:
Mordecai Waegell,
Kelvin J. McQueen
Abstract:
The apparent nonlocality of quantum theory has been a persistent concern. Einstein et. al. (1935) and Bell (1964) emphasized the apparent nonlocality arising from entanglement correlations. While some interpretations embrace this nonlocality, modern variations of the Everett-inspired many worlds interpretation try to circumvent it. In this paper, we review Bell's "no-go" theorem and explain how it…
▽ More
The apparent nonlocality of quantum theory has been a persistent concern. Einstein et. al. (1935) and Bell (1964) emphasized the apparent nonlocality arising from entanglement correlations. While some interpretations embrace this nonlocality, modern variations of the Everett-inspired many worlds interpretation try to circumvent it. In this paper, we review Bell's "no-go" theorem and explain how it rests on three axioms, local causality, no superdeterminism, and one world. Although Bell is often taken to have shown that local causality is ruled out by the experimentally confirrmed entanglement correlations, we make clear that it is the conjunction of the three axioms that is ruled out by these correlations. We then show that by assuming local causality and no superdeterminism, we can give a direct proof of many worlds. The remainder of the paper searches for a consistent, local, formulation of many worlds. We show that prominent formulations whose ontology is given by the wave function violate local causality, and we critically evaluate claims in the literature to the contrary. We ultimately identify a local many worlds interpretation that replaces the wave function with a separable Lorentz-invariant wave-field. We conclude with discussions of the Born rule, and other interpretations of quantum mechanics.
△ Less
Submitted 6 March, 2020;
originally announced March 2020.
-
Magnetic forces in the absence of a classical magnetic field
Authors:
Ismael L. Paiva,
Yakir Aharonov,
Jeff Tollaksen,
Mordecai Waegell
Abstract:
It is shown that, in some cases, the effect of discrete distributions of flux lines in quantum mechanics can be associated with the effect of continuous distributions of magnetic fields with special symmetries. In particular, flux lines with an arbitrary value of magnetic flux can be used to create energetic barriers, which can be used to confine quantum systems in specially designed configuration…
▽ More
It is shown that, in some cases, the effect of discrete distributions of flux lines in quantum mechanics can be associated with the effect of continuous distributions of magnetic fields with special symmetries. In particular, flux lines with an arbitrary value of magnetic flux can be used to create energetic barriers, which can be used to confine quantum systems in specially designed configurations. This generalizes a previous work where such energy barriers arose from flux lines with half-integer fluxons. Furthermore, it is shown how the Landau levels can be obtained from a two-dimensional grid of flux lines. These results suggest that the classical magnetic force can be seen as emerging entirely from the Aharonov-Bohm effect. Finally, the basic elements of a semi-classical theory that models the emergence of classical magnetic forces from fields with special symmetries are introduced.
△ Less
Submitted 28 January, 2020;
originally announced January 2020.
-
Energy-Based Weak Measurement
Authors:
Mordecai Waegell,
Cyril Elouard,
Andrew N. Jordan
Abstract:
When a well-localized photon is incident on a spatially superposed absorber but is not absorbed, the photon can still deliver energy to the absorber. It is shown that when the transferred energy is small relative to the energy uncertainty of the photon, this constitutes an unusual type of weak measurement of the absorber's energy, where the energy distribution of the unabsorbed photon acts as the…
▽ More
When a well-localized photon is incident on a spatially superposed absorber but is not absorbed, the photon can still deliver energy to the absorber. It is shown that when the transferred energy is small relative to the energy uncertainty of the photon, this constitutes an unusual type of weak measurement of the absorber's energy, where the energy distribution of the unabsorbed photon acts as the measurement device, and the strongly disturbed state of the absorber becomes the effective pre-selection. Treating the final state of the absorber as the post-selection, it is shown that the absorber's energy increase is the weak value of its translational Hamiltonian, and the energy distribution of the photon shifts by the opposite amount. The basic case of non-scattering is examined, followed by the case of interaction-free energy transfer. Details and interpretations of the results are discussed.
△ Less
Submitted 26 December, 2019;
originally announced December 2019.
-
Nonlocal interferences induced by the phase of the wavefunction for a particle in a cavity with moving boundaries
Authors:
Mordecai Waegell,
Alex Matzkin
Abstract:
We investigate the dynamics of a particle in a confined periodic system---a time-dependent oscillator confined by infinitely high and moving walls---and focus on the evolution of the phase of the wavefunction. It is shown that, for some specific initial states in this potential, the phase of the wavefunction throughout the cavity depends on the walls motion. We further elaborate a thought experime…
▽ More
We investigate the dynamics of a particle in a confined periodic system---a time-dependent oscillator confined by infinitely high and moving walls---and focus on the evolution of the phase of the wavefunction. It is shown that, for some specific initial states in this potential, the phase of the wavefunction throughout the cavity depends on the walls motion. We further elaborate a thought experiment based on interferences devised to detect this form of single-particle nonlocality from a relative phase. We point out that, within the non-relativistic formalism based on the Schrödinger equation (SE), detecting this form of nonlocality can give rise to signaling. We believe this effect is an artifact, but the standard relativistic corrections to the SE do not appear to fix it. Specific illustrations are given, with analytical results in the adiabatic approximation, and numerical computations to show that contributions from high-energy states (corresponding to superluminal velocities) are negligible.
△ Less
Submitted 30 October, 2020; v1 submitted 13 September, 2019;
originally announced September 2019.
-
Automated generation of Kochen-Specker sets
Authors:
Mladen Pavicic,
Mordecai Waegell,
Norman D. Megill,
P. K. Aravind
Abstract:
Quantum contextuality turns out to be a necessary resource for universal quantum computation and also has applications in quantum communication. Thus it becomes important to generate contextual sets of arbitrary structure and complexity to enable a variety of implementations. In recent years, such generation has been done for contextual sets known as Kochen-Specker sets. Up to now, two approaches…
▽ More
Quantum contextuality turns out to be a necessary resource for universal quantum computation and also has applications in quantum communication. Thus it becomes important to generate contextual sets of arbitrary structure and complexity to enable a variety of implementations. In recent years, such generation has been done for contextual sets known as Kochen-Specker sets. Up to now, two approaches have been used for massive generation of non-isomorphic Kochen-Specker sets: exhaustive generation up to a given size and downward generation from master sets and their associated coordinatizations. Master sets were obtained earlier from serendipitous or intuitive connections with polytopes or Pauli operators, and more recently from arbitrary vector components using an algorithm that generates orthogonal vector grou**s from them. However, both upward and downward generation face an inherent exponential complexity barrier. In contrast, in this paper we present methods and algorithms that we apply to downward generation that can overcome the exponential barrier in many cases of interest. These involve tailoring and manipulating Kochen-Specker master sets obtained from a small number of simple vector components, filtered by the features of the sets we aim to obtain. Some of the classes of Kochen-Specker sets we generate contain all previously known ones, and others are completely novel. We provide examples of both kinds in 4- and 6-dim Hilbert spaces. We also give a brief introduction for a wider audience and a novice reader.
△ Less
Submitted 2 May, 2019;
originally announced May 2019.
-
Topological bound states for quantum charges
Authors:
Ismael L. Paiva,
Yakir Aharonov,
Jeff Tollaksen,
Mordecai Waegell
Abstract:
We discuss how, in appropriately designed configurations, solenoids carrying a semifluxon can be used as topological energy barriers for charged quantum systems. We interpret this phenomenon as a consequence of the fact that such solenoids induce nodal lines in the wave function describing the charge, which on itself is a consequence of the Aharonov-Bohm effect. Moreover, we present a thought expe…
▽ More
We discuss how, in appropriately designed configurations, solenoids carrying a semifluxon can be used as topological energy barriers for charged quantum systems. We interpret this phenomenon as a consequence of the fact that such solenoids induce nodal lines in the wave function describing the charge, which on itself is a consequence of the Aharonov-Bohm effect. Moreover, we present a thought experiment with a cavity where two solenoids are sufficient to create bound states.
△ Less
Submitted 21 October, 2019; v1 submitted 23 April, 2019;
originally announced April 2019.
-
An Interaction-Free Quantum Measurement-Driven Engine
Authors:
Cyril Elouard,
Mordecai Waegell,
Benjamin Huard,
Andrew N. Jordan
Abstract:
Recently highly-efficient quantum engines were devised by exploiting the stochastic energy changes induced by quantum measurement. Here we show that such an engine can be based on an interaction-free measurement, in which the meter seemingly does not interact with the measured object. We use a modified version of the Elitzur-Vaidman bomb tester, an interferometric setup able to detect the presence…
▽ More
Recently highly-efficient quantum engines were devised by exploiting the stochastic energy changes induced by quantum measurement. Here we show that such an engine can be based on an interaction-free measurement, in which the meter seemingly does not interact with the measured object. We use a modified version of the Elitzur-Vaidman bomb tester, an interferometric setup able to detect the presence of a bomb triggered by a single photon without exploding it. In our case, a quantum bomb subject to a gravitational force is initially in a superposition of being inside and outside one of the interferometer arms. We show that the bomb can be lifted without blowing up. This occurs when a photon traversing the interferometer is detected at a port that is always dark when the bomb is located outside the arm. The required potential energy is provided by the photon (which plays the role of the meter) even though it was not absorbed by the bomb. A natural interpretation is that the photon traveled through the arm which does not contain the bomb -- otherwise the bomb would have exploded -- but it implies the surprising conclusion that the energy exchange occurred at a distance despite a local interaction Hamiltonian. We use the weak value formalism to support this interpretation and find evidence of contextuality. Regardless of interpretation, this interaction-free quantum measurement engine is able to lift the most sensitive bomb without setting it off.
△ Less
Submitted 21 September, 2020; v1 submitted 19 April, 2019;
originally announced April 2019.
-
Benchmarks of Nonclassicality for Qubit Arrays
Authors:
Mordecai Waegell,
Justin Dressel
Abstract:
We present a set of practical benchmarks for $N$-qubit arrays that economically test the fidelity of achieving multi-qubit nonclassicality. The benchmarks are measurable correlators similar to 2-qubit Bell correlators, and are derived from a particular set of geometric structures from the $N$-qubit Pauli group. These structures prove the Greenberger-Horne-Zeilinger (GHZ) theorem, while the derived…
▽ More
We present a set of practical benchmarks for $N$-qubit arrays that economically test the fidelity of achieving multi-qubit nonclassicality. The benchmarks are measurable correlators similar to 2-qubit Bell correlators, and are derived from a particular set of geometric structures from the $N$-qubit Pauli group. These structures prove the Greenberger-Horne-Zeilinger (GHZ) theorem, while the derived correlators witness genuine $N$-partite entanglement and establish a tight lower bound on the fidelity of particular stabilizer state preparations. The correlators need only $M \leq N+1$ distinct measurement settings, as opposed to the $2^{2N}-1$ settings that would normally be required to tomographically verify their associated stabilizer states. We optimize the measurements of these correlators for a physical array of qubits that can be nearest-neighbor-coupled using a circuit of controlled-$Z$ gates with constant gate depth to form $N$-qubit linear cluster states. We numerically simulate the provided circuits for a realistic scenario with $N=3,...,9$ qubits, using ranges of $T_1$ energy relaxation times, $T_2$ dephasing times, and controlled-$Z$ gate-fidelities consistent with Google's 9-qubit superconducting chip. The simulations verify the tightness of the fidelity bounds and witness nonclassicality for all nine qubits, while also showing ample room for improvement in chip performance.
△ Less
Submitted 12 July, 2019; v1 submitted 19 December, 2018;
originally announced December 2018.
-
The Weak Reality that Makes Quantum Phenomena more Natural: Novel Insights and Experiments
Authors:
Yakir Aharonov,
Eliahu Cohen,
Mordecai Waegell,
Avshalom C. Elitzur
Abstract:
While quantum reality can be probed through measurements, the Two-State-Vector formalism (TSVF) reveals a subtler reality prevailing between measurements. Under special pre- and post-selections, odd physical values emerge. This unusual picture calls for a deeper study. Instead of the common, wave-based picture of quantum mechanics, we suggest a new, particle-based perspective: Each particle posses…
▽ More
While quantum reality can be probed through measurements, the Two-State-Vector formalism (TSVF) reveals a subtler reality prevailing between measurements. Under special pre- and post-selections, odd physical values emerge. This unusual picture calls for a deeper study. Instead of the common, wave-based picture of quantum mechanics, we suggest a new, particle-based perspective: Each particle possesses a definite location throughout its evolution, while some of its physical variables (characterized by deterministic operators, some of which obey nonlocal equations of motion) are carried by "mirage particles" accounting for its unique behavior. Within the time-interval between pre- and post-selection, the particle gives rise to a horde of such mirage particles, of which some can be negative. What appears to be "no-particle," known to give rise to Interaction-Free Measurement, is in fact a self-canceling pair of positive and negative mirage particles, which can be momentarily split and cancel out again. Feasible experiments can give empirical evidence for these fleeting phenomena. In this respect, the Heisenberg ontology is shown to be conceptually advantageous compared to the Schrödinger picture. We review several recent advances, discuss their foundational significance and point out possible directions for future research.
△ Less
Submitted 12 November, 2018;
originally announced November 2018.
-
Nonlocality and local causality in the Schrödinger Equation with time-dependent boundary conditions
Authors:
A. Matzkin,
S. V. Mousavi,
M. Waegell
Abstract:
We investigate the nonlocal dynamics of a single particle placed in an infinite well with moving walls. It is shown that in this situation, the Schrödinger equation (SE) violates local causality by causing instantaneous changes in the probability current everywhere inside the well. This violation is formalized by designing a gedanken faster-than-light communication device which uses an ensemble of…
▽ More
We investigate the nonlocal dynamics of a single particle placed in an infinite well with moving walls. It is shown that in this situation, the Schrödinger equation (SE) violates local causality by causing instantaneous changes in the probability current everywhere inside the well. This violation is formalized by designing a gedanken faster-than-light communication device which uses an ensemble of long narrow cavities and weak measurements to resolve the weak value of the momentum far away from the movable wall. Our system is free from the usual features causing nonphysical violations of local causality when using the (nonrelativistic) SE, such as instantaneous changes in potentials or states involving arbitrarily high energies or velocities. We explore in detail several possible artifacts that could account for the failure of the SE to respect local causality for systems involving time-dependent boundary conditions.
△ Less
Submitted 9 October, 2018; v1 submitted 5 June, 2018;
originally announced June 2018.
-
Strengthening weak measurements of qubit out-of-time-order correlators
Authors:
Justin Dressel,
José Raúl González Alonso,
Mordecai Waegell,
Nicole Yunger Halpern
Abstract:
For systems of controllable qubits, we provide a method for experimentally obtaining a useful class of multitime correlators using sequential generalized measurements of arbitrary strength. Specifically, if a correlator can be expressed as an average of nested (anti)commutators of operators that square to the identity, then that correlator can be determined exactly from the average of a measuremen…
▽ More
For systems of controllable qubits, we provide a method for experimentally obtaining a useful class of multitime correlators using sequential generalized measurements of arbitrary strength. Specifically, if a correlator can be expressed as an average of nested (anti)commutators of operators that square to the identity, then that correlator can be determined exactly from the average of a measurement sequence. As a relevant example, we provide quantum circuits for measuring multiqubit out-of-time-order correlators using optimized control-Z or ZX-90 two-qubit gates common in superconducting transmon implementations.
△ Less
Submitted 4 October, 2018; v1 submitted 2 May, 2018;
originally announced May 2018.
-
An Ontology of Nature with Local Causality, Parallel Lives, and Many Relative Worlds
Authors:
Mordecai Waegell
Abstract:
Parallel Lives (PL) is an ontological model of nature in which quantum mechanics and special relativity are unified in a single universe with a single space-time. Point-like objects called lives are the only fundamental objects in this space-time, and they propagate at or below c, and interact with one another only locally at point-like events in space-time, very much like classical point particle…
▽ More
Parallel Lives (PL) is an ontological model of nature in which quantum mechanics and special relativity are unified in a single universe with a single space-time. Point-like objects called lives are the only fundamental objects in this space-time, and they propagate at or below c, and interact with one another only locally at point-like events in space-time, very much like classical point particles. The only causes and effects in the universe occur when lives meet locally, and thus the causal structure of interaction events in space-time is Lorentz invariant. Each life traces a continuous world-line through space-time, and experiences its own relative world, fully defined by the outcomes of past events along its world-line (never superpositions), which are encoded in its external memory. A quantum field comprises a continuum of lives throughout space-time, and familiar physical systems like particles each comprise a sub-continuum of the lives of the field. Each life carries an internal memory containing a local relative wavefunction, which is a local piece of a pure universal wavefunction, but only the relative wavefunctions are physically real in PL, and not the universal wavefunction in configuration space. Furthermore, while the universal wavefunction tracks the average behavior of the lives of a system, it fails to track their individual dynamics and trajectories. There is always a preferred separable basis, and for an irreducible physical system, each orthogonal term in this basis is a different relative world - each containing some fraction of the lives of the system. The relative wavefunctions in the lives' internal memories govern which lives of different systems can meet during future local interactions, and thereby enforce entanglement correlations - including Bell inequality violations.
△ Less
Submitted 26 October, 2018; v1 submitted 19 July, 2017;
originally announced July 2017.
-
The Minimum Complexity of Kochen-Specker Sets Does Not Scale with Dimension
Authors:
Mordecai Waegell,
P. K. Aravind
Abstract:
A Kochen-Specker (KS) set is a specific set of projectors and measurement contexts that prove the Bell-Kochen-Specker contextuality theorem. The simplest known KS sets in Hilbert space dimensions $d=3,4,5,6,8$ are reproduced, and several methods by which a new KS set can be constructed using one or more known KS sets in lower dimensions are reviewed and improved. These KS sets and improved methods…
▽ More
A Kochen-Specker (KS) set is a specific set of projectors and measurement contexts that prove the Bell-Kochen-Specker contextuality theorem. The simplest known KS sets in Hilbert space dimensions $d=3,4,5,6,8$ are reproduced, and several methods by which a new KS set can be constructed using one or more known KS sets in lower dimensions are reviewed and improved. These KS sets and improved methods enable the construction of explicitly critical new KS sets in all dimensions, where critical refers to the irreducibility of the set of contexts. The simplest known critical KS sets are derived in all even dimensions $d\geq10$ with at most 9 contexts and 30 projectors, and in all odd dimensions $d\geq 7$ with at most 13 contexts and 39 projectors. These results show that neither the number of contexts nor the number of projectors in a minimal KS set scales with dimension $d$.
△ Less
Submitted 16 February, 2017;
originally announced February 2017.
-
The Penrose dodecahedron and the Witting polytope are identical in CP(3)
Authors:
M. Waegell,
P. K. Aravind
Abstract:
It is demonstrated that the set of 40 states of a spin-3/2 particle used by Zimba and Penrose to give proofs of the Kochen-Specker and Bell theorems is identical (i.e., unitarily equivalent) in CP(3) to the set of 40 rays derived from the vertices of the Witting polytope, which is a regular complex polytope in C(4). The Witting polytope actually has two different apparitions in projective spaces o…
▽ More
It is demonstrated that the set of 40 states of a spin-3/2 particle used by Zimba and Penrose to give proofs of the Kochen-Specker and Bell theorems is identical (i.e., unitarily equivalent) in CP(3) to the set of 40 rays derived from the vertices of the Witting polytope, which is a regular complex polytope in C(4). The Witting polytope actually has two different apparitions in projective spaces of different dimensions: it appears in CP(3) as the Penrose dodecahedron and in RP(7) (after an initial inflation into R(8)) as a set of rays associated with the root vectors of the Lie algebra E8. The interest of these apparitions is that they provide proofs of the Kochen-Specker theorem, but of very different types: while the proofs provided by the Penrose dodecahedron are complex (in both senses of the word), those provided by the E8 system are real and easy to grasp (being parity proofs that take no more than simple counting to verify). The different proofs it provides in different settings would seem to justify calling the Witting polytope a "quantum chameleon", and we raise (but leave unanswered) the question of whether it is the only object of this type.
△ Less
Submitted 27 March, 2017; v1 submitted 23 January, 2017;
originally announced January 2017.
-
Confined Contextuality in Neutron Interferometry: Observing the Quantum Pigeonhole Effect
Authors:
Mordecai Waegell,
Tobias Denkmayr,
Hermann Geppert,
David Ebner,
Tobias Jenke,
Yuji Hasegawa,
Stephan Sponar,
Justin Dressel,
Jeff Tollaksen
Abstract:
Previous experimental tests of quantum contextuality based on the Bell-Kochen-Specker (BKS) theorem have demonstrated that not all observables among a given set can be assigned noncontextual eigenvalue predictions, but have never identified which specific observables must fail such assignment. We now remedy this shortcoming by showing that BKS contextuality can be confined to particular observable…
▽ More
Previous experimental tests of quantum contextuality based on the Bell-Kochen-Specker (BKS) theorem have demonstrated that not all observables among a given set can be assigned noncontextual eigenvalue predictions, but have never identified which specific observables must fail such assignment. We now remedy this shortcoming by showing that BKS contextuality can be confined to particular observables by pre- and postselection, resulting in anomalous weak values that we measure using modern neutron interferometry. We construct a confined contextuality witness from weak values, which we measure experimentally to obtain a $5σ$ average violation of the noncontextual bound, with one contributing term violating an independent bound by more than $99σ$. This weakly measured confined BKS contextuality also confirms the quantum pigeonhole effect, wherein eigenvalue assignments to contextual observables apparently violate the classical pigeonhole principle.
△ Less
Submitted 19 October, 2017; v1 submitted 20 September, 2016;
originally announced September 2016.
-
Locally Causal and Deterministic Interpretations of Quantum Mechanics: Parallel Lives and Cosmic Inflation
Authors:
Mordecai Waegell
Abstract:
Several locally deterministic interpretations of quantum mechanics are presented and reviewed. The fundamental differences between these interpretations are made transparent by explicitly showing what information is carried locally by each physical system in an idealized experimental test of Bell's theorem. This also shows how each of these models can be locally causal and deterministic. First, a…
▽ More
Several locally deterministic interpretations of quantum mechanics are presented and reviewed. The fundamental differences between these interpretations are made transparent by explicitly showing what information is carried locally by each physical system in an idealized experimental test of Bell's theorem. This also shows how each of these models can be locally causal and deterministic. First, a model is presented which avoids Bell's arguments through the assumption that space-time inflated from an initial singularity, which encapsulates the entire past light cone of every event in the universe. From this assumption, it is shown how quantum mechanics can produce locally consistent reality by choosing one of many possible futures at the time of the singularity. Secondly, we review and expand the Parallel Lives interpretation of Brassard and Raymond-Robichaud, which maintains local causality and determinism by abandoning the strictest notion of realism. Finally, the two ideas are combined, resulting in a parallel lives model in which lives branch apart earlier, under the assumption of a single unified interaction history. The physical content of weak values within each model is discussed, along with related philosophical issues concerning free will.
△ Less
Submitted 26 April, 2016;
originally announced April 2016.
-
Interference Energy Spectrum of the Infinite Square Well
Authors:
Mordecai Waegell,
Yakir Aharonov,
Taylor Lee Patti
Abstract:
Certain superposition states of the 1-D infinite square well have transient zeros at locations other than the nodes of the eigenstates that comprise them. It is shown that if an infinite potential barrier is suddenly raised at some or all of these zeros, the well can be split into multiple adjacent infinite square wells without affecting the wavefunction. This effects a change of the energy eigenb…
▽ More
Certain superposition states of the 1-D infinite square well have transient zeros at locations other than the nodes of the eigenstates that comprise them. It is shown that if an infinite potential barrier is suddenly raised at some or all of these zeros, the well can be split into multiple adjacent infinite square wells without affecting the wavefunction. This effects a change of the energy eigenbasis of the state to a basis that does not commute with the original, and a subsequent measurement of the energy now reveals a completely different spectrum, which we call the {interference energy spectrum} of the state. This name is appropriate because the same splitting procedure applied at the stationary nodes of any eigenstate does not change the measurable energy of the state. Of particular interest, this procedure can result in measurable energies that are greater than the energy of the highest mode in the original superposition, raising questions about the conservation of energy akin to those that have been raised in the study of superoscillations. An analytic derivation is given for the interference spectrum of a given wavefunction $Ψ(x,t)$ with $N$ known zeros located at points $s_i = (x_i, t_i)$. Numerical simulations were used to verify that a barrier can be rapidly raised at a zero of the wavefunction without significantly affecting it. The interpretation of this result with respect to the conservation of energy and the energy-time uncertainty relation is discussed, and the idea of alternate energy eigenbases is fleshed out. The question of whether or not a preferred discrete energy spectrum is an inherent feature of a particle's quantum state is examined.
△ Less
Submitted 27 May, 2016; v1 submitted 18 April, 2016;
originally announced April 2016.
-
Experimental demonstration of direct path state characterization by strongly measuring weak values in a matter-wave interferometer
Authors:
Tobias Denkmayr,
Hermann Geppert,
Hartmut Lemmel,
Mordecai Waegell,
Justin Dressel,
Yuji Hasegawa,
Stephan Sponar
Abstract:
A novel method was recently proposed and experimentally realized for characterizing a quantum state by directly measuring its complex probability amplitudes in a particular basis using so-called weak values. Recently Vallone and Dequal showed theoretically that weak measurements are not a necessary condition to determine the weak value [Phys. Rev. Lett. 116, 040502 (2016)]. Here we report a measur…
▽ More
A novel method was recently proposed and experimentally realized for characterizing a quantum state by directly measuring its complex probability amplitudes in a particular basis using so-called weak values. Recently Vallone and Dequal showed theoretically that weak measurements are not a necessary condition to determine the weak value [Phys. Rev. Lett. 116, 040502 (2016)]. Here we report a measurement scheme used in a matter-wave interferometric experiment in which the neutron path system's quantum state was characterized via direct measurements using both strong and weak interactions. Experimental evidence is given that strong interactions outperform weak ones. Our results are not limited to neutron interferometry, but can be used in a wide range of quantum systems.
△ Less
Submitted 14 April, 2016;
originally announced April 2016.
-
Contextuality, Pigeonholes, Cheshire Cats, Mean Kings, and Weak Values
Authors:
Mordecai Waegell,
Jeff Tollaksen
Abstract:
The structural connections between the Kochen-Specker (KS) theorem, pre- and post-selection (PPS) paradoxes, and anomalous weak values are explored in detail. All PPS paradoxes, such as the 3-box paradox, the Quantum Cheshire Cat, and the Quantum Pigeonhole principle, construct a particular type of ontological model that assigns an eigenvalue to each observable (independent of context) of a system…
▽ More
The structural connections between the Kochen-Specker (KS) theorem, pre- and post-selection (PPS) paradoxes, and anomalous weak values are explored in detail. All PPS paradoxes, such as the 3-box paradox, the Quantum Cheshire Cat, and the Quantum Pigeonhole principle, construct a particular type of ontological model that assigns an eigenvalue to each observable (independent of context) of a system such that these assignments are consistent with the PPS. It is shown that such an ontological model must be explicitly contextual in the sense of the KS theorem, or otherwise implies either a restriction on free random choice or explicitly retrocausal behavior. We call such models PPS-contextual. The structure of each paradox is always such that there are particular contexts of mutually commuting observables that violate the product rule or sum rule, when the ontological model is extended to include observables that are not measured during the experiment. These paradoxes are counterfactual, in the sense that they are not directly observed, and also because the product and sum rules are always obeyed by projective measurements in actual experiments. It is shown that by adopting an alternate ontological model, where all hidden variables are weak values (which are not always eigenvalues, but obey the sum rule by definition), the same contexts that presented the original paradox must also contain observables with anomalous weak values. These anomalous weak values are not counterfactual because they can be probed through weak measurements on an ensemble of identically pre- and post-selected states, allowing this localized signature of KS contextuality to be experimentally observed. The weak values of all observables of a system can in principle be measured during an experiment, making this model a promising candidate for describing PPS-contextual ontological `elements of reality.'
△ Less
Submitted 14 September, 2015; v1 submitted 1 May, 2015;
originally announced May 2015.
-
Practical and efficient experimental characterization of multiqubit stabilizer states
Authors:
Chiara Greganti,
Marie-Christine Roehsner,
Stefanie Barz,
Mordecai Waegell,
Philip Walther
Abstract:
Vast developments in quantum technology have enabled the preparation of quantum states with more than a dozen entangled qubits. The full characterization of such systems demands distinct constructions depending on their specific type and the purpose of their use. Here we present a method that scales linearly with the number of qubits for characterizing stabilizer states. Our approach allows simult…
▽ More
Vast developments in quantum technology have enabled the preparation of quantum states with more than a dozen entangled qubits. The full characterization of such systems demands distinct constructions depending on their specific type and the purpose of their use. Here we present a method that scales linearly with the number of qubits for characterizing stabilizer states. Our approach allows simultaneous extraction of information about the fidelity, the entanglement, and the nonlocality of the state and thus is of high practical relevance. We demonstrate the efficient applicability of our method by performing an experimental characterization of a photonic four-qubit cluster state and three- and four-qubit Greenberger-Horne-Zeilinger states. Our scheme can be directly extended to larger-scale quantum information tasks.
△ Less
Submitted 23 February, 2015;
originally announced February 2015.
-
Parity proofs of the Kochen-Specker theorem based on the Lie algebra E8
Authors:
Mordecai Waegell,
P. K. Aravind
Abstract:
The 240 root vectors of the Lie algebra E8 lead to a system of 120 rays in a real 8-dimensional Hilbert space that contains a large number of parity proofs of the Kochen-Specker theorem. After introducing the rays in a triacontagonal representation due to Coxeter, we present their Kochen-Specker diagram in the form of a "basis table" showing all 2025 bases (i.e., sets of eight mutually orthogonal…
▽ More
The 240 root vectors of the Lie algebra E8 lead to a system of 120 rays in a real 8-dimensional Hilbert space that contains a large number of parity proofs of the Kochen-Specker theorem. After introducing the rays in a triacontagonal representation due to Coxeter, we present their Kochen-Specker diagram in the form of a "basis table" showing all 2025 bases (i.e., sets of eight mutually orthogonal rays) formed by the rays. Only a few of the bases are actually listed, but simple rules are given, based on the symmetries of E8, for obtaining all the other bases from the ones shown. The basis table is an object of great interest because all the parity proofs of E8 can be exhibited as subsets of it. We show how the triacontagonal representation of E8 facilitates the identification of substructures that are more easily searched for their parity proofs. We have found hundreds of different types of parity proofs, ranging from 9 bases (or contexts) at the low end to 35 bases at the high end, and involving projectors of various ranks and multiplicities. After giving an overview of the proofs we found, we present a few concrete examples of the proofs that illustrate both their generic features as well as some of their more unusual properties. In particular, we present a proof involving 34 rays and 9 bases that appears to be the most compact parity proof found to date in 8 dimensions.
△ Less
Submitted 4 May, 2015; v1 submitted 15 February, 2015;
originally announced February 2015.
-
A bonding model of entanglement for $N$-qubit graph states
Authors:
Mordecai Waegell
Abstract:
The class of entangled $N$-qubit states known as graph states, and the corresponding stabilizer groups of $N$-qubit Pauli observables, have found a wide range of applications in quantum information processing and the foundations of quantum mechanics. A review of the properties of graph states is given and core spaces of graph states are introduced and discussed. A bonding model of entanglement for…
▽ More
The class of entangled $N$-qubit states known as graph states, and the corresponding stabilizer groups of $N$-qubit Pauli observables, have found a wide range of applications in quantum information processing and the foundations of quantum mechanics. A review of the properties of graph states is given and core spaces of graph states are introduced and discussed. A bonding model of entanglement for generalized graph states is then presented, in which the presence or absence of a bond between two qubits unequivocally specifies whether or not they are entangled. A physical interpretation of these bonds is given, along with a characterization of how they can be created or destroyed by entangling unitary operations and how they can be destroyed by local Pauli measurements. It is shown that local unitary operations do not affect the bond structure of a graph state, and therefore that if two graph states have nonisomorphic bond structures, then local unitary operations and/or reordering of qubits cannot change one into the other. Color multigraphs are introduced to depict the bond structures of graph states and to make some of their properties more apparent.
△ Less
Submitted 24 September, 2014; v1 submitted 1 June, 2014;
originally announced June 2014.
-
Primitive Nonclassical Structures of the $N$-qubit Pauli Group
Authors:
Mordecai Waegell
Abstract:
Several types of nonclassical structures within the $N$-qubit Pauli group that can be seen as fundamental resources for quantum information processing are presented and discussed. Identity Products (IDs), structures fundamentally related to entanglement, are defined and explored. The Kochen-Specker theorem is proved by particular sets of IDs that we call KS sets. We also present a new theorem that…
▽ More
Several types of nonclassical structures within the $N$-qubit Pauli group that can be seen as fundamental resources for quantum information processing are presented and discussed. Identity Products (IDs), structures fundamentally related to entanglement, are defined and explored. The Kochen-Specker theorem is proved by particular sets of IDs that we call KS sets. We also present a new theorem that we call the $N$-qubit Kochen-Specker theorem, which is proved by particular sets of IDs that we call NKS sets, and whose utility is that it leads to efficient constructions for KS sets. We define the criticality, or irreducibility, of these structures, and its connection to entanglement. All representative critical IDs for up to $N=4$ qubits are presented, and numerous families of critical IDs for arbitrarily large values of $N$ are discussed. The critical IDs for a given $N$ are a finite set of geometric objects that appear to fully characterize the nonclassicality of the $N$-qubit Pauli group. Methods for constructing critical KS sets and NKS sets from IDs are given, and experimental tests of entanglement, contextuality, and nonlocality are discussed. Possible applications and connections to other work are also discussed
△ Less
Submitted 16 December, 2013; v1 submitted 12 October, 2013;
originally announced October 2013.
-
Parity proofs of the Kochen-Specker theorem based on the 120-cell
Authors:
Mordecai Waegell,
P. K. Aravind
Abstract:
It is shown how the 300 rays associated with the antipodal pairs of vertices of a 120-cell (a four-dimensional regular polytope) can be used to give numerous "parity proofs" of the Kochen-Specker theorem ruling out the existence of noncontextual hidden variables theories. The symmetries of the 120-cell are exploited to give a simple construction of its Kochen-Specker diagram, which is exhibited in…
▽ More
It is shown how the 300 rays associated with the antipodal pairs of vertices of a 120-cell (a four-dimensional regular polytope) can be used to give numerous "parity proofs" of the Kochen-Specker theorem ruling out the existence of noncontextual hidden variables theories. The symmetries of the 120-cell are exploited to give a simple construction of its Kochen-Specker diagram, which is exhibited in the form of a "basis table" showing all the orthogonalities between its rays. The basis table consists of 675 bases (a basis being a set of four mutually orthogonal rays), but all the bases can be written down from the few listed in this paper using some simple rules. The basis table is shown to contain a wide variety of parity proofs, ranging from 19 bases (or contexts) at the low end to 41 bases at the high end. Some explicit examples of these proofs are given, and their implications are discussed.
△ Less
Submitted 10 September, 2014; v1 submitted 29 September, 2013;
originally announced September 2013.
-
Nonclassical Structures within the N-qubit Pauli Group
Authors:
Mordecai Waegell
Abstract:
Structures that demonstrate nonclassicality are of foundational interest in quantum mechanics, and can also be seen as resources for numerous applications in quantum information processing - particularly in the Hilbert space of $N$ qubits. The theory of entanglement, quantum contextuality, and quantum nonlocality within the $N$-qubit Pauli group is further developed in this thesis. The Strong Koch…
▽ More
Structures that demonstrate nonclassicality are of foundational interest in quantum mechanics, and can also be seen as resources for numerous applications in quantum information processing - particularly in the Hilbert space of $N$ qubits. The theory of entanglement, quantum contextuality, and quantum nonlocality within the $N$-qubit Pauli group is further developed in this thesis. The Strong Kochen-Specker theorem and the structures that prove it are introduced and explored in detail. The pattern of connections between structures that show entanglement, contextuality, and nonlocality is explained. Computational search algorithms and related tools were developed and used to perform complete searches for minimal nonclassical structures within the $N$-qubit Pauli group up to values of $N$ limited by our computational resources. Our results are surveyed and prescriptions are given for using the elementary nonclassical structures we have found to construct more complex types of such structures. Families of nonclassical structures are presented for all values of $N$, including the most compact family of projector-based parity proofs of the Kochen-Specker theorem yet discovered in all dimensions of the form $2^N$, where $N\geq2$. The applications of our results and their connection with other work is also discussed.
△ Less
Submitted 25 July, 2013; v1 submitted 23 July, 2013;
originally announced July 2013.
-
Proofs of the Kochen-Specker theorem based on the N-qubit Pauli group
Authors:
Mordecai Waegell,
P. K. Aravind
Abstract:
We present a number of observables-based proofs of the Kochen-Specker (KS) theorem based on the N-qubit Pauli group for N >= 4, thus adding to the proofs that have been presented earlier for the two- and three-qubit groups. These proofs have the attractive feature that they can be presented in the form of diagrams from which they are obvious by inspection. They are also irreducible in the sense th…
▽ More
We present a number of observables-based proofs of the Kochen-Specker (KS) theorem based on the N-qubit Pauli group for N >= 4, thus adding to the proofs that have been presented earlier for the two- and three-qubit groups. These proofs have the attractive feature that they can be presented in the form of diagrams from which they are obvious by inspection. They are also irreducible in the sense that they cannot be reduced to smaller proofs by ignoring some subset of qubits and/or observables in them. A simple algorithm is given for transforming any observables-based KS proof into a large number of projectors-based KS proofs; if the observables-based proof has O observables, with each observable occurring in exactly two commuting sets and any two commuting sets having at most one observable in common, the number of associated projectors-based parity proofs is 2^O. We introduce symbols for the observables- and projectors-based KS proofs that capture their important features and also convey a feeling for the enormous variety of both these types of proofs within the N-qubit Pauli group. We discuss an infinite family of observables-based proofs, whose members apply to all numbers of qubits from two up, and show how it can be used to generate projectors-based KS proofs involving only nine bases (or experimental contexts) in any dimension of the form 2^N for N >= 2. Some implications of our results are discussed.
△ Less
Submitted 29 June, 2013; v1 submitted 19 February, 2013;
originally announced February 2013.
-
GHZ paradoxes based on an even number of qubits
Authors:
Mordecai Waegell,
P. K. Aravind
Abstract:
GHZ paradoxes are presented for all even numbers of qubits from four up. They are obtained from proofs of the Kochen-Specker (KS) theorem by showing how the assumption of noncontextuality can be justified on the basis of locality. The nature of the entangled states involved in our paradoxes is discussed. Some multiqubit proofs of the KS theorem are also presented in the form of diagrams from which…
▽ More
GHZ paradoxes are presented for all even numbers of qubits from four up. They are obtained from proofs of the Kochen-Specker (KS) theorem by showing how the assumption of noncontextuality can be justified on the basis of locality. The nature of the entangled states involved in our paradoxes is discussed. Some multiqubit proofs of the KS theorem are also presented in the form of diagrams from which they are visually obvious. The implications of our results are discussed.
△ Less
Submitted 23 December, 2012; v1 submitted 28 August, 2012;
originally announced August 2012.
-
Proofs of the Kochen-Specker theorem based on a system of three qubits
Authors:
Mordecai Waegell,
P. K. Aravind
Abstract:
A number of new proofs of the Kochen-Specker theorem are given based on the observables of the three-qubit Pauli group. Each proof is presented in the form of a diagram from which it is obvious by inspection. Each of our observable-based proofs leads to a system of projectors and bases that generally yields a large number of "parity proofs" of the Kochen-Specker theorem. Some examples of such proo…
▽ More
A number of new proofs of the Kochen-Specker theorem are given based on the observables of the three-qubit Pauli group. Each proof is presented in the form of a diagram from which it is obvious by inspection. Each of our observable-based proofs leads to a system of projectors and bases that generally yields a large number of "parity proofs" of the Kochen-Specker theorem. Some examples of such proofs are given and some of their applications are discussed.
△ Less
Submitted 6 September, 2012; v1 submitted 22 May, 2012;
originally announced May 2012.
-
Universal violation of pentagon inequalities in four-state systems
Authors:
Mordecai Waegell,
P. K. Aravind
Abstract:
The 60 real vectors derived from the vertices of a 600-cell are shown to yield a number of pentagon inequalities that are satisfied by realistic noncontextual theories but violated by quantum mechanics. The replicas of these inequalities cover Hilbert space so densely that every real four-dimensional vector violates at least one of them. It is pointed out that this set of 60 vectors contains numer…
▽ More
The 60 real vectors derived from the vertices of a 600-cell are shown to yield a number of pentagon inequalities that are satisfied by realistic noncontextual theories but violated by quantum mechanics. The replicas of these inequalities cover Hilbert space so densely that every real four-dimensional vector violates at least one of them. It is pointed out that this set of 60 vectors contains numerous "N-gons" (generalizations of pentagons) that may be of interest in connection with demonstrations of contextuality.
△ Less
Submitted 20 November, 2011;
originally announced November 2011.
-
Parity proofs of the Kochen-Specker theorem based on 60 complex rays in four dimensions
Authors:
Mordecai Waegell,
P. K. Aravind
Abstract:
It is pointed out that the 60 complex rays in four dimensions associated with a system of two qubits yield over 10^9 critical parity proofs of the Kochen-Specker theorem. The geometrical properties of the rays are described, an overview of the parity proofs contained in them is given, and examples of some of the proofs are exhibited.
It is pointed out that the 60 complex rays in four dimensions associated with a system of two qubits yield over 10^9 critical parity proofs of the Kochen-Specker theorem. The geometrical properties of the rays are described, an overview of the parity proofs contained in them is given, and examples of some of the proofs are exhibited.
△ Less
Submitted 20 October, 2011; v1 submitted 6 September, 2011;
originally announced September 2011.
-
Probabilistic Generation of Quantum Contextual Sets
Authors:
Norman D. Megill,
Kresimir Fresl,
Mordecai Waegell,
P. K. Aravind,
Mladen Pavicic
Abstract:
We give a method for exhaustive generation of a huge number of Kochen-Specker contextual sets, based on the 600-cell, for possible experiments and quantum gates. The method is complementary to our previous parity proof generation of these sets, and it gives all sets while the parity proof method gives only sets with an odd number of edges in their hypergraph representation. Thus we obtain 35 new k…
▽ More
We give a method for exhaustive generation of a huge number of Kochen-Specker contextual sets, based on the 600-cell, for possible experiments and quantum gates. The method is complementary to our previous parity proof generation of these sets, and it gives all sets while the parity proof method gives only sets with an odd number of edges in their hypergraph representation. Thus we obtain 35 new kinds of critical KS sets with an even number of edges. Using a random sample of the sets generated with our method, we give a statistical estimate of the number of sets that might be obtained in an eventual exhaustive enumeration.
△ Less
Submitted 9 May, 2011;
originally announced May 2011.
-
Parity proofs of the Kochen-Specker theorem based on the 24 rays of Peres
Authors:
Mordecai Waegell,
P. K. Aravind
Abstract:
A diagrammatic representation is given of the 24 rays of Peres that makes it easy to pick out all the 512 parity proofs of the Kochen-Specker theorem contained in them. The origin of this representation in the four-dimensional geometry of the rays is pointed out.
A diagrammatic representation is given of the 24 rays of Peres that makes it easy to pick out all the 512 parity proofs of the Kochen-Specker theorem contained in them. The origin of this representation in the four-dimensional geometry of the rays is pointed out.
△ Less
Submitted 2 June, 2011; v1 submitted 30 March, 2011;
originally announced March 2011.
-
Parity proofs of the Bell-Kochen-Specker theorem based on the 600-cell
Authors:
Mordecai Waegell,
P. K. Aravind,
Norman D. Megill,
Mladen Pavicic
Abstract:
The set of 60 real rays in four dimensions derived from the vertices of a 600-cell is shown to possess numerous subsets of rays and bases that provide basis-critical parity proofs of the Bell-Kochen-Specker (BKS) theorem (a basis-critical proof is one that fails if even a single basis is deleted from it). The proofs vary considerably in size, with the smallest having 26 rays and 13 bases and the l…
▽ More
The set of 60 real rays in four dimensions derived from the vertices of a 600-cell is shown to possess numerous subsets of rays and bases that provide basis-critical parity proofs of the Bell-Kochen-Specker (BKS) theorem (a basis-critical proof is one that fails if even a single basis is deleted from it). The proofs vary considerably in size, with the smallest having 26 rays and 13 bases and the largest 60 rays and 41 bases. There are at least 90 basic types of proofs, with each coming in a number of geometrically distinct varieties. The replicas of all the proofs under the symmetries of the 600-cell yield a total of almost a hundred million parity proofs of the BKS theorem. The proofs are all very transparent and take no more than simple counting to verify. A few of the proofs are exhibited, both in tabular form as well as in the form of MMP hypergraphs that assist in their visualization. A survey of the proofs is given, simple procedures for generating some of them are described and their applications are discussed. It is shown that all four-dimensional parity proofs of the BKS theorem can be turned into experimental disproofs of noncontextuality.
△ Less
Submitted 28 January, 2011; v1 submitted 20 October, 2010;
originally announced October 2010.
-
New Class of 4-Dim Kochen-Specker Sets
Authors:
Mladen Pavicic,
Norman D. Megill,
P. K. Aravind,
Mordecai Waegell
Abstract:
We find a new highly symmetrical and very numerous class (millions of non-isomorphic sets) of 4-dim Kochen-Specker (KS) vector sets. Due to the nature of their geometrical symmetries, they cannot be obtained from previously known ones. We generate the sets from a single set of 60 orthogonal spin vectors and 75 of their tetrads (which we obtained from the 600-cell) by means of our newly developed "…
▽ More
We find a new highly symmetrical and very numerous class (millions of non-isomorphic sets) of 4-dim Kochen-Specker (KS) vector sets. Due to the nature of their geometrical symmetries, they cannot be obtained from previously known ones. We generate the sets from a single set of 60 orthogonal spin vectors and 75 of their tetrads (which we obtained from the 600-cell) by means of our newly developed "strip** technique." We also consider "critical KS subsets" and analyze their geometry. The algorithms and programs for the generation of our KS sets are presented.
△ Less
Submitted 28 January, 2011; v1 submitted 8 April, 2010;
originally announced April 2010.
-
Critical noncolorings of the 600-cell proving the Bell-Kochen-Specker theorem
Authors:
Mordecai Waegell,
P. K. Aravind
Abstract:
Aravind and Lee-Elkin (1997) gave a proof of the Bell-Kochen-Specker theorem by showing that it is impossible to color the 60 directions from the center of a 600-cell to its vertices in a certain way. This paper refines that result by showing that the 60 directions contain many subsets of 36 and 30 directions that cannot be similarly colored, and so provide more economical demonstrations of the…
▽ More
Aravind and Lee-Elkin (1997) gave a proof of the Bell-Kochen-Specker theorem by showing that it is impossible to color the 60 directions from the center of a 600-cell to its vertices in a certain way. This paper refines that result by showing that the 60 directions contain many subsets of 36 and 30 directions that cannot be similarly colored, and so provide more economical demonstrations of the theorem. Further, these subsets are shown to be critical in the sense that deleting even a single direction from any of them causes the proof to fail. The critical sets of size 36 and 30 are shown to belong to orbits of 200 and 240 members, respectively, under the symmetries of the polytope. A comparison is made between these critical sets and other such sets in four dimensions, and the significance of these results is discussed.
△ Less
Submitted 15 February, 2010; v1 submitted 11 November, 2009;
originally announced November 2009.