Abstract structure of unitary oracles for quantum algorithms
|
|
- Franklin Hall
- 5 years ago
- Views:
Transcription
1 Abstract structure o unitary oracles or quantum algorithms William Zeng 1 Jamie Vicary 2 1 Department o Computer Science University o Oxord 2 Centre or Quantum Technologies, University o Singapore and Department o Computer Science, University o Oxord Quantum Physics and Logic, 2014
2 Unitary Oracles Oracles are common structures in algorithms. They are blackboxes with unknown internal structure.
3 Unitary Oracles Oracles are common structures in algorithms. They are blackboxes with unknown internal structure. Most known quantum algorithms are constructed using quantum oracles, the Deutsch-Josza algorithm, Shor s algorithm, Grover s algorithm...
4 Unitary Oracles Oracles are common structures in algorithms. They are blackboxes with unknown internal structure. Most known quantum algorithms are constructed using quantum oracles, the Deutsch-Josza algorithm, Shor s algorithm, Grover s algorithm... Physical realizations o oracles place conditions on their unknown structure. (Unitarity in the quantum case)
5 Unitary Oracles Oracles are common structures in algorithms. They are blackboxes with unknown internal structure. Most known quantum algorithms are constructed using quantum oracles, the Deutsch-Josza algorithm, Shor s algorithm, Grover s algorithm... Physical realizations o oracles place conditions on their unknown structure. (Unitarity in the quantum case) Main questions:
6 Unitary Oracles Oracles are common structures in algorithms. They are blackboxes with unknown internal structure. Most known quantum algorithms are constructed using quantum oracles, the Deutsch-Josza algorithm, Shor s algorithm, Grover s algorithm... Physical realizations o oracles place conditions on their unknown structure. (Unitarity in the quantum case) Main questions: What is the abstract structure o these oracles?
7 Unitary Oracles Oracles are common structures in algorithms. They are blackboxes with unknown internal structure. Most known quantum algorithms are constructed using quantum oracles, the Deutsch-Josza algorithm, Shor s algorithm, Grover s algorithm... Physical realizations o oracles place conditions on their unknown structure. (Unitarity in the quantum case) Main questions: What is the abstract structure o these oracles? Can we take advantage o this abstract setting to gain new insights?
8 Unitary Oracles The traditional Deutsch-Joza circuit is: s {0, 1} F {0,1} N m Oracle U F {0,1} N 0 F {0,1} σ 1
9 Unitary Oracles Here is its abstract structure: {0, 1} {0, 1} s 1 S F {0,1} N m Oracle U Oracle F {0,1} N F {0,1} σ S 1 2 σ
10 Unitary Oracles This is the oracle s internal structure: x (x) y Oracle x y
11 Unitary Oracles This is the oracle s internal structure: x (x) y Oracle x y Theorem Oracles with this abstract structure are unitary in general.
12 Categorical Quantum Inormation Deinition: A special -Frobenius algebra obeys: = = = = = = =
13 Categorical Quantum Inormation Deinition: A special -Frobenius algebra obeys: = = = = = = = This represents the abstract structure o an observable.
14 Complementary observables Deinition [Coecke & Duncan]: Two -Frobenius algebras on the same object are complementary when: d(a) =
15 Complementary observables Complementary observables in FHilb come rom inite abelian groups Copying Group multiplication :: g g g :: g 1 :: g 1 g 2 1 D g 1 g 2 :: 1 D 0
16 Classical Maps Deinition: A classical map : (A,, ) (B,, ) obeys: = =
17 Classical Maps Deinition: A classical map : (A,, ) (B,, ) obeys: = = These are sel-conjugate comonoid homomorphisms.
18 Unitarity Theorem Three -Frobenius algebras, (,, )
19 Unitarity Theorem Three -Frobenius algebras, (,, ) A pair are complementary ( and )
20 Unitarity Theorem Three -Frobenius algebras, (,, ) A pair are complementary ( and ) A classical map : (A,, ) (B,, ) Produce the unitary morphism: d(a)
21 Abstract proo o unitarity d(a)
22 Abstract proo o unitarity d(a)
23 Abstract proo o unitarity d(a)
24 Abstract proo o unitarity Frob. Hom. d(a)
25 Abstract proo o unitarity d(a)
26 Abstract proo o unitarity d(a)
27 Abstract proo o unitarity d(a)
28 Abstract proo o unitarity d(a)
29 Abstract proo o unitarity d(a)
30 Abstract proo o unitarity
31 Abstract proo o unitarity
32 Abstract proo o unitarity
33 Unitary Oracles We have deined (diagrammatically) an abstract structure required to make oracles physical.
34 Unitary Oracles We have deined (diagrammatically) an abstract structure required to make oracles physical. This lits the property o unitarity or quantum oracles to the more abstract setting o dagger monoidal categories.
35 Unitary Oracles We have deined (diagrammatically) an abstract structure required to make oracles physical. This lits the property o unitarity or quantum oracles to the more abstract setting o dagger monoidal categories. Can we take advantage o this abstract setting to gain new insights?
36 Unitary Oracles We have deined (diagrammatically) an abstract structure required to make oracles physical. This lits the property o unitarity or quantum oracles to the more abstract setting o dagger monoidal categories. Can we take advantage o this abstract setting to gain new insights? Yes. To develop a new group theoretic quantum algorithm To apply result in signal-low calculus
37 The group homomorphism identiication problem Deinition. (Group homomorphism identiication problem) Given inite groups G and A where A is abelian, and a blackbox unction : G A promised to be a group homomorphism, identiy.
38 The group homomorphism identiication problem Deinition. (Group homomorphism identiication problem) Given inite groups G and A where A is abelian, and a blackbox unction : G A promised to be a group homomorphism, identiy. Group representations are ρ : G Mat(n) Abelian C ρ Non-abelian Mat(n) ρ G G
39 The group homomorphism identiication problem Deinition. (Group homomorphism identiication problem) Given inite groups G and A where A is abelian, and a blackbox unction : G A promised to be a group homomorphism, identiy. Group representations are ρ : G Mat(n) Abelian C ρ Non-abelian Mat(n) ρ G G Group Representations as measurements: projections onto a subspace
40 The group homomorphism identiication problem Deinition. (Group homomorphism identiication problem) Given inite groups G and A where A is abelian, and a blackbox unction : G A promised to be a group homomorphism, identiy. Graphical rules or group representations: Mat(n) Mat(n) Mat(n) Mat(n) ρ = ρ ρ ρ = G G G G G G
41 The group homomorphism identiication algorithm Case: Let A be a cyclic group Z n. σ Measure the let system G A G Apply a unitary map 1 G ρ Prepare initial states
42 The group homomorphism identiication algorithm σ G A G 1 G ρ
43 The group homomorphism identiication algorithm G σ ρ A G ρ 1 G
44 The group homomorphism identiication algorithm σ ρ A G ρ
45 The group homomorphism identiication algorithm σ G A ρ ρ
46 The group homomorphism identiication algorithm σ G A ρ ρ ρ is an irreducible representation o A.
47 The group homomorphism identiication algorithm σ G A ρ ρ ρ is an irreducible representation o A. Choose ρ to be a aithul representation o A.
48 The group homomorphism identiication algorithm σ ρ G A ρ ρ is an irreducible representation o A. Choose ρ to be a aithul representation o A. Then measuring ρ identiies (up to isomorphism)
49 The group homomorphism identiication algorithm σ ρ G A ρ ρ is an irreducible representation o A. Choose ρ to be a aithul representation o A. Then measuring ρ identiies (up to isomorphism) One-dimensional representations are isomorphic only i they are equal.
50 The group homomorphism identiication algorithm Homomorphism : G A We generalize with proo by induction via the Structure Theorem. A = Z p1... Z pk Can identiy the group homomorphism in k oracle queries. The naive classical solution requires a number o queries equal to the number o actors o G rather than A.
51 Comparison to the hidden subgroup algorithm Group ID Hidden Subgroup σ σ G A G X G G 1 G ρ 1 G
52 Comparison to the hidden subgroup algorithm Group ID Hidden Subgroup σ σ G A G X G G 1 G ρ 1 G = i ρ i
53 FinRel k [Baez, Erlebe, Fong 2014] Deinition The category FinRel k o linear relations is deined in the ollowing way, or any ield k: Objects are inite dimensional k-vector spaces
54 FinRel k [Baez, Erlebe, Fong 2014] Deinition The category FinRel k o linear relations is deined in the ollowing way, or any ield k: Objects are inite dimensional k-vector spaces A morphism : V W is a linear relation, deined as a subspace S V W
55 FinRel k [Baez, Erlebe, Fong 2014] Deinition The category FinRel k o linear relations is deined in the ollowing way, or any ield k: Objects are inite dimensional k-vector spaces A morphism : V W is a linear relation, deined as a subspace S V W Composition o linear relations : U V and g : V W is deined as the ollowing subspace o U W : {(u, w) v V with (u, v) S and (v, w) S g } This deines a linear subspace o U W.
56 The signal-low calculus FinRel k r Addition Zero Copying Deletion Multiplier : k k k : {0} k : k k k : k {0} r : k k (a, b, a + b) (0, 0) (a, a, a) (a, 0) (a, ra) r
57 The signal-low calculus FinRel k r Addition Zero Copying Deletion Multiplier : k k k : {0} k : k k k : k {0} r : k k (a, b, a + b) (0, 0) (a, a, a) (a, 0) (a, ra) r Resistor i v + ir r i v
58 Conclusions (arxiv: ) Theorem A pair o complementary dagger-frobenius algebras, equipped with a classical map onto one o the algebras, produce a unitary morphism: d(a)
59 Conclusions (arxiv: ) Theorem A pair o complementary dagger-frobenius algebras, equipped with a classical map onto one o the algebras, produce a unitary morphism: d(a) Abstract understanding o oracle in quantum computation
60 Conclusions (arxiv: ) Theorem A pair o complementary dagger-frobenius algebras, equipped with a classical map onto one o the algebras, produce a unitary morphism: d(a) Abstract understanding o oracle in quantum computation Apply this to develop a new algorithm or the deterministic identiication o group homomorphisms into abelian groups.
61 Conclusions (arxiv: ) Theorem A pair o complementary dagger-frobenius algebras, equipped with a classical map onto one o the algebras, produce a unitary morphism: d(a) Abstract understanding o oracle in quantum computation Apply this to develop a new algorithm or the deterministic identiication o group homomorphisms into abelian groups. Find the same structure in the theory o signal-low networks.
62 Conclusions (arxiv: ) Theorem A pair o complementary dagger-frobenius algebras, equipped with a classical map onto one o the algebras, produce a unitary morphism: d(a) Abstract understanding o oracle in quantum computation Apply this to develop a new algorithm or the deterministic identiication o group homomorphisms into abelian groups. Find the same structure in the theory o signal-low networks. Big Idea: Symmetric monoidal categorical setting productively uniies process theories at an abstract level.
63 The Non-Abelian Case σ σ ρ G = 1 G ρ ψ ρ ψ
Diagrammatic Methods for the Specification and Verification of Quantum Algorithms
Diagrammatic Methods or the Speciication and Veriication o Quantum lgorithms William Zeng Quantum Group Department o Computer Science University o Oxord Quantum Programming and Circuits Workshop IQC, University
More informationCATEGORIES IN CONTROL. John Baez Canadian Mathematical Society Winter Meeting 5 December 2015
CATEGORIES IN CONTROL John Baez Canadian Mathematical Society Winter Meeting 5 December 2015 To understand ecosystems, ultimately will be to understand networks. B. C. Patten and M. Witkamp We need a good
More informationFinite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract)
Electronic Notes in Theoretical Computer Science 270 (1) (2011) 113 119 www.elsevier.com/locate/entcs Finite Dimensional Hilbert Spaces are Complete or Dagger Compact Closed Categories (Extended bstract)
More informationCategorical quantum mechanics
Categorical quantum mechanics Chris Heunen 1 / 76 Categorical Quantum Mechanics? Study of compositional nature of (physical) systems Primitive notion: forming compound systems 2 / 76 Categorical Quantum
More informationCategories and Natural Transformations
Categories and Natural Transormations Ethan Jerzak 17 August 2007 1 Introduction The motivation or studying Category Theory is to ormalise the underlying similarities between a broad range o mathematical
More informationExample: When describing where a function is increasing, decreasing or constant we use the x- axis values.
Business Calculus Lecture Notes (also Calculus With Applications or Business Math II) Chapter 3 Applications o Derivatives 31 Increasing and Decreasing Functions Inormal Deinition: A unction is increasing
More informationTowards a Flowchart Diagrammatic Language for Monad-based Semantics
Towards a Flowchart Diagrammatic Language or Monad-based Semantics Julian Jakob Friedrich-Alexander-Universität Erlangen-Nürnberg julian.jakob@au.de 21.06.2016 Introductory Examples 1 2 + 3 3 9 36 4 while
More informationVALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS
VALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Recall that or prevarieties, we had criteria or being a variety or or being complete in terms o existence and uniqueness o limits, where
More informationIntroduction to Categorical Quantum Mechanics. Chris Heunen and Jamie Vicary
Introduction to Categorical Quantum Mechanics Chris Heunen and Jamie Vicary February 20, 2013 ii Preace Physical systems cannot be studied in isolation, since we can only observe their behaviour with respect
More informationCATEGORIES IN CONTROL. John Baez, Jason Erbele & Nick Woods Higher-Dimensional Rewriting and Applications Warsaw, 28 June 2015
CATEGORIES IN CONTROL John Baez, Jason Erbele & Nick Woods Higher-Dimensional Rewriting and Applications Warsaw, 28 June 2015 We have left the Holocene and entered a new epoch, the Anthropocene, when the
More informationLIMITS AND COLIMITS. m : M X. in a category G of structured sets of some sort call them gadgets the image subset
5 LIMITS ND COLIMITS In this chapter we irst briely discuss some topics namely subobjects and pullbacks relating to the deinitions that we already have. This is partly in order to see how these are used,
More informationVALUATIVE CRITERIA BRIAN OSSERMAN
VALUATIVE CRITERIA BRIAN OSSERMAN Intuitively, one can think o separatedness as (a relative version o) uniqueness o limits, and properness as (a relative version o) existence o (unique) limits. It is not
More information1 Categories, Functors, and Natural Transformations. Discrete categories. A category is discrete when every arrow is an identity.
MacLane: Categories or Working Mathematician 1 Categories, Functors, and Natural Transormations 1.1 Axioms or Categories 1.2 Categories Discrete categories. A category is discrete when every arrow is an
More informationCategories and Quantum Informatics
Categories and Quantum Informatics Week 6: Frobenius structures Chris Heunen 1 / 41 Overview Frobenius structure: interacting co/monoid, self-duality Normal forms: coherence theorem Frobenius law: coherence
More informationNAP Module 4. Homework 2 Friday, July 14, 2017.
NAP 2017. Module 4. Homework 2 Friday, July 14, 2017. These excercises are due July 21, 2017, at 10 pm. Nepal time. Please, send them to nap@rnta.eu, to laurageatti@gmail.com and schoo.rene@gmail.com.
More informationHSP SUBCATEGORIES OF EILENBERG-MOORE ALGEBRAS
HSP SUBCATEGORIES OF EILENBERG-MOORE ALGEBRAS MICHAEL BARR Abstract. Given a triple T on a complete category C and a actorization system E /M on the category o algebras, we show there is a 1-1 correspondence
More informationMath 216A. A gluing construction of Proj(S)
Math 216A. A gluing construction o Proj(S) 1. Some basic deinitions Let S = n 0 S n be an N-graded ring (we ollows French terminology here, even though outside o France it is commonly accepted that N does
More informationEndomorphism Semialgebras in Categorical Quantum Mechanics
Endomorphism Semialgebras in Categorical Quantum Mechanics Kevin Dunne University of Strathclyde November 2016 Symmetric Monoidal Categories Definition A strict symmetric monoidal category (A,, I ) consists
More informationCategories in Control John Baez and Jason Erbele
Categories in Control John Baez and Jason Erbele Categories are great for describing processes. A process with input x and output y is a morphism F : x y, and we can draw it like this: F We can do one
More informationDescent on the étale site Wouter Zomervrucht, October 14, 2014
Descent on the étale site Wouter Zomervrucht, October 14, 2014 We treat two eatures o the étale site: descent o morphisms and descent o quasi-coherent sheaves. All will also be true on the larger pp and
More informationQuantum computing with relations. Outline. Dusko Pavlovic. Quantum. programs. Quantum. categories. Classical interfaces.
Outline Wat do quantum prorammers do? Cateories or quantum prorammin Kestrel Institute and Oxord University or cateorical quantum QI 009 Saarbrücken, Marc 009 ll tat in te cateory o Outline Wat do quantum
More informationFourier transforms from strongly complementary observables
Fourier transforms from strongly complementary observables Stefano Gogioso William Zeng Quantum Group, Department of Computer Science University of Oxford, UK stefano.gogioso@cs.ox.ac.uk william.zeng@cs.ox.ac.uk
More informationInfinite-dimensional Categorical Quantum Mechanics
Infinite-dimensional Categorical Quantum Mechanics A talk for CLAP Scotland Stefano Gogioso and Fabrizio Genovese Quantum Group, University of Oxford 5 Apr 2017 University of Strathclyde, Glasgow S Gogioso,
More informationApplied Category Theory. John Baez
Applied Category Theory John Baez In many areas of science and engineering, people use diagrams of networks, with boxes connected by wires: In many areas of science and engineering, people use diagrams
More informationCHOW S LEMMA. Matthew Emerton
CHOW LEMMA Matthew Emerton The aim o this note is to prove the ollowing orm o Chow s Lemma: uppose that : is a separated inite type morphism o Noetherian schemes. Then (or some suiciently large n) there
More informationCategorical quantum channels
Attacking the quantum version of with category theory Ian T. Durham Department of Physics Saint Anselm College 19 March 2010 Acknowledgements Some of this work has been the result of some preliminary collaboration
More informationRepresentation Theory of Hopf Algebroids. Atsushi Yamaguchi
Representation Theory o H Algebroids Atsushi Yamaguchi Contents o this slide 1. Internal categories and H algebroids (7p) 2. Fibered category o modules (6p) 3. Representations o H algebroids (7p) 4. Restrictions
More informationCLASS NOTES MATH 527 (SPRING 2011) WEEK 6
CLASS NOTES MATH 527 (SPRING 2011) WEEK 6 BERTRAND GUILLOU 1. Mon, Feb. 21 Note that since we have C() = X A C (A) and the inclusion A C (A) at time 0 is a coibration, it ollows that the pushout map i
More informationProps in Network Theory
Props in Network Theory John C. Baez Brandon Coya Franciscus Rebro baez@math.ucr.edu bcoya001@ucr.edu franciscus.rebro@gmail.com January 22, 2018 Abstract Long before the invention of Feynman diagrams,
More informationNETWORK THEORY. John Baez Categorical Foundations of Network Theory Institute for Scientific Interchange, Turin, Italy 25 May 2015
NETWORK THEORY John Baez Categorical Foundations of Network Theory Institute for Scientific Interchange, Turin, Italy 25 May 2015 We have left the Holocene and entered a new epoch, the Anthropocene, when
More informationProgramming Languages in String Diagrams. [ one ] String Diagrams. Paul-André Melliès. Oregon Summer School in Programming Languages June 2011
Programming Languages in String Diagrams [ one ] String Diagrams Paul-ndré Melliès Oregon Summer School in Programming Languages June 2011 String diagrams diagrammatic account o logic and programming 2
More informationCategorical Models for Quantum Computing
Categorical odels for Quantum Computing Linde Wester Worcester College University of Oxford thesis submitted for the degree of Sc in athematics and the Foundations of Computer Science September 2013 cknowledgements
More informationCategory Theory. Course by Dr. Arthur Hughes, Typset by Cathal Ormond
Category Theory Course by Dr. Arthur Hughes, 2010 Typset by Cathal Ormond Contents 1 Types, Composition and Identities 3 1.1 Programs..................................... 3 1.2 Functional Laws.................................
More informationPROPS IN NETWORK THEORY
Theory and Applications of Categories, Vol. 33, No. 25, 2018, pp. 727 783. PROPS IN NETWORK THEORY JOHN C. BAEZ, BRANDON COYA, FRANCISCUS REBRO Abstract. Long before the invention of Feynman diagrams,
More informationCIRCUITS, CATEGORIES AND REWRITE RULES. John Baez & Brendan Fong Higher-Dimensional Rewriting and Applications Warsaw, 29 June 2015
CIRCUITS, CATEGORIES AND REWRITE RULES John Baez & Brendan Fong Higher-Dimensional Rewriting and Applications Warsaw, 29 June 2015 If mathematicians want to understand networks, a good place to start is
More informationComplementarity in categorical. quantum mechanics.
Complementarity in categorical quantum mechanics Chris Heunen Oxford University Computing Laboratory Abstract We relate notions of complementarity in three layers of quantum mechanics: (i) von Neumann
More information1 No-Cloning In Categorical Quantum Mechanics
Edited by 1 No-Cloning In Categorical Quantum Mechanics Samson bramsky bstract The No-Cloning theorem is a basic limitative result or quantum mechanics, with particular signiicance or quantum inormation.
More informationJoseph Muscat Categories. 1 December 2012
Joseph Muscat 2015 1 Categories joseph.muscat@um.edu.mt 1 December 2012 1 Objects and Morphisms category is a class o objects with morphisms : (a way o comparing/substituting/mapping/processing to ) such
More informationSEPARATED AND PROPER MORPHISMS
SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN The notions o separatedness and properness are the algebraic geometry analogues o the Hausdor condition and compactness in topology. For varieties over the
More informationarxiv: v1 [gr-qc] 29 Jul 2011
Causal categories: relativistically interacting processes arxiv:1107.6019v1 [gr-qc] 29 Jul 2011 Bob Coecke and Raymond Lal University o Oxord, Computer Science, Quantum Group, Wolson Building, Parks Road,
More informationGF(4) Based Synthesis of Quaternary Reversible/Quantum Logic Circuits
GF(4) ased Synthesis o Quaternary Reversible/Quantum Logic Circuits MOZAMMEL H. A. KHAN AND MAREK A. PERKOWSKI Department o Computer Science and Engineering, East West University 4 Mohakhali, Dhaka, ANGLADESH,
More informationThe Deutsch-Jozsa Problem: De-quantization and entanglement
The Deutsch-Jozsa Problem: De-quantization and entanglement Alastair A. Abbott Department o Computer Science University o Auckland, New Zealand May 31, 009 Abstract The Deustch-Jozsa problem is one o the
More information2-DIMENSIONAL TOPOLOGICAL QUANTUM FIELD THEORIES AND FROBENIUS ALGEBRAS. Contents 1. The main theorem 1
2-DIMENSIONL TOPOLOGICL QUNTUM FIELD THEORIES ND FROBENIUS LGEBRS CROLINE TERRY bstract. Category theory provides a more abstract and thus more general setting for considering the structure of mathematical
More informationMONADS ON DAGGER CATEGORIES
MONDS ON DGGER CTEGORIES CHRIS HEUNEN ND MRTTI KRVONEN bstract. The theory of monads on categories equipped with a dagger (a contravariant identity-on-objects involutive endofunctor) works best when everything
More informationVariations on a Casselman-Osborne theme
Variations on a Casselman-Osborne theme Dragan Miličić Introduction This paper is inspired by two classical results in homological algebra o modules over an enveloping algebra lemmas o Casselman-Osborne
More informationMix Unitary Categories
1/31 Mix Unitary Categories Robin Cockett, Cole Comfort, and Priyaa Srinivasan CT2018, Ponta Delgada, Azores Dagger compact closed categories Dagger compact closed categories ( -KCC) provide a categorical
More informationClassical Structures in Topological Quantum Computing
Classical Structures in Topological Quantum Computing Nathaniel Cabot Thomas New College Computing Laboratory University of Oxford A dissertation for the degree of Master of Science in Computer Science
More informationφ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b),
16. Ring Homomorphisms and Ideals efinition 16.1. Let φ: R S be a function between two rings. We say that φ is a ring homomorphism if for every a and b R, and in addition φ(1) = 1. φ(a + b) = φ(a) + φ(b)
More informationCATEGORIES. 1.1 Introduction
1 CATEGORIES 1.1 Introduction What is category theory? As a irst approximation, one could say that category theory is the mathematical study o (abstract) algebras o unctions. Just as group theory is the
More informationTangent Categories. David M. Roberts, Urs Schreiber and Todd Trimble. September 5, 2007
Tangent Categories David M Roberts, Urs Schreiber and Todd Trimble September 5, 2007 Abstract For any n-category C we consider the sub-n-category T C C 2 o squares in C with pinned let boundary This resolves
More informationSEPARATED AND PROPER MORPHISMS
SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Last quarter, we introduced the closed diagonal condition or a prevariety to be a prevariety, and the universally closed condition or a variety to be complete.
More informationMath 248B. Base change morphisms
Math 248B. Base change morphisms 1. Motivation A basic operation with shea cohomology is pullback. For a continuous map o topological spaces : X X and an abelian shea F on X with (topological) pullback
More informationA Compositional Distributional Model of Meaning
Compositional Distributional Model o Meaning Stephen Clark ob Coecke Mehrnoosh Sadrzadeh Oxord University Computing Laboratory Wolson uilding, Parks Road, OX1 3QD Oxord, UK stephen.clark@comlab.ox.ac.uk
More information( x) f = where P and Q are polynomials.
9.8 Graphing Rational Functions Lets begin with a deinition. Deinition: Rational Function A rational unction is a unction o the orm ( ) ( ) ( ) P where P and Q are polynomials. Q An eample o a simple rational
More informationIntroduction to Quantum Computing
Introduction to Quantum Computing Part II Emma Strubell http://cs.umaine.edu/~ema/quantum_tutorial.pdf April 13, 2011 Overview Outline Grover s Algorithm Quantum search A worked example Simon s algorithm
More informationPh 219b/CS 219b. Exercises Due: Wednesday 11 February 2009
1 Ph 219b/CS 219b Exercises Due: Wednesday 11 February 2009 5.1 The peak in the Fourier transform In the period finding algorithm we prepared the periodic state A 1 1 x 0 + jr, (1) A j=0 where A is the
More informationA Graph Theoretic Perspective on CPM(Rel)
A Graph Theoretic Perspective on CPM(Rel) Daniel Marsden Mixed states are of interest in quantum mechanics for modelling partial information. More recently categorical approaches to linguistics have also
More informationHow to glue perverse sheaves
How to glue perverse sheaves A.A. Beilinson The aim o this note [0] is to give a short, sel-contained account o the vanishing cycle constructions o perverse sheaves; e.g., or the needs o [1]. It diers
More informationSimpler Functions for Decompositions
Simpler Functions or Decompositions Bernd Steinbach Freiberg University o Mining and Technology, Institute o Computer Science, D-09596 Freiberg, Germany Abstract. This paper deals with the synthesis o
More informationBiunitary constructions in quantum information
Biunitary constructions in quantum information David Reutter Jamie Vicary Department of Computer Science University of Oxford 14th International Conference on Quantum Physics and Logic Nijmegen, The Netherlands
More informationThe Clifford algebra and the Chevalley map - a computational approach (detailed version 1 ) Darij Grinberg Version 0.6 (3 June 2016). Not proofread!
The Cliord algebra and the Chevalley map - a computational approach detailed version 1 Darij Grinberg Version 0.6 3 June 2016. Not prooread! 1. Introduction: the Cliord algebra The theory o the Cliord
More informationGrover Algorithm Applied to Four Qubits System
www.ccsenet.org/cis Computer and Inormation Science Vol., No. ; May Grover Algorithm Applied to Four Qubits System Z. Sakhi (Corresponding author) Laboratory o Inormation Technology and Modelisation, and
More informationMONADS ON DAGGER CATEGORIES
MONDS ON DGGER CTEGORIES CHRIS HEUNEN ND MRTTI KRVONEN bstract. The theory of monads on categories equipped with a dagger (a contravariant identity-on-objects involutive endofunctor) works best when all
More informationSpan, Cospan, and Other Double Categories
ariv:1201.3789v1 [math.ct] 18 Jan 2012 Span, Cospan, and Other Double Categories Susan Nieield July 19, 2018 Abstract Given a double category D such that D 0 has pushouts, we characterize oplax/lax adjunctions
More informationMEAN VALUE THEOREM. Section 3.2 Calculus AP/Dual, Revised /30/2018 1:16 AM 3.2: Mean Value Theorem 1
MEAN VALUE THEOREM Section 3. Calculus AP/Dual, Revised 017 viet.dang@humbleisd.net 7/30/018 1:16 AM 3.: Mean Value Theorem 1 ACTIVITY A. Draw a curve (x) on a separate sheet o paper within a deined closed
More informationGENERALIZED ABSTRACT NONSENSE: CATEGORY THEORY AND ADJUNCTIONS
GENERALIZED ABSTRACT NONSENSE: CATEGORY THEORY AND ADJUNCTIONS CHRIS HENDERSON Abstract. This paper will move through the basics o category theory, eventually deining natural transormations and adjunctions
More informationIn the index (pages ), reduce all page numbers by 2.
Errata or Nilpotence and periodicity in stable homotopy theory (Annals O Mathematics Study No. 28, Princeton University Press, 992) by Douglas C. Ravenel, July 2, 997, edition. Most o these were ound by
More informationThe Uniformity Principle on Traced Monoidal Categories
Electronic Notes in Theoretical Computer Science 69 (2003) URL: http://www.elsevier.nl/locate/entcs/volume69.html 19 pages The Uniormity Principle on Traced Monoidal Categories Masahito Hasegawa Research
More informationRESEARCH ARTICLE. Quantum picturalism
Contemporary Physics Vol. 00, No. 00, February 2009, 1 25 RESEARCH ARTICLE Quantum picturalism Bob Coecke Oxord University Computing Laboratory, Wolson Building, Parks Road, OX1 3QD Oxord, UK (Received
More informationExtreme Values of Functions
Extreme Values o Functions When we are using mathematics to model the physical world in which we live, we oten express observed physical quantities in terms o variables. Then, unctions are used to describe
More informationDesign and Analysis of Quantum Protocols and Algorithms
Design and Analysis of Quantum Protocols and Algorithms Krzysztof Bar University College MMathCompSci May 20, 2012 Acknowledgements I would like to thank my supervisor prof. Bob Coecke for all the help
More informationPh 219b/CS 219b. Exercises Due: Wednesday 4 December 2013
1 Ph 219b/CS 219b Exercises Due: Wednesday 4 December 2013 4.1 The peak in the Fourier transform In the period finding algorithm we prepared the periodic state A 1 1 x 0 + jr, (1) A j=0 where A is the
More informationChing-Li Chai 1. Let p be a prime number, fixed throughout this note. Our central question is:
1. Introduction Methods or p-adic monodromy Ching-Li Chai 1 Let p be a prime number, ixed throughout this note. Our central question is: How to show that the p-adic monodromy o a modular amily o abelian
More informationarxiv: v1 [quant-ph] 13 Aug 2009
Contemporary Physics Vol. 00, No. 00, February 2009, 1 32 RESEARCH ARTICLE Quantum picturalism Bob Coecke arxiv:0908.1787v1 [quant-ph] 13 Aug 2009 Oxord University Computing Laboratory, Wolson Building,
More information(C) The rationals and the reals as linearly ordered sets. Contents. 1 The characterizing results
(C) The rationals and the reals as linearly ordered sets We know that both Q and R are something special. When we think about about either o these we usually view it as a ield, or at least some kind o
More informationLecture 4: Elementary Quantum Algorithms
CS 880: Quantum Information Processing 9/13/010 Lecture 4: Elementary Quantum Algorithms Instructor: Dieter van Melkebeek Scribe: Kenneth Rudinger This lecture introduces several simple quantum algorithms.
More informationGOURSAT COMPLETIONS DIANA RODELO AND IDRISS TCHOFFO NGUEFEU
Pré-Publicações do Departamento de Matemática Universidade de Coimbra Preprint Number 18 06 GOUSAT COMPLETIONS DIANA ODELO AND IDISS TCHOFFO NGUEFEU Abstract: We characterize categories with weak inite
More informationQWIRE Practice: Formal Verification of Quantum Circuits in Coq
1 / 29 QWIRE Practice: Formal Verification of Quantum Circuits in Coq Robert Rand, Jennifer Paykin, Steve Zdancewic University of Pennsylvania Quantum Physics and Logic, 2017 2 / 29 QWIRE A high-level
More informationMADE-TO-ORDER WEAK FACTORIZATION SYSTEMS
MADE-TO-ORDER WEAK FACTORIZATION SYSTEMS EMILY RIEHL The aim o this note is to briely summarize techniques or building weak actorization systems whose right class is characterized by a particular liting
More informationTHE GORENSTEIN DEFECT CATEGORY
THE GORENSTEIN DEFECT CATEGORY PETTER ANDREAS BERGH, DAVID A. JORGENSEN & STEFFEN OPPERMANN Dedicated to Ranar-Ola Buchweitz on the occasion o his sixtieth birthday Abstract. We consider the homotopy cateory
More informationIn the beginning God created tensor... as a picture
In the beginning God created tensor... as a picture Bob Coecke coecke@comlab.ox.ac.uk EPSRC Advanced Research Fellow Oxford University Computing Laboratory se10.comlab.ox.ac.uk:8080/bobcoecke/home en.html
More informationGrover s algorithm. We want to find aa. Search in an unordered database. QC oracle (as usual) Usual trick
Grover s algorithm Search in an unordered database Example: phonebook, need to find a person from a phone number Actually, something else, like hard (e.g., NP-complete) problem 0, xx aa Black box ff xx
More informationIntroduction to Quantum Algorithms Part I: Quantum Gates and Simon s Algorithm
Part I: Quantum Gates and Simon s Algorithm Martin Rötteler NEC Laboratories America, Inc. 4 Independence Way, Suite 00 Princeton, NJ 08540, U.S.A. International Summer School on Quantum Information, Max-Planck-Institut
More informationUNIVERSITY OF CALIFORNIA RIVERSIDE. Circuits, Bond Graphs, and Signal-Flow Diagrams: A Categorical Perspective
UNIVERSITY OF CALIFORNIA RIVERSIDE Circuits, Bond Graphs, and Signal-Flow Diagrams: A Categorical Perspective A Dissertation submitted in partial satisfaction of the requirements for the degree of Doctor
More informationA NOTE ON SHEAVES WITHOUT SELF-EXTENSIONS ON THE PROJECTIVE n-space.
A NOTE ON SHEAVES WITHOUT SELF-EXTENSIONS ON THE PROJECTIVE n-space. DIETER HAPPEL AND DAN ZACHARIA Abstract. Let P n be the projective n space over the complex numbers. In this note we show that an indecomposable
More informationMath 754 Chapter III: Fiber bundles. Classifying spaces. Applications
Math 754 Chapter III: Fiber bundles. Classiying spaces. Applications Laurențiu Maxim Department o Mathematics University o Wisconsin maxim@math.wisc.edu April 18, 2018 Contents 1 Fiber bundles 2 2 Principle
More informationQuantum information processing: a new light on the Q-formalism and Q-foundations
Bob Coecke - Oxford University Computing Laboratory Quantum information processing: a new light on the Q-formalism and Q-foundations ASL 2010 North American Annual Meeting The George Washington University
More information2 Coherent D-Modules. 2.1 Good filtrations
2 Coherent D-Modules As described in the introduction, any system o linear partial dierential equations can be considered as a coherent D-module. In this chapter we ocus our attention on coherent D-modules
More informationChapter 2 Special Orthogonal Group SO(N)
Chapter 2 Special Orthogonal Group SO(N) 1 Introduction Since the exactly solvable higher-dimensional quantum systems with certain central potentials are usually related to the real orthogonal group O(N)
More informationCategories and Quantum Informatics: Hilbert spaces
Categories and Quantum Informatics: Hilbert spaces Chris Heunen Spring 2018 We introduce our main example category Hilb by recalling in some detail the mathematical formalism that underlies quantum theory:
More informationArrow-theoretic differential theory
Arrow-theoretic dierential theory Urs Schreiber August 17, 2007 Abstract We propose and study a notion o a tangent (n + 1)-bundle to an arbitrary n-category Despite its simplicity, this notion turns out
More informationMidterm Exam Solutions February 27, 2009
Midterm Exam Solutions February 27, 2009 (24. Deine each o the ollowing statements. You may assume that everyone knows the deinition o a topological space and a linear space. (4 a. X is a compact topological
More informationRoberto s Notes on Differential Calculus Chapter 8: Graphical analysis Section 1. Extreme points
Roberto s Notes on Dierential Calculus Chapter 8: Graphical analysis Section 1 Extreme points What you need to know already: How to solve basic algebraic and trigonometric equations. All basic techniques
More informationPhysics, Language, Maths & Music
Physics, Language, Maths & Music (partly in arxiv:1204.3458) Bob Coecke, Oxford, CS-Quantum SyFest, Vienna, July 2013 ALICE f f = f f = f f = ALICE BOB BOB meaning vectors of words does not Alice not like
More informationGENERAL ABSTRACT NONSENSE
GENERAL ABSTRACT NONSENSE MARCELLO DELGADO Abstract. In this paper, we seek to understand limits, a uniying notion that brings together the ideas o pullbacks, products, and equalizers. To do this, we will
More informationCARTESIAN DIFFERENTIAL CATEGORIES
Theory and Applications o Categories, Vol. 22, No. 23, 2009, pp. 622 672. CARTESIAN DIFFERENTIAL CATEGORIES R.F. BLUTE, J.R.B. COCKETT AND R.A.G. SEELY Abstract. This paper revisits the authors notion
More informationand this makes M into an R-module by (1.2). 2
1. Modules Definition 1.1. Let R be a commutative ring. A module over R is set M together with a binary operation, denoted +, which makes M into an abelian group, with 0 as the identity element, together
More informationHomomorphism on T Anti-Fuzzy Ideals of Ring
International Journal o Computational Science and Mathematics. ISSN 0974-3189 Volume 8, Number 1 (2016), pp. 35-48 International esearch Publication House http://www.irphouse.com Homomorphism on T nti-fuzzy
More informationUniversity of Cape Town
The copyright o this thesis rests with the. No quotation rom it or inormation derived rom it is to be published without ull acknowledgement o the source. The thesis is to be used or private study or non-commercial
More informationSYMMETRIC MONOIDAL G-CATEGORIES AND THEIR STRICTIFICATION
SYMMETRIC MONOIDAL G-CATEGORIES AND THEIR STRICTIFICATION B. GUILLOU, J.P. MAY, M. MERLING, AND A.M. OSORNO Abstract. We give an operadic deinition o a genuine symmetric monoidal G-category, and we prove
More information