Searcharxiv⌕ Search

arXiv subjects

Michael J. W. Hall

Publications and source records attributed to Michael J. W. Hall.

At least 19 recordsLinked to original sources

Matrices with integer eigenvalues for all permutations of coefficients (thanks to Pythagoras!)

It is shown that Pythagorean triples can be used to generate matrices that have integer eigenvalues for all permutations of their coefficients, via simple formulas. For example, each and every permutation of the $2\times2$ matrix coefficients $\{12,6,7,1\}$, generated by the Pythagorean triple $(5,12,13)$, yields a matrix with integer eigenvalues. Further, each and every Pythagorean triple in fact generates a countable infinity of nontrivially related matrices having this property.

math.HO↗

Bell vs Bell: a ding-dong battle over quantum incompleteness

Does determinism (or even the incompleteness of quantum mechanics) follow from locality and perfect correlations? In a 1964 paper John Bell gave the first demonstration that quantum mechanics is incompatible with local hidden variables. Since then a vigorous debate has rung out over whether he relied on an assumption of determinism or instead, as he later claimed in a 1981 paper, derived determinism from assumptions of locality and perfect correlation. This paper aims to bring clarity to the debate via simple examples and rigorous results. It is first recalled, via quantum and classical counterexamples, that the weakest statistical form of locality consistent with Bell's 1964 paper (parameter independence) is insufficient for the derivation of determinism. Attention is then turned to critically assess Bell's appealing to the Einstein-Rosen-Podolsky (EPR) incompleteness argument to support his claim. It is shown this argument is itself incomplete, via counterexamples that expose two logical gaps. Closing these gaps via a strong "counterfactual" reality criterion enables a rigorous derivation of both determinism and parameter independence, and in this sense justifies Bell's claim. Conversely, however, it is noted that whereas the EPR argument requires a weaker "measurement choice" assumption than Bell's demonstration, it nevertheless leads to a similar incompatibility with quantum predictions rather than to quantum incompleteness.

quant-ph↗

Why quantum correlations are shocking

A simple minimalist argument is given for why some correlations between quantum systems boggle our classical intuition. The argument relies on two elementary physical assumptions, and recovers the standard experimentally-testable Bell inequality in a form that applies equally well to correlations between six-sided dice and between photon polarizations. The first assumption, that measurement selection in a first lab leaves the measurement statistics in a remote lab invariant (no-signaling), has been empirically verified, and is shown to be equivalent to the existence of a corresponding joint probability distribution for quantities measured in the first lab. The observed violation of the Bell inequality is then equivalent to the failure of a second assumption, that measurement selection in the remote lab leaves such a joint distribution invariant. Indeed, the degree of violation lower-bounds the variation of the joint distribution. It directly follows there are just three possible physical mechanisms underlying such violations -- action-at-a-distance (superluminality), unavoidable common factors linking measurement choice and distant properties (conspiracy), and intrinsically incompatible physical quantities (complementarity). The argument extends to all Bell inequalities, and is briefly compared with other derivations.

quant-ph↗

Does locality plus perfect correlation imply determinism?

A 1964 paper by John Bell gave the first demonstration that quantum mechanics is incompatible with local hidden variables. There is an ongoing and vigorous debate on whether he relied on an assumption of determinism, or instead, as he later claimed, derived determinism from assumptions of locality and perfect correlation. This paper aims to bring clarity to the debate via simple examples and rigorous results. It is shown that the weak form of locality used in Bell's 1964 paper (parameter independence) is insufficient for such a derivation, whereas an independent form called outcome independence is sufficient even when weak locality does not hold. It further follows that outcome independence, by itself, implies that standard quantum mechanics is incomplete. It is also shown that an appeal by Bell to the Einstein-Rosen-Podolsky argument to support his claim fails, via examples that expose logical gaps in this argument. However, replacing the reality criterion underpinning the argument by a stronger criterion enables a rigorous derivation of both weak locality and determinism, as required for Bell's 1964 paper. Consequences for quantum interpretations, locality, and classical common causes are briefly discussed, with reference to an example of local classical indeterminism.

quant-ph↗

Experimentally ruling out joint reality based on operational completeness

Whether the observables of a physical system admit real values is of fundamental importance to a deep understanding of nature. In this work, we report a device-independent experiment to confirm that the joint reality of two observables on a single two-level system is incompatible with the assumption of operational completeness, which is strictly weaker than that of preparation noncontextuality. We implement two observables on a trapped $^{171}{\rm Yb}^{+}$ ion to test this incompatibility via violation of certain inequalities derived from both linear and nonlinear criteria. Moreover, by introducing a highly controllable dephasing channel, we show that the nonlinear criterion is more robust against noise. Our results push the fundamental limit to delineate the quantum-classical boundary and pave the way for exploring relevant problems in other scenarios.

