Showing 1–50 of 70 results for author: Wolfe, E

Everything that can be learned about a causal structure with latent variables by observational and interventional probing schemes

Authors: Marina Maciel Ansanelli, Elie Wolfe, Robert W. Spekkens

Abstract: What types of differences among causal structures with latent variables are impossible to distinguish by statistical data obtained by probing each visible variable? If the probing scheme is simply passive observation, then it is well-known that many different causal structures can realize the same joint probability distributions. Even for the simplest case of two visible variables, for instance, o… ▽ More What types of differences among causal structures with latent variables are impossible to distinguish by statistical data obtained by probing each visible variable? If the probing scheme is simply passive observation, then it is well-known that many different causal structures can realize the same joint probability distributions. Even for the simplest case of two visible variables, for instance, one cannot distinguish between one variable being a causal parent of the other and the two variables sharing a latent common cause. However, it is possible to distinguish between these two causal structures if we have recourse to more powerful probing schemes, such as the possibility of intervening on one of the variables and observing the other. Herein, we address the question of which causal structures remain indistinguishable even given the most informative types of probing schemes on the visible variables. We find that two causal structures remain indistinguishable if and only if they are both associated with the same mDAG structure (as defined by Evans (2016)). We also consider the question of when one causal structure dominates another in the sense that it can realize all of the joint probability distributions that can be realized by the other using a given probing scheme. (Equivalence of causal structures is the special case of mutual dominance.) Finally, we investigate to what extent one can weaken the probing schemes implemented on the visible variables and still have the same discrimination power as a maximally informative probing scheme. △ Less

Submitted 1 July, 2024; originally announced July 2024.

Comments: 27 pages, 20 figures

Esca** the Shadow of Bell's Theorem in Network Nonlocality

Authors: Maria Ciudad-Alañón, Emanuel-Cristian Boghiu, Paolo Abiuso, Elie Wolfe

Abstract: The possibility of nonclassicality in networks unrelated to Bell's original eponymous theorem has recently attracted significant interest. Here, we identify a sufficient condition for being "outside the shadow of Bell's theorem" and introduce a testable criterion capable of certifying the novelty of instances of network-nonclassicality which we call minimal network nonclassicality. We provide exam… ▽ More The possibility of nonclassicality in networks unrelated to Bell's original eponymous theorem has recently attracted significant interest. Here, we identify a sufficient condition for being "outside the shadow of Bell's theorem" and introduce a testable criterion capable of certifying the novelty of instances of network-nonclassicality which we call minimal network nonclassicality. We provide examples of minimally network nonclassical correlations realizable in quantum theory as well as examples coming from more exotic operational probabilistic theories. In particular, we apply these concepts to the simplest configuration of the 3-chain scenario (a.k.a. the bilocality scenario) to prove that certain correlations have escaped the shadow of Bell's theorem. While some of the examples herein are unprecedented, we also revisit more familiar examples of network nonclassicality in order to highlight the contrast between our approach versus prior approaches with respect to assessing novelty. △ Less

Submitted 21 June, 2024; originally announced June 2024.

Comments: 20 pages, feedback most welcome

Causal Data Fusion with Quantum Confounders

Authors: Pedro Lauand, Bereket Ngussie Bekele, Elie Wolfe

Abstract: From the modern perspective of causal inference, Bell's theorem -- a fundamental signature of quantum theory -- is a particular case where quantum correlations are incompatible with the classical theory of causality, and the generalization of Bell's theorem to quantum networks has led to several breakthrough results and novel applications. Here, we consider the problem of causal data fusion, where… ▽ More From the modern perspective of causal inference, Bell's theorem -- a fundamental signature of quantum theory -- is a particular case where quantum correlations are incompatible with the classical theory of causality, and the generalization of Bell's theorem to quantum networks has led to several breakthrough results and novel applications. Here, we consider the problem of causal data fusion, where we piece together multiple datasets collected under heterogeneous conditions. In particular, we show quantum experiments can generate observational and interventional data with a non-classical signature when pieced together that cannot be reproduced classically. We prove this quantum non-classicality emerges from the fusion of the datasets and is present in a plethora of scenarios, even where standard Bell non-classicality is impossible. Furthermore, we show that non-classicality genuine to the fusion of multiple data tables is achievable with quantum resources. Our work shows incorporating interventions -- a central tool in causal inference -- can be a powerful tool to detect non-classicality beyond the violation of a standard Bell inequality. In a companion article "Quantum Non-classicality from Causal Data Fusion", we extend our investigation considering all latent exogenous causal structures with 3 observable variables. △ Less

Submitted 29 May, 2024; originally announced May 2024.

Comments: 5 pages, 1 figure

Quantum Non-classicality from Causal Data Fusion

Authors: Pedro Lauand, Bereket Ngussie Bekele, Elie Wolfe

Abstract: Bell's theorem, a cornerstone of quantum theory, shows that quantum correlations are incompatible with a classical theory of cause and effect. Through the lens of causal inference, it can be understood as a particular case of causal compatibility, which delves into the alignment of observational data with a given causal structure. Here, we explore the problem of causal data fusion that aims to pie… ▽ More Bell's theorem, a cornerstone of quantum theory, shows that quantum correlations are incompatible with a classical theory of cause and effect. Through the lens of causal inference, it can be understood as a particular case of causal compatibility, which delves into the alignment of observational data with a given causal structure. Here, we explore the problem of causal data fusion that aims to piece together data tables collected under heterogeneous conditions. We investigate the quantum non-classicality that emerges when integrating both passive observations and interventions within an experimental setup. Referred to as "non-classicality from data fusion," this phenomenon is identified and scrutinized across all latent exogenous causal structures involving three observed variables. Notably, we demonstrate the existence of quantum non-classicality resulting from data fusion, even in scenarios where achieving standard Bell non-classicality is impossible. Furthermore, we showcase the potential for attaining non-classicality across multiple interventions using quantum resources. This work extends a more compact parallel letter on the same subject and provides all the required technical proofs. △ Less

Submitted 29 May, 2024; originally announced May 2024.

Comments: 28 pages, 13 figures

Ultralight vector dark matter search using data from the KAGRA O3GK run

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, R. Abbott, H. Abe, I. Abouelfettouh, F. Acernese, K. Ackley, C. Adamcewicz, S. Adhicary, N. Adhikari, R. X. Adhikari, V. K. Adkins, V. B. Adya, C. Affeldt, D. Agarwal, M. Agathos, O. D. Aguiar, I. Aguilar, L. Aiello, A. Ain, P. Ajith, T. Akutsu, S. Albanesi , et al. (1778 additional authors not shown)

Abstract: Among the various candidates for dark matter (DM), ultralight vector DM can be probed by laser interferometric gravitational wave detectors through the measurement of oscillating length changes in the arm cavities. In this context, KAGRA has a unique feature due to differing compositions of its mirrors, enhancing the signal of vector DM in the length change in the auxiliary channels. Here we prese… ▽ More Among the various candidates for dark matter (DM), ultralight vector DM can be probed by laser interferometric gravitational wave detectors through the measurement of oscillating length changes in the arm cavities. In this context, KAGRA has a unique feature due to differing compositions of its mirrors, enhancing the signal of vector DM in the length change in the auxiliary channels. Here we present the result of a search for $U(1)_{B-L}$ gauge boson DM using the KAGRA data from auxiliary length channels during the first joint observation run together with GEO600. By applying our search pipeline, which takes into account the stochastic nature of ultralight DM, upper bounds on the coupling strength between the $U(1)_{B-L}$ gauge boson and ordinary matter are obtained for a range of DM masses. While our constraints are less stringent than those derived from previous experiments, this study demonstrates the applicability of our method to the lower-mass vector DM search, which is made difficult in this measurement by the short observation time compared to the auto-correlation time scale of DM. △ Less

Submitted 5 March, 2024; originally announced March 2024.

Comments: 20 pages, 5 figures

Report number: LIGO-P2300250

Machine Learned Interatomic Potentials for Ternary Carbides trained on the AFLOW Database

Authors: Josiah Roberts, Biswas Rijal, Simon Divilov, Jon-Paul Maria, William G. Fahrenholtz, Douglas E. Wolfe, Donald W. Brenner, Stefano Curtarolo, Eva Zurek

Abstract: Large density functional theory (DFT) databases are a treasure trove of energies, forces and stresses that can be used to train machine learned interatomic potentials for atomistic modeling. Herein, we employ structural relaxations from the AFLOW database to train moment tensor potentials (MTPs) for four carbide systems: HfTaC, HfZrC, MoWC and TaTiC. The resulting MTPs are used to relax ~6300 rand… ▽ More Large density functional theory (DFT) databases are a treasure trove of energies, forces and stresses that can be used to train machine learned interatomic potentials for atomistic modeling. Herein, we employ structural relaxations from the AFLOW database to train moment tensor potentials (MTPs) for four carbide systems: HfTaC, HfZrC, MoWC and TaTiC. The resulting MTPs are used to relax ~6300 random symmetric structures, and are subsequently improved via active learning to generate robust potentials (RP) that can relax a wide variety of structures, and accurate potentials (AP) designed for the relaxation of low-energy systems. This protocol is shown to yield convex hulls that are indistinguishable from those predicted by AFLOW for the HfTaC, HfZrC and TaTiC systems, and in the case of the MoWC system to predict thermodynamically stable structures that are not found within AFLOW, highlighting the potential of the employed protocol within crystal structure prediction. Relaxation of over three hundred Mo$_{1-x}$W$_x$C stoichiometry crystals first with the RP then with the AP yields formation enthalpies that are in excellent agreement with those obtained via DFT. △ Less

Submitted 16 May, 2024; v1 submitted 3 January, 2024; originally announced January 2024.

A priori procedure to establish spinodal decomposition in alloys

Authors: Simon Divilov, Hagen Eckert, Cormac Toher, Rico Friedrich, Adam C. Zettel, Donald W. Brenner, William G. Fahrenholtz, Douglas E. Wolfe, Eva Zurek, Jon-Paul Maria, Nico Hotz, Xiomara Campilongo, Stefano Curtarolo

