Showing 1–46 of 46 results for author: Saunders, D J

A manufacturable platform for photonic quantum computing

Authors: Koen Alexander, Andrea Bahgat, Avishai Benyamini, Dylan Black, Damien Bonneau, Stanley Burgos, Ben Burridge, Geoff Campbell, Gabriel Catalano, Alex Ceballos, Chia-Ming Chang, CJ Chung, Fariba Danesh, Tom Dauer, Michael Davis, Eric Dudley, ** Er-Xuan, Josep Fargas, Alessandro Farsi, Colleen Fenrich, Jonathan Frazer, Masaya Fukami, Yogeeswaran Ganesan, Gary Gibson, Mercedes Gimeno-Segovia , et al. (70 additional authors not shown)

Abstract: Whilst holding great promise for low noise, ease of operation and networking, useful photonic quantum computing has been precluded by the need for beyond-state-of-the-art components, manufactured by the millions. Here we introduce a manufacturable platform for quantum computing with photons. We benchmark a set of monolithically-integrated silicon photonics-based modules to generate, manipulate, ne… ▽ More Whilst holding great promise for low noise, ease of operation and networking, useful photonic quantum computing has been precluded by the need for beyond-state-of-the-art components, manufactured by the millions. Here we introduce a manufacturable platform for quantum computing with photons. We benchmark a set of monolithically-integrated silicon photonics-based modules to generate, manipulate, network, and detect photonic qubits, demonstrating dual-rail photonic qubits with $99.98\% \pm 0.01\%$ state preparation and measurement fidelity, Hong-Ou-Mandel quantum interference between independent photon sources with $99.50\%\pm0.25\%$ visibility, two-qubit fusion with $99.22\%\pm0.12\%$ fidelity, and a chip-to-chip qubit interconnect with $99.72\%\pm0.04\%$ fidelity, not accounting for loss. In addition, we preview a selection of next generation technologies, demonstrating low-loss silicon nitride waveguides and components, fabrication-tolerant photon sources, high-efficiency photon-number-resolving detectors, low-loss chip-to-fiber coupling, and barium titanate electro-optic phase shifters. △ Less

Submitted 26 April, 2024; originally announced April 2024.

Comments: 8 pages, 5 figures

Lepage Equivalents and the Variational Bicomplex

Authors: David Saunders

Abstract: We show how to construct, for a Lagrangian of arbitrary order, a Lepage equivalent satisfying the closure property: that the Lepage equivalent vanishes precisely when the Lagrangian is null. The construction uses a homotopy operator for the horizontal differential of the variational bicomplex. A choice of symmetric linear connection on the manifold of independent variables, and a global homotopy o… ▽ More We show how to construct, for a Lagrangian of arbitrary order, a Lepage equivalent satisfying the closure property: that the Lepage equivalent vanishes precisely when the Lagrangian is null. The construction uses a homotopy operator for the horizontal differential of the variational bicomplex. A choice of symmetric linear connection on the manifold of independent variables, and a global homotopy operator constructed using that connection, may then be used to extend any global Lepage equivalent to one satisfying the closure property. In the second part of the paper we investigate the rôle of vertical endomorphisms in constructing such Lepage equivalents. These endomorphisms may be used directly to construct local homotopy operators. Together with a symmetric linear connection they may also be used to construct global vertical tensors, and these define infinitesimal nonholonomic projections which in turn may be used to construct Lepage equivalents. We conjecture that these global vertical tensors may also be used to define global homotopy operators. △ Less

Submitted 9 February, 2024; v1 submitted 4 September, 2023; originally announced September 2023.

MSC Class: 58A10; 58A20; 83D05

Journal ref: SIGMA 20 (2024), 013, 18 pages

Covariant derivatives for Ehresmann connections

Authors: G. E. Prince, D. J. Saunders

Abstract: We deal with the construction of covariant derivatives for some quite general Ehresmann connections on fibre bundles. We show how the introduction of a vertical endomorphism allows construction of covariant derivatives separately on both the vertical and horizontal distributions of the connection which can then be glued together on the total space. We give applications across an important class of… ▽ More We deal with the construction of covariant derivatives for some quite general Ehresmann connections on fibre bundles. We show how the introduction of a vertical endomorphism allows construction of covariant derivatives separately on both the vertical and horizontal distributions of the connection which can then be glued together on the total space. We give applications across an important class of tangent bundle cases, frame bundles and the Hopf bundle. △ Less

Submitted 5 April, 2022; v1 submitted 14 October, 2021; originally announced October 2021.

MSC Class: Primary 53C05; 53B05 Secondary 34A26

Linear connections and shape maps for second order ODEs with and without constraints

Authors: G. E. Prince, M. Farré Puiggalí, D. J. Saunders, D. Martín de Diego

Abstract: We deal with the construction of linear connections associated with second order ordinary differential equations with and without first order constraints. We use a novel method allowing glueing of submodule covariant derivatives to produce new, closed form expressions for the Massa-Pagani connection and our extension of it to the constrained case. We deal with the construction of linear connections associated with second order ordinary differential equations with and without first order constraints. We use a novel method allowing glueing of submodule covariant derivatives to produce new, closed form expressions for the Massa-Pagani connection and our extension of it to the constrained case. △ Less

Submitted 22 September, 2021; v1 submitted 5 July, 2021; originally announced July 2021.

MSC Class: Primary 34A26; 53C05; 70G45 Secondary 34C40; 53B05

Preparing Narrow Velocity Distributions for Quantum Memories in Room-Temperature Alkali Vapours

Authors: D. Main, T. M. Hird, S. Gao, E. Oguz, D. J. Saunders, I. A. Walmsley, P. M. Ledingham

Abstract: Quantum memories are a crucial technology for enabling large-scale quantum networks through synchronisation of probabilistic operations. Such networks impose strict requirements on quantum memory, such as storage time, retrieval efficiency, bandwidth, and scalability. On- and off-resonant ladder protocols on warm atomic vapour platforms are promising candidates, combining efficient high-bandwidth… ▽ More Quantum memories are a crucial technology for enabling large-scale quantum networks through synchronisation of probabilistic operations. Such networks impose strict requirements on quantum memory, such as storage time, retrieval efficiency, bandwidth, and scalability. On- and off-resonant ladder protocols on warm atomic vapour platforms are promising candidates, combining efficient high-bandwidth operation with low-noise on-demand retrieval. However, their storage time is severely limited by motion-induced dephasing caused by the broad velocity distribution of atoms comprising the vapour. In this paper, we demonstrate velocity selective optical pum** to overcome this decoherence mechanism. This will increase the achievable memory storage time of vapour memories. This technique can also be used for preparing arbitrarily shaped absorption profiles, for instance, preparing an atomic frequency comb absorption feature. △ Less

Submitted 7 November, 2020; originally announced November 2020.

Journal ref: Phys. Rev. A 103, 043105 (2021)

Minibatch Processing in Spiking Neural Networks

Authors: Daniel J. Saunders, Cooper Sigrist, Kenneth Chaney, Robert Kozma, Hava T. Siegelmann

Abstract: Spiking neural networks (SNNs) are a promising candidate for biologically-inspired and energy efficient computation. However, their simulation is notoriously time consuming, and may be seen as a bottleneck in develo** competitive training methods with potential deployment on neuromorphic hardware platforms. To address this issue, we provide an implementation of mini-batch processing applied to c… ▽ More Spiking neural networks (SNNs) are a promising candidate for biologically-inspired and energy efficient computation. However, their simulation is notoriously time consuming, and may be seen as a bottleneck in develo** competitive training methods with potential deployment on neuromorphic hardware platforms. To address this issue, we provide an implementation of mini-batch processing applied to clock-based SNN simulation, leading to drastically increased data throughput. To our knowledge, this is the first general-purpose implementation of mini-batch processing in a spiking neural networks simulator, which works with arbitrary neuron and synapse models. We demonstrate nearly constant-time scaling with batch size on a simulation setup (up to GPU memory limits), and showcase the effectiveness of large batch sizes in two SNN application domains, resulting in $\approx$880X and $\approx$24X reductions in wall-clock time respectively. Different parameter reduction techniques are shown to produce different learning outcomes in a simulation of networks trained with spike-timing-dependent plasticity. Machine learning practitioners and biological modelers alike may benefit from the drastically reduced simulation time and increased iteration speed this method enables. Code to reproduce the benchmarks and experimental findings in this paper can be found at https://github.com/djsaunde/snn-minibatch. △ Less

