DOCSLIB.ORG

Categorical Quantum Dynamics

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Categorical Quantum Dynamics Categorical Quantum Dynamics Stefano Gogioso Trinity College University of Oxford A thesis submitted for the degree of Doctor of Philosophy Michaelmas 2016 Per Aspera Ad Astra Contents 1 Introduction 1 1.1 Summary of this work . .1 1.2 Background literature . .2 1.2.1 Categorical Quantum Mechanics . .2 1.2.2 Dagger compact structure . .3 1.2.3 Some application of CQM . .3 1.2.4 The ZX calculus . .4 1.2.5 Applications of strong complementarity . .4 1.3 Brief synopsis of this work . .6 1.3.1 A primer of CQM . .6 1.3.2 Coherent dynamics and symmetries . .6 1.3.3 Strong complementarity in quantum algorithms . .7 2 Categorical Quantum Mechanics 8 2.1 Symmetric monoidal categories . .8 2.1.1 Objects as physical systems . .8 2.1.2 Sequential composition of processes . .8 2.1.3 Parallel composition of processes . .9 2.1.4 States, effects and scalars . 11 2.1.5 Examples of symmetric monoidal categories . 12 2.2 Dagger-compact categories . 14 2.2.1 Dagger, isometries and unitaries . 14 2.2.2 Dagger compact structure . 15 2.2.3 Examples of dagger compact categories . 17 2.2.4 The matrix algebra . 19 2.3 Environments, causality and purification . 19 2.3.1 Environment structures . 19 2.3.2 Discarding maps in categories of matrices . 20 i 2.3.3 The CPM construction . 21 2.3.4 Purification . 24 2.4 Coherent data manipulation . 26 2.4.1 Dagger Frobenius algebras . 26 2.4.2 Quantum observables . 27 2.4.3 A brief digression on observables . 29 2.4.4 Coherent data manipulation . 31 2.4.5 Bell states and effects . 33 2.4.6 Observables in classical physics . 33 2.4.7 Canonical Frobenius algebras . 35 2.5 Measurements, decoherence and classicality . 35 2.5.1 Probabilistic theories . 35 2.6 The CP* construction . 37 2.6.1 The CP* construction and quantum theory . 37 2.6.2 The CP* construction and R-probabilistic theories . 39 2.7 Non-locality and contextuality . 41 2.7.1 The sheaf-theoretic framework . 41 2.7.2 Contextuality in R-probabilistic theories . 47 2.8 Some toy models of quantum theory . 49 2.8.1 Theories of wavefunctions over semirings . 49 2.8.2 Real quantum theory . 52 2.8.3 Relational quantum theory . 53 2.8.4 Hyperbolic quantum theory . 53 2.8.5 Parity quantum theory . 54 2.8.6 Finite-field quantum theory . 56 2.8.7 p-adic quantum theory . 57 2.8.8 Tropical quantum theory . 58 3 Categorical Quantum Dynamics 61 3.1 Introduction . 61 3.1.1 A coherent approach to quantum symmetries . 61 3.1.2 Synopsis of this Chapter . 62 3.2 Coherent Groups . 68 3.2.1 Wavefunctions on periodic lattices . 68 3.2.2 Complementarity and strong complementarity . 73 3.2.3 Coherent Groups . 77 ii 3.3 Wavefunctions on a periodic lattice . 85 3.3.1 What we look for in a momentum observable . 85 3.3.2 Momenta generate translation symmetry . 89 3.3.3 Positions generate boost symmetry . 92 3.3.4 Weyl Canonical Commutation Relations . 99 3.3.5 Uncertainty principle . 101 3.4 Systems with symmetries . 104 3.4.1 Unitary representations of coherent groups . 104 3.4.2 The category of representations of a coherent group . 107 3.4.3 Symmetry-observable duality . 110 3.4.4 Stone's theorem revisited . 119 3.5 Infinite-dimensional CQM . 124 3.5.1 Non-standard analysis . 125 3.5.2 The category ?Hilb . 132 3.5.3 How to use ?Hilb for standard purposes . 139 3.5.4 Infinite-dimensional categorical quantum mechanics . 142 3.5.5 Wavefunctions with periodic boundaries . 144 3.6 Quantum dynamics . 150 3.6.1 A traditional perspective on quantum dynamics . 150 3.6.2 Quantum clocks . 160 3.6.3 Quantum dynamical systems . 160 3.6.4 The coherent Hamiltonian . 162 3.6.5 Schr¨odinger's Equation . 163 3.6.6 von Neumann's mean ergodic theorem . 165 3.6.7 Stone's Theorem . 167 3.6.8 Feynman's clock . 168 3.6.9 Clock-system synchronisation . 173 3.6.10 Time observables . 177 4 Strong Complementarity in Quantum Algorithms 189 4.1 Hidden Subgroup Problem . 190 4.1.1 The Hidden Subgroup Problem . 191 4.1.2 The Quantum Algorithm . 192 4.1.3 Non-abelian HSP . 198 4.1.4 Toy quantum theories . 199 4.2 Mermin-type non-locality scenarios . 204 iii 4.2.1 Mermin's Original Argument . 206 4.2.2 The phase group . 210 4.2.3 Generalised Mermin-type Arguments . 218 4.2.4 Quantum realisability . 226 4.2.5 All-vs-Nothing Arguments . 228 4.2.6 A fully worked-out example . 231 4.2.7 Quantum-classical Secret Sharing . 236 Bibliography 253 iv Chapter 1 Introduction 1.1 Summary of this work Since its original introduction, strongly complementary observables have been a fundamental ingredient of the ZX calculus, one of the most successful fragments of Categorical Quantum Mechanics (CQM). In this thesis, we show that strong complementarity plays a vastly greater role in quantum theory. Firstly, we use strong complementarity to introduce dynamics and symmetries within the framework of CQM, which we also extend to infinite-dimensional separable Hilbert spaces: these were long-missing features, which open the way to a wealth of new applications. The coherent treatment presented in this work also provides a variety of novel insights into the dynamics and symmetries of quantum systems: examples include the extremely simple characterisation of symmetry-observable duality, the connection of strong complementarity with the Weyl Canonical Commutation Relations, the generalisations of Feynman's clock construction, the existence of time observables and the emergence of quantum clocks. Secondly, we show that strong complementarity is a key resource for quantum algorithms and protocols. We provide the first fully diagrammatic, theory-independent proof of correctness for the quantum algorithm solving the Hidden Subgroup Problem, and prove that strong complementarity is the feature providing the quantum advantage. In quantum foundations, we use strong complementarity to derive the exact conditions relating non-locality to the structure of phase groups, within the context of Mermin- type non-locality arguments. Our non-locality results find further application to quantum cryptography, where we use them to define a quantum-classical secret sharing scheme with provable device-independent security guarantees. All in all, we argue that strong complementarity is a truly powerful and versatile building block for quantum theory and its applications, and one that should draw a lot more attention in the future. 1 1.2 Background literature 1.2.1 Categorical Quantum Mechanics This work takes its roots in the framework of categorical quantum mechanics (CQM) [AC09, CK15], which its extends and refines in a number of aspects. The general motivation behind the application of category-theoretic tools lies in the intuition that the features distinguishing quantum theory from classical physics can be understood in terms of the way quantum processes compose, sequentially and in parallel (we refer to this as an operational, or process-theoretic, description of quantum theory). The framework of symmetric monoidal categories is particularly suited for operational descriptions, and comes with a natural diagrammatic formalism [JS91, BS10, CK15, Kis12, Sel07, CH12], combining the rigour of the category theory with the versatility of graphical manipulation. The diagrammatic formalism has quickly become a major selling point of CQM, and receives plenty of interest on its own [CD11, Bac14, Had15, Kis12, KZ15]. The operational and process-theoretic description of quantum theory given by CQM [AH12b, CK15] is in a certain sense antipodal to the traditional Hilbert space formulation, which heavily relies on explicit complex-linear structure. Several interme- diate approaches exist, such as quantum circuits and generalised probabilistic theories [Har01, Bar07], and have been applied to a diversity of topics in quantum information and foundations. The framework of operational probabilistic theories (OPTs) is perhaps the closest, in spirit, to CQM: it was developed in [CDP10, CDP11, CS15] with the aim of obtaining an informational derivation of quantum theory, it comes with a graphical calculus and it has a strong operational and process-theoretic flavour to it; work to connect OPTs to CQM is currently being undertaken [Tul16, GS16]. Despite the diagrammatic and operational similarities, the approach to quantum theory of OPTs is quite different from that of CQM: the former relies on explicit probabilistic structure, and is mainly axiomatic in nature, while the latter focuses on categorical structures (with no explicit summations or probabilities), and is mostly constructive. The processes which OPTs are concerned with are physical processes1, or processes appearing in their convex decompositions2. On the contrary, CQM is concerned with the study of arbitrary processes with interesting categorical properties, which are used as building blocks of physical processes. In a nutshell, OPTs take physical processes and impose axioms on the way they can be probabilistically decomposed, while CQM 1Such as quantum channels, aka completely positive trace-preserving maps. 2Such as sub-normalised pure states, appearing in the convex decomposition of density matrices. 2 studies how certain building blocks compose and interact to form larger processes of physical interest. 1.2.2 Dagger compact structure The categorical environment of choice for pure-state quantum theory in CQM is that of dagger compact symmetric monoidal categories: the dagger structure is the categorical abstraction of operator adjunction3 in the Hilbert space formalism, while the compact structure corresponds to operator-state duality. Within this environment, the most common building blocks used by CQM are certainly y-Frobenius algebras, which provide the coherent/pure versions of the classical operations of copy, delete and match, and are a key component in the treatment of classicality [CP07, CPP10].
Load more

