DOCSLIB.ORG

Updated Lecture Notes

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Updated Lecture Notes Quantum Mechanics Made Simple: Lecture Notes Weng Cho CHEW1 September 23, 2013 1The author is with U of Illinois, Urbana-Champaign. He works part time at Hong Kong U this summer. Contents Preface vii Acknowledgements vii 1 Introduction 1 1.1 Introduction . .1 1.2 Quantum Mechanics is Bizarre . .2 1.3 The Wave Nature of a Particle{Wave Particle Duality . .2 2 Classical Mechanics and Some Mathematical Preliminaries 5 2.1 Introduction . .5 2.2 Lagrangian Formulation . .6 2.3 Hamiltonian Formulation . .9 2.4 More on Hamiltonian . 10 2.5 Poisson Bracket . 11 2.6 Some Useful Knowledge of Matrix Algebra . 11 2.6.1 Identity, Hermitian, Symmetric, Inverse and Unitary Matrices . 13 2.6.2 Determinant . 14 2.6.3 Eigenvectors and Eigenvalues . 14 2.6.4 Trace of a Matrix . 15 2.6.5 Function of a Matrix . 15 3 Quantum Mechanics|Some Preliminaries 19 3.1 Introduction . 19 3.2 Probabilistic Interpretation of the Wavefunction . 20 3.3 Time Evolution of the Hamiltonian Operator . 21 3.4 Simple Examples of Time Independent Schr¨odingerEquation . 24 3.4.1 Particle in a 1D Box . 24 3.4.2 Particle Scattering by a Barrier . 25 3.4.3 Particle in a Potential Well . 26 3.5 The Quantum Harmonic Oscillator{A Preview . 28 i ii Quantum Mechanics Made Simple 4 Time-Dependent Schr¨odingerEquation 31 4.1 Introduction . 31 4.2 Quantum States in the Time Domain . 31 4.3 Coherent State . 32 4.4 Measurement Hypothesis and Expectation Value . 33 4.4.1 Uncertainty Principle{A Simple Version . 36 4.4.2 Particle Current . 37 5 More Mathematical Preliminaries 39 5.1 A Function is a Vector . 39 5.2 Operators . 42 5.2.1 Matrix Representation of an Operator . 42 5.2.2 Bilinear Expansion of an Operator . 43 5.2.3 Trace of an Operator . 44 5.2.4 Unitary Operators . 45 5.2.5 Hermitian Operators . 46 5.3 *Identity Operator in a Continuum Space . 49 5.4 *Changing Between Representations . 52 5.4.1 Momentum Operator . 52 5.4.2 Position Operator . 53 5.4.3 The Coordinate Basis Function . 54 5.5 Commutation of Operators . 54 5.6 Expectation Value and Eigenvalue of Operators . 55 5.7 *Generalized Uncertainty Principle . 57 5.8 *Time Evolution of the Expectation Value of an Operator . 59 5.9 Periodic Boundary Condition . 60 6 Approximate Methods in Quantum Mechanics 63 6.1 Introduction . 63 6.2 Use of an Approximate Subspace . 63 6.3 *Time Independent Perturbation Theory . 65 6.3.1 First Order Perturbation . 68 6.3.2 Second Order Perturbation . 69 6.3.3 Higher Order Corrections . 69 6.4 Tight Binding Model . 70 6.4.1 Variational Method . 73 6.5 Time Dependent Perturbation Theory . 74 7 Quantum Mechanics in Crystals 77 7.1 Introduction . 77 7.2 Bloch-Floquet Waves . 78 7.2.1 Periodicity of E(k)............................. 80 7.2.2 Symmetry of E(k) with respect to k ................... 80 7.3 Bloch-Floquet Theorem for 3D . 80 Contents iii 7.4 Fermi-Dirac Distribution Function . 83 7.4.1 Semiconductor, Metal, and Insulator . 84 7.4.2 Why Do Electrons and Holes Conduct Electricity? . 86 7.5 Effective Mass Schr¨odingerEquation . 86 7.6 Heterojunctions and Quantum Wells . 88 7.7 Density of States (DOS) . 89 7.7.1 Fermi Level and Fermi Energy . 90 7.7.2 DOS in a Quantum Well . 91 7.7.3 Quantum Wires . 93 8 Angular Momentum 97 8.1 Introduction . 97 8.1.1 Electron Trapped in a Pill Box . 98 8.1.2 Electron Trapped in a Spherical Box . 100 8.2 Mathematics of Angular Momentum . 103 8.2.1 Transforming to Spherical Coordinates . 104 9 Spin 109 9.1 Introduction . 109 9.2 Spin Operators . 109 9.3 The Bloch Sphere . 112 9.4 Spinor . 112 9.5 Pauli Equation . 113 9.5.1 Splitting of Degenerate Energy Level . 115 9.6 Spintronics . 115 10 Identical Particles 121 10.1 Introduction . 121 10.2 Pauli Exclusion Principle . 122 10.3 Exchange Energy . 123 10.4 Extension to More Than Two Particles . 124 10.5 Counting the Number of Basis States . 126 10.6 Examples . 127 10.7 Thermal Distribution Functions . 128 11 Density Matrix 131 11.1 Pure and Mixed States . 131 11.2 Density Operator . 132 11.3 Time Evolution of the Matrix Element of an Operator . 135 11.4 Two-Level Quantum Systems . 136 11.4.1 Interaction of Light with Two-Level Systems . 137 iv Quantum Mechanics Made Simple 12 Quantization of Classical Fields 147 12.1 Introduction . 147 12.2 The Quantum Harmonic Oscillator Revisited . 148 12.2.1 Eigenfunction by the Ladder Approach . 150 12.3 Quantization of Waves on a Linear Atomic Chain{Phonons . 151 12.4 Schr¨odingerPicture versus Heisenberg Picture . 156 12.5 The Continuum Limit . 158 12.6 Quantization of Electromagnetic Field . 160 12.6.1 Hamiltonian . 162 12.6.2 Field Operators . 163 12.6.3 Multimode Case and Fock State . 164 12.6.4 One-Photon State . 165 12.6.5 Coherent State Revisited . 166 12.7 Thermal Light . 170 13 Schr¨odingerWave Fields 173 13.1 Introduction . 173 13.2 Fock Space for Fermions . 173 13.3 Field Operators . 175 13.4 Similarity Transform . 177 13.5 Additive One-Particle Operator . 178 13.5.1 Three-Particle Case . 180 13.6 Additive Two-Particle Operator . ..
Load more

Recommended publications
  • 1 Notation for States
    The S-Matrix1 D. E. Soper2 University of Oregon Physics 634, Advanced Quantum Mechanics November 2000 1 Notation for states In these notes we discuss scattering nonrelativistic quantum mechanics. We will use states with the nonrelativistic normalization h~p |~ki = (2π)3δ(~p − ~k). (1) Recall that in a relativistic theory there is an extra factor of 2E on the right hand side of this relation, where E = [~k2 + m2]1/2. We will use states in the “Heisenberg picture,” in which states |ψ(t)i do not depend on time. Often in quantum mechanics one uses the Schr¨odinger picture, with time dependent states |ψ(t)iS. The relation between these is −iHt |ψ(t)iS = e |ψi. (2) Thus these are the same at time zero, and the Schrdinger states obey d i |ψ(t)i = H |ψ(t)i (3) dt S S In the Heisenberg picture, the states do not depend on time but the op- erators do depend on time. A Heisenberg operator O(t) is related to the corresponding Schr¨odinger operator OS by iHt −iHt O(t) = e OS e (4) Thus hψ|O(t)|ψi = Shψ(t)|OS|ψ(t)iS. (5) The Heisenberg picture is favored over the Schr¨odinger picture in the case of relativistic quantum mechanics: we don’t have to say which reference 1Copyright, 2000, D. E. Soper [email protected] 1 frame we use to define t in |ψ(t)iS. For operators, we can deal with local operators like, for instance, the electric field F µν(~x, t).
    [Show full text]
  • Package 'Einsum'
    Package ‘einsum’ May 15, 2021 Type Package Title Einstein Summation Version 0.1.0 Description The summation notation suggested by Einstein (1916) <doi:10.1002/andp.19163540702> is a concise mathematical notation that implicitly sums over repeated indices of n- dimensional arrays. Many ordinary matrix operations (e.g. transpose, matrix multiplication, scalar product, 'diag()', trace etc.) can be written using Einstein notation. The notation is particularly convenient for expressing operations on arrays with more than two dimensions because the respective operators ('tensor products') might not have a standardized name. License MIT + file LICENSE Encoding UTF-8 SystemRequirements C++11 Suggests testthat, covr RdMacros mathjaxr RoxygenNote 7.1.1 LinkingTo Rcpp Imports Rcpp, glue, mathjaxr R topics documented: einsum . .2 einsum_package . .3 Index 5 1 2 einsum einsum Einstein Summation Description Einstein summation is a convenient and concise notation for operations on n-dimensional arrays. Usage einsum(equation_string, ...) einsum_generator(equation_string, compile_function = TRUE) Arguments equation_string a string in Einstein notation where arrays are separated by ’,’ and the result is separated by ’->’. For example "ij,jk->ik" corresponds to a standard matrix multiplication. Whitespace inside the equation_string is ignored. Unlike the equivalent functions in Python, einsum() only supports the explicit mode. This means that the equation_string must contain ’->’. ... the arrays that are combined. All arguments are converted to arrays with
    [Show full text]
  • Notes on Manifolds
    Notes on Manifolds Justin H. Le Department of Electrical & Computer Engineering University of Nevada, Las Vegas [email protected] August 3, 2016 1 Multilinear maps A tensor T of order r can be expressed as the tensor product of r vectors: T = u1 ⊗ u2 ⊗ ::: ⊗ ur (1) We herein fix r = 3 whenever it eases exposition. Recall that a vector u 2 U can be expressed as the combination of the basis vectors of U. Transform these basis vectors with a matrix A, and if the resulting vector u0 is equivalent to uA, then the components of u are said to be covariant. If u0 = A−1u, i.e., the vector changes inversely with the change of basis, then the components of u are contravariant. By Einstein notation, we index the covariant components of a tensor in subscript and the contravariant components in superscript. Just as the components of a vector u can be indexed by an integer i (as in ui), tensor components can be indexed as Tijk. Additionally, as we can view a matrix to be a linear map M : U ! V from one finite-dimensional vector space to another, we can consider a tensor to be multilinear map T : V ∗r × V s ! R, where V s denotes the s-th-order Cartesian product of vector space V with itself and likewise for its algebraic dual space V ∗. In this sense, a tensor maps an ordered sequence of vectors to one of its (scalar) components. Just as a linear map satisfies M(a1u1 + a2u2) = a1M(u1) + a2M(u2), we call an r-th-order tensor multilinear if it satisfies T (u1; : : : ; a1v1 + a2v2; : : : ; ur) = a1T (u1; : : : ; v1; : : : ; ur) + a2T (u1; : : : ; v2; : : : ; ur); (2) for scalars a1 and a2.
    [Show full text]
  • Motion of the Reduced Density Operator
    Motion of the Reduced Density Operator Nicholas Wheeler, Reed College Physics Department Spring 2009 Introduction. Quantum mechanical decoherence, dissipation and measurements all involve the interaction of the system of interest with an environmental system (reservoir, measurement device) that is typically assumed to possess a great many degrees of freedom (while the system of interest is typically assumed to possess relatively few degrees of freedom). The state of the composite system is described by a density operator ρ which in the absence of system-bath interaction we would denote ρs ρe, though in the cases of primary interest that notation becomes unavailable,⊗ since in those cases the states of the system and its environment are entangled. The observable properties of the system are latent then in the reduced density operator ρs = tre ρ (1) which is produced by “tracing out” the environmental component of ρ. Concerning the specific meaning of (1). Let n) be an orthonormal basis | in the state space H of the (open) system, and N) be an orthonormal basis s !| " in the state space H of the (also open) environment. Then n) N) comprise e ! " an orthonormal basis in the state space H = H H of the |(closed)⊗| composite s e ! " system. We are in position now to write ⊗ tr ρ I (N ρ I N) e ≡ s ⊗ | s ⊗ | # ! " ! " ↓ = ρ tr ρ in separable cases s · e The dynamics of the composite system is generated by Hamiltonian of the form H = H s + H e + H i 2 Motion of the reduced density operator where H = h I s s ⊗ e = m h n m N n N $ | s| % | % ⊗ | % · $ | ⊗ $ | m,n N # # $% & % &' H = I h e s ⊗ e = n M n N M h N | % ⊗ | % · $ | ⊗ $ | $ | e| % n M,N # # $% & % &' H = m M m M H n N n N i | % ⊗ | % $ | ⊗ $ | i | % ⊗ | % $ | ⊗ $ | m,n M,N # # % &$% & % &'% & —all components of which we will assume to be time-independent.
    [Show full text]
  • An S-Matrix for Massless Particles Arxiv:1911.06821V2 [Hep-Th]
    An S-Matrix for Massless Particles Holmfridur Hannesdottir and Matthew D. Schwartz Department of Physics, Harvard University, Cambridge, MA 02138, USA Abstract The traditional S-matrix does not exist for theories with massless particles, such as quantum electrodynamics. The difficulty in isolating asymptotic states manifests itself as infrared divergences at each order in perturbation theory. Building on insights from the literature on coherent states and factorization, we construct an S-matrix that is free of singularities order-by-order in perturbation theory. Factorization guarantees that the asymptotic evolution in gauge theories is universal, i.e. independent of the hard process. Although the hard S-matrix element is computed between well-defined few particle Fock states, dressed/coherent states can be seen to form as intermediate states in the calculation of hard S-matrix elements. We present a framework for the perturbative calculation of hard S-matrix elements combining Lorentz-covariant Feyn- man rules for the dressed-state scattering with time-ordered perturbation theory for the asymptotic evolution. With hard cutoffs on the asymptotic Hamiltonian, the cancella- tion of divergences can be seen explicitly. In dimensional regularization, where the hard cutoffs are replaced by a renormalization scale, the contribution from the asymptotic evolution produces scaleless integrals that vanish. A number of illustrative examples are given in QED, QCD, and N = 4 super Yang-Mills theory. arXiv:1911.06821v2 [hep-th] 24 Aug 2020 Contents 1 Introduction1 2 The hard S-matrix6 2.1 SH and dressed states . .9 2.2 Computing observables using SH ........................... 11 2.3 Soft Wilson lines . 14 3 Computing the hard S-matrix 17 3.1 Asymptotic region Feynman rules .
    [Show full text]
  • The Mechanics of the Fermionic and Bosonic Fields: an Introduction to the Standard Model and Particle Physics
    The Mechanics of the Fermionic and Bosonic Fields: An Introduction to the Standard Model and Particle Physics Evan McCarthy Phys. 460: Seminar in Physics, Spring 2014 Aug. 27,! 2014 1.Introduction 2.The Standard Model of Particle Physics 2.1.The Standard Model Lagrangian 2.2.Gauge Invariance 3.Mechanics of the Fermionic Field 3.1.Fermi-Dirac Statistics 3.2.Fermion Spinor Field 4.Mechanics of the Bosonic Field 4.1.Spin-Statistics Theorem 4.2.Bose Einstein Statistics !5.Conclusion ! 1. Introduction While Quantum Field Theory (QFT) is a remarkably successful tool of quantum particle physics, it is not used as a strictly predictive model. Rather, it is used as a framework within which predictive models - such as the Standard Model of particle physics (SM) - may operate. The overarching success of QFT lends it the ability to mathematically unify three of the four forces of nature, namely, the strong and weak nuclear forces, and electromagnetism. Recently substantiated further by the prediction and discovery of the Higgs boson, the SM has proven to be an extraordinarily proficient predictive model for all the subatomic particles and forces. The question remains, what is to be done with gravity - the fourth force of nature? Within the framework of QFT theoreticians have predicted the existence of yet another boson called the graviton. For this reason QFT has a very attractive allure, despite its limitations. According to !1 QFT the gravitational force is attributed to the interaction between two gravitons, however when applying the equations of General Relativity (GR) the force between two gravitons becomes infinite! Results like this are nonsensical and must be resolved for the theory to stand.
    [Show full text]
  • Dirac Notation Frank Rioux
    Elements of Dirac Notation Frank Rioux In the early days of quantum theory, P. A. M. (Paul Adrian Maurice) Dirac created a powerful and concise formalism for it which is now referred to as Dirac notation or bra-ket (bracket ) notation. Two major mathematical traditions emerged in quantum mechanics: Heisenberg’s matrix mechanics and Schrödinger’s wave mechanics. These distinctly different computational approaches to quantum theory are formally equivalent, each with its particular strengths in certain applications. Heisenberg’s variation, as its name suggests, is based matrix and vector algebra, while Schrödinger’s approach requires integral and differential calculus. Dirac’s notation can be used in a first step in which the quantum mechanical calculation is described or set up. After this is done, one chooses either matrix or wave mechanics to complete the calculation, depending on which method is computationally the most expedient. Kets, Bras, and Bra-Ket Pairs In Dirac’s notation what is known is put in a ket, . So, for example, p expresses the fact that a particle has momentum p. It could also be more explicit: p = 2 , the particle has momentum equal to 2; x = 1.23 , the particle has position 1.23. Ψ represents a system in the state Q and is therefore called the state vector. The ket can also be interpreted as the initial state in some transition or event. The bra represents the final state or the language in which you wish to express the content of the ket . For example,x =Ψ.25 is the probability amplitude that a particle in state Q will be found at position x = .25.
    [Show full text]
  • Multilinear Algebra and Applications July 15, 2014
    Multilinear Algebra and Applications July 15, 2014. Contents Chapter 1. Introduction 1 Chapter 2. Review of Linear Algebra 5 2.1. Vector Spaces and Subspaces 5 2.2. Bases 7 2.3. The Einstein convention 10 2.3.1. Change of bases, revisited 12 2.3.2. The Kronecker delta symbol 13 2.4. Linear Transformations 14 2.4.1. Similar matrices 18 2.5. Eigenbases 19 Chapter 3. Multilinear Forms 23 3.1. Linear Forms 23 3.1.1. Definition, Examples, Dual and Dual Basis 23 3.1.2. Transformation of Linear Forms under a Change of Basis 26 3.2. Bilinear Forms 30 3.2.1. Definition, Examples and Basis 30 3.2.2. Tensor product of two linear forms on V 32 3.2.3. Transformation of Bilinear Forms under a Change of Basis 33 3.3. Multilinear forms 34 3.4. Examples 35 3.4.1. A Bilinear Form 35 3.4.2. A Trilinear Form 36 3.5. Basic Operation on Multilinear Forms 37 Chapter 4. Inner Products 39 4.1. Definitions and First Properties 39 4.1.1. Correspondence Between Inner Products and Symmetric Positive Definite Matrices 40 4.1.1.1. From Inner Products to Symmetric Positive Definite Matrices 42 4.1.1.2. From Symmetric Positive Definite Matrices to Inner Products 42 4.1.2. Orthonormal Basis 42 4.2. Reciprocal Basis 46 4.2.1. Properties of Reciprocal Bases 48 4.2.2. Change of basis from a basis to its reciprocal basis g 50 B B III IV CONTENTS 4.2.3.
    [Show full text]
  • Dirac Equation - Wikipedia
    Dirac equation - Wikipedia https://en.wikipedia.org/wiki/Dirac_equation Dirac equation From Wikipedia, the free encyclopedia In particle physics, the Dirac equation is a relativistic wave equation derived by British physicist Paul Dirac in 1928. In its free form, or including electromagnetic interactions, it 1 describes all spin-2 massive particles such as electrons and quarks for which parity is a symmetry. It is consistent with both the principles of quantum mechanics and the theory of special relativity,[1] and was the first theory to account fully for special relativity in the context of quantum mechanics. It was validated by accounting for the fine details of the hydrogen spectrum in a completely rigorous way. The equation also implied the existence of a new form of matter, antimatter, previously unsuspected and unobserved and which was experimentally confirmed several years later. It also provided a theoretical justification for the introduction of several component wave functions in Pauli's phenomenological theory of spin; the wave functions in the Dirac theory are vectors of four complex numbers (known as bispinors), two of which resemble the Pauli wavefunction in the non-relativistic limit, in contrast to the Schrödinger equation which described wave functions of only one complex value. Moreover, in the limit of zero mass, the Dirac equation reduces to the Weyl equation. Although Dirac did not at first fully appreciate the importance of his results, the entailed explanation of spin as a consequence of the union of quantum mechanics and relativity—and the eventual discovery of the positron—represents one of the great triumphs of theoretical physics.
    [Show full text]
  • 5 the Dirac Equation and Spinors
    5 The Dirac Equation and Spinors In this section we develop the appropriate wavefunctions for fundamental fermions and bosons. 5.1 Notation Review The three dimension differential operator is : ∂ ∂ ∂ = , , (5.1) ∂x ∂y ∂z We can generalise this to four dimensions ∂µ: 1 ∂ ∂ ∂ ∂ ∂ = , , , (5.2) µ c ∂t ∂x ∂y ∂z 5.2 The Schr¨odinger Equation First consider a classical non-relativistic particle of mass m in a potential U. The energy-momentum relationship is: p2 E = + U (5.3) 2m we can substitute the differential operators: ∂ Eˆ i pˆ i (5.4) → ∂t →− to obtain the non-relativistic Schr¨odinger Equation (with = 1): ∂ψ 1 i = 2 + U ψ (5.5) ∂t −2m For U = 0, the free particle solutions are: iEt ψ(x, t) e− ψ(x) (5.6) ∝ and the probability density ρ and current j are given by: 2 i ρ = ψ(x) j = ψ∗ ψ ψ ψ∗ (5.7) | | −2m − with conservation of probability giving the continuity equation: ∂ρ + j =0, (5.8) ∂t · Or in Covariant notation: µ µ ∂µj = 0 with j =(ρ,j) (5.9) The Schr¨odinger equation is 1st order in ∂/∂t but second order in ∂/∂x. However, as we are going to be dealing with relativistic particles, space and time should be treated equally. 25 5.3 The Klein-Gordon Equation For a relativistic particle the energy-momentum relationship is: p p = p pµ = E2 p 2 = m2 (5.10) · µ − | | Substituting the equation (5.4), leads to the relativistic Klein-Gordon equation: ∂2 + 2 ψ = m2ψ (5.11) −∂t2 The free particle solutions are plane waves: ip x i(Et p x) ψ e− · = e− − · (5.12) ∝ The Klein-Gordon equation successfully describes spin 0 particles in relativistic quan- tum field theory.
    [Show full text]
  • Chapter 5 ANGULAR MOMENTUM and ROTATIONS
    Chapter 5 ANGULAR MOMENTUM AND ROTATIONS In classical mechanics the total angular momentum L~ of an isolated system about any …xed point is conserved. The existence of a conserved vector L~ associated with such a system is itself a consequence of the fact that the associated Hamiltonian (or Lagrangian) is invariant under rotations, i.e., if the coordinates and momenta of the entire system are rotated “rigidly” about some point, the energy of the system is unchanged and, more importantly, is the same function of the dynamical variables as it was before the rotation. Such a circumstance would not apply, e.g., to a system lying in an externally imposed gravitational …eld pointing in some speci…c direction. Thus, the invariance of an isolated system under rotations ultimately arises from the fact that, in the absence of external …elds of this sort, space is isotropic; it behaves the same way in all directions. Not surprisingly, therefore, in quantum mechanics the individual Cartesian com- ponents Li of the total angular momentum operator L~ of an isolated system are also constants of the motion. The di¤erent components of L~ are not, however, compatible quantum observables. Indeed, as we will see the operators representing the components of angular momentum along di¤erent directions do not generally commute with one an- other. Thus, the vector operator L~ is not, strictly speaking, an observable, since it does not have a complete basis of eigenstates (which would have to be simultaneous eigenstates of all of its non-commuting components). This lack of commutivity often seems, at …rst encounter, as somewhat of a nuisance but, in fact, it intimately re‡ects the underlying structure of the three dimensional space in which we are immersed, and has its source in the fact that rotations in three dimensions about di¤erent axes do not commute with one another.
    [Show full text]
  • Abstract Tensor Systems As Monoidal Categories
    Abstract Tensor Systems as Monoidal Categories Aleks Kissinger Dedicated to Joachim Lambek on the occasion of his 90th birthday October 31, 2018 Abstract The primary contribution of this paper is to give a formal, categorical treatment to Penrose’s abstract tensor notation, in the context of traced symmetric monoidal categories. To do so, we introduce a typed, sum-free version of an abstract tensor system and demonstrate the construction of its associated category. We then show that the associated category of the free abstract tensor system is in fact the free traced symmetric monoidal category on a monoidal signature. A notable consequence of this result is a simple proof for the soundness and completeness of the diagrammatic language for traced symmetric monoidal categories. 1 Introduction This paper formalises the connection between monoidal categories and the ab- stract index notation developed by Penrose in the 1970s, which has been used by physicists directly, and category theorists implicitly, via the diagrammatic languages for traced symmetric monoidal and compact closed categories. This connection is given as a representation theorem for the free traced symmet- ric monoidal category as a syntactically-defined strict monoidal category whose morphisms are equivalence classes of certain kinds of terms called Einstein ex- pressions. Representation theorems of this kind form a rich history of coherence results for monoidal categories originating in the 1960s [17, 6]. Lambek’s con- arXiv:1308.3586v1 [math.CT] 16 Aug 2013 tribution [15, 16] plays an essential role in this history, providing some of the earliest examples of syntactically-constructed free categories and most of the key ingredients in Kelly and Mac Lane’s proof of the coherence theorem for closed monoidal categories [11].
    [Show full text]