Submitted 5 September, 2019; originally announced September 2019.

Unsupervised Machine Learning to Teach Fluid Dynamicists to Think in 15 Dimensions

Authors: S. M. de Bruyn Kops, D. J. Saunders, E. A. Rietman, G. D. Portwood

Abstract: An autoencoder is used to compress and then reconstruct three-dimensional stratified turbulence data in order to better understand fluid dynamics by studying the errors in the reconstruction. The original single data set is resolved on approximately $6.9\times10^{10}$ grid points, and 15 fluid variables in three spatial dimensions are used, for a total of about $10^{12}$ input quantities in thre… ▽ More An autoencoder is used to compress and then reconstruct three-dimensional stratified turbulence data in order to better understand fluid dynamics by studying the errors in the reconstruction. The original single data set is resolved on approximately $6.9\times10^{10}$ grid points, and 15 fluid variables in three spatial dimensions are used, for a total of about $10^{12}$ input quantities in three dimensions. The objective is to understand which of the input variables contains the most relevant information about the local turbulence regimes in stably stratified turbulence (SST). This is accomplished by observing flow features that appear in one input variable but then `bleed over' to multiple output variables. The bleed over is shown to be robust with respect to the number of layers in the autoencoder. In this proof of concept, the errors in the reconstruction include information about the spatial variation of vertical velocity in most of the components of the reconstructed rate-of-strain tensor and density gradient, which suggests that vertical velocity is an important marker for turbulence features of interest in SST. This result is consistent with what fluid dynamicists already understand about SST and, therefore, suggests an approach to understanding turbulence based on more detailed analyses of the reconstruction on errors in an autoencoding algorithm. △ Less

Submitted 23 July, 2019; originally announced July 2019.

Lattice Map Spiking Neural Networks (LM-SNNs) for Clustering and Classifying Image Data

Authors: Hananel Hazan, Daniel J. Saunders, Darpan T. Sanghavi, Hava Siegelmann, Robert Kozma

Abstract: Spiking neural networks (SNNs) with a lattice architecture are introduced in this work, combining several desirable properties of SNNs and self-organized maps (SOMs). Networks are trained with biologically motivated, unsupervised learning rules to obtain a self-organized grid of filters via cooperative and competitive excitatory-inhibitory interactions. Several inhibition strategies are developed… ▽ More Spiking neural networks (SNNs) with a lattice architecture are introduced in this work, combining several desirable properties of SNNs and self-organized maps (SOMs). Networks are trained with biologically motivated, unsupervised learning rules to obtain a self-organized grid of filters via cooperative and competitive excitatory-inhibitory interactions. Several inhibition strategies are developed and tested, such as (i) incrementally increasing inhibition level over the course of network training, and (ii) switching the inhibition level from low to high (two-level) after an initial training segment. During the labeling phase, the spiking activity generated by data with known labels is used to assign neurons to categories of data, which are then used to evaluate the network's classification ability on a held-out set of test data. Several biologically plausible evaluation rules are proposed and compared, including a population-level confidence rating, and an $n$-gram inspired method. The effectiveness of the proposed self-organized learning mechanism is tested using the MNIST benchmark dataset, as well as using images produced by playing the Atari Breakout game. △ Less

Submitted 4 June, 2019; originally announced June 2019.

Comments: Original Manuscript Submitted: October 30, 2018. Revised: May 28, 2019. Special Issue: "Cognition and Neurocomputation" of Annals of Mathematics and Artificial Intelligence. arXiv admin note: text overlap with arXiv:1807.09374

Raman Quantum Memory with Built-In Suppression of Four-wave Mixing Noise

Authors: Sarah E. Thomas, Thomas M. Hird, Joseph H. D. Munns, Benjamin Brecht, Dylan J. Saunders, Joshua Nunn, Ian A. Walmsley, Patrick M. Ledingham

Abstract: Quantum memories are essential for large-scale quantum information networks. Along with high efficiency, storage lifetime and optical bandwidth, it is critical that the memory add negligible noise to the recalled signal. A common source of noise in optical quantum memories is spontaneous four-wave mixing. We develop and implement a technically simple scheme to suppress this noise mechanism by mean… ▽ More Quantum memories are essential for large-scale quantum information networks. Along with high efficiency, storage lifetime and optical bandwidth, it is critical that the memory add negligible noise to the recalled signal. A common source of noise in optical quantum memories is spontaneous four-wave mixing. We develop and implement a technically simple scheme to suppress this noise mechanism by means of quantum interference. Using this scheme with a Raman memory in warm atomic vapour we demonstrate over an order of magnitude improvement in noise performance. Furthermore we demonstrate a method to quantify the remaining noise contributions and present a route to enable further noise suppression. Our scheme opens the way to quantum demonstrations using a broadband memory, significantly advancing the search for scalable quantum photonic networks. △ Less

Submitted 30 April, 2019; originally announced May 2019.

Comments: 6 pages, 5 figures plus Supplementary Material

Journal ref: Phys. Rev. A 100, 033801 (2019)

Locally Connected Spiking Neural Networks for Unsupervised Feature Learning

Authors: Daniel J. Saunders, Devdhar Patel, Hananel Hazan, Hava T. Siegelmann, Robert Kozma

Abstract: In recent years, Spiking Neural Networks (SNNs) have demonstrated great successes in completing various Machine Learning tasks. We introduce a method for learning image features by \textit{locally connected layers} in SNNs using spike-timing-dependent plasticity (STDP) rule. In our approach, sub-networks compete via competitive inhibitory interactions to learn features from different locations of… ▽ More In recent years, Spiking Neural Networks (SNNs) have demonstrated great successes in completing various Machine Learning tasks. We introduce a method for learning image features by \textit{locally connected layers} in SNNs using spike-timing-dependent plasticity (STDP) rule. In our approach, sub-networks compete via competitive inhibitory interactions to learn features from different locations of the input space. These \textit{Locally-Connected SNNs} (LC-SNNs) manifest key topological features of the spatial interaction of biological neurons. We explore biologically inspired n-gram classification approach allowing parallel processing over various patches of the the image space. We report the classification accuracy of simple two-layer LC-SNNs on two image datasets, which match the state-of-art performance and are the first results to date. LC-SNNs have the advantage of fast convergence to a dataset representation, and they require fewer learnable parameters than other SNN approaches with unsupervised learning. Robustness tests demonstrate that LC-SNNs exhibit graceful degradation of performance despite the random deletion of large amounts of synapses and neurons. △ Less

Submitted 12 April, 2019; originally announced April 2019.

Comments: 22 pages, 7 figures, and 4 tables

Improved robustness of reinforcement learning policies upon conversion to spiking neuronal network platforms applied to ATARI games

Authors: Devdhar Patel, Hananel Hazan, Daniel J. Saunders, Hava Siegelmann, Robert Kozma

Abstract: Deep Reinforcement Learning (RL) demonstrates excellent performance on tasks that can be solved by trained policy. It plays a dominant role among cutting-edge machine learning approaches using multi-layer Neural networks (NNs). At the same time, Deep RL suffers from high sensitivity to noisy, incomplete, and misleading input data. Following biological intuition, we involve Spiking Neural Networks… ▽ More Deep Reinforcement Learning (RL) demonstrates excellent performance on tasks that can be solved by trained policy. It plays a dominant role among cutting-edge machine learning approaches using multi-layer Neural networks (NNs). At the same time, Deep RL suffers from high sensitivity to noisy, incomplete, and misleading input data. Following biological intuition, we involve Spiking Neural Networks (SNNs) to address some deficiencies of deep RL solutions. Previous studies in image classification domain demonstrated that standard NNs (with ReLU nonlinearity) trained using supervised learning can be converted to SNNs with negligible deterioration in performance. In this paper, we extend those conversion results to the domain of Q-Learning NNs trained using RL. We provide a proof of principle of the conversion of standard NN to SNN. In addition, we show that the SNN has improved robustness to occlusion in the input image. Finally, we introduce results with converting full-scale Deep Q-network to SNN, paving the way for future research to robust Deep RL applications. △ Less

Submitted 19 August, 2019; v1 submitted 26 March, 2019; originally announced March 2019.

Optimal Coherent Filtering for Single Noisy Photons

Authors: S. Gao, O. Lazo-Arjona, B. Brecht, K. T. Kaczmarek, S. E. Thomas, J. Nunn, P. M. Ledingham, D. J. Saunders, I. A. Walmsley

Abstract: We introduce a filter using a noise-free quantum buffer with large optical bandwidth that can both filter temporal-spectral modes, as well as inter-convert them and change their frequency. We show that such quantum buffers optimally filter out temporal-spectral noise; producing identical single-photons from many distinguishable noisy single-photon sources with the minimum required reduction in bri… ▽ More We introduce a filter using a noise-free quantum buffer with large optical bandwidth that can both filter temporal-spectral modes, as well as inter-convert them and change their frequency. We show that such quantum buffers optimally filter out temporal-spectral noise; producing identical single-photons from many distinguishable noisy single-photon sources with the minimum required reduction in brightness. We then experimentally demonstrate a noise-free quantum buffer in a warm atomic system that is well matched to quantum dots and can outperform all intensity (incoherent) filtering schemes for increasing indistinguishability. △ Less

Submitted 20 February, 2019; originally announced February 2019.

Comments: 5 pages, 4 Figures

Journal ref: Phys. Rev. Lett. 123, 213604 (2019)

Investigating the Power of Circuits with $MOD_6$ Gates

Authors: Daniel J. Saunders

Abstract: We consider the power of Boolean circuits with MOD$_{6}$ gates. First, we introduce a few basic notions of computational complexity, and describe the standard models with which we study the complexity of problems. We then define the model of Boolean circuits, equate a restricted class of circuits with an algebraic model, and present some results from working with this algebra. We consider the power of Boolean circuits with MOD$_{6}$ gates. First, we introduce a few basic notions of computational complexity, and describe the standard models with which we study the complexity of problems. We then define the model of Boolean circuits, equate a restricted class of circuits with an algebraic model, and present some results from working with this algebra. △ Less

Submitted 12 October, 2018; originally announced October 2018.

Comments: 23 pages, 1 figure, unpublished undergraduate independent study work

STDP Learning of Image Patches with Convolutional Spiking Neural Networks

Authors: Daniel J. Saunders, Hava T. Siegelmann, Robert Kozma, Miklós Ruszinkó

Abstract: Spiking neural networks are motivated from principles of neural systems and may possess unexplored advantages in the context of machine learning. A class of \textit{convolutional spiking neural networks} is introduced, trained to detect image features with an unsupervised, competitive learning mechanism. Image features can be shared within subpopulations of neurons, or each may evolve independentl… ▽ More Spiking neural networks are motivated from principles of neural systems and may possess unexplored advantages in the context of machine learning. A class of \textit{convolutional spiking neural networks} is introduced, trained to detect image features with an unsupervised, competitive learning mechanism. Image features can be shared within subpopulations of neurons, or each may evolve independently to capture different features in different regions of input space. We analyze the time and memory requirements of learning with and operating such networks. The MNIST dataset is used as an experimental testbed, and comparisons are made between the performance and convergence speed of a baseline spiking neural network. △ Less

Submitted 24 August, 2018; originally announced August 2018.

Comments: 7 pages, 9 figures, and 5 tables

Unsupervised Learning with Self-Organizing Spiking Neural Networks

Authors: Hananel Hazan, Daniel J. Saunders, Darpan T. Sanghavi, Hava T. Siegelmann, Robert Kozma

Abstract: We present a system comprising a hybridization of self-organized map (SOM) properties with spiking neural networks (SNNs) that retain many of the features of SOMs. Networks are trained in an unsupervised manner to learn a self-organized lattice of filters via excitatory-inhibitory interactions among populations of neurons. We develop and test various inhibition strategies, such as growing with int… ▽ More We present a system comprising a hybridization of self-organized map (SOM) properties with spiking neural networks (SNNs) that retain many of the features of SOMs. Networks are trained in an unsupervised manner to learn a self-organized lattice of filters via excitatory-inhibitory interactions among populations of neurons. We develop and test various inhibition strategies, such as growing with inter-neuron distance and two distinct levels of inhibition. The quality of the unsupervised learning algorithm is evaluated using examples with known labels. Several biologically-inspired classification tools are proposed and compared, including population-level confidence rating, and n-grams using spike motif algorithm. Using the optimal choice of parameters, our approach produces improvements over state-of-art spiking neural networks. △ Less

Submitted 24 July, 2018; originally announced July 2018.

Journal ref: Proceeding WCCI 2018

BindsNET: A machine learning-oriented spiking neural networks library in Python

Authors: Hananel Hazan, Daniel J. Saunders, Hassaan Khan, Darpan T. Sanghavi, Hava T. Siegelmann, Robert Kozma

Abstract: The development of spiking neural network simulation software is a critical component enabling the modeling of neural systems and the development of biologically inspired algorithms. Existing software frameworks support a wide range of neural functionality, software abstraction levels, and hardware devices, yet are typically not suitable for rapid prototy** or application to problems in the doma… ▽ More The development of spiking neural network simulation software is a critical component enabling the modeling of neural systems and the development of biologically inspired algorithms. Existing software frameworks support a wide range of neural functionality, software abstraction levels, and hardware devices, yet are typically not suitable for rapid prototy** or application to problems in the domain of machine learning. In this paper, we describe a new Python package for the simulation of spiking neural networks, specifically geared towards machine learning and reinforcement learning. Our software, called BindsNET, enables rapid building and simulation of spiking networks and features user-friendly, concise syntax. BindsNET is built on top of the PyTorch deep neural networks library, enabling fast CPU and GPU computation for large spiking networks. The BindsNET framework can be adjusted to meet the needs of other existing computing and hardware environments, e.g., TensorFlow. We also provide an interface into the OpenAI gym library, allowing for training and evaluation of spiking networks on reinforcement learning problems. We argue that this package facilitates the use of spiking networks for large-scale machine learning experimentation, and show some simple examples of how we envision BindsNET can be used in practice. BindsNET code is available at https://github.com/Hananel-Hazan/bindsnet △ Less

Submitted 10 December, 2018; v1 submitted 4 June, 2018; originally announced June 2018.

Journal ref: Frontiers in Neuroinformatics. 12 December 2018

A Hybrid Quantum Memory Enabled Network at Room Temperature

Authors: Xiao-Ling Pang, Ai-Lin Yang, Jian-Peng Dou, Hang Li, Chao-Ni Zhang, Eilon Poem, Dylan J. Saunders, Hao Tang, Joshua Nunn, Ian A. Walmsley, Xian-Min **

Abstract: Quantum memory capable of storage and retrieval of flying photons on demand is crucial for develo** quantum information technologies. However, the devices needed for long-distance links are quite different from those envisioned for local processing. Here, we present the first hybrid quantum memory enabled network by demonstrating the interconnection and simultaneous operation of two types of qua… ▽ More Quantum memory capable of storage and retrieval of flying photons on demand is crucial for develo** quantum information technologies. However, the devices needed for long-distance links are quite different from those envisioned for local processing. Here, we present the first hybrid quantum memory enabled network by demonstrating the interconnection and simultaneous operation of two types of quantum memory: an atomic-ensemble-based memory and an all-optical loop memory. The former generates and stores single atomic excitations that can then be converted to single photons; and the latter maps incoming photons in and out on demand, at room-temperature and with a broad acceptance bandwidth. Interfacing these two types of quantum memories, we observe a well-preserved quantum cross-correlation, reaching a value of 22, and a violation of the Cauchy-Schwarz inequality up to 549 standard deviations. Furthermore, we demonstrate the creation and storage of a fully operable heralded photon chain state that can achieve memory-built-in combining, swap**, splitting, tuning and chop** single photons in a chain temporally. Such a quantum network allows atomic excitations to be generated, stored, and converted to broadband photons, which are then transferred to the next node, stored, and faithfully retrieved, all at high speed and in a programmable fashion. △ Less

Submitted 26 February, 2020; v1 submitted 19 March, 2018; originally announced March 2018.

Comments: 14 pages, 10 figures, 1 table

Journal ref: Science Advances 6, eaax1425 (2020)

On Lagrangians with Reduced-Order Euler-Lagrange Equations

Authors: David Saunders

Abstract: If a Lagrangian defining a variational problem has order $k$ then its Euler-Lagrange equations generically have order $2k$. This paper considers the case where the Euler-Lagrange equations have order strictly less than $2k$, and shows that in such a case the Lagrangian must be a polynomial in the highest-order derivative variables, with a specific upper bound on the degree of the polynomial. The p… ▽ More If a Lagrangian defining a variational problem has order $k$ then its Euler-Lagrange equations generically have order $2k$. This paper considers the case where the Euler-Lagrange equations have order strictly less than $2k$, and shows that in such a case the Lagrangian must be a polynomial in the highest-order derivative variables, with a specific upper bound on the degree of the polynomial. The paper also provides an explicit formulation, derived from a geometrical construction, of a family of such $k$-th order Lagrangians, and it is conjectured that all such Lagrangians arise in this way. △ Less

Submitted 25 August, 2018; v1 submitted 21 January, 2018; originally announced January 2018.

Journal ref: SIGMA 14 (2018), 089, 13 pages

Experimental demonstration of quantum effects in the operation of microscopic heat engines

Authors: James Klatzow, Jonas N. Becker, Patrick M. Ledingham, Christian Weinzetl, Krzysztof T. Kaczmarek, Dylan J. Saunders, Joshua Nunn, Ian A. Walmsley, Raam Uzdin, Eilon Poem

Abstract: The heat engine, a machine that extracts useful work from thermal sources, is one of the basic theoretical constructs and fundamental applications of classical thermodynamics. The classical description of a heat engine does not include coherence in its microscopic degrees of freedom. By contrast, a quantum heat engine might possess coherence between its internal states. Although the Carnot efficie… ▽ More The heat engine, a machine that extracts useful work from thermal sources, is one of the basic theoretical constructs and fundamental applications of classical thermodynamics. The classical description of a heat engine does not include coherence in its microscopic degrees of freedom. By contrast, a quantum heat engine might possess coherence between its internal states. Although the Carnot efficiency cannot be surpassed, and coherence can be performance degrading in certain conditions, it was recently predicted that even when using only thermal resources, internal coherence can enable a quantum heat engine to produce more power than any classical heat engine using the same resources. Such a power boost therefore constitutes a quantum thermodynamic signature. It has also been shown that the presence of coherence results in the thermodynamic equivalence of different quantum heat engine types, an effect with no classical counterpart. Microscopic heat machines have been recently implemented with trapped ions, and proposals for heat machines using superconducting circuits and optomechanics have been made. When operated with standard thermal baths, however, the machines implemented so far have not demonstrated any inherently quantum feature in their thermodynamic quantities. Here we implement two types of quantum heat engines by use of an ensemble of nitrogen-vacancy centres in diamond, and experimentally demonstrate both the coherence power boost and the equivalence of different heat-engine types. This constitutes the first observation of quantum thermodynamic signatures in heat machines. △ Less

Submitted 5 January, 2018; v1 submitted 24 October, 2017; originally announced October 2017.

Journal ref: Physical Review Letters 112, 110601 (2019)

High-speed noise-free optical quantum memory

Authors: K. T. Kaczmarek, P. M. Ledingham, B. Brecht, S. E. Thomas, G. S. Thekkadath, O. Lazo-Arjona, J. H. D. Munns, E. Poem, A. Feizpour, D. J. Saunders, J. Nunn, I. A. Walmsley

Abstract: Quantum networks promise to revolutionise computing, simulation, and communication. Light is the ideal information carrier for quantum networks, as its properties are not degraded by noise in ambient conditions, and it can support large bandwidths enabling fast operations and a large information capacity. Quantum memories, devices that store, manipulate, and release on demand quantum light, have b… ▽ More Quantum networks promise to revolutionise computing, simulation, and communication. Light is the ideal information carrier for quantum networks, as its properties are not degraded by noise in ambient conditions, and it can support large bandwidths enabling fast operations and a large information capacity. Quantum memories, devices that store, manipulate, and release on demand quantum light, have been identified as critical components of photonic quantum networks, because they facilitate scalability. However, any noise introduced by the memory can render the device classical by destroying the quantum character of the light. Here we introduce an intrinsically noise-free memory protocol based on two-photon off-resonant cascaded absorption (ORCA). We consequently demonstrate for the first time successful storage of GHz-bandwidth heralded single photons in a warm atomic vapour with no added noise; confirmed by the unaltered photon statistics upon recall. Our ORCA memory platform meets the stringent noise-requirements for quantum memories whilst offering technical simplicity and high-speed operation, and therefore is immediately applicable to low-latency quantum networks. △ Less

Submitted 11 April, 2018; v1 submitted 31 March, 2017; originally announced April 2017.

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

Experimental demonstration of non-bilocal quantum correlations

Authors: Dylan J. Saunders, Adam J. Bennet, Cyril Branciard, Geoff J. Pryde

Abstract: Quantum mechanics admits correlations that cannot be explained by local realistic models. Those most studied are the standard local hidden variable models, which satisfy the well-known Bell inequalities. To date, most works have focused on bipartite entangled systems. Here, we consider correlations between three parties connected via two independent entangled states. We investigate the new type of… ▽ More Quantum mechanics admits correlations that cannot be explained by local realistic models. Those most studied are the standard local hidden variable models, which satisfy the well-known Bell inequalities. To date, most works have focused on bipartite entangled systems. Here, we consider correlations between three parties connected via two independent entangled states. We investigate the new type of so-called "bilocal" models, which correspondingly involve two independent hidden variables. Such models describe scenarios that naturally arise in quantum networks, where several independent entanglement sources are employed. Using photonic qubits, we build such a linear three-node quantum network and demonstrate non-bilocal correlations by violating a Bell-like inequality tailored for bilocal models. Furthermore, we show that the demonstration of non-bilocality is more noise-tolerant than that of standard Bell non-locality in our three-party quantum network. △ Less

Submitted 26 October, 2016; originally announced October 2016.

Comments: 5 pages, with 3 pages supplementary material

Journal ref: Science Advances Vol. 3, no. 4 e1602743 (2017)

High Efficiency Raman Memory by Suppressing Radiation Trap**

Authors: S. E. Thomas, J. H. D. Munns, K. T. Kaczmarek, C. Qiu, B. Brecht, A. Feizpour, P. M. Ledingham, I. A. Walmsley, J. Nunn, D. J. Saunders

Abstract: Raman interactions in alkali vapours are used in applications such as atomic clocks, optical signal processing, generation of squeezed light and Raman quantum memories for temporal multiplexing. To achieve a strong interaction the alkali ensemble needs both a large optical depth and a high level of spin-polarisation. We implement a technique known as quenching using a molecular buffer gas which al… ▽ More Raman interactions in alkali vapours are used in applications such as atomic clocks, optical signal processing, generation of squeezed light and Raman quantum memories for temporal multiplexing. To achieve a strong interaction the alkali ensemble needs both a large optical depth and a high level of spin-polarisation. We implement a technique known as quenching using a molecular buffer gas which allows near-perfect spin-polarisation of over $99.5\%$ in caesium vapour at high optical depths of up to $\sim 2 \times 10^5$; a factor of 4 higher than can be achieved without quenching. We use this system to explore efficient light storage with high gain in a GHz bandwidth Raman memory. △ Less

Submitted 1 February, 2017; v1 submitted 12 October, 2016; originally announced October 2016.

Comments: 11 pages, 6 figures

Theory of noise suppression in Λ-type quantum memories by means of a cavity

Authors: J. Nunn, S. Thomas, J. H. D. Munns, K. T. Kaczmarek, C. Qiu, A. Feizpour, E. Poem, B. Brecht, D. J. Saunders, P. M. Ledingham, Dileep V. Reddy, M. G. Raymer, I. A. Walmsley

Abstract: Quantum memories, capable of storing single photons or other quantum states of light, to be retrieved on-demand, offer a route to large-scale quantum information processing with light. A promising class of memories is based on far-off-resonant Raman absorption in ensembles of $Λ$-type atoms. However at room temperature these systems exhibit unwanted four-wave mixing, which is prohibitive for appli… ▽ More Quantum memories, capable of storing single photons or other quantum states of light, to be retrieved on-demand, offer a route to large-scale quantum information processing with light. A promising class of memories is based on far-off-resonant Raman absorption in ensembles of $Λ$-type atoms. However at room temperature these systems exhibit unwanted four-wave mixing, which is prohibitive for applications at the single-photon level. Here we show how this noise can be suppressed by placing the storage medium inside a moderate-finesse optical cavity, thereby removing the main roadblock hindering this approach to quantum memory. △ Less

Submitted 2 January, 2016; originally announced January 2016.

Comments: 10 pages, 3 figures. This paper provides the theoretical background to our recent experimental demonstration of noise suppression in a cavity-enhanced Raman-type memory ( arXiv:1510.04625 ). See also the related paper arXiv:1511.05448, which describes numerical modelling of an atom-filled cavity. Comments welcome

Journal ref: Phys. Rev. A 96, 012338 (2017)

Shape maps for second order partial differential equations

Authors: O. Rossi, D. J. Saunders, G. E. Prince

Abstract: We analyse the singularity formation of congruences of solutions of systems of second order PDEs via the construction of \emph{shape maps}. The trace of such maps represents a congruence volume whose collapse we study through an appropriate evolution equation, akin to Raychaudhuri's equation. We develop the necessary geometric framework on a suitable jet space in which the shape maps appear natura… ▽ More We analyse the singularity formation of congruences of solutions of systems of second order PDEs via the construction of \emph{shape maps}. The trace of such maps represents a congruence volume whose collapse we study through an appropriate evolution equation, akin to Raychaudhuri's equation. We develop the necessary geometric framework on a suitable jet space in which the shape maps appear naturally associated with certain linear connections. Explicit computations are given, along with a nontrivial example. △ Less

Submitted 15 December, 2015; originally announced December 2015.

MSC Class: 58J47; 58J60; 58A20; 35G50; 35N99

In Situ Characterisation of an Optically Thick Atom-Filled Cavity

Authors: J. H. D. Munns, C. Qiu, P. M. Ledingham, I. A. Walmsley, J. Nunn, D. J. Saunders

Abstract: A means for precise experimental characterization of the dielectric susceptibility of an atomic gas inside and optical cavity is important for design and operation of quantum light matter interfaces, particularly in the context of quantum information processing. Here we present a numerically optimised theoretical model to predict the spectral response of an atom-filled cavity, accounting for both… ▽ More A means for precise experimental characterization of the dielectric susceptibility of an atomic gas inside and optical cavity is important for design and operation of quantum light matter interfaces, particularly in the context of quantum information processing. Here we present a numerically optimised theoretical model to predict the spectral response of an atom-filled cavity, accounting for both homogeneous and inhomogeneous broadening at high optical densities. We investigate the regime where the two broadening mechanisms are of similar magnitude, which makes the use of common approximations invalid. Our model agrees with an experimental implementation with warm caesium vapour in a ring cavity. From the cavity response, we are able to extract important experimental parameters, for instance the ground state populations, total number density and the magnitudes of both homogeneous and inhomogeneous broadening. △ Less

Submitted 2 February, 2016; v1 submitted 17 November, 2015; originally announced November 2015.

Comments: Author accepted version

Journal ref: Phys. Rev. A 93, 013858 (2016)

A Cavity-Enhanced Room-Temperature Broadband Raman Memory

Authors: D. J. Saunders, J. H. D. Munns, T. F. M. Champion, C. Qiu, K. T. Kaczmarek, E. Poem, P. M. Ledingham, I. A. Walmsley, J. Nunn

Abstract: Broadband quantum memories hold great promise as multiplexing elements in future photonic quantum information protocols. Alkali vapour Raman memories combine high-bandwidth storage, on-demand read-out, and operation at room temperature without collisional fluorescence noise. However, previous implementations have required large control pulse energies and suffered from four-wave mixing noise. Here… ▽ More Broadband quantum memories hold great promise as multiplexing elements in future photonic quantum information protocols. Alkali vapour Raman memories combine high-bandwidth storage, on-demand read-out, and operation at room temperature without collisional fluorescence noise. However, previous implementations have required large control pulse energies and suffered from four-wave mixing noise. Here we present a Raman memory where the storage interaction is enhanced by a low-finesse birefringent cavity tuned into simultaneous resonance with the signal and control fields, dramatically reducing the energy required to drive the memory. By engineering anti-resonance for the anti-Stokes field, we also suppress the four-wave mixing noise and report the lowest unconditional noise floor yet achieved in a Raman-type warm vapour memory, $(15\pm2)\times10^{-3}$ photons per pulse, with a total efficiency of $(9.5\pm0.5)$%. △ Less

Submitted 15 October, 2015; originally announced October 2015.

Journal ref: Phys. Rev. Lett. 116, 090501 (2016)

Ultrahigh and persistent optical depths of caesium in Kagomé-type hollow-core photonic crystal fibres

Authors: Krzysztof T. Kaczmarek, Dylan J. Saunders, Michael R. Sprague, W. Steven Kolthammer, Amir Feizpour, Patrick M. Ledingham, Benjamin Brecht, Eilon Poem, Ian A. Walmsley, Joshua Nunn

Abstract: Alkali-filled hollow-core fibres are a promising medium for investigating light-matter interactions, especially at the single-photon level, due to the tight confinement of light and high optical depths achievable by light-induced atomic desorption. However, until now these large optical depths could only be generated for seconds at most once per day, severely limiting the practicality of the techn… ▽ More Alkali-filled hollow-core fibres are a promising medium for investigating light-matter interactions, especially at the single-photon level, due to the tight confinement of light and high optical depths achievable by light-induced atomic desorption. However, until now these large optical depths could only be generated for seconds at most once per day, severely limiting the practicality of the technology. Here we report the generation of highest observed transient ($>10^5$ for up to a minute) and highest observed persistent ($>2000$ for hours) optical depths of alkali vapours in a light-guiding geometry to date, using a caesium-filled Kagomé-type hollow-core photonic crystal fibre. Our results pave the way to light-matter interaction experiments in confined geometries requiring long operation times and large atomic number densities, such as generation of single-photon-level nonlinearities and development of single photon quantum memories. △ Less

Submitted 30 November, 2015; v1 submitted 16 September, 2015; originally announced September 2015.

Comments: Author Accepted version

Journal ref: Optics Letters Vol. 40, Issue 23, pp. 5582-5585 (2015)

Tangent bundle geometry induced by second order partial differential equations

Authors: D. J. Saunders, O. Rossi, G. E. Prince

Abstract: We show how the tangent bundle decomposition generated by a system of ordinary differential equations may be generalized to the case of a system of second order PDEs `of connection type'. Whereas for ODEs the decomposition is intrinsic, for PDEs it is necessary to specify a closed 1-form on the manifold of independent variables, together with a transverse local vector field. The resulting decompos… ▽ More We show how the tangent bundle decomposition generated by a system of ordinary differential equations may be generalized to the case of a system of second order PDEs `of connection type'. Whereas for ODEs the decomposition is intrinsic, for PDEs it is necessary to specify a closed 1-form on the manifold of independent variables, together with a transverse local vector field. The resulting decomposition provides several natural curvature operators. The harmonic map equation is examined, and in this case both the 1-form and the vector field arise naturally. △ Less

