Advanced Quantum Field Theory Chapter 1 Canonical Quantization of Free Fields

Total Page:16

File Type:pdf, Size:1020Kb

Advanced Quantum Field Theory Chapter 1 Canonical Quantization of Free Fields Advanced Quantum Field Theory Chapter 1 Canonical Quantization of Free Fields Jorge C. Rom˜ao Instituto Superior T´ecnico, Departamento de F´ısica & CFTP A. Rovisco Pais 1, 1049-001 Lisboa, Portugal Fall 2013 Lecture 1 Canonical Quantization Scalar fields Lecture 2 Dirac field Electromagnetic field Discrete Symmetries Lecture 1 Jorge C. Rom˜ao TCA-2012 – 2 Canonical quantization for particles ❐ Let us start with a system that consists of one particle with just one degree Lecture 1 of freedom, like a particle moving in one space dimension. The classical Canonical Quantization • Quantization in QM equations of motion are obtained from the action, • Quantization in FT • Symmetries t2 Scalar fields S = dtL(q, q˙) . Lecture 2 Zt1 Dirac field Electromagnetic field ❐ The condition for the minimization of the action, δS = 0, gives the Discrete Symmetries Euler-Lagrange equations, d ∂L ∂L = 0 dt ∂q˙ − ∂q which are the equations of motion. ❐ Before proceeding to the quantization, it is convenient to change to the Hamiltonian formulation. We start by defining the conjugate momentum p, to the coordinate q, by ∂L p = ∂q˙ Jorge C. Rom˜ao TCA-2012 – 3 Quantization:The Hamiltonian and Poisson Brackets ❐ Then we introduce the Hamiltonian using the Legendre transform Lecture 1 Canonical Quantization • Quantization in QM H(p, q) = pq˙ L(q, q˙) • Quantization in FT − • Symmetries ❐ Scalar fields In terms of H the equations of motion are, Lecture 2 Dirac field ∂H H, q PB = =q ˙ Electromagnetic field { } ∂p Discrete Symmetries ∂H H,p = =p ˙ { }PB − ∂q ❐ The Poisson Bracket (PB) is defined by ∂f ∂g ∂f ∂g f(p, q), g(p, q) = { }PB ∂p ∂q − ∂q ∂p obviously satisfying p, q = 1 . { }PB Jorge C. Rom˜ao TCA-2012 – 4 Quantization: The Schr¨odinger picture ❐ The quantization is done by promoting p and q to hermitian operators that Lecture 1 will satisfy the commutation relation (¯h = 1), Canonical Quantization • Quantization in QM • Quantization in FT [p, q] = i • Symmetries − Scalar fields ∂ Lecture 2 which is trivially satisfied in the coordinate representation where p = i . Dirac field − ∂q Electromagnetic field ❐ The dynamics is given by the Schr¨odinger equation Discrete Symmetries ∂ H(p, q) Ψ (t) = i Ψ (t) | S i ∂t | S i ❐ If we know the state of the system in t = 0, Ψ (0) , then the previous | S i equation completely determines the state Ψs(t) and therefore the value of any physical observable. | i ❐ This description, where the states are time dependent and the operators, on the contrary, do not depend on time, is known as the Schr¨odinger representation. Jorge C. Rom˜ao TCA-2012 – 5 Quantization: The Heisenberg picture ❐ There exists and alternative description, where the time dependence goes to Lecture 1 the operators and the states are time independent. This is called the Canonical Quantization • Quantization in QM Heisenberg representation. • Quantization in FT • Symmetries ❐ To define this representation, we formally integrate to obtain Scalar fields Lecture 2 −iHt −iHt ΨS(t) = e ΨS(0) = e ΨH . Dirac field | i | i | i Electromagnetic field Discrete Symmetries ❐ The state in the Heisenberg representation, ΨH , is defined as the state in the Schr¨odinger representation for t = 0. The| unitaryi operator e−iHt allows us to go from one representation to the other. ❐ If we define the operators in the Heisenberg representation as, iHt −iHt OH (t) = e OSe then the matrix elements are representation independent. In fact, Ψ (t) O Ψ (t) = Ψ (0) eiHtO e−iHt Ψ (0) h S | S| S i S | S | S = ΨH OH (t) ΨH . h | | i Jorge C. Rom˜ao TCA-2012 – 6 Quantization: The Heisenberg picture ❐ The time evolution of the operator OH (t) is then given by the equation Lecture 1 Canonical Quantization • Quantization in QM dOH (t) ∂OH = i[H,OH (t)] + • Quantization in FT dt ∂t • Symmetries Scalar fields The last term is only present if OS explicitly depends on time. Lecture 2 Dirac field ❐ In the non-relativistic theory the difference between the two representations Electromagnetic field is very small if we work with energy eigenfunctions. For the relativistic Discrete Symmetries theory, the Heisenberg representation is more convenient, because Lorentz covariance is more easily handled in the Heisenberg representation, because time and spatial coordinates are together in the field operators. ❐ In the Heisenberg representation the fundamental commutation relation is now [p(t), q(t)] = i − ❐ The dynamics is now given by dp(t) dq(t) = i[H,p(t)] ; = i[H, q(t)] dt dt Jorge C. Rom˜ao TCA-2012 – 7 Quantization: The Heisenberg picture ❐ Notice that in this representation the fundamental equations are similar to Lecture 1 the classical equations with the substitution, Canonical Quantization • Quantization in QM • Quantization in FT , P B = i[, ] • Symmetries { } ⇒ − Scalar fields Lecture 2 ❐ In the case of a system with n degrees of freedom the generalization is Dirac field Electromagnetic field [pi(t), qj(t)] = iδij Discrete Symmetries − [pi(t),pj(t)]=0 [qi(t), qj(t)]=0 and p˙i(t) = i[H,pi(t)];q ˙i(t) = i[H, qi(t)] ❐ Because it is an important example let us look at the harmonic oscillator. The Hamiltonian is 1 H = (p2 + ω2q2) 2 0 Jorge C. Rom˜ao TCA-2012 – 8 Harmonic Oscillator ❐ The equations of motion are Lecture 1 Canonical Quantization 2 2 • Quantization in QM p˙ = i[H,p] = ω0q, q˙ = i[H, q] = p = q¨ + ω0q = 0 . • Quantization in FT − ⇒ • Symmetries ❐ It is convenient to introduce the operators Scalar fields Lecture 2 1 † 1 Dirac field a = (ω0q + ip) ; a = (ω0q ip) Electromagnetic field √2ω0 √2ω0 − † Discrete Symmetries ❐ The equations of motion for a and a are very simple: a˙(t) = iω a(t) e a˙ †(t) = iω a†(t) . − 0 0 They have the solution −iω0t † † iω0t a(t) = a0e ; a (t) = a0e ❐ They obey the commutation relations † † [a,a ]=[a0,a0] = 1 † † † † [a,a]=[a0,a0] = 0 , [a ,a ]=[a0,a0] = 0 Jorge C. Rom˜ao TCA-2012 – 9 Harmonic Oscillator Lecture 1 ❐ In terms of a,a† the Hamiltonian reads Canonical Quantization • Quantization in QM • Quantization in FT 1 † †) 1 † † • Symmetries H = ω (a a + aa = ω (a a + a a ) 2 0 2 0 0 0 0 0 Scalar fields Lecture 2 † 1 =ω0a0a0 + ω0 Dirac field 2 Electromagnetic field Discrete Symmetries where we have used [H,a ] = ω a , [H,a†] = ω a† 0 − 0 0 0 0 0 ❐ † We see that a0 decreases the energy of a state by the quantity ω0 while a0 increases the energy by the same amount. ❐ As the Hamiltonian is a sum of squares the eigenvalues must be positive. Then it should exist a ground state (state with the lowest energy), 0 , defined by the condition | i a 0 = 0 0 | i Jorge C. Rom˜ao TCA-2012 – 10 Harmonic Oscillator Lecture 1 n ❐ † Canonical Quantization The state n is obtained by the application of a0 . If we define • Quantization in QM | i • Quantization in FT • Symmetries 1 n n = a† 0 Scalar fields | i √n! 0 | i Lecture 2 Dirac field then Electromagnetic field Discrete Symmetries m n = δ h | i mn and 1 H n = n + ω n | i 2 0 | i ❐ † We will see that, in the quantum field theory, the equivalent of a0 and a0 are the creation and annihilation operators. Jorge C. Rom˜ao TCA-2012 – 11 Canonical quantization for fields ❐ Let us move now to field theory, that is, systems with an infinite number of Lecture 1 degrees of freedom. To specify the state of the system, we must give for all Canonical Quantization • Quantization in QM space-time points one number (more if we are not dealing with a scalar field) • Quantization in FT • Symmetries ❐ The equivalent of the coordinates qi(t) and velocities, q˙i, are here the fields Scalar fields ϕ(~x, t) and their derivatives, ∂µϕ(~x, t). The action is now Lecture 2 Dirac field Electromagnetic field S = d4x (ϕ, ∂µϕ) Discrete Symmetries L Z where the Lagrangian density , is a functional of the fields ϕ and their derivatives ∂µϕ. L ❐ Let us consider closed systems for which does not depend explicitly on the coordinates xµ (energy and linear momentumL are therefore conserved). ❐ For simplicity let us consider systems described by n scalar fields ϕr(x),r = 1, 2, n. The stationarity of the action, δS = 0, implies the equations of motion,··· the so-called Euler-Lagrange equations, ∂ ∂ ∂µ L L = 0 r = 1, n ∂(∂µϕr) − ∂ϕr ··· Jorge C. Rom˜ao TCA-2012 – 12 Canonical quantization for fields ❐ For the case of real scalar fields with no interactions that we are considering, Lecture 1 we can easily see that the Lagrangian density should be, Canonical Quantization • Quantization in QM • Quantization in FT n • 1 µ 1 2 Symmetries = ∂ ϕr∂µϕr m ϕrϕr Scalar fields L 2 − 2 r=1 Lecture 2 X Dirac field in order to obtain the Klein-Gordon equations as the equations of motion, Electromagnetic field Discrete Symmetries ( + m2)ϕ =0 ; r = 1, n ⊔⊓ r ··· ❐ To define the canonical quantization rules we have to change to the Hamiltonian formalism, in particular we need to define the conjugate momentum π(x) for the field ϕ(x). ❐ To make an analogy with systems with n degrees of freedom, we divide the 3-dimensional space in cells with elementary volume ∆Vi. Then we introduce the coordinate ϕi(t) as the average of ϕ(~x, t) in the volume element ∆Vi, that is, 1 ϕ (t) d3xϕ(~x, t) i ≡ ∆V i Z(∆Vi) Jorge C. Rom˜ao TCA-2012 – 13 Canonical quantization for fields ❐ Also Lecture 1 1 3 Canonical Quantization ϕ˙ i(t) d xϕ˙(~x, t) .
Recommended publications
  • An Introduction to Quantum Field Theory
    AN INTRODUCTION TO QUANTUM FIELD THEORY By Dr M Dasgupta University of Manchester Lecture presented at the School for Experimental High Energy Physics Students Somerville College, Oxford, September 2009 - 1 - - 2 - Contents 0 Prologue....................................................................................................... 5 1 Introduction ................................................................................................ 6 1.1 Lagrangian formalism in classical mechanics......................................... 6 1.2 Quantum mechanics................................................................................... 8 1.3 The Schrödinger picture........................................................................... 10 1.4 The Heisenberg picture............................................................................ 11 1.5 The quantum mechanical harmonic oscillator ..................................... 12 Problems .............................................................................................................. 13 2 Classical Field Theory............................................................................. 14 2.1 From N-point mechanics to field theory ............................................... 14 2.2 Relativistic field theory ............................................................................ 15 2.3 Action for a scalar field ............................................................................ 15 2.4 Plane wave solution to the Klein-Gordon equation ...........................
    [Show full text]
  • Arxiv:Cond-Mat/0203258V1 [Cond-Mat.Str-El] 12 Mar 2002 AS 71.10.-W,71.27.+A PACS: Pnpolmi Oi Tt Hsc.Iscoeconnection Close Its High- of Physics
    Large-N expansion based on the Hubbard-operator path integral representation and its application to the t J model − Adriana Foussats and Andr´es Greco Facultad de Ciencias Exactas Ingenier´ıa y Agrimensura and Instituto de F´ısica Rosario (UNR-CONICET). Av.Pellegrini 250-2000 Rosario-Argentina. (October 29, 2018) In the present work we have developed a large-N expansion for the t − J model based on the path integral formulation for Hubbard-operators. Our large-N expansion formulation contains diagram- matic rules, in which the propagators and vertex are written in term of Hubbard operators. Using our large-N formulation we have calculated, for J = 0, the renormalized O(1/N) boson propagator. We also have calculated the spin-spin and charge-charge correlation functions to leading order 1/N. We have compared our diagram technique and results with the existing ones in the literature. PACS: 71.10.-w,71.27.+a I. INTRODUCTION this constrained theory leads to the commutation rules of the Hubbard-operators. Next, by using path-integral The role of electronic correlations is an important and techniques, the correlation functional and effective La- open problem in solid state physics. Its close connection grangian were constructed. 1 with the phenomena of high-Tc superconductivity makes In Ref.[ 11], we found a particular family of constrained this problem relevant in present days. Lagrangians and showed that the corresponding path- One of the most popular models in the context of high- integral can be mapped to that of the slave-boson rep- 13,5 Tc superconductivity is the t J model.
    [Show full text]
  • Stochastic Quantization of Fermionic Theories: Renormalization of the Massive Thirring Model
    Instituto de Física Teórica IFT Universidade Estadual Paulista October/92 IFT-R043/92 Stochastic Quantization of Fermionic Theories: Renormalization of the Massive Thirring Model J.C.Brunelli Instituto de Física Teórica Universidade Estadual Paulista Rua Pamplona, 145 01405-900 - São Paulo, S.P. Brazil 'This work was supported by CNPq. Instituto de Física Teórica Universidade Estadual Paulista Rua Pamplona, 145 01405 - Sao Paulo, S.P. Brazil Telephone: 55 (11) 288-5643 Telefax: 55(11)36-3449 Telex: 55 (11) 31870 UJMFBR Electronic Address: [email protected] 47553::LIBRARY Stochastic Quantization of Fermionic Theories: 1. Introduction Renormalization of the Massive Thimng Model' The stochastic quantization method of Parisi-Wu1 (for a review see Ref. 2) when applied to fermionic theories usually requires the use of a Langevin system modified by the introduction of a kernel3 J. C. Brunelli (1.1a) InBtituto de Física Teórica (1.16) Universidade Estadual Paulista Rua Pamplona, 145 01405 - São Paulo - SP where BRAZIL l = 2Kah(x,x )8(t - ?). (1.2) Here tj)1 tp and the Gaussian noises rj, rj are independent Grassmann variables. K(xty) is the aforementioned kernel which ensures the proper equilibrium limit configuration for Accepted for publication in the International Journal of Modern Physics A. mas si ess theories. The specific form of the kernel is quite arbitrary but in what follows, we use K(x,y) = Sn(x-y)(-iX + ™)- Abstract In a number of cases, it has been verified that the stochastic quantization procedure does not bring new anomalies and that the equilibrium limit correctly reproduces the basic (jJsfsini g the Langevin approach for stochastic processes we study the renormalizability properties of the models considered4.
    [Show full text]
  • The Quaternionic Commutator Bracket and Its Implications
    S S symmetry Article The Quaternionic Commutator Bracket and Its Implications Arbab I. Arbab 1,† and Mudhahir Al Ajmi 2,* 1 Department of Physics, Faculty of Science, University of Khartoum, P.O. Box 321, Khartoum 11115, Sudan; [email protected] 2 Department of Physics, College of Science, Sultan Qaboos University, P.O. Box 36, P.C. 123, Muscat 999046, Sultanate of Oman * Correspondence: [email protected] † Current address: Department of Physics, College of Science, Qassim University, Qassim 51452, Saudi Arabia. Received: 11 August 2018; Accepted: 9 October 2018; Published: 16 October 2018 Abstract: A quaternionic commutator bracket for position and momentum shows that the i ~ quaternionic wave function, viz. ye = ( c y0 , y), represents a state of a particle with orbital angular momentum, L = 3 h¯ , resulting from the internal structure of the particle. This angular momentum can be attributed to spin of the particle. The vector y~ , points in an opposite direction of~L. When a charged particle is placed in an electromagnetic field, the interaction energy reveals that the magnetic moments interact with the electric and magnetic fields giving rise to terms similar to Aharonov–Bohm and Aharonov–Casher effects. Keywords: commutator bracket; quaternions; magnetic moments; angular momentum; quantum mechanics 1. Introduction In quantum mechanics, particles are described by relativistic or non-relativistic wave equations. Each equation associates a spin state of the particle to its wave equation. For instance, the Schrödinger equation applies to the spinless particles in the non-relativistic domain, while the appropriate relativistic equation for spin-0 particles is the Klein–Gordon equation.
    [Show full text]
  • Commutator Groups of Monomial Groups
    Pacific Journal of Mathematics COMMUTATOR GROUPS OF MONOMIAL GROUPS CALVIN VIRGIL HOLMES Vol. 10, No. 4 December 1960 COMMUTATOR GROUPS OF MONOMIAL GROUPS C. V. HOLMES This paper is a study of the commutator groups of certain general- ized permutation groups called complete monomial groups. In [2] Ore has shown that every element of the infinite permutation group is itsself a commutator of this group. Here it is shown that every element of the infinite complete monomial group is the product of at most two commutators of the infinite complete monomial group. The commutator subgroup of the infinite complete monomial group is itself, as is the case in the infinite symmetric group, [2]. The derived series is determined for a wide class of monomial groups. Let H be an arbitrary group, and S a set of order B, B ^ d, cZ = ^0. Then one obtains a monomial group after the manner described in [1], A monomial substitution over H is a linear transformation mapping each element x of S in a one-to-one manner onto some element of S multi- plied by an element h of H, the multiplication being formal. The ele- ment h is termed a factor of the substitution. If substitution u maps xi into hjXj, while substitution v maps xό into htxt, then the substitution uv maps xt into hόhtxt. A substitution all of whose factor are the iden- tity β of H is called a permutation and the set of all permutations is a subgroup which is isomorphic to the symmetric group on B objects.
    [Show full text]
  • Commutator Theory for Congruence Modular Varieties Ralph Freese
    Commutator Theory for Congruence Modular Varieties Ralph Freese and Ralph McKenzie Contents Introduction 1 Chapter 1. The Commutator in Groups and Rings 7 Exercise 10 Chapter 2. Universal Algebra 11 Exercises 19 Chapter 3. Several Commutators 21 Exercises 22 Chapter 4. One Commutator in Modular Varieties;Its Basic Properties 25 Exercises 33 Chapter 5. The Fundamental Theorem on Abelian Algebras 35 Exercises 43 Chapter 6. Permutability and a Characterization ofModular Varieties 47 Exercises 49 Chapter 7. The Center and Nilpotent Algebras 53 Exercises 57 Chapter 8. Congruence Identities 59 Exercises 68 Chapter 9. Rings Associated With Modular Varieties: Abelian Varieties 71 Exercises 87 Chapter 10. Structure and Representationin Modular Varieties 89 1. Birkhoff-J´onsson Type Theorems For Modular Varieties 89 2. Subdirectly Irreducible Algebras inFinitely Generated Varieties 92 3. Residually Small Varieties 97 4. Chief Factors and Simple Algebras 102 Exercises 103 Chapter 11. Joins and Products of Modular Varieties 105 Chapter 12. Strictly Simple Algebras 109 iii iv CONTENTS Chapter 13. Mal’cev Conditions for Lattice Equations 115 Exercises 120 Chapter 14. A Finite Basis Result 121 Chapter 15. Pure Lattice Congruence Identities 135 1. The Arguesian Equation 139 Related Literature 141 Solutions To The Exercises 147 Chapter 1 147 Chapter 2 147 Chapter 4 148 Chapter 5 150 Chapter 6 152 Chapter 7 156 Chapter 8 158 Chapter 9 161 Chapter 10 165 Chapter 13 165 Bibliography 169 Index 173 Introduction In the theory of groups, the important concepts of Abelian group, solvable group, nilpotent group, the center of a group and centraliz- ers, are all defined from the binary operation [x, y]= x−1y−1xy.
    [Show full text]
  • Commutator Formulas
    Commutator formulas Jack Schmidt This expository note mentions some interesting formulas using commutators. It touches on Hall's collection process and the associated Hall polynomials. It gives an alternative expression that is linear in the number of commutators and shows how to find such a formula using staircase diagrams. It also shows the shortest possible such expression. Future versions could touch on isoperimetric inequalities in geometric group theory, powers of commutators and Culler's identity as well as its effect on Schur's inequality between [G : Z(G)] and jG0j. 1 Powers of products versus products of powers In an abelian group one has (xy)n = xnyn so in a general group one has (xy)n = n n x y dn(x; y) for some product of commutators dn(x; y). This section explores formulas for dn(x; y). 1.1 A nice formula in a special case is given by certain binomial coefficients: n (n) (n) (n) (n) (n) (n) (xy) = x 1 y 1 [y; x] 2 [[y; x]; x] 3 [[[y; x]; x]; x] 4 ··· [y; n−1x] n The special case is G0 is abelian and commutes with y. The commutators involved are built inductively: From y and x, one gets [y; x]. From [y; x] and x, one gets [[y; x]; x]. From [y; n−2x] and x, one gets [y; n−1; x]. In general, one would also need to consider [y; x] and [[y; x]; x], but the special case assumes commutators commute, so [[y; x]; [[y; x]; x]] = 1. In general, one would also need to consider [y; x] and y, but the special case assumes commutators commute with y, so [[y; x]; y] = 1.
    [Show full text]
  • Second Quantization
    Chapter 1 Second Quantization 1.1 Creation and Annihilation Operators in Quan- tum Mechanics We will begin with a quick review of creation and annihilation operators in the non-relativistic linear harmonic oscillator. Let a and a† be two operators acting on an abstract Hilbert space of states, and satisfying the commutation relation a,a† = 1 (1.1) where by “1” we mean the identity operator of this Hilbert space. The operators a and a† are not self-adjoint but are the adjoint of each other. Let α be a state which we will take to be an eigenvector of the Hermitian operators| ia†a with eigenvalue α which is a real number, a†a α = α α (1.2) | i | i Hence, α = α a†a α = a α 2 0 (1.3) h | | i k | ik ≥ where we used the fundamental axiom of Quantum Mechanics that the norm of all states in the physical Hilbert space is positive. As a result, the eigenvalues α of the eigenstates of a†a must be non-negative real numbers. Furthermore, since for all operators A, B and C [AB, C]= A [B, C] + [A, C] B (1.4) we get a†a,a = a (1.5) − † † † a a,a = a (1.6) 1 2 CHAPTER 1. SECOND QUANTIZATION i.e., a and a† are “eigen-operators” of a†a. Hence, a†a a = a a†a 1 (1.7) − † † † † a a a = a a a +1 (1.8) Consequently we find a†a a α = a a†a 1 α = (α 1) a α (1.9) | i − | i − | i Hence the state aα is an eigenstate of a†a with eigenvalue α 1, provided a α = 0.
    [Show full text]
  • Canonical Quantization of the Self-Dual Model Coupled to Fermions∗
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by CERN Document Server Canonical Quantization of the Self-Dual Model coupled to Fermions∗ H. O. Girotti Instituto de F´ısica, Universidade Federal do Rio Grande do Sul Caixa Postal 15051, 91501-970 - Porto Alegre, RS, Brazil. (March 1998) Abstract This paper is dedicated to formulate the interaction picture dynamics of the self-dual field minimally coupled to fermions. To make this possible, we start by quantizing the free self-dual model by means of the Dirac bracket quantization procedure. We obtain, as result, that the free self-dual model is a relativistically invariant quantum field theory whose excitations are identical to the physical (gauge invariant) excitations of the free Maxwell-Chern-Simons theory. The model describing the interaction of the self-dual field minimally cou- pled to fermions is also quantized through the Dirac-bracket quantization procedure. One of the self-dual field components is found not to commute, at equal times, with the fermionic fields. Hence, the formulation of the in- teraction picture dynamics is only possible after the elimination of the just mentioned component. This procedure brings, in turns, two new interac- tions terms, which are local in space and time while non-renormalizable by power counting. Relativistic invariance is tested in connection with the elas- tic fermion-fermion scattering amplitude. We prove that all the non-covariant pieces in the interaction Hamiltonian are equivalent to the covariant minimal interaction of the self-dual field with the fermions. The high energy behavior of the self-dual field propagator corroborates that the coupled theory is non- renormalizable.
    [Show full text]
  • General Quantization
    General quantization David Ritz Finkelstein∗ October 29, 2018 Abstract Segal’s hypothesis that physical theories drift toward simple groups follows from a general quantum principle and suggests a general quantization process. I general- quantize the scalar meson field in Minkowski space-time to illustrate the process. The result is a finite quantum field theory over a quantum space-time with higher symmetry than the singular theory. Multiple quantification connects the levels of the theory. 1 Quantization as regularization Quantum theory began with ad hoc regularization prescriptions of Planck and Bohr to fit the weird behavior of the electromagnetic field and the nuclear atom and to handle infinities that blocked earlier theories. In 1924 Heisenberg discovered that one small change in algebra did both naturally. In the early 1930’s he suggested extending his algebraic method to space-time, to regularize field theory, inspiring the pioneering quantum space-time of Snyder [43]. Dirac’s historic quantization program for gravity also eliminated absolute space-time points from the quantum theory of gravity, leading Bergmann too to say that the world point itself possesses no physical reality [5, 6]. arXiv:quant-ph/0601002v2 22 Jan 2006 For many the infinities that still haunt physics cry for further and deeper quanti- zation, but there has been little agreement on exactly what and how far to quantize. According to Segal canonical quantization continued a drift of physical theory toward simple groups that special relativization began. He proposed on Darwinian grounds that further quantization should lead to simple groups [32]. Vilela Mendes initiated the work in that direction [37].
    [Show full text]
  • Hamilton Equations, Commutator, and Energy Conservation †
    quantum reports Article Hamilton Equations, Commutator, and Energy Conservation † Weng Cho Chew 1,* , Aiyin Y. Liu 2 , Carlos Salazar-Lazaro 3 , Dong-Yeop Na 1 and Wei E. I. Sha 4 1 College of Engineering, Purdue University, West Lafayette, IN 47907, USA; [email protected] 2 College of Engineering, University of Illinois at Urbana-Champaign, Urbana, IL 61820, USA; [email protected] 3 Physics Department, University of Illinois at Urbana-Champaign, Urbana, IL 61820, USA; [email protected] 4 College of Information Science and Electronic Engineering, Zhejiang University, Hangzhou 310058, China; [email protected] * Correspondence: [email protected] † Based on the talk presented at the 40th Progress In Electromagnetics Research Symposium (PIERS, Toyama, Japan, 1–4 August 2018). Received: 12 September 2019; Accepted: 3 December 2019; Published: 9 December 2019 Abstract: We show that the classical Hamilton equations of motion can be derived from the energy conservation condition. A similar argument is shown to carry to the quantum formulation of Hamiltonian dynamics. Hence, showing a striking similarity between the quantum formulation and the classical formulation. Furthermore, it is shown that the fundamental commutator can be derived from the Heisenberg equations of motion and the quantum Hamilton equations of motion. Also, that the Heisenberg equations of motion can be derived from the Schrödinger equation for the quantum state, which is the fundamental postulate. These results are shown to have important bearing for deriving the quantum Maxwell’s equations. Keywords: quantum mechanics; commutator relations; Heisenberg picture 1. Introduction In quantum theory, a classical observable, which is modeled by a real scalar variable, is replaced by a quantum operator, which is analogous to an infinite-dimensional matrix operator.
    [Show full text]
  • Universit¨At Stuttgart Fachbereich Mathematik
    Universitat¨ Fachbereich Stuttgart Mathematik Heisenberg Groups, Semifields, and Translation Planes Norbert Knarr, Markus J. Stroppel Preprint 2013/006 Universitat¨ Fachbereich Stuttgart Mathematik Heisenberg Groups, Semifields, and Translation Planes Norbert Knarr, Markus J. Stroppel Preprint 2013/006 Fachbereich Mathematik Fakultat¨ Mathematik und Physik Universitat¨ Stuttgart Pfaffenwaldring 57 D-70 569 Stuttgart E-Mail: [email protected] WWW: http://www.mathematik.uni-stuttgart.de/preprints ISSN 1613-8309 c Alle Rechte vorbehalten. Nachdruck nur mit Genehmigung des Autors. LATEX-Style: Winfried Geis, Thomas Merkle Heisenberg Groups, Semifields, and Translation Planes Norbert Knarr, Markus J. Stroppel Abstract For Heisenberg groups constructed over semifields (i.e., not neccessarily associative divi- sion rings), we solve the isomorphism problem and determine the automorphism groups. We show that two Heisenberg groups over semifields are isomorphic precisely if the semi- fields are isotopic or anti-isotopic to each other. This condition means that the corre- sponding translation are isomorphic or dual to each other. Mathematics Subject Classification: 12K10 17A35 20D15 20F28 51A35 51A10 Keywords: Heisenberg group, nilpotent group, automorphism, translation plane, semi- field, division algebra, isotopism, autotopism In [7], Heisenberg’s example of a step 2 nilpotent group has been generalized, replacing the ground field by an arbitrary associative ring S with 2 2 S×. The main focus of [7] was on the group of automorphisms of such a Heisenberg group. In the present note we extend this further (see 1.2 below), dropping the restriction on invertibility of 2 and allowing the multiplication in S to be non-associative. The main results of the present paper require that S is a semifield.
    [Show full text]