Many-Body Quantum Mechanis
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Finite Generation of Symmetric Ideals
FINITE GENERATION OF SYMMETRIC IDEALS MATTHIAS ASCHENBRENNER AND CHRISTOPHER J. HILLAR In memoriam Karin Gatermann (1965–2005 ). Abstract. Let A be a commutative Noetherian ring, and let R = A[X] be the polynomial ring in an infinite collection X of indeterminates over A. Let SX be the group of permutations of X. The group SX acts on R in a natural way, and this in turn gives R the structure of a left module over the left group ring R[SX ]. We prove that all ideals of R invariant under the action of SX are finitely generated as R[SX ]-modules. The proof involves introducing a certain well-quasi-ordering on monomials and developing a theory of Gr¨obner bases and reduction in this setting. We also consider the concept of an invariant chain of ideals for finite-dimensional polynomial rings and relate it to the finite generation result mentioned above. Finally, a motivating question from chemistry is presented, with the above framework providing a suitable context in which to study it. 1. Introduction A pervasive theme in invariant theory is that of finite generation. A fundamen- tal example is a theorem of Hilbert stating that the invariant subrings of finite- dimensional polynomial algebras over finite groups are finitely generated [6, Corol- lary 1.5]. In this article, we study invariant ideals of infinite-dimensional polynomial rings. Of course, when the number of indeterminates is finite, Hilbert’s basis theo- rem tells us that any ideal (invariant or not) is finitely generated. Our setup is as follows. Let X be an infinite collection of indeterminates, and let SX be the group of permutations of X. -
Chapter 4 Introduction to Many-Body Quantum Mechanics
Chapter 4 Introduction to many-body quantum mechanics 4.1 The complexity of the quantum many-body prob- lem After learning how to solve the 1-body Schr¨odinger equation, let us next generalize to more particles. If a single body quantum problem is described by a Hilbert space of dimension dim = d then N distinguishable quantum particles are described by theH H tensor product of N Hilbert spaces N (N) N ⊗ (4.1) H ≡ H ≡ H i=1 O with dimension dN . As a first example, a single spin-1/2 has a Hilbert space = C2 of dimension 2, but N spin-1/2 have a Hilbert space (N) = C2N of dimensionH 2N . Similarly, a single H particle in three dimensional space is described by a complex-valued wave function ψ(~x) of the position ~x of the particle, while N distinguishable particles are described by a complex-valued wave function ψ(~x1,...,~xN ) of the positions ~x1,...,~xN of the particles. Approximating the Hilbert space of the single particle by a finite basis set with d basis functions, the N-particle basisH approximated by the same finite basis set for single particles needs dN basis functions. This exponential scaling of the Hilbert space dimension with the number of particles is a big challenge. Even in the simplest case – a spin-1/2 with d = 2, the basis for N = 30 spins is already of of size 230 109. A single complex vector needs 16 GByte of memory and will not fit into the memory≈ of your personal computer anymore. -
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. -
Math 263A Notes: Algebraic Combinatorics and Symmetric Functions
MATH 263A NOTES: ALGEBRAIC COMBINATORICS AND SYMMETRIC FUNCTIONS AARON LANDESMAN CONTENTS 1. Introduction 4 2. 10/26/16 5 2.1. Logistics 5 2.2. Overview 5 2.3. Down to Math 5 2.4. Partitions 6 2.5. Partial Orders 7 2.6. Monomial Symmetric Functions 7 2.7. Elementary symmetric functions 8 2.8. Course Outline 8 3. 9/28/16 9 3.1. Elementary symmetric functions eλ 9 3.2. Homogeneous symmetric functions, hλ 10 3.3. Power sums pλ 12 4. 9/30/16 14 5. 10/3/16 20 5.1. Expected Number of Fixed Points 20 5.2. Random Matrix Groups 22 5.3. Schur Functions 23 6. 10/5/16 24 6.1. Review 24 6.2. Schur Basis 24 6.3. Hall Inner product 27 7. 10/7/16 29 7.1. Basic properties of the Cauchy product 29 7.2. Discussion of the Cauchy product and related formulas 30 8. 10/10/16 32 8.1. Finishing up last class 32 8.2. Skew-Schur Functions 33 8.3. Jacobi-Trudi 36 9. 10/12/16 37 1 2 AARON LANDESMAN 9.1. Eigenvalues of unitary matrices 37 9.2. Application 39 9.3. Strong Szego limit theorem 40 10. 10/14/16 41 10.1. Background on Tableau 43 10.2. KOSKA Numbers 44 11. 10/17/16 45 11.1. Relations of skew-Schur functions to other fields 45 11.2. Characters of the symmetric group 46 12. 10/19/16 49 13. 10/21/16 55 13.1. -
Orthogonalization of Fermion K-Body Operators and Representability
Orthogonalization of fermion k-Body operators and representability Bach, Volker Rauch, Robert April 10, 2019 Abstract The reduced k-particle density matrix of a density matrix on finite- dimensional, fermion Fock space can be defined as the image under the orthogonal projection in the Hilbert-Schmidt geometry onto the space of k- body observables. A proper understanding of this projection is therefore intimately related to the representability problem, a long-standing open problem in computational quantum chemistry. Given an orthonormal basis in the finite-dimensional one-particle Hilbert space, we explicitly construct an orthonormal basis of the space of Fock space operators which restricts to an orthonormal basis of the space of k-body operators for all k. 1 Introduction 1.1 Motivation: Representability problems In quantum chemistry, molecules are usually modeled as non-relativistic many- fermion systems (Born-Oppenheimer approximation). More specifically, the Hilbert space of these systems is given by the fermion Fock space = f (h), where h is the (complex) Hilbert space of a single electron (e.g. h = LF2(R3)F C2), and the Hamiltonian H is usually a two-body operator or, more generally,⊗ a k-body operator on . A key physical quantity whose computation is an im- F arXiv:1807.05299v2 [math-ph] 9 Apr 2019 portant task is the ground state energy . E0(H) = inf ϕ(H) (1) ϕ∈S of the system, where ( )′ is a suitable set of states on ( ), where ( ) is the Banach space ofS⊆B boundedF operators on and ( )′ BitsF dual. A directB F evaluation of (1) is, however, practically impossibleF dueB F to the vast size of the state space . -
Chapter 4 MANY PARTICLE SYSTEMS
Chapter 4 MANY PARTICLE SYSTEMS The postulates of quantum mechanics outlined in previous chapters include no restrictions as to the kind of systems to which they are intended to apply. Thus, although we have considered numerous examples drawn from the quantum mechanics of a single particle, the postulates themselves are intended to apply to all quantum systems, including those containing more than one and possibly very many particles. Thus, the only real obstacle to our immediate application of the postulates to a system of many (possibly interacting) particles is that we have till now avoided the question of what the linear vector space, the state vector, and the operators of a many-particle quantum mechanical system look like. The construction of such a space turns out to be fairly straightforward, but it involves the forming a certain kind of methematical product of di¤erent linear vector spaces, referred to as a direct or tensor product. Indeed, the basic principle underlying the construction of the state spaces of many-particle quantum mechanical systems can be succinctly stated as follows: The state vector à of a system of N particles is an element of the direct product space j i S(N) = S(1) S(2) S(N) ¢¢¢ formed from the N single-particle spaces associated with each particle. To understand this principle we need to explore the structure of such direct prod- uct spaces. This exploration forms the focus of the next section, after which we will return to the subject of many particle quantum mechanical systems. 4.1 The Direct Product of Linear Vector Spaces Let S1 and S2 be two independent quantum mechanical state spaces, of dimension N1 and N2, respectively (either or both of which may be in…nite). -
Fock Space Dynamics
TCM315 Fall 2020: Introduction to Open Quantum Systems Lecture 10: Fock space dynamics Course handouts are designed as a study aid and are not meant to replace the recommended textbooks. Handouts may contain typos and/or errors. The students are encouraged to verify the information contained within and to report any issue to the lecturer. CONTENTS Introduction 1 Composite systems of indistinguishable particles1 Permutation group S2 of 2-objects 2 Admissible states of three indistiguishable systems2 Parastatistics 4 The spin-statistics theorem 5 Fock space 5 Creation and annihilation of particles 6 Canonical commutation relations 6 Canonical anti-commutation relations 7 Explicit example for a Fock space with 2 distinguishable Fermion states7 Central oscillator of a linear boson system8 Decoupling of the one particle sector 9 References 9 INTRODUCTION The chapter 5 of [6] oers a conceptually very transparent introduction to indistinguishable particle kinematics in quantum mechanics. Particularly valuable is the brief but clear discussion of para-statistics. The last sections of the chapter are devoted to expounding, physics style, the second quantization formalism. Chapter I of [2] is a very clear and detailed presentation of second quantization formalism in the form that is needed in mathematical physics applications. Finally, the dynamics of a central oscillator in an external eld draws from chapter 11 of [4]. COMPOSITE SYSTEMS OF INDISTINGUISHABLE PARTICLES The composite system postulate tells us that the Hilbert space of a multi-partite system is the tensor product of the Hilbert spaces of the constituents. In other words, the composite system Hilbert space, is spanned by an orthonormal basis constructed by taking the tensor product of the elements of the orthonormal bases of the Hilbert spaces of the constituent systems. -
Categories with Negation 3
CATEGORIES WITH NEGATION JAIUNG JUN 1 AND LOUIS ROWEN 2 In honor of our friend and colleague, S.K. Jain. Abstract. We continue the theory of T -systems from the work of the second author, describing both ground systems and module systems over a ground system (paralleling the theory of modules over an algebra). Prime ground systems are introduced as a way of developing geometry. One basic result is that the polynomial system over a prime system is prime. For module systems, special attention also is paid to tensor products and Hom. Abelian categories are replaced by “semi-abelian” categories (where Hom(A, B) is not a group) with a negation morphism. The theory, summarized categorically at the end, encapsulates general algebraic structures lacking negation but possessing a map resembling negation, such as tropical algebras, hyperfields and fuzzy rings. We see explicitly how it encompasses tropical algebraic theory and hyperfields. Contents 1. Introduction 2 1.1. Objectives 3 1.2. Main results 3 2. Background 4 2.1. Basic structures 4 2.2. Symmetrization and the twist action 7 2.3. Ground systems and module systems 8 2.4. Morphisms of systems 10 2.5. Function triples 11 2.6. The role of universal algebra 13 3. The structure theory of ground triples via congruences 14 3.1. The role of congruences 14 3.2. Prime T -systems and prime T -congruences 15 3.3. Annihilators, maximal T -congruences, and simple T -systems 17 4. The geometry of prime systems 17 4.1. Primeness of the polynomial system A[λ] 17 4.2. -
BRST Inner Product Spaces and the Gribov Obstruction
PITHA – 98/27 BRST Inner Product Spaces and the Gribov Obstruction Norbert DUCHTING¨ 1∗, Sergei V. SHABANOV2†‡, Thomas STROBL1§ 1 Institut f¨ur Theoretische Physik, RWTH Aachen D-52056 Aachen, Germany 2 Department of Mathematics, University of Florida, Gainesville, FL 32611–8105, USA Abstract A global extension of the Batalin–Marnelius proposal for a BRST inner product to gauge theories with topologically nontrivial gauge orbits is discussed. It is shown that their (appropriately adapted) method is applicable to a large class of mechanical models with a semisimple gauge group in the adjoint and fundamental representa- tion. This includes cases where the Faddeev–Popov method fails. arXiv:hep-th/9808151v1 25 Aug 1998 Simple models are found also, however, which do not allow for a well– defined global extension of the Batalin–Marnelius inner product due to a Gribov obstruction. Reasons for the partial success and failure are worked out and possible ways to circumvent the problem are briefly discussed. ∗email: [email protected] †email: [email protected]fl.edu ‡On leave from the Laboratory of Theoretical Physics, JINR, Dubna, Russia §email: [email protected] 1 Introduction and Overview Canonical quantization of gauge theories leads, in general, to an ill–defined scalar product for physical states. In the Dirac approach [1] physical states are selected by the quantum constraints. Assuming that the theory under consideration is of the Yang–Mills type with its gauge group acting on some configuration space, the total Hilbert space may be realized by square in- tegrable functions on the configuration space and the quantum constraints imply gauge invariance of these wave functions. -
Extending Robustness & Randomization from Consensus To
Extending robustness & randomization from Consensus to Symmetrization Algorithms Luca Mazzarella∗ Francesco Ticozzi† Alain Sarlette‡ June 16, 2015 Abstract This work interprets and generalizes consensus-type algorithms as switching dynamics lead- ing to symmetrization of some vector variables with respect to the actions of a finite group. We show how the symmetrization framework we develop covers applications as diverse as consensus on probability distributions (either classical or quantum), uniform random state generation, and open-loop disturbance rejection by quantum dynamical decoupling. Robust convergence results are explicitly provided in a group-theoretic formulation, both for deterministic and for randomized dynamics. This indicates a way to directly extend the robustness and randomization properties of consensus-type algorithms to more fields of application. 1 Introduction The investigation of randomized and robust algorithmic procedures has been a prominent development of applied mathematics and dynamical systems theory in the last decades [?, ?]. Among these, one of the most studied class of algorithms in the automatic control literature are those designed to reach average consensus [?, ?, ?, ?]: the most basic form entails a linear algorithm based on local iterations that reach agreement on a mean value among network nodes. Linear consensus, despite its simplicity, is used as a subtask for several distributed tasks like distributed estimation [?, ?], motion coordination [?], clock synchronization [?], optimization [?], and of course load balancing; an example is presented later in the paper, while more applications are covered in [?]. A universally appreciated feature of linear consensus is its robustness to parameter values and perfect behavior under time-varying network structure. In the present paper, inspired by linear consensus, we present an abstract framework that pro- duces linear procedures to solve a variety of (a priori apparently unrelated) symmetrization problems with respect to the action of finite groups. -
Quantum Physics in Non-Separable Hilbert Spaces
Quantum Physics in Non-Separable Hilbert Spaces John Earman Dept. HPS University of Pittsburgh In Mathematical Foundations of Quantum Mechanics (1932) von Neumann made separability of Hilbert space an axiom. Subsequent work in mathemat- ics (some of it by von Neumann himself) investigated non-separable Hilbert spaces, and mathematical physicists have sometimes made use of them. This note discusses some of the problems that arise in trying to treat quantum systems with non-separable spaces. Some of the problems are “merely tech- nical”but others point to interesting foundations issues for quantum theory, both in its abstract mathematical form and its applications to physical sys- tems. Nothing new or original is attempted here. Rather this note aims to bring into focus some issues that have for too long remained on the edge of consciousness for philosophers of physics. 1 Introduction A Hilbert space is separable if there is a countable dense set of vec- tors; equivalently,H admits a countable orthonormal basis. In Mathematical Foundations of QuantumH Mechanics (1932, 1955) von Neumann made sep- arability one of the axioms of his codification of the formalism of quantum mechanics. Working with a separable Hilbert space certainly simplifies mat- ters and provides for understandable realizations of the Hilbert space axioms: all infinite dimensional separable Hilbert spaces are the “same”: they are iso- 2 morphically isometric to LC(R), the space of square integrable complex val- 2 ued functions of R with inner product , := (x)(x)dx, , LC(R). h i 2 2 This Hilbert space in turn is isomorphically isometric to `C(N), the vector space of square summable sequences of complexR numbers with inner prod- S uct , := n1=1 xn yn, = (x1, x2, ...), = (y1, y2, ...) . -
Isometries, Fock Spaces, and Spectral Analysis of Schr¨Odinger Operators on Trees
Isometries, Fock Spaces, and Spectral Analysis of Schrodinger¨ Operators on Trees V. Georgescu and S. Golenia´ CNRS Departement´ de Mathematiques´ Universite´ de Cergy-Pontoise 2 avenue Adolphe Chauvin 95302 Cergy-Pontoise Cedex France [email protected] [email protected] June 15, 2004 Abstract We construct conjugate operators for the real part of a completely non unitary isometry and we give applications to the spectral and scattering the- ory of a class of operators on (complete) Fock spaces, natural generalizations of the Schrodinger¨ operators on trees. We consider C ∗-algebras generated by such Hamiltonians with certain types of anisotropy at infinity, we compute their quotient with respect to the ideal of compact operators, and give formu- las for the essential spectrum of these Hamiltonians. 1 Introduction The Laplace operator on a graph Γ acts on functions f : Γ C according to the relation ! (∆f)(x) = (f(y) f(x)); (1.1) − yX$x where y x means that x and y are connected by an edge. The spectral analysis $ and the scattering theory of the operators on `2(Γ) associated to expressions of the form L = ∆ + V , where V is a real function on Γ, is an interesting question which does not seem to have been much studied (we have in mind here only situations involving non trivial essential spectrum). 1 Our interest on these questions has been aroused by the work of C. Allard and R. Froese [All, AlF] devoted to the case when Γ is a binary tree: their main results are the construction of a conjugate operator for L under suitable conditions on the potential V and the proof of the Mourre estimate.