Submitted 16 December, 2015; v1 submitted 7 December, 2014; originally announced December 2014.

MSC Class: 58J60 58A20 35G50 35N99

Broadband, noise-free optical quantum memory with neutral nitrogen-vacancy centers in diamond

Authors: E. Poem, C. Weinzetl, J. Klatzow, K. T. Kaczmarek, J. H. D. Munns, T. F. M. Champion, D. J. Saunders, J. Nunn, I. A. Walmsley

Abstract: It is proposed that the ground-state manifold of the neutral nitrogen-vacancy center in diamond could be used as a quantum two-level system in a solid-state-based implementation of a broadband, noise-free quantum optical memory. The proposal is based on the same-spin $Λ$-type three-level system created between the two E orbital ground states and the A$_1$ orbital excited state of the center, and t… ▽ More It is proposed that the ground-state manifold of the neutral nitrogen-vacancy center in diamond could be used as a quantum two-level system in a solid-state-based implementation of a broadband, noise-free quantum optical memory. The proposal is based on the same-spin $Λ$-type three-level system created between the two E orbital ground states and the A$_1$ orbital excited state of the center, and the cross-linear polarization selection rules obtained with the application of transverse electric field or uniaxial stress. Possible decay and decoherence mechanisms of this system are discussed, and it is shown that high-efficiency, noise-free storage of photons as short as a few tens of picoseconds for at least a few nanoseconds could be possible at low temperature. △ Less