quant-ph↗

Eigenstates in the Many Interacting Worlds approach: Ground states in 1D and 2D and excited states in 1D (long version)

Recently the Many-Interacting-Worlds (MIW) approach to a quantum theory without wave functions was proposed. This approach leads quite naturally to numerical integrators of the Schrödinger equation. It has been suggested that such integrators may feature advantages over fixed-grid methods for higher numbers of degrees of freedom. However, as yet, little is known about concrete MIW models for more than one spatial dimension and/or more than one particle. In this work we develop the MIW approach further to treat arbitrary degrees of freedom, and provide a systematic study of a corresponding numerical implementation for computing one-particle ground and excited states in one dimension, and ground states in two spatial dimensions. With this step towards the treatment of higher degrees of freedom we hope to stimulate their further study.

quant-ph↗

Asymmetry and tighter uncertainty relations for Rényi entropies via quantum-classical decompositions of resource measures

It is known that the variance and entropy of quantum observables decompose into intrinsically quantum and classical contributions. Here a general method of constructing quantum-classical decompositions of resources such as uncertainty is discussed, with the quantum contribution specified by a measure of the noncommutativity of a given set of operators relative to the quantum state, and the classical contribution generated by the mixedness of the state. Suitable measures of noncommutativity or 'quantumness' include quantum Fisher information, and the asymmetry of a given set, group or algebra of operators, and are generalised to nonprojective observables and quantum channels. Strong entropic uncertainty relations and lower bounds for Rényi entropies are obtained, valid for arbitrary discrete observables, that take the mixedness of the state into account via a classical contribution to the lower bound. These relations can also be interpreted without reference to quantum-classical decompositions, as tradeoff relations that bound the asymmetry of one observable in terms of the entropy of another.

quant-ph↗

Better Heisenberg limits, coherence bounds, and energy-time tradeoffs via quantum Rényi information

An uncertainty relation for the Rényi entropies of conjugate quantum observables is used to obtain a strong Heisenberg limit of the form ${\rm RMSE} \geq f(α)/(\langle N\rangle+\frac12)$, bounding the root mean square error of any estimate of a random optical phase shift in terms of average photon number, where $f(α)$ is maximised for non-Shannon entropies. Related simple yet strong uncertainty relations linking phase uncertainty to the photon number distribution, such as $ΔΦ\geq \max_n p_n$, are also obtained. These results are significantly strengthened via upper and lower bounds on the Rényi mutual information of quantum communication channels, related to asymmetry and convolution, and applied to the estimation (with prior information) of unitary shift parameters such as rotation angle and time, and to obtain strong bounds on measures of coherence. Sharper Rényi entropic uncertainty relations are also obtained, including time-energy uncertainty relations for Hamiltonians with discrete spectra. In the latter case almost-periodic Rényi entropies are introduced for nonperiodic systems.

quant-ph↗

Comment on "Vindication of entanglement-based witnesses of non-classicality in hybrid systems"

Models of quantum-classical interactions fall into two classes: those which allow the generation of quantum entanglement via a classical mediator (such as gravity), and those which do not. Marconato and Marletto have recently sought to distinguish between these classes by claiming that known members of the first class (based on the configuration-ensemble formalism introduced by us) fail to model the mediator as a 'classical' system, and are nonlocal. We explicitly show that this claim is incorrect, and expose a large number of errors and misconceptions in their reasoning. We also point to a very simple and transparent example of the generation of entanglement between two qubits via a classical bit. It follows that there are models permitting the generation of entanglement via quantum-classical interactions that lie outside the remit of the theorem cited by Marconato and Marletto. We clarify the reasons for the limited applicability of various no-go theorems for entanglement generation.

quant-ph↗

Simple precession calculation for Mercury: a linearization approach

The additional precession of Mercury due to general relativity can be calculated by a method that is no more difficult than solving for the Newtonian orbit. The method relies on linearizing the relativistic orbit equation, is simpler than standard textbook methods, and is closely related to Newton's theorem on revolving orbits. The main result is accurate to all orders in $\tfrac{1}{c}$ for near-circular orbits.

gr-qc↗

Recycling qubits for the generation of Bell nonlocality between independent sequential observers