Abstract: Spinodal decomposition can improve a number of essential properties in materials, especially hardness. Yet, the theoretical prediction of the onset of this phenomenon (e.g., temperature) and its microstructure (e.g., wavelength) often requires input parameters coming from costly and time-consuming experimental efforts, hindering rational materials optimization. Here, we present a procedure where s… ▽ More Spinodal decomposition can improve a number of essential properties in materials, especially hardness. Yet, the theoretical prediction of the onset of this phenomenon (e.g., temperature) and its microstructure (e.g., wavelength) often requires input parameters coming from costly and time-consuming experimental efforts, hindering rational materials optimization. Here, we present a procedure where such parameters are not derived from experiments. First, we calculate the spinodal temperature by modeling nucleation in the solid solution while approaching the spinode boundary. Then, we compute the spinodal wavelength self-consistently using a few reasonable approximations. Our results show remarkable agreement with experiments and, for NiRh, the calculated yield strength due to spinodal microstructures surpasses even those of Ni-based superalloys. We believe that this procedure will accelerate the exploration of the complex materials experiencing spinodal decomposition, critical for their macroscopic properties. △ Less

Submitted 17 November, 2023; originally announced November 2023.

Comments: 10 pages, 4 figures

Interfacial defect properties of high-entropy carbides: Stacking faults, Shockley partial dislocations, and a new Evans-Polanyi-Semenov relation

Authors: Samuel E. Daigle, Stefano Curtarolo, William G. Fahrenholtz, Jon-Paul Maria, Douglas E. Wolfe, Eva Zurek, Donald W. Brenner

Abstract: Using first principles calculations, {111} intrinsic stacking fault (ISF) energies in Group IVB, VB, and VIB high-entropy transition metal carbides are shown to be predictable from an optimized rule of mixtures based on the properties of the single metal carbide constituents present near the stacking fault. A composition-independent linear relationship is demonstrated between the ISF energies and… ▽ More Using first principles calculations, {111} intrinsic stacking fault (ISF) energies in Group IVB, VB, and VIB high-entropy transition metal carbides are shown to be predictable from an optimized rule of mixtures based on the properties of the single metal carbide constituents present near the stacking fault. A composition-independent linear relationship is demonstrated between the ISF energies and the unstable stacking fault (USF) energies along the <112>{111} gamma surface slip path. Treating the ISF and USF energies as analogous to the heat of reaction and transition state barrier in chemical reactions, this linear relationship represents a new application of the Evans-Polanyi-Semenov principle. Further, a full defect energy distribution can be obtained from the predicted ISF energies with only the composition as an input for the mixed early-transition metal carbides. Applying a model that balances the elastic repulsion between partial dislocations with the distribution of ISF energies, we show that Shockley partial edge dislocations should remain bound for all valence electron concentration values up to about 9.6, even when the average stacking fault energy is negative. △ Less

Submitted 1 November, 2023; originally announced November 2023.

Comments: 10 pages

Relating Wigner's Friend scenarios to Nonclassical Causal Compatibility, Monogamy Relations, and Fine Tuning

Authors: Yìlè Yīng, Marina Maciel Ansanelli, Andrea Di Biagio, Elie Wolfe, Eric Gama Cavalcanti

Abstract: Nonclassical causal modeling was developed in order to explain violations of Bell inequalities while adhering to relativistic causal structure and faithfulness -- that is, avoiding fine-tuned causal explanations. Recently, a no-go theorem stronger than Bell's theorem has been derived, based on extensions of Wigner's friend thought experiment: the Local Friendliness (LF) no-go theorem. Here we show… ▽ More Nonclassical causal modeling was developed in order to explain violations of Bell inequalities while adhering to relativistic causal structure and faithfulness -- that is, avoiding fine-tuned causal explanations. Recently, a no-go theorem stronger than Bell's theorem has been derived, based on extensions of Wigner's friend thought experiment: the Local Friendliness (LF) no-go theorem. Here we show that the LF no-go theorem poses formidable challenges for the field of causal modeling, even when nonclassical and/or cyclic causal explanations are considered. We first recast the LF inequalities, one of the key elements of the LF no-go theorem, as special cases of monogamy relations stemming from a statistical marginal problem; we then further recast LF inequalities as causal compatibility inequalities stemming from a nonclassical causal marginal problem, for a causal structure implied by well-motivated causal-metaphysical assumptions. We find that the LF inequalities emerge from the causal modeling perspective even when allowing the latent causes of observed events to admit post-quantum descriptions, such as Generalised Probabilistic Theories (GPT) or even more exotic theories. We further prove that no nonclassical causal model can explain violations of LF inequalities without violating the No Fine-Tuning principle. Finally, we note that these obstacles cannot be overcome even if one were to appeal to cyclic causal models. △ Less

Submitted 15 December, 2023; v1 submitted 22 September, 2023; originally announced September 2023.

Comments: 15+6 pages, 9 figures. Comments welcome!

Classifying Causal Structures: Ascertaining when Classical Correlations are Constrained by Inequalities

Authors: Shashaank Khanna, Marina Maciel Ansanelli, Matthew F. Pusey, Elie Wolfe

Abstract: The classical causal relations between a set of variables, some observed and some latent, can induce both equality constraints (typically conditional independences) as well as inequality constraints (Instrumental and Bell inequalities being prototypical examples) on their compatible distribution over the observed variables. Enumerating a causal structure's implied inequality constraints is general… ▽ More The classical causal relations between a set of variables, some observed and some latent, can induce both equality constraints (typically conditional independences) as well as inequality constraints (Instrumental and Bell inequalities being prototypical examples) on their compatible distribution over the observed variables. Enumerating a causal structure's implied inequality constraints is generally far more difficult than enumerating its equalities. Furthermore, only inequality constraints ever admit violation by quantum correlations. For both those reasons, it is important to classify causal scenarios into those which impose inequality constraints versus those which do not. Here we develop methods for detecting such scenarios by appealing to d-separation, e-separation, and incompatible supports. Many (perhaps all?) scenarios with exclusively equality constraints can be detected via a condition articulated by Henson, Lal and Pusey (HLP). Considering all scenarios with up to 4 observed variables, which number in the thousands, we are able to resolve all but three causal scenarios, providing evidence that the HLP condition is, in fact, exhaustive. △ Less

Submitted 4 August, 2023; originally announced August 2023.

Comments: 37+12 pages, 13 figures, 4 tables

Journal ref: Phys. Rev. Research 6, 023038 (2024)

Too small to fail: characterizing sub-solar mass black hole mergers with gravitational waves

Authors: Noah E. Wolfe, Salvatore Vitale, Colm Talbot

Abstract: The detection of a sub-solar mass black hole could yield dramatic new insights into the nature of dark matter and early-Universe physics, as such objects lack a traditional astrophysical formation mechanism. Gravitational waves allow for the direct measurement of compact object masses during binary mergers, and we expect the gravitational-wave signal from a low-mass coalescence to remain within th… ▽ More The detection of a sub-solar mass black hole could yield dramatic new insights into the nature of dark matter and early-Universe physics, as such objects lack a traditional astrophysical formation mechanism. Gravitational waves allow for the direct measurement of compact object masses during binary mergers, and we expect the gravitational-wave signal from a low-mass coalescence to remain within the LIGO frequency band for thousands of seconds. However, it is unclear whether one can confidently measure the properties of a sub-solar mass compact object and distinguish between a sub-solar mass black hole or other exotic objects. To this end, we perform Bayesian parameter estimation on simulated gravitational-wave signals from sub-solar mass black hole mergers to explore the measurability of their source properties. We find that the LIGO/Virgo detectors during the O4 observing run would be able to confidently identify sub-solar component masses at the threshold of detectability; these events would also be well-localized on the sky and may reveal some information on their binary spin geometry. Further, next-generation detectors such as Cosmic Explorer and the Einstein Telescope will allow for precision measurement of the properties of sub-solar mass mergers and tighter constraints on their compact-object nature. △ Less

Submitted 14 June, 2023; v1 submitted 31 May, 2023; originally announced May 2023.

Comments: 38 pages, 19 figures, to be submitted to JCAP

Gravitational Wave Eigenfrequencies from Neutrino-Driven Core-Collapse Supernovae

Authors: Noah E. Wolfe, Carla Frohlich, Jonah M. Miller, Alejandro Torres-Forne, Pablo Cerda-Duran

Abstract: Core-collapse supernovae are predicted to produce gravitational waves (GWs) that may be detectable by Advanced LIGO/Virgo. These GW signals carry information from the heart of these catacylsmic events, where matter reaches nuclear densities. Recent studies have shown that it may be possible to infer properties of the proto-neutron star (PNS) via gravitational waves generated by hydrodynamic pertur… ▽ More Core-collapse supernovae are predicted to produce gravitational waves (GWs) that may be detectable by Advanced LIGO/Virgo. These GW signals carry information from the heart of these catacylsmic events, where matter reaches nuclear densities. Recent studies have shown that it may be possible to infer properties of the proto-neutron star (PNS) via gravitational waves generated by hydrodynamic perturbations of the PNS. However, we lack a comprehensive understanding of how these relationships may change with the properties of core-collapse supernovae. In this work, we build a self-consistent suite of over 1000 exploding core-collapse supernovae from a grid of progenitor masses and metallicities combined with six different nuclear equations of state. Performing a linear perturbation analysis on each model, we compute the resonant gravitational-wave frequencies of the PNS, and we motivate a time-agnostic method for identifying characteristic frequencies of the dominant gravitational-wave emission. From this, we identify two characteristic frequencies, of the early- and late-time signal, that measure the surface gravity of the cold remnant neutron star, and simultaneously constrain the hot nuclear equation of state. However, we find that the details of the core-collapse supernova model, such as the treatment of gravity or the neutrino transport, and whether it explodes, noticeably change the magnitude and evolution of the PNS eigenfrequencies. △ Less

Submitted 29 March, 2023; originally announced March 2023.

Comments: 27 pages, 11 figures, submitted to ApJ

Report number: LA-UR-23-21532

Impossibility Theorem for Extending Contextuality to Disturbing Systems

Authors: Alisson Tezzin, Elie Wolfe, Barbara Amaral, Matt Jones