Submitted 23 April, 2015; v1 submitted 29 August, 2014; originally announced August 2014.

Comments: Revised version. 11 pages, 5 figures, 2 appendices, 22 equations

Journal ref: Phys. Rev. B 91, 205108 (2015)

Experimental device-independent verification of quantum steering

Authors: Sacha Kocsis, Michael J. W. Hall, Adam J. Bennet, Dylan J. Saunders, G. J. Pryde

Abstract: Bell nonlocality between distant quantum systems---i.e., joint correlations which violate a Bell inequality---can be verified without trusting the measurement devices used, nor those performing the measurements. This leads to unconditionally secure protocols for quantum information tasks such as cryptographic key distribution. However, complete verification of Bell nonlocality requires high detect… ▽ More Bell nonlocality between distant quantum systems---i.e., joint correlations which violate a Bell inequality---can be verified without trusting the measurement devices used, nor those performing the measurements. This leads to unconditionally secure protocols for quantum information tasks such as cryptographic key distribution. However, complete verification of Bell nonlocality requires high detection efficiencies, and is not robust to the typical transmission losses that occur in long distance applications. In contrast, quantum steering, a weaker form of quantum correlation, can be verified for arbitrarily low detection efficiencies and high losses. The cost is that current steering-verification protocols require complete trust in one of the measurement devices and its operator, allowing only one-sided secure key distribution. We present device-independent steering protocols that remove this need for trust, even when Bell nonlocality is not present. We experimentally demonstrate this principle for singlet states and states that do not violate a Bell inequality. △ Less