There is currently much interest in the recycling of entangled systems, for use in quantum information protocols by sequential observers. In this work, we study the sequential generation of Bell nonlocality via recycling one or both components of two-qubit states. We first give a description of two-valued qubit measurements in terms of measurement bias, strength, and reversibility, and derive useful tradeoff relations between them. Then, we derive one-sided monogamy relations for unbiased observables, that strengthen the recent Conjecture in [S. Cheng {\it et al.}, Phys. Rev. A \textbf{104}, L060201 (2021) ] that if the first pair of observers violate Bell nonlocality then a subsequent independent pair cannot, and give semi-analytic results for the best possible monogamy relation. We also extend the construction in [P. J. Brown and R. Colbeck, Phys. Rev. Lett. \textbf{125}, 090401 (2020)] to obtain (i)~a broader class of two-qubit states that allow the recycling of one qubit by a given number of observers on one side, and (ii)~a scheme for generating Bell nonlocality between arbitrarily many independent observers on each side, via the two-sided recycling of multiqubit states. Our results are based on a formalism that is applicable to more general problems in recycling entanglement, and hence is expected to aid progress in this field.

quant-ph↗

Generalising the Horodecki criterion to nonprojective qubit measurements

The Horodecki criterion provides a necessary and sufficient condition for a two-qubit state to be able to manifest Bell nonlocality via violation of the Clauser-Horne-Shimony-Holt (CHSH) inequality. It requires, however, the assumption that suitable projective measurements can be made on each qubit, and is not sufficient for scenarios in which noisy or weak measurements are either desirable or unavoidable. By characterising two-valued qubit observables in terms of strength, bias, and directional parameters, we address such scenarios by providing necessary and sufficient conditions for arbitrary qubit measurements having fixed strengths and relative angles for each observer. In particular, we find the achievable maximal values of the CHSH parameter for unbiased measurements on arbitrary states, and, alternatively, for arbitrary measurements on states with maximally-mixed marginals, and determine the optimal angles in some cases. We also show that for certain ranges of measurement strengths it is only possible to violate the CHSH inequality via biased measurements. Finally, we use the CHSH inequality to obtain a simple necessary condition for the compatibility of two qubit observables.

quant-ph↗

Limitations on sharing Bell nonlocality between sequential pairs of observers

We give strong analytic and numerical evidence that, under mild measurement assumptions, two qubits cannot both be recycled to generate Bell nonlocality between multiple independent observers on each side. This is surprising, as under the same assumptions it is possible to recycle just one of the qubits an arbitrarily large number of times [P. J. Brown and R. Colbeck, Phys. Rev. Lett. 125, 090401 (2020)]. We derive corresponding 'one-sided monogamy relations' that rule out two-sided recycling for a wide range of parameters, based on a general tradeoff relation between the strengths and maximum reversibilities of qubit measurements. We also show if the assumptions are relaxed to allow sufficiently biased measurement selections, then there is a narrow range of measurement strengths that allows two-sided recycling for two observers on each side, and propose an experimental test. Our methods may be readily applied to other types of quantum correlations, such as steering and entanglement, and hence to general information protocols involving sequential measurements.

quant-ph↗

Measurement-dependence cost for Bell nonlocality: causal vs retrocausal models

Device independent protocols based on Bell nonlocality, such as quantum key distribution and randomness generation, must ensure no adversary can have prior knowledge of the measurement outcomes. This requires a measurement independence assumption: that the choice of measurement is uncorrelated with any other underlying variables that influence the measurement outcomes. Conversely, relaxing measurement independence allows for a fully `causal' simulation of Bell nonlocality. We construct the most efficient such simulation, as measured by the mutual information between the underlying variables and the measurement settings, for the Clauser-Horne-Shimony-Holt (CHSH) scenario, and find that the maximal quantum violation requires a mutual information of just $\sim 0.080$ bits. Any physical device built to implement this simulation allows an adversary to have full knowledge of a cryptographic key or `random' numbers generated by a device independent protocol based on violation of the CHSH inequality. We also show that a previous model for the CHSH scenario, requiring only $\sim 0.046$ bits to simulate the maximal quantum violation, corresponds to the most efficient `retrocausal' simulation, in which future measurement settings necessarily influence earlier source variables. This may be viewed either as an unphysical limitation of the prior model, or as an argument for retrocausality on the grounds of its greater efficiency. Causal and retrocausal models are also discussed for maximally entangled two-qubit states, as well as superdeterministic, one-sided and zigzag causal models.

quant-ph↗

Geometry of joint reality: device-independent steering and operational completeness

