-
Improving the Efficiency of Payments Systems Using Quantum Computing
Authors:
Christopher McMahon,
Donald McGillivray,
Ajit Desai,
Francisco Rivadeneyra,
Jean-Paul Lam,
Thomas Lo,
Danica Marsden,
Vladimir Skavysh
Abstract:
High-value payment systems (HVPSs) are typically liquidity-intensive as the payment requests are indivisible and settled on a gross basis. Finding the right order in which payments should be processed to maximize the liquidity efficiency of these systems is an $NP$-hard combinatorial optimization problem, which quantum algorithms may be able to tackle at meaningful scales. We developed an algorith…
▽ More
High-value payment systems (HVPSs) are typically liquidity-intensive as the payment requests are indivisible and settled on a gross basis. Finding the right order in which payments should be processed to maximize the liquidity efficiency of these systems is an $NP$-hard combinatorial optimization problem, which quantum algorithms may be able to tackle at meaningful scales. We developed an algorithm and ran it on a hybrid quantum annealing solver to find an ordering of payments that reduced the amount of system liquidity necessary without substantially increasing payment delays. Despite the limitations in size and speed of today's quantum computers, our algorithm provided quantifiable efficiency improvements when applied to the Canadian HVPS using a 30-day sample of transaction data. By reordering each batch of 70 payments as they entered the queue, we achieved an average of C\$240 million in daily liquidity savings, with a settlement delay of approximately 90 seconds. For a few days in the sample, the liquidity savings exceeded C\$1 billion. This algorithm could be incorporated as a centralized preprocessor into existing HVPS without entailing a fundamental change to their risk management models.
△ Less
Submitted 17 January, 2023; v1 submitted 19 September, 2022;
originally announced September 2022.
-
Optical observation of single spins in silicon
Authors:
A. T. K. Kurkjian,
D. B. Higginbottom,
C. Chartrand,
E. R. MacQuarrie,
J. R. Klein,
N. R. Lee-Hone,
J. Stacho,
C. Bowness,
L. Bergeron,
A. DeAbreu,
N. A. Brunelle,
S. R. Harrigan,
J. Kanaganayagam,
M. Kazemi,
D. W. Marsden,
T. S. Richards,
L. A. Stott,
S. Roorda,
K. J. Morse,
M. L. W. Thewalt,
S. Simmons
Abstract:
The global quantum internet will require long-lived, telecommunications band photon-matter interfaces manufactured at scale. Preliminary quantum networks based upon photon-matter interfaces which meet a subset of these demands are encouraging efforts to identify new high-performance alternatives. Silicon is an ideal host for commercial-scale solid-state quantum technologies. It is already an advan…
▽ More
The global quantum internet will require long-lived, telecommunications band photon-matter interfaces manufactured at scale. Preliminary quantum networks based upon photon-matter interfaces which meet a subset of these demands are encouraging efforts to identify new high-performance alternatives. Silicon is an ideal host for commercial-scale solid-state quantum technologies. It is already an advanced platform within the global integrated photonics and microelectronics industries, as well as host to record-setting long-lived spin qubits. Despite the overwhelming potential of the silicon quantum platform, the optical detection of individually addressable photon-spin interfaces in silicon has remained elusive. In this work we produce tens of thousands of individually addressable `$T$ centre' photon-spin qubits in integrated silicon photonic structures, and characterize their spin-dependent telecommunications-band optical transitions. These results unlock immediate opportunities to construct silicon-integrated, telecommunications-band quantum information networks.
△ Less
Submitted 12 March, 2021;
originally announced March 2021.
-
Scaling advantage in quantum simulation of geometrically frustrated magnets
Authors:
Andrew D. King,
Jack Raymond,
Trevor Lanting,
Sergei V. Isakov,
Masoud Mohseni,
Gabriel Poulin-Lamarre,
Sara Ejtemaee,
William Bernoudy,
Isil Ozfidan,
Anatoly Yu. Smirnov,
Mauricio Reis,
Fabio Altomare,
Michael Babcock,
Catia Baron,
Andrew J. Berkley,
Kelly Boothby,
Paul I. Bunyk,
Holly Christiani,
Colin Enderud,
Bram Evert,
Richard Harris,
Emile Hoskinson,
Shuiyuan Huang,
Kais Jooya,
Ali Khodabandelou
, et al. (29 additional authors not shown)
Abstract:
The promise of quantum computing lies in harnessing programmable quantum devices for practical applications such as efficient simulation of quantum materials and condensed matter systems. One important task is the simulation of geometrically frustrated magnets in which topological phenomena can emerge from competition between quantum and thermal fluctuations. Here we report on experimental observa…
▽ More
The promise of quantum computing lies in harnessing programmable quantum devices for practical applications such as efficient simulation of quantum materials and condensed matter systems. One important task is the simulation of geometrically frustrated magnets in which topological phenomena can emerge from competition between quantum and thermal fluctuations. Here we report on experimental observations of relaxation in such simulations, measured on up to 1440 qubits with microsecond resolution. By initializing the system in a state with topological obstruction, we observe quantum annealing (QA) relaxation timescales in excess of one microsecond. Measurements indicate a dynamical advantage in the quantum simulation over the classical approach of path-integral Monte Carlo (PIMC) fixed-Hamiltonian relaxation with multiqubit cluster updates. The advantage increases with both system size and inverse temperature, exceeding a million-fold speedup over a CPU. This is an important piece of experimental evidence that in general, PIMC does not mimic QA dynamics for stoquastic Hamiltonians. The observed scaling advantage, for simulation of frustrated magnetism in quantum condensed matter, demonstrates that near-term quantum devices can be used to accelerate computational tasks of practical relevance.
△ Less
Submitted 8 November, 2019;
originally announced November 2019.
-
Demonstration of nonstoquastic Hamiltonian in coupled superconducting flux qubits
Authors:
I. Ozfidan,
C. Deng,
A. Y. Smirnov,
T. Lanting,
R. Harris,
L. Swenson,
J. Whittaker,
F. Altomare,
M. Babcock,
C. Baron,
A. J. Berkley,
K. Boothby,
H. Christiani,
P. Bunyk,
C. Enderud,
B. Evert,
M. Hager,
A. Hajda,
J. Hilton,
S. Huang,
E. Hoskinson,
M. W. Johnson,
K. Jooya,
E. Ladizinsky,
N. Ladizinsky
, et al. (23 additional authors not shown)
Abstract:
Quantum annealing (QA) is a heuristic algorithm for finding low-energy configurations of a system, with applications in optimization, machine learning, and quantum simulation. Up to now, all implementations of QA have been limited to qubits coupled via a single degree of freedom. This gives rise to a stoquastic Hamiltonian that has no sign problem in quantum Monte Carlo (QMC) simulations. In this…
▽ More
Quantum annealing (QA) is a heuristic algorithm for finding low-energy configurations of a system, with applications in optimization, machine learning, and quantum simulation. Up to now, all implementations of QA have been limited to qubits coupled via a single degree of freedom. This gives rise to a stoquastic Hamiltonian that has no sign problem in quantum Monte Carlo (QMC) simulations. In this paper, we report implementation and measurements of two superconducting flux qubits coupled via two canonically conjugate degrees of freedom (charge and flux) to achieve a nonstoquastic Hamiltonian. Such coupling can enhance performance of QA processors, extend the range of quantum simulations. We perform microwave spectroscopy to extract circuit parameters and show that the charge coupling manifests itself as a YY interaction in the computational basis. We observe destructive interference in quantum coherent oscillations between the computational basis states of the two-qubit system. Finally, we show that the extracted Hamiltonian is nonstoquastic over a wide range of parameters.
△ Less
Submitted 8 November, 2019; v1 submitted 14 March, 2019;
originally announced March 2019.
-
Symmetric Monoidal Structure with Local Character is a Property
Authors:
Stefano Gogioso,
Dan Marsden,
Bob Coecke
Abstract:
In previous work we proved that, for categories of free finite-dimensional modules over a commutative semiring, linear compact-closed symmetric monoidal structure is a property, rather than a structure. That is, if there is such a structure, then it is uniquely defined (up to monoidal equivalence). Here we provide a novel unifying category-theoretic notion of symmetric monoidal structure with loca…
▽ More
In previous work we proved that, for categories of free finite-dimensional modules over a commutative semiring, linear compact-closed symmetric monoidal structure is a property, rather than a structure. That is, if there is such a structure, then it is uniquely defined (up to monoidal equivalence). Here we provide a novel unifying category-theoretic notion of symmetric monoidal structure with local character, which we prove to be a property for a much broader spectrum of categorical examples, including the infinite-dimensional case of relations over a quantale and the non-free case of finitely generated modules over a principal ideal domain.
△ Less
Submitted 29 January, 2019; v1 submitted 30 May, 2018;
originally announced May 2018.
-
Uniqueness of Composition in Quantum Theory and Linguistics
Authors:
Bob Coecke,
Fabrizio Genovese,
Stefano Gogioso,
Dan Marsden,
Robin Piedeleu
Abstract:
We derive a uniqueness result for non-Cartesian composition of systems in a large class of process theories, with important implications for quantum theory and linguistics. Specifically, we consider theories of wavefunctions valued in commutative involutive semirings -- as modelled by categories of free finite-dimensional modules -- and we prove that the only bilinear compact-closed symmetric mono…
▽ More
We derive a uniqueness result for non-Cartesian composition of systems in a large class of process theories, with important implications for quantum theory and linguistics. Specifically, we consider theories of wavefunctions valued in commutative involutive semirings -- as modelled by categories of free finite-dimensional modules -- and we prove that the only bilinear compact-closed symmetric monoidal structure is the canonical one (up to linear monoidal equivalence). Our results apply to conventional quantum theory and other toy theories of interest in the literature, such as real quantum theory, relational quantum theory, hyperbolic quantum theory and modal quantum theory. In computational linguistics they imply that linear models for categorical compositional distributional semantics (DisCoCat) -- such as vector spaces, sets and relations, and sets and histograms -- admit an (essentially) unique compatible pregroup grammar.
△ Less
Submitted 1 March, 2018;
originally announced March 2018.
-
Graded Entailment for Compositional Distributional Semantics
Authors:
Desislava Bankova,
Bob Coecke,
Martha Lewis,
Daniel Marsden
Abstract:
The categorical compositional distributional model of natural language provides a conceptually motivated procedure to compute the meaning of sentences, given grammatical structure and the meanings of its words. This approach has outperformed other models in mainstream empirical language processing tasks. However, until recently it has lacked the crucial feature of lexical entailment -- as do other…
▽ More
The categorical compositional distributional model of natural language provides a conceptually motivated procedure to compute the meaning of sentences, given grammatical structure and the meanings of its words. This approach has outperformed other models in mainstream empirical language processing tasks. However, until recently it has lacked the crucial feature of lexical entailment -- as do other distributional models of meaning.
In this paper we solve the problem of entailment for categorical compositional distributional semantics. Taking advantage of the abstract categorical framework allows us to vary our choice of model. This enables the introduction of a notion of entailment, exploiting ideas from the categorical semantics of partial knowledge in quantum computation.
The new model of language uses density matrices, on which we introduce a novel robust graded order capturing the entailment strength between concepts. This graded measure emerges from a general framework for approximate entailment, induced by any commutative monoid. Quantum logic embeds in our graded order.
Our main theorem shows that entailment strength lifts compositionally to the sentence level, giving a lower bound on sentence entailment. We describe the essential properties of graded entailment such as continuity, and provide a procedure for calculating entailment strength.
△ Less
Submitted 25 January, 2016; v1 submitted 19 January, 2016;
originally announced January 2016.
-
Fibred Coalgebraic Logic and Quantum Protocols
Authors:
Daniel Marsden
Abstract:
Motivated by applications in modelling quantum systems using coalgebraic techniques, we introduce a fibred coalgebraic logic. Our approach extends the conventional predicate lifting semantics with additional modalities relating conditions on different fibres. As this fibred setting will typically involve multiple signature functors, the logic incorporates a calculus of modalities enabling the con…
▽ More
Motivated by applications in modelling quantum systems using coalgebraic techniques, we introduce a fibred coalgebraic logic. Our approach extends the conventional predicate lifting semantics with additional modalities relating conditions on different fibres. As this fibred setting will typically involve multiple signature functors, the logic incorporates a calculus of modalities enabling the construction of new modalities using various composition operations. We extend the semantics of coalgebraic logic to this setting, and prove that this extension respects behavioural equivalence.
We show how properties of the semantics of modalities are preserved under composition operations, and then apply the calculational aspect of our logic to produce an expressive set of modalities for reasoning about quantum systems, building these modalities up from simpler components. We then demonstrate how these modalities can describe some standard quantum protocols. The novel features of our logic are shown to allow for a uniform description of unitary evolution, and support local reasoning such as "Alice's qubit satisfies condition" as is common when discussing quantum protocols.
△ Less
Submitted 29 December, 2014;
originally announced December 2014.