Submitted 6 August, 2014; v1 submitted 3 August, 2014; originally announced August 2014.

Comments: 7 pages, 3 figures

Journal ref: Nature Communications 6:5886 (2015)

Interfacing GHz-bandwidth heralded single photons with a room-temperature Raman quantum memory

Authors: P. S. Michelberger, T. F. M. Champion, M. R. Sprague, K. T. Kaczmarek, M. Barbieri, X. M. **, D. G. England, W. S. Kolthammer, D. J. Saunders, J. Nunn, I. A. Walmsley

Abstract: Photonics is a promising platform for quantum technologies. However, photon sources and two-photon gates currently only operate probabilistically. Large-scale photonic processing will therefore be impossible without a multiplexing strategy to actively select successful events. High time-bandwidth-product quantum memories - devices that store and retrieve single photons on-demand - provide an effic… ▽ More Photonics is a promising platform for quantum technologies. However, photon sources and two-photon gates currently only operate probabilistically. Large-scale photonic processing will therefore be impossible without a multiplexing strategy to actively select successful events. High time-bandwidth-product quantum memories - devices that store and retrieve single photons on-demand - provide an efficient remedy via active synchronisation. Here we interface a GHz-bandwidth heralded single-photon source and a room-temperature Raman memory with a time-bandwidth product exceeding 1000. We store heralded single photons and observe a clear influence of the input photon statistics on the retrieved light, which agrees with our theoretical model. The preservation of the stored field's statistics is limited by four-wave-mixing noise, which we identify as the key remaining challenge in the development of practical memories for scalable photonic information processing. △ Less

