-
The set of Kirkwood-Dirac positive states is almost always minimal
Authors:
Christopher Langrenez,
Wilfred Salmon,
Stephan De Bièvre,
Jonathan J. Thio,
Christopher K. Long,
David R. M. Arvidsson-Shukur
Abstract:
A central problem in quantum information is determining quantum-classical boundaries. A useful notion of classicality is provided by the quasiprobability formulation of quantum theory. In this framework, a state is called classical if it is represented by a quasiprobability distribution that is positive, and thus a probability distribution. In recent years, the Kirkwood-Dirac (KD) distributions ha…
▽ More
A central problem in quantum information is determining quantum-classical boundaries. A useful notion of classicality is provided by the quasiprobability formulation of quantum theory. In this framework, a state is called classical if it is represented by a quasiprobability distribution that is positive, and thus a probability distribution. In recent years, the Kirkwood-Dirac (KD) distributions have gained much interest due to their numerous applications in modern quantum-information research. A particular advantage of the KD distributions is that they can be defined with respect to arbitrary observables. Here, we show that if two observables are picked at random, the set of classical states of the resulting KD distribution is a simple polytope of minimal size. When the Hilbert space is of dimension $d$, this polytope is of dimension $2d-1$ and has $2d$ known vertices. Our result implies, $\textit{e.g.}$, that almost all KD distributions have resource theories in which the free states form a small and simple set.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
James-Stein Estimation in Quantum Gaussian Sensing
Authors:
Wilfred Salmon,
Sergii Strelchuk,
David Arvidsson-Shukur
Abstract:
The James-Stein estimator is a biased estimator -- for a finite number of samples its expected value is not the true mean. The maximum-likelihood estimator (MLE), is unbiased and asymptotically optimal. Yet, when estimating the mean of $3$ or more normally-distributed random variables, the James-Stein estimator has a smaller total (expected) error than the MLE. We introduce the James-Stein estimat…
▽ More
The James-Stein estimator is a biased estimator -- for a finite number of samples its expected value is not the true mean. The maximum-likelihood estimator (MLE), is unbiased and asymptotically optimal. Yet, when estimating the mean of $3$ or more normally-distributed random variables, the James-Stein estimator has a smaller total (expected) error than the MLE. We introduce the James-Stein estimator to the field of quantum metrology, from both the frequentist and Bayesian perspectives. We characterise the effect of quantum phenomena on the James-Stein estimator through the lens of quantum Gaussian sensing, the task of estimating the mean of an unknown multivariate quantum Gaussian state. We find that noiseless entanglement or coherence improves performance of the James-Stein estimator, but diminishes its advantage over the MLE. In the presence of noise, the James-Stein advantage is restored. Quantum effects can also boost the James-Stein advantage. We demonstrate this by investigating multivariate postselective metrology (generalised weak-value amplification), a strategy that uses quantum effects to measure parameters with imperfect detectors. Simply by post-processing measured data differently, our techniques reduce errors in quantum experiments.
△ Less
Submitted 5 April, 2024; v1 submitted 2 April, 2024;
originally announced April 2024.
-
Fast algorithms for classical specifications of stabiliser states and Clifford gates
Authors:
Nadish de Silva,
Wilfred Salmon,
Ming Yin
Abstract:
The stabiliser formalism plays a central role in quantum computing, error correction, and fault-tolerance. Stabiliser states are used to encode computational basis states. Clifford gates are those which can be easily performed fault-tolerantly in the most common error correction schemes. Their mathematical properties are the subject of significant research interest.
Conversions between and verif…
▽ More
The stabiliser formalism plays a central role in quantum computing, error correction, and fault-tolerance. Stabiliser states are used to encode computational basis states. Clifford gates are those which can be easily performed fault-tolerantly in the most common error correction schemes. Their mathematical properties are the subject of significant research interest.
Conversions between and verifications of different specifications of stabiliser states and Clifford gates are important components of many classical algorithms in quantum information, e.g. for gate synthesis, circuit optimisation, and for simulating quantum circuits. These core functions are also used in the numerical experiments critical to formulating and testing mathematical conjectures on the stabiliser formalism.
We develop novel mathematical insights concerning stabiliser states and Clifford gates that significantly clarify their descriptions. We then utilise these to provide ten new fast algorithms which offer asymptotic advantages over any existing implementations. We show how to rapidly verify that a vector is a stabiliser state, and interconvert between its specification as amplitudes, a quadratic form, and a check matrix. These methods are leveraged to rapidly check if a given unitary matrix is a Clifford gate and to interconvert between the matrix of a Clifford gate and its compact specification as a stabiliser tableau.
For example, we extract the stabiliser tableau of a Clifford gate matrix with $N^2$ entries in $O(N \log N)$ time. Remarkably, it is not necessary to read all the elements of a Clifford matrix to extract its stabiliser tableau. This is an asymptotic speedup over the best-known method that is superexponential in the number of qubits.
We provide example implementations of our algorithms in Python.
△ Less
Submitted 26 May, 2024; v1 submitted 17 November, 2023;
originally announced November 2023.
-
Provable Advantage in Quantum PAC Learning
Authors:
Wilfred Salmon,
Sergii Strelchuk,
Tom Gur
Abstract:
We revisit the problem of characterising the complexity of Quantum PAC learning, as introduced by Bshouty and Jackson [SIAM J. Comput. 1998, 28, 1136-1153]. Several quantum advantages have been demonstrated in this setting, however, none are generic: they apply to particular concept classes and typically only work when the distribution that generates the data is known. In the general case, it was…
▽ More
We revisit the problem of characterising the complexity of Quantum PAC learning, as introduced by Bshouty and Jackson [SIAM J. Comput. 1998, 28, 1136-1153]. Several quantum advantages have been demonstrated in this setting, however, none are generic: they apply to particular concept classes and typically only work when the distribution that generates the data is known. In the general case, it was recently shown by Arunachalam and de Wolf [JMLR, 19 (2018) 1-36] that quantum PAC learners can only achieve constant factor advantages over classical PAC learners.
We show that with a natural extension of the definition of quantum PAC learning used by Arunachalam and de Wolf, we can achieve a generic advantage in quantum learning. To be precise, for any concept class $\mathcal{C}$ of VC dimension $d$, we show there is an $(ε, δ)$-quantum PAC learner with sample complexity \[ O\left(\frac{1}{\sqrtε}\left[d+ \log(\frac{1}δ)\right]\log^9(1/ε)\right). \] Up to polylogarithmic factors, this is a square root improvement over the classical learning sample complexity. We show the tightness of our result by proving an $Ω(d/\sqrtε)$ lower bound that matches our upper bound up to polylogarithmic factors.
△ Less
Submitted 19 September, 2023;
originally announced September 2023.
-
Compression of metrological quantum information in the presence of noise
Authors:
Flavio Salvati,
Wilfred Salmon,
Crispin H. W. Barnes,
David R. M. Arvidsson-Shukur
Abstract:
In quantum metrology, information about unknown parameters $\mathbfθ = (θ_1,\ldots,θ_M)$ is accessed by measuring probe states $\hatρ_{\mathbfθ}$. In experimental settings where copies of $\hatρ_{\mathbfθ}$ can be produced rapidly (e.g., in optics), the information-extraction bottleneck can stem from high post-processing costs or detector saturation. In these regimes, it is desirable to compress t…
▽ More
In quantum metrology, information about unknown parameters $\mathbfθ = (θ_1,\ldots,θ_M)$ is accessed by measuring probe states $\hatρ_{\mathbfθ}$. In experimental settings where copies of $\hatρ_{\mathbfθ}$ can be produced rapidly (e.g., in optics), the information-extraction bottleneck can stem from high post-processing costs or detector saturation. In these regimes, it is desirable to compress the information encoded in $\hatρ_{\mathbfθ} \, ^{\otimes n}$ into $m<n$ copies of a postselected state: ${\hatρ_{\mathbfθ}^{\text{ps}}} \,^{\otimes m}$.
Remarkably, recent works have shown that, in the absence of noise, compression can be lossless, for $m/n$ arbitrarily small. Here, we fully characterize the family of filters that enable lossless compression. Further, we study the effect of noise on quantum-metrological information amplification. Motivated by experiments, we consider a popular family of filters, which we show is optimal for qubit probes. Further, we show that, for the optimal filter in this family, compression is still lossless if noise acts after the filter. However, in the presence of depolarizing noise before filtering, compression is lossy. In both cases, information-extraction can be implemented significantly better than simply discarding a constant fraction of the states, even in the presence of strong noise.
△ Less
Submitted 17 July, 2023;
originally announced July 2023.
-
Generalized Dicke model and gauge-invariant master equations for two atoms in ultrastrongly-coupled cavity quantum electrodynamics
Authors:
Kamran Akbari,
Will Salmon,
Franco Nori,
Stephen Hughes
Abstract:
We study a generalization of the well-known Dicke model, using two dissimilar atoms in the regime of ultrastrongly coupled cavity quantum electrodynamics. Our theory uses gauge invariant master equations, which yields consistent results in either of the standard multipolar and Coulomb gauges, including system-bath interactions for open cavity systems. We first show how a second atom can be treated…
▽ More
We study a generalization of the well-known Dicke model, using two dissimilar atoms in the regime of ultrastrongly coupled cavity quantum electrodynamics. Our theory uses gauge invariant master equations, which yields consistent results in either of the standard multipolar and Coulomb gauges, including system-bath interactions for open cavity systems. We first show how a second atom can be treated as a sensor atom to measure the output spectrum from a single atom in the ultrastrong-coupling regime, and compare results with the quantum regression theorem, explaining when they can be different. We then focus on the case where the second atom is also ultrastrongly coupled to the cavity, but with different parameters from those of the first atom, which introduces complex coupling effects and additional resonances and spectral features. In particular, we show multiple resonances in the cavity spectra that are visible off-resonance, which cannot be seen when the second atom is on-resonance with the rest of the system. We also observe clear anti-crossing features particularly pronounced for when the second atom tunes through resonance.
△ Less
Submitted 31 July, 2023; v1 submitted 5 January, 2023;
originally announced January 2023.
-
Only Classical Parameterised States have Optimal Measurements under Least Squares Loss
Authors:
Wilfred Salmon,
Sergii Strelchuk,
David Arvidsson-Shukur
Abstract:
Measurements of quantum states form a key component in quantum-information processing. It is therefore an important task to compare measurements and furthermore decide if a measurement strategy is optimal. Entropic quantities, such as the quantum Fisher information, capture asymptotic optimality but not optimality with finite resources. We introduce a framework that allows one to conclusively esta…
▽ More
Measurements of quantum states form a key component in quantum-information processing. It is therefore an important task to compare measurements and furthermore decide if a measurement strategy is optimal. Entropic quantities, such as the quantum Fisher information, capture asymptotic optimality but not optimality with finite resources. We introduce a framework that allows one to conclusively establish if a measurement is optimal in the non-asymptotic regime. Our method relies on the fundamental property of expected errors of estimators, known as risk, and it does not involve optimisation over entropic quantities. The framework applies to finite sample sizes and lack of prior knowledge, as well as to the asymptotic and Bayesian settings. We prove a no-go theorem that shows that only classical states admit optimal measurements under the most common choice of error measurement: least squares. We further consider the less restrictive notion of an approximately optimal measurement and give sufficient conditions for such measurements to exist. Finally, we generalise the notion of when an estimator is inadmissible (i.e. strictly worse than an alternative), and provide two sufficient conditions for a measurement to be inadmissible.
△ Less
Submitted 3 May, 2023; v1 submitted 27 May, 2022;
originally announced May 2022.
-
Gauge-Independent Emission Spectra and Quantum Correlations in the Ultrastrong Coupling Regime of Open System Cavity-QED
Authors:
Will Salmon,
Chris Gustin,
Alessio Settineri,
Omar Di Stefano,
David Zueco,
Salvatore Savasta,
Franco Nori,
Stephen Hughes
Abstract:
A quantum dipole interacting with an optical cavity is one of the key models in cavity quantum electrodynamics (cavity-QED). To treat this system theoretically, the typical approach is to truncate the dipole to two levels. However, it has been shown that in the ultrastrong-coupling regime, this truncation naively destroys gauge invariance. By truncating in a manner consistent with the gauge princi…
▽ More
A quantum dipole interacting with an optical cavity is one of the key models in cavity quantum electrodynamics (cavity-QED). To treat this system theoretically, the typical approach is to truncate the dipole to two levels. However, it has been shown that in the ultrastrong-coupling regime, this truncation naively destroys gauge invariance. By truncating in a manner consistent with the gauge principle, we introduce master equations {for open systems} to compute gauge-invariant emission spectra, photon flux rates, and quantum correlation functions which show significant disagreement with previous results obtained using the standard quantum Rabi model. Explicit examples are shown using both the dipole gauge and the Coulomb gauge.
△ Less
Submitted 19 November, 2022; v1 submitted 23 February, 2021;
originally announced February 2021.
-
An Increasing Stellar Baryon Fraction in Bright Galaxies at High Redshift
Authors:
Steven L. Finkelstein,
Mimi Song,
Peter Behroozi,
Rachel S. Somerville,
Casey Papovich,
Milos Milosavljevic,
Avishai Dekel,
Desika Narayanan,
Matthew L. N. Ashby,
Asantha Cooray,
Giovanni G. Fazio,
Henry C. Ferguson,
Anton M. Koekemoer,
Brett W. Salmon,
S. P. Willner
Abstract:
Recent observations have shown that the characteristic luminosity of the rest-frame ultraviolet (UV) luminosity function does not significantly evolve at 4 < z < 7 and is approximately M*_UV ~ -21. We investigate this apparent non-evolution by examining a sample of 178 bright, M_UV < -21 galaxies at z=4 to 7, analyzing their stellar populations and host halo masses. Including deep Spitzer/IRAC ima…
▽ More
Recent observations have shown that the characteristic luminosity of the rest-frame ultraviolet (UV) luminosity function does not significantly evolve at 4 < z < 7 and is approximately M*_UV ~ -21. We investigate this apparent non-evolution by examining a sample of 178 bright, M_UV < -21 galaxies at z=4 to 7, analyzing their stellar populations and host halo masses. Including deep Spitzer/IRAC imaging to constrain the rest-frame optical light, we find that M*_UV galaxies at z=4-7 have similar stellar masses of log(M/Msol)=9.6-9.9 and are thus relatively massive for these high redshifts. However, bright galaxies at z=4-7 are less massive and have younger inferred ages than similarly bright galaxies at z=2-3, even though the two populations have similar star formation rates and levels of dust attenuation. We match the abundances of these bright z=4-7 galaxies to halo mass functions from the Bolshoi Lambda-CDM simulation to estimate the halo masses. We find that the typical halo masses in ~M*_UV galaxies decrease from log(M_h/Msol)=11.9 at z=4 to log(M_h/Msol)=11.4 at z=7. Thus, although we are studying galaxies at a similar mass across multiple redshifts, these galaxies live in lower mass halos at higher redshift. The stellar baryon fraction in units of the cosmic mean Omega_b/Omega_m rises from 5.1% at z=4 to 11.7% at z=7; this evolution is significant at the ~3-sigma level. This rise does not agree with simple expectations of how galaxies grow, and implies that some effect, perhaps a diminishing efficiency of feedback, is allowing a higher fraction of available baryons to be converted into stars at high redshifts.
△ Less
Submitted 18 November, 2015; v1 submitted 31 March, 2015;
originally announced April 2015.
-
Extreme Emission Line Galaxies in CANDELS: Broad-Band Selected, Star-Bursting Dwarf Galaxies at z>1
Authors:
A. van der Wel,
A. N. Straughn,
H. -W. Rix,
S. L. Finkelstein,
A. M. Koekemoer,
B. J. Weiner,
S. Wuyts,
E. F. Bell,
S. M. Faber,
J. R. Trump,
D. C. Koo,
H. C. Ferguson,
C. Scarlata,
N. P. Hathi,
J. S. Dunlop,
J. A. Newman,
M. Dickinson,
K. Jahnke,
B. W. Salmon,
D. F. de Mello,
D. D. Kocevski,
K. Lai,
N. A . Grogin,
S. A. Rodney,
Yicheng Guo
, et al. (7 additional authors not shown)
Abstract:
We identify an abundant population of extreme emission line galaxies (EELGs) at redshift z~1.7 in the Cosmic Assembly Near-IR Deep Extragalactic Legacy Survey (CANDELS) imaging from Hubble Space Telescope/Wide Field Camera 3 (HST/WFC3). 69 EELG candidates are selected by the large contribution of exceptionally bright emission lines to their near-infrared broad-band magnitudes. Supported by spectro…
▽ More
We identify an abundant population of extreme emission line galaxies (EELGs) at redshift z~1.7 in the Cosmic Assembly Near-IR Deep Extragalactic Legacy Survey (CANDELS) imaging from Hubble Space Telescope/Wide Field Camera 3 (HST/WFC3). 69 EELG candidates are selected by the large contribution of exceptionally bright emission lines to their near-infrared broad-band magnitudes. Supported by spectroscopic confirmation of strong [OIII] emission lines -- with rest-frame equivalent widths ~1000Å-- in the four candidates that have HST/WFC3 grism observations, we conclude that these objects are galaxies with 10^8 Msol in stellar mass, undergoing an enormous starburst phase with M_*/(dM_*/dt) of only ~15 Myr. These bursts may cause outflows that are strong enough to produce cored dark matter profiles in low-mass galaxies. The individual star formation rates and the co-moving number density (3.7x10^-4 Mpc^-3) can produce in ~4 Gyr much of the stellar mass density that is presently contained in 10^8-10^9 Msol dwarf galaxies. Therefore, our observations provide a strong indication that many or even most of the stars in present-day dwarf galaxies formed in strong, short-lived bursts, mostly at z>1.
△ Less
Submitted 23 September, 2011; v1 submitted 26 July, 2011;
originally announced July 2011.