Recommended publications
  • Pontrjagin Duality for Finite Groups
    PONTRJAGIN DUALITY FOR FINITE GROUPS Partha Sarathi Chakraborty The Institute of Mathematical Sciences Chennai e1; ··· ; en : basis for V . ∗ V := fφjφ : V ! C linear map g. ∗ hφi ; ej i := φi (ej ) := δij , φi ; ··· ; φn, dual basis for V . Dual of a map, T : V ! W T ∗ : W ∗ ! V ∗; T ∗(φ)(v) = φ(T (v)). T : V ! W ; S : W ! U; (S ◦ T )∗ = T ∗ ◦ S∗ : U∗ ! W ∗ Pontryagin duality: classical formulation Motivation from linear algebra Limitations of the classical formulation dual of a cyclic group Some algebraic structures duals for direct sums and products The finite group case Pontryagin Duality Motivation: duality for vector spaces Dual of a vector space V : a finite dimensional vector space over C. ∗ V := fφjφ : V ! C linear map g. ∗ hφi ; ej i := φi (ej ) := δij , φi ; ··· ; φn, dual basis for V . Dual of a map, T : V ! W T ∗ : W ∗ ! V ∗; T ∗(φ)(v) = φ(T (v)). T : V ! W ; S : W ! U; (S ◦ T )∗ = T ∗ ◦ S∗ : U∗ ! W ∗ Pontryagin duality: classical formulation Motivation from linear algebra Limitations of the classical formulation dual of a cyclic group Some algebraic structures duals for direct sums and products The finite group case Pontryagin Duality Motivation: duality for vector spaces Dual of a vector space V : a finite dimensional vector space over C. e1; ··· ; en : basis for V . ∗ hφi ; ej i := φi (ej ) := δij , φi ; ··· ; φn, dual basis for V . Dual of a map, T : V ! W T ∗ : W ∗ ! V ∗; T ∗(φ)(v) = φ(T (v)). T : V ! W ; S : W ! U; (S ◦ T )∗ = T ∗ ◦ S∗ : U∗ ! W ∗ Pontryagin duality: classical formulation Motivation from linear algebra Limitations of the classical formulation dual of a cyclic group Some algebraic structures duals for direct sums and products The finite group case Pontryagin Duality Motivation: duality for vector spaces Dual of a vector space V : a finite dimensional vector space over C.
    [Show full text]
  • Old-Fashioned Relativity & Relativistic Space-Time Coordinates
    Relativistic Coordinates-Classic Approach 4.A.1 Appendix 4.A Relativistic Space-time Coordinates The nature of space-time coordinate transformation will be described here using a fictional spaceship traveling at half the speed of light past two lighthouses. In Fig. 4.A.1 the ship is just passing the Main Lighthouse as it blinks in response to a signal from the North lighthouse located at one light second (about 186,000 miles or EXACTLY 299,792,458 meters) above Main. (Such exactitude is the result of 1970-80 work by Ken Evenson's lab at NIST (National Institute of Standards and Technology in Boulder) and adopted by International Standards Committee in 1984.) Now the speed of light c is a constant by civil law as well as physical law! This came about because time and frequency measurement became so much more precise than distance measurement that it was decided to define the meter in terms of c. Fig. 4.A.1 Ship passing Main Lighthouse as it blinks at t=0. This arrangement is a simplified model for a 1Hz laser resonator. The two lighthouses use each other to maintain a strict one-second time period between blinks. And, strict it must be to do relativistic timing. (Even stricter than NIST is the universal agency BIGANN or Bureau of Intergalactic Aids to Navigation at Night.) The simulations shown here are done using RelativIt. Relativistic Coordinates-Classic Approach 4.A.2 Fig. 4.A.2 Main and North Lighthouses blink each other at precisely t=1. At p recisel y t=1 sec.
    [Show full text]
  • Arithmetic Duality Theorems
    Arithmetic Duality Theorems Second Edition J.S. Milne Copyright c 2004, 2006 J.S. Milne. The electronic version of this work is licensed under a Creative Commons Li- cense: http://creativecommons.org/licenses/by-nc-nd/2.5/ Briefly, you are free to copy the electronic version of the work for noncommercial purposes under certain conditions (see the link for a precise statement). Single paper copies for noncommercial personal use may be made without ex- plicit permission from the copyright holder. All other rights reserved. First edition published by Academic Press 1986. A paperback version of this work is available from booksellers worldwide and from the publisher: BookSurge, LLC, www.booksurge.com, 1-866-308-6235, [email protected] BibTeX information @book{milne2006, author={J.S. Milne}, title={Arithmetic Duality Theorems}, year={2006}, publisher={BookSurge, LLC}, edition={Second}, pages={viii+339}, isbn={1-4196-4274-X} } QA247 .M554 Contents Contents iii I Galois Cohomology 1 0 Preliminaries............................ 2 1 Duality relative to a class formation . ............. 17 2 Localfields............................. 26 3 Abelianvarietiesoverlocalfields.................. 40 4 Globalfields............................. 48 5 Global Euler-Poincar´echaracteristics................ 66 6 Abelianvarietiesoverglobalfields................. 72 7 An application to the conjecture of Birch and Swinnerton-Dyer . 93 8 Abelianclassfieldtheory......................101 9 Otherapplications..........................116 AppendixA:Classfieldtheoryforfunctionfields............126
    [Show full text]
  • Catoni F., Et Al. the Mathematics of Minkowski Space-Time.. With
    Frontiers in Mathematics Advisory Editorial Board Leonid Bunimovich (Georgia Institute of Technology, Atlanta, USA) Benoît Perthame (Ecole Normale Supérieure, Paris, France) Laurent Saloff-Coste (Cornell University, Rhodes Hall, USA) Igor Shparlinski (Macquarie University, New South Wales, Australia) Wolfgang Sprössig (TU Bergakademie, Freiberg, Germany) Cédric Villani (Ecole Normale Supérieure, Lyon, France) Francesco Catoni Dino Boccaletti Roberto Cannata Vincenzo Catoni Enrico Nichelatti Paolo Zampetti The Mathematics of Minkowski Space-Time With an Introduction to Commutative Hypercomplex Numbers Birkhäuser Verlag Basel . Boston . Berlin $XWKRUV )UDQFHVFR&DWRQL LQFHQ]R&DWRQL LDHJOLD LDHJOLD 5RPD 5RPD Italy Italy HPDLOYMQFHQ]R#\DKRRLW Dino Boccaletti 'LSDUWLPHQWRGL0DWHPDWLFD (QULFR1LFKHODWWL QLYHUVLWjGL5RPD²/D6DSLHQ]D³ (1($&5&DVDFFLD 3LD]]DOH$OGR0RUR LD$QJXLOODUHVH 5RPD 5RPD Italy Italy HPDLOERFFDOHWWL#XQLURPDLW HPDLOQLFKHODWWL#FDVDFFLDHQHDLW 5REHUWR&DQQDWD 3DROR=DPSHWWL (1($&5&DVDFFLD (1($&5&DVDFFLD LD$QJXLOODUHVH LD$QJXLOODUHVH 5RPD 5RPD Italy Italy HPDLOFDQQDWD#FDVDFFLDHQHDLW HPDLO]DPSHWWL#FDVDFFLDHQHDLW 0DWKHPDWLFDO6XEMHFW&ODVVL½FDWLRQ*(*4$$ % /LEUDU\RI&RQJUHVV&RQWURO1XPEHU Bibliographic information published by Die Deutsche Bibliothek 'LH'HXWVFKH%LEOLRWKHNOLVWVWKLVSXEOLFDWLRQLQWKH'HXWVFKH1DWLRQDOELEOLRJUD½H GHWDLOHGELEOLRJUDSKLFGDWDLVDYDLODEOHLQWKH,QWHUQHWDWKWWSGQEGGEGH! ,6%1%LUNKlXVHUHUODJ$*%DVHOÀ%RVWRQÀ% HUOLQ 7KLVZRUNLVVXEMHFWWRFRS\ULJKW$OOULJKWVDUHUHVHUYHGZKHWKHUWKHZKROHRUSDUWRIWKH PDWHULDOLVFRQFHUQHGVSHFL½FDOO\WKHULJKWVRIWUDQVODWLRQUHSULQWLQJUHXVHRILOOXVWUD
    [Show full text]
  • Hyperbolic Geometry
    Flavors of Geometry MSRI Publications Volume 31,1997 Hyperbolic Geometry JAMES W. CANNON, WILLIAM J. FLOYD, RICHARD KENYON, AND WALTER R. PARRY Contents 1. Introduction 59 2. The Origins of Hyperbolic Geometry 60 3. Why Call it Hyperbolic Geometry? 63 4. Understanding the One-Dimensional Case 65 5. Generalizing to Higher Dimensions 67 6. Rudiments of Riemannian Geometry 68 7. Five Models of Hyperbolic Space 69 8. Stereographic Projection 72 9. Geodesics 77 10. Isometries and Distances in the Hyperboloid Model 80 11. The Space at Infinity 84 12. The Geometric Classification of Isometries 84 13. Curious Facts about Hyperbolic Space 86 14. The Sixth Model 95 15. Why Study Hyperbolic Geometry? 98 16. When Does a Manifold Have a Hyperbolic Structure? 103 17. How to Get Analytic Coordinates at Infinity? 106 References 108 Index 110 1. Introduction Hyperbolic geometry was created in the first half of the nineteenth century in the midst of attempts to understand Euclid’s axiomatic basis for geometry. It is one type of non-Euclidean geometry, that is, a geometry that discards one of Euclid’s axioms. Einstein and Minkowski found in non-Euclidean geometry a This work was supported in part by The Geometry Center, University of Minnesota, an STC funded by NSF, DOE, and Minnesota Technology, Inc., by the Mathematical Sciences Research Institute, and by NSF research grants. 59 60 J. W. CANNON, W. J. FLOYD, R. KENYON, AND W. R. PARRY geometric basis for the understanding of physical time and space. In the early part of the twentieth century every serious student of mathematics and physics studied non-Euclidean geometry.
    [Show full text]
  • Mackey Theorem Amritanshu Prasad the Institute of Mathematical Sciences, Chennai, India Article Info a B S T R a C T
    Expositiones Mathematicae 29 (2011) 110–118 Contents lists available at ScienceDirect Expositiones Mathematicae journal homepage: www.elsevier.de/exmath An easy proof of the Stone–von Neumann–Mackey Theorem Amritanshu Prasad The Institute of Mathematical Sciences, Chennai, India article info a b s t r a c t Article history: The Stone–von Neumann–Mackey Theorem for Heisenberg groups Received 3 December 2009 associated to locally compact abelian groups is proved using the Accepted 15 June 2010 Peter–Weyl Theorem and the theory of Fourier transforms for Rn. A theorem of Pontryagin and van Kampen on the structure of locally 2000 Mathematics Subject Classification: compact abelian groups (which is evident in any particular case) is 43-01 assumed. Keywords: ' 2010 Elsevier GmbH. All rights reserved. Stone–von Neumann Mackey Heisenberg group Fourier transform Locally compact abelian group 1. Introduction The definition of a Heisenberg group, which is motivated by Heisenberg's commutation relations for position and momentum operators, goes back to Hermann Weyl's mathematical formulation of quantum kinematics [9]. The basic feature of Heisenberg groups, now known as the Stone–von Neumann Theorem, was proved for Heisenberg groups associated to real vector spaces by Marshall Stone [6] and John von Neumann [7]. George W. Mackey [3] extended this result to Heisenberg groups associated to all locally compact abelian groups, allowing for groups that arise in number theory with consequences that were first studied by André Weil [8]. Our proof of Mackey's version of the Stone–von Neumann Theorem uses relatively simple tools from functional analysis: the Peter–Weyl Theorem on representations of compact topological groups [2, Theorem 1.12], and the classical theory of Fourier transforms for real vector spaces, specifically, the Fourier Inversion Theorem and the Plancherel Theorem [5, Chap.
    [Show full text]
  • Unifying the Hyperbolic and Spherical 2-Body Problem with Biquaternions
    Unifying the Hyperbolic and Spherical 2-Body Problem with Biquaternions Philip Arathoon December 2020 Abstract The 2-body problem on the sphere and hyperbolic space are both real forms of holo- morphic Hamiltonian systems defined on the complex sphere. This admits a natural description in terms of biquaternions and allows us to address questions concerning the hyperbolic system by complexifying it and treating it as the complexification of a spherical system. In this way, results for the 2-body problem on the sphere are readily translated to the hyperbolic case. For instance, we implement this idea to completely classify the relative equilibria for the 2-body problem on hyperbolic 3-space for a strictly attractive potential. Background and outline The case of the 2-body problem on the 3-sphere has recently been considered by the author in [1]. This treatment takes advantage of the fact that S3 is a group and that the action of SO(4) on S3 is generated by the left and right multiplication of S3 on itself. This allows for a reduction in stages, first reducing by the left multiplication, and then reducing an intermediate space by the residual right-action. An advantage of this reduction-by-stages is that it allows for a fairly straightforward derivation of the relative equilibria solutions: the relative equilibria may first be classified in the intermediate reduced space and then reconstructed on the original phase space. For the 2-body problem on hyperbolic space the same idea does not apply. Hyperbolic 3-space H3 cannot be endowed with an isometric group structure and the symmetry group SO(1; 3) does not arise as a direct product of two groups.
    [Show full text]
  • Number Theory and Harmonic Analysis
    Number theory and harmonic analysis November 8, 2018 1 Adèles and idèles of algebraic numbers In this section, we will review the constriction of real and p-adic numbers from the set Q of rational numbers by the process of completion with respect to different valuations. Completions of Q and more generally of number fields give rise to local fields (of characteristic zero). Local fields, which may be the field of real or complex numbers, or p-adic fields, are endowed with locally compact topology. We will also review the groups of adèles and idèles, their topology, and their connection with basic theorems in algebraic number theory. Real numbers We will very briefly review the construction of real numbers from rational numbers. Recall that the field of rational numbers Q is a totally ordered field: we write x > y x y if Q+ where Q+ is the semigroup of positive rational numbers. It is also − 2 equipped with the real valuation function Q Q+ 0 ! [ f g x = sign(x)x j j x x x x that takes value or depending on whether Q+ or Q+, and 0 = 0. For we will also use p-adic− absolute values, we will write2 x −instead2 of xj andj call it the the real absolute value. The absolute value of thej differencej1 x yj j defines a j − j1 Q+-valued metric on Q. The field of real numbers R is constructed as the completion of Q with respect to this metric. A real number is thus defined to be an equivalence class of Cauchy sequences of rational numbers with respect to this distance.
    [Show full text]
  • Two-Phase Auto-Piloted Synchronous Motors and Actuators
    IMPERIAL COLLEGE OF SCIENCE AND TECHNOLOGY DEPARTMENT OF ELECTRICAL ENGINEERING TWO-PHASE AUTO-PILOTED SYNCHRONOUS MOTORS AND ACTUATORS it Thesis submitted for the degree of Doctor of Philosophy of the University of London. it by Amadeu Leao Santos Rodrigues, M.Sc. (D.I.C.) July 1983 The thesis is concerned with certain aspects of the design and per- formance of drives based on variable speed synchronous motors fed from variable frequency sources, controlled by means of rotor-position sensors. This auto-piloted or self-synchronised form of control enables the machine to operate either with an adjustable load angle or an adjustable torque angle depending on whether a voltage or a current source feed is used. D.c. machine-type characteristics can thus be obtained from the system. The thesis commences with an outline of some fundamental design aspects and a summary of torque production mechanisms in electrical machines. The influence of configuration and physical size on machine performance is discussed and the advantages of the use for servo applic- ations of direct-drive as opposed to step-down transmissions are explained. Developments in permanent magnet materials have opened the way to permanent magnet motors of improved performance, and a brief review of the properties of the various materials presently available is given. A finite-difference method using magnetic scalar potential for calculating the magnetic field of permanent magnets in the presence of iron cores and macroscopic currents is described. A comparison with the load line method is made for some typical cases. Analogies between the mechanical commutator of a d.c.
    [Show full text]
  • An Analysis of Spacetime Numbers
    Rowan University Rowan Digital Works Theses and Dissertations 4-30-1999 An analysis of spacetime numbers Nicolae Andrew Borota Rowan University Follow this and additional works at: https://rdw.rowan.edu/etd Recommended Citation Borota, Nicolae Andrew, "An analysis of spacetime numbers" (1999). Theses and Dissertations. 1771. https://rdw.rowan.edu/etd/1771 This Thesis is brought to you for free and open access by Rowan Digital Works. It has been accepted for inclusion in Theses and Dissertations by an authorized administrator of Rowan Digital Works. For more information, please contact [email protected]. AN ANALYSIS OF SPACETIME NUMBERS by Nicolae Andrew Borota A Thesis Submitted in partial fulfillment of the requirements of the Masters of Arts Degree of The Graduate School at Rowan University 04/30/99 Approved by Date Approved A/P/ i- 30 /F?7 ABSTRACT Nicolae Andrew Borota An Analysis of Spacetime Numbers 1999 Thesis Mathematics The familiar complex numbers begin by considering the solution to the equation i = -1, which is not a real number. A two-dimensional number system arises of the form z = x + iy. Spacetime numbers are based upon the simple relation j = 1, with the corresponding two-dimensional number system z = x + jt. It seems odd that anything useful can come from this simple idea, since the solutions of our j equation are the familiar real numbers +1 and -1. However, many interesting applications arise from these new numbers. The most useful aspect of spacetime numbers is in solving problems in the areas of special and general relativity. These areas deal with the notion of space-time, hence the name "spacetime numbers." My goal is to explain in a direct, yet simple manner, the use of these special numbers.
    [Show full text]
  • Category Theory Applied to Pontryagin Duality
    Pacific Journal of Mathematics CATEGORY THEORY APPLIED TO PONTRYAGIN DUALITY DAVID W. ROEDER Vol. 52, No. 2 February 1974 PACIFIC JOURNAL OF MATHEMATICS Vol. 52, No. 2, 1974 CATEGORY THEORY APPLIED TO PONTRYAGIN DUALITY DAVID W. ROEDER A proof of the Pontryagin duality theorem for locally compact abelian (LCA) groups is given, using category-theo- retical ideas and homological methods. The proof is guided by the structure within the category of LCA groups and does not use any deep results except for the Peter-Weyl theorem. The duality is first established for the subcategory of ele- mentary LCA groups (those isomorphic with T* Θ ZJ 0 Rk φ F, where T is the circle group, Z the integers, R the real num- bers, and F a finite abelian group), and through the study of exact sequences, direct limits and projective limits the duality is expanded to larger subcategories until the full duality theorem is reached. Introduction* In this note we present a fairly economical proof of the Pontryagin duality theorem for locally compact abelian (LCA) groups, using category-theoretic ideas and homological methods. This theorem was first proved in a series of papers by Pontryagin and van Kampen, culminating in van Kampen's paper [5], with methods due primarily to Pontryagin. In [10, pp. 102-109], Weil introduced the simplifying notion of compactly generated group and explored the functorial nature of the situation by examining adjoint homomorphisms and projective limits. Proofs along the lines of Pontryagin-van Kampen-Weil appear in the books by Pontryagin [7, pp. 235-279] and Hewitt and Ross [2, pp.
    [Show full text]
  • On Bivectors and Jay-Vectors - 2 - M
    Ricerche di Matematica (2019) 68, 859–882. https://doi.org/10.1007/s11587-019-00442-2 On bivectors and jay-vectors M. Hayes School of Mechanical and Materials Engineering, University College, Dublin N. H. Scott∗ School of Mathematics, University of East Anglia, Norwich Research Park, Norwich NR4 7TJ Received: 5 February 2019 Revised: 25 March 2019 Published: 6 April 2019 · · Note from the second author. This is joint work with my erstwhile PhD supervisor at the University of East Anglia, Norwich, Professor Mike Hayes, late of University College Dublin. Since Mike’s unfortunate death I have endeavoured to finish the work in a man- ner he would have approved of. This paper is dedicated to Colette Hayes, Mike’s widow. Abstract A combination a+ib where i2 = 1 and a, b are real vectors is called a bivector. − Gibbs developed a theory of bivectors, in which he associated an ellipse with each bivector. He obtained results relating pairs of conjugate semi-diameters and in particular considered the implications of the scalar product of two bivectors being zero. This paper is an attempt to develop a similar formulation for hyperbolas by the use of jay-vectors — a jay-vector is a linear combination a +jb of real vectors a and b, where j2 = +1 but j is not a real number, so j = 1. The implications 6 ± of the vanishing of the scalar product of two jay-vectors is also considered. We show how to generate a triple of conjugate semi-diameters of an ellipsoid from any arXiv:2004.14154v1 [math.GM] 27 Apr 2020 orthonormal triad.
    [Show full text]