-
Developments in Sheaf-Theoretic Models of Natural Language Ambiguities
Authors:
Kin Ian Lo,
Mehrnoosh Sadrzadeh,
Shane Mansfield
Abstract:
Sheaves are mathematical objects consisting of a base which constitutes a topological space and the data associated with each open set thereof, e.g. continuous functions defined on the open sets. Sheaves have originally been used in algebraic topology and logic. Recently, they have also modelled events such as physical experiments and natural language disambiguation processes. We extend the latter…
▽ More
Sheaves are mathematical objects consisting of a base which constitutes a topological space and the data associated with each open set thereof, e.g. continuous functions defined on the open sets. Sheaves have originally been used in algebraic topology and logic. Recently, they have also modelled events such as physical experiments and natural language disambiguation processes. We extend the latter models from lexical ambiguities to discourse ambiguities arising from anaphora. To begin, we calculated a new measure of contextuality for a dataset of basic anaphoric discourses, resulting in a higher proportion of contextual models--82.9%--compared to previous work which only yielded 3.17% contextual models. Then, we show how an extension of the natural language processing challenge, known as the Winograd Schema, which involves anaphoric ambiguities can be modelled on the Bell-CHSH scenario with a contextual fraction of 0.096.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
A.I. In All The Wrong Places
Authors:
Marc Böhlen,
Ruolin Chen,
Xiaoxu Dong,
Srikar Gopaladinne,
Hemanth Gorla,
Divya Kandukuri,
Sean Mansfield
Abstract:
This text describes experiences gained across a two-year test period during which two generations of Generative Artificial Intelligence (A.I.) systems were incorporated into an interdisciplinary, university level course on A.I. for art and design practices. The text uses the results from the courses to reflect on new opportunities for generative systems in art and design, while considering traps a…
▽ More
This text describes experiences gained across a two-year test period during which two generations of Generative Artificial Intelligence (A.I.) systems were incorporated into an interdisciplinary, university level course on A.I. for art and design practices. The text uses the results from the courses to reflect on new opportunities for generative systems in art and design, while considering traps and limits.
△ Less
Submitted 17 February, 2024; v1 submitted 29 January, 2024;
originally announced January 2024.
-
A Spin-Optical Quantum Computing Architecture
Authors:
Grégoire de Gliniasty,
Paul Hilaire,
Pierre-Emmanuel Emeriau,
Stephen C. Wein,
Alexia Salavrakos,
Shane Mansfield
Abstract:
We introduce an adaptable and modular hybrid architecture designed for fault-tolerant quantum computing. It combines quantum emitters and linear-optical entangling gates to leverage the strength of both matter-based and photonic-based approaches. A key feature of the architecture is its practicality, grounded in the utilisation of experimentally proven optical components. Our framework enables the…
▽ More
We introduce an adaptable and modular hybrid architecture designed for fault-tolerant quantum computing. It combines quantum emitters and linear-optical entangling gates to leverage the strength of both matter-based and photonic-based approaches. A key feature of the architecture is its practicality, grounded in the utilisation of experimentally proven optical components. Our framework enables the execution of any quantum error correcting code, but in particular maintains scalability for low-density parity check codes by exploiting built-in non-local connectivity through distant optical links. To gauge its efficiency, we evaluated the architecture using a physically motivated error model. It exhibits loss tolerance comparable to existing all-photonic architecture but without the need for intricate linear-optical resource-state-generation modules that conventionally rely on resource-intensive multiplexing. The versatility of the architecture also offers uncharted avenues for further advancing performance standards.
△ Less
Submitted 12 July, 2024; v1 submitted 9 November, 2023;
originally announced November 2023.
-
Corrected Bell and Noncontextuality Inequalities for Realistic Experiments
Authors:
Kim Vallée,
Pierre-Emmanuel Emeriau,
Boris Bourdoncle,
Adel Sohbi,
Shane Mansfield,
Damian Markham
Abstract:
Contextuality is a feature of quantum correlations. It is crucial from a foundational perspective as a nonclassical phenomenon, and from an applied perspective as a resource for quantum advantage. It is commonly defined in terms of hidden variables, for which it forces a contradiction with the assumptions of parameter-independence and determinism. The former can be justified by the empirical prope…
▽ More
Contextuality is a feature of quantum correlations. It is crucial from a foundational perspective as a nonclassical phenomenon, and from an applied perspective as a resource for quantum advantage. It is commonly defined in terms of hidden variables, for which it forces a contradiction with the assumptions of parameter-independence and determinism. The former can be justified by the empirical property of non-signalling or non-disturbance, and the latter by the empirical property of measurement sharpness. However, in realistic experiments neither empirical property holds exactly, which leads to possible objections to contextuality as a form of nonclassicality, and potential vulnerabilities for supposed quantum advantages. We introduce measures to quantify both properties, and introduce quantified relaxations of the corresponding assumptions. We prove the continuity of a known measure of contextuality, the contextual fraction, which ensures its robustness to noise. We then bound the extent to which these relaxations can account for contextuality, via corrections terms to the contextual fraction (or to any noncontextuality inequality), culminating in a notion of genuine contextuality, which is robust to experimental imperfections. We then show that our result is general enough to apply or relate to a variety of established results and experimental setups.
△ Less
Submitted 30 October, 2023;
originally announced October 2023.
-
A Quadratic Vinogradov Mean Value Theorem in Finite Fields
Authors:
Samuel Mansfield,
Akshat Mudgal
Abstract:
Let $p$ be a prime, let $s \geq 3$ be a natural number and let $A \subseteq \mathbb{F}_p$ be a non-empty set satisfying $|A| \ll p^{1/2}$. Denoting $J_s(A)$ to be the number of solutions to the system of equations \[ \sum_{i=1}^{s} (x_i - x_{i+s}) = \sum_{i=1}^{s} (x_i^2 - x_{i+s}^2) = 0, \] with $x_1, \dots, x_{2s} \in A$, our main result implies that \[ J_s(A) \ll |A|^{2s - 2 - 1/9}. \] This can…
▽ More
Let $p$ be a prime, let $s \geq 3$ be a natural number and let $A \subseteq \mathbb{F}_p$ be a non-empty set satisfying $|A| \ll p^{1/2}$. Denoting $J_s(A)$ to be the number of solutions to the system of equations \[ \sum_{i=1}^{s} (x_i - x_{i+s}) = \sum_{i=1}^{s} (x_i^2 - x_{i+s}^2) = 0, \] with $x_1, \dots, x_{2s} \in A$, our main result implies that \[ J_s(A) \ll |A|^{2s - 2 - 1/9}. \] This can be seen as a finite field analogue of the quadratic Vinogradov mean value theorem. Our techniques involve a variety of combinatorial geometric estimates, including studying incidences between cartesian products $A\times A$ and a special family of modular hyperbolae.
△ Less
Submitted 12 October, 2023; v1 submitted 4 October, 2023;
originally announced October 2023.
-
The convective kissing instability in low-mass M-dwarf models: convective overshooting, semi-convection, luminosity functions, surface abundances and star cluster age dating
Authors:
Santana Mansfield,
Pavel Kroupa
Abstract:
Low-mass models of M-dwarfs that undergo the convective kissing instability fluctuate in luminosity and temperature resulting in a gap in the main sequence that is observed in the $Gaia$ data. During this instability, the models have repeated periods of full convection where the material is mixed throughout the model. Stellar evolution models are performed using MESA with varying amounts of convec…
▽ More
Low-mass models of M-dwarfs that undergo the convective kissing instability fluctuate in luminosity and temperature resulting in a gap in the main sequence that is observed in the $Gaia$ data. During this instability, the models have repeated periods of full convection where the material is mixed throughout the model. Stellar evolution models are performed using MESA with varying amounts of convective overshooting and semi-convection. We find that the amplitude and intensity of the instability is reduced with increasing amounts of overshooting but sustained when semi-convection is present. This is reflected in the loops in the evolutionary tracks in the Hertzsprung-Russell diagram. The surface abundances of $^1$H, $^3$He, $^4$He, $^{12}$C, $^{14}$N and $^{16}$O increase or decrease over time due to the convective boundary, however the relative abundance changes are very small and not likely observable. The mass and magnitude values from the models are assigned to a synthetic population of stars from the mass-magnitude relation to create colour-magnitude diagrams, which reproduce the M-dwarf gap as a large indent into the blueward edge of the main sequence (MS). This is featured in the luminosity function as a small peak and dip. The width of the MS decreases over time along with the difference in width between the MS at masses higher and lower than the instability. The parallel offset and relative angle between the upper and lower parts of the MS also change with time along with the mass-magnitude relation. Potential age-dating methods for single stars and stellar populations are described.
△ Less
Submitted 14 September, 2023;
originally announced September 2023.
-
Generalised Winograd Schema and its Contextuality
Authors:
Kin Ian Lo,
Mehrnoosh Sadrzadeh,
Shane Mansfield
Abstract:
Ambiguities in natural language give rise to probability distributions over interpretations. The distributions are often over multiple ambiguous words at a time; a multiplicity which makes them a suitable topic for sheaf-theoretic models of quantum contextuality. Previous research showed that different quantitative measures of contextuality correlate well with Psycholinguistic research on lexical…
▽ More
Ambiguities in natural language give rise to probability distributions over interpretations. The distributions are often over multiple ambiguous words at a time; a multiplicity which makes them a suitable topic for sheaf-theoretic models of quantum contextuality. Previous research showed that different quantitative measures of contextuality correlate well with Psycholinguistic research on lexical ambiguities. In this work, we focus on coreference ambiguities and investigate the Winograd Schema Challenge (WSC), a test proposed by Levesque in 2011 to evaluate the intelligence of machines. The WSC consists of a collection of multiple-choice questions that require disambiguating pronouns in sentences structured according to the Winograd schema, in a way that makes it difficult for machines to determine the correct referents but remains intuitive for human comprehension. In this study, we propose an approach that analogously models the Winograd schema as an experiment in quantum physics. However, we argue that the original Winograd Schema is inherently too simplistic to facilitate contextuality. We introduce a novel mechanism for generalising the schema, rendering it analogous to a Bell-CHSH measurement scenario. We report an instance of this generalised schema, complemented by the human judgements we gathered via a crowdsourcing platform. The resulting model violates the Bell-CHSH inequality by 0.192, thus exhibiting contextuality in a coreference resolution setting.
△ Less
Submitted 31 August, 2023;
originally announced August 2023.
-
Proceedings of the Twentieth International Conference on Quantum Physics and Logic
Authors:
Shane Mansfield,
Benoît Valiron,
Vladimir Zamdzhiev
Abstract:
This volume contains the proceedings of the 20th International Conference on Quantum Physics and Logic (QPL 2023). The aim of the QPL conference series is to bring together academic and industry researchers working on mathematical foundations of quantum computation, quantum physics, and related areas. The main focus is on the use of algebraic and categorical structures, formal languages, type syst…
▽ More
This volume contains the proceedings of the 20th International Conference on Quantum Physics and Logic (QPL 2023). The aim of the QPL conference series is to bring together academic and industry researchers working on mathematical foundations of quantum computation, quantum physics, and related areas. The main focus is on the use of algebraic and categorical structures, formal languages, type systems, semantic methods, as well as other mathematical and computer scientific techniques applicable to the study of physical systems, physical processes, and their composition.
△ Less
Submitted 6 September, 2023; v1 submitted 23 August, 2023;
originally announced August 2023.
-
A general-purpose single-photon-based quantum computing platform
Authors:
Nicolas Maring,
Andreas Fyrillas,
Mathias Pont,
Edouard Ivanov,
Petr Stepanov,
Nico Margaria,
William Hease,
Anton Pishchagin,
Thi Huong Au,
Sébastien Boissier,
Eric Bertasi,
Aurélien Baert,
Mario Valdivia,
Marie Billard,
Ozan Acar,
Alexandre Brieussel,
Rawad Mezher,
Stephen C. Wein,
Alexia Salavrakos,
Patrick Sinnott,
Dario A. Fioretto,
Pierre-Emmanuel Emeriau,
Nadia Belabas,
Shane Mansfield,
Pascale Senellart
, et al. (2 additional authors not shown)
Abstract:
Quantum computing aims at exploiting quantum phenomena to efficiently perform computations that are unfeasible even for the most powerful classical supercomputers. Among the promising technological approaches, photonic quantum computing offers the advantages of low decoherence, information processing with modest cryogenic requirements, and native integration with classical and quantum networks. To…
▽ More
Quantum computing aims at exploiting quantum phenomena to efficiently perform computations that are unfeasible even for the most powerful classical supercomputers. Among the promising technological approaches, photonic quantum computing offers the advantages of low decoherence, information processing with modest cryogenic requirements, and native integration with classical and quantum networks. To date, quantum computing demonstrations with light have implemented specific tasks with specialized hardware, notably Gaussian Boson Sampling which permitted quantum computational advantage to be reached. Here we report a first user-ready general-purpose quantum computing prototype based on single photons. The device comprises a high-efficiency quantum-dot single-photon source feeding a universal linear optical network on a reconfigurable chip for which hardware errors are compensated by a machine-learned transpilation process. Our full software stack allows remote control of the device to perform computations via logic gates or direct photonic operations. For gate-based computation we benchmark one-, two- and three-qubit gates with state-of-the art fidelities of $99.6\pm0.1 \%$, $93.8\pm0.6 \%$ and $86\pm1.2 \%$ respectively. We also implement a variational quantum eigensolver, which we use to calculate the energy levels of the hydrogen molecule with high accuracy. For photon native computation, we implement a classifier algorithm using a $3$-photon-based quantum neural network and report a first $6$-photon Boson Sampling demonstration on a universal reconfigurable integrated circuit. Finally, we report on a first heralded 3-photon entanglement generation, a key milestone toward measurement-based quantum computing.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
Solving graph problems with single-photons and linear optics
Authors:
Rawad Mezher,
Ana Filipa Carvalho,
Shane Mansfield
Abstract:
An important challenge for current and near-term quantum devices is finding useful tasks that can be preformed on them. We first show how to efficiently encode a bounded $n \times n$ matrix $A$ into a linear optical circuit with $2n$ modes. We then apply this encoding to the case where $A$ is a matrix containing information about a graph $G$. We show that a photonic quantum processor consisting of…
▽ More
An important challenge for current and near-term quantum devices is finding useful tasks that can be preformed on them. We first show how to efficiently encode a bounded $n \times n$ matrix $A$ into a linear optical circuit with $2n$ modes. We then apply this encoding to the case where $A$ is a matrix containing information about a graph $G$. We show that a photonic quantum processor consisting of single-photon sources, a linear optical circuit encoding $A$, and single-photon detectors can solve a range of graph problems including finding the number of perfect matchings of bipartite graphs, computing permanental polynomials, determining whether two graphs are isomorphic, and the $k$-densest subgraph problem. We also propose pre-processing methods to boost the probabilities of observing the relevant detection events and thus improve performance. Finally we present both numerical simulations and implementations on Quandela's Ascella photonic quantum processor to validate our findings.
△ Less
Submitted 14 August, 2023; v1 submitted 23 January, 2023;
originally announced January 2023.
-
Certified randomness in tight space
Authors:
Andreas Fyrillas,
Boris Bourdoncle,
Alexandre Maïnos,
Pierre-Emmanuel Emeriau,
Kayleigh Start,
Nico Margaria,
Martina Morassi,
Aristide Lemaître,
Isabelle Sagnes,
Petr Stepanov,
Thi Huong Au,
Sébastien Boissier,
Niccolo Somaschi,
Nicolas Maring,
Nadia Belabas,
Shane Mansfield
Abstract:
Reliable randomness is a core ingredient in algorithms and applications ranging from numerical simulations to statistical sampling and cryptography. The outcomes of measurements on entangled quantum states can violate Bell inequalities, thus guaranteeing their intrinsic randomness. This constitutes the basis for certified randomness generation. However, this certification requires spacelike separa…
▽ More
Reliable randomness is a core ingredient in algorithms and applications ranging from numerical simulations to statistical sampling and cryptography. The outcomes of measurements on entangled quantum states can violate Bell inequalities, thus guaranteeing their intrinsic randomness. This constitutes the basis for certified randomness generation. However, this certification requires spacelike separated devices, making it unfit for a compact apparatus. Here we provide a general method for certified randomness generation on a small-scale application-ready device and perform an integrated photonic demonstration combining a solid-state emitter and a glass chip. In contrast to most existing certification protocols, which in the absence of spacelike separation are vulnerable to loopholes inherent to realistic devices, the protocol we implement accounts for information leakage and is thus compatible with emerging compact scalable devices. We demonstrate a 2-qubit photonic device that achieves the highest standard in randomness yet is cut out for real-world applications. The full 94.5-hour-long stabilized process harnesses a bright and stable single-photon quantum-dot based source, feeding into a reconfigurable photonic chip, with stability in the milliradian range on the implemented phases and consistent indistinguishability of the entangled photons above 93%. Using the contextuality framework, we certify private randomness generation and achieve a rate compatible with randomness expansion secure against quantum adversaries.
△ Less
Submitted 15 May, 2024; v1 submitted 9 January, 2023;
originally announced January 2023.
-
Connecting XOR and XOR* games
Authors:
Lorenzo Catani,
Ricardo Faleiro,
Pierre-Emmanuel Emeriau,
Shane Mansfield,
Anna Pappa
Abstract:
In this work we focus on two classes of games: XOR nonlocal games and XOR* sequential games with monopartite resources. XOR games have been widely studied in the literature of nonlocal games, and we introduce XOR* games as their natural counterpart within the class of games where a resource system is subjected to a sequence of controlled operations and a final measurement. Examples of XOR* games a…
▽ More
In this work we focus on two classes of games: XOR nonlocal games and XOR* sequential games with monopartite resources. XOR games have been widely studied in the literature of nonlocal games, and we introduce XOR* games as their natural counterpart within the class of games where a resource system is subjected to a sequence of controlled operations and a final measurement. Examples of XOR* games are $2\rightarrow 1$ quantum random access codes (QRAC) and the CHSH* game introduced by Henaut et al. in [PRA 98,060302(2018)]. We prove, using the diagrammatic language of process theories, that under certain assumptions these two classes of games can be related via an explicit theorem that connects their optimal strategies, and so their classical (Bell) and quantum (Tsirelson) bounds. We also show that two of such assumptions -- the reversibility of transformations and the bi-dimensionality of the resource system in the XOR* games -- are strictly necessary for the theorem to hold by providing explicit counterexamples. We conclude with several examples of pairs of XOR/XOR* games and by discussing in detail the possible resources that power the quantum computational advantages in XOR* games.
△ Less
Submitted 5 February, 2024; v1 submitted 1 October, 2022;
originally announced October 2022.
-
A Model of Anaphoric Ambiguities using Sheaf Theoretic Quantum-like Contextuality and BERT
Authors:
Kin Ian Lo,
Mehrnoosh Sadrzadeh,
Shane Mansfield
Abstract:
Ambiguities of natural language do not preclude us from using it and context helps in getting ideas across. They, nonetheless, pose a key challenge to the development of competent machines to understand natural language and use it as humans do. Contextuality is an unparalleled phenomenon in quantum mechanics, where different mathematical formalisms have been put forwards to understand and reason…
▽ More
Ambiguities of natural language do not preclude us from using it and context helps in getting ideas across. They, nonetheless, pose a key challenge to the development of competent machines to understand natural language and use it as humans do. Contextuality is an unparalleled phenomenon in quantum mechanics, where different mathematical formalisms have been put forwards to understand and reason about it. In this paper, we construct a schema for anaphoric ambiguities that exhibits quantum-like contextuality. We use a recently developed criterion of sheaf-theoretic contextuality that is applicable to signalling models. We then take advantage of the neural word embedding engine BERT to instantiate the schema to natural language examples and extract probability distributions for the instances. As a result, plenty of sheaf-contextual examples were discovered in the natural language corpora BERT utilises. Our hope is that these examples will pave the way for future research and for finding ways to extend applications of quantum computing to natural language processing.
△ Less
Submitted 11 August, 2022;
originally announced August 2022.
-
A Complete Equational Theory for Quantum Circuits
Authors:
Alexandre Clément,
Nicolas Heurtel,
Shane Mansfield,
Simon Perdrix,
Benoît Valiron
Abstract:
We introduce the first complete equational theory for quantum circuits. More precisely, we introduce a set of circuit equations that we prove to be sound and complete: two circuits represent the same unitary map if and only if they can be transformed one into the other using the equations. The proof is based on the properties of multi-controlled gates -- that are defined using elementary gates --…
▽ More
We introduce the first complete equational theory for quantum circuits. More precisely, we introduce a set of circuit equations that we prove to be sound and complete: two circuits represent the same unitary map if and only if they can be transformed one into the other using the equations. The proof is based on the properties of multi-controlled gates -- that are defined using elementary gates -- together with an encoding of quantum circuits into linear optical circuits, which have been proved to have a complete axiomatisation.
△ Less
Submitted 4 February, 2023; v1 submitted 21 June, 2022;
originally announced June 2022.
-
Strong Simulation of Linear Optical Processes
Authors:
Nicolas Heurtel,
Shane Mansfield,
Jean Senellart,
Benoît Valiron
Abstract:
In this paper, we provide an algorithm and general framework for the simulation of photons passing through linear optical interferometers. Given $n$ photons at the input of an $m$-mode interferometer, our algorithm computes the probabilities of all possible output states with time complexity $O\left({n\binom{n+m-1}{m-1}}\right)$, linear in the number of output states $\binom{n+m-1}{m-1}$. It outpe…
▽ More
In this paper, we provide an algorithm and general framework for the simulation of photons passing through linear optical interferometers. Given $n$ photons at the input of an $m$-mode interferometer, our algorithm computes the probabilities of all possible output states with time complexity $O\left({n\binom{n+m-1}{m-1}}\right)$, linear in the number of output states $\binom{n+m-1}{m-1}$. It outperforms the permanent-based method by an exponential factor, and for the restricted problem of computing the probability for one given output it improves the time complexity over the state-of-the-art for the permanent of matrices with multiple rows or columns, with a tradeoff in the memory usage. Our algorithm also has additional versatility by virtue of its use of memorisation -- the storing of intermediate results -- which is advantageous in situations where several input states may be of interest. Additionally it allows for hybrid simulations, in which outputs are sampled from output states whose probability exceeds a given threshold, or from a restricted set of states. We consider a concrete, optimised implementation, and we benchmark the efficiency of our approach compared to existing tools.
△ Less
Submitted 3 August, 2023; v1 submitted 21 June, 2022;
originally announced June 2022.
-
A Structural Theorem for Sets With Few Triangles
Authors:
Sam Mansfield,
Jonathan Passant
Abstract:
We show that if a finite point set $P\subseteq \mathbb{R}^2$ has the fewest congruence classes of triangles possible, up to a constant $M$, then at least one of the following holds.
(1) There is a $σ>0$ and a line $l$ which contains $Ω(|P|^σ)$ points of $P$. Further, a positive proportion of $P$ is covered by lines parallel to $l$ each containing $Ω(|P|^σ)$ points of $P$.
(2) There is a circle…
▽ More
We show that if a finite point set $P\subseteq \mathbb{R}^2$ has the fewest congruence classes of triangles possible, up to a constant $M$, then at least one of the following holds.
(1) There is a $σ>0$ and a line $l$ which contains $Ω(|P|^σ)$ points of $P$. Further, a positive proportion of $P$ is covered by lines parallel to $l$ each containing $Ω(|P|^σ)$ points of $P$.
(2) There is a circle $γ$ which contains a positive proportion of $P$.
This provides evidence for two conjectures of Erdős. We use the result of Petridis-Roche-Newton-Rudnev-Warren on the structure of the affine group combined with classical results from additive combinatorics.
△ Less
Submitted 24 October, 2023; v1 submitted 20 June, 2022;
originally announced June 2022.
-
LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits
Authors:
Alexandre Clément,
Nicolas Heurtel,
Shane Mansfield,
Simon Perdrix,
Benoît Valiron
Abstract:
We introduce the LOv-calculus, a graphical language for reasoning about linear optical quantum circuits with so-called vacuum state auxiliary inputs. We present the axiomatics of the language and prove its soundness and completeness: two LOv-circuits represent the same quantum process if and only if one can be transformed into the other with the rules of the LOv-calculus. We give a confluent and t…
▽ More
We introduce the LOv-calculus, a graphical language for reasoning about linear optical quantum circuits with so-called vacuum state auxiliary inputs. We present the axiomatics of the language and prove its soundness and completeness: two LOv-circuits represent the same quantum process if and only if one can be transformed into the other with the rules of the LOv-calculus. We give a confluent and terminating rewrite system to rewrite any polarisation-preserving LOv-circuit into a unique triangular normal form, inspired by the universal decomposition of Reck et al. (1994) for linear optical quantum circuits.
△ Less
Submitted 25 April, 2022;
originally announced April 2022.
-
Far-ultraviolet investigation into the galactic globular cluster M30 (NGC 7099): II. Potential X-ray counterparts and variable sources
Authors:
Santana Mansfield,
Andrea Dieball,
Pavel Kroupa,
Christian Knigge,
David R. Zurek,
Michael Shara,
Knox S. Long
Abstract:
We present a far-ultraviolet (FUV) study of the globular cluster M30 (NGC 7099). The images were obtained using the Advanced Camera for Surveys (ACS/SBC, F150LP, FUV) and the Wide Field Planetary Camera 2 (WFPC2, F300W, UV) on board the Hubble Space Telescope (HST). We compare the catalogue of FUV objects to ten known X-ray sources and find six confident matches of two cataclysmic variables (CVs),…
▽ More
We present a far-ultraviolet (FUV) study of the globular cluster M30 (NGC 7099). The images were obtained using the Advanced Camera for Surveys (ACS/SBC, F150LP, FUV) and the Wide Field Planetary Camera 2 (WFPC2, F300W, UV) on board the Hubble Space Telescope (HST). We compare the catalogue of FUV objects to ten known X-ray sources and find six confident matches of two cataclysmic variables (CVs), one RS CVn, one red giant with strong FUV emission and two sources only detected in the FUV. We also searched for variable sources in our dataset and found a total of seven blue stragglers (BSs), four horizontal branch (HB) stars, five red giant branch stars, 28 main sequence stars and four gap objects that demonstrated variability. One BS star is a known W-UMa contact binary, one of the gap objects is a known CV identified in this work to be a dwarf nova, and the three other gap sources are weak variables. The periods and positions of two of the variable HB stars match them to two previously known RR Lyrae variables of types RRab and RRc.
△ Less
Submitted 20 April, 2022;
originally announced April 2022.
-
Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing
Authors:
Nicolas Heurtel,
Andreas Fyrillas,
Grégoire de Gliniasty,
Raphaël Le Bihan,
Sébastien Malherbe,
Marceau Pailhas,
Eric Bertasi,
Boris Bourdoncle,
Pierre-Emmanuel Emeriau,
Rawad Mezher,
Luka Music,
Nadia Belabas,
Benoît Valiron,
Pascale Senellart,
Shane Mansfield,
Jean Senellart
Abstract:
We introduce Perceval, an open-source software platform for simulating and interfacing with discrete-variable photonic quantum computers, and describe its main features and components. Its Python front-end allows photonic circuits to be composed from basic photonic building blocks like photon sources, beam splitters, phase-shifters and detectors. A variety of computational back-ends are available…
▽ More
We introduce Perceval, an open-source software platform for simulating and interfacing with discrete-variable photonic quantum computers, and describe its main features and components. Its Python front-end allows photonic circuits to be composed from basic photonic building blocks like photon sources, beam splitters, phase-shifters and detectors. A variety of computational back-ends are available and optimised for different use-cases. These use state-of-the-art simulation techniques covering both weak simulation, or sampling, and strong simulation. We give examples of Perceval in action by reproducing a variety of photonic experiments and simulating photonic implementations of a range of quantum algorithms, from Grover's and Shor's to examples of quantum machine learning. Perceval is intended to be a useful toolkit for experimentalists wishing to easily model, design, simulate, or optimise a discrete-variable photonic experiment, for theoreticians wishing to design algorithms and applications for discrete-variable photonic quantum computing platforms, and for application designers wishing to evaluate algorithms on available state-of-the-art photonic quantum computers.
△ Less
Submitted 20 February, 2023; v1 submitted 1 April, 2022;
originally announced April 2022.
-
Far-ultraviolet investigation into the galactic globular cluster M30 (NGC 7099): I. Photometry and radial distributions
Authors:
Santana Mansfield,
Andrea Dieball,
Pavel Kroupa,
Christian Knigge,
David R. Zurek,
Michael Shara,
Knox S. Long
Abstract:
We present a far-ultraviolet (FUV) study of the globular cluster M30 (NGC 7099). The images were obtained using the Advanced Camera for Surveys (ACS/SBC, F150LP, FUV) and the Wide Field Planetary Camera 2 (WFPC2, F300W, UV) which were both on board the Hubble Space Telescope (HST). The FUV-UV colour-magnitude diagram (CMD) shows a main sequence (MS) turnoff at FUV $\approx$ 22 mag and FUV-UV…
▽ More
We present a far-ultraviolet (FUV) study of the globular cluster M30 (NGC 7099). The images were obtained using the Advanced Camera for Surveys (ACS/SBC, F150LP, FUV) and the Wide Field Planetary Camera 2 (WFPC2, F300W, UV) which were both on board the Hubble Space Telescope (HST). The FUV-UV colour-magnitude diagram (CMD) shows a main sequence (MS) turnoff at FUV $\approx$ 22 mag and FUV-UV $\approx$ 3 mag. The MS extends 4 mag below the turnoff, and a prominent horizontal branch (HB) and blue straggler (BS) sequence can be seen. A total of 1218 MS stars, 185 red giant branch stars, 47 BS stars and 41 HB stars are identified, along with 78 sources blueward of the MS which consist of white dwarfs (WDs) and objects in the gap between the WDs and the MS that include potential cataclysmic variable (CV) candidates. The radial distribution of the BS population is concentrated towards the cluster centre, indicating that mass segregation has occurred. The blue and red sub-populations of the double BS sequence appear mixed in the ultraviolet CMD, and no significant central concentration of CV candidates is seen in this cluster.
△ Less
Submitted 10 February, 2022;
originally announced February 2022.
-
Assessing the quality of near-term photonic quantum devices
Authors:
Rawad Mezher,
Shane Mansfield
Abstract:
For near-term quantum devices, an important challenge is to develop efficient methods to certify that noise levels are low enough to allow potentially useful applications to be carried out. We present such a method tailored to photonic quantum devices consisting of single photon sources coupled to linear optical circuits coupled to photon detectors. It uses the output statistics of BosonSampling e…
▽ More
For near-term quantum devices, an important challenge is to develop efficient methods to certify that noise levels are low enough to allow potentially useful applications to be carried out. We present such a method tailored to photonic quantum devices consisting of single photon sources coupled to linear optical circuits coupled to photon detectors. It uses the output statistics of BosonSampling experiments with input size $n$ ($n$ input photons in the ideal case). We propose a series of benchmark tests targetting two main sources of noise, namely photon loss and distinguishability. Our method results in a single-number metric, the Photonic Quality Factor, defined as the largest number of input photons for which the output statistics pass all tests. We provide strong evidence that passing all tests implies that our experiments are not efficiently classically simulable, by showing how several existing classical algorithms for efficiently simulating noisy BosonSampling fail the tests. Finally we show that BosonSampling experiments with average photon loss rate per mode scaling as $o(1)$ and average fidelity of $ (1-o(\frac{1}{n^6}))^2$ between any two single photon states is sufficient to keep passing our tests. Unsurprisingly, our results highlight that scaling in a manner that avoids efficient classical simulability will at some point necessarily require error correction and mitigation.
△ Less
Submitted 9 February, 2022;
originally announced February 2022.
-
Proceedings 17th International Conference on Quantum Physics and Logic
Authors:
Benoît Valiron,
Shane Mansfield,
Pablo Arrighi,
Prakash Panangaden
Abstract:
This volume contains the proceedings of the 17th International Conference on Quantum Physics and Logic (QPL 2020), which was held June 2-6, 2020. Quantum Physics and Logic is an annual conference that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered…
▽ More
This volume contains the proceedings of the 17th International Conference on Quantum Physics and Logic (QPL 2020), which was held June 2-6, 2020. Quantum Physics and Logic is an annual conference that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behavior in general. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) is also welcome.
△ Less
Submitted 3 September, 2021;
originally announced September 2021.
-
A discontinuity in the luminosity-mass relation and fluctuations in the evolutionary tracks of low-mass and low-metallicity stars at the Gaia M-dwarf gap
Authors:
Santana Mansfield,
Pavel Kroupa
Abstract:
The Gaia M-dwarf gap is a recently discovered feature in the colour-magnitude diagram that shows a deficiency of low-mass and low-metallicity stars at the lower end of the main sequence. We aim at performing theoretical stellar modelling at low metallicities using a fine mass step and a fine time step, looking specifically for the transition of models from partially to fully convective, since the…
▽ More
The Gaia M-dwarf gap is a recently discovered feature in the colour-magnitude diagram that shows a deficiency of low-mass and low-metallicity stars at the lower end of the main sequence. We aim at performing theoretical stellar modelling at low metallicities using a fine mass step and a fine time step, looking specifically for the transition of models from partially to fully convective, since the convective kissing instability that occurs at this transition is believed to be the cause of the gap. Stellar evolution models with metallicities of Z = 0.01, Z = 0.001 and Z = 0.0001 are performed using MESA, with a mass step of 0.00025 M$_{\odot}$ and a time step of 50,000 years. The small time step produced models that experience loops in their evolutionary tracks in the Hertzsprung-Russell (HR) diagram. The fluctuations in effective temperature and luminosity correspond to repeated events in which the bottom of the convective envelope merges with the top of the convective core, transporting $^3$He from the core to the surface. In addition to the episodes of switching from partially to fully convective, several near-merger events that produced low amplitude fluctuations were also found. Low-metallicity models undergo the convective kissing instability for longer portions of their lifetime and with higher fluctuation amplitudes than models with higher metallicities. The small mass step used in the models revealed a discontinuity in the luminosity-mass relation at all three metallicities.
△ Less
Submitted 28 April, 2021;
originally announced April 2021.
-
Closing Bell: Boxing black box simulations in the resource theory of contextuality
Authors:
Rui Soares Barbosa,
Martti Karvonen,
Shane Mansfield
Abstract:
This chapter contains an exposition of the sheaf-theoretic framework for contextuality emphasising resource-theoretic aspects, as well as some original results on this topic. In particular, we consider functions that transform empirical models on a scenario S to empirical models on another scenario T, and characterise those that are induced by classical procedures between S and T corresponding to…
▽ More
This chapter contains an exposition of the sheaf-theoretic framework for contextuality emphasising resource-theoretic aspects, as well as some original results on this topic. In particular, we consider functions that transform empirical models on a scenario S to empirical models on another scenario T, and characterise those that are induced by classical procedures between S and T corresponding to 'free' operations in the (non-adaptive) resource theory of contextuality. We construct a new 'hom' scenario built from S and T, whose empirical models induce such functions. Our characterisation then boils down to being induced by a non-contextual model. We also show that this construction on scenarios provides a closed structure on the category of measurement scenarios.
△ Less
Submitted 24 January, 2024; v1 submitted 22 April, 2021;
originally announced April 2021.
-
Quantum Advantage in Information Retrieval
Authors:
Pierre-Emmanuel Emeriau,
Mark Howard,
Shane Mansfield
Abstract:
Random access codes have provided many examples of quantum advantage in communication, but concern only one kind of information retrieval task. We introduce a related task - the Torpedo Game - and show that it admits greater quantum advantage than the comparable random access code. Perfect quantum strategies involving prepare-and-measure protocols with experimentally accessible three-level systems…
▽ More
Random access codes have provided many examples of quantum advantage in communication, but concern only one kind of information retrieval task. We introduce a related task - the Torpedo Game - and show that it admits greater quantum advantage than the comparable random access code. Perfect quantum strategies involving prepare-and-measure protocols with experimentally accessible three-level systems emerge via analysis in terms of the discrete Wigner function. The example is leveraged to an operational advantage in a pacifist version of the strategy game Battleship. We pinpoint a characteristic of quantum systems that enables quantum advantage in any bounded-memory information retrieval task. While preparation contextuality has previously been linked to advantages in random access coding we focus here on a different characteristic called sequential contextuality. It is shown not only to be necessary and sufficient for quantum advantage, but also to quantify the degree of advantage. Our perfect qutrit strategy for the Torpedo Game entails the strongest type of inconsistency with non-contextual hidden variables, revealing logical paradoxes with respect to those assumptions.
△ Less
Submitted 19 November, 2020; v1 submitted 30 July, 2020;
originally announced July 2020.
-
Continuous-variable nonlocality and contextuality
Authors:
Rui Soares Barbosa,
Tom Douce,
Pierre-Emmanuel Emeriau,
Elham Kashefi,
Shane Mansfield
Abstract:
Contextuality is a non-classical behaviour that can be exhibited by quantum systems. It is increasingly studied for its relationship to quantum-over-classical advantages in informatic tasks. To date, it has largely been studied in discrete-variable scenarios, where observables take values in discrete and usually finite sets. Practically, on the other hand, continuous-variable scenarios offer some…
▽ More
Contextuality is a non-classical behaviour that can be exhibited by quantum systems. It is increasingly studied for its relationship to quantum-over-classical advantages in informatic tasks. To date, it has largely been studied in discrete-variable scenarios, where observables take values in discrete and usually finite sets. Practically, on the other hand, continuous-variable scenarios offer some of the most promising candidates for implementing quantum computations and informatic protocols. Here we set out a framework for treating contextuality in continuous-variable scenarios. It is shown that the Fine--Abramsky--Brandenburger theorem extends to this setting, an important consequence of which is that Bell nonlocality can be viewed as a special case of contextuality, as in the discrete case. The contextual fraction, a quantifiable measure of contextuality that bears a precise relationship to Bell inequality violations and quantum advantages, is also defined in this setting. It is shown to be a non-increasing monotone with respect to classical operations that include binning to discretise data. Finally, we consider how the contextual fraction can be formulated as an infinite linear program. Through Lasserre relaxations, we are able to express this infinite linear program as a hierarchy of semi-definite programs that allow to calculate the contextual fraction with increasing accuracy.
△ Less
Submitted 19 April, 2022; v1 submitted 20 May, 2019;
originally announced May 2019.
-
A comonadic view of simulation and quantum resources
Authors:
Samson Abramsky,
Rui Soares Barbosa,
Martti Karvonen,
Shane Mansfield
Abstract:
We study simulation and quantum resources in the setting of the sheaf-theoretic approach to contextuality and non-locality. Resources are viewed behaviourally, as empirical models. In earlier work, a notion of morphism for these empirical models was proposed and studied. We generalize and simplify the earlier approach, by starting with a very simple notion of morphism, and then extending it to a m…
▽ More
We study simulation and quantum resources in the setting of the sheaf-theoretic approach to contextuality and non-locality. Resources are viewed behaviourally, as empirical models. In earlier work, a notion of morphism for these empirical models was proposed and studied. We generalize and simplify the earlier approach, by starting with a very simple notion of morphism, and then extending it to a more useful one by passing to a co-Kleisli category with respect to a comonad of measurement protocols. We show that these morphisms capture notions of simulation between empirical models obtained via `free' operations in a resource theory of contextuality, including the type of classical control used in measurement-based quantum computation schemes.
△ Less
Submitted 22 April, 2019;
originally announced April 2019.
-
Tsirelson's bound and Landauer's principle in a single-system game
Authors:
Luciana Henaut,
Lorenzo Catani,
Dan E. Browne,
Shane Mansfield,
Anna Pappa
Abstract:
We introduce a simple single-system game inspired by the Clauser-Horne-Shimony-Holt (CHSH) game. For qubit systems subjected to unitary gates and projective measurements, we prove that any strategy in our game can be mapped to a strategy in the CHSH game, which implies that Tsirelson's bound also holds in our setting. More generally, we show that the optimal success probability depends on the reve…
▽ More
We introduce a simple single-system game inspired by the Clauser-Horne-Shimony-Holt (CHSH) game. For qubit systems subjected to unitary gates and projective measurements, we prove that any strategy in our game can be mapped to a strategy in the CHSH game, which implies that Tsirelson's bound also holds in our setting. More generally, we show that the optimal success probability depends on the reversible or irreversible character of the gates, the quantum or classical nature of the system and the system dimension. We analyse the bounds obtained in light of Landauer's principle, showing the entropic costs of the erasure associated with the game. This shows a connection between the reversibility in fundamental operations embodied by Landauer's principle and Tsirelson's bound, that arises from the restricted physics of a unitarily-evolving single-qubit system.
△ Less
Submitted 27 May, 2019; v1 submitted 14 June, 2018;
originally announced June 2018.
-
Quantum Advantage from Sequential-Transformation Contextuality
Authors:
Shane Mansfield,
Elham Kashefi
Abstract:
We introduce a notion of contextuality for transformations in sequential contexts, distinct from the Bell-Kochen-Specker and Spekkens notions of contextuality. Within a transformation-based model for quantum computation we show that strong sequential-transformation contextuality is necessary and sufficient for deterministic computation of non-linear functions if classical components are restricted…
▽ More
We introduce a notion of contextuality for transformations in sequential contexts, distinct from the Bell-Kochen-Specker and Spekkens notions of contextuality. Within a transformation-based model for quantum computation we show that strong sequential-transformation contextuality is necessary and sufficient for deterministic computation of non-linear functions if classical components are restricted to mod2-linearity and matching constraints apply to any underlying ontology. For probabilistic computation, sequential-transformation contextuality is necessary and sufficient for advantage in this task and the degree of advantage quantifiably relates to the degree of contextuality.
△ Less
Submitted 10 December, 2018; v1 submitted 24 January, 2018;
originally announced January 2018.
-
Minimum quantum resources for strong non-locality
Authors:
Samson Abramsky,
Rui Soares Barbosa,
Giovanni Carù,
Nadish de Silva,
Kohei Kishida,
Shane Mansfield
Abstract:
We analyse the minimum quantum resources needed to realise strong non-locality, as exemplified e.g. by the classical GHZ construction. It was already known that no two-qubit system, with any finite number of local measurements, can realise strong non-locality. For three-qubit systems, we show that strong non-locality can only be realised in the GHZ SLOCC class, and with equatorial measurements. Ho…
▽ More
We analyse the minimum quantum resources needed to realise strong non-locality, as exemplified e.g. by the classical GHZ construction. It was already known that no two-qubit system, with any finite number of local measurements, can realise strong non-locality. For three-qubit systems, we show that strong non-locality can only be realised in the GHZ SLOCC class, and with equatorial measurements. However, we show that in this class there is an infinite family of states which are pairwise non-LU-equivalent that realise strong non-locality with finitely many measurements. These states have decreasing entanglement between one qubit and the other two, necessitating an increasing number of local measurements on the latter.
△ Less
Submitted 25 May, 2017;
originally announced May 2017.
-
The contextual fraction as a measure of contextuality
Authors:
Samson Abramsky,
Rui Soares Barbosa,
Shane Mansfield
Abstract:
We consider the contextual fraction as a quantitative measure of contextuality of empirical models, i.e. tables of probabilities of measurement outcomes in an experimental scenario. It provides a general way to compare the degree of contextuality across measurement scenarios; it bears a precise relationship to violations of Bell inequalities; its value, and a witnessing inequality, can be computed…
▽ More
We consider the contextual fraction as a quantitative measure of contextuality of empirical models, i.e. tables of probabilities of measurement outcomes in an experimental scenario. It provides a general way to compare the degree of contextuality across measurement scenarios; it bears a precise relationship to violations of Bell inequalities; its value, and a witnessing inequality, can be computed using linear programming; it is monotone with respect to the "free" operations of a resource theory for contextuality; and it measures quantifiable advantages in informatic tasks, such as games and a form of measurement based quantum computing.
△ Less
Submitted 22 May, 2017;
originally announced May 2017.
-
Consequences and applications of the completeness of Hardy's nonlocality
Authors:
Shane Mansfield
Abstract:
Logical nonlocality is completely characterized by Hardy's "paradox" in (2,2,l) and (2,k,2) scenarios. We consider a variety of consequences and applications of this fact. (i) Polynomial algorithms may be given for deciding logical nonlocality in these scenarios. (ii) Bell states are the only entangled two-qubit states which are not logically nonlocal under projective measurements. (iii) It is pos…
▽ More
Logical nonlocality is completely characterized by Hardy's "paradox" in (2,2,l) and (2,k,2) scenarios. We consider a variety of consequences and applications of this fact. (i) Polynomial algorithms may be given for deciding logical nonlocality in these scenarios. (ii) Bell states are the only entangled two-qubit states which are not logically nonlocal under projective measurements. (iii) It is possible to witness Hardy nonlocality with certainty in a simple tripartite quantum system. (iv) Noncommutativity of observables is necessary and sufficient for enabling logical nonlocality.
△ Less
Submitted 27 February, 2017; v1 submitted 25 August, 2016;
originally announced August 2016.
-
Possibilities Determine the Combinatorial Structure of Probability Polytopes
Authors:
Samson Abramsky,
Rui Soares Barbosa,
Kohei Kishida,
Raymond Lal,
Shane Mansfield
Abstract:
We study the set of no-signalling empirical models on a measurement scenario, and show that the combinatorial structure of the no-signalling polytope is completely determined by the possibilistic information given by the support of the models. This is a special case of a general result which applies to all polytopes presented in a standard form, given by linear equations together with non-negativi…
▽ More
We study the set of no-signalling empirical models on a measurement scenario, and show that the combinatorial structure of the no-signalling polytope is completely determined by the possibilistic information given by the support of the models. This is a special case of a general result which applies to all polytopes presented in a standard form, given by linear equations together with non-negativity constraints on the variables.
△ Less
Submitted 24 March, 2016;
originally announced March 2016.
-
Contextuality, Cohomology and Paradox
Authors:
Samson Abramsky,
Rui Soares Barbosa,
Kohei Kishida,
Raymond Lal,
Shane Mansfield
Abstract:
Contextuality is a key feature of quantum mechanics that provides an important non-classical resource for quantum information and computation. Abramsky and Brandenburger used sheaf theory to give a general treatment of contextuality in quantum theory [New Journal of Physics 13 (2011) 113036]. However, contextual phenomena are found in other fields as well, for example database theory. In this pape…
▽ More
Contextuality is a key feature of quantum mechanics that provides an important non-classical resource for quantum information and computation. Abramsky and Brandenburger used sheaf theory to give a general treatment of contextuality in quantum theory [New Journal of Physics 13 (2011) 113036]. However, contextual phenomena are found in other fields as well, for example database theory. In this paper, we shall develop this unified view of contextuality. We provide two main contributions: firstly, we expose a remarkable connection between contexuality and logical paradoxes; secondly, we show that an important class of contextuality arguments has a topological origin. More specifically, we show that "All-vs-Nothing" proofs of contextuality are witnessed by cohomological obstructions.
△ Less
Submitted 5 March, 2017; v1 submitted 10 February, 2015;
originally announced February 2015.
-
Reflections on the PBR Theorem: Reality Criteria & Preparation Independence
Authors:
Shane Mansfield
Abstract:
This paper contains initial work on attempting to bring recent developments in the foundations of quantum mechanics concerning the nature of the wavefunction within the scope of more logical and structural methods. A first step involves dualising a criterion for the reality of the wavefunction proposed by Harrigan & Spekkens, which was central to the Pusey-Barrett-Rudolph theorem. The resulting cr…
▽ More
This paper contains initial work on attempting to bring recent developments in the foundations of quantum mechanics concerning the nature of the wavefunction within the scope of more logical and structural methods. A first step involves dualising a criterion for the reality of the wavefunction proposed by Harrigan & Spekkens, which was central to the Pusey-Barrett-Rudolph theorem. The resulting criterion has several advantages, including the avoidance of certain technical difficulties relating to sets of measure zero. By considering the 'reality' not of the wavefunction but of the observable properties of any ontological physical theory a new characterisation of non-locality and contextuality is found. Secondly, a careful analysis of preparation independence, one of the key assumptions of the PBR theorem, leads to a precise analogy with the kind of locality prohibited by Bell's theorem. Motivated by this, we propose a weakening of the assumption to something analogous to no-signalling. This amounts to allowing global or non-local correlations in the joint ontic state, which nevertheless do not allow for superluminal signalling. This is, at least, consistent with the Bell and Kochen-Specker theorems. We find a counter-example to the PBR argument, which violates preparation independence, but does satisfy this physically motivated assumption. The question of whether the PBR result can be strengthened to hold under the relaxed assumption is therefore posed.
△ Less
Submitted 29 December, 2014;
originally announced December 2014.
-
Reality of the quantum state: Towards a stronger ψ-ontology theorem
Authors:
Shane Mansfield
Abstract:
The Pusey-Barrett-Rudolph (PBR) no-go theorem provides an argument for the reality of the quantum state by ruling out ψ-epistemic ontological theories, in which the quantum state is of a statistical nature. It applies under an assumption of preparation independence, the validity of which has been subject to debate. We propose two plausible and less restrictive alternatives: a weaker notion allowin…
▽ More
The Pusey-Barrett-Rudolph (PBR) no-go theorem provides an argument for the reality of the quantum state by ruling out ψ-epistemic ontological theories, in which the quantum state is of a statistical nature. It applies under an assumption of preparation independence, the validity of which has been subject to debate. We propose two plausible and less restrictive alternatives: a weaker notion allowing for classical correlations, and an even weaker, physically motivated notion of independence, which merely prohibits the possibility of superluminal causal influences in the preparation process. The latter is a minimal requirement for enabling a reasonable treatment of subsystems in any theory. It is demonstrated by means of an explicit ψ-epistemic ontological model that the argument of PBR becomes invalid under the alternative notions of independence. As an intermediate step, we recover a result which is valid in the presence of classical correlations. Finally, we obtain a theorem which holds under the minimal requirement, approximating the result of PBR. For this, we consider experiments involving randomly sampled preparations and derive bounds on the degree of ψ epistemicity that is consistent with the quantum-mechanical predictions. The approximation is exact in the limit as the sample space of preparations becomes infinite.
△ Less
Submitted 27 February, 2017; v1 submitted 1 December, 2014;
originally announced December 2014.
-
Three-Dimensional Organic Microlasers with Low Lasing Thresholds Fabricated by Multiphoton Lithography
Authors:
Vincent W. Chen,
Nina Sobeshchuk,
Clement Lafargue,
Eric S. Mansfield,
Jeannie Yom,
Luke Johnstone,
Joel M. Hales,
Stefan Bittner,
Severin Charpignon,
David Ulbricht,
Joseph Lautru,
Igor Denisyuk,
Joseph Zyss,
Joseph W. Perry,
Melanie Lebental
Abstract:
Cuboid-shaped organic microcavities containing a pyrromethene laser dye and supported upon a photonic crystal have been investigated as an approach to reducing the lasing threshold of the cavities. Multiphoton lithography facilitated fabrication of the cuboid cavities directly on the substrate or on the decoupling structure, while similar structures were fabricated on the substrate by UV lithograp…
▽ More
Cuboid-shaped organic microcavities containing a pyrromethene laser dye and supported upon a photonic crystal have been investigated as an approach to reducing the lasing threshold of the cavities. Multiphoton lithography facilitated fabrication of the cuboid cavities directly on the substrate or on the decoupling structure, while similar structures were fabricated on the substrate by UV lithography for comparison. Significant reduction of the lasing threshold by a factor of ~30 has been observed for cavities supported by the photonic crystal relative to those fabricated on the substrate. The lasing mode spectra of the cuboid microresonators provide strong evidence showing that the lasing modes are localized in the horizontal plane, with the shape of an inscribed diamond.
△ Less
Submitted 2 April, 2014; v1 submitted 26 March, 2014;
originally announced March 2014.
-
Extendability in the Sheaf-theoretic Approach: Construction of Bell Models from Kochen-Specker Models
Authors:
Shane Mansfield,
Rui Soares Barbosa
Abstract:
Extendability of an empirical model was shown by Abramsky & Brandenburger to correspond in a unified manner to both locality and non-contextuality. We develop their approach by presenting a refinement of the notion of extendability that can also be useful in characterising the properties of sub-models. The refinement is found to have another useful application: it is shown that a particular canoni…
▽ More
Extendability of an empirical model was shown by Abramsky & Brandenburger to correspond in a unified manner to both locality and non-contextuality. We develop their approach by presenting a refinement of the notion of extendability that can also be useful in characterising the properties of sub-models. The refinement is found to have another useful application: it is shown that a particular canonical extension, when well-defined, may be used for the construction of Bell-type models from models of more general kinds in such a way that the constructed model is equivalent to the original in terms of non-locality/contextuality. This is important since on practical and foundational levels, the notion of locality in Bell-type models can more easily be motivated than the corresponding general notion of contextuality. We consider examples of Bell-type models generated from some standard examples of contextual models, including an entire class of Kochen-Specker-like models. This exposes an intriguing relationship between the simplest possible contextual model (the contextual triangle) and Popescu-Rohrlich no-signalling correlations.
△ Less
Submitted 19 February, 2014;
originally announced February 2014.
-
On the 'Reality' of Observable Properties
Authors:
Shane Mansfield
Abstract:
This note contains some initial work on attempting to bring recent developments in the foundations of quantum mechanics concerning the nature of the wavefunction within the scope of more logical and structural methods. A first step involves generalising and reformulating a criterion for the reality of the wavefunction proposed by Harrigan & Spekkens, which was central to the PBR theorem. The resul…
▽ More
This note contains some initial work on attempting to bring recent developments in the foundations of quantum mechanics concerning the nature of the wavefunction within the scope of more logical and structural methods. A first step involves generalising and reformulating a criterion for the reality of the wavefunction proposed by Harrigan & Spekkens, which was central to the PBR theorem. The resulting criterion has several advantages, including the avoidance of certain technical difficulties relating to sets of measure zero. By considering the 'reality' not of the wavefunction but of the observable properties of any ontological physical theory a novel characterisation of non-locality and contextuality is found.
Secondly, a careful analysis of preparation independence, one of the key assumptions of the PBR theorem, leads to an analogy with Bell locality, and thence to a proposal to weaken it to an assumption of `no-preparation-signalling' in analogy with no-signalling. This amounts to introducing non-local correlations in the joint ontic state, which is, at least, consistent with the Bell and Kochen-Specker theorems. The question of whether the PBR result can be strengthened to hold under this relaxed assumption is therefore posed.
△ Less
Submitted 14 February, 2014; v1 submitted 13 June, 2013;
originally announced June 2013.
-
The Cohomology of Non-Locality and Contextuality
Authors:
Samson Abramsky,
Shane Mansfield,
Rui Soares Barbosa
Abstract:
In a previous paper with Adam Brandenburger, we used sheaf theory to analyze the structure of non-locality and contextuality. Moreover, on the basis of this formulation, we showed that the phenomena of non-locality and contextuality can be characterized precisely in terms of obstructions to the existence of global sections.
Our aim in the present work is to build on these results, and to use t…
▽ More
In a previous paper with Adam Brandenburger, we used sheaf theory to analyze the structure of non-locality and contextuality. Moreover, on the basis of this formulation, we showed that the phenomena of non-locality and contextuality can be characterized precisely in terms of obstructions to the existence of global sections.
Our aim in the present work is to build on these results, and to use the powerful tools of sheaf cohomology to study the structure of non-locality and contextuality. We use the Cech cohomology on an abelian presheaf derived from the support of a probabilistic model, viewed as a compatible family of distributions, in order to define a cohomological obstruction for the family as a certain cohomology class. This class vanishes if the family has a global section. Thus the non-vanishing of the obstruction provides a sufficient (but not necessary) condition for the model to be contextual.
We show that for a number of salient examples, including PR boxes, GHZ states, the Peres-Mermin magic square, and the 18-vector configuration due to Cabello et al. giving a proof of the Kochen-Specker theorem in four dimensions, the obstruction does not vanish, thus yielding cohomological witnesses for contextuality.
△ Less
Submitted 1 October, 2012; v1 submitted 15 November, 2011;
originally announced November 2011.
-
Hardy's Non-locality Paradox and Possibilistic Conditions for Non-locality
Authors:
Shane Mansfield,
Tobias Fritz
Abstract:
Hardy's non-locality paradox is a proof without inequalities showing that certain non-local correlations violate local realism. It is `possibilistic' in the sense that one only distinguishes between possible outcomes (positive probability) and impossible outcomes (zero probability). Here we show that Hardy's paradox is quite universal: in any (2,2,l) or (2,k,2) Bell scenario, the occurence of Hard…
▽ More
Hardy's non-locality paradox is a proof without inequalities showing that certain non-local correlations violate local realism. It is `possibilistic' in the sense that one only distinguishes between possible outcomes (positive probability) and impossible outcomes (zero probability). Here we show that Hardy's paradox is quite universal: in any (2,2,l) or (2,k,2) Bell scenario, the occurence of Hardy's paradox is a necessary and sufficient condition for possibilistic non-locality. In particular, it subsumes all ladder paradoxes. This universality of Hardy's paradox is not true more generally: we find a new `proof without inequalities' in the (2,3,3) scenario that can witness non-locality even for correlations that do not display the Hardy paradox. We discuss the ramifications of our results for the computational complexity of recognising possibilistic non-locality.
△ Less
Submitted 9 May, 2011;
originally announced May 2011.