Submitted 6 May, 2014; originally announced May 2014.

Experimental semi-device-independent certification of entangled measurements

Authors: Adam Bennet, Tamás Vértesi, Dylan J. Saunders, Nicolas Brunner, G. J. Pryde

Abstract: Certifying the entanglement of quantum states with Bell inequalities allows one to guarantee the security of quantum information protocols independently of imperfections in the measuring devices. Here we present a similar procedure for witnessing entangled measurements, which play a central role in many quantum information tasks. Our procedure is termed semi-device-independent, as it uses uncharac… ▽ More Certifying the entanglement of quantum states with Bell inequalities allows one to guarantee the security of quantum information protocols independently of imperfections in the measuring devices. Here we present a similar procedure for witnessing entangled measurements, which play a central role in many quantum information tasks. Our procedure is termed semi-device-independent, as it uses uncharacterized quantum preparations of fixed Hilbert space dimension. Using a photonic setup, we experimentally certify an entangled measurement using measurement statistics only. We also apply our techniques to certify unentangled but nevertheless inherently quantum measurements. △ Less

Submitted 4 April, 2014; originally announced April 2014.

Comments: 7 pages, 2 figures

Journal ref: Phys. Rev. Lett. 113, 080405 (2014)

Practical Quantum Metrology

Authors: Jonathan C. F. Matthews, Xiao-Qi Zhou, Hugo Cable, Peter J. Shadbolt, Dylan J. Saunders, Gabriel A. Durkin, Geoff J. Pryde, Jeremy L. O'Brien