We look at what type of arguments can rule out the joint reality (or value definiteness) of two observables of a physical system, such as a qubit, and give several strong yet simple no-go results based on assumptions typically weaker than those considered previously. The first result uses simple geometry combined with a locality assumption to derive device-independent steering inequalities. These may also be regarded as "conditional" Bell inequalities, are simpler in principle to test than standard Bell inequalities, and for two-qubit systems are related to properties of the quantum steering ellipsoid. We also derive a Bell inequality from locality and a one-sided reality assumption, and demonstrate a close connection between device-independent steering and Bell nonlocality. Moreover, we obtain a no-go result without the use of locality or noncontextuality assumptions, based on similar geometry and an assumption that we call "operational completeness". The latter is related to, but strictly weaker than, preparation noncontextuality. All arguments are given for finite statistics, without requiring any assumption that joint relative frequencies converge to some (unobservable) joint probability distribution. We also generalise a recent strong result of Pusey, for preparation noncontextuality, to the scenarios of device-independent steering and operational completeness.

quant-ph↗

On the dynamics of initially correlated open quantum systems: theory and applications

We show that the dynamics of any open quantum system that is initially correlated with its environment can be described by a set of (or less) completely positive maps, where d is the dimension of the system. Only one such map is required for the special case of no initial correlations. The same maps describe the dynamics of any system-environment state obtained from the initial state by a local operation on the system. The reduction of the system dynamics to a set of completely positive maps allows known numerical and analytic tools for uncorrelated initial states to be applied to the general case of initially correlated states, which we exemplify by solving the qubit dephasing model for such states, and provides a natural approach to quantum Markovianity for this case. We show that this set of completely positive maps can be experimentally characterised using only local operations on the system, via a generalisation of noise spectroscopy protocols. As further applications, we first consider the problem of retrodicting the dynamics of an open quantum system which is in an arbitrary state when it becomes accessible to the experimenter, and explore the conditions under which retrodiction is possible. We also introduce a related one-sided or limited-access tomography protocol for determining an arbitrary bipartite state, evolving under a sufficiently rich Hamiltonian, via local operations and measurements on just one component. We simulate this protocol for a physical model of particular relevance to nitrogen-vacancy centres, and in particular show how to reconstruct the density matrix of a set of three qubits, interacting via dipolar coupling and in the presence of local magnetic fields, by measuring and controlling only one of them.

quant-ph↗

Experimental validation of quantum steering ellipsoids and tests of volume monogamy relations

The set of all qubit states that can be steered to by measurements on a correlated qubit is predicted to form an ellipsoid---called the quantum steering ellipsoid---in the Bloch ball. This ellipsoid provides a simple visual characterisation of the initial 2-qubit state, and various aspects of entanglement are reflected in its geometric properties. We experimentally verify these properties via measurements on many different polarisation-entangled photonic qubit states. Moreover, for pure 3-qubit states, the volumes of the two quantum steering ellipsoids generated by measurements on the first qubit are predicted to satisfy a tight monogamy relation, which is strictly stronger than the well-known monogamy of entanglement for concurrence. We experimentally verify these predictions, using polarisation and path entanglement. We also show experimentally that this monogamy relation can be violated by a mixed entangled state, which nevertheless satisfies a weaker monogamy relation.

quant-ph↗

Relaxed Bell Inequalities with Arbitrary Measurement Dependence for Each Observer

Bell's inequality was originally derived under the assumption that experimenters are free to select detector settings independently of any local "hidden variables" that might affect the outcomes of measurements on entangled particles. This assumption has come to be known as "measurement independence" (also referred to as "freedom of choice" or "settings independence"). For a two-setting, two-outcome Bell test, we derive modified Bell inequalities that relax measurement independence, for either or both observers, while remaining locally causal. We describe the loss of measurement independence for each observer using the parameters $M_1$ and $M_2$, as defined by Hall in 2010, and also by a more complete description that adds two new parameters, which we call $\hat{M}_1$ and $\hat{M}_2$, deriving a modified Bell inequality for each description. These "relaxed" inequalities subsume those considered in previous work as special cases, and quantify how much the assumption of measurement independence needs to be relaxed in order for a locally causal model to produce a given violation of the standard Bell-Clauser-Horne-Shimony-Holt (Bell-CHSH) inequality. We show that both relaxed Bell inequalities are tight bounds on the CHSH parameter by constructing locally causal models that saturate them. For any given Bell inequality violation, the new two-parameter and four-parameter models each require significantly less mutual information between the hidden variables and measurement settings than previous models. We conjecture that the new models, with optimal parameters, require the minimum possible mutual information for a given Bell violation. We further argue that, contrary to various claims in the literature, relaxing freedom of choice need not imply superdeterminism.

quant-ph↗