DOCSLIB.ORG

Krzysztof Bar. Automated Rewriting for Higher Categories and Applications

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Krzysztof Bar. Automated Rewriting for Higher Categories and Applications Automated rewriting for higher categories and applications to quantum theory Krzysztof Bar University College University of Oxford A thesis submitted for the degree of Doctor of Philosophy Trinity 2016 Acknowledgements First and foremost I would like to express the most immense gratitude to my supervisor Dr Jamie Vicary, whose patience and dedication always went far above and beyond the call of duty. As our weekly meetings often turned into daily discussions, where he taught me about the intricacies of category theory and quantum physics, but most importantly about how to express scientific results in a rigorous, yet accessible fashion. The guidance he provided gave me the sense of security, the importance of which cannot be understated in the life of a research student. Ever since we started working together in the middle of my first year, there has never been a slightest doubt in my mind that our research will lead to a successful completion of my DPhil. At the end of it all, I hope that I kept the promise I gave him during our first meeting, and he saved more time as the result of our collaboration, than he put into teaching me. There are other distinguished academics who I had the fortune of encountering on my path. I want to thank my co-supervisors prof. Bob Coecke and prof. Samson Abramsky, who welcomed me as a member of their research group and initiated the entire research programme of categorical quantum mechanics, which has had such a profound impact on my academic life. My undergraduate college tutor prof. Andrew Ker for giving me a chance to come to Oxford all these years ago to begin the most transformative experience of my entire life. Prof. Artur Ekert, for making it possible for me spend the summer of 2014 at the Centre for Quantum Technologies in Singapore, which was one of the most scientifically prolific periods of my entire DPhil. Prof. John Baez whose guidance and encouragement during the initial stages of my work on higher category theory were invaluable. I would also like to thank Dr Sergusz Trzeciak for his mentorship and advice on career planning. One's academic journey begins much earlier than at the moment they first set a foot in a university lecture theatre, for that reason I want to thank my high school and middle school mathematics teachers Boguslaw Kraszewski, Pawel Walter, Wioletta Kaszuba, for sparking my interest in the subject and teaching me that, in pursuing mathematics, there is no value more important than hard work. I am thankful for the time spent with fellow doctoral students at the Quantum group at the Oxford University Computer Science Department. In particular I want to thank Linde Wester and Dominic Verdon, with whom I shared research interests and ideas on how to survive and thrive in the academic environment. The completion of this thesis and my studies at Oxford in no way would have been possible without the support of a large number of people who I am proud to call my friends. All of them deserve much more than just a short recognition in this thesis, but I hope that this small token of appreciation can begin to repay them for their friendship and the innumerable acts of kindness. Firstly, I want to thank Kuba Redlicki for the eight years spent together in Oxford both on and off the volleyball court and for showing me that both in sports and in life in general `only the next point matters'. Joanna Bagniewska for her friendship and countless hours spent discussing plans on how to improve Poland, the United Kingdom and the world in general. I am not sure whether success here is realistic, but I am certain that we will give it our best shot. And to Robert Pisarczyk for all he has taught me about quantum physics and about science in general, especially during the summer we spent as flatmates in Singapore. I would also like to acknowledge the many friends and collagues at the Oxford University Polish Society and the Federation of Polish Student Societies in the UK. Working and spending time alongside you sometimes felt almost like pursuing a parallel degree in public service. In particular I would like to acknowledge Jan Domanski, Ewelina Gregolinska, Aleksandra Janusz, Maciej Lisik, Mateusz Mazzini, Mikolaj Firlej, Anna Muszkiewicz, Aleksandra Pedraszewska, Marek Przytula, Bartosz Redlicki, Mateusz Ujma, Maria Wilczek and Andrzej Wolniewicz. I thoroughly enjoyed your company during the countless conferences, formal dinners and less formal parties afterwards and I know many more will come in the future. You provided me with welcomed distractions from the sometimes mundane reality of life as a research student and for that I sincerely thank you. Although I am certain that without your (always much appreciated) interference I would have finished this thesis many months ago. Special thanks to Marta Tondera and Anna Bialas, who I had the pleasure of mentoring for a period of time, however in the end I am sure that I have learnt from you at least as much as you did from me. To Magdalena Richter and Tomasz Cebo for the shared interest in popularisation of science and the time we spent together on `Science. Polish Perspectives' building a multi- disciplinary community of researchers. To my friends from the time as an undergraduate at University College, Oxford: Amy Bealey, Michael Captain, Dan Waters. Our reunion meetings in Oxford, London and Poole, as well as the many stimulating conversations always provided me with a much needed respite and allowed me to return to research with a rejuvenated interest. Also to those, especially Joanna Porebska and Przemyslaw Pobrotyn, who proofread the drafts of this thesis and provided many helpful remarks. My years at Oxford would not have been complete without the friends and teammates at the Oxford University Volleyball Club: Michael D'Angeli, Rowan Hamill-McMahon, Alexander Stockenhuber and many others throughout the years. But the most heartfelt thanks go to the 2015/2016 team that won the BUCS Trophy, finished 3rd in the UK in the EVA student Cup and won the Varsity match: Fabio Anza, Andreas Iskra, Gytis Jankevicius, Sanders Lazier, Adam McBride, Christos Mavrokefalos, Stefan Nekovar, David Novotny, Jonas Pollex, Kuba Redlicki, Sven Sabas, Nicolas Stone-Villani and Tilo Zollitsch. The feeling of togetherness and the sense of comradery that we shared throughout the season is something that I will cherish for the rest of my life, especially on the days when I return to the Cape of Good Hope for a Wednesday drink to celebrate yet another victory. I am forever indebted to my friends from home: Jakub Hyla, Michal Kulak, Kamil Morawski, Jan Porebski, Juliusz Sikora, Krzysztof Slupinski, Jan Tarnawski and Milosz Tatarczuch for all the time we spent together and for giving me something to look forward to in the future. But most importantly for, whenever I return to Krakow, making me feel as though I had never left. Finally, I would like to thank my parents Anna and Waldemar, who both sacrificed so much to make it possible for me to pursue the most ambitious goals, I am deeply grateful for their unwavering support and for challenging me to always try to be the best version of myself. Thank you to my brother Piotr for his healthy dose of skepticism and that I can always count on him, also to my grandparents Emilia, Teresa, Bronislaw and Marian for always being there for me. When I first begun my studies of cateory theory, I encountered the following quote by Stefan Banach: A mathematician is a person who can find analogies between theorems, a better mathematician is one who can see analogies between proofs and the best 3 mathematician can notice analogies between theories. One can imagine that the ultimate mathematician is one who can see analogies between analogies. Myself, I have often struggled to even understand the theorems and never aspired to be anything more than a mathematician. Nonetheless, the experience of being a research student, as deeply humbling as it may have been at times, is one which I will always hold dearest. Thank you, from the bottom of my heart, to all those who made it possible. 4 Abstract This thesis consists of two contributions built on the foundation of higher category theory. The first is a novel framework for rewriting in higher categories. Its theoretical foundation is the theory of quasistrict higher categories and the practical realisation is a proof assistant Globular. Building on this, we propose a new definition of a quasistrict 4-category, and prove a result that in a quasistrict 4-category, an adjunction of 1-morphisms gives rise to a coherent adjunction satisfying the butterfly equations. The second contribution is the application of a higher categorical formalism to quantum theory to show equivalence between mutually unbiased bases and satisfaction of quantum key distribution schemes, and to prove correctness for construction of a particular set of solutions to the Mean King problem. Contents 1 Introduction 1 1.1 Key contributions and thesis outline . .2 1.2 Background on higher categories . .4 1.2.1 Quasistrict n-categories . .5 1.2.2 The need for automation . .6 1.2.3 Periodic table of higher categories . .7 1.3 Proofs in the graphical calculus . .8 1.3.1 Globular . 11 1.4 Signatures and Diagrams . 12 2 Automated rewriting for higher categories 17 2.1 Rewriting systems and presentations of n-categories . 18 2.2 Basic structure . 19 2.2.1 Signatures and diagrams . 20 2.3 Rewriting . 23 2.3.1 Correctness of the rewriting construction . 27 2.4 Composition .
Load more

Recommended publications
  • Front Matter of the Book Contains a Detailed Table of Contents, Which We Encourage You to Browse
    Cambridge University Press 978-1-107-00217-3 - Quantum Computation and Quantum Information: 10th Anniversary Edition Michael A. Nielsen & Isaac L. Chuang Frontmatter More information Quantum Computation and Quantum Information 10th Anniversary Edition One of the most cited books in physics of all time, Quantum Computation and Quantum Information remains the best textbook in this exciting field of science. This 10th Anniversary Edition includes a new Introduction and Afterword from the authors setting the work in context. This comprehensive textbook describes such remarkable effects as fast quantum algorithms, quantum teleportation, quantum cryptography, and quantum error-correction. Quantum mechanics and computer science are introduced, before moving on to describe what a quantum computer is, how it can be used to solve problems faster than “classical” computers, and its real-world implementation. It concludes with an in-depth treatment of quantum information. Containing a wealth of figures and exercises, this well-known textbook is ideal for courses on the subject, and will interest beginning graduate students and researchers in physics, computer science, mathematics, and electrical engineering. MICHAEL NIELSEN was educated at the University of Queensland, and as a Fulbright Scholar at the University of New Mexico. He worked at Los Alamos National Laboratory, as the Richard Chace Tolman Fellow at Caltech, was Foundation Professor of Quantum Information Science and a Federation Fellow at the University of Queensland, and a Senior Faculty Member at the Perimeter Institute for Theoretical Physics. He left Perimeter Institute to write a book about open science and now lives in Toronto. ISAAC CHUANG is a Professor at the Massachusetts Institute of Technology, jointly appointed in Electrical Engineering & Computer Science, and in Physics.
    [Show full text]
  • The Bold Ones in the Land of Strange
    PHYSICS OF THE IMPOSSIBLE: The Bold Ones in the Land of Strange By Karol Jałochowski. Translation by Kamila Slawinska. Originally published in POLITYKA 41, 85 (2010) in Polish. A new scientific center has just opened at Singapore’s Science Drive 2: its efforts are focused on revealing nature’s uttermost secrets. The place attracts many young, talented and eccentric physicists, among them some Poles. This summer night is as hot as any other night in the equatorial Singapore (December ones included). Five men, seated at a table in one of the city’s countless bars, are about to finish another pitcher of local beer. They are Artur Ekert, a Polish-born cryptologist and a Research Fellow at Merton College at the University of Oxford (profiled in issue 27 of POLITYKA); Leong Chuan Kwek, a Singapore native; Briton Hugo Cable; Brazilian Marcelo Franca Santos; and Björn Hessmo of Sweden. While enjoying their drinks, they are also trying to find a trace of comprehensive tactics in the chaotic mess of ball-kicking they are watching on a plasma screen above: a soccer game played somewhere halfway across the world. “My father always wanted me to become a soccer player. And I have failed him so miserably,” says Hessmo. His words are met with a nod of understanding. So far, the game has provided the men with no excitement. Their faces finally light up with joy only when the score table is displayed with the results of Round One of the ongoing tournament. Zeros and ones – that’s exciting! All of them are quantum information physicists: zeroes and ones is what they do.
    [Show full text]
  • Status of Quantum Computer Development Entwicklungsstand Quantencomputer Document History
    Status of quantum computer development Entwicklungsstand Quantencomputer Document history Version Date Editor Description 1.0 May 2018 Document status after main phase of project 1.1 July 2019 First update containing both new material and improved readability, details summarized in chapters 1.6 and 2.11 Federal Office for Information Security Post Box 20 03 63 D-53133 Bonn Phone: +49 22899 9582-0 E-Mail: [email protected] Internet: https://www.bsi.bund.de © Federal Office for Information Security 2017 Introduction Introduction This study discusses the current (Fall 2017, update early 2019) state of affairs in the physical implementation of quantum computing as well as algorithms to be run on them, focused on application in cryptanalysis. It is supposed to be an orientation to scientists with a connection to one of the fields involved—mathematicians, computer scientists. These will find the treatment of their own field slightly superficial but benefit from the discussion in the other sections. The executive summary as well as the introduction and conclusions to each chapter provide actionable information to decision makers. The text is separated into multiple parts that are related (but not identical) to previous work packages of this project. Authors Frank K. Wilhelm, Saarland University Rainer Steinwandt, Florida Atlantic University, USA Brandon Langenberg, Florida Atlantic University, USA Per J. Liebermann, Saarland University Anette Messinger, Saarland University Peter K. Schuhmacher, Saarland University Copyright The study including all its parts are copyrighted by the BSI–Federal Office for Information Security. Any use outside the limits defined by the copyright law without approval by the BSI is not permitted and punishable.
    [Show full text]
  • A Recent Encryption Technique for Images Using AES and Quantum Key Distribution
    International Journal of Research in Advent Technology, Vol.7, No.5S, May 2019 E-ISSN: 2321-9637 Available online at www.ijrat.org A Recent Encryption Technique for Images Using AES and Quantum Key Distribution Jeba Nega Cheltha C Assistant Professor, Department of CSE, Jaipur Engineering College & Research Centre Jaipur, India [email protected] Abstract— Data security acts an imperative task while transferring information through internet, whereas, security is awfully vital in the contemporary world. Art of Cryptography endows with an original level of fortification that protects private facts from disclosure to harass. But still, day to day, it’s very arduous to safe the data from intruders. This paper presents regarding thetransferring encrypted images over internet using AES and Quantum Key Distribution method,where Advanced Encryption Standard (AES) algorithm is used for encryption as well as decryption of the picture. AES employs Symmetric key that means both the dispatcher and recipient use the identical key. So the key should be transmitted securely to both the dispatcher and recipient using Quantum key Distribution, whereas, using AES and Quantum Key Distribution the Data would be more secure. Keywords— Encryption, Decryption,AES, Quantum key Distribution 1. INTRODUCTION which is lesser than the size of AES . Also AES is against The most secured just as widely utilized approach to watch Brute Force attack. Hence the proposed work is much the protection and dependability of data communicate secured. depend on symmetric cryptography. Key distribution is the way toward sharing cryptographic keys between at least two 3. PROPOSED WORK gatherings to enable them to safely share data.
    [Show full text]
  • Lecture 12: Quantum Key Distribution. Secret Key. BB84, E91 and B92 Protocols. Continuous-Variable Protocols. 1. Secret Key. A
    Lecture 12: Quantum key distribution. Secret key. BB84, E91 and B92 protocols. Continuous-variable protocols. 1. Secret key. According to the Vernam theorem, any message (for instance, consisting of binary symbols, 01010101010101), can be encoded in an absolutely secret way if the one uses a secret key of the same length. A key is also a sequence, for instance, 01110001010001. The encoding is done by adding the message and the key modulo 2: 00100100000100. The one who knows the key can decode the encoded message by adding the key to the message modulo 2. The important thing is that the key should be used only once. It is exactly this way that classical cryptography works. Therefore the only task of quantum cryptography is to distribute the secret key between just two users (conventionally called Alice and Bob). This is Quantum Key Distribution (QKD). 2. BB84 protocol, proposed in 1984 by Bennett and Brassard – that’s where the name comes from. The idea is to encode every bit of the secret key into the polarization state of a single photon. Because the polarization state of a single photon cannot be measured without destroying this photon, this information will be ‘fragile’ and not available to the eavesdropper. Any eavesdropper (called Eve) will have to detect the photon, and then she will either reveal herself or will have to re-send this photon. But then she will inevitably send a photon with a wrong polarization state. This will lead to errors, and again the eavesdropper will reveal herself. The protocol then runs as follows.
    [Show full text]
  • Career Pathway Tracker 35 Years of Supporting Early Career Research Fellows Contents
    Career pathway tracker 35 years of supporting early career research fellows Contents President’s foreword 4 Introduction 6 Scientific achievements 8 Career achievements 14 Leadership 20 Commercialisation 24 Public engagement 28 Policy contribution 32 How have the fellowships supported our alumni? 36 Who have we supported? 40 Where are they now? 44 Research Fellowship to Fellow 48 Cover image: Graphene © Vertigo3d CAREER PATHWAY TRACKER 3 President’s foreword The Royal Society exists to encourage the development and use of Very strong themes emerge from the survey About this report science for the benefit of humanity. One of the main ways we do that about why alumni felt they benefited. The freedom they had to pursue the research they This report is based on the first is by investing in outstanding scientists, people who are pushing the wanted to do because of the independence Career Pathway Tracker of the alumni of University Research Fellowships boundaries of our understanding of ourselves and the world around the schemes afford is foremost in the minds of respondents. The stability of funding and and Dorothy Hodgkin Fellowships. This us and applying that understanding to improve lives. flexibility are also highly valued. study was commissioned by the Royal Society in 2017 and delivered by the Above Thirty-five years ago, the Royal Society The vast majority of alumni who responded The Royal Society has long believed in the Careers Research & Advisory Centre Venki Ramakrishnan, (CRAC), supported by the Institute for President of the introduced our University Research Fellowships to the survey – 95% of University Research importance of identifying and nurturing the Royal Society.
    [Show full text]
  • On Quantum Computation Theory
    On Quantum Computation Theory Wim van Dam On Quantum Computation Theory ILLC Dissertation Series 2002-04 For further information about ILLC-publications, please contact Institute for Logic, Language and Computation Universiteit van Amsterdam Plantage Muidergracht 24 1018 TV Amsterdam phone: +31-20-525 6051 fax: +31-20-525 5206 e-mail: [email protected] homepage: http://www.illc.uva.nl/ On Quantum Computation Theory ACADEMISCH PROEFSCHRIFT ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof. mr. P.F. van der Heijden ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de Aula der Universiteit op woensdag 9 oktober 2002, te 14.00 uur door Willem Klaas van Dam geboren te Breda. Promotor: Prof. dr. P.M.B. Vitan´ yi Overige leden promotiecommissie: prof. dr. H.M. Buhrman prof. dr. A.K. Ekert prof. dr. B. Nienhuis dr. L. Torenvliet Faculteit der Natuurwetenschappen, Wiskunde en Informatica Copyright c W.K. van Dam, 2002 ISBN: 90–5776–091–6 “ : : : Many errors have been made in the world which today, it seems, even a child would not have made. How many crooked, out-of-the-way, narrow, impassable, and devious paths has humanity chosen in the attempt to attain eternal truth, while before it the straight road lay open, like the road leading to a magnificent building destined to become a royal palace. It is wider and more resplendent than all the other paths, lying as it does in the full glare of the sun and lit up by many lights at night, but men have streamed past it in blind darkness.
    [Show full text]
  • Postmaster & the Merton Record 2020
    Postmaster & The Merton Record 2020 Merton College Oxford OX1 4JD Telephone +44 (0)1865 276310 Contents www.merton.ox.ac.uk College News From the Warden ..................................................................................4 Edited by Emily Bruce, Philippa Logan, Milos Martinov, JCR News .................................................................................................8 Professor Irene Tracey (1985) MCR News .............................................................................................10 Front cover image Merton Sport .........................................................................................12 Wick Willett and Emma Ball (both 2017) in Fellows' Women’s Rowing, Men’s Rowing, Football, Squash, Hockey, Rugby, Garden, Michaelmas 2019. Photograph by John Cairns. Sports Overview, Blues & Haigh Ties Additional images (unless credited) Clubs & Societies ................................................................................24 4: © Ian Wallman History Society, Roger Bacon Society, Neave Society, Christian 13: Maria Salaru (St Antony’s, 2011) Union, Bodley Club, Mathematics Society, Quiz Society, Art Society, 22: Elina Cotterill Music Society, Poetry Society, Halsbury Society, 1980 Society, 24, 60, 128, 236: © John Cairns Tinbergen Society, Chalcenterics 40: Jessica Voicu (St Anne's, 2015) 44: © William Campbell-Gibson Interdisciplinary Groups ...................................................................40 58, 117, 118, 120, 130: Huw James Ockham Lectures, History of the Book
    [Show full text]
  • Year in Review
    Year in review For the year ended 31 March 2017 Trustees2 Executive Director YEAR IN REVIEW The Trustees of the Society are the members Dr Julie Maxton of its Council, who are elected by and from Registered address the Fellowship. Council is chaired by the 6 – 9 Carlton House Terrace President of the Society. During 2016/17, London SW1Y 5AG the members of Council were as follows: royalsociety.org President Sir Venki Ramakrishnan Registered Charity Number 207043 Treasurer Professor Anthony Cheetham The Royal Society’s Trustees’ report and Physical Secretary financial statements for the year ended Professor Alexander Halliday 31 March 2017 can be found at: Foreign Secretary royalsociety.org/about-us/funding- Professor Richard Catlow** finances/financial-statements Sir Martyn Poliakoff* Biological Secretary Sir John Skehel Members of Council Professor Gillian Bates** Professor Jean Beggs** Professor Andrea Brand* Sir Keith Burnett Professor Eleanor Campbell** Professor Michael Cates* Professor George Efstathiou Professor Brian Foster Professor Russell Foster** Professor Uta Frith Professor Joanna Haigh Dame Wendy Hall* Dr Hermann Hauser Professor Angela McLean* Dame Georgina Mace* Dame Bridget Ogilvie** Dame Carol Robinson** Dame Nancy Rothwell* Professor Stephen Sparks Professor Ian Stewart Dame Janet Thornton Professor Cheryll Tickle Sir Richard Treisman Professor Simon White * Retired 30 November 2016 ** Appointed 30 November 2016 Cover image Dancing with stars by Imre Potyó, Hungary, capturing the courtship dance of the Danube mayfly (Ephoron virgo). YEAR IN REVIEW 3 Contents President’s foreword .................................. 4 Executive Director’s report .............................. 5 Year in review ...................................... 6 Promoting science and its benefits ...................... 7 Recognising excellence in science ......................21 Supporting outstanding science .....................
    [Show full text]
  • Quantum Cryptography
    Quantum Cryptography Gilles Brassard ∗ and Claude Cr´epeau † 1 Quantum Cryptography [A] Quantum Cryptography was born in the early seventies when Stephen Wiesner wrote “Conjugate Coding”, which unfortunately took more than ten years to see the light of print [50]. In the mean time, Charles H. Bennett (who knew of Wiesner’s idea) and Gilles Brassard picked up the subject and brought it to fruition in a series of papers that culminated with the demonstration of an experimental prototype that established the technological feasibility of the concept [5]. Quantum cryptographic systems take ad- vantage of Heisenberg’s uncertainty relations, according to which measuring a quantum system, in general, dis- turbs it and yields incomplete information about its state Figure 1: First experiment (IBM Yorktown Heights) before the measurement. Eavesdropping on a quantum communication channel therefore causes an unavoidable 1.1 The various uses of quantum physics disturbance, alerting the legitimate users. This yields a cryptographic system for the distribution of a secret ran- for cryptography dom key between two parties initially sharing no secret In addition to key distribution, quantum techniques may information (however they must be able to authenticate also assist in the achievement of subtler cryptographic messages) that is secure against an eavesdropper having goals, important in the post-cold war world, such as pro- at her disposal unlimited computing power. Once this se- tecting private information while it is being used to reach cret key is established, it can be used together with clas- public decisions. Such techniques, pioneered by Claude sical cryptographic techniques such as the Vernam cipher Cr´epeau [10], [15], allow two people to compute an (one-time pad) to allow the parties to communicate mean- agreed-upon function f(x, y) on private inputs x and y ingful information in absolute secrecy.
    [Show full text]
  • Entanglement and Quantum Key Distribution
    Entanglement and Quantum Key Distribution By Justin Winkler Entanglement in quantum mechanics refers to particles whose individual states cannot be written without reference to the state of other particles. Such states are said to be non-separable, and measurements of the state of one entangled particle alter the state of all entangled particles. This unusual phenomena has applications in quantum teleportation, superdense coding, and various other applications relating to quantum computing. Of some interest is how entanglement can be applied to the field of quantum cryptography, particularly quantum key distribution. Quantum key distribution (QKD) is a technique that allows for secure distribution of keys to be used for encrypting and decrypting messages. The technique of QKD was proposed by Charles H. Bennett and Gilles Brassard in 1984, describing a protocol that would come to be known as BB84 [1]. BB84 was originally described using photon polarization states; no quantum entanglement was required. BB84 requires measurement in two different orthogonal bases. Making use of the case of photon polarization, one basis is typically rectilinear, with vertical polarization at 0° and horizontally polarization at 90°, while the other basis is diagonal, with vertical polarization at 45° and horizontal polarization at 135°. Bit values can then be assigned as, for example, 0 for a vertically polarized photon and 1 for a horizontally polarized photon. To distribute a key, the distributing party, Alice, creates a random bit in a random basis, sending a photon being 1 or 0 in either the rectilinear or diagonal basis. The photon created by Alice is received by Bob, who does not know the basis Alice used.
    [Show full text]
  • 2. Quantum Patents
    6.2.21_HANEY_FINAL (DO NOT DELETE) 6/2/2021 7:44 PM ARTICLE QUANTUM PATENTS BRIAN HANEY1 ABSTRACT Quantum Patents are patents with claims relating to quantum computing. The number of Quantum Patents granted by the USPTO is rapidly increasing each year. In addition, Quantum Patents are increasing in total market value. While the literature on technology patents is visibly scaling, literature specifically fo- cused on Quantum Patents is non-existent. This Article draws on a growing body of quantum computing, intellectual property, and technology law scholarship to provide novel Quantum Patent analysis and critique. This Article contributes the first empirical Quantum Patent review, including novel technology descriptions, market modeling, and legal analysis relating to Quantum Patent claims. First, this Article discusses the two main technical ap- proaches to Quantum Computing. This discussion explores the relationship be- tween Adiabatic Quantum Computers and Gate-Model Quantum Computers, as well as various quantum software frameworks. Second, this Article models an evolving Quantum Patent dataset, offering economic insights, claims analysis, and patent valuation strategies. The data models provide insight into an un- charted patent market alcove, shining light on a completely new economy. ABSTRACT......................................................................................................... 64 I. INTRODUCTION .............................................................................................. 65 II. QUANTUM COMPUTERS
    [Show full text]