Abstract: Quantum metrology research promises approaches to build new sensors that achieve the ultimate level of precision measurement and perform fundamentally better than modern sensors. Practical schemes that tolerate realistic fabrication imperfections and environmental noise are required in order to realise quantum-enhanced sensors and to enable their real-world application. We have demonstrated the ke… ▽ More Quantum metrology research promises approaches to build new sensors that achieve the ultimate level of precision measurement and perform fundamentally better than modern sensors. Practical schemes that tolerate realistic fabrication imperfections and environmental noise are required in order to realise quantum-enhanced sensors and to enable their real-world application. We have demonstrated the key enabling principles of a practical, loss-tolerant approach to photonic quantum metrology designed to harness all multi-photon components in spontaneous parametric downconversion---a method for generating multiple photons that we show requires no further fundamental state engineering for use in practical quantum metrology. We observe a quantum advantage of 28% in precision measurement of optical phase using the four-photon detection component of this scheme, despite 83% system loss. This opens the way to new quantum sensors based on current quantum-optical capabilities. △ Less

Submitted 18 July, 2013; v1 submitted 17 July, 2013; originally announced July 2013.

Comments: 8 pages, 7 figures, 2 tables

Journal ref: NPJ Quantum Information, vol 2, article no. 16023 (2016)

Hilbert forms for a Finsler metrizable projective class of sprays

Authors: M. Crampin, T. Mestdag, D. J. Saunders

Abstract: The projective Finsler metrizability problem deals with the question whether a projective-equivalence class of sprays is the geodesic class of a (locally or globally defined) Finsler function. In this paper we use Hilbert-type forms to state a number of different ways of specifying necessary and sufficient conditions for this to be the case, and we show that they are equivalent. We also address se… ▽ More The projective Finsler metrizability problem deals with the question whether a projective-equivalence class of sprays is the geodesic class of a (locally or globally defined) Finsler function. In this paper we use Hilbert-type forms to state a number of different ways of specifying necessary and sufficient conditions for this to be the case, and we show that they are equivalent. We also address several related issues of interest including path spaces, Jacobi fields, totally-geodesic submanifolds of a spray space, and the equivalence of path geometries and projective-equivalence classes of sprays. △ Less

Submitted 11 January, 2013; v1 submitted 29 June, 2012; originally announced June 2012.

Comments: 23 pages

MSC Class: 53C60

Journal ref: Diff. Geom. Appl. 31 (2013) 63-79

The multiplier approach to the projective Finsler metrizability problem

Authors: M. Crampin, T. Mestdag, D. J. Saunders

Abstract: This paper is concerned with the problem of determining whether a projective-equivalence class of sprays is the geodesic class of a Finsler function. We address both the local and the global aspects of this problem. We present our results entirely in terms of a multiplier, that is, a type (0,2) tensor field along the tangent bundle projection. In the course of the analysis we consider several rela… ▽ More This paper is concerned with the problem of determining whether a projective-equivalence class of sprays is the geodesic class of a Finsler function. We address both the local and the global aspects of this problem. We present our results entirely in terms of a multiplier, that is, a type (0,2) tensor field along the tangent bundle projection. In the course of the analysis we consider several related issues of interest including the positivity and strong convexity of positively-homogeneous functions, the relation to the so-called Rapcsák conditions, some peculiarities of the two-dimensional case, and geodesic convexity for sprays. △ Less

Submitted 14 March, 2012; originally announced March 2012.

Comments: 25 pages

MSC Class: 53C60

Journal ref: Diff. Geom. Appl. 30 (2012) 604 - 621

Arbitrarily loss-tolerant Einstein-Podolsky-Rosen steering allowing a demonstration over 1 km of optical fiber with no detection loophole

Authors: A. J. Bennet, D. A. Evans, D. J. Saunders, C. Branciard, E. G. Cavalcanti, H. M. Wiseman, G. J. Pryde

Abstract: Demonstrating nonclassical effects over longer and longer distances is essential for both quantum technology and fundamental science. The main challenge is loss of photons during propagation, because considering only those cases where photons are detected opens a "detection loophole" in security whenever parties or devices are untrusted. Einstein-Podolsky-Rosen (EPR) steering is equivalent to an e… ▽ More Demonstrating nonclassical effects over longer and longer distances is essential for both quantum technology and fundamental science. The main challenge is loss of photons during propagation, because considering only those cases where photons are detected opens a "detection loophole" in security whenever parties or devices are untrusted. Einstein-Podolsky-Rosen (EPR) steering is equivalent to an entanglement-verification task in which one party (device) is untrusted. We derive arbitrarily loss-tolerant tests, enabling us to perform a detection-loophole-free demonstration of EPR-steering with parties separated by a coiled 1 km optical fiber, with a total loss of 8.9 dB (87%). △ Less

Submitted 2 July, 2012; v1 submitted 3 November, 2011; originally announced November 2011.

Comments: Accepted for publication in Physical Review X. This is the accepted version

Journal ref: Physical Review X 2, 031003 (2012)

Homogeneity and projective equivalence of differential equation fields

Authors: M. Crampin, D. J. Saunders

Abstract: We propose definitions of homogeneity and projective equivalence for systems of ordinary differential equations of order greater than two, which allow us to generalize the concept of a spray (for systems of order two). We show that the Euler-Lagrange fields of parametric Lagrangians of order greater than one which are regular (in a natural sense that we define) form a projective equivalence class… ▽ More We propose definitions of homogeneity and projective equivalence for systems of ordinary differential equations of order greater than two, which allow us to generalize the concept of a spray (for systems of order two). We show that the Euler-Lagrange fields of parametric Lagrangians of order greater than one which are regular (in a natural sense that we define) form a projective equivalence class of homogeneous systems. We show further that the geodesics, or base integral curves, of projectively equivalent homogeneous differential equation fields are the same apart from orientation-preserving reparametrization; that is, homogeneous differential equation fields determine systems of paths. △ Less

Submitted 16 September, 2011; originally announced September 2011.

MSC Class: 34A26; 70H03; 70H50

Double structures and jets

Authors: D. J. Saunders

Abstract: We show how the double vector bundle structure of the manifold of double velocities, with its submanifolds of holonomic and semiholonomic double velocities, is mirrored by a structure of holonomic and semiholonomic subgroups in the principal prolongation of the first jet group. We use the actions of these groups to construct holonomic and semiholonomic submanifolds in the manifold of double contac… ▽ More We show how the double vector bundle structure of the manifold of double velocities, with its submanifolds of holonomic and semiholonomic double velocities, is mirrored by a structure of holonomic and semiholonomic subgroups in the principal prolongation of the first jet group. We use the actions of these groups to construct holonomic and semiholonomic submanifolds in the manifold of double contact elements, and show that these give rise to affine bundles where a semiholonomic element has well-defined holonomic and curvature components. △ Less

Submitted 30 August, 2011; originally announced August 2011.

Comments: Based on a talk given at a meeting in Krakow for the eightieth birthday of W. M. Tulczyjew

MSC Class: 58A20; 53C05

Homogeneous variational problems: a minicourse

Authors: D. J. Saunders

Abstract: A Finsler geometry may be understood as a homogeneous variational problem, where the Finsler function is the Lagrangian. The extremals in Finsler geometry are curves, but in more general variational problems we might consider extremal submanifolds of dimension $m$. In this minicourse we discuss these problems from a geometric point of view. A Finsler geometry may be understood as a homogeneous variational problem, where the Finsler function is the Lagrangian. The extremals in Finsler geometry are curves, but in more general variational problems we might consider extremal submanifolds of dimension $m$. In this minicourse we discuss these problems from a geometric point of view. △ Less

Submitted 30 August, 2011; originally announced August 2011.

Comments: This paper is a written-up version of the major part of a minicourse given at the sixth Bilateral Workshop on Differential Geometry and its Applications, held in Ostrava in May 2011

MSC Class: 35A15; 58A10; 58A20

The Simplest Demonstrations of Quantum Nonlocality

