An Analytical Comparison of Different Rotation Methods of Anomalous U(1) Charges Kara Merfeld, Caleb Smith

Total Page:16

File Type:pdf, Size:1020Kb

An Analytical Comparison of Different Rotation Methods of Anomalous U(1) Charges Kara Merfeld, Caleb Smith 1 An Analytical Comparison of Different Rotation Methods of Anomalous U(1) Charges Kara Merfeld, Caleb Smith Abstract—Heterotic string theories offer the pos- a string. As the quarks are pulled apart, the string sibility of additional gauge groups arising from the connecting them is stretched and the attractive force symmetry breaking of SO(32) or E8 × E8. These increases. At some point, the string would break arise from compactifying the ten space-time dimen- sions of superstring theory to arrive at the four large and two more quarks would come into existence, space-time dimensions. This study focuses on produc- one at each of the newly created ends[12]. This ing and analyzing string models using the weakly- would account for the absence of individual quarks. coupled free fermionic heterotic string (WCFFHS) When quantum chromodynamics (QCD) came into formalism. Anomalous U(1) gauge groups naturally existence it overshadowed string theory through its arise in models generated by the WCFFHS formalism. Phenomenological analysis and supersymmetry calcu- experimentally confirmed success in modeling the lations are greatly simplified by transforming the U(1) strong force. However, when it was discovered that charges such that only one U(1) is anomalous. Multiple string theory inherently contains gravity, the theory algorithms are derived and presented performing this began to gain support as a grand unifying theory[6]. operation. One of these methods was selected and It would include all of the fundamental particles and implemented into the WCFFHS model building frame- work. Preliminary results of applying this calculation interactions as the result of a single phenomenon: to three generated models are included. different vibrational modes of strings[8]. By the 1980’s there were five distinct string theories, and Index Terms—Anomaly, Rotation Matrices, Normal- 500 ization, Heterotic, WCFFHS formalism there now exist over 10 string models[14]. It is not a question of which of these models is correct, but rather which models most readily reproduce the I. INTRODUCTION SM. These string models include gravity, allow for A. String Theory dark energy, and depend on only one free parameter: The standard model (SM) of particle physics the length of the strings. These attributes make it an is a collection of the fundamental particles that appealing theory, despite its current inability to be combine together to describe all matter and forces. experimentally verified. The SM contains six quarks and six anti-quarks (not including color), six leptons and six anti-leptons, B. Compactification and twelve gauge bosons. There is also a Higgs bo- Of the five string theories, type I, type IIA, type son, which introduces particle masses in the theory IIB, heterotic E8 × E8 and heterotic SO(32), the through electroweak symmetry breaking. However, focus of this study is on heterotic strings. Het- the SM is incomplete, as it does not account for erotic strings include only closed-string models, in dark matter/energy, and offers no description of which the left-moving modes are supersymmetric, gravity[13]. It also gives no explanation for the and the right-moving modes are bosonic[9]. The wide range of particle masses between different right-movers exist in 26 dimensions, while the left- generations (the hierarchy problem)[7]. Finally, it movers exist in 10. The extra 16 dimensions are possesses about 20 free parameters which must be toroidally compactified, making them internal de- experimentally, rather than theoretically, determined. grees of freedom[11]. In order to make contact with An underlying theory is desired. realistic physics, the remaining dimensions of the String theory first came into existence in the string model are also toroidally compactified down 1960’s, as an attempt to explain the strong force to the four dimensions with which the macroscopic within hadrons. It was hypothesized that the strong world is familiar. The compactified dimensions then force between quarks was due to a “strings” con- exist on scales smaller than that which current necting quarks, with one quark at each endpoint of technology can probe. 2 While several formalisms exist for constructing C. U(1) Rotation heterotic string models, the focus of this research The U(1) charges qij are defined by the following is on the weakly-coupled free fermionic heterotic two equations. string (WCFFHS) formalism. In the WCFFHS for- malism, the focus is on worldsheet fermions: 8 from Qi j ji = qij j ji (6) the left-moving SUSY, and 32 from fermionizing hQi j ji = qij (7) the 16 compact directions[5]. Notationally, the left- movers and right-movers are represented together In equation (6), Qi is the matrix operator for the th th as: i U(1), while j ji is the j matter state vector. Here qij (the ij element of our U(1) charge matrix) (RLjjRR) (1) is an eigenvalue of the operator Qi and eigenvector where R is twice the rank of the non-abelian Lie j ji. In equation (7), jQii is the basis vector for th gauge group generated, and the subscript indicates the i U(1) (not to be confused with the matrix the direction. For example, in ten large space-time Qi, which is a different basis of matrices). Equation dimensions this is represented by: (7) defines the U(1) charges qij as the inner product of the charge basis vector jQii and the matter state (8jj32): (2) j ji. A matrix of U(1) charges with elements qij is constructed in accordance with equations (6) and The number of compactified directions is the num- (7). It is this matrix of U(1) charges that shall be ber of bosons, so with each compactified dimension, considered in the following sections. the number of large dimensions decreases by 1, The trace of a U(1) charge is the sum of the and the rank of each the left- and right-movers charges of the physical states under that U(1) factor, increases by two, because there are two coupled and is computed as: fermions created for every fermionized boson[1]. m m When compactification occurs repeatedly, it can be X X T r(Q ) = h j Q i = q (8) seen that when D is the number of dimensions[10]: i j i ij j=1 j=1 D = 9 : (10jj34) where equation (7) has been applied and m has been D = 8 : (12jj36) defined as the total number of matter states. When the traces of these U(1) charges are com- . puted, it is easily seen that many of the charges D = 4 : (20jj44): have non-zero traces, making them anomalous. In the heterotic theories, it is possible to modify the In general, the total rank, RT , can be found using: U(1) basis without changing the physics so that all n but one of the U(1) traces are equal to zero[3]. That RT = 26 − D − (3) is, after the manipulation, only one U(1) factor will 2 remain anomalous. Transforming the U(1) charges where n is the total number of left-right pairings. into this form greatly simplifies phenomenological The total rank is also the sum of the ranks of the computations performed with the U(1) charges, in- abelian and non-abelian charges: cluding supersymmetry calculations[2]. The focus of this study is to develop an algorithm to efficiently R = R + R : (4) T A NA perform such a transformation. Note that in the model building process, only the Specifically, the goal is to transform the U(1) non-abelian group factors are constructed on the abelian charges so that: first pass, after which RNA can be determined. A 0 T r(Q1 ) 6= 0 (9) realistic string model must have D = 4 large space- T r(Q 0) = 0 (10) time dimensions[11]. Combining equations (3) and i 0 (4) with D = 4 yields the number of abelian U(1) where Qi is the transformed charge at index i, charges RA: and 1 < i ≤ RA. In order for the physics to be n invariant, it is required that the orthogonal basis R = 22 − − R : (5) A 2 NA formed by the U(1) states be normalized before and after calculation. Therefore, imposing an arbitrary Equation (5) gives the number of abelian U(1) normalization of length squared 2 yields: charges that are explicitly constructed within the model. hQi j Qji = 2δij (11) 3 before the transformation, and: will yield a new basis in which only one U(1) is anomalous. The second requirement (16) follows Q 0 Q 0 = 2δ (12) i j ij from equations (11) and (12) and ensures that we after the transformation, where δij is the normal will preserve the U(1) normalization and orthogo- Kronecker delta. nality. To accomplish this, an orthogonal RA × RA rotation matrix R is defined that, when acting on A. Algorithm I the traces, gives: From the properties of R, if the rotated charges 2 3 2 0 3 are defined as: T r(Q1) T r(Q1 ) 0 0 6 T r(Q2) 7 6 T r(Q2 ) 7 Qi = ai jQii + aj jQji (17) R 6 7 = 6 7 : (13) 6 . 7 6 . 7 0 4 . 5 4 . 5 Qj = aj jQii − ai jQji (18) 0 T r(QR ) T r(QR ) A A where ai; aj 2 ~a, and i and j are the indices of The objective is to find R that will satisfy equations the charges being mixed. The orthogonality between 0 0 (9) and (10) when it is applied to the U(1) traces Qi and Qj is guaranteed[4]. It will be shown and equations (11) and (12) when applied to the that the elimination of all but one anomalous charge U(1) charges.
Recommended publications
  • CONSTRUCTING INTEGER MATRICES with INTEGER EIGENVALUES CHRISTOPHER TOWSE,∗ Scripps College
    Applied Probability Trust (25 March 2016) CONSTRUCTING INTEGER MATRICES WITH INTEGER EIGENVALUES CHRISTOPHER TOWSE,∗ Scripps College ERIC CAMPBELL,∗∗ Pomona College Abstract In spite of the proveable rarity of integer matrices with integer eigenvalues, they are commonly used as examples in introductory courses. We present a quick method for constructing such matrices starting with a given set of eigenvectors. The main feature of the method is an added level of flexibility in the choice of allowable eigenvalues. The method is also applicable to non-diagonalizable matrices, when given a basis of generalized eigenvectors. We have produced an online web tool that implements these constructions. Keywords: Integer matrices, Integer eigenvalues 2010 Mathematics Subject Classification: Primary 15A36; 15A18 Secondary 11C20 In this paper we will look at the problem of constructing a good problem. Most linear algebra and introductory ordinary differential equations classes include the topic of diagonalizing matrices: given a square matrix, finding its eigenvalues and constructing a basis of eigenvectors. In the instructional setting of such classes, concrete “toy" examples are helpful and perhaps even necessary (at least for most students). The examples that are typically given to students are, of course, integer-entry matrices with integer eigenvalues. Sometimes the eigenvalues are repeated with multipicity, sometimes they are all distinct. Oftentimes, the number 0 is avoided as an eigenvalue due to the degenerate cases it produces, particularly when the matrix in question comes from a linear system of differential equations. Yet in [10], Martin and Wong show that “Almost all integer matrices have no integer eigenvalues," let alone all integer eigenvalues.
    [Show full text]
  • Fast Computation of the Rank Profile Matrix and the Generalized Bruhat Decomposition Jean-Guillaume Dumas, Clement Pernet, Ziad Sultan
    Fast Computation of the Rank Profile Matrix and the Generalized Bruhat Decomposition Jean-Guillaume Dumas, Clement Pernet, Ziad Sultan To cite this version: Jean-Guillaume Dumas, Clement Pernet, Ziad Sultan. Fast Computation of the Rank Profile Matrix and the Generalized Bruhat Decomposition. Journal of Symbolic Computation, Elsevier, 2017, Special issue on ISSAC’15, 83, pp.187-210. 10.1016/j.jsc.2016.11.011. hal-01251223v1 HAL Id: hal-01251223 https://hal.archives-ouvertes.fr/hal-01251223v1 Submitted on 5 Jan 2016 (v1), last revised 14 May 2018 (v2) HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Fast Computation of the Rank Profile Matrix and the Generalized Bruhat Decomposition Jean-Guillaume Dumas Universit´eGrenoble Alpes, Laboratoire LJK, umr CNRS, BP53X, 51, av. des Math´ematiques, F38041 Grenoble, France Cl´ement Pernet Universit´eGrenoble Alpes, Laboratoire de l’Informatique du Parall´elisme, Universit´ede Lyon, France. Ziad Sultan Universit´eGrenoble Alpes, Laboratoire LJK and LIG, Inria, CNRS, Inovall´ee, 655, av. de l’Europe, F38334 St Ismier Cedex, France Abstract The row (resp. column) rank profile of a matrix describes the stair-case shape of its row (resp.
    [Show full text]
  • Ratner's Work on Unipotent Flows and Impact
    Ratner’s Work on Unipotent Flows and Its Impact Elon Lindenstrauss, Peter Sarnak, and Amie Wilkinson Dani above. As the name suggests, these theorems assert that the closures, as well as related features, of the orbits of such flows are very restricted (rigid). As such they provide a fundamental and powerful tool for problems connected with these flows. The brilliant techniques that Ratner in- troduced and developed in establishing this rigidity have been the blueprint for similar rigidity theorems that have been proved more recently in other contexts. We begin by describing the setup for the group of 푑×푑 matrices with real entries and determinant equal to 1 — that is, SL(푑, ℝ). An element 푔 ∈ SL(푑, ℝ) is unipotent if 푔−1 is a nilpotent matrix (we use 1 to denote the identity element in 퐺), and we will say a group 푈 < 퐺 is unipotent if every element of 푈 is unipotent. Connected unipotent subgroups of SL(푑, ℝ), in particular one-parameter unipo- Ratner presenting her rigidity theorems in a plenary tent subgroups, are basic objects in Ratner’s work. A unipo- address to the 1994 ICM, Zurich. tent group is said to be a one-parameter unipotent group if there is a surjective homomorphism defined by polyno- In this note we delve a bit more into Ratner’s rigidity theo- mials from the additive group of real numbers onto the rems for unipotent flows and highlight some of their strik- group; for instance ing applications, expanding on the outline presented by Elon Lindenstrauss is Alice Kusiel and Kurt Vorreuter professor of mathemat- 1 푡 푡2/2 1 푡 ics at The Hebrew University of Jerusalem.
    [Show full text]
  • Integer Matrix Approximation and Data Mining
    Noname manuscript No. (will be inserted by the editor) Integer Matrix Approximation and Data Mining Bo Dong · Matthew M. Lin · Haesun Park Received: date / Accepted: date Abstract Integer datasets frequently appear in many applications in science and en- gineering. To analyze these datasets, we consider an integer matrix approximation technique that can preserve the original dataset characteristics. Because integers are discrete in nature, to the best of our knowledge, no previously proposed technique de- veloped for real numbers can be successfully applied. In this study, we first conduct a thorough review of current algorithms that can solve integer least squares problems, and then we develop an alternative least square method based on an integer least squares estimation to obtain the integer approximation of the integer matrices. We discuss numerical applications for the approximation of randomly generated integer matrices as well as studies of association rule mining, cluster analysis, and pattern extraction. Our computed results suggest that our proposed method can calculate a more accurate solution for discrete datasets than other existing methods. Keywords Data mining · Matrix factorization · Integer least squares problem · Clustering · Association rule · Pattern extraction The first author's research was supported in part by the National Natural Science Foundation of China under grant 11101067 and the Fundamental Research Funds for the Central Universities. The second author's research was supported in part by the National Center for Theoretical Sciences of Taiwan and by the Ministry of Science and Technology of Taiwan under grants 104-2115-M-006-017-MY3 and 105-2634-E-002-001. The third author's research was supported in part by the Defense Advanced Research Projects Agency (DARPA) XDATA program grant FA8750-12-2-0309 and NSF grants CCF-0808863, IIS-1242304, and IIS-1231742.
    [Show full text]
  • Alternating Sign Matrices, Extensions and Related Cones
    See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/311671190 Alternating sign matrices, extensions and related cones Article in Advances in Applied Mathematics · May 2017 DOI: 10.1016/j.aam.2016.12.001 CITATIONS READS 0 29 2 authors: Richard A. Brualdi Geir Dahl University of Wisconsin–Madison University of Oslo 252 PUBLICATIONS 3,815 CITATIONS 102 PUBLICATIONS 1,032 CITATIONS SEE PROFILE SEE PROFILE Some of the authors of this publication are also working on these related projects: Combinatorial matrix theory; alternating sign matrices View project All content following this page was uploaded by Geir Dahl on 16 December 2016. The user has requested enhancement of the downloaded file. All in-text references underlined in blue are added to the original document and are linked to publications on ResearchGate, letting you access and read them immediately. Alternating sign matrices, extensions and related cones Richard A. Brualdi∗ Geir Dahly December 1, 2016 Abstract An alternating sign matrix, or ASM, is a (0; ±1)-matrix where the nonzero entries in each row and column alternate in sign, and where each row and column sum is 1. We study the convex cone generated by ASMs of order n, called the ASM cone, as well as several related cones and polytopes. Some decomposition results are shown, and we find a minimal Hilbert basis of the ASM cone. The notion of (±1)-doubly stochastic matrices and a generalization of ASMs are introduced and various properties are shown. For instance, we give a new short proof of the linear characterization of the ASM polytope, in fact for a more general polytope.
    [Show full text]
  • 1.3 Self-Dual/Chiral Gauge Theories 23 1.3.1 PST Approach 27
    Durham E-Theses Chiral gauge theories and their applications Berman, David Simon How to cite: Berman, David Simon (1998) Chiral gauge theories and their applications, Durham theses, Durham University. Available at Durham E-Theses Online: http://etheses.dur.ac.uk/5041/ Use policy The full-text may be used and/or reproduced, and given to third parties in any format or medium, without prior permission or charge, for personal research or study, educational, or not-for-prot purposes provided that: • a full bibliographic reference is made to the original source • a link is made to the metadata record in Durham E-Theses • the full-text is not changed in any way The full-text must not be sold in any format or medium without the formal permission of the copyright holders. Please consult the full Durham E-Theses policy for further details. Academic Support Oce, Durham University, University Oce, Old Elvet, Durham DH1 3HP e-mail: [email protected] Tel: +44 0191 334 6107 http://etheses.dur.ac.uk Chiral gauge theories and their applications by David Simon Berman A thesis submitted for the degree of Doctor of Philosophy Department of Mathematics University of Durham South Road Durham DHl 3LE England June 1998 The copyright of this tliesis rests with tlie author. No quotation from it should be published without the written consent of the author and information derived from it should be acknowledged. 3 0 SEP 1998 Preface This thesis summarises work done by the author between October 1994 and April 1998 at the Department of Mathematical Sciences of the University of Durham and at CERN theory division under the supervision of David FairUe.
    [Show full text]
  • K-Theory of Furstenberg Transformation Group C ∗-Algebras
    Canad. J. Math. Vol. 65 (6), 2013 pp. 1287–1319 http://dx.doi.org/10.4153/CJM-2013-022-x c Canadian Mathematical Society 2013 K-theory of Furstenberg Transformation Group C∗-algebras Kamran Reihani Abstract. This paper studies the K-theoretic invariants of the crossed product C∗-algebras associated n with an important family of homeomorphisms of the tori T called Furstenberg transformations. Using the Pimsner–Voiculescu theorem, we prove that given n, the K-groups of those crossed products whose corresponding n × n integer matrices are unipotent of maximal degree always have the same rank an. We show using the theory developed here that a claim made in the literature about the torsion subgroups of these K-groups is false. Using the representation theory of the simple Lie algebra sl(2; C), we show that, remarkably, an has a combinatorial significance. For example, every a2n+1 is just the number of ways that 0 can be represented as a sum of integers between −n and n (with no repetitions). By adapting an argument of van Lint (in which he answered a question of Erdos),˝ a simple explicit formula for the asymptotic behavior of the sequence fang is given. Finally, we describe the order structure of the K0-groups of an important class of Furstenberg crossed products, obtaining their complete Elliott invariant using classification results of H. Lin and N. C. Phillips. 1 Introduction Furstenberg transformations were introduced in [9] as the first examples of homeo- morphisms of the tori that under some necessary and sufficient conditions are mini- mal and uniquely ergodic.
    [Show full text]
  • Package 'Matrixcalc'
    Package ‘matrixcalc’ July 28, 2021 Version 1.0-5 Date 2021-07-27 Title Collection of Functions for Matrix Calculations Author Frederick Novomestky <[email protected]> Maintainer S. Thomas Kelly <[email protected]> Depends R (>= 2.0.1) Description A collection of functions to support matrix calculations for probability, econometric and numerical analysis. There are additional functions that are comparable to APL functions which are useful for actuarial models such as pension mathematics. This package is used for teaching and research purposes at the Department of Finance and Risk Engineering, New York University, Polytechnic Institute, Brooklyn, NY 11201. Horn, R.A. (1990) Matrix Analysis. ISBN 978-0521386326. Lancaster, P. (1969) Theory of Matrices. ISBN 978-0124355507. Lay, D.C. (1995) Linear Algebra: And Its Applications. ISBN 978-0201845563. License GPL (>= 2) Repository CRAN Date/Publication 2021-07-28 08:00:02 UTC NeedsCompilation no R topics documented: commutation.matrix . .3 creation.matrix . .4 D.matrix . .5 direct.prod . .6 direct.sum . .7 duplication.matrix . .8 E.matrices . .9 elimination.matrix . 10 entrywise.norm . 11 1 2 R topics documented: fibonacci.matrix . 12 frobenius.matrix . 13 frobenius.norm . 14 frobenius.prod . 15 H.matrices . 17 hadamard.prod . 18 hankel.matrix . 19 hilbert.matrix . 20 hilbert.schmidt.norm . 21 inf.norm . 22 is.diagonal.matrix . 23 is.idempotent.matrix . 24 is.indefinite . 25 is.negative.definite . 26 is.negative.semi.definite . 28 is.non.singular.matrix . 29 is.positive.definite . 31 is.positive.semi.definite . 32 is.singular.matrix . 34 is.skew.symmetric.matrix . 35 is.square.matrix . 36 is.symmetric.matrix .
    [Show full text]
  • Generalized Spectral Characterizations of Almost Controllable Graphs
    Generalized spectral characterizations of almost controllable graphs Wei Wanga Fenjin Liub∗ Wei Wangc aSchool of Mathematics, Physics and Finance, Anhui Polytechnic University, Wuhu 241000, P.R. China bSchool of Science, Chang’an University, Xi’an 710064, P.R. China bSchool of Mathematics and Statistics, Xi’an Jiaotong University, Xi’an 710049, P.R. China Abstract Characterizing graphs by their spectra is an important topic in spectral graph theory, which has attracted a lot of attention of researchers in recent years. It is generally very hard and challenging to show a given graph to be determined by its spectrum. In Wang [J. Combin. Theory, Ser. B, 122 (2017): 438-451], the author gave a simple arithmetic condition for a family of graphs being determined by their generalized spectra. However, the method applies only to a family of the so called controllable graphs; it fails when the graphs are non-controllable. In this paper, we introduce a class of non-controllable graphs, called almost con- trollable graphs, and prove that, for any pair of almost controllable graphs G and H that are generalized cospectral, there exist exactly two rational orthogonal matrices Q with constant row sums such that QTA(G)Q = A(H), where A(G) and A(H) are the adjacency matrices of G and H, respectively. The main ingredient of the proof is a use of the Binet-Cauchy formula. As an application, we obtain a simple criterion for an almost controllable graph G to be determined by its generalized spectrum, which in some sense extends the corresponding result for controllable graphs.
    [Show full text]
  • Computing Rational Forms of Integer Matrices
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector J. Symbolic Computation (2002) 34, 157–172 doi:10.1006/jsco.2002.0554 Available online at http://www.idealibrary.com on Computing Rational Forms of Integer Matrices MARK GIESBRECHT† AND ARNE STORJOHANN‡ School of Computer Science, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1 n×n A new algorithm is presented for finding the Frobenius rational form F ∈ Z of any n×n 4 3 A ∈ Z which requires an expected number of O(n (log n + log kAk) + n (log n + log kAk)2) word operations using standard integer and matrix arithmetic (where kAk = maxij |Aij |). This substantially improves on the fastest previously known algorithms. The algorithm is probabilistic of the Las Vegas type: it assumes a source of random bits but always produces the correct answer. Las Vegas algorithms are also presented for computing a transformation matrix to the Frobenius form, and for computing the rational Jordan form of an integer matrix. c 2002 Elsevier Science Ltd. All rights reserved. 1. Introduction In this paper we present new algorithms for exactly computing the Frobenius and rational Jordan normal forms of an integer matrix which are substantially faster than those previously known. We show that the Frobenius form F ∈ Zn×n of any A ∈ Zn×n can be computed with an expected number of O(n4(log n+log kAk)+n3(log n+log kAk)2) word operations using standard integer and matrix arithmetic. Here and throughout this paper, kAk = maxij |Aij|.
    [Show full text]
  • Arxiv:Math/0006092V1 [Math.DS] 13 Jun 2000 Tmkste2trsit Ml Pc,Se[8 H.129 O Deta Mode for As Dynamic 1.2.9] Serve the Systems Thm
    Symmetries and Reversing Symmetries of Toral Automorphisms Michael Baake 1) and John A. G. Roberts 2) 1) Institut f¨ur Theoretische Physik, Universit¨at T¨ubingen, Auf der Morgenstelle 14, 72076 T¨ubingen, Germany 2) Department of Mathematics, LaTrobe University, Bundoora, Victoria 3083, Australia Abstract Toral automorphisms, represented by unimodular integer matri- ces, are investigated with respect to their symmetries and reversing symmetries. We characterize the symmetry groups of GL(n, Z) matri- ces with simple spectrum through their connection with unit groups in orders of algebraic number fields. For the question of reversibility, we derive necessary conditions in terms of the characteristic polyno- mial and the polynomial invariants. We also briefly discuss extensions to (reversing) symmetries within affine transformations, to PGL(n, Z) matrices, and to the more general setting of integer matrices beyond the unimodular ones. arXiv:math/0006092v1 [math.DS] 13 Jun 2000 Introduction Unimodular integer matrices induce interesting dynamical systems on the torus, such as Arnold’s famous cat map [4, Ch. 1, Ex. 1.16]. This is an example of a hyperbolic dynamical system that is ergodic and mixing [27], and also a topological Anosov system. Therefore, with a suitable metric, it makes the 2-torus into a Smale space, see [28, Thm. 1.2.9] for details. Although induced from a linear system of ambient space, the dynamics on the torus is rather complicated, and these systems serve as model systems in 1 symbolic dynamics and in many applications. Very recently, also cat maps on the 4-torus (and their quantizations) have begun to be studied [31].
    [Show full text]
  • Exact Solutions and Black Hole Stability in Higher Dimensional Supergravity Theories
    Exact Solutions and Black Hole Stability in Higher Dimensional Supergravity Theories by Sean Michael Anton Stotyn A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Doctor of Philosophy in Physics Waterloo, Ontario, Canada, 2012 c Sean Michael Anton Stotyn 2012 ! I hereby declare that I am the sole author of this thesis. This is a true copy of the thesis, including any required final revisions, as accepted by my examiners. I understand that my thesis may be made electronically available to the public. iii Abstract This thesis examines exact solutions to gauged and ungauged supergravity theories in space-time dimensions D 5 as well as various instabilities of such solutions. ≥ I begin by using two solution generating techniques for five dimensional minimal un- gauged supergravity, the first of which exploits the existence of a Killing spinor to gener- ate supersymmetric solutions, which are time-like fibrations over four dimensional hyper- K¨ahlerbase spaces. I use this technique to construct a supersymmetric solution with the Atiyah-Hitchin metric as the base space. This solution has three independent parameters and possesses mass, angular momentum, electric charge and magnetic charge. Via an anal- ysis of a congruence of null geodesics, I determine that the solution contains a region with naked closed time-like curves. The centre of the space-time is a conically singular pseudo- horizon that repels geodesics, otherwise known as a repulson. The region exterior to the closed time-like curves is outwardly geodesically complete and possesses an asymptotic region free of pathologies provided the angular momentum is chosen appropriately.
    [Show full text]