arXiv subjects

Michael J. W. Hall

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

At least 73 records · Page 4Linked to original sources

arXiv2012

Universality of the Heisenberg limit for estimates of random phase shifts

The Heisenberg limit traditionally provides a lower bound on the phase uncertainty scaling as 1/ , where is the mean number of photons in the probe. However, this limit has a number of loopholes which potentially might be exploited, to achieve measurements with even greater accuracy. Here we close these loopholes by proving a completely rigorous form of the Heisenberg limit for the average error over all phase shifts. Our result gives the first completely general, constraint-free and non-asymptotic statement of the Heisenberg limit. It holds for all phase estimation schemes, including multiple passes, nonlinear phase shifts, multimode probes, and arbitrary measurements.

quant-ph↗

arXiv2012

Heisenberg-style bounds for arbitrary estimates of shift parameters including prior information

A rigorous lower bound is obtained for the average resolution of any estimate of a shift parameter, such as an optical phase shift or a spatial translation. The bound has the asymptotic form k_I/<2|G|> where G is the generator of the shift (with an arbitrary discrete or continuous spectrum), and hence establishes a universally applicable bound of the same form as the usual Heisenberg limit. The scaling constant k_I depends on prior information about the shift parameter. For example, in phase sensing regimes, where the phase shift is confined to some small interval of length L, the relative resolution δ\hatΦ/L has the strict lower bound (2πe^3)^{-1/2}/<2m| G_1 |+1>, where m is the number of probes, each with generator G_1, and entangling joint measurements are permitted. Generalisations using other resource measures and including noise are briefly discussed. The results rely on the derivation of general entropic uncertainty relations for continuous observables, which are of interest in their own right.

quant-ph↗

arXiv2012

The effects of reduced "free will" on Bell-based randomness expansion

With the advent of quantum information, the violation of a Bell inequality is used as evidence of the absence of an eavesdropper in cryptographic scenarios such as key distribution and randomness expansion. One of the key assumptions of Bell's Theorem is the existence of experimental "free will", meaning that measurement settings can be chosen at random and independently by each party. The relaxation of this assumption potentially shifts the balance of power towards an eavesdropper. We consider a no-signalling model with reduced "free will" and bound the adversary's capabilities in the task of randomness expansion.

quant-ph↗

arXiv2011

Generalisations of the recent Pusey-Barrett-Rudolph theorem for statistical models of quantum phenomena

Pusey, Barrett and Rudolph (PBR) have recently given a completely novel argument that restricts the class of possible models for quantum phenomena (arXiv:1111.3328). In these notes the assumptions used by PBR are considerably weakened, to further restrict the class of possible models. The `factorisability' assumption used by PBR is replaced by a far weaker `compatibility' assumption for uncorrelated quantum subsystems which, moreover, does not require the assignation of separate underlying properties to each subsystem (i.e, reductionism). Further, it is shown that an assumption of measurement independence may be dropped to obtain a related result having the same experimental significance (at the expense of a weaker conceptual significance). The latter is a remarkable feature of the PBR approach, given that Bell inequalities, steering inequalities and Kochen-Specker theorems all require an assumption of this type.

quant-ph↗

arXiv2011

Quantum theory from the geometry of evolving probabilities

We consider the space of probabilities {P(x)}, where the x are coordinates of a configuration space. Under the action of the translation group there is a natural metric over the space of parameters of the group given by the Fisher-Rao metric. This metric induces a metric over the space of probabilities. Our next step is to set the probabilities in motion. To do this, we introduce a canonically conjugate field S and a symplectic structure; this gives us Hamiltonian equations of motion. We show that it is possible to extend the metric structure to the full space of the {P,S} and this leads in a natural way to a Kaehler structure; i.e., a geometry that includes compatible symplectic, metric and complex structures. The simplest geometry that describes these spaces of evolving probabilities has remarkable properties: the natural, canonical variables are precisely the wave functions of quantum mechanics; the Hamiltonian for the quantum free particle can be derived from a representation of the Galilean group using purely geometrical arguments; and it is straightforward to associate with this geometry a Hilbert space which turns out to be the Hilbert space of quantum mechanics. We are led in this way to a reconstruction of quantum theory based solely on the geometry of probabilities in motion.

quant-ph↗

arXiv2011

Interacting classical and quantum particles

We apply Hall and Reginatto's theory of interacting classical and quantum ensembles to harmonically coupled particles, with a view to understanding its experimental implications. This hybrid theory has no free parameters and makes distinctive predictions that should allow it to be experimentally distinguished from quantum mechanics. It also bears on the questions of quantum measurement and quantum gravity.

quant-ph↗

arXiv2011

Finite-time quantum-to-classical transition for a Schroedinger-cat state