Authors: Dylan J. Saunders, Matthew S. Palsson, Geoff J. Pryde, Andrew J. Scott, Stephen M. Barnett, Howard M. Wiseman

Abstract: We investigate the complexity cost of demonstrating the key types of nonclassical correlations --- Bell inequality violation, EPR-steering, and entanglement --- with independent agents, theoretically and in a photonic experiment. We show that the complexity cost exhibits a hierarchy among these three tasks, mirroring the recently-discovered hierarchy for how robust they are to noise. For Bell ineq… ▽ More We investigate the complexity cost of demonstrating the key types of nonclassical correlations --- Bell inequality violation, EPR-steering, and entanglement --- with independent agents, theoretically and in a photonic experiment. We show that the complexity cost exhibits a hierarchy among these three tasks, mirroring the recently-discovered hierarchy for how robust they are to noise. For Bell inequality violations, the simplest test is the well-known CHSH test, but for EPR-steering and entanglement the tests that involve the fewest number of detection patterns require non-projective measurements. The simplest EPR-steering requires a choice of projective measurement for one agent and a single non-projective measurement for the other, while the simplest entanglement test uses just a single non-projective measurement for each agent. In both of these cases, we derive our inequalities using the concept of circular 2-designs. This leads to the interesting feature that in our photonic demonstrations, the correlation of interest is independent of the angle between the linear polarizers used by the two parties, which thus require no alignment. △ Less

Submitted 6 July, 2012; v1 submitted 1 March, 2011; originally announced March 2011.

Comments: 12 Pages, 3 Figures

Journal ref: New J. Phys. 14 113020 (2012)

Holonomy of a class of bundles with fibre metrics

Authors: M. Crampin, D. J. Saunders

Abstract: This paper is concerned with the holonomy of a class of spaces which includes Landsberg spaces of Finsler geometry. The methods used are those of Lie groupoids and algebroids as developed by Mackenzie. We prove a version of the Ambrose-Singer Theorem for such spaces. The paper ends with a discussion of how the results may be extended to Finsler spaces and homogeneous nonlinear connections in gener… ▽ More This paper is concerned with the holonomy of a class of spaces which includes Landsberg spaces of Finsler geometry. The methods used are those of Lie groupoids and algebroids as developed by Mackenzie. We prove a version of the Ambrose-Singer Theorem for such spaces. The paper ends with a discussion of how the results may be extended to Finsler spaces and homogeneous nonlinear connections in general. △ Less

Submitted 29 May, 2010; originally announced May 2010.

Experimental EPR-Steering of Bell-local States

Authors: D. J. Saunders, S. J. Jones, H. M. Wiseman, G. J. Pryde

Abstract: Entanglement is the defining feature of quantum mechanics, and understanding the phenomenon is essential at the foundational level and for future progress in quantum technology. The concept of steering was introduced in 1935 by Schrödinger as a generalization of the Einstein-Podolsky-Rosen (EPR) paradox. Surprisingly, it has only recently been formalized as a quantum information task with arbitrar… ▽ More Entanglement is the defining feature of quantum mechanics, and understanding the phenomenon is essential at the foundational level and for future progress in quantum technology. The concept of steering was introduced in 1935 by Schrödinger as a generalization of the Einstein-Podolsky-Rosen (EPR) paradox. Surprisingly, it has only recently been formalized as a quantum information task with arbitrary bipartite states and measurements, for which the existence of entanglement is necessary but not sufficient. Previous experiments in this area have been restricted to the approach of Reid [PRA 40, 913], which followed the original EPR argument in considering only two different measurement settings per side. Here we implement more than two settings so as to be able to demonstrate experimentally, for the first time, that EPR-steering occurs for mixed entangled states that are Bell-local (that is, which cannot possibly demonstrate Bell-nonlocality). Unlike the case of Bell inequalities, increasing the number of measurement settings beyond two--we use up to six--dramatically increases the robustness of the EPR-steering phenomenon to noise. △ Less

Submitted 24 January, 2011; v1 submitted 3 September, 2009; originally announced September 2009.

Comments: 5pages, 5figures, letter

Journal ref: D. J. Saunders, S. J. Jones, H. M. Wiseman and G. J. Pryde, "Experimental EPR-Steering using Bell-local States", in Nature Physics, 6, 845-849 (November 2010)

The fundamental form of a homogeneous Lagrangian in two independent variables

Authors: D. J. Saunders, M. Crampin

Abstract: We construct, for a homogeneous Lagrangian of arbitrary order in two independent variables, a differential 2-form with the property that it is closed precisely when the Lagrangian is null. This is similar to the property of the `fundamental Lepage equivalent' associated with first-order Lagrangians defined on jets of sections of a fibred manifold. We construct, for a homogeneous Lagrangian of arbitrary order in two independent variables, a differential 2-form with the property that it is closed precisely when the Lagrangian is null. This is similar to the property of the `fundamental Lepage equivalent' associated with first-order Lagrangians defined on jets of sections of a fibred manifold. △ Less

Submitted 19 September, 2007; originally announced September 2007.

MSC Class: 58E99; ;49F99

How to recover a Lagrangian using the homogeneous variational bicomplex

Authors: D. J. Saunders

Abstract: We show how the homogeneous variational bicomplex provides a useful formalism for describing a number of properties of single-integral variational problems, and we introduce a subsequence of one of the rows of the bicomplex which is locally exact with respect to the variational derivative. We are therefore able to recover a Lagrangian from a set of equations given as a variationally-closed diffe… ▽ More We show how the homogeneous variational bicomplex provides a useful formalism for describing a number of properties of single-integral variational problems, and we introduce a subsequence of one of the rows of the bicomplex which is locally exact with respect to the variational derivative. We are therefore able to recover a Lagrangian from a set of equations given as a variationally-closed differential form. As an example, we show how to recover a first-order Lagrangian from a suitable set of second-order equations. △ Less

Submitted 20 December, 2006; originally announced December 2006.

MSC Class: 58E99

The fundamental form of a second-order homogeneous Lagrangian in two variables

Authors: D. J. Saunders

Abstract: We construct, for a second-order homogeneous Lagrangian in two independent variables, a differential 2-form with the property that it is closed precisely when the Lagrangian is null. This is similar to the property of the 'fundamental Lepage equivalent' associated with first-order Lagrangians defined on jets of sections of a fibred manifold. We show that this form may be defined on a fourth-orde… ▽ More We construct, for a second-order homogeneous Lagrangian in two independent variables, a differential 2-form with the property that it is closed precisely when the Lagrangian is null. This is similar to the property of the 'fundamental Lepage equivalent' associated with first-order Lagrangians defined on jets of sections of a fibred manifold. We show that this form may be defined on a fourth-order frame bundle but is not, in general, projectable to a bundle of contact elements △ Less

Submitted 16 December, 2005; originally announced December 2005.

Comments: 20 pages

MSC Class: 58E99

Homogeneous variational complexes and bicomplexes

Authors: D. J. Saunders

Abstract: We present a family of complexes playing the same role, for homogeneous variational problems, that the horizontal parts of the variational bicomplex play for variational problems on a fibred manifold. We show that, modulo certain pullbacks, each of these complexes (apart from the first one) is globally exact. All the complexes may be embedded in bicomplexes, and we show that, again modulo pullba… ▽ More We present a family of complexes playing the same role, for homogeneous variational problems, that the horizontal parts of the variational bicomplex play for variational problems on a fibred manifold. We show that, modulo certain pullbacks, each of these complexes (apart from the first one) is globally exact. All the complexes may be embedded in bicomplexes, and we show that, again modulo pullbacks, the latter are locally exact. The edge sequence is an important part of such a bicomplex, and may be used for the study of homogeneous variational problems. △ Less

Submitted 16 December, 2005; originally announced December 2005.

Comments: 21 pages

MSC Class: 58E99