Abstract: Recently there has been interest, and impressive progress, in extending the definition of contextuality to systems with disturbance. We prove here that such an endeavor cannot simultaneously satisfy the following core principles of contextuality: (1) Measuring more information cannot change a contextual system to a noncontextual one. (2) Classical post-processing cannot create contextuality: appen… ▽ More Recently there has been interest, and impressive progress, in extending the definition of contextuality to systems with disturbance. We prove here that such an endeavor cannot simultaneously satisfy the following core principles of contextuality: (1) Measuring more information cannot change a contextual system to a noncontextual one. (2) Classical post-processing cannot create contextuality: appending new observables that are functions of given observables cannot change a noncontextual system to a contextual one. (3) The joint realization of two statistically independent noncontextual systems is noncontextual. (4) Determinism cannot create contextuality: Any deterministic system is noncontextual, and adding deterministic observables to a noncontextual system cannot yield a contextual one. We also prove the same result without Principle 3, under the stronger version of Principle 4. Moreover, our results hold for restricted extensions of contextuality that apply only to systems of binary observables. In addition to these proofs, we analyze several particular proposals and identify which of our axioms they obey and which they violate. △ Less

Submitted 13 December, 2022; originally announced December 2022.

Comments: 23 pages

Inflation: a Python library for classical and quantum causal compatibility

Authors: Emanuel-Cristian Boghiu, Elie Wolfe, Alejandro Pozas-Kerstjens

Abstract: We introduce Inflation, a Python library for assessing whether an observed probability distribution is compatible with a causal explanation. This is a central problem in both theoretical and applied sciences, which has recently witnessed significant advances from the area of quantum nonlocality, namely, in the development of inflation techniques. Inflation is an extensible toolkit that is capable… ▽ More We introduce Inflation, a Python library for assessing whether an observed probability distribution is compatible with a causal explanation. This is a central problem in both theoretical and applied sciences, which has recently witnessed significant advances from the area of quantum nonlocality, namely, in the development of inflation techniques. Inflation is an extensible toolkit that is capable of solving pure causal compatibility problems and optimization over (relaxations of) sets of compatible correlations in both the classical and quantum paradigms. The library is designed to be modular and with the ability of being ready-to-use, while kee** an easy access to low-level objects for custom modifications. △ Less

Submitted 28 April, 2023; v1 submitted 8 November, 2022; originally announced November 2022.

Comments: 19 pages, 2 figures. The Inflation GitHub repository is in https://www.github.com/ecboghiu/inflation and the Inflation documentation is in https://ecboghiu.github.io/inflation V2: Accepted version

Journal ref: Quantum 7, 996 (2023)

Experimental nonclassicality in a causal network without assuming freedom of choice

Authors: Emanuele Polino, Davide Poderini, Giovanni Rodari, Iris Agresti, Alessia Suprano, Gonzalo Carvacho, Elie Wolfe, Askery Canabarro, George Moreno, Giorgio Milani, Robert W. Spekkens, Rafael Chaves, Fabio Sciarrino

Abstract: In a Bell experiment, it is natural to seek a causal account of correlations wherein only a common cause acts on the outcomes. For this causal structure, Bell inequality violations can be explained only if causal dependencies are modelled as intrinsically quantum. There also exists a vast landscape of causal structures beyond Bell that can witness nonclassicality, in some cases without even requir… ▽ More In a Bell experiment, it is natural to seek a causal account of correlations wherein only a common cause acts on the outcomes. For this causal structure, Bell inequality violations can be explained only if causal dependencies are modelled as intrinsically quantum. There also exists a vast landscape of causal structures beyond Bell that can witness nonclassicality, in some cases without even requiring free external inputs. Here, we undertake a photonic experiment realizing one such example: the triangle causal network, consisting of three measurement stations pairwise connected by common causes and no external inputs. To demonstrate the nonclassicality of the data, we adapt and improve three known techniques: (i) a machine-learning-based heuristic test, (ii) a data-seeded inflation technique generating polynomial Bell-type inequalities and (iii) entropic inequalities. The demonstrated experimental and data analysis tools are broadly applicable paving the way for future networks of growing complexity. △ Less

Submitted 9 March, 2023; v1 submitted 13 October, 2022; originally announced October 2022.

Comments: Version published in Nature Communications

Journal ref: Nat Commun 14, 909 (2023)

Accelerating Tests of General Relativity with Gravitational-Wave Signals using Hybrid Sampling

Authors: Noah E. Wolfe, Colm Talbot, Jacob Golomb

Abstract: The Advanced LIGO/Virgo interferometers have observed $\sim 100$ gravitational-wave transients enabling new questions to be answered about relativity, astrophysics, and cosmology. However, many of our current procedures for computing these constraints will not scale well with the increased size of future transient catalogs. We introduce a novel hybrid sampling method in order to more efficiently p… ▽ More The Advanced LIGO/Virgo interferometers have observed $\sim 100$ gravitational-wave transients enabling new questions to be answered about relativity, astrophysics, and cosmology. However, many of our current procedures for computing these constraints will not scale well with the increased size of future transient catalogs. We introduce a novel hybrid sampling method in order to more efficiently perform parameterized tests of general relativity with gravitational-wave signals. Applying our method to the binary black hole merger GW150914 and simulated signals we find that our method is approximately an order of magnitude more efficient than the current method with conservative settings for our hybrid analysis. While we have focused on the specific problem of measuring potential deviations from relativity, our method is of much wider applicability to any problem that can be decomposed into a simple and more complex model(s). △ Less

Submitted 22 March, 2023; v1 submitted 26 August, 2022; originally announced August 2022.

Comments: 14 pages, 13 figures; modifications in response to referee report, including comparison to other MCMC initialization methods

A linear program for testing nonclassicality and an open-source implementation

Authors: John H. Selby, Elie Wolfe, David Schmid, Ana Belén Sainz, Vinicius P. Rossi

Abstract: A well motivated method for demonstrating that an experiment resists any classical explanation is to show that its statistics violate generalized noncontextuality. We here formulate this problem as a linear program and provide an open-source implementation of it which tests whether or not any given prepare-measure experiment is classically-explainable in this sense. The input to the program is sim… ▽ More A well motivated method for demonstrating that an experiment resists any classical explanation is to show that its statistics violate generalized noncontextuality. We here formulate this problem as a linear program and provide an open-source implementation of it which tests whether or not any given prepare-measure experiment is classically-explainable in this sense. The input to the program is simply an arbitrary set of quantum states and an arbitrary set of quantum effects; the program then determines if the Born rule statistics generated by all pairs of these can be explained by a classical (noncontextual) model. If a classical model exists, it provides an explicit model. If it does not, then it computes the minimal amount of noise that must be added such that a model does exist, and then provides this model. We generalize all these results to arbitrary generalized probabilistic theories (and accessible fragments thereof) as well; indeed, our linear program is a test of simplex-embeddability. △ Less

Submitted 4 April, 2024; v1 submitted 25 April, 2022; originally announced April 2022.

Comments: 4 pages plus appendices, 4 figures and many diagrams. Comments welcome!

Journal ref: Phys. Rev. Lett. 132, 050202 (2024)

Experimental genuine tripartite nonlocality in a quantum triangle network

Authors: Alessia Suprano, Davide Poderini, Emanuele Polino, Iris Agresti, Gonzalo Carvacho, Askery Canabarro, Elie Wolfe, Rafael Chaves, Fabio Sciarrino

Abstract: Quantum networks are the center of many of the recent advances in quantum science, not only leading to the discovery of new properties in the foundations of quantum theory but also allowing for novel communication and cryptography protocols. It is known that networks beyond that in the paradigmatic Bell's theorem imply new and sometimes stronger forms of nonclassicality. Due to a number of practic… ▽ More Quantum networks are the center of many of the recent advances in quantum science, not only leading to the discovery of new properties in the foundations of quantum theory but also allowing for novel communication and cryptography protocols. It is known that networks beyond that in the paradigmatic Bell's theorem imply new and sometimes stronger forms of nonclassicality. Due to a number of practical difficulties, however, the experimental implementation of such networks remains far less explored. Going beyond what has been previously tested, here we verify the nonlocality of an experimental triangle network, consisting of three independent sources of bipartite entangled photon states interconnecting three distant parties. By performing separable measurements only and evaluating parallel chained Bell inequalities, we show that such networks can lead to a genuine form of tripartite nonlocality, where classical models are unable to mimic the quantum predictions even if some of the parties are allowed to communicate. △ Less

Submitted 1 April, 2022; originally announced April 2022.

Experimental Demonstration that No Tripartite-Nonlocal Causal Theory Explains Nature's Correlations

Authors: Huan Cao, Marc-Olivier Renou, Chao Zhang, Gaël Massé, Xavier Coiteux-Roy, Bi-Heng Liu, Yun-Feng Huang, Chuan-Feng Li, Guang-Can Guo, Elie Wolfe

Abstract: Quantum theory predicts the existence of genuinely tripartite-entangled states, which cannot be obtained from local operations over any bipartite entangled states and unlimited shared randomness. Some of us recently proved that this feature is a fundamental signature of quantum theory. The state $\left|{GHZ}_3\right\rangle=(\left|000\right\rangle+\left|111\right\rangle)/\sqrt{2}$ gives rise to tri… ▽ More Quantum theory predicts the existence of genuinely tripartite-entangled states, which cannot be obtained from local operations over any bipartite entangled states and unlimited shared randomness. Some of us recently proved that this feature is a fundamental signature of quantum theory. The state $\left|{GHZ}_3\right\rangle=(\left|000\right\rangle+\left|111\right\rangle)/\sqrt{2}$ gives rise to tripartite quantum correlations which cannot be explained by any causal theory limited to bipartite nonclassical common causes of any kind (generalising entanglement) assisted with unlimited shared randomness. Hence, any conceivable physical theory which would reproduce quantum predictions will necessarily include genuinely tripartite resources. In this work, we verify that such tripartite correlations are experimentally achievable. We derive a new device-independent witness capable of falsifying causal theories wherein nonclassical resources are merely bipartite. Using a high-performance photonic $\left|{GHZ}_3\right\rangle$ states with fidelities of $ 0.9741\pm0.002$, we provide a clear experimental violation of that witness by more than $26.3$ standard deviation, under the locality and fair sampling assumption. We generalise our work to the $\left|{GHZ}_4\right\rangle$ state, obtaining correlations which cannot be explained by any causal theory limited to tripartite nonclassical common causes assisted with unlimited shared randomness. △ Less

Submitted 7 February, 2022; v1 submitted 30 January, 2022; originally announced January 2022.

Comments: See related work by Ya-Li Mao et al. (arXiv:2201.12753). 12 pages (7 of appendices), 5 figures (2 in appendices). H.C., M-O.R. and C.Z contributed equally to this work

Accessible fragments of generalized probabilistic theories, cone equivalence, and applications to witnessing nonclassicality