The transition from quantum to classical, in the case of a quantum harmonic oscillator, is typically identified with the transition from a quantum superposition of macroscopically distinguishable states, such as the Schrödinger cat state, into the corresponding statistical mixture. This transition is commonly characterized by the asymptotic loss of the interference term in the Wigner representation of the cat state. In this paper we show that the quantum to classical transition has different dynamical features depending on the measure for nonclassicality used. Measures based on an operatorial definition have well defined physical meaning and allow a deeper understanding of the quantum to classical transition. Our analysis shows that, for most nonclassicality measures, the Schrödinger cat dies after a finite time. Moreover, our results challenge the prevailing idea that more macroscopic states are more susceptible to decoherence in the sense that the transition from quantum to classical occurs faster. Since nonclassicality is prerequisite for entanglement generation our results also bridge the gap between decoherence, which appears to be only asymptotic, and entanglement, which may show a sudden death. In fact, whereas the loss of coherences still remains asymptotic, we have shown that the transition from quantum to classical can indeed occur at a finite time.

quant-ph↗

arXiv2011

Relaxed Bell inequalities and Kochen-Specker theorems

The combination of various physically plausible properties, such as no signaling, determinism, and experimental free will, is known to be incompatible with quantum correlations. Hence, these properties must be individually or jointly relaxed in any model of such correlations. The necessary degrees of relaxation are quantified here, via natural distance and information-theoretic measures. This allows quantitative comparisons between different models in terms of the resources, such as the number of bits, of randomness, communication, and/or correlation, that they require. For example, measurement dependence is a relatively strong resource for modeling singlet state correlations, with only 1/15 of one bit of correlation required between measurement settings and the underlying variable. It is shown how various 'relaxed' Bell inequalities may be obtained, which precisely specify the complementary degrees of relaxation required to model any given violation of a standard Bell inequality. The robustness of a class of Kochen-Specker theorems, to relaxation of measurement independence, is also investigated. It is shown that a theorem of Mermin remains valid unless measurement independence is relaxed by 1/3. The Conway-Kochen 'free will' theorem and a result of Hardy are less robust, failing if measurement independence is relaxed by only 6.5% and 4.5%, respectively. An appendix shows the existence of an outcome independent model is equivalent to the existence of a deterministic model.

quant-ph↗

arXiv2010

Complementary contributions of indeterminism and signalling to quantum correlations

