DOCSLIB.ORG

Liouville's Theorem (Hamiltonian)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Liouville's Theorem (Hamiltonian) Liouville's theorem (Hamiltonian) In physics, Liouville's theorem, named aer the French mathematician Joseph Liouville, is a key theorem in classical statistical and Hamiltonian mechanics. It asserts that the phase-space distribution function is constant along the trajectories of the system—that is that the density of system points in the vicinity of a given system point traveling through phase-space is constant with time. is time-independent density is in statistical mechanics known as the classical a priori probability.[1] ere are related mathematical results in symplectic topology and ergodic theory. Contents Liouville equations Other formulations Poisson bracket Ergodic theory Symplectic geometry Quantum Liouville equation Remarks See also References External links Liouville equations e Liouville equation describes the time evolution of the phase space distribution function. Although the equation is usually referred to as the "Liouville equation", Josiah Willard Gibbs was the first to recognize the importance of this equation as the fundamental equation of statistical mechanics.[2][3] It is referred to as the Liouville equation because its derivation for non-canonical systems utilises an identity first derived by Liouville in 1838.[4] Consider a Hamiltonian dynamical system with canonical coordinates and conjugate momenta , where . en the phase space distribution determines the probability that the system will be found in the infinitesimal phase space volume . e Liouville equation governs the evolution of in time : Time derivatives are denoted by dots, and are evaluated according to Hamilton's equations for the system. is equation demonstrates the conservation of density in phase space (which was Gibbs's name for the theorem). Liouville's theorem states that The distribution function is constant along any trajectory in phase space. A proof of Liouville's theorem uses the n-dimensional divergence theorem. is proof is based on the fact that the evolution of obeys an n-dimensional version of the continuity equation: at is, the tuplet is a conserved current. Notice that the difference between this and Liouville's equation are the terms Evolution of an ensemble of classical systems in phase space (top). Each system consists of one massive particle in a one-dimensional potential well (red curve, lower figure). Whereas the motion of an individual member of the ensemble is given by Hamilton's equations, Liouville's equations describe the flow of the whole distribution. The motion is analogous to a dye in an incompressible fluid. where is the Hamiltonian, and Hamilton's equations as well as conservation of the Hamiltonian along the flow have been used. at is, viewing the motion through phase space as a 'fluid flow' of system points, the theorem that the convective derivative of the density, , is zero follows from the equation of continuity by noting that the 'velocity field' in phase space has zero divergence (which follows from Hamilton's relations). Another illustration is to consider the trajectory of a cloud of points through phase space. It is straightforward to show that as the cloud stretches in one coordinate – say – it shrinks in the corresponding direction so that the product remains constant. Equivalently, the existence of a conserved current implies, via Noether's theorem, the existence of a symmetry. e symmetry is invariance under time translations, and the generator (or Noether charge) of the symmetry is the Hamiltonian. Other formulations Poisson bracket e theorem is oen restated in terms of the Poisson bracket as or in terms of the Liouville operator or Liouvillian, as Ergodic theory In ergodic theory and dynamical systems, motivated by the physical considerations given so far, there is a corresponding result also referred to as Liouville's theorem. In Hamiltonian mechanics, the phase space is a smooth manifold that comes naturally equipped with a smooth measure (locally, this measure is the 6n-dimensional Lebesgue measure). e theorem says this smooth measure is invariant under the Hamiltonian flow. More generally, one can describe the necessary and sufficient condition under which a smooth measure is invariant under a flow. e Hamiltonian case then becomes a corollary. Symplectic geometry In terms of symplectic geometry, the phase space is represented as a symplectic manifold. e theorem then states that the natural volume form on a symplectic manifold is invariant under the Hamiltonian flows. e symplectic i structure is represented as a 2-form, given as a sum of wedge products of dpi with dq . e volume form is the top exterior power of the symplectic 2-form, and is just another representation of the measure on the phase space described above. One formulation of the theorem states that the Lie derivative of this volume form is zero along every Hamiltonian vector field. In fact, the symplectic structure itself is preserved, not only its top exterior power, namely a symplectomorphism. Quantum Liouville equation e analog of Liouville equation in quantum mechanics describes the time evolution of a mixed state. Canonical quantization yields a quantum-mechanical version of this theorem, the Von Neumann equation. is procedure, oen used to devise quantum analogues of classical systems, involves describing a classical system using Hamiltonian mechanics. Classical variables are then re-interpreted as quantum operators, while Poisson brackets are replaced by commutators. In this case, the resulting equation is[5][6] where ρ is the density matrix. When applied to the expectation value of an observable, the corresponding equation is given by Ehrenfest's theorem, and takes the form where is an observable. Note the sign difference, which follows from the assumption that the operator is stationary and the state is time-dependent. Remarks The Liouville equation is valid for both equilibrium and nonequilibrium systems. It is a fundamental equation of non-equilibrium statistical mechanics. The Liouville equation is integral to the proof of the fluctuation theorem from which the second law of thermodynamics can be derived. It is also the key component of the derivation of Green- Kubo relations for linear transport coefficients such as shear viscosity, thermal conductivity or electrical conductivity. Virtually any textbook on Hamiltonian mechanics, advanced statistical mechanics, or symplectic geometry will derive[7] the Liouville theorem.[8][9][10][11] See also Reversible reference system propagation algorithm (r-RESPA) References Modern Physics, by R. Murugeshan, S. Chand publications Liouville's theorem in curved space-time : Gravitation § 22.6, by Misner,Thorne and Wheeler, Freeman 1. Harald J.W. Müller-Kirsten, Basics of Statistical Physics, 2nd ed., World Scientific (Singapore, 2013) 2. J. W. Gibbs, "On the Fundamental Formula of Statistical Mechanics, with Applications to Astronomy and Thermodynamics." Proceedings of the American Association for the Advancement of Science, 33, 57-58 (1884). Reproduced in The Scientific Papers of J. Willard Gibbs, Vol II (1906), pp. 16 (https://archive.org/stream/scientificpapers02gibbuoft#page/16/mode/2up). 3. Gibbs, Josiah Willard (1902). Elementary Principles in Statistical Mechanics. New York: Charles Scribner's Sons. 4. [J. Liouville, Journ. de Math., 3, 349(1838)]. 5. The theory of open quantum systems, by Breuer and Petruccione, p110 (https://books.google.com/books?id=0Yx5VzaMYm8C&pg=PA110). 6. Statistical mechanics, by Schwabl, p16 (https://books.google.com/books?id=o-HyHvRZ4VcC& pg=PA16). 7. [for a particularly clear derivation see "The Principles of Statistical Mechanics" by R.C. Tolman , Dover(1979), p48-51]. 8. http://hepweb.ucsd.edu/ph110b/110b_notes/node93.html Nearly identical to proof in this Wikipedia article. Assumes (without proof) the n-dimensional continuity equation. Retrieved 01/06/2014. 9. http://www.nyu.edu/classes/tuckerman/stat.mech/lectures/lecture_2/node2.html A rigorous proof based on how the Jacobian volume element transforms under Hamiltonian mechanics. Retrieved 01/06/2014. 10. http://www.pmaweb.caltech.edu/~mcc/Ph127/a/Lecture_3.pdf Uses the n-dimensional divergence theorem (without proof) Retrieved 01/06/2014. 11. http://www.maths.tcd.ie/~onash/liouville_pedants_files/notes.pdf Proves Liouville's theorem using the language of modern differential geometry Retrieved 10/01/2015. External links Phase space distribution functions and Liouville's theorem→http://www.nyu.edu/classes /tuckerman/stat.mech/lectures/lecture_1/node7.html Retrieved from "https://en.wikipedia.org/w/index.php?title=Liouville%27s_theorem_(Hamiltonian)& oldid=829751874" This page was last edited on 10 March 2018, at 16:25. Text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply. By using this site, you agree to the Terms of Use and Privacy Policy. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization..
Load more

Recommended publications
  • Density of Thin Film Billiard Reflection Pseudogroup in Hamiltonian Symplectomorphism Pseudogroup Alexey Glutsyuk
    Density of thin film billiard reflection pseudogroup in Hamiltonian symplectomorphism pseudogroup Alexey Glutsyuk To cite this version: Alexey Glutsyuk. Density of thin film billiard reflection pseudogroup in Hamiltonian symplectomor- phism pseudogroup. 2020. hal-03026432v2 HAL Id: hal-03026432 https://hal.archives-ouvertes.fr/hal-03026432v2 Preprint submitted on 6 Dec 2020 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. Density of thin film billiard reflection pseudogroup in Hamiltonian symplectomorphism pseudogroup Alexey Glutsyuk∗yzx December 3, 2020 Abstract Reflections from hypersurfaces act by symplectomorphisms on the space of oriented lines with respect to the canonical symplectic form. We consider an arbitrary C1-smooth hypersurface γ ⊂ Rn+1 that is either a global strictly convex closed hypersurface, or a germ of hy- persurface. We deal with the pseudogroup generated by compositional ratios of reflections from γ and of reflections from its small deforma- tions. In the case, when γ is a global convex hypersurface, we show that the latter pseudogroup is dense in the pseudogroup of Hamiltonian diffeomorphisms between subdomains of the phase cylinder: the space of oriented lines intersecting γ transversally. We prove an analogous local result in the case, when γ is a germ.
    [Show full text]
  • Lecture 1: Basic Concepts, Problems, and Examples
    LECTURE 1: BASIC CONCEPTS, PROBLEMS, AND EXAMPLES WEIMIN CHEN, UMASS, SPRING 07 In this lecture we give a general introduction to the basic concepts and some of the fundamental problems in symplectic geometry/topology, where along the way various examples are also given for the purpose of illustration. We will often give statements without proofs, which means that their proof is either beyond the scope of this course or will be treated more systematically in later lectures. 1. Symplectic Manifolds Throughout we will assume that M is a C1-smooth manifold without boundary (unless specific mention is made to the contrary). Very often, M will also be closed (i.e., compact). Definition 1.1. A symplectic structure on a smooth manifold M is a 2-form ! 2 Ω2(M), which is (1) nondegenerate, and (2) closed (i.e. d! = 0). (Recall that a 2-form ! 2 Ω2(M) is said to be nondegenerate if for every point p 2 M, !(u; v) = 0 for all u 2 TpM implies v 2 TpM equals 0.) The pair (M; !) is called a symplectic manifold. Before we discuss examples of symplectic manifolds, we shall first derive some im- mediate consequences of a symplectic structure. (1) The nondegeneracy condition on ! is equivalent to the condition that M has an even dimension 2n and the top wedge product !n ≡ ! ^ ! · · · ^ ! is nowhere vanishing on M, i.e., !n is a volume form. In particular, M must be orientable, and is canonically oriented by !n. The nondegeneracy condition is also equivalent to the condition that M is almost complex, i.e., there exists an endomorphism J of TM such that J 2 = −Id.
    [Show full text]
  • Hamiltonian Systems on Symplectic Manifolds
    This is page 147 Printer: Opaque this 5 Hamiltonian Systems on Symplectic Manifolds Now we are ready to geometrize Hamiltonian mechanics to the context of manifolds. First we make phase spaces nonlinear, and then we study Hamiltonian systems in this context. 5.1 Symplectic Manifolds Definition 5.1.1. A symplectic manifold is a pair (P, Ω) where P is a manifold and Ω is a closed (weakly) nondegenerate two-form on P .IfΩ is strongly nondegenerate, we speak of a strong symplectic manifold. As in the linear case, strong nondegeneracy of the two-form Ω means that at each z ∈ P, the bilinear form Ωz : TzP × TzP → R is nondegenerate, that is, Ωz defines an isomorphism → ∗ Ωz : TzP Tz P. Fora(weak) symplectic form, the induced map Ω : X(P ) → X∗(P )be- tween vector fields and one-forms is one-to-one, but in general is not sur- jective. We will see later that Ω is required to be closed, that is, dΩ=0, where d is the exterior derivative, so that the induced Poisson bracket sat- isfies the Jacobi identity and so that the flows of Hamiltonian vector fields will consist of canonical transformations. In coordinates zI on P in the I J finite-dimensional case, if Ω = ΩIJ dz ∧ dz (sum over all I<J), then 148 5. Hamiltonian Systems on Symplectic Manifolds dΩ=0becomes the condition ∂Ω ∂Ω ∂Ω IJ + KI + JK =0. (5.1.1) ∂zK ∂zJ ∂zI Examples (a) Symplectic Vector Spaces. If (Z, Ω) is a symplectic vector space, then it is also a symplectic manifold.
    [Show full text]
  • Fluctuation Theorem for Nonequilibrium Reactions
    Journal of Chemical Physics 120 (2004) 8898-8905 Fluctuation theorem for nonequilibrium reactions Pierre Gaspard Center for Nonlinear Phenomena and Complex Systems, Universit´eLibre de Bruxelles, Code Postal 231, Campus Plaine, B-1050 Brussels, Belgium A fluctuation theorem is derived for stochastic nonequilibrium reactions ruled by the chemical master equation. The theorem is expressed in terms of the generating and large-deviation functions characterizing the fluctuations of a quantity which measures the loss of detailed balance out of thermodynamic equilibrium. The relationship to entropy production is established and discussed. The fluctuation theorem is verified in the Schl¨oglmodel of far-from-equilibrium bistability. PACS numbers: 82.20.Uv; 05.70.Ln; 02.50.Ey I. INTRODUCTION Reacting systems can be driven out of equilibrium when in contact with several particle reservoirs or chemiostats generating fluxes of matter across the system. The fluxes are caused by the differences of chemical potentials between the chemiostats. Such an open system may be thought of as a reactor with inlets for reactants and an outlet for the products. In this case, the open system is driven out of equilibrium at the boundaries with the chemiostats. Even if detailed balance is satisfied for all the reactions in the bulk of the reactor, the nonequilibrium boundary conditions will break detailed balance for the reactions establishing the contact with the chemiostats. According to the second law of thermodynamics, the resulting nonequilibrium states are characterized by the production of entropy inside the open system. Above the nanoscale, the reactions taking place in the system can be described in terms of the numbers of molecules of the different species.
    [Show full text]
  • 1 the Basic Set-Up 2 Poisson Brackets
    MATHEMATICS 7302 (Analytical Dynamics) YEAR 2016–2017, TERM 2 HANDOUT #12: THE HAMILTONIAN APPROACH TO MECHANICS These notes are intended to be read as a supplement to the handout from Gregory, Classical Mechanics, Chapter 14. 1 The basic set-up I assume that you have already studied Gregory, Sections 14.1–14.4. The following is intended only as a succinct summary. We are considering a system whose equations of motion are written in Hamiltonian form. This means that: 1. The phase space of the system is parametrized by canonical coordinates q =(q1,...,qn) and p =(p1,...,pn). 2. We are given a Hamiltonian function H(q, p, t). 3. The dynamics of the system is given by Hamilton’s equations of motion ∂H q˙i = (1a) ∂pi ∂H p˙i = − (1b) ∂qi for i =1,...,n. In these notes we will consider some deeper aspects of Hamiltonian dynamics. 2 Poisson brackets Let us start by considering an arbitrary function f(q, p, t). Then its time evolution is given by n df ∂f ∂f ∂f = q˙ + p˙ + (2a) dt ∂q i ∂p i ∂t i=1 i i X n ∂f ∂H ∂f ∂H ∂f = − + (2b) ∂q ∂p ∂p ∂q ∂t i=1 i i i i X 1 where the first equality used the definition of total time derivative together with the chain rule, and the second equality used Hamilton’s equations of motion. The formula (2b) suggests that we make a more general definition. Let f(q, p, t) and g(q, p, t) be any two functions; we then define their Poisson bracket {f,g} to be n def ∂f ∂g ∂f ∂g {f,g} = − .
    [Show full text]
  • Hamilton's Equations. Conservation Laws. Reduction. Poisson Brackets
    Hamiltonian Formalism: Hamilton's equations. Conservation laws. Reduction. Poisson Brackets. Physics 6010, Fall 2016 Hamiltonian Formalism: Hamilton's equations. Conservation laws. Reduction. Poisson Brackets. Relevant Sections in Text: 8.1 { 8.3, 9.5 The Hamiltonian Formalism We now return to formal developments: a study of the Hamiltonian formulation of mechanics. This formulation of mechanics is in many ways more powerful than the La- grangian formulation. Among the advantages of Hamiltonian mechanics we note that: it leads to powerful geometric techniques for studying the properties of dynamical systems, it allows for a beautiful expression of the relation between symmetries and conservation laws, and it leads to many structures that can be viewed as the macroscopic (\classical") imprint of quantum mechanics. Although the Hamiltonian form of mechanics is logically independent of the Lagrangian formulation, it is convenient and instructive to introduce the Hamiltonian formalism via transition from the Lagrangian formalism, since we have already developed the latter. (Later I will indicate how to give an ab initio development of the Hamiltonian formal- ism.) The most basic change we encounter when passing from Lagrangian to Hamiltonian methods is that the \arena" we use to describe the equations of motion is no longer the configuration space, or even the velocity phase space, but rather the momentum phase space. Recall that the Lagrangian formalism is defined once one specifies a configuration space Q (coordinates qi) and then the velocity phase space Ω (coordinates (qi; q_i)). The mechanical system is defined by a choice of Lagrangian, L, which is a function on Ω (and possible the time): L = L(qi; q_i; t): Curves in the configuration space Q { or in the velocity phase space Ω { satisfying the Euler-Lagrange (EL) equations, @L d @L − = 0; @qi dt @q_i define the dynamical behavior of the system.
    [Show full text]
  • Poisson Structures and Integrability
    Poisson Structures and Integrability Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver ∼ Hamiltonian Systems M — phase space; dim M = 2n Local coordinates: z = (p, q) = (p1, . , pn, q1, . , qn) Canonical Hamiltonian system: dz O I = J H J = − dt ∇ ! I O " Equivalently: dpi ∂H dqi ∂H = = dt − ∂qi dt ∂pi Lagrange Bracket (1808): n ∂pi ∂qi ∂qi ∂pi [ u , v ] = ∂u ∂v − ∂u ∂v i#= 1 (Canonical) Poisson Bracket (1809): n ∂u ∂v ∂u ∂v u , v = { } ∂pi ∂qi − ∂qi ∂pi i#= 1 Given functions u , . , u , the (2n) (2n) matrices with 1 2n × respective entries [ u , u ] u , u i, j = 1, . , 2n i j { i j } are mutually inverse. Canonical Poisson Bracket n ∂F ∂H ∂F ∂H F, H = F T J H = { } ∇ ∇ ∂pi ∂qi − ∂qi ∂pi i#= 1 = Poisson (1809) ⇒ Hamiltonian flow: dz = z, H = J H dt { } ∇ = Hamilton (1834) ⇒ First integral: dF F, H = 0 = 0 F (z(t)) = const. { } ⇐⇒ dt ⇐⇒ Poisson Brackets , : C∞(M, R) C∞(M, R) C∞(M, R) { · · } × −→ Bilinear: a F + b G, H = a F, H + b G, H { } { } { } F, a G + b H = a F, G + b F, H { } { } { } Skew Symmetric: F, H = H, F { } − { } Jacobi Identity: F, G, H + H, F, G + G, H, F = 0 { { } } { { } } { { } } Derivation: F, G H = F, G H + G F, H { } { } { } F, G, H C∞(M, R), a, b R. ∈ ∈ In coordinates z = (z1, . , zm), F, H = F T J(z) H { } ∇ ∇ where J(z)T = J(z) is a skew symmetric matrix. − The Jacobi identity imposes a system of quadratically nonlinear partial differential equations on its entries: ∂J jk ∂J ki ∂J ij J il + J jl + J kl = 0 ! ∂zl ∂zl ∂zl " #l Given a Poisson structure, the Hamiltonian flow corresponding to H C∞(M, R) is the system of ordinary differential equati∈ons dz = z, H = J(z) H dt { } ∇ Lie’s Theory of Function Groups Used for integration of partial differential equations: F , F = G (F , .
    [Show full text]
  • Time-Dependent Hamiltonian Mechanics on a Locally Conformal
    Time-dependent Hamiltonian mechanics on a locally conformal symplectic manifold Orlando Ragnisco†, Cristina Sardón∗, Marcin Zając∗∗ Department of Mathematics and Physics†, Universita degli studi Roma Tre, Largo S. Leonardo Murialdo, 1, 00146 , Rome, Italy. ragnisco@fis.uniroma3.it Department of Applied Mathematics∗, Universidad Polit´ecnica de Madrid. C/ Jos´eGuti´errez Abascal, 2, 28006, Madrid. Spain. [email protected] Department of Mathematical Methods in Physics∗∗, Faculty of Physics. University of Warsaw, ul. Pasteura 5, 02-093 Warsaw, Poland. [email protected] Abstract In this paper we aim at presenting a concise but also comprehensive study of time-dependent (t- dependent) Hamiltonian dynamics on a locally conformal symplectic (lcs) manifold. We present a generalized geometric theory of canonical transformations and formulate a time-dependent geometric Hamilton-Jacobi theory on lcs manifolds. In contrast to previous papers concerning locally conformal symplectic manifolds, here the introduction of the time dependency brings out interesting geometric properties, as it is the introduction of contact geometry in locally symplectic patches. To conclude, we show examples of the applications of our formalism, in particular, we present systems of differential equations with time-dependent parameters, which admit different physical interpretations as we shall point out. arXiv:2104.02636v1 [math-ph] 6 Apr 2021 Contents 1 Introduction 2 2 Fundamentals on time-dependent Hamiltonian systems 5 2.1 Time-dependentsystems. ....... 5 2.2 Canonicaltransformations . ......... 6 2.3 Generating functions of canonical transformations . ................ 8 1 3 Geometry of locally conformal symplectic manifolds 8 3.1 Basics on locally conformal symplectic manifolds . ............... 8 3.2 Locally conformal symplectic structures on cotangent bundles............
    [Show full text]
  • Hamilton Description of Plasmas and Other Models of Matter: Structure and Applications I
    Hamilton description of plasmas and other models of matter: structure and applications I P. J. Morrison Department of Physics and Institute for Fusion Studies The University of Texas at Austin [email protected] http://www.ph.utexas.edu/ morrison/ ∼ MSRI August 20, 2018 Survey Hamiltonian systems that describe matter: particles, fluids, plasmas, e.g., magnetofluids, kinetic theories, . Hamilton description of plasmas and other models of matter: structure and applications I P. J. Morrison Department of Physics and Institute for Fusion Studies The University of Texas at Austin [email protected] http://www.ph.utexas.edu/ morrison/ ∼ MSRI August 20, 2018 Survey Hamiltonian systems that describe matter: particles, fluids, plasmas, e.g., magnetofluids, kinetic theories, . \Hamiltonian systems .... are the basis of physics." M. Gutzwiller Coarse Outline William Rowan Hamilton (August 4, 1805 - September 2, 1865) I. Today: Finite-dimensional systems. Particles etc. ODEs II. Tomorrow: Infinite-dimensional systems. Hamiltonian field theories. PDEs Why Hamiltonian? Beauty, Teleology, . : Still a good reason! • 20th Century framework for physics: Fluids, Plasmas, etc. too. • Symmetries and Conservation Laws: energy-momentum . • Generality: do one problem do all. • ) Approximation: perturbation theory, averaging, . 1 function. • Stability: built-in principle, Lagrange-Dirichlet, δW ,.... • Beacon: -dim KAM theorem? Krein with Cont. Spec.? • 9 1 Numerical Methods: structure preserving algorithms: • symplectic, conservative, Poisson integrators,
    [Show full text]
  • Symplectic Topology Math 705 Notes by Patrick Lei, Spring 2020
    Symplectic Topology Math 705 Notes by Patrick Lei, Spring 2020 Lectures by R. Inanç˙ Baykur University of Massachusetts Amherst Disclaimer These notes were taken during lecture using the vimtex package of the editor neovim. Any errors are mine and not the instructor’s. In addition, my notes are picture-free (but will include commutative diagrams) and are a mix of my mathematical style (omit lengthy computations, use category theory) and that of the instructor. If you find any errors, please contact me at [email protected]. Contents Contents • 2 1 January 21 • 5 1.1 Course Description • 5 1.2 Organization • 5 1.2.1 Notational conventions•5 1.3 Basic Notions • 5 1.4 Symplectic Linear Algebra • 6 2 January 23 • 8 2.1 More Basic Linear Algebra • 8 2.2 Compatible Complex Structures and Inner Products • 9 3 January 28 • 10 3.1 A Big Theorem • 10 3.2 More Compatibility • 11 4 January 30 • 13 4.1 Homework Exercises • 13 4.2 Subspaces of Symplectic Vector Spaces • 14 5 February 4 • 16 5.1 Linear Algebra, Conclusion • 16 5.2 Symplectic Vector Bundles • 16 6 February 6 • 18 6.1 Proof of Theorem 5.11 • 18 6.2 Vector Bundles, Continued • 18 6.3 Compatible Triples on Manifolds • 19 7 February 11 • 21 7.1 Obtaining Compatible Triples • 21 7.2 Complex Structures • 21 8 February 13 • 23 2 3 8.1 Kähler Forms Continued • 23 8.2 Some Algebraic Geometry • 24 8.3 Stein Manifolds • 25 9 February 20 • 26 9.1 Stein Manifolds Continued • 26 9.2 Topological Properties of Kähler Manifolds • 26 9.3 Complex and Symplectic Structures on 4-Manifolds • 27 10 February 25
    [Show full text]
  • Aspects of Symplectic Dynamics and Topology: Gauge Anomalies, Chiral Kinetic Theory and Transfer Matrices
    ASPECTS OF SYMPLECTIC DYNAMICS AND TOPOLOGY: GAUGE ANOMALIES, CHIRAL KINETIC THEORY AND TRANSFER MATRICES BY VATSAL DWIVEDI DISSERTATION Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Physics in the Graduate College of the University of Illinois at Urbana-Champaign, 2017 Urbana, Illinois Doctoral Committee: Associate Professor Shinsei Ryu, Chair Professor Michael Stone, Director of Research Professor James N. Eckstein Professor Jared Bronski Abstract This thesis presents some work on two quite disparate kinds of dynamical systems described by Hamiltonian dynamics. The first part describes a computation of gauge anomalies and their macroscopic effects in a semiclassical picture. The geometric (symplectic) formulation of classical mechanics is used to describe the dynamics of Weyl fermions in even spacetime dimensions, the only quantum input to the symplectic form being the Berry curvature that encodes the spin-momentum locking. The (semi-)classical equations of motion are used in a kinetic theory setup to compute the gauge and singlet currents, whose conservation laws reproduce the nonabelian gauge and singlet anomalies. Anomalous contributions to the hydrodynamic currents for a gas of Weyl fermions at a finite temperature and chemical potential are also calculated, and are in agreement with similar results in literature which were obtained using thermodynamic and/or quantum field theoretical arguments. The second part describes a generalized transfer matrix formalism for noninteracting tight-binding models. The formalism is used to study the bulk and edge spectra, both of which are encoded in the spectrum of the transfer matrices, for some of the common tight-binding models for noninteracting electronic topological phases of matter.
    [Show full text]
  • Constraining Conformal Field Theories with a Higher Spin Symmetry
    PUPT-2399 Constraining conformal field theories with a higher spin symmetry Juan Maldacenaa and Alexander Zhiboedovb aSchool of Natural Sciences, Institute for Advanced Study Princeton, NJ, USA bDepartment of Physics, Princeton University Princeton, NJ, USA We study the constraints imposed by the existence of a single higher spin conserved current on a three dimensional conformal field theory. A single higher spin conserved current implies the existence of an infinite number of higher spin conserved currents. The correlation functions of the stress tensor and the conserved currents are then shown to be equal to those of a free field theory. Namely a theory of N free bosons or free fermions. arXiv:1112.1016v1 [hep-th] 5 Dec 2011 This is an extension of the Coleman-Mandula theorem to CFT’s, which do not have a conventional S matrix. We also briefly discuss the case where the higher spin symmetries are “slightly” broken. Contents 1.Introduction ................................. 2 1.1. Organization of the paper . 4 2. Generalities about higher spin currents . 5 1 3. Removing operators in the twist gap, 2 <τ< 1 .................. 7 3.1. Action of the charges on twist one fields . 9 4. Basic facts about three point functions . 10 4.1. General expression for three point functions . 11 5. Argument using bilocal operators . 12 5.1. Light cone limits of correlators of conserved currents . 12 5.2.Gettinganinfinitenumberofcurrents . 15 5.3. Definition of bilocal operators . 17 5.4. Constraining the action of the higher spin charges . 19 5.5. Quantization of N˜: the case of bosons . 24 5.6.
    [Show full text]