Authors: John H. Selby, David Schmid, Elie Wolfe, Ana Belén Sainz, Ravi Kunjwal, Robert W. Spekkens

Abstract: The formalism of generalized probabilistic theories (GPTs) was originally developed as a way to characterize the landscape of conceivable physical theories. Thus, the GPT describing a given physical theory necessarily includes all physically possible processes. We here consider the question of how to provide a GPT-like characterization of a particular experimental setup within a given physical the… ▽ More The formalism of generalized probabilistic theories (GPTs) was originally developed as a way to characterize the landscape of conceivable physical theories. Thus, the GPT describing a given physical theory necessarily includes all physically possible processes. We here consider the question of how to provide a GPT-like characterization of a particular experimental setup within a given physical theory. We show that the resulting characterization is not generally a GPT in and of itself-rather, it is described by a more general mathematical object that we introduce and term an accessible GPT fragment. We then introduce an equivalence relation, termed cone equivalence, between accessible GPT fragments (and, as a special case, between standard GPTs). We give a number of examples of experimental scenarios that are best described using accessible GPT fragments, and where moreover cone-equivalence arises naturally. We then prove that an accessible GPT fragment admits of a classical explanation if and only if every other fragment that is cone-equivalent to it also admits of a classical explanation. Finally, we leverage this result to prove several fundamental results regarding the experimental requirements for witnessing the failure of generalized noncontextuality. In particular, we prove that neither incompatibility among measurements nor the assumption of freedom of choice is necessary for witnessing failures of generalized noncontextuality, and, moreover, that such failures can be witnessed even using arbitrarily inefficient detectors. △ Less

Submitted 4 April, 2024; v1 submitted 8 December, 2021; originally announced December 2021.

Comments: 15 pages, many diagrams

Journal ref: Phys. Rev. A 107, 062203 (2023)

A New Constraint on the Nuclear Equation of State from Statistical Distributions of Compact Remnants of Supernovae

Authors: Mikhail M. Meskhi, Noah E. Wolfe, Zhenyu Dai, Carla Frohlich, Jonah M. Miller, Raymond K. W. Wong, Ricardo Vilalta