Simple quantitative measures of indeterminism and signalling, $I$ and $S$, are defined for models of statistical correlations. It is shown that any such model satisfies a generalised Bell-type inequality, with tight upper bound B(I,S). This upper bound explicitly quantifies the complementary contributions required from indeterminism and signalling, for modelling any given violation of the standard Bell-CHSH inequality. For example, all models of the maximum quantum violation must either assign no more than 80% probability of occurrence to some underlying event, and/or allow a nonlocal change of at least 60% in an underlying marginal probability of one observer in response to a change in measurement setting by a distant observer. The results yield a corresponding complementarity relation between the numbers of local random bits and nonlocal signalling bits required to model a given violation. A stronger relation is conjectured for simulations of singlet states. Signalling appears to be a useful resource only if a `gap' condition is satisfied, corresponding to being able to nonlocally flip some underlying marginal probability $p$ to its complementary value 1-p.

quant-ph↗

arXiv2010

Local deterministic model of singlet state correlations based on relaxing measurement independence

The derivation of Bell inequalities requires an assumption of measurement independence, related to the amount of free will experimenters have in choosing measurement settings. Violation of these inequalities by singlet state correlations, as has been experimentally observed, brings this assumption into question. A simple measure of the degree of measurement independence is defined for correlation models, and it is shown that all spin correlations of a singlet state can be modeled via giving up a fraction of just 14% of measurement independence. The underlying model is deterministic and no-signalling. It may thus be favourably compared with other underlying models of the singlet state, which require maximum indeterminism or maximum signalling. A local deterministic model is also given that achieves the maximum possible violation of the well known Bell-CHSH inequality, at a cost of only 1/3 of measurement independence.

quant-ph↗

arXiv2009

Comment on 'Non-realism: deep thought or soft option?', by N. Gisin

It is briefly demonstrated that Gisin's so-called 'locality' assumption [arXiv:0901.4255] is in fact equivalent to the existence of a local deterministic model. Thus, despite Gisin's suggestions to the contrary, 'local realism' in the sense of Bell is built into his argument from the very beginning. His 'locality' assumption may more appropriately be labelled 'separability'. It is further noted that the increasingly popular term 'quantum nonlocality' is not only misleading, but tends to obscure the important distinction between no-signalling and separability. In particular, 'local non-realism' remains firmly in place as a hard option for interpreting Bell inequality violations. Other options are briefly speculated on.

quant-ph↗

arXiv2008

Reply to Comment by Galapon on 'Almost-periodic time observables for bound quantum systems'

In a recent paper [1] (also at http://lanl.arxiv.org/abs/0803.3721), I made several critical remarks on a 'Hermitian time operator' proposed by Galapon [2] (also at http://lanl.arxiv.org/abs/quant-ph/0111061). Galapon has correctly pointed out that remarks pertaining to 'denseness' of the commutator domain are wrong [3]. However, the other remarks still apply, and it is further noted that a given quantum system can be a member of this domain only at a set of times of total measure zero.

quant-ph↗

arXiv2008

Consistent classical and quantum mixed dynamics

A recent proposal for mixed dynamics of classical and quantum ensembles is shown, in contrast to other proposals, to satisfy the minimal algebraic requirements proposed by Salcedo for any consistent formulation of such dynamics. Generalised Ehrenfest relations for the expectation values of classical and quantum observables are also obtained. It is further shown that additional desirable requirements, related to separability, may be satisfied under the assumption that only the configuration of the classical component is directly accessible to measurement, eg, via a classical pointer. Although the mixed dynamics is formulated in terms of ensembles on configuration space, thermodynamic mixtures of such ensembles may be defined which are equivalent to canonical phase space ensembles on the classical sector. Hence, the formulation appears to be both consistent and physically complete.

quant-ph↗

arXiv2008

Almost-periodic time observables for bound quantum systems

It is shown that a canonical time observable may be defined for any quantum system having a discrete set of energy eigenvalues, thus significantly generalising the known case of time observables for periodic quantum systems (such as the harmonic oscillator). The general case requires the introduction of almost-periodic probability operator measures (POMs), which allow the expectation value of any almost-periodic function to be calculated. An entropic uncertainty relation for energy and time is obtained which generalises the known uncertainty relation for periodic quantum systems. While non-periodic quantum systems with discrete energy spectra, such as hydrogen atoms, typically make poor clocks that yield no more than 1 bit of time information, the anisotropic oscillator provides an interesting exception. More generally, a canonically conjugate observable may be defined for any Hermitian operator having a discrete spectrum.

quant-ph↗

arXiv2008

Complete positivity for time-dependent qubit master equations

It is shown that if the decoherence matrix corresponding to a qubit master equation has a block-diagonal real part, then the evolution is determined by a one-dimensional oscillator equation. Further, when the full decoherence matrix is block-diagonal, then the necessary and sufficient conditions for completely positive evolution may be formulated in terms of the oscillator Hamiltonian or Lagrangian. When the solution of the oscillator equation is not known, an explicit sufficient condition for complete positivity can still be obtained, based on a Hamiltonian/Lagrangian inequality. A rotational form-invariance property is used to characterise the evolution via a single first-order nonlinear differential equation, enabling some further exact results to be obtained. A class of master equations is identified for which complete positivity reduces to the simpler condition of positivity.

quant-ph↗

arXiv2008

Comment on "An Arrow of Time Operator for Standard Quantum Mechanics" - a sign of the time!

It is shown that the `arrow of time' operator, M_F, recently suggested by Strauss et al., in arXiv:0802.2448v1 [quant-ph], is simply related to the sign of the canonical `time' observable, T (apparently first introduced by Holevo). In particular, the monotonic decrease of < M_F > corresponds to the fact that < sgn T > increases monotonically with time. This relationship also provides a physical interpretation of the property M_F < 1. Some further properties and possible generalisations are pointed out, including to almost-periodic systems.

quant-ph↗

arXiv2008

Finding the Kraus decomposition from a master equation and vice versa

For any master equation which is local in time, whether Markovian, non-Markovian, of Lindblad form or not, a general procedure is reviewed for constructing the corresponding linear map from the initial state to the state at time t, including its Kraus-type representations. Formally, this is equivalent to solving the master equation. For an N-dimensional Hilbert space it requires (i) solving a first order N^2 x N^2 matrix time evolution (to obtain the completely positive map), and (ii) diagonalising a related N^2 x N^2 matrix (to obtain a Kraus-type representation). Conversely, for a given time-dependent linear map, a necessary and sufficient condition is given for the existence of a corresponding master equation, where the (not necessarily unique) form of this equation is explicitly determined. It is shown that a `best possible' master equation may always be defined, for approximating the evolution in the case that no exact master equation exists. Examples involving qubits are given.

quant-ph↗

arXiv2006

Maximum observable correlation for a bipartite quantum system

The maximum observable correlation between the two components of a bipartite quantum system is a property of the joint density operator, and is achieved by making particular measurements on the respective components. For pure states it corresponds to making measurements diagonal in a corresponding Schmidt basis. More generally, it is shown that the maximum correlation may be characterised in terms of a `correlation basis' for the joint density operator, which defines the corresponding (nondegenerate) optimal measurements. The maximum coincidence rate for spin measurements on two-qubit systems is determined to be (1+s)/2, where s is the spectral norm of the spin correlation matrix, and upper bounds are obtained for n-valued measurements on general bipartite systems. It is shown that the maximum coincidence rate is never greater than the computable cross norm measure of entanglement, and a much tighter upper bound is conjectured. Connections with optimal state discrimination and entanglement bounds are briefly discussed.

quant-ph↗