-
Locally Tomographic Shadows (Extended Abstract)
Authors:
Howard Barnum,
Matthew A. Graydon,
Alex Wilce
Abstract:
Given a monoidal probabilistic theory -- a symmetric monoidal category $\mathcal{C}$ of systems and processes, together with a functor $\mathbf{V}$ assigning concrete probabilistic models to objects of $\mathcal{C}$ -- we construct a locally tomographic probabilistic theory LT$(\mathcal{C},\mathbf{V})$ -- the locally tomographic shadow of $(\mathcal{C},\mathbf{V})$ -- describing phenomena observab…
▽ More
Given a monoidal probabilistic theory -- a symmetric monoidal category $\mathcal{C}$ of systems and processes, together with a functor $\mathbf{V}$ assigning concrete probabilistic models to objects of $\mathcal{C}$ -- we construct a locally tomographic probabilistic theory LT$(\mathcal{C},\mathbf{V})$ -- the locally tomographic shadow of $(\mathcal{C},\mathbf{V})$ -- describing phenomena observable by local agents controlling systems in $\mathcal{C}$, and able to pool information about joint measurements made on those systems. Some globally distinct states become locally indistinguishable in LT$(\mathcal{C},\mathbf{V})$, and we restrict the set of processes to those that respect this indistinguishability. This construction is investigated in some detail for real quantum theory.
△ Less
Submitted 31 August, 2023;
originally announced August 2023.
-
Self-duality and Jordan structure of quantum theory follow from homogeneity and pure transitivity
Authors:
Howard Barnum,
Cozmin Ududec,
John van de Wetering
Abstract:
Among the many important geometric properties of quantum state space are: transitivity of the group of symmetries of the cone of unnormalized states on its interior (homogeneity), identification of this cone with its dual cone of effects via an inner product (self-duality), and transitivity of the group of symmetries of the normalized state space on the pure normalized states (pure transitivity).…
▽ More
Among the many important geometric properties of quantum state space are: transitivity of the group of symmetries of the cone of unnormalized states on its interior (homogeneity), identification of this cone with its dual cone of effects via an inner product (self-duality), and transitivity of the group of symmetries of the normalized state space on the pure normalized states (pure transitivity). Koecher and Vinberg showed that homogeneity and self-duality characterize Jordan-algebraic state spaces: real, complex and quaternionic quantum theory, spin factors, 3-dimensional octonionic quantum state space and direct sums of these irreducible spaces. We show that self-duality follows from homogeneity and pure transitivity. These properties have a more direct physical and information-processing significance than self-duality. We show for instance (extending results of Barnum, Gaebeler, and Wilce) that homogeneity is closely related to the ability to steer quantum states. Our alternative to the Koecher-Vinberg theorem characterizes nearly the same set of state spaces: direct sums of isomorphic Jordan-algebraic ones, which may be viewed as composites of a classical system with an irreducible Jordan-algebraic one. There are various physically and informationally natural additional postulates that are known to single out complex quantum theory from among these Jordan-algebraic possibilities. We give various such reconstructions based on the additional property of local tomography.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
Strongly symmetric spectral convex bodies are Jordan algebra state spaces
Authors:
Howard Barnum,
Joachim Hilgert
Abstract:
We show that the strongly symmetric spectral convex compact sets are precisely the normalized state spaces of finite-dimensional simple Euclidean Jordan algebras and the simplices. Spectrality is the property that every state has a convex decomposition into perfectly distinguishable pure states; strong symmetry is transitivity, for each integer N, of the affine automorphism group of the state spac…
▽ More
We show that the strongly symmetric spectral convex compact sets are precisely the normalized state spaces of finite-dimensional simple Euclidean Jordan algebras and the simplices. Spectrality is the property that every state has a convex decomposition into perfectly distinguishable pure states; strong symmetry is transitivity, for each integer N, of the affine automorphism group of the state space on lists of N perfectly distinguishable pure states. Additional assumptions combine with this theorem to give simple characterizations of finite-dimensional complex quantum state space.
Important aspects of quantum and classical thermodynamics and of query complexity have been generalized to classes of general probabilistic theories (GPTs) satisfying natural postulates including or implying spectrality and strong symmetry; our result shows that these apply to a narrower class of theories than might have been hoped. Sorkin's notion of irreducibly k-th order interference has been studied in the GPT framework and looked for in experiments. Our result shows that the assumption of no higher-order (k > 2) interference, used along with spectrality and strong symmetry to characterize the same class of Jordan-algebraic convex sets by Barnum, Mueller, and Ududec in arXiv:1403.4147, was superfluous. It also implies that Lee and Selby's extension, on the assumption that interference has fixed maximal degree k, of the important order square root of N lower bound on the quantum black-box query complexity of searching N possibilities for one having a desired property (which is achieved by Grover's quantum algorithm), to a class of theories satisfying certain postulates allowing the formulation of a generalized notion of query algorithm, actually applies in the Jordan-algebraic setting where higher-order interference is not possible.
△ Less
Submitted 7 April, 2019;
originally announced April 2019.
-
Ruling out higher-order interference from purity principles
Authors:
Howard Barnum,
Ciarán M. Lee,
Carlo Maria Scandolo,
John H. Selby
Abstract:
As first noted by Rafael Sorkin, there is a limit to quantum interference. The interference pattern formed in a multi-slit experiment is a function of the interference patterns formed between pairs of slits, there are no genuinely new features resulting from considering three slits instead of two. Sorkin has introduced a hierarchy of mathematically conceivable higher-order interference behaviours,…
▽ More
As first noted by Rafael Sorkin, there is a limit to quantum interference. The interference pattern formed in a multi-slit experiment is a function of the interference patterns formed between pairs of slits, there are no genuinely new features resulting from considering three slits instead of two. Sorkin has introduced a hierarchy of mathematically conceivable higher-order interference behaviours, where classical theory lies at the first level of this hierarchy and quantum theory theory at the second. Informally, the order in this hierarchy corresponds to the number of slits on which the interference pattern has an irreducible dependence. Many authors have wondered why quantum interference is limited to the second level of this hierarchy. Does the existence of higher-order interference violate some natural physical principle that we believe should be fundamental? In the current work we show that such principles can be found which limit interference behaviour to second-order, or "quantum-like", interference, but that do not restrict us to the entire quantum formalism. We work within the operational framework of generalised probabilistic theories, and prove that any theory satisfying Causality, Purity Preservation, Pure Sharpness, and Purification---four principles that formalise the fundamental character of purity in nature---exhibits at most second-order interference. Hence these theories are, at least conceptually, very "close" to quantum theory. Along the way we show that systems in such theories correspond to Euclidean Jordan algebras. Hence, they are self-dual and, moreover, multi-slit experiments in such theories are described by pure projectors.
△ Less
Submitted 13 July, 2017; v1 submitted 17 April, 2017;
originally announced April 2017.
-
Oracles and query lower bounds in generalised probabilistic theories
Authors:
Howard Barnum,
Ciarán M. Lee,
John H. Selby
Abstract:
We investigate the connection between interference and computational power within the operationally defined framework of generalised probabilistic theories. To compare the computational abilities of different theories within this framework we show that any theory satisfying three natural physical principles possess a well-defined oracle model. Indeed, we prove a subroutine theorem for oracles in s…
▽ More
We investigate the connection between interference and computational power within the operationally defined framework of generalised probabilistic theories. To compare the computational abilities of different theories within this framework we show that any theory satisfying three natural physical principles possess a well-defined oracle model. Indeed, we prove a subroutine theorem for oracles in such theories which is a necessary condition for the oracle to be well-defined. The three principles are: causality (roughly, no signalling from the future), purification (each mixed state arises as the marginal of a pure state of a larger system), and strong symmetry existence of non-trivial reversible transformations). Sorkin has defined a hierarchy of conceivable interference behaviours, where the order in the hierarchy corresponds to the number of paths that have an irreducible interaction in a multi-slit experiment. Given our oracle model, we show that if a classical computer requires at least n queries to solve a learning problem, then the corresponding lower bound in theories lying at the kth level of Sorkin's hierarchy is n/k. Hence, lower bounds on the number of queries to a quantum oracle needed to solve certain problems are not optimal in the space of all generalised probabilistic theories, although it is not yet known whether the optimal bounds are achievable in general. Hence searches for higher-order interference are not only foundationally motivated, but constitute a search for a computational resource beyond that offered by quantum computation.
△ Less
Submitted 27 July, 2018; v1 submitted 17 April, 2017;
originally announced April 2017.
-
Thermodynamics and the structure of quantum theory
Authors:
Marius Krumm,
Howard Barnum,
Jonathan Barrett,
Markus P. Mueller
Abstract:
Despite its enormous empirical success, the formalism of quantum theory still raises fundamental questions: why is nature described in terms of complex Hilbert spaces, and what modifications of it could we reasonably expect to find in some regimes of physics? Here we address these questions by studying how compatibility with thermodynamics constrains the structure of quantum theory. We employ two…
▽ More
Despite its enormous empirical success, the formalism of quantum theory still raises fundamental questions: why is nature described in terms of complex Hilbert spaces, and what modifications of it could we reasonably expect to find in some regimes of physics? Here we address these questions by studying how compatibility with thermodynamics constrains the structure of quantum theory. We employ two postulates that any probabilistic theory with reasonable thermodynamic behavior should arguably satisfy. In the framework of generalized probabilistic theories, we show that these postulates already imply important aspects of quantum theory, like self-duality and analogues of projective measurements, subspaces and eigenvalues. However, they may still admit a class of theories beyond quantum mechanics. Using a thought experiment by von Neumann, we show that these theories admit a consistent thermodynamic notion of entropy, and prove that the second law holds for projective measurements and mixing procedures. Furthermore, we study additional entropy-like quantities based on measurement probabilities and convex decomposition probabilities, and uncover a relation between one of these quantities and Sorkin's notion of higher-order interference.
△ Less
Submitted 25 April, 2017; v1 submitted 15 August, 2016;
originally announced August 2016.
-
Composites and Categories of Euclidean Jordan Algebras
Authors:
Howard Barnum,
Matthew A. Graydon,
Alexander Wilce
Abstract:
We consider possible non-signaling composites of probabilistic models based on euclidean Jordan algebras (EJAs), satisfying some reasonable additional constraints motivated by the desire to construct dagger-compact categories of such models. We show that no such composite has the exceptional Jordan algebra as a direct summand, nor does any such composite exist if one factor has an exceptional summ…
▽ More
We consider possible non-signaling composites of probabilistic models based on euclidean Jordan algebras (EJAs), satisfying some reasonable additional constraints motivated by the desire to construct dagger-compact categories of such models. We show that no such composite has the exceptional Jordan algebra as a direct summand, nor does any such composite exist if one factor has an exceptional summand, unless the other factor is a direct sum of one-dimensional Jordan algebras (representing essentially a classical system). Moreover, we show that any composite of simple, non-exceptional EJAs is a direct summand of their universal tensor product, sharply limiting the possibilities.
These results warrant our focussing on concrete Jordan algebras of hermitian matrices, i.e., euclidean Jordan algebras with a preferred embedding in a complex matrix algebra}. We show that these can be organized in a natural way as a symmetric monoidal category, albeit one that is not compact closed. We then construct a related category InvQM of embedded euclidean Jordan algebras, having fewer objects but more morphisms, that is not only compact closed but dagger-compact. This category unifies finite-dimensional real, complex and quaternionic mixed-state quantum mechanics, except that the composite of two complex quantum systems comes with an extra classical bit.
Our notion of composite requires neither tomographic locality, nor preservation of purity under tensor product. The categories we construct include examples in which both of these conditions fail. In such cases, the information capacity (the maximum number of mutually distinguishable states) of a composite is greater than the product of the capacities of its constituents.
△ Less
Submitted 4 November, 2020; v1 submitted 29 June, 2016;
originally announced June 2016.
-
Entropy, majorization and thermodynamics in general probabilistic theories
Authors:
Howard Barnum,
Jonathan Barrett,
Marius Krumm,
Markus P. Müller
Abstract:
In this note we lay some groundwork for the resource theory of thermodynamics in general probabilistic theories (GPTs). We consider theories satisfying a purely convex abstraction of the spectral decomposition of density matrices: that every state has a decomposition, with unique probabilities, into perfectly distinguishable pure states. The spectral entropy, and analogues using other Schur-concav…
▽ More
In this note we lay some groundwork for the resource theory of thermodynamics in general probabilistic theories (GPTs). We consider theories satisfying a purely convex abstraction of the spectral decomposition of density matrices: that every state has a decomposition, with unique probabilities, into perfectly distinguishable pure states. The spectral entropy, and analogues using other Schur-concave functions, can be defined as the entropy of these probabilities. We describe additional conditions under which the outcome probabilities of a fine-grained measurement are majorized by those for a spectral measurement, and therefore the "spectral entropy" is the measurement entropy (and therefore concave). These conditions are (1) projectivity, which abstracts aspects of the Lueders-von Neumann projection postulate in quantum theory, in particular that every face of the state space is the positive part of the image of a certain kind of projection operator called a filter; and (2) symmetry of transition probabilities. The conjunction of these, as shown earlier by Araki, is equivalent to a strong geometric property of the unnormalized state cone known as perfection: that there is an inner product according to which every face of the cone, including the cone itself, is self-dual. Using some assumptions about the thermodynamic cost of certain processes that are partially motivated by our postulates, especially projectivity, we extend von Neumann's argument that the thermodynamic entropy of a quantum system is its spectral entropy to generalized probabilistic systems satisfying spectrality.
△ Less
Submitted 4 November, 2015; v1 submitted 12 August, 2015;
originally announced August 2015.
-
Some Nearly Quantum Theories
Authors:
Howard Barnum,
Matthew A. Graydon,
Alexander Wilce
Abstract:
We consider possible non-signaling composites of probabilistic models based on euclidean Jordan algebras. Subject to some reasonable constraints, we show that no such composite exists having the exceptional Jordan algebra as a direct summand. We then construct several dagger compact categories of such Jordan-algebraic models. One of these neatly unifies real, complex and quaternionic mixed-state q…
▽ More
We consider possible non-signaling composites of probabilistic models based on euclidean Jordan algebras. Subject to some reasonable constraints, we show that no such composite exists having the exceptional Jordan algebra as a direct summand. We then construct several dagger compact categories of such Jordan-algebraic models. One of these neatly unifies real, complex and quaternionic mixed-state quantum mechanics, with the exception of the quaternionic "bit". Another is similar, except in that (i) it excludes the quaternionic bit, and (ii) the composite of two complex quantum systems comes with an extra classical bit. In both of these categories, states are morphisms from systems to the tensor unit, which helps give the categorical structure a clear operational interpretation. A no-go result shows that the first of these categories, at least, cannot be extended to include spin factors other than the (real, complex, and quaternionic) quantum bits, while preserving the representation of states as morphisms. The same is true for attempts to extend the second category to even-dimensional spin-factors. Interesting phenomena exhibited by some composites in these categories include failure of local tomography, supermultiplicativity of the maximal number of mutually distinguishable states, and mixed states whose marginals are pure.
△ Less
Submitted 6 November, 2015; v1 submitted 22 July, 2015;
originally announced July 2015.
-
Characterization of the LIGO detectors during their sixth science run
Authors:
The LIGO Scientific Collaboration,
The Virgo Collaboration,
J. Aasi,
J. Abadie,
B. P. Abbott,
R. Abbott,
T. Abbott,
M. R. Abernathy,
T. Accadia,
F. Acernese,
C. Adams,
T. Adams,
R. X. Adhikari,
C. Affeldt,
M. Agathos,
N. Aggarwal,
O. D. Aguiar,
P. Ajith,
B. Allen,
A. Allocca,
E. Amador. Ceron,
D. Amariutei,
R. A. Anderson,
S. B. Anderson,
W. G. Anderson
, et al. (846 additional authors not shown)
Abstract:
In 2009-2010, the Laser Interferometer Gravitational-wave Observa- tory (LIGO) operated together with international partners Virgo and GEO600 as a network to search for gravitational waves of astrophysical origin. The sensitiv- ity of these detectors was limited by a combination of noise sources inherent to the instrumental design and its environment, often localized in time or frequency, that cou…
▽ More
In 2009-2010, the Laser Interferometer Gravitational-wave Observa- tory (LIGO) operated together with international partners Virgo and GEO600 as a network to search for gravitational waves of astrophysical origin. The sensitiv- ity of these detectors was limited by a combination of noise sources inherent to the instrumental design and its environment, often localized in time or frequency, that couple into the gravitational-wave readout. Here we review the performance of the LIGO instruments during this epoch, the work done to characterize the de- tectors and their data, and the effect that transient and continuous noise artefacts have on the sensitivity of LIGO to a variety of astrophysical sources.
△ Less
Submitted 18 November, 2014; v1 submitted 28 October, 2014;
originally announced October 2014.
-
Searching for stochastic gravitational waves using data from the two co-located LIGO Hanford detectors
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
J. Aasi,
J. Abadie,
B. P. Abbott,
R. Abbott,
T. Abbott,
M. R. Abernathy,
T. Accadia,
F. Acernese,
C. Adams,
T. Adams,
P. Addesso,
R. X. Adhikari,
C. Affeldt,
M. Agathos,
N. Aggarwal,
O. D. Aguiar,
P. Ajith,
B. Allen,
A. Allocca,
E. Amado. Ceron,
D. Amariutei,
R. A. Anderson,
S. B. Anderson
, et al. (852 additional authors not shown)
Abstract:
Searches for a stochastic gravitational-wave background (SGWB) using terrestrial detectors typically involve cross-correlating data from pairs of detectors. The sensitivity of such cross-correlation analyses depends, among other things, on the separation between the two detectors: the smaller the separation, the better the sensitivity. Hence, a co-located detector pair is more sensitive to a gravi…
▽ More
Searches for a stochastic gravitational-wave background (SGWB) using terrestrial detectors typically involve cross-correlating data from pairs of detectors. The sensitivity of such cross-correlation analyses depends, among other things, on the separation between the two detectors: the smaller the separation, the better the sensitivity. Hence, a co-located detector pair is more sensitive to a gravitational-wave background than a non-co-located detector pair. However, co-located detectors are also expected to suffer from correlated noise from instrumental and environmental effects that could contaminate the measurement of the background. Hence, methods to identify and mitigate the effects of correlated noise are necessary to achieve the potential increase in sensitivity of co-located detectors. Here we report on the first SGWB analysis using the two LIGO Hanford detectors and address the complications arising from correlated environmental noise. We apply correlated noise identification and mitigation techniques to data taken by the two LIGO Hanford detectors, H1 and H2, during LIGO's fifth science run. At low frequencies, 40 - 460 Hz, we are unable to sufficiently mitigate the correlated noise to a level where we may confidently measure or bound the stochastic gravitational-wave signal. However, at high frequencies, 460-1000 Hz, these techniques are sufficient to set a $95%$ confidence level (C.L.) upper limit on the gravitational-wave energy density of Ω(f)<7.7 x 10^{-4} (f/ 900 Hz)^3, which improves on the previous upper limit by a factor of $\sim 180$. In doing so, we demonstrate techniques that will be useful for future searches using advanced detectors, where correlated noise (e.g., from global magnetic fields) may affect even widely separated detectors.
△ Less
Submitted 2 December, 2014; v1 submitted 22 October, 2014;
originally announced October 2014.
-
Higher-order interference and single-system postulates characterizing quantum theory
Authors:
Howard Barnum,
Markus P. Mueller,
Cozmin Ududec
Abstract:
We present a new characterization of quantum theory in terms of simple physical principles that is different from previous ones in two important respects: first, it only refers to properties of single systems without any assumptions on the composition of many systems; and second, it is closer to experiment by having absence of higher-order interference as a postulate, which is currently the subjec…
▽ More
We present a new characterization of quantum theory in terms of simple physical principles that is different from previous ones in two important respects: first, it only refers to properties of single systems without any assumptions on the composition of many systems; and second, it is closer to experiment by having absence of higher-order interference as a postulate, which is currently the subject of experimental investigation. We give three postulates -- no higher-order interference, classical decomposability of states, and strong symmetry -- and prove that the only non-classical operational probabilistic theories satisfying them are real, complex, and quaternionic quantum theory, together with 3-level octonionic quantum theory and ball state spaces of arbitrary dimension. Then we show that adding observability of energy as a fourth postulate yields complex quantum theory as the unique solution, relating the emergence of the complex numbers to the possibility of Hamiltonian dynamics. We also show that there may be interesting non-quantum theories satisfying only the first two of our postulates, which would allow for higher-order interference in experiments while still respecting the contextuality analogue of the local orthogonality principle.
△ Less
Submitted 3 January, 2015; v1 submitted 17 March, 2014;
originally announced March 2014.
-
Application of a Hough search for continuous gravitational waves on data from the 5th LIGO science run
Authors:
The LIGO Scientific Collaboration,
The Virgo Collaboration,
J. Aasi,
J. Abadie,
B. P. Abbott,
R. Abbott,
T. Abbott,
M. R. Abernathy,
T. Accadia,
F. Acernese,
C. Adams,
T. Adams,
R. X. Adhikari,
C. Affeldt,
M. Agathos,
N. Aggarwal,
O. D. Aguiar,
P. Ajith,
B. Allen,
A. Allocca,
E. Amador Ceron,
D. Amariutei,
R. A. Anderson,
S. B. Anderson,
W. G. Anderson
, et al. (855 additional authors not shown)
Abstract:
We report on an all-sky search for periodic gravitational waves in the frequency range $\mathrm{50-1000 Hz}$ with the first derivative of frequency in the range $-8.9 \times 10^{-10}$ Hz/s to zero in two years of data collected during LIGO's fifth science run. Our results employ a Hough transform technique, introducing a $χ^2$ test and analysis of coincidences between the signal levels in years 1…
▽ More
We report on an all-sky search for periodic gravitational waves in the frequency range $\mathrm{50-1000 Hz}$ with the first derivative of frequency in the range $-8.9 \times 10^{-10}$ Hz/s to zero in two years of data collected during LIGO's fifth science run. Our results employ a Hough transform technique, introducing a $χ^2$ test and analysis of coincidences between the signal levels in years 1 and 2 of observations that offers a significant improvement in the product of strain sensitivity with compute cycles per data sample compared to previously published searches. Since our search yields no surviving candidates, we present results taking the form of frequency dependent, 95$%$ confidence upper limits on the strain amplitude $h_0$. The most stringent upper limit from year 1 is $1.0\times 10^{-24}$ in the $\mathrm{158.00-158.25 Hz}$ band. In year 2, the most stringent upper limit is $\mathrm{8.9\times10^{-25}}$ in the $\mathrm{146.50-146.75 Hz}$ band. This improved detection pipeline, which is computationally efficient by at least two orders of magnitude better than our flagship Einstein$@$Home search, will be important for "quick-look" searches in the Advanced LIGO and Virgo detector era.
△ Less
Submitted 17 March, 2014; v1 submitted 11 November, 2013;
originally announced November 2013.
-
Constraints on cosmic strings from the LIGO-Virgo gravitational-wave detectors
Authors:
J. Aasi,
J. Abadie,
B. P. Abbott,
R. Abbott,
T. Abbott,
M. R. Abernathy,
T. Accadia,
F. Acernese,
C. Adams,
T. Adams,
R. X. Adhikari,
C. Affeldt,
M. Agathos,
N. Aggarwal,
O. D. Aguiar,
P. Ajith,
B. Allen,
A. Allocca,
E. Amador Ceron,
D. Amariutei,
R. A. Anderson,
S. B. Anderson,
W. G. Anderson,
K. Arai,
M. C. Araya
, et al. (852 additional authors not shown)
Abstract:
Cosmic strings can give rise to a large variety of interesting astrophysical phenomena. Among them, powerful bursts of gravitational waves (GWs) produced by cusps are a promising observational signature. In this Letter we present a search for GWs from cosmic string cusps in data collected by the LIGO and Virgo gravitational wave detectors between 2005 and 2010, with over 625 days of live time. We…
▽ More
Cosmic strings can give rise to a large variety of interesting astrophysical phenomena. Among them, powerful bursts of gravitational waves (GWs) produced by cusps are a promising observational signature. In this Letter we present a search for GWs from cosmic string cusps in data collected by the LIGO and Virgo gravitational wave detectors between 2005 and 2010, with over 625 days of live time. We find no evidence of GW signals from cosmic strings. From this result, we derive new constraints on cosmic string parameters, which complement and improve existing limits from previous searches for a stochastic background of GWs from cosmic microwave background measurements and pulsar timing data. In particular, if the size of loops is given by the gravitational backreaction scale, we place upper limits on the string tension $Gμ$ below $10^{-8}$ in some regions of the cosmic string parameter space.
△ Less
Submitted 7 April, 2014; v1 submitted 9 October, 2013;
originally announced October 2013.
-
First Searches for Optical Counterparts to Gravitational-wave Candidate Events
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
J. Aasi,
J. Abadie,
B. P. Abbott,
R. Abbott,
T. Abbott,
M. R. Abernathy,
T. Accadia,
F. Acernese,
C. Adams,
T. Adams,
R. X. Adhikari,
C. Affeldt,
M. Agathos,
N. Aggarwal,
O. D. Aguiar,
P. Ajith,
B. Allen,
A. Allocca,
E. Amador Ceron,
D. Amariutei,
R. A. Anderson,
S. B. Anderson,
W. G. Anderson
, et al. (883 additional authors not shown)
Abstract:
During the LIGO and Virgo joint science runs in 2009-2010, gravitational wave (GW) data from three interferometer detectors were analyzed within minutes to select GW candidate events and infer their apparent sky positions. Target coordinates were transmitted to several telescopes for follow-up observations aimed at the detection of an associated optical transient. Images were obtained for eight su…
▽ More
During the LIGO and Virgo joint science runs in 2009-2010, gravitational wave (GW) data from three interferometer detectors were analyzed within minutes to select GW candidate events and infer their apparent sky positions. Target coordinates were transmitted to several telescopes for follow-up observations aimed at the detection of an associated optical transient. Images were obtained for eight such GW candidates. We present the methods used to analyze the image data as well as the transient search results. No optical transient was identified with a convincing association with any of these candidates, and none of the GW triggers showed strong evidence for being astrophysical in nature. We compare the sensitivities of these observations to several model light curves from possible sources of interest, and discuss prospects for future joint GW-optical observations of this type.
△ Less
Submitted 21 October, 2013; v1 submitted 8 October, 2013;
originally announced October 2013.
-
A directed search for continuous Gravitational Waves from the Galactic Center
Authors:
The LIGO Scientific Collaboration,
The Virgo Collaboration,
J. Aasi,
J. Abadie,
B. P. Abbott,
R. Abbott,
T. Abbott,
M. R. Abernathy,
T. Accadia,
F. Acernese,
C. Adams,
T. Adams,
R. X. Adhikari,
C. Affeldt,
M. Agathos,
N. Aggarwal,
O. D. Aguiar,
P. Ajith,
B. Allen,
A. Allocca,
E. Amador Ceron,
D. Amariutei,
R. A. Anderson,
S. B. Anderson,
W. G. Anderson
, et al. (850 additional authors not shown)
Abstract:
We present the results of a directed search for continuous gravitational waves from unknown, isolated neutron stars in the Galactic Center region, performed on two years of data from LIGO's fifth science run from two LIGO detectors. The search uses a semi-coherent approach, analyzing coherently 630 segments, each spanning 11.5 hours, and then incoherently combining the results of the single segmen…
▽ More
We present the results of a directed search for continuous gravitational waves from unknown, isolated neutron stars in the Galactic Center region, performed on two years of data from LIGO's fifth science run from two LIGO detectors. The search uses a semi-coherent approach, analyzing coherently 630 segments, each spanning 11.5 hours, and then incoherently combining the results of the single segments. It covers gravitational wave frequencies in a range from 78 to 496 Hz and a frequency-dependent range of first order spindown values down to -7.86 x 10^-8 Hz/s at the highest frequency. No gravitational waves were detected. We place 90% confidence upper limits on the gravitational wave amplitude of sources at the Galactic Center. Placing 90% confidence upper limits on the gravitational wave amplitude of sources at the Galactic Center, we reach ~3.35x10^-25 for frequencies near 150 Hz. These upper limits are the most constraining to date for a large-parameter-space search for continuous gravitational wave signals.
△ Less
Submitted 27 September, 2013; v1 submitted 24 September, 2013;
originally announced September 2013.
-
Search for long-lived gravitational-wave transients coincident with long gamma-ray bursts
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
J. Aasi,
J. Abadie,
B. P. Abbott,
R. Abbott,
T. Abbott,
M. R. Abernathy,
T. Accadia,
F. Acernese,
C. Adams,
T. Adams,
R. X. Adhikari,
C. Affeldt,
M. Agathos,
N. Aggarwal,
O. D. Aguiar,
P. Ajith,
B. Allen,
A. Allocca,
E. Amador Ceron,
D. Amariutei,
R. A. Anderson,
S. B. Anderson,
W. G. Anderson
, et al. (854 additional authors not shown)
Abstract:
Long gamma-ray bursts (GRBs) have been linked to extreme core-collapse supernovae from massive stars. Gravitational waves (GW) offer a probe of the physics behind long GRBs. We investigate models of long-lived (~10-1000s) GW emission associated with the accretion disk of a collapsed star or with its protoneutron star remnant. Using data from LIGO's fifth science run, and GRB triggers from the swif…
▽ More
Long gamma-ray bursts (GRBs) have been linked to extreme core-collapse supernovae from massive stars. Gravitational waves (GW) offer a probe of the physics behind long GRBs. We investigate models of long-lived (~10-1000s) GW emission associated with the accretion disk of a collapsed star or with its protoneutron star remnant. Using data from LIGO's fifth science run, and GRB triggers from the swift experiment, we perform a search for unmodeled long-lived GW transients. Finding no evidence of GW emission, we place 90% confidence level upper limits on the GW fluence at Earth from long GRBs for three waveforms inspired by a model of GWs from accretion disk instabilities. These limits range from F<3.5 ergs cm^-2 to $F<1200 ergs cm^-2, depending on the GRB and on the model, allowing us to probe optimistic scenarios of GW production out to distances as far as ~33 Mpc. Advanced detectors are expected to achieve strain sensitivities 10x better than initial LIGO, potentially allowing us to probe the engines of the nearest long GRBs.
△ Less
Submitted 9 December, 2013; v1 submitted 24 September, 2013;
originally announced September 2013.
-
Gravitational waves from known pulsars: results from the initial detector era
Authors:
J. Aasi,
J. Abadie,
B. P. Abbott,
R. Abbott,
T. Abbott,
M. R. Abernathy,
T. Accadia,
F. Acernese,
C. Adams,
T. Adams,
R. X. Adhikari,
C. Affeldt,
M. Agathos,
N. Aggarwal,
O. D. Aguiar,
P. Ajith,
B. Allen,
A. Allocca,
E. Amador Ceron,
D. Amariutei,
R. A. Anderson,
S. B. Anderson,
W. G. Anderson,
K. Arai,
M. C. Araya
, et al. (871 additional authors not shown)
Abstract:
We present the results of searches for gravitational waves from a large selection of pulsars using data from the most recent science runs (S6, VSR2 and VSR4) of the initial generation of interferometric gravitational wave detectors LIGO (Laser Interferometric Gravitational-wave Observatory) and Virgo. We do not see evidence for gravitational wave emission from any of the targeted sources but produ…
▽ More
We present the results of searches for gravitational waves from a large selection of pulsars using data from the most recent science runs (S6, VSR2 and VSR4) of the initial generation of interferometric gravitational wave detectors LIGO (Laser Interferometric Gravitational-wave Observatory) and Virgo. We do not see evidence for gravitational wave emission from any of the targeted sources but produce upper limits on the emission amplitude. We highlight the results from seven young pulsars with large spin-down luminosities. We reach within a factor of five of the canonical spin-down limit for all seven of these, whilst for the Crab and Vela pulsars we further surpass their spin-down limits. We present new or updated limits for 172 other pulsars (including both young and millisecond pulsars). Now that the detectors are undergoing major upgrades, and, for completeness, we bring together all of the most up-to-date results from all pulsars searched for during the operations of the first-generation LIGO, Virgo and GEO600 detectors. This gives a total of 195 pulsars including the most recent results described in this paper.
△ Less
Submitted 24 April, 2014; v1 submitted 16 September, 2013;
originally announced September 2013.
-
Post-Classical Probability Theory
Authors:
Howard Barnum,
Alexander Wilce
Abstract:
This paper offers a brief introduction to the framework of "general probabilistic theories", otherwise known as the "convex-operational" approach the foundations of quantum mechanics. Broadly speaking, the goal of research in this vein is to locate quantum mechanics within a very much more general, but conceptually very straightforward, generalization of classical probability theory. The hope is t…
▽ More
This paper offers a brief introduction to the framework of "general probabilistic theories", otherwise known as the "convex-operational" approach the foundations of quantum mechanics. Broadly speaking, the goal of research in this vein is to locate quantum mechanics within a very much more general, but conceptually very straightforward, generalization of classical probability theory. The hope is that, by viewing quantum mechanics "from the outside", we may be able better to understand it. We illustrate several respects in which this has proved to be the case, reviewing work on cloning and broadcasting, teleportation and entanglement swap**, key distribution, and ensemble steering in this general framework. We also discuss a recent derivation of the Jordan-algebraic structure of finite-dimensional quantum theory from operationally reasonable postulates.
△ Less
Submitted 22 May, 2013; v1 submitted 16 May, 2012;
originally announced May 2012.
-
Local tomography and the Jordan structure of quantum theory
Authors:
Howard Barnum,
Alexander Wilce
Abstract:
Using a result of H. Hanche-Olsen, we show that (subject to fairly natural constraints on what constitutes a system, and on what constitutes a composite system), orthodox finite-dimensional complex quantum mechanics with superselection rules is the only non-signaling probabilistic theory in which (i) individual systems are Jordan algebras (equivalently, their cones of unnormalized states are homog…
▽ More
Using a result of H. Hanche-Olsen, we show that (subject to fairly natural constraints on what constitutes a system, and on what constitutes a composite system), orthodox finite-dimensional complex quantum mechanics with superselection rules is the only non-signaling probabilistic theory in which (i) individual systems are Jordan algebras (equivalently, their cones of unnormalized states are homogeneous and self-dual), (ii) composites are locally tomographic (meaning that states are determined by the joint probabilities they assign to measurement outcomes on the component systems) and (iii) at least one system has the structure of a qubit. Using this result, we also characterize finite dimensional quantum theory among probabilistic theories having the structure of a dagger-monoidal category.
△ Less
Submitted 16 May, 2013; v1 submitted 20 February, 2012;
originally announced February 2012.
-
Symmetry, Compact Closure and Dagger Compactness for Categories of Convex Operational Models
Authors:
Howard Barnum,
Ross Duncan,
Alexander Wilce
Abstract:
In the categorical approach to the foundations of quantum theory, one begins with a symmetric monoidal category, the objects of which represent physical systems, and the morphisms of which represent physical processes. Usually, this category is taken to be at least compact closed, and more often, dagger compact, enforcing a certain self-duality, whereby preparation processes (roughly, states) are…
▽ More
In the categorical approach to the foundations of quantum theory, one begins with a symmetric monoidal category, the objects of which represent physical systems, and the morphisms of which represent physical processes. Usually, this category is taken to be at least compact closed, and more often, dagger compact, enforcing a certain self-duality, whereby preparation processes (roughly, states) are inter-convertible with processes of registration (roughly, measurement outcomes). This is in contrast to the more concrete "operational" approach, in which the states and measurement outcomes associated with a physical system are represented in terms of what we here call a "convex operational model": a certain dual pair of ordered linear spaces -- generally, {\em not} isomorphic to one another. On the other hand, state spaces for which there is such an isomorphism, which we term {\em weakly self-dual}, play an important role in reconstructions of various quantum-information theoretic protocols, including teleportation and ensemble steering. In this paper, we characterize compact closure of symmetric monoidal categories of convex operational models in two ways: as a statement about the existence of teleportation protocols, and as the principle that every process allowed by that theory can be realized as an instance of a remote evaluation protocol --- hence, as a form of classical probabilistic conditioning. In a large class of cases, which includes both the classical and quantum cases, the relevant compact closed categories are degenerate, in the weak sense that every object is its own dual. We characterize the dagger-compactness of such a category (with respect to the natural adjoint) in terms of the existence, for each system, of a {\em symmetric} bipartite state, the associated conditioning map of which is an isomorphism.
△ Less
Submitted 16 April, 2010;
originally announced April 2010.
-
Quantum Knowledge, Quantum Belief, Quantum Reality: Notes of a QBist Fellow Traveler
Authors:
Howard N. Barnum
Abstract:
I consider the "Quantum Bayesian" view of quantum theory as expounded in a 2006 paper of Caves, Fuchs, and Schack. I argue that one can accept a generally personalist, decision-theoretic view of probability, including probability as manifested in quantum physics, while nevertheless accepting that in some situations, including some in quantum physics, probabilities may in a useful sense be thought…
▽ More
I consider the "Quantum Bayesian" view of quantum theory as expounded in a 2006 paper of Caves, Fuchs, and Schack. I argue that one can accept a generally personalist, decision-theoretic view of probability, including probability as manifested in quantum physics, while nevertheless accepting that in some situations, including some in quantum physics, probabilities may in a useful sense be thought of as objectively correct. This includes situations in which the ascription of a quantum state should be thought of as objectively correct. I argue that this does not cause any prima facie objectionable sort of action at a distance, though it may involve adopting the attitude that certain dispositional properties of things are not "localized" at those things. Whether this insouciant view of nonlocality and objectivity can survive more detailed analysis is a matter for further investigation.
△ Less
Submitted 23 March, 2010;
originally announced March 2010.
-
Ensemble Steering, Weak Self-Duality, and the Structure of Probabilistic Theories
Authors:
Howard Barnum,
Carl Phillipp Gaebler,
Alexander Wilce
Abstract:
In any probabilistic theory, we may say a bipartite state on a composite system AB steers its marginal state (on, say, system B) if, for any decomposition of the marginal as a mixture, with probabilities p_i, of states b_i of B, there exists an observable a_i on A such that the states of B conditional on getting outcome a_i on A, are exactly the states b_i, and the probabilities of outcomes a_i…
▽ More
In any probabilistic theory, we may say a bipartite state on a composite system AB steers its marginal state (on, say, system B) if, for any decomposition of the marginal as a mixture, with probabilities p_i, of states b_i of B, there exists an observable a_i on A such that the states of B conditional on getting outcome a_i on A, are exactly the states b_i, and the probabilities of outcomes a_i are p_i. This is always so for pure bipartite states in quantum mechanics, a fact first observed by Schroedinger in 1935. Here, we show that, for weakly self-dual state spaces (those isomorphic, but perhaps not canonically isomorphic, to their dual spaces), the assumption that every state of a system A is steered by some bipartite state of a composite AA consisting of two copies of A, amounts to the homogeneity of the state cone. If the state space is actually self-dual, and not just weakly so, this implies (via the Koecher-Vinberg Theorem) that it is the self-adjoint part of a formally real Jordan algebra, and hence, quite close to being quantum mechanical.
△ Less
Submitted 4 March, 2010; v1 submitted 30 December, 2009;
originally announced December 2009.
-
Local Quantum Measurement and No-Signaling Imply Quantum Correlations
Authors:
H. Barnum,
S. Beigi,
S. Boixo,
M. B. Elliott,
S. Wehner
Abstract:
We show that, assuming that quantum mechanics holds locally, the finite speed of information is the principle that limits all possible correlations between distant parties to be quantum mechanical as well. Local quantum mechanics means that a Hilbert space is assigned to each party, and then all local positive-operator-valued measurements are (in principle) available; however, the joint system is…
▽ More
We show that, assuming that quantum mechanics holds locally, the finite speed of information is the principle that limits all possible correlations between distant parties to be quantum mechanical as well. Local quantum mechanics means that a Hilbert space is assigned to each party, and then all local positive-operator-valued measurements are (in principle) available; however, the joint system is not necessarily described by a Hilbert space. In particular, we do not assume the tensor product formalism between the joint systems. Our result shows that if any experiment would give nonlocal correlations beyond quantum mechanics, quantum theory would be invalidated even locally.
△ Less
Submitted 26 April, 2010; v1 submitted 20 October, 2009;
originally announced October 2009.
-
Entropy and Information Causality in General Probabilistic Theories
Authors:
Howard Barnum,
Jonathan Barrett,
Lisa Orloff Clark,
Matthew Leifer,
Robert Spekkens,
Nicholas Stepanik,
Alex Wilce,
Robin Wilke
Abstract:
We investigate the concept of entropy in probabilistic theories more general than quantum mechanics, with particular reference to the notion of information causality recently proposed by Pawlowski et. al. (arXiv:0905.2992). We consider two entropic quantities, which we term measurement and mixing entropy. In classical and quantum theory, they are equal, being given by the Shannon and von Neumann…
▽ More
We investigate the concept of entropy in probabilistic theories more general than quantum mechanics, with particular reference to the notion of information causality recently proposed by Pawlowski et. al. (arXiv:0905.2992). We consider two entropic quantities, which we term measurement and mixing entropy. In classical and quantum theory, they are equal, being given by the Shannon and von Neumann entropies respectively; in general, however, they are very different. In particular, while measurement entropy is easily seen to be concave, mixing entropy need not be. In fact, as we show, mixing entropy is not concave whenever the state space is a non-simplicial polytope. Thus, the condition that measurement and mixing entropies coincide is a strong constraint on possible theories. We call theories with this property monoentropic. Measurement entropy is subadditive, but not in general strongly subadditive. Equivalently, if we define the mutual information between two systems A and B by the usual formula I(A:B) = H(A) + H(B) - H(AB) where H denotes the measurement entropy and AB is a non-signaling composite of A and B, then it can happen that I(A:BC) < I(A:B). This is relevant to information causality in the sense of Pawlowski et al.: we show that any monoentropic non-signaling theory in which measurement entropy is strongly subadditive, and also satisfies a version of the Holevo bound, is informationally causal, and on the other hand we observe that Popescu-Rohrlich boxes, which violate information causality, also violate strong subadditivity. We also explore the interplay between measurement and mixing entropy and various natural conditions on theories that arise in quantum axiomatics.
△ Less
Submitted 28 September, 2009;
originally announced September 2009.
-
Three Slit Experiments and the Structure of Quantum Theory
Authors:
Cozmin Ududec,
Howard Barnum,
Joseph Emerson
Abstract:
In spite of the interference manifested in the double-slit experiment, quantum theory predicts that a measure of interference defined by Sorkin and involving various outcome probabilities from an experiment with three slits, is identically zero. We adapt Sorkin's measure into a general operational probabilistic framework for physical theories, and then study its relationship to the structure of…
▽ More
In spite of the interference manifested in the double-slit experiment, quantum theory predicts that a measure of interference defined by Sorkin and involving various outcome probabilities from an experiment with three slits, is identically zero. We adapt Sorkin's measure into a general operational probabilistic framework for physical theories, and then study its relationship to the structure of quantum theory. In particular, we characterize the class of probabilistic theories for which the interference measure is zero as ones in which it is possible to fully determine the state of a system via specific sets of 'two-slit' experiments.
△ Less
Submitted 25 September, 2009;
originally announced September 2009.
-
Ordered linear spaces and categories as frameworks for information-processing characterizations of quantum and classical theory
Authors:
Howard Barnum,
Alexander Wilce
Abstract:
We review some of our recent results (with collaborators) on information processing in an ordered linear spaces framework for probabilistic theories. These include demonstrations that many "inherently quantum" phenomena are in reality quite general characteristics of non-classical theories, quantum or otherwise. As an example, a set of states in such a theory is broadcastable if, and only if, it…
▽ More
We review some of our recent results (with collaborators) on information processing in an ordered linear spaces framework for probabilistic theories. These include demonstrations that many "inherently quantum" phenomena are in reality quite general characteristics of non-classical theories, quantum or otherwise. As an example, a set of states in such a theory is broadcastable if, and only if, it is contained in a simplex whose vertices are cloneable, and therefore distinguishable by a single measurement. As another example, information that can be obtained about a system in this framework without causing disturbance to the system state, must be inherently classical. We also review results on teleportation protocols in the framework, and the fact that any non-classical theory without entanglement allows exponentially secure bit commitment in this framework. Finally, we sketch some ways of formulating our framework in terms of categories, and in this light consider the relation of our work to that of Abramsky, Coecke, Selinger, Baez and others on information processing and other aspects of theories formulated categorically.
△ Less
Submitted 17 August, 2009;
originally announced August 2009.
-
Information processing in convex operational theories
Authors:
Howard Barnum,
Alexander Wilce
Abstract:
In order to understand the source and extent of the greater-than-classical information processing power of quantum systems, one wants to characterize both classical and quantum mechanics as points in a broader space of possible theories. One approach to doing this, pioneered by Abramsky and Coecke, is to abstract the essential categorical features of classical and quantum mechanics that support…
▽ More
In order to understand the source and extent of the greater-than-classical information processing power of quantum systems, one wants to characterize both classical and quantum mechanics as points in a broader space of possible theories. One approach to doing this, pioneered by Abramsky and Coecke, is to abstract the essential categorical features of classical and quantum mechanics that support various information-theoretic constraints and possibilities, e.g., the impossibility of cloning in the latter, and the possibility of teleportation in both. Another approach, pursued by the authors and various collaborators, is to begin with a very conservative, and in a sense very concrete, generalization of classical probability theory--which is still sufficient to encompass quantum theory--and to ask which "quantum" informational phenomena can be reproduced in this much looser setting. In this paper, we review the progress to date in this second programme, and offer some suggestions as to how to link it with the categorical semantics for quantum processes developed by Abramsky and Coecke.
△ Less
Submitted 17 August, 2009;
originally announced August 2009.
-
Teleportation in General Probabilistic Theories
Authors:
Howard Barnum,
Jonathan Barrett,
Matthew Leifer,
Alexander Wilce
Abstract:
In a previous paper, we showed that many important quantum information-theoretic phenomena, including the no-cloning and no-broadcasting theorems, are in fact generic in all non-classical probabilistic theories. An exception is teleportation, which most such theories do not support. In this paper, we investigate which probabilistic theories, and more particularly, which composite systems, {\em d…
▽ More
In a previous paper, we showed that many important quantum information-theoretic phenomena, including the no-cloning and no-broadcasting theorems, are in fact generic in all non-classical probabilistic theories. An exception is teleportation, which most such theories do not support. In this paper, we investigate which probabilistic theories, and more particularly, which composite systems, {\em do} support a teleportation protocol. We isolate a natural class of composite systems that we term {\em regular}, and establish necessary and sufficient conditions for a regular tripartite system to support a conclusive, or post-selected, teleportation protocol. We also establish a sufficient condition for deterministic teleportation that yields a large supply of theories, neither classical nor quantum, that support such a protocol.
△ Less
Submitted 23 May, 2008;
originally announced May 2008.
-
Quantum Simulations of Classical Annealing Processes
Authors:
R. D. Somma,
S. Boixo,
H. Barnum,
E. Knill
Abstract:
We describe a quantum algorithm that solves combinatorial optimization problems by quantum simulation of a classical simulated annealing process. Our algorithm exploits quantum walks and the quantum Zeno effect induced by evolution randomization. It requires order $1/\sqrtδ$ steps to find an optimal solution with bounded error probability, where $δ$ is the minimum spectral gap of the stochastic…
▽ More
We describe a quantum algorithm that solves combinatorial optimization problems by quantum simulation of a classical simulated annealing process. Our algorithm exploits quantum walks and the quantum Zeno effect induced by evolution randomization. It requires order $1/\sqrtδ$ steps to find an optimal solution with bounded error probability, where $δ$ is the minimum spectral gap of the stochastic matrices used in the classical annealing process. This is a quadratic improvement over the order $1/δ$ steps required by the latter.
△ Less
Submitted 9 April, 2008;
originally announced April 2008.
-
Nonclassicality without entanglement enables bit commitment
Authors:
Howard Barnum,
Oscar C. O. Dahlsten,
Matthew Leifer,
Ben Toner
Abstract:
We investigate the existence of secure bit commitment protocols in the convex framework for probabilistic theories. The framework makes only minimal assumptions, and can be used to formalize quantum theory, classical probability theory, and a host of other possibilities. We prove that in all such theories that are locally non-classical but do not have entanglement, there exists a bit commitment…
▽ More
We investigate the existence of secure bit commitment protocols in the convex framework for probabilistic theories. The framework makes only minimal assumptions, and can be used to formalize quantum theory, classical probability theory, and a host of other possibilities. We prove that in all such theories that are locally non-classical but do not have entanglement, there exists a bit commitment protocol that is exponentially secure in the number of systems used.
△ Less
Submitted 8 March, 2008;
originally announced March 2008.
-
Quantum Simulated Annealing
Authors:
R. Somma,
S. Boixo,
H. Barnum
Abstract:
We develop a quantum algorithm to solve combinatorial optimization problems through quantum simulation of a classical annealing process. Our algorithm combines techniques from quantum walks, quantum phase estimation, and quantum Zeno effect. It can be viewed as a quantum analogue of the discrete-time Markov chain Monte Carlo implementation of classical simulated annealing. Our implementation sca…
▽ More
We develop a quantum algorithm to solve combinatorial optimization problems through quantum simulation of a classical annealing process. Our algorithm combines techniques from quantum walks, quantum phase estimation, and quantum Zeno effect. It can be viewed as a quantum analogue of the discrete-time Markov chain Monte Carlo implementation of classical simulated annealing. Our implementation scales with the inverse of the square root of the minimum spectral gap of the stochastic matrix used in the classical simulation. The quantum algorithm outperforms the classical one, which scales with the inverse of the gap.
△ Less
Submitted 6 December, 2007;
originally announced December 2007.
-
A generalized no-broadcasting theorem
Authors:
Howard Barnum,
Jonathan Barrett,
Matthew Leifer,
Alexander Wilce
Abstract:
We prove a generalized version of the no-broadcasting theorem, applicable to essentially \emph{any} nonclassical finite-dimensional probabilistic model satisfying a no-signaling criterion, including ones with ``super-quantum'' correlations. A strengthened version of the quantum no-broadcasting theorem follows, and its proof is significantly simpler than existing proofs of the no-broadcasting the…
▽ More
We prove a generalized version of the no-broadcasting theorem, applicable to essentially \emph{any} nonclassical finite-dimensional probabilistic model satisfying a no-signaling criterion, including ones with ``super-quantum'' correlations. A strengthened version of the quantum no-broadcasting theorem follows, and its proof is significantly simpler than existing proofs of the no-broadcasting theorem.
△ Less
Submitted 4 July, 2007;
originally announced July 2007.
-
Semidefinite programming characterization and spectral adversary method for quantum complexity with noncommuting unitary queries
Authors:
Howard N. Barnum
Abstract:
Generalizing earlier work characterizing the quantum query complexity of computing a function of an unknown classical ``black box'' function drawn from some set of such black box functions, we investigate a more general quantum query model in which the goal is to compute functions of N by N ``black box'' unitary matrices drawn from a set of such matrices, a problem with applications to determini…
▽ More
Generalizing earlier work characterizing the quantum query complexity of computing a function of an unknown classical ``black box'' function drawn from some set of such black box functions, we investigate a more general quantum query model in which the goal is to compute functions of N by N ``black box'' unitary matrices drawn from a set of such matrices, a problem with applications to determining properties of quantum physical systems. We characterize the existence of an algorithm for such a query problem, with given error and number of queries, as equivalent to the feasibility of a certain set of semidefinite programming constraints, or equivalently the infeasibility of a dual of these constraints, which we construct. Relaxing the primal constraints to correspond to mere pairwise near-orthogonality of the final states of a quantum computer, conditional on black-box inputs having distinct function values, rather than bounded-error determinability of the function value via a single measurement on the output states, we obtain a relaxed primal program the feasibility of whose dual still implies the nonexistence of a quantum algorithm. We use this to obtain a generalization, to our not-necessarily-commutative setting, of the ``spectral adversary method'' for quantum query lower bounds.
△ Less
Submitted 15 March, 2007;
originally announced March 2007.
-
Entanglement and Subsystems, Entanglement beyond Subsystems, and All That
Authors:
Lorenza Viola,
Howard Barnum
Abstract:
Entanglement plays a pervasive role nowadays throughout quantum information science, and at the same time provides a bridging notion between quantum information science and fields as diverse as condensed-matter theory, quantum gravity, and quantum foundations. In recent years, a notion of ''Generalized Entanglement'' (GE) has emerged, based on the idea that entanglement may be directly defined t…
▽ More
Entanglement plays a pervasive role nowadays throughout quantum information science, and at the same time provides a bridging notion between quantum information science and fields as diverse as condensed-matter theory, quantum gravity, and quantum foundations. In recent years, a notion of ''Generalized Entanglement'' (GE) has emerged, based on the idea that entanglement may be directly defined through expectation values of preferred observables -- without reference to a preferred subsystem decomposition. Preferred observables capture the physically relevant point of view, as defined by dynamical, operational, or fundamental constraints. While reducing to the standard entanglement notion when preferred observables are restricted to arbitrary local observables acting on individual subsystems, GE substantially expands subsystem-based entanglement theories, in terms of both conceptual foundations and range of applicability. Remarkably, the GE framework allows for non-trivial entanglement to exist within a single, indecomposable quantum system, demands in general a distinction between quantum separability and absence of entanglement, and naturally extends to situations where existing approaches may not be directly useful -- such as entanglement in arbitrary convex-cones settings and entanglement for indistinguishable quantum particles. In this paper, we revisit the main motivations leading to GE, and summarize the accomplishments and prospects of the GE program to date, with an eye toward conceptual developments and implications. In particular, we explain how the GE approach both shares strong points of contact with abstract operational quantum theories and, ultimately, calls for an observer-dependent redefinition of concepts like locality, completeness, and reality in quantum theory.
△ Less
Submitted 17 January, 2007;
originally announced January 2007.
-
Cloning and Broadcasting in Generic Probabilistic Theories
Authors:
Howard Barnum,
Jonathan Barrett,
Matthew Leifer,
Alexander Wilce
Abstract:
We prove generic versions of the no-cloning and no-broadcasting theorems, applicable to essentially {\em any} non-classical finite-dimensional probabilistic model that satisfies a no-signaling criterion. This includes quantum theory as well as models supporting ``super-quantum'' correlations that violate the Bell inequalities to a larger extent than quantum theory. The proof of our no-broadcasti…
▽ More
We prove generic versions of the no-cloning and no-broadcasting theorems, applicable to essentially {\em any} non-classical finite-dimensional probabilistic model that satisfies a no-signaling criterion. This includes quantum theory as well as models supporting ``super-quantum'' correlations that violate the Bell inequalities to a larger extent than quantum theory. The proof of our no-broadcasting theorem is significantly more natural and more self-contained than others we have seen: we show that a set of states is broadcastable if, and only if, it is contained in a simplex whose vertices are cloneable, and therefore distinguishable by a single measurement. This necessary and sufficient condition generalizes the quantum requirement that a broadcastable set of states commute.
△ Less
Submitted 30 November, 2006;
originally announced November 2006.
-
Coordinating quantum agents' perspectives: convex operational theories, quantum information, and quantum foundations
Authors:
Howard Barnum
Abstract:
In this paper, I propose a project of enlisting quantum information science as a source of task-oriented axioms for use in the investigation of operational theories in a general framework capable of encompassing quantum mechanics, classical theory, and more. Whatever else they may be, quantum states of systems are compendia of probabilities for the outcomes of possible operations we may perform…
▽ More
In this paper, I propose a project of enlisting quantum information science as a source of task-oriented axioms for use in the investigation of operational theories in a general framework capable of encompassing quantum mechanics, classical theory, and more. Whatever else they may be, quantum states of systems are compendia of probabilities for the outcomes of possible operations we may perform on the systems: ``operational theories.'' I discuss appropriate general frameworks for such theories, in which convexity plays a key role. Such frameworks are appropriate for investigating what things look like from an ``inside view,'' i.e. for describing perspectival information that one subsystem of the world can have about another. Understanding how such views can combine, and whether an overall ``geometric'' picture (``outside view'') coordinating them all can be had, even if this picture is very different in nature from the structure of the perspectives within it, is the key to understanding whether we may be able to achieve a unified, ``objective'' physical view in which quantum mechanics is the appropriate description for certain perspectives, or whether quantum mechanics is truly telling us we must go beyond this ``geometric'' conception of physics. The nature of information, its flow and processing, as seen from various operational persepectives, is likely to be key to understanding whether and how such coordination and unification can be achieved.
△ Less
Submitted 9 November, 2006;
originally announced November 2006.
-
Efficient solvability of Hamiltonians and limits on the power of some quantum computational models
Authors:
Rolando Somma,
Howard Barnum,
Gerardo Ortiz,
Emanuel Knill
Abstract:
We consider quantum computational models defined via a Lie-algebraic theory. In these models, specified initial states are acted on by Lie-algebraic quantum gates and the expectation values of Lie algebra elements are measured at the end. We show that these models can be efficiently simulated on a classical computer in time polynomial in the dimension of the algebra, regardless of the dimension…
▽ More
We consider quantum computational models defined via a Lie-algebraic theory. In these models, specified initial states are acted on by Lie-algebraic quantum gates and the expectation values of Lie algebra elements are measured at the end. We show that these models can be efficiently simulated on a classical computer in time polynomial in the dimension of the algebra, regardless of the dimension of the Hilbert space where the algebra acts. Similar results hold for the computation of the expectation value of operators implemented by a gate-sequence. We introduce a Lie-algebraic notion of generalized mean-field Hamiltonians and show that they are efficiently ("exactly") solvable by means of a Jacobi-like diagonalization method. Our results generalize earlier ones on fermionic linear optics computation and provide insight into the source of the power of the conventional model of quantum computation.
△ Less
Submitted 4 January, 2006;
originally announced January 2006.
-
Influence-free states on compound quantum systems
Authors:
Howard Barnum,
Christopher A. Fuchs,
Joseph M. Renes,
Alexander Wilce
Abstract:
Let Alice and Bob be able to make local quantum measurements and communicate classically. The set of mathematically consistent joint probability assignments (``states'') for such measurements is properly larger than the set of quantum-mechanical mixed states for the Alice-Bob system. It is canonically isomorphic to the set of positive (not necessarily completely positive) linear maps Phi from th…
▽ More
Let Alice and Bob be able to make local quantum measurements and communicate classically. The set of mathematically consistent joint probability assignments (``states'') for such measurements is properly larger than the set of quantum-mechanical mixed states for the Alice-Bob system. It is canonically isomorphic to the set of positive (not necessarily completely positive) linear maps Phi from the bounded linear operators on Alice's space to those on Bob's, for which Tr Phi(I)=1. We review the fact that allowing classical communication is equivalent to enforcing ``no-instantaneous-signalling'' (``no--influence'') in the direction opposite the communication. We establish that in the subclass of ``decomposable'' states, i.e. convex combinations of positive states with "PTP" ones whose partial transpose is positive, the extremal states are just the extremal positive and extremal PTP states. We show that two such states, shared by the same pair of parties, cannot necessarily be combined as independent states (their tensor product) if the full set of quantum operations is allowed locally to each party. We use a framework of ``test spaces'' and states on these, suited for exhibiting the analogies and deviations of empirical probabilistic theories from classical probability theory. This leads to a deeper understanding of analogies between quantum mechanics and Bayesian probability theory. The existence of a ``most Bayesian'' quantum rule for updating states after measurement, and its association with the situation when information on one system is gained by measuring another, is a case of a general proposition holding for test spaces combined subject to the no-signalling requirement.
△ Less
Submitted 12 July, 2005;
originally announced July 2005.
-
Generalization of entanglement to convex operational theories: Entanglement relative to a subspace of observables
Authors:
Howard Barnum,
Gerardo Ortiz,
Rolando Somma,
Lorenza Viola
Abstract:
We define what it means for a state in a convex cone of states on a space of observables to be generalized-entangled relative to a subspace of the observables, in a general ordered linear spaces framework for operational theories. This extends the notion of ordinary entanglement in quantum information theory to a much more general framework. Some important special cases are described, in which t…
▽ More
We define what it means for a state in a convex cone of states on a space of observables to be generalized-entangled relative to a subspace of the observables, in a general ordered linear spaces framework for operational theories. This extends the notion of ordinary entanglement in quantum information theory to a much more general framework. Some important special cases are described, in which the distinguished observables are subspaces of the observables of a quantum system, leading to results like the identification of generalized unentangled states with Lie-group-theoretic coherent states when the special observables form an irreducibly represented Lie algebra. Some open problems, including that of generalizing the semigroup of local operations with classical communication to the convex cones setting, are discussed.
△ Less
Submitted 13 June, 2005;
originally announced June 2005.
-
Better bound on the exponent of the radius of the multipartite separable ball
Authors:
Leonid Gurvits,
Howard Barnum
Abstract:
We show that for an m-qubit quantum system, there is a ball of radius asymptotically approaching kappa 2^{-gamma m} in Frobenius norm, centered at the identity matrix, of separable (unentangled) positive semidefinite matrices, for an exponent gamma = (1/2)((ln 3/ln 2) - 1), roughly .29248125. This is much smaller in magnitude than the best previously known exponent, from our earlier work, of 1/2…
▽ More
We show that for an m-qubit quantum system, there is a ball of radius asymptotically approaching kappa 2^{-gamma m} in Frobenius norm, centered at the identity matrix, of separable (unentangled) positive semidefinite matrices, for an exponent gamma = (1/2)((ln 3/ln 2) - 1), roughly .29248125. This is much smaller in magnitude than the best previously known exponent, from our earlier work, of 1/2. For normalized m-qubit states, we get a separable ball of radius sqrt(3^(m+1)/(3^m+3)) * 2^{-(1 + γ)m}, i.e. sqrt{3^{m+1}/(3^m+3)}\times 6^{-m/2} (note that κ= \sqrt{3}), compared to the previous 2 * 2^{-3m/2}. This implies that with parameters realistic for current experiments, NMR with standard pseudopure-state preparation techniques can access only unentangled states if 36 qubits or fewer are used (compared to 23 qubits via our earlier results). We also obtain an improved exponent for m-partite systems of fixed local dimension d_0, although approaching our earlier exponent as d_0 approaches infinity.
△ Less
Submitted 13 June, 2005; v1 submitted 16 September, 2004;
originally announced September 2004.
-
Entanglement beyond subsystems
Authors:
Lorenza Viola,
Howard Barnum,
Emanuel Knill,
Gerardo Ortiz,
Rolando Somma
Abstract:
We present a notion of generalized entanglement which goes beyond the conventional definition based on quantum subsystems. This is accomplished by directly defining entanglement as a property of quantum states relative to a distinguished set of observables singled out by Physics. While recovering standard entanglement as a special case, our notion allows for substantially broader generality and…
▽ More
We present a notion of generalized entanglement which goes beyond the conventional definition based on quantum subsystems. This is accomplished by directly defining entanglement as a property of quantum states relative to a distinguished set of observables singled out by Physics. While recovering standard entanglement as a special case, our notion allows for substantially broader generality and flexibility, being applicable, in particular, to situations where existing tools are not directly useful.
△ Less
Submitted 4 March, 2004;
originally announced March 2004.
-
Entanglement as an Observer-Dependent Concept: An Application to Quantum Phase Transitions
Authors:
Gerardo Ortiz,
Rolando Somma,
Howard Barnum,
Emanuel Knill,
Lorenza Viola
Abstract:
This paper addresses the following main question: Do we have a theoretical understanding of entanglement applicable to a full variety of physical settings? It is clear that not only the assumption of distinguishability, but also the few-subsystem scenario, are too narrow to embrace all possible physical settings. In particular, the need to go beyond the traditional subsystem-based framework beco…
▽ More
This paper addresses the following main question: Do we have a theoretical understanding of entanglement applicable to a full variety of physical settings? It is clear that not only the assumption of distinguishability, but also the few-subsystem scenario, are too narrow to embrace all possible physical settings. In particular, the need to go beyond the traditional subsystem-based framework becomes manifest when one tries to apply the conventional concept of entanglement to the physics of matter, since the constituents of a quantum many-body system are indistinguishable particles. We shall discuss here a notion of generalized entanglement, which can be applied to any operator language (fermions, bosons, spins, etc.) used to describe a physical system and which includes the conventional entanglement settings introduced to date in a unified fashion. This is realized by noticing that entanglement is an observer-dependent concept, whose properties are determined by the expectations of a distinguished set of observables without reference to a preferred subsystem decomposition, i.e., it depends on the physically relevant point of view. This viewpoint depends in turn upon the relationship between different sets of observables that determine our ability to control the system of interest. Indeed, the extent to which entanglement is present depends on the observables used to measure a system and describe its states. This represents a most conspicuous advantage as will be highlighted by the condensed-matter application we will discuss.
△ Less
Submitted 30 November, 2004; v1 submitted 4 March, 2004;
originally announced March 2004.
-
Nature and Measure of Entanglement in Quantum Phase Transitions
Authors:
Rolando Somma,
Gerardo Ortiz,
Howard Barnum,
Emanuel Knill,
Lorenza Viola
Abstract:
Characterizing and quantifying quantum correlations in states of many-particle systems is at the core of a full understanding of phase transitions in matter. In this work, we continue our investigation of the notion of generalized entanglement [Barnum et al. Phys. Rev. A 68, 032308 (2003)] by focusing on a simple Lie-algebraic measure of purity of a quantum state relative to an observable set. F…
▽ More
Characterizing and quantifying quantum correlations in states of many-particle systems is at the core of a full understanding of phase transitions in matter. In this work, we continue our investigation of the notion of generalized entanglement [Barnum et al. Phys. Rev. A 68, 032308 (2003)] by focusing on a simple Lie-algebraic measure of purity of a quantum state relative to an observable set. For the algebra of local observables on multi-qubit systems, the resulting local purity measure is equivalent to a recently introduced global entanglement measure [Meyer and Wallach, J. Math. Phys. 43, 4273 (2002)]. In the condensed-matter setting, the notion of Lie-algebraic purity is exploited to identify and characterize the quantum phase transitions present in two exactly solvable models: the Lipkin-Meshkov-Glick model, and the spin-1/2 anisotropic XY model in a transverse magnetic field. For the latter, we argue that a natural fermionic observable-set arising after the Jordan-Wigner transformation, better characterizes the transition than alternative measures based on qubits. This illustrates the usefulness of going beyond the standard subsystem-based framework while providing a global disorder parameter for this model. Our results show how generalized entanglement leads to useful tools for distinguishing between the ordered and disordered phases in the case of broken symmetry quantum phase transitions. Additional implications and possible extensions of concepts to other systems of interest in condensed matter physics are also discussed.
△ Less
Submitted 30 November, 2004; v1 submitted 3 March, 2004;
originally announced March 2004.
-
No-signalling-based version of Zurek's derivation of quantum probabilities: A note on "Environment-assisted invariance, entanglement, and probabilities in quantum physics"
Authors:
Howard Barnum
Abstract:
Zurek has derived the quantum probabilities for Schmidt basis states of bipartite quantum systems in pure joint states, from the assumption that they should be not be affected by one party's action if the action can be undone by the other party (``envariance of probability'') and an auxiliary assumption. We argue that a natural generalization of the auxiliary assumption is actually strong enough…
▽ More
Zurek has derived the quantum probabilities for Schmidt basis states of bipartite quantum systems in pure joint states, from the assumption that they should be not be affected by one party's action if the action can be undone by the other party (``envariance of probability'') and an auxiliary assumption. We argue that a natural generalization of the auxiliary assumption is actually strong enough to yield the Born rule itself, but that Zurek's argument and protocol can be adapted to do without this assumption, at the cost of using envariance of probability in both directions. We consider alternative motivations for envariance, one based on the no-signalling constraint that actions on one subsystem of a quantum system not allow signalling to another subsystem entirely distinct from the first, and another which is perhaps strongest in the context of a relative-state interpretation of quantum mechanics. In part because of this, we argue that the relative appeal of our version and the original version of Zurek's argument depends in part upon whether one interprets the quantum formalism in terms of relative states or definite measurement outcomes.
△ Less
Submitted 17 December, 2003;
originally announced December 2003.
-
A subsystem-independent generalization of entanglement
Authors:
Howard Barnum,
Emanuel Knill,
Gerardo Ortiz,
Rolando Somma,
Lorenza Viola
Abstract:
We introduce a generalization of entanglement based on the idea that entanglement is relative to a distinguished subspace of observables rather than a distinguished subsystem decomposition. A pure quantum state is entangled relative to such a subspace if its expectations are a proper mixture of those of other states. Many information-theoretic aspects of entanglement can be extended to the gener…
▽ More
We introduce a generalization of entanglement based on the idea that entanglement is relative to a distinguished subspace of observables rather than a distinguished subsystem decomposition. A pure quantum state is entangled relative to such a subspace if its expectations are a proper mixture of those of other states. Many information-theoretic aspects of entanglement can be extended to the general setting, suggesting new ways of measuring and classifying entanglement in multipartite systems. By going beyond the distinguishable-subsystem framework, generalized entanglement also provides novel tools for probing quantum correlations in interacting many-body systems.
△ Less
Submitted 5 May, 2003;
originally announced May 2003.
-
Quantum information processing, operational quantum logic, convexity, and the foundations of physics
Authors:
Howard Barnum
Abstract:
Quantum information science is a source of task-related axioms whose consequences can be explored in general settings encompassing quantum mechanics, classical theory, and more. Quantum states are compendia of probabilities for the outcomes of possible operations we may perform a system: ``operational states.'' I discuss general frameworks for ``operational theories'' (sets of possible operation…
▽ More
Quantum information science is a source of task-related axioms whose consequences can be explored in general settings encompassing quantum mechanics, classical theory, and more. Quantum states are compendia of probabilities for the outcomes of possible operations we may perform a system: ``operational states.'' I discuss general frameworks for ``operational theories'' (sets of possible operational states of a system), in which convexity plays key role. The main technical content of the paper is in a theorem that any such theory naturally gives rise to a ``weak effect algebra'' when outcomes having the same probability in all states are identified, and in the introduction of a notion of ``operation algebra'' that also takes account of sequential and conditional operations. Such frameworks are appropriate for investigating what things look like from an ``inside view,'' i.e. for describing perspectival information that one subsystem of the world can have about another. Understanding how such views can combine, and whether an overall ``geometric'' picture (``outside view'') coordinating them all can be had, even if this picture is very different in structure from the perspectives within it, is the key to whether we may be able to achieve a unified, ``objective'' physical view in which quantum mechanics is the appropriate description for certain perspectives, or whether quantum mechanics is truly telling us we must go beyond this ``geometric'' conception of physics.
△ Less
Submitted 24 April, 2003;
originally announced April 2003.
-
Separable balls around the maximally mixed multipartite quantum states
Authors:
Leonid Gurvits,
Howard Barnum
Abstract:
We show that for an m-partite quantum system, there is a ball of radius 2^{-(m/2-1)} in Frobenius norm, centered at the identity matrix, of separable (unentangled) positive semidefinite matrices. This can be used to derive an epsilon below which mixtures of epsilon of any density matrix with 1 - epsilon of the maximally mixed state will be separable. The epsilon thus obtained is exponentially be…
▽ More
We show that for an m-partite quantum system, there is a ball of radius 2^{-(m/2-1)} in Frobenius norm, centered at the identity matrix, of separable (unentangled) positive semidefinite matrices. This can be used to derive an epsilon below which mixtures of epsilon of any density matrix with 1 - epsilon of the maximally mixed state will be separable. The epsilon thus obtained is exponentially better (in the number of systems) than existing results. This gives a number of qubits below which NMR with standard pseudopure-state preparation techniques can access only unentangled states; with parameters realistic for current experiments, this is 23 qubits (compared to 13 qubits via earlier results). A ball of radius 1 is obtained for multipartite states separable over the reals.
△ Less
Submitted 12 February, 2003;
originally announced February 2003.
-
Introduction to Quantum Information Processing
Authors:
E. Knill,
R. Laflamme,
H. Barnum,
D. Dalvit,
J. Dziarmaga,
J. Gubernatis,
L. Gurvits,
G. Ortiz,
L. Viola,
W. H. Zurek
Abstract:
As a result of the capabilities of quantum information, the science of quantum information processing is now a prospering, interdisciplinary field focused on better understanding the possibilities and limitations of the underlying theory, on develo** new applications of quantum information and on physically realizing controllable quantum devices. The purpose of this primer is to provide an ele…
▽ More
As a result of the capabilities of quantum information, the science of quantum information processing is now a prospering, interdisciplinary field focused on better understanding the possibilities and limitations of the underlying theory, on develo** new applications of quantum information and on physically realizing controllable quantum devices. The purpose of this primer is to provide an elementary introduction to quantum information processing, and then to briefly explain how we hope to exploit the advantages of quantum information. These two sections can be read independently. For reference, we have included a glossary of the main terms of quantum information.
△ Less
Submitted 30 July, 2002;
originally announced July 2002.
-
Introduction to Quantum Error Correction
Authors:
E. Knill,
R. Laflamme,
A. Ashikhmin,
H. Barnum,
L. Viola,
W. H. Zurek
Abstract:
In this introduction we motivate and explain the ``decoding'' and ``subsystems'' view of quantum error correction. We explain how quantum noise in QIP can be described and classified, and summarize the requirements that need to be satisfied for fault tolerance. Considering the capabilities of currently available quantum technology, the requirements appear daunting. But the idea of ``subsystems''…
▽ More
In this introduction we motivate and explain the ``decoding'' and ``subsystems'' view of quantum error correction. We explain how quantum noise in QIP can be described and classified, and summarize the requirements that need to be satisfied for fault tolerance. Considering the capabilities of currently available quantum technology, the requirements appear daunting. But the idea of ``subsystems'' shows that these requirements can be met in many different, and often unexpected ways.
△ Less
Submitted 30 July, 2002;
originally announced July 2002.