Abstract: Understanding how matter behaves at the highest densities and temperatures is a major open problem in both nuclear physics and relativistic astrophysics. This physics is often encapsulated in the so-called high-temperature nuclear equation of state, which influences compact binary mergers, core-collapse supernovae, and many more phenomena. One such case is the type (either black hole or neutron st… ▽ More Understanding how matter behaves at the highest densities and temperatures is a major open problem in both nuclear physics and relativistic astrophysics. This physics is often encapsulated in the so-called high-temperature nuclear equation of state, which influences compact binary mergers, core-collapse supernovae, and many more phenomena. One such case is the type (either black hole or neutron star) and mass of the remnant of the core collapse of a massive star. For each of six candidate equations of state, we use a very large suite of spherically symmetric supernova models to generate a suite of synthetic populations of such remnants. We then compare these synthetic populations to the observed remnant population. We thus provide a novel constraint on the high-temperature nuclear equation of state and describe which EOS candidates are more or less favored by this metric. △ Less

Submitted 27 March, 2022; v1 submitted 2 November, 2021; originally announced November 2021.

Comments: Accepted by ApJ Letters; revised version; 3 figures, 2 tables

Report number: LA-UR-21-30803

Restricted Hidden Cardinality Constraints in Causal Models

Authors: Beata Zjawin, Elie Wolfe, Robert W. Spekkens

Abstract: Causal models with unobserved variables impose nontrivial constraints on the distributions over the observed variables. When a common cause of two variables is unobserved, it is impossible to uncover the causal relation between them without making additional assumptions about the model. In this work, we consider causal models with a promise that unobserved variables have known cardinalities. We de… ▽ More Causal models with unobserved variables impose nontrivial constraints on the distributions over the observed variables. When a common cause of two variables is unobserved, it is impossible to uncover the causal relation between them without making additional assumptions about the model. In this work, we consider causal models with a promise that unobserved variables have known cardinalities. We derive inequality constraints implied by d-separation in such models. Moreover, we explore the possibility of leveraging this result to study causal influence in models that involve quantum systems. △ Less

Submitted 11 December, 2021; v1 submitted 12 September, 2021; originally announced September 2021.

Comments: This is a revision of a paper with the same title, published in EPTCS 343, 2021, pp. 119-131, arXiv:2109.05656v1. Two references have been added

Entropic Inequality Constraints from $e$-separation Relations in Directed Acyclic Graphs with Hidden Variables

Authors: Noam Finkelstein, Beata Zjawin, Elie Wolfe, Ilya Shpitser, Robert W. Spekkens

Abstract: Directed acyclic graphs (DAGs) with hidden variables are often used to characterize causal relations between variables in a system. When some variables are unobserved, DAGs imply a notoriously complicated set of constraints on the distribution of observed variables. In this work, we present entropic inequality constraints that are implied by $e$-separation relations in hidden variable DAGs with di… ▽ More Directed acyclic graphs (DAGs) with hidden variables are often used to characterize causal relations between variables in a system. When some variables are unobserved, DAGs imply a notoriously complicated set of constraints on the distribution of observed variables. In this work, we present entropic inequality constraints that are implied by $e$-separation relations in hidden variable DAGs with discrete observed variables. The constraints can intuitively be understood to follow from the fact that the capacity of variables along a causal pathway to convey information is restricted by their entropy; e.g. at the extreme case, a variable with entropy $0$ can convey no information. We show how these constraints can be used to learn about the true causal model from an observed data distribution. In addition, we propose a measure of causal influence called the minimal mediary entropy, and demonstrate that it can augment traditional measures such as the average causal effect. △ Less

Submitted 21 February, 2023; v1 submitted 14 July, 2021; originally announced July 2021.

Comments: 18 pages. New in v3: Minor changes to the main text, substantial revisions to the proofs in Appendix C. We thank Robin Evans for motivating the most significant changes since v2

Report number: Proc. UAI 2021

Contextuality without incompatibility

Authors: John H. Selby, David Schmid, Elie Wolfe, Ana Belén Sainz, Ravi Kunjwal, Robert W. Spekkens

Abstract: The existence of incompatible measurements is often believed to be a feature of quantum theory which signals its inconsistency with any classical worldview. To prove the failure of classicality in the sense of Kochen-Specker noncontextuality, one does indeed require sets of incompatible measurements. However, a more broadly applicable notion of classicality is the existence of a generalized-noncon… ▽ More The existence of incompatible measurements is often believed to be a feature of quantum theory which signals its inconsistency with any classical worldview. To prove the failure of classicality in the sense of Kochen-Specker noncontextuality, one does indeed require sets of incompatible measurements. However, a more broadly applicable notion of classicality is the existence of a generalized-noncontextual ontological model. In particular, this notion can imply constraints on the representation of outcomes even within a single nonprojective measurement. We leverage this fact to demonstrate that measurement incompatibility is neither necessary nor sufficient for proofs of the failure of generalized noncontextuality. Furthermore, we show that every proof of the failure of generalized noncontextuality in a quantum prepare-measure scenario can be converted into a proof of the failure of generalized noncontextuality in a corresponding scenario with no incompatible measurements. △ Less

Submitted 4 April, 2024; v1 submitted 16 June, 2021; originally announced June 2021.

Journal ref: Phys. Rev. Lett. 130, 230201 (2023)

No Bipartite-Nonlocal Causal Theory Can Explain Nature's Correlations

Authors: Xavier Coiteux-Roy, Elie Wolfe, Marc-Olivier Renou

Abstract: We show that some tripartite quantum correlations are inexplicable by any causal theory involving bipartite nonclassical common causes and unlimited shared randomness. This constitutes a device-independent proof that Nature's nonlocality is fundamentally at least tripartite in every conceivable physical theory - no matter how exotic. To formalize this claim we are compelled to substitute Svetlichn… ▽ More We show that some tripartite quantum correlations are inexplicable by any causal theory involving bipartite nonclassical common causes and unlimited shared randomness. This constitutes a device-independent proof that Nature's nonlocality is fundamentally at least tripartite in every conceivable physical theory - no matter how exotic. To formalize this claim we are compelled to substitute Svetlichny's historical definition of genuine tripartite nonlocality with a novel theory-agnostic definition tied to the framework of Local Operations and Shared Randomness (LOSR). A companion article [PRA. 104, 052207 (2021)] generalizes these concepts to any number of parties, providing experimentally amenable device-independent inequality constraints along with quantum correlations violating them, thereby certifying that Nature's nonlocality must be boundlessly multipartite. △ Less

Submitted 11 November, 2021; v1 submitted 19 May, 2021; originally announced May 2021.

Comments: 6 pages, 2 figures

Journal ref: Phys. Rev. Lett. 127, 200401 (2021)

Any Physical Theory of Nature Must Be Boundlessly Multipartite Nonlocal

Authors: Xavier Coiteux-Roy, Elie Wolfe, Marc-Olivier Renou

Abstract: We introduce the class of Genuinely Local Operation and Shared Randomness (LOSR) Multipartite Nonlocal correlations, that is, correlations between N parties that cannot be obtained from unlimited shared randomness supplemented by any composition of (N-1)-shared causal Generalized-Probabilistic-Theory (GPT) resources. We then show that noisy N-partite GHZ quantum states as well as the 3-partite W q… ▽ More We introduce the class of Genuinely Local Operation and Shared Randomness (LOSR) Multipartite Nonlocal correlations, that is, correlations between N parties that cannot be obtained from unlimited shared randomness supplemented by any composition of (N-1)-shared causal Generalized-Probabilistic-Theory (GPT) resources. We then show that noisy N-partite GHZ quantum states as well as the 3-partite W quantum state can produce such correlations. This proves, if the operational predictions of quantum theory are correct, that Nature's nonlocality must be boundlessly multipartite in any causal GPT. We develop a computational method which certifies that a noisy N=3 GHZ quantum state with fidelity 85 percent satisfies this property, making an experimental demonstration of our results within reach. We motivate our definition and contrast it with preexisting notions of genuine multipartite nonlocality. This work extends a more compact parallel letter [Phys. Rev. Lett. 127, 200401 (2021)] on the same subject and provides all the required technical proofs. △ Less

Submitted 11 November, 2021; v1 submitted 19 May, 2021; originally announced May 2021.

Comments: 17 pages, 7 figures

Journal ref: Phys. Rev. A 104, 052207 (2021)

Causal Networks and Freedom of Choice in Bell's Theorem

Authors: Rafael Chaves, George Moreno, Emanuele Polino, Davide Poderini, Iris Agresti, Alessia Suprano, Mariana R. Barros, Gonzalo Carvacho, Elie Wolfe, Askery Canabarro, Robert W. Spekkens, Fabio Sciarrino

Abstract: Bell's theorem is typically understood as the proof that quantum theory is incompatible with local-hidden-variable models. More generally, we can see the violation of a Bell inequality as witnessing the impossibility of explaining quantum correlations with classical causal models. The violation of a Bell inequality, however, does not exclude classical models where some level of measurement depende… ▽ More Bell's theorem is typically understood as the proof that quantum theory is incompatible with local-hidden-variable models. More generally, we can see the violation of a Bell inequality as witnessing the impossibility of explaining quantum correlations with classical causal models. The violation of a Bell inequality, however, does not exclude classical models where some level of measurement dependence is allowed, that is, the choice made by observers can be correlated with the source generating the systems to be measured. Here, we show that the level of measurement dependence can be quantitatively upper bounded if we arrange the Bell test within a network. Furthermore, we also prove that these results can be adapted in order to derive nonlinear Bell inequalities for a large class of causal networks and to identify quantumly realizable correlations that violate them. △ Less

Submitted 19 November, 2021; v1 submitted 12 May, 2021; originally announced May 2021.

Comments: 18 pages, 10 figures. Updated to match published version

Journal ref: PRX Quantum 2 (2021) 040323

Algebraic and geometric properties of local transformations

Authors: Denis Rosset, Ämin Baumeler, Jean-Daniel Bancal, Nicolas Gisin, Anthony Martin, Marc-Olivier Renou, Elie Wolfe

Abstract: Some properties of physical systems can be characterized from their correlations. In that framework, subsystems are viewed as abstract devices that receive measurement settings as inputs and produce measurement outcomes as outputs. The labeling convention used to describe these inputs and outputs does not affect the physics; and relabelings are easily implemented by rewiring the input and output p… ▽ More Some properties of physical systems can be characterized from their correlations. In that framework, subsystems are viewed as abstract devices that receive measurement settings as inputs and produce measurement outcomes as outputs. The labeling convention used to describe these inputs and outputs does not affect the physics; and relabelings are easily implemented by rewiring the input and output ports of the devices. However, a more general class of operations can be achieved by using correlated preprocessing and postprocessing of the inputs and outputs. In contrast to relabelings, some of these operations irreversibly lose information about the underlying device. Other operations are reversible, but modify the number of cardinality of inputs and/or outputs. In this work, we single out the set of deterministic local maps as the one satisfying two equivalent constructions: an operational definition from causality, and an axiomatic definition reminiscent of the definition of quantum completely positive trace-preserving maps. We then study the algebraic properties of that set. Surprisingly, the study of these fundamental properties has deep and practical applications. First, the invariant subspaces of these transformations directly decompose the space of correlations/Bell inequalities into nonsignaling, signaling and normalization components. This impacts the classification of Bell and causal inequalities, and the construction of assemblages/witnesses in steering scenarios. Second, the left and right invertible deterministic local operations provide an operational generalization of the liftings introduced by Pironio [J. Math. Phys., 46(6):062112 (2005)]. Not only Bell-local, but also causal inequalities can be lifted; liftings also apply to correlation boxes in a variety of scenarios. △ Less

Submitted 20 April, 2020; originally announced April 2020.

Comments: 46 pages split in three independent parts (8+21+11). Numerous figures

Understanding the interplay of entanglement and nonlocality: motivating and develo** a new branch of entanglement theory

Authors: David Schmid, Thomas C. Fraser, Ravi Kunjwal, Ana Belen Sainz, Elie Wolfe, Robert W. Spekkens

Abstract: A standard approach to quantifying resources is to determine which operations on the resources are freely available, and to deduce the partial order over resources that is induced by the relation of convertibility under the free operations. If the resource of interest is the nonclassicality of the correlations embodied in a quantum state, i.e., entanglement, then the common assumption is that the… ▽ More A standard approach to quantifying resources is to determine which operations on the resources are freely available, and to deduce the partial order over resources that is induced by the relation of convertibility under the free operations. If the resource of interest is the nonclassicality of the correlations embodied in a quantum state, i.e., entanglement, then the common assumption is that the appropriate choice of free operations is Local Operations and Classical Communication (LOCC). We here advocate for the study of a different choice of free operations, namely, Local Operations and Shared Randomness (LOSR), and demonstrate its utility in understanding the interplay between the entanglement of states and the nonlocality of the correlations in Bell experiments. Specifically, we show that the LOSR paradigm (i) provides a resolution of the anomalies of nonlocality, wherein partially entangled states exhibit more nonlocality than maximally entangled states, (ii) entails new notions of genuine multipartite entanglement and nonlocality that are free of the pathological features of the conventional notions, and (iii) makes possible a resource-theoretic account of the self-testing of entangled states which generalizes and simplifies prior results. Along the way, we derive some fundamental results concerning the necessary and sufficient conditions for convertibility between pure entangled states under LOSR and highlight some of their consequences, such as the impossibility of catalysis for bipartite pure states. The resource-theoretic perspective also clarifies why it is neither surprising nor problematic that there are mixed entangled states which do not violate any Bell inequality. Our results motivate the study of LOSR-entanglement as a new branch of entanglement theory. △ Less

Submitted 29 November, 2023; v1 submitted 20 April, 2020; originally announced April 2020.

Journal ref: Quantum 7, 1194 (2023)

Genuine Network Multipartite Entanglement

Authors: Miguel Navascues, Elie Wolfe, Denis Rosset, Alejandro Pozas-Kerstjens

Abstract: The standard definition of genuine multipartite entanglement stems from the need to assess the quantum control over an ever-growing number of quantum systems. We argue that this notion is easy to hack: in fact, a source capable of distributing bipartite entanglement can, by itself, generate genuine $k$-partite entangled states for any $k$. We propose an alternative definition for genuine multipart… ▽ More The standard definition of genuine multipartite entanglement stems from the need to assess the quantum control over an ever-growing number of quantum systems. We argue that this notion is easy to hack: in fact, a source capable of distributing bipartite entanglement can, by itself, generate genuine $k$-partite entangled states for any $k$. We propose an alternative definition for genuine multipartite entanglement, whereby a quantum state is genuinely network $k$-entangled if it cannot be produced by applying local trace-preserving maps over several $k$-partite states distributed among the parties, even with the aid of global shared randomness. We provide analytic and numerical witnesses of genuine network entanglement, and we reinterpret many past quantum experiments as demonstrations of this feature. △ Less

Submitted 18 December, 2020; v1 submitted 7 February, 2020; originally announced February 2020.

Comments: 8 pages, 2 figures, RevTeX 4.2. See the related works arXiv:2002.03970 and arXiv:2003.07153. V3: Published version

Journal ref: Phys. Rev. Lett. 125, 240505 (2020)

The Characterization of Noncontextuality in the Framework of Generalized Probabilistic Theories

Authors: David Schmid, John Selby, Elie Wolfe, Ravi Kunjwal, Robert W. Spekkens

Abstract: To make precise the sense in which the operational predictions of quantum theory conflict with a classical worldview, it is necessary to articulate a notion of classicality within an operational framework. A widely applicable notion of classicality of this sort is whether or not the predictions of a given operational theory can be explained by a generalized-noncontextual ontological model. We here… ▽ More To make precise the sense in which the operational predictions of quantum theory conflict with a classical worldview, it is necessary to articulate a notion of classicality within an operational framework. A widely applicable notion of classicality of this sort is whether or not the predictions of a given operational theory can be explained by a generalized-noncontextual ontological model. We here explore what notion of classicality this implies for the generalized probabilistic theory (GPT) that arises from a given operational theory, focusing on prepare-measure scenarios. We first show that, when map** an operational theory to a GPT by quotienting relative to operational equivalences, the constraint of explainability by a generalized-noncontextual ontological model is mapped to the constraint of explainability by an ontological model. We then show that, under the additional assumption that the ontic state space is of finite cardinality, this constraint on the GPT can be expressed as a geometric condition which we term simplex-embeddability. Whereas the traditional notion of classicality for a GPT is that its state space be a simplex and its effect space be the dual of this simplex, simplex-embeddability merely requires that its state space be embeddable in a simplex and its effect space in the dual of that simplex. We argue that simplex-embeddability constitutes an intuitive and freestanding notion of classicality for GPTs. Our result also has applications to witnessing nonclassicality in prepare-measure experiments. △ Less

Submitted 3 August, 2020; v1 submitted 23 November, 2019; originally announced November 2019.

Comments: 5 pages + 5 page appendix

Journal ref: PRX Quantum 2, 010331 (2021)

Maximal subgroup growth of a few polycyclic groups

Authors: Andrew James Kelley, Elizabeth Ciorsdan Dwyer Wolfe

Abstract: We give here the exact maximal subgroup growth of two classes of polycyclic groups. Let $G_k = \langle x_1, x_2, ..., x_k \mid x_ix_jx_i^{-1}x_j \text{ for all } i < j \rangle$. So $G_k = \mathbb{Z} \rtimes (\mathbb{Z} \rtimes (\mathbb{Z} \rtimes ... \rtimes \mathbb{Z})$. Then for all $k \geq 2$, we calculate $m_n(G_k)$, the number of maximal subgroups of $G_k$ of index $n$, exactly. Also, for inf… ▽ More We give here the exact maximal subgroup growth of two classes of polycyclic groups. Let $G_k = \langle x_1, x_2, ..., x_k \mid x_ix_jx_i^{-1}x_j \text{ for all } i < j \rangle$. So $G_k = \mathbb{Z} \rtimes (\mathbb{Z} \rtimes (\mathbb{Z} \rtimes ... \rtimes \mathbb{Z})$. Then for all $k \geq 2$, we calculate $m_n(G_k)$, the number of maximal subgroups of $G_k$ of index $n$, exactly. Also, for infinitely many groups $H_k$ of the form $\mathbb{Z}^2 \rtimes G_2$, we calculate $m_n(H_k)$ exactly. △ Less

Submitted 16 November, 2019; originally announced November 2019.

Quantum Inflation: A General Approach to Quantum Causal Compatibility

Authors: Elie Wolfe, Alejandro Pozas-Kerstjens, Matan Grinberg, Denis Rosset, Antonio Acín, Miguel Navascues

Abstract: Causality is a seminal concept in science: Any research discipline, from sociology and medicine to physics and chemistry, aims at understanding the causes that could explain the correlations observed among some measured variables. While several methods exist to characterize classical causal models, no general construction is known for the quantum case. In this work, we present quantum inflation, a… ▽ More Causality is a seminal concept in science: Any research discipline, from sociology and medicine to physics and chemistry, aims at understanding the causes that could explain the correlations observed among some measured variables. While several methods exist to characterize classical causal models, no general construction is known for the quantum case. In this work, we present quantum inflation, a systematic technique to falsify if a given quantum causal model is compatible with some observed correlations. We demonstrate the power of the technique by reproducing known results and solving open problems for some paradigmatic examples of causal networks. Our results may find applications in many fields: from the characterization of correlations in quantum networks to the study of quantum effects in thermodynamic and biological processes. △ Less

Submitted 27 May, 2021; v1 submitted 23 September, 2019; originally announced September 2019.

Comments: V3 updated to match published version

Journal ref: Phys. Rev. X 11, 021043 (2021)

Quantifying Bell: the Resource Theory of Nonclassicality of Common-Cause Boxes

Authors: Elie Wolfe, David Schmid, Ana Belén Sainz, Ravi Kunjwal, Robert W. Spekkens

Abstract: We take a resource-theoretic approach to the problem of quantifying nonclassicality in Bell scenarios. The resources are conceptualized as probabilistic processes from the setting variables to the outcome variables having a particular causal structure, namely, one wherein the wings are only connected by a common cause. We term them "common-cause boxes". We define the distinction between classical… ▽ More We take a resource-theoretic approach to the problem of quantifying nonclassicality in Bell scenarios. The resources are conceptualized as probabilistic processes from the setting variables to the outcome variables having a particular causal structure, namely, one wherein the wings are only connected by a common cause. We term them "common-cause boxes". We define the distinction between classical and nonclassical resources in terms of whether or not a classical causal model can explain the correlations. One can then quantify the relative nonclassicality of resources by considering their interconvertibility relative to the set of operations that can be implemented using a classical common cause (which correspond to local operations and shared randomness). We prove that the set of free operations forms a polytope, which in turn allows us to derive an efficient algorithm for deciding whether one resource can be converted to another. We moreover define two distinct monotones with simple closed-form expressions in the two-party binary-setting binary-outcome scenario, and use these to reveal various properties of the pre-order of resources, including a lower bound on the cardinality of any complete set of monotones. In particular, we show that the information contained in the degrees of violation of facet-defining Bell inequalities is not sufficient for quantifying nonclassicality, even though it is sufficient for witnessing nonclassicality. Finally, we show that the continuous set of convexly extremal quantumly realizable correlations are all at the top of the pre-order of quantumly realizable correlations. In addition to providing new insights on Bell nonclassicality, our work also sets the stage for quantifying nonclassicality in more general causal networks. △ Less

Submitted 3 June, 2020; v1 submitted 14 March, 2019; originally announced March 2019.

Comments: V4 changes: Accepted by Quantum, bibliography hyperlinks adjusted according to journal policy. Slight reorganization of content in Section 3

Journal ref: Quantum 4, 280 (2020)

Quantum violations in the Instrumental scenario and their relations to the Bell scenario

Authors: Thomas Van Himbeeck, Jonatan Bohr Brask, Stefano Pironio, Ravishankar Ramanathan, Ana Belén Sainz, Elie Wolfe

Abstract: The causal structure of any experiment implies restrictions on the observable correlations between measurement outcomes, which are different for experiments exploiting classical, quantum, or post-quantum resources. In the study of Bell nonlocality, these differences have been explored in great detail for more and more involved causal structures. Here, we go in the opposite direction and identify t… ▽ More The causal structure of any experiment implies restrictions on the observable correlations between measurement outcomes, which are different for experiments exploiting classical, quantum, or post-quantum resources. In the study of Bell nonlocality, these differences have been explored in great detail for more and more involved causal structures. Here, we go in the opposite direction and identify the simplest causal structure which exhibits a separation between classical, quantum, and post-quantum correlations. It arises in the so-called Instrumental scenario, known from classical causal models. We derive inequalities for this scenario and show that they are closely related to well-known Bell inequalities, such as the Clauser-Horne-Shimony-Holt inequality, which enables us to easily identify their classical, quantum, and post-quantum bounds as well as strategies violating the first two. The relations that we uncover imply that the quantum or post-quantum advantages witnessed by the violation of our Instrumental inequalities are not fundamentally different from those witnessed by the violations of standard inequalities in the usual Bell scenario. However, non-classical tests in the Instrumental scenario require fewer input choices than their Bell scenario counterpart, which may have potential implications for device-independent protocols. △ Less

Submitted 9 September, 2019; v1 submitted 11 April, 2018; originally announced April 2018.

Comments: 12 pages, 3 figures. Comments welcome! v4: published version in Quantum journal

Journal ref: Quantum 3, 186 (2019)

Almost Quantum Correlations are Inconsistent with Specker's Principle

Authors: Tomáš Gonda, Ravi Kunjwal, David Schmid, Elie Wolfe, Ana Belén Sainz

Abstract: Ernst Specker considered a particular feature of quantum theory to be especially fundamental, namely that pairwise joint measurability of sharp measurements implies their global joint measurability (https://vimeo.com/52923835). To date, Specker's principle seemed incapable of singling out quantum theory from the space of all general probabilistic theories. In particular, its well-known consequence… ▽ More Ernst Specker considered a particular feature of quantum theory to be especially fundamental, namely that pairwise joint measurability of sharp measurements implies their global joint measurability (https://vimeo.com/52923835). To date, Specker's principle seemed incapable of singling out quantum theory from the space of all general probabilistic theories. In particular, its well-known consequence for experimental statistics, the principle of consistent exclusivity, does not rule out the set of correlations known as almost quantum, which is strictly larger than the set of quantum correlations. Here we show that, contrary to the popular belief, Specker's principle cannot be satisfied in any theory that yields almost quantum correlations. △ Less

Submitted 17 August, 2018; v1 submitted 4 December, 2017; originally announced December 2017.

Comments: 17 pages + appendix. 5 colour figures. Comments welcome

Journal ref: Quantum 2018 vol: 2 pp: 8

All the noncontextuality inequalities for arbitrary prepare-and-measure experiments with respect to any fixed sets of operational equivalences

Authors: David Schmid, Robert W. Spekkens, Elie Wolfe

Abstract: Within the framework of generalized noncontextuality, we introduce a general technique for systematically deriving noncontextuality inequalities for any experiment involving finitely many preparations and finitely many measurements, each of which has a finite number of outcomes. Given any fixed sets of operational equivalences among the preparations and among the measurements as input, the algorit… ▽ More Within the framework of generalized noncontextuality, we introduce a general technique for systematically deriving noncontextuality inequalities for any experiment involving finitely many preparations and finitely many measurements, each of which has a finite number of outcomes. Given any fixed sets of operational equivalences among the preparations and among the measurements as input, the algorithm returns a set of noncontextuality inequalities whose satisfaction is necessary and sufficient for a set of operational data to admit of a noncontextual model. Additionally, we show that the space of noncontextual data tables always defines a polytope. Finally, we provide a computationally efficient means for testing whether any set of numerical data admits of a noncontextual model, with respect to any fixed operational equivalences. Together, these techniques provide complete methods for characterizing arbitrary noncontextuality scenarios, both in theory and in practice. Because a quantum prepare-and-measure experiment admits of a noncontextual model if and only if it admits of a positive quasiprobability representation, our techniques also determine the necessary and sufficient conditions for the existence of such a representation. △ Less

Submitted 15 June, 2021; v1 submitted 23 October, 2017; originally announced October 2017.

Comments: Equation numbering adjusted to match published version. Bibliography updated. Erratum: typographical errors corrected in Eq. (35) [or Eq. (26) in arXiv v2]

Journal ref: Phys. Rev. A 97, 062103 (2018)

Geometry of the set of quantum correlations

Authors: Koon Tong Goh, Jędrzej Kaniewski, Elie Wolfe, Tamás Vértesi, Xingyao Wu, Yu Cai, Yeong-Cherng Liang, Valerio Scarani

Abstract: It is well known that correlations predicted by quantum mechanics cannot be explained by any classical (local-realistic) theory. The relative strength of quantum and classical correlations is usually studied in the context of Bell inequalities, but this tells us little about the geometry of the quantum set of correlations. In other words, we do not have good intuition about what the quantum set ac… ▽ More It is well known that correlations predicted by quantum mechanics cannot be explained by any classical (local-realistic) theory. The relative strength of quantum and classical correlations is usually studied in the context of Bell inequalities, but this tells us little about the geometry of the quantum set of correlations. In other words, we do not have good intuition about what the quantum set actually looks like. In this paper we study the geometry of the quantum set using standard tools from convex geometry. We find explicit examples of rather counter-intuitive features in the simplest non-trivial Bell scenario (two parties, two inputs and two outputs) and illustrate them using 2-dimensional slice plots. We also show that even more complex features appear in Bell scenarios with more inputs or more parties. Finally, we discuss the limitations that the geometry of the quantum set imposes on the task of self-testing. △ Less

Submitted 7 February, 2018; v1 submitted 16 October, 2017; originally announced October 2017.

Comments: 11 + 8 pages, 6 figures, v2: added an argument relating self-testing and extremality, v3: typos corrected, results unchanged, published version

Journal ref: Phys. Rev. A 97, 022104 (2018)

Causal Compatibility Inequalities Admitting Quantum Violations in the Triangle Structure

Authors: Thomas C. Fraser, Elie Wolfe

Abstract: It has long been recognized that certain quantum correlations are incompatible with particular assumption about classical causal structure. Given a causal structure of unknown classicality, the presence of such correlations certifies the nonclassical nature of the causal structure in a device-independent fashion. In structures where all parties share a common resource, these nonclassical correlati… ▽ More It has long been recognized that certain quantum correlations are incompatible with particular assumption about classical causal structure. Given a causal structure of unknown classicality, the presence of such correlations certifies the nonclassical nature of the causal structure in a device-independent fashion. In structures where all parties share a common resource, these nonclassical correlations are also known as nonlocal correlations. Any constraint satisfied by all correlations which are classically compatible with a given causal structure defines a causal compatibility criterion. Such criteria were recently derived for the Triangle structure (E. Wolfe et al., arXiv:1609.00672) in the form of polynomial inequalities, begging the question of whether any of those inequalities admit violation by quantum correlations. Numerical investigation suggests that they do not, and we further conjecture that the set of correlations admitted by the classical Triangle structure is equivalent to the set of correlations admitted by its quantum generalization whenever the three observable variables are binary. Our main contribution in this work, however, is the derivation of new causal compatibility inequalities for the Triangle structure which do admit quantum violation. This provides a robust-to-noise witness of quantum correlations in the Triangle structure. We conclude by considering the possibility of quantum resources potentially qualitatively different from those known previously. △ Less

Submitted 18 August, 2020; v1 submitted 19 September, 2017; originally announced September 2017.

Comments: 25 pages, 9 figures, 3 inequalities. Fixed an error in Inequality (12) and added reference to errata

Journal ref: Phys. Rev. A 98, 022113 (2018); Erratum: Phys. Rev. A 102, 029901 (2020)

Universal bound on the cardinality of local hidden variables in networks

Authors: Denis Rosset, Nicolas Gisin, Elie Wolfe

Abstract: We present an algebraic description of the sets of local correlations in arbitrary networks, when the parties have finite inputs and outputs. We consider networks generalizing the usual Bell scenarios by the presence of multiple uncorrelated sources. We prove a finite upper bound on the cardinality of the value sets of the local hidden variables. Consequently, we find that the sets of local correl… ▽ More We present an algebraic description of the sets of local correlations in arbitrary networks, when the parties have finite inputs and outputs. We consider networks generalizing the usual Bell scenarios by the presence of multiple uncorrelated sources. We prove a finite upper bound on the cardinality of the value sets of the local hidden variables. Consequently, we find that the sets of local correlations are connected, closed and semialgebraic, and bounded by tight polynomial Bell-like inequalities. △ Less

Submitted 3 September, 2017; originally announced September 2017.

Comments: 5 pages + 6 pages appendix, 2 figures, comments welcome

Journal ref: Quantum Information and Computation, Vol. 18, No. 11 \& 12 (2018) 0910-0926

The Inflation Technique Completely Solves the Causal Compatibility Problem

Authors: Miguel Navascues, Elie Wolfe

Abstract: The causal compatibility question asks whether a given causal structure graph -- possibly involving latent variables -- constitutes a genuinely plausible causal explanation for a given probability distribution over the graph's observed variables. Algorithms predicated on merely necessary constraints for causal compatibility typically suffer from false negatives, i.e. they admit incompatible distri… ▽ More The causal compatibility question asks whether a given causal structure graph -- possibly involving latent variables -- constitutes a genuinely plausible causal explanation for a given probability distribution over the graph's observed variables. Algorithms predicated on merely necessary constraints for causal compatibility typically suffer from false negatives, i.e. they admit incompatible distributions as apparently compatible with the given graph. In [arXiv:1609.00672], one of us introduced the inflation technique for formulating useful relaxations of the causal compatibility problem in terms of linear programming. In this work, we develop a formal hierarchy of such causal compatibility relaxations. We prove that inflation is asymptotically tight, i.e., that the hierarchy converges to a zero-error test for causal compatibility. In this sense, the inflation technique fulfills a longstanding desideratum in the field of causal inference. We quantify the rate of convergence by showing that any distribution which passes the $n^{th}$-order inflation test must be $O\left(n^{-1/2}\right)$-close in Euclidean norm to some distribution genuinely compatible with the given causal structure. Furthermore, we show that for many causal structures, the (unrelaxed) causal compatibility problem is faithfully formulated already by either the first or second order inflation test. △ Less

Submitted 4 August, 2020; v1 submitted 20 July, 2017; originally announced July 2017.

Comments: Updated to match forthcoming journal publication as closely as possible. Some content removed for brevity. Expanded citations. Most footnotes moved into the main text. Significant changes to subsection 4.1, where we corrected an error in the example of second order inflation not converging, and added an converse example where second order inflation outperforms other techniques

Journal ref: J. Causal Inference 8(1), 2019

Deriving robust noncontextuality inequalities from algebraic proofs of the Kochen-Specker theorem: the Peres-Mermin square

Authors: Anirudh Krishna, Robert W. Spekkens, Elie Wolfe

Abstract: When a measurement is compatible with each of two other measurements that are incompatible with one another, these define distinct contexts for the given measurement. The Kochen-Specker theorem rules out models of quantum theory that satisfy a particular assumption of context-independence: that sharp measurements are assigned outcomes both deterministically and independently of their context. This… ▽ More When a measurement is compatible with each of two other measurements that are incompatible with one another, these define distinct contexts for the given measurement. The Kochen-Specker theorem rules out models of quantum theory that satisfy a particular assumption of context-independence: that sharp measurements are assigned outcomes both deterministically and independently of their context. This notion of noncontextuality is not suited to a direct experimental test because realistic measurements always have some degree of unsharpness due to noise. However, a generalized notion of noncontextuality has been proposed that is applicable to any experimental procedure, including unsharp measurements, but also preparations as well, and for which a quantum no-go result still holds. According to this notion, the model need only specify a probability distribution over the outcomes of a measurement in a context-independent way, rather than specifying a particular outcome. It also implies novel constraints of context-independence for the representation of preparations. In this article, we describe a general technique for translating proofs of the Kochen-Specker theorem into inequality constraints on realistic experimental statistics, the violation of which witnesses the impossibility of a noncontextual model. We focus on algebraic state-independent proofs, using the Peres-Mermin square as our illustrative example. Our technique yields the necessary and sufficient conditions for a particular set of correlations (between the preparations and the measurements) to admit a noncontextual model. The inequalities thus derived are demonstrably robust to noise. We specify how experimental data must be processed in order to achieve a test of these inequalities. We also provide a criticism of prior proposals for experimental tests of noncontextuality based on the Peres-Mermin square. △ Less

Submitted 23 May, 2017; v1 submitted 4 April, 2017; originally announced April 2017.

Comments: 31 pages, 4 figures, comments welcome

Journal ref: New. J Phys 19, 123031 (2017)

Multipartite Composition of Contextuality Scenarios

Authors: Ana Belén Sainz, Elie Wolfe

Abstract: Contextuality is a particular quantum phenomenon that has no analogue in classical probability theory. Given two independent systems, a natural question is how to represent such a situation as a single test space. In other words, how separate contextuality scenarios combine into a joint scenario. Under the premise that the the allowed probabilistic models satisfy the No Signalling principle, Fouli… ▽ More Contextuality is a particular quantum phenomenon that has no analogue in classical probability theory. Given two independent systems, a natural question is how to represent such a situation as a single test space. In other words, how separate contextuality scenarios combine into a joint scenario. Under the premise that the the allowed probabilistic models satisfy the No Signalling principle, Foulis and Randall defined the unique possible way to compose two contextuality scenarios. When composing strictly-more than two test spaces, however, a variety of possible composition methods have been conceived. Nevertheless, all these formally-distinct composition methods appear to give rise to observationally equivalent scenarios, in the sense that the different compositions all allow precisely the same sets of classical and quantum probabilistic models. This raises the question of whether this property of invariance-under-composition-method is special to classical and quantum probabilistic models, or if it generalizes to other probabilistic models as well, our particular focus being $\mathcal{Q}_1$ models. $\mathcal{Q}_1$ models are physically important since, when applied to scenarios constructed by a particular composition rule, coincide with the well-defined "Almost Quantum Correlations". In this work we see that some composition rules, however, give rise to scenarios with inequivalent allowed sets of $\mathcal{Q}_1$ models. We find that the non-trivial dependence of $\mathcal{Q}_1$ models on the choice of composition method is apparently an artifact of failure of those composition rules to capture the orthogonality relations given by the Local Orthogonality principle. We prove that $\mathcal{Q}_1$ models satisfy invariance-under-composition-method for all the constructive compositions protocols which do capture this notion of Local Orthogonality. △ Less

Submitted 30 October, 2017; v1 submitted 18 January, 2017; originally announced January 2017.

Comments: 25 pages, 4 color figures, 1 table. Comments welcome. v2: improved presentation of the results and examples

Journal ref: Found. Phys. 2018 vol: 48 (8) pp: 925-953

The Inflation Technique for Causal Inference with Latent Variables

Authors: Elie Wolfe, Robert W. Spekkens, Tobias Fritz

Abstract: The problem of causal inference is to determine if a given probability distribution on observed variables is compatible with some causal structure. The difficult case is when the causal structure includes latent variables. We here introduce the $\textit{inflation technique}$ for tackling this problem. An inflation of a causal structure is a new causal structure that can contain multiple copies of… ▽ More The problem of causal inference is to determine if a given probability distribution on observed variables is compatible with some causal structure. The difficult case is when the causal structure includes latent variables. We here introduce the $\textit{inflation technique}$ for tackling this problem. An inflation of a causal structure is a new causal structure that can contain multiple copies of each of the original variables, but where the ancestry of each copy mirrors that of the original. To every distribution of the observed variables that is compatible with the original causal structure, we assign a family of marginal distributions on certain subsets of the copies that are compatible with the inflated causal structure. It follows that compatibility constraints for the inflation can be translated into compatibility constraints for the original causal structure. Even if the constraints at the level of inflation are weak, such as observable statistical independences implied by disjoint causal ancestry, the translated constraints can be strong. We apply this method to derive new inequalities whose violation by a distribution witnesses that distribution's incompatibility with the causal structure (of which Bell inequalities and Pearl's instrumental inequality are prominent examples). We describe an algorithm for deriving all such inequalities for the original causal structure that follow from ancestral independences in the inflation. For three observed binary variables with pairwise common causes, it yields inequalities that are stronger in at least some aspects than those obtainable by existing methods. We also describe an algorithm that derives a weaker set of inequalities but is more efficient. Finally, we discuss which inflations are such that the inequalities one obtains from them remain valid even for quantum (and post-quantum) generalizations of the notion of a causal model. △ Less

Submitted 22 July, 2019; v1 submitted 2 September, 2016; originally announced September 2016.

Comments: Minor final corrections, updated to match the published version as closely as possible

Journal ref: J. Causal Inference 7(2), 2019

A resolution of the puzzle of low V_us values from inclusive flavor-breaking sum rule analyses of hadronic tau decay

Authors: R. J. Hudspith, R. Lewis, K. Maltman, C. E. Wolfe, J. Zanotti

Abstract: Continuum and lattice methods are used to investigate systematic issues in the sum rule determination of $V_{us}$ using inclusive hadronic $τ$ decay data. Results for $V_{us}$ employing assumptions for $D>4$ OPE contributions used in previous conventional implementations of this approach are shown to display unphysical dependence on the sum rule weight, $w$, and choice of upper limit, $s_0$, of th… ▽ More Continuum and lattice methods are used to investigate systematic issues in the sum rule determination of $V_{us}$ using inclusive hadronic $τ$ decay data. Results for $V_{us}$ employing assumptions for $D>4$ OPE contributions used in previous conventional implementations of this approach are shown to display unphysical dependence on the sum rule weight, $w$, and choice of upper limit, $s_0$, of the relevant experimental spectral integrals. Continuum and lattice results suggest a new implementation of the sum rule approach with not just $\vert V_{us}\vert$, but also $D>4$ effective condensates, fit to data. Lattice results are also shown to provide a quantitative assessment of truncation uncertainties for the slowly converging $D=2$ OPE series. The new sum rule implementation yields $\vert V_{us}\vert$ results free of unphysical $s_0$- and $w$-dependences and $\sim 0.0020$ higher than that obtained using the conventional implementation. With preliminary new experimental results for the $Kπ$ branching fraction, the resulting $\vert V_{us}\vert$ is in excellent agreement with that based on $K_{\ell 3}$, and compatible within errors with expectations from three-family unitarity. △ Less

Submitted 26 November, 2015; originally announced November 2015.

Comments: 6 pages, 4 figures. Prepared for the Proceedings of the PhiPsi15, Sep. 23-26, 2015, Hefei, China. arXiv admin note: text overlap with arXiv:1510.06954

A resolution of the inclusive flavor-breaking sum rule $τ$ $V_{us}$ puzzle

Authors: K. Maltman, R. J. Hudspith, R. Lewis, C. E. Wolfe, J. Zanotti

Abstract: A combination of continuum and lattice methods is used to investigate systematic issues in the finite-energy-sum-rule determination of $V_{us}$ based on flavor-breaking combinations of hadronic $τ$ decay data. Results for $V_{us}$ obtained using assumptions for $D>4$ OPE contributions employed in previous conventional implementations of this approach are shown to display significant unphysical dep… ▽ More A combination of continuum and lattice methods is used to investigate systematic issues in the finite-energy-sum-rule determination of $V_{us}$ based on flavor-breaking combinations of hadronic $τ$ decay data. Results for $V_{us}$ obtained using assumptions for $D>4$ OPE contributions employed in previous conventional implementations of this approach are shown to display significant unphysical dependences on the choice of sum rule weight, $w$, and upper limit, $s_0$, of the relevant experimental spectral integrals. Continuum and lattice results suggest the necessity of a new implementation of the flavor-breaking sum rule approach, in which not only $\vert V_{us}\vert$, but also $D>4$ effective condensates are fit to data. Lattice results also provide a means of quantifying the truncation error for the slowly converging $D=2$ OPE series. The new implementation is shown to produce $\vert V_{us}\vert$ results free of unphysical $s_0$- and $w$-dependences and typically $\sim 0.0020$ higher than the (unstable) results found using the conventional implementation. With preliminary new experimental results for the $Kπ$ branching fraction, the resulting $\vert V_{us}\vert$ is in excellent agreement with that obtained from $K_{\ell 3}$, and compatible within errors with expectations from three-family unitarity. △ Less

Submitted 23 October, 2015; originally announced October 2015.

Comments: 7 pages, 4 figures. Presented at the 33rd International Symposium on Lattice Field Theory, Kobe, Japan

Identifying Nonconvexity in the Sets of Limited-Dimension Quantum Correlations

Authors: John Matthew Donohue, Elie Wolfe

Abstract: Quantum theory is known to be nonlocal in the sense that separated parties can perform measurements on a shared quantum state to obtain correlated probability distributions, which cannot be achieved if the parties share only classical randomness. Here we find that the set of distributions compatible with sharing quantum states subject to some sufficiently restricted dimension is neither convex nor… ▽ More Quantum theory is known to be nonlocal in the sense that separated parties can perform measurements on a shared quantum state to obtain correlated probability distributions, which cannot be achieved if the parties share only classical randomness. Here we find that the set of distributions compatible with sharing quantum states subject to some sufficiently restricted dimension is neither convex nor a superset of the classical distributions. We examine the relationship between quantum distributions associated with a dimensional constraint and classical distributions associated with limited shared randomness. We prove that quantum correlations are convex for certain finite dimension in certain Bell scenarios and that they sometimes offer a dimensional advantage in realizing local distributions. We also consider if there exist Bell scenarios where the set of quantum correlations is never convex with finite dimensionality. △ Less

Submitted 29 February, 2016; v1 submitted 3 June, 2015; originally announced June 2015.

Comments: v3 was been updated so that the arXiv version matches the published version's content. v4 corrects small remaining typos, corrects footnote #3 which references arXiv:1507.00213, and restores the supplementary Mathematica notebook to the arXiv source

Journal ref: Phys. Rev. A 92, 062120 (2015)

Quantum Apices: Identifying Limits of Entanglement, Nonlocality, & Contextuality

Authors: Elie Wolfe

Abstract: This work develops analytic methods to quantitatively demarcate quantum reality from its subset of classical phenomenon, as well as from the superset of general probabilistic theories. Regarding quantum nonlocality, we discuss how to determine the quantum limit of Bell-type linear inequalities. In contrast to semidefinite programming approaches, our method allows for the consideration of inequalit… ▽ More This work develops analytic methods to quantitatively demarcate quantum reality from its subset of classical phenomenon, as well as from the superset of general probabilistic theories. Regarding quantum nonlocality, we discuss how to determine the quantum limit of Bell-type linear inequalities. In contrast to semidefinite programming approaches, our method allows for the consideration of inequalities with abstract weights, by means of leveraging the Hermiticity of quantum states. Recognizing that classical correlations correspond to measurements made on separable states, we also introduce a practical method for obtaining sufficient separability criteria. We specifically vet the candidacy of driven and undriven superradiance as schema for entanglement generation. We conclude by reviewing current approaches to quantum contextuality, emphasizing the operational distinction between nonlocal and contextual quantum statistics. We utilize our abstractly-weighted linear quantum bounds to explicitly demonstrate a set of conditional probability distributions which are simultaneously compatible with quantum contextuality while being incompatible with quantum nonlocality. It is noted that this novel statistical regime implies an experimentally-testable target for the Consistent Histories theory of quantum gravity. △ Less

Submitted 8 September, 2014; originally announced September 2014.

Comments: Doctoral Thesis for the University of Connecticut

Spin Squeezing by means of Driven Superradiance

Authors: Elie Wolfe, S. F. Yelin

Abstract: We discuss the possibility of generating spin squeezed states by means of driven superradiance, analytically affirming and broadening the finding in [Phys. Rev. Lett. 110, 080502 (2013)]. In an earlier paper [Phys. Rev. Lett. 112, 140402 (2014)] the authors determined that spontaneous purely-dissipative Dicke model superradiance failed to generate any entanglement over the course of the system's t… ▽ More We discuss the possibility of generating spin squeezed states by means of driven superradiance, analytically affirming and broadening the finding in [Phys. Rev. Lett. 110, 080502 (2013)]. In an earlier paper [Phys. Rev. Lett. 112, 140402 (2014)] the authors determined that spontaneous purely-dissipative Dicke model superradiance failed to generate any entanglement over the course of the system's time evolution. In this article we show that by adding a driving field, however, the Dicke model system can be tuned to evolve toward an entangled steady state. We discuss how to optimize the driving frequency to maximize the entanglement. We show that the resulting entanglement is fairly strong, in that it leads to spin squeezing. △ Less

Submitted 27 June, 2014; v1 submitted 20 May, 2014; originally announced May 2014.

Comments: 5+5 pages, 3 color figures. Changed to acknowledge the precedents set by González-Tudela and Porras. Factor of 1/2 added to driving potential. Comments on how to optimize the resulting entanglement (Fig. 3). New discussion regarding variants of the spin squeezing parameter and a comment on the class of the observed entanglement (Appendix C). Many additional references. Figures redone for print

Certifying Separability in Symmetric Mixed States, and Superradiance

Authors: Elie Wolfe, S. F. Yelin

Abstract: Separability criteria are typically of the necessary, but not sufficient, variety, in that satisfying some separability criterion, such as positivity of eigenvalues under partial transpose, does not strictly imply separability. Certifying separability amounts to proving the existence of a decomposition of a target mixed state into some convex combination of separable states; determining the existe… ▽ More Separability criteria are typically of the necessary, but not sufficient, variety, in that satisfying some separability criterion, such as positivity of eigenvalues under partial transpose, does not strictly imply separability. Certifying separability amounts to proving the existence of a decomposition of a target mixed state into some convex combination of separable states; determining the existence of such a decomposition is "hard." We show that it is effective to ask, instead, if the target mixed state "fits" some preconstructed separable form, in that one can generate a sufficient separability criterion relevant to all target states in some family by ensuring enough degrees of freedom in the preconstructed separable form. We demonstrate this technique by inducing a sufficient criterion for "diagonally symmetric" states of N qubits. A sufficient separability criterion opens the door to study precisely how entanglement is (not) formed; we use ours to prove that, counterintuitively, entanglement is not generated in idealized Dicke model superradiance despite its exemplification of many-body effects. We introduce a quantification of the extent to which a given preconstructed parametrization comprises the set of all separable states; for "diagonally symmetric" states our preconstruction is shown to be fully complete. This implies that our criterion is necessary in addition to sufficient, among other ramifications which we explore. △ Less

Submitted 18 April, 2014; v1 submitted 22 July, 2013; originally announced July 2013.

Comments: Updated to match published version. 4.5+5.5 pages, article+SOM merged into one document. The main text is somewhat sparser in this revision due to the PRL word limit. Wording and notation have been updated for clarity, also additional references. A graphical certification of separability is now included in the supplementary materials

Journal ref: Phys. Rev. Lett. 112, 140402 (2014)