Generating Function and a Rodrigues Formula for the Polynomials in d Dimensional Semiclassical Wave Packets
|
|
- Avice Tucker
- 5 years ago
- Views:
Transcription
1 Generating Function and a Rodrigues Formula for the Polynomials in d Dimensional Semiclassical Wave Packets George A. Hagedorn Department of Mathematics and Center for Statistical Mechanics and Mathematical Physics Virginia Polytechnic Institute and State University Blacksburg, Virginia , U.S.A. E mail: hagedorn@math.vt.edu September 6, 05 Abstract We present a simple formula for the generating function for the polynomials in the d dimensional semiclassical wave packets. We then use this formula to prove the associated Rodrigues formula. Introduction The generating function for dimensional semiclassical wave packets is presented in formula.47) of []. In this paper, we present and prove the d dimensional analog. As an application of this formula, we also prove the associated multi dimensional) Rodrigues formula. These results have also been proven from a completely different point of view by Helge Dietert, Johannes Keller, and Stephanie Troppmann. See Lemma 3 and Section 3 particularly Proposition 6) and formula 3) of []. See also [3]. We have also received a conjecture Partially Supported by National Science Foundation Grant DMS 098.
2 from Tomoki Ohsawa [4] that the generating function result could be proved abstractly by using the formula for products of Hermite polynomials and the action of the metaplectic group. Acknowledgements It is a pleasure to thank Raoul Bourquin and Vasile Gradinaru for motivating this work. It is also a pleasure to thank Johannes Keller, Tomoki Ohsawa, Sam Robinson, and Leonardo Mihalcea for their enthusiasm and numerous comments. It is also a pleasure to thank the referee whose comments improved this paper significantly. The author was supported in part by National Science Foundation grant DMS 098. Semiclassical Wave Packets The semiclassical wave packets depend on two invertible d d complex matrices A and B that are always assumed to satisfy A B + B A I and A t B B t A 0. They also depend on a phase space point a, η) that plays no role in the present work. After chosing a branch of the square root, we define ϕ 0 A, B,, a, η, x) π d/4 d/4 det A) / x a), B A x a) + i ) η, x a). Here, and for the rest of this paper, we regard R d as being embedded in C d, and for any two vectors a C d and b C d, we use the notation a, b j For l d, we define the l th raising operator a j b j. R l A l A, B,, a, η) B e l, x a) i i η) ). Then recursively, for any multi-index k, we define ϕ k+el A, B,, a, η, x) kl + R lϕ k A, B,, a, η))x).
3 For fixed A, B,, a, η, these wave packets form an orthonormal basis indexed by k. It is easy to see that ϕ k A, B,, a, η, x) k / k!) / P k A,, x a)) ϕ 0 A, B,, a, η, x), where P k A,, x a)) is a polynomial of degree k in x a), although from this definition, it is not immediately obvious that P k A,, x a)) is independent of B. Since they play no interesting role in what we are doing here, we henceforth assume a 0 and η 0. 3 The Generating Function Our main result for the generating function is the following: Theorem 3. The generating function for the family of polynomials P k A,, x) is Gx, z) z, A A z + z, A x ). I.e., Gx, z) k P k A,, x) zk k!. Remark We make the unconventional definition A A A. By our conditions on the matrices A and B, this forces A to be real symmetric and strictly positive. We also have the polar decomposition A A U A, where U A is unitary. With this notation, we can write Gx, z) U A z, U A z + UA z, A x ). This equivalent formula is the one we shall actually prove. We begin the proof of Theorem 3. with a lemma that provides an alternative formula for R l. From this formula and an induction on k, one can easily prove that P k A,, x) is independent of B, because ϕ 0 A, B,, 0, 0, x) ϕ 0 A, B,, 0, 0, x) π d/ d/ det A 3 x, ) A x.
4 Lemma 3. For any ψ S, R l ψ)x) ϕ 0 A, B,, 0, 0, x) ϕ 0 A, B,, 0, 0, x) ψx)). Proof: The gradient on the right hand side of the equation in the lemma can act either on the ϕ 0 or on the ψ. So, we get two terms when we compute this: j ) e j e j, B A x + x, B A e j ψx) ) ψ)x). The second term here is precisely the second term i i ) ψx) ), in the ression for R l ψ)x). So, we need only show the first term here equals the first term, B e l, x ψx), in the ression for R l ψ)x). To do this, we begin by noting that the first term here equals j ) e j e j, B A x + x, B A e j ψx) j ) e j e j, B A x + B A e j, x ψx) j ) e j e j, B A x + B A e j, x ψx) j e j e j, B A x + e j, A ) ) B x ψx) B A + A ) B x ψx) Because of the relations satisfied by A and B, B A is real symmetric) + i real symmetric). So, its conjugate, B A has this same form. Thus, B A equals its transpose, which 4
5 is A ) B. So, the quantity of interest here equals A el, A ) B x ψx) el, A A ) B x ψx) e l, B x ψx) B e l, x ψx), which is what we had to show. Proof of Theorem 3.: p k in d variables with the following properties: By an induction on k, we prove there is a k th order polynomial P k A,, x) p k A x/ ). Gx, z) p k A x/ U A z) Gx, z). z The result then follows by setting z 0. We never compute the polynomial p k because it may be complicated. We also use the notation p k A,, x) p k A x/ ). +el We define p 0. Below, we inductively compute Gx, z). For our second z condition above to hold, p k+el must be defined via the sum of formulas 3.) and 3.). This uniquely defines the polynomial p k+el. l d: For k 0, the result is trivial since P 0 A,, x). For the induction step, it is sufficient to do the following for an arbitrary positive integer Assuming we have already proved these for some k, we prove them for the multi index k +e l. To do this, we begin by noting that ϕ k A, B,, 0, 0, x) k! R k ϕ 0 A, B,, 0, 0))x). 5
6 Also, So, ϕ k A, B,, 0, 0, x) k / k!) / P k A,, x) ϕ 0 A, B,, 0, 0, x). R k ϕ 0 A, B,, 0, 0))x) k / P k A,, x) ϕ 0 A, B,, 0, 0, x). Thus, when we apply the l th raising operator, the polynomial P k A,, x) gets changed to P k+el A,, x). Assuming the induction hypothesis, when we differentiate k G z with respect to z l, the z k l derivative can act on the Gx, z) or it can act on the p k A x/ U A z). When it acts on the Gx, z), we obtain U A x/ ) U A z p k A x/ U A z) Gx, z). 3.) From the induction hypotheses, this is a polynomial of degree k + evaluated at the argument A x/ U A z. Note that this result depends on the following calculation, with Gx, z) written with the polar decomposition of A: G z l x, z) U U A z U A z, U A e l + ) U A x U A x/ ) U A z Gx, z). Gx, z) When the k. z l acts on the polynomial, we either get zero or a polynomial of degree p k ) A x/ U A z), U A e l U p k ) A x/ U A z) Gx, z) Gx, z). 3.) Recall that R l ψ)x) ϕ 0 A, B,, 0, 0, x) 6 ) ϕ 0 A, B,, 0, 0, x) ψx),
7 and that from our induction hypothesis, ϕ 0 A, B,, 0, 0, x) ϕ k A, B,, 0, 0, x) π d/ d/ k / k!) / det A p k A,, x) { x, } A x. When computing R l ϕ k by this formula, the gradient in R l can act on the onential or the p k A,, x). When it acts on the onential, we get k / k!) / p k A,, x) k +)/ k l + k + e l )!) / A el, A x ϕ 0 A, B,, 0, 0, x) U A x/ p k A,, x) ϕ 0 A, B,, 0, 0, x). 3.3) When the gradient in R l acts on the p k A,, x), in R l ϕ k, we get the term k / k!) / x p k A,, x)) ϕ 0 A, B,, 0, 0, x) k +)/ k!) / e j, p k )A,, x) A e j ϕ 0 A, B,, 0, 0, x) j k +)/ k!) / A p k )A,, x) ϕ 0 A, B,, 0, 0, x) k +)/ k l + k + e l )!) / U p k )A,, x) ϕ 0 A, B,, 0, 0, x). 3.4) From 3.) and 3.) with z 0, we obtain U A x/ p k A,, x) U p k ) A x/ ). From 3.3) and 3.4) and taking into account the factor of R l ϕ k ) k l + ϕ k+el, we obtain kl + in P k+el A,, x) U A x/ p k A,, x) U p k ) A x/ ). 7
8 The quantities of interest contain the same polynomial evaluated at the appropriate arguments, and P k+el A,, x) p k+el A,, x). Since l is arbitrary, with l d, the result is true for all multi-indices with order k +, and the induction can proceed. 4 The Rodrigues Formula As an application of the Generating Function formula, we prove a multi dimensional Rodrigues formula for these polynomials. The result is Theorem 4. In d dimensions, with the convention that A is the positive square root of A A, ) A x P k A,, x) ) ) k A x A x. Remark By scaling, it is sufficient to prove this for. We begin the proof of this result with a lemma that embodies a special case of the chain rule for high order derivatives in d dimensions. Lemma 4. Assume F : R d R d is C m and that M : R d R d is linear. Then viewing gradients as column vectors and using multi index notation, x ) m F M x) M t y ) m F )ym x One proves this by induction on m, proving that each component is correct. Proof of Theorem 4. Using this technical result and the generating function, P k A,, x) z U A z) t U A z) + U A z) t A x) ) z0 z U A z A x) t U A z A x) ) A x) t A x) ) z0 A x) t A x) ) z U A z A x) t U A z A x) ) z0 8
9 A x) t A x) ) U A ) t w w A x) t w A x) ) w0 A x) t A x) ) U A ) t w w u) t w u) ) w 0 u A x A x) t A x) ) U A ) t u w u) t w u) ) w 0 u A x A x) t A x) ) U A ) t A t x w A x) t w A x) ) w0 A x) t A x) ) U A ) t A t x A x) t A x) ). However, A t A is real, and with our unusual convention, A A U A. So, U A ) t A A. This proves the theorem. References [] Dietert, H., Keller, J., and Troppmann, S.: An Invariant Class of Hermite Type Multivariate Polynomials for the Wigner Transform. 05 preprint, arxiv: ). [] Hagedorn, G.A.: Raising and Lowering Operators for Semiclassical Wave Packets. Ann. Phys. 69, ). [3] Keller, J.F.: Quantum Dynamics on Potential Energy Surfaces. Doctoral Thesis, Technische Universität München 05). [4] Ohsawa, T.: private communication 05). 9
A Minimal Uncertainty Product for One Dimensional Semiclassical Wave Packets
A Minimal Uncertainty Product for One Dimensional Semiclassical Wave Packets George A. Hagedorn Happy 60 th birthday, Mr. Fritz! Abstract. Although real, normalized Gaussian wave packets minimize the product
More informationNon Adiabatic Transitions in a Simple Born Oppenheimer Scattering System
1 Non Adiabatic Transitions in a Simple Born Oppenheimer Scattering System George A. Hagedorn Department of Mathematics and Center for Statistical Mechanics, Mathematical Physics, and Theoretical Chemistry
More informationExponentially Accurate Semiclassical Tunneling Wave Functions in One Dimension
Exponentially Accurate Semiclassical Tunneling Wave Functions in One Dimension Vasile Gradinaru Seminar for Applied Mathematics ETH Zürich CH 8092 Zürich, Switzerland, George A. Hagedorn Department of
More informationMolecular propagation through crossings and avoided crossings of electron energy levels
Molecular propagation through crossings and avoided crossings of electron energy levels George A. Hagedorn Department of Mathematics and Center for Statistical Mechanics and Mathematical Physics Virginia
More informationA Time Splitting for the Semiclassical Schrödinger Equation
A Time Splitting for the Semiclassical Schrödinger Equation V. Gradinaru Seminar for Applied Mathematics, ETH Zürich, CH 809, Zürich, Switzerland vasile.gradinaru@sam.math.ethz.ch and G. A. Hagedorn Department
More informationUNDERSTANDING THE DIAGONALIZATION PROBLEM. Roy Skjelnes. 1.- Linear Maps 1.1. Linear maps. A map T : R n R m is a linear map if
UNDERSTANDING THE DIAGONALIZATION PROBLEM Roy Skjelnes Abstract These notes are additional material to the course B107, given fall 200 The style may appear a bit coarse and consequently the student is
More informationSemi-Classical Dynamics Using Hagedorn Wavepackets
Semi-Classical Dynamics Using Hagedorn Wavepackets Leila Taghizadeh June 6, 2013 Leila Taghizadeh () Semi-Classical Dynamics Using Hagedorn Wavepackets June 6, 2013 1 / 56 Outline 1 The Schrödinger Equation
More informationThe Time{Dependent Born{Oppenheimer Approximation and Non{Adiabatic Transitions
The Time{Dependent Born{Oppenheimer Approximation and Non{Adiabatic Transitions George A. Hagedorn Department of Mathematics, and Center for Statistical Mechanics, Mathematical Physics, and Theoretical
More information1 Examples of Weak Induction
More About Mathematical Induction Mathematical induction is designed for proving that a statement holds for all nonnegative integers (or integers beyond an initial one). Here are some extra examples of
More informationA proof of the Jordan normal form theorem
A proof of the Jordan normal form theorem Jordan normal form theorem states that any matrix is similar to a blockdiagonal matrix with Jordan blocks on the diagonal. To prove it, we first reformulate it
More informationarxiv: v1 [math.co] 3 Nov 2014
SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS BERND C. KELLNER arxiv:1411.0590v1 [math.co] 3 Nov 014 Abstract. We consider iterations of integer-valued functions φ, which have no fixed
More informationMultiplicativity of Maximal p Norms in Werner Holevo Channels for 1 < p 2
Multiplicativity of Maximal p Norms in Werner Holevo Channels for 1 < p 2 arxiv:quant-ph/0410063v1 8 Oct 2004 Nilanjana Datta Statistical Laboratory Centre for Mathematical Sciences University of Cambridge
More informationSYMMETRIC KRONECKER PRODUCTS AND SEMICLASSICAL WAVE PACKETS
SYMMETRIC KRONECKER PRODUCTS AND SEMICLASSICAL WAVE PACKETS GEORGE A HAGEDORN AND CAROLINE LASSER Abstract We investigate the iterate Kronecker prouct of a square matrix with itself an prove an invariance
More information= W z1 + W z2 and W z1 z 2
Math 44 Fall 06 homework page Math 44 Fall 06 Darij Grinberg: homework set 8 due: Wed, 4 Dec 06 [Thanks to Hannah Brand for parts of the solutions] Exercise Recall that we defined the multiplication of
More informationLinear Algebra and Dirac Notation, Pt. 1
Linear Algebra and Dirac Notation, Pt. 1 PHYS 500 - Southern Illinois University February 1, 2017 PHYS 500 - Southern Illinois University Linear Algebra and Dirac Notation, Pt. 1 February 1, 2017 1 / 13
More informationDecomposition of Riesz frames and wavelets into a finite union of linearly independent sets
Decomposition of Riesz frames and wavelets into a finite union of linearly independent sets Ole Christensen, Alexander M. Lindner Abstract We characterize Riesz frames and prove that every Riesz frame
More informationREPRESENTING HOMOLOGY AUTOMORPHISMS OF NONORIENTABLE SURFACES
REPRESENTING HOMOLOGY AUTOMORPHISMS OF NONORIENTABLE SURFACES JOHN D. MCCARTHY AND ULRICH PINKALL Abstract. In this paper, we prove that every automorphism of the first homology group of a closed, connected,
More informationIr O D = D = ( ) Section 2.6 Example 1. (Bottom of page 119) dim(v ) = dim(l(v, W )) = dim(v ) dim(f ) = dim(v )
Section 3.2 Theorem 3.6. Let A be an m n matrix of rank r. Then r m, r n, and, by means of a finite number of elementary row and column operations, A can be transformed into the matrix ( ) Ir O D = 1 O
More informationA Multiplicative Operation on Matrices with Entries in an Arbitrary Abelian Group
A Multiplicative Operation on Matrices with Entries in an Arbitrary Abelian Group Cyrus Hettle (cyrus.h@uky.edu) Robert P. Schneider (robert.schneider@uky.edu) University of Kentucky Abstract We define
More informationLegendre s Equation. PHYS Southern Illinois University. October 18, 2016
Legendre s Equation PHYS 500 - Southern Illinois University October 18, 2016 PHYS 500 - Southern Illinois University Legendre s Equation October 18, 2016 1 / 11 Legendre s Equation Recall We are trying
More informationLecture notes on Quantum Computing. Chapter 1 Mathematical Background
Lecture notes on Quantum Computing Chapter 1 Mathematical Background Vector states of a quantum system with n physical states are represented by unique vectors in C n, the set of n 1 column vectors 1 For
More informationA Time Dependent Born Oppenheimer Approximation with Exponentially Small Error Estimates
A Time Dependent Born Oppenheimer Approximation with Exponentially Small Error Estimates George A. Hagedorn Department of Mathematics and Center for Statistical Mechanics and Mathematical Physics Virginia
More informationThe Cyclic Decomposition of a Nilpotent Operator
The Cyclic Decomposition of a Nilpotent Operator 1 Introduction. J.H. Shapiro Suppose T is a linear transformation on a vector space V. Recall Exercise #3 of Chapter 8 of our text, which we restate here
More informationLinear and Multilinear Algebra. Linear maps preserving rank of tensor products of matrices
Linear maps preserving rank of tensor products of matrices Journal: Manuscript ID: GLMA-0-0 Manuscript Type: Original Article Date Submitted by the Author: -Aug-0 Complete List of Authors: Zheng, Baodong;
More informationPseudo-Hermiticity and Generalized P T- and CP T-Symmetries
Pseudo-Hermiticity and Generalized P T- and CP T-Symmetries arxiv:math-ph/0209018v3 28 Nov 2002 Ali Mostafazadeh Department of Mathematics, Koç University, umelifeneri Yolu, 80910 Sariyer, Istanbul, Turkey
More informationPage 404. Lecture 22: Simple Harmonic Oscillator: Energy Basis Date Given: 2008/11/19 Date Revised: 2008/11/19
Page 404 Lecture : Simple Harmonic Oscillator: Energy Basis Date Given: 008/11/19 Date Revised: 008/11/19 Coordinate Basis Section 6. The One-Dimensional Simple Harmonic Oscillator: Coordinate Basis Page
More informationThe Contraction Mapping Theorem and the Implicit and Inverse Function Theorems
The Contraction Mapping Theorem and the Implicit and Inverse Function Theorems The Contraction Mapping Theorem Theorem The Contraction Mapping Theorem) Let B a = { x IR d x < a } denote the open ball of
More informationMath 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.
Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,
More informationA matrix over a field F is a rectangular array of elements from F. The symbol
Chapter MATRICES Matrix arithmetic A matrix over a field F is a rectangular array of elements from F The symbol M m n (F ) denotes the collection of all m n matrices over F Matrices will usually be denoted
More informationMolecular Resonance Raman and Rayleigh Scattering Stimulated by a Short Laser Pulse
Molecular Resonance Raman and Rayleigh Scattering Stimulated by a Short Laser Pulse George A. Hagedorn Department of Mathematics and Center for Statistical Mechanics, Mathematical Physics, and Theoretical
More informationW if p = 0; ; W ) if p 1. p times
Alternating and symmetric multilinear functions. Suppose and W are normed vector spaces. For each integer p we set {0} if p < 0; W if p = 0; ( ; W = L( }... {{... } ; W if p 1. p times We say µ p ( ; W
More informationEuler Equations: local existence
Euler Equations: local existence Mat 529, Lesson 2. 1 Active scalars formulation We start with a lemma. Lemma 1. Assume that w is a magnetization variable, i.e. t w + u w + ( u) w = 0. If u = Pw then u
More informationSergey Norin Department of Mathematics and Statistics McGill University Montreal, Quebec H3A 2K6, Canada. and
NON-PLANAR EXTENSIONS OF SUBDIVISIONS OF PLANAR GRAPHS Sergey Norin Department of Mathematics and Statistics McGill University Montreal, Quebec H3A 2K6, Canada and Robin Thomas 1 School of Mathematics
More informationHeisenberg Uncertainty in Reduced Power Algebras
Heisenberg Uncertainty in Reduced Power Algebras Elemér E Rosinger Department of Mathematics and Applied Mathematics University of Pretoria Pretoria 0002 South Africa eerosinger@hotmail.com Abstract The
More informationNon Adiabatic Transitions near Avoided Crossings: Theory and Numerics
Non Adiabatic Transitions near Avoided Crossings: Theory and Numerics Raoul Bourquin a, Vasile Gradinaru a, George A. Hagedorn b April 8, 2011 Abstract We present a review of rigorous mathematical results
More informationJORDAN NORMAL FORM. Contents Introduction 1 Jordan Normal Form 1 Conclusion 5 References 5
JORDAN NORMAL FORM KATAYUN KAMDIN Abstract. This paper outlines a proof of the Jordan Normal Form Theorem. First we show that a complex, finite dimensional vector space can be decomposed into a direct
More informationA CRITERION FOR POTENTIALLY GOOD REDUCTION IN NON-ARCHIMEDEAN DYNAMICS
A CRITERION FOR POTENTIALLY GOOD REDUCTION IN NON-ARCHIMEDEAN DYNAMICS ROBERT L. BENEDETTO Abstract. Let K be a non-archimedean field, and let φ K(z) be a polynomial or rational function of degree at least
More informationMath 108b: Notes on the Spectral Theorem
Math 108b: Notes on the Spectral Theorem From section 6.3, we know that every linear operator T on a finite dimensional inner product space V has an adjoint. (T is defined as the unique linear operator
More informationMATRICES ARE SIMILAR TO TRIANGULAR MATRICES
MATRICES ARE SIMILAR TO TRIANGULAR MATRICES 1 Complex matrices Recall that the complex numbers are given by a + ib where a and b are real and i is the imaginary unity, ie, i 2 = 1 In what we describe below,
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationBoolean Inner-Product Spaces and Boolean Matrices
Boolean Inner-Product Spaces and Boolean Matrices Stan Gudder Department of Mathematics, University of Denver, Denver CO 80208 Frédéric Latrémolière Department of Mathematics, University of Denver, Denver
More informationBasic Concepts of Group Theory
Chapter 1 Basic Concepts of Group Theory The theory of groups and vector spaces has many important applications in a number of branches of modern theoretical physics. These include the formal theory of
More informationZero estimates for polynomials inspired by Hilbert s seventh problem
Radboud University Faculty of Science Institute for Mathematics, Astrophysics and Particle Physics Zero estimates for polynomials inspired by Hilbert s seventh problem Author: Janet Flikkema s4457242 Supervisor:
More informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
More informationThe 4-periodic spiral determinant
The 4-periodic spiral determinant Darij Grinberg rough draft, October 3, 2018 Contents 001 Acknowledgments 1 1 The determinant 1 2 The proof 4 *** The purpose of this note is to generalize the determinant
More informationA SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES
A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES PATRICK BROSNAN Abstract. I generalize the standard notion of the composition g f of correspondences f : X Y and g : Y Z to the case that X
More informationLinear Algebra 2 Spectral Notes
Linear Algebra 2 Spectral Notes In what follows, V is an inner product vector space over F, where F = R or C. We will use results seen so far; in particular that every linear operator T L(V ) has a complex
More informationA new type of PT-symmetric random matrix ensembles
A new type of PT-symmetric random matrix ensembles Eva-Maria Graefe Department of Mathematics, Imperial College London, UK joint work with Steve Mudute-Ndumbe and Matthew Taylor Department of Mathematics,
More informationAn almost sure invariance principle for additive functionals of Markov chains
Statistics and Probability Letters 78 2008 854 860 www.elsevier.com/locate/stapro An almost sure invariance principle for additive functionals of Markov chains F. Rassoul-Agha a, T. Seppäläinen b, a Department
More informationChecking Consistency. Chapter Introduction Support of a Consistent Family
Chapter 11 Checking Consistency 11.1 Introduction The conditions which define a consistent family of histories were stated in Ch. 10. The sample space must consist of a collection of mutually orthogonal
More information22.3. Repeated Eigenvalues and Symmetric Matrices. Introduction. Prerequisites. Learning Outcomes
Repeated Eigenvalues and Symmetric Matrices. Introduction In this Section we further develop the theory of eigenvalues and eigenvectors in two distinct directions. Firstly we look at matrices where one
More informationMath 396. An application of Gram-Schmidt to prove connectedness
Math 396. An application of Gram-Schmidt to prove connectedness 1. Motivation and background Let V be an n-dimensional vector space over R, and define GL(V ) to be the set of invertible linear maps V V
More informationLattices and Hermite normal form
Integer Points in Polyhedra Lattices and Hermite normal form Gennady Shmonin February 17, 2009 1 Lattices Let B = { } b 1,b 2,...,b k be a set of linearly independent vectors in n-dimensional Euclidean
More informationMATHEMATICS 217 NOTES
MATHEMATICS 27 NOTES PART I THE JORDAN CANONICAL FORM The characteristic polynomial of an n n matrix A is the polynomial χ A (λ) = det(λi A), a monic polynomial of degree n; a monic polynomial in the variable
More informationCLUSTER ALGEBRA ALFREDO NÁJERA CHÁVEZ
Séminaire Lotharingien de Combinatoire 69 (203), Article B69d ON THE c-vectors AND g-vectors OF THE MARKOV CLUSTER ALGEBRA ALFREDO NÁJERA CHÁVEZ Abstract. We describe the c-vectors and g-vectors of the
More informationQuantum Computing Lecture 2. Review of Linear Algebra
Quantum Computing Lecture 2 Review of Linear Algebra Maris Ozols Linear algebra States of a quantum system form a vector space and their transformations are described by linear operators Vector spaces
More informationAN UPPER BOUND FOR SIGNATURES OF IRREDUCIBLE, SELF-DUAL gl(n, C)-REPRESENTATIONS
AN UPPER BOUND FOR SIGNATURES OF IRREDUCIBLE, SELF-DUAL gl(n, C)-REPRESENTATIONS CHRISTOPHER XU UROP+ Summer 2018 Mentor: Daniil Kalinov Project suggested by David Vogan Abstract. For every irreducible,
More informationarxiv: v1 [math.ra] 13 Jan 2009
A CONCISE PROOF OF KRUSKAL S THEOREM ON TENSOR DECOMPOSITION arxiv:0901.1796v1 [math.ra] 13 Jan 2009 JOHN A. RHODES Abstract. A theorem of J. Kruskal from 1977, motivated by a latent-class statistical
More informationA LOWER BOUND FOR THE SIZE OF A MINKOWSKI SUM OF DILATES. 1. Introduction
A LOWER BOUND FOR THE SIZE OF A MINKOWSKI SUM OF DILATES Y. O. HAMIDOUNE AND J. RUÉ Abstract. Let A be a finite nonempty set of integers. An asymptotic estimate of several dilates sum size was obtained
More informationON KRONECKER PRODUCTS OF CHARACTERS OF THE SYMMETRIC GROUPS WITH FEW COMPONENTS
ON KRONECKER PRODUCTS OF CHARACTERS OF THE SYMMETRIC GROUPS WITH FEW COMPONENTS C. BESSENRODT AND S. VAN WILLIGENBURG Abstract. Confirming a conjecture made by Bessenrodt and Kleshchev in 1999, we classify
More informationCS286.2 Lecture 8: A variant of QPCP for multiplayer entangled games
CS286.2 Lecture 8: A variant of QPCP for multiplayer entangled games Scribe: Zeyu Guo In the first lecture, we saw three equivalent variants of the classical PCP theorems in terms of CSP, proof checking,
More informationL. Levaggi A. Tabacco WAVELETS ON THE INTERVAL AND RELATED TOPICS
Rend. Sem. Mat. Univ. Pol. Torino Vol. 57, 1999) L. Levaggi A. Tabacco WAVELETS ON THE INTERVAL AND RELATED TOPICS Abstract. We use an abstract framework to obtain a multilevel decomposition of a variety
More informationA geometric proof of the spectral theorem for real symmetric matrices
0 0 0 A geometric proof of the spectral theorem for real symmetric matrices Robert Sachs Department of Mathematical Sciences George Mason University Fairfax, Virginia 22030 rsachs@gmu.edu January 6, 2011
More informationA linear algebra proof of the fundamental theorem of algebra
A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional
More informationRepresentation Theory
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character
More informationAPPENDIX A. Background Mathematics. A.1 Linear Algebra. Vector algebra. Let x denote the n-dimensional column vector with components x 1 x 2.
APPENDIX A Background Mathematics A. Linear Algebra A.. Vector algebra Let x denote the n-dimensional column vector with components 0 x x 2 B C @. A x n Definition 6 (scalar product). The scalar product
More informationCanonical inner products on C (n) and M(n,K)
1 Canonical inner products on C (n) and M(n,K) Let K Â, Ç or Ó, and let M(n,K) denote the n x n matrices with elements in K Let C (n) denote the Clifford algebra determined by  n with the canonical inner
More informationA concise proof of Kruskal s theorem on tensor decomposition
A concise proof of Kruskal s theorem on tensor decomposition John A. Rhodes 1 Department of Mathematics and Statistics University of Alaska Fairbanks PO Box 756660 Fairbanks, AK 99775 Abstract A theorem
More informationADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS
ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS 1. Cardinal number of a set The cardinal number (or simply cardinal) of a set is a generalization of the concept of the number of elements
More information(Inv) Computing Invariant Factors Math 683L (Summer 2003)
(Inv) Computing Invariant Factors Math 683L (Summer 23) We have two big results (stated in (Can2) and (Can3)) concerning the behaviour of a single linear transformation T of a vector space V In particular,
More informationSpectra of Semidirect Products of Cyclic Groups
Spectra of Semidirect Products of Cyclic Groups Nathan Fox 1 University of Minnesota-Twin Cities Abstract The spectrum of a graph is the set of eigenvalues of its adjacency matrix A group, together with
More informationStructure Groups of Pseudo-Riemannian Algebraic Curvature Tensors
Structure Groups of Pseudo-Riemannian Algebraic Curvature Tensors Joseph Palmer August 20, 2010 Abstract We study the group of endomorphisms which preserve given model spaces under precomposition, known
More informationAuthor copy. for some integers a i, b i. b i
Cent. Eur. J. Math. 6(3) 008 48-487 DOI: 10.478/s11533-008-0038-4 Central European Journal of Mathematics Rational points on the unit sphere Research Article Eric Schmutz Mathematics Department, Drexel
More informationProblem: A class of dynamical systems characterized by a fast divergence of the orbits. A paradigmatic example: the Arnold cat.
À È Ê ÇÄÁ Ë ËÌ ÅË Problem: A class of dynamical systems characterized by a fast divergence of the orbits A paradigmatic example: the Arnold cat. The closure of a homoclinic orbit. The shadowing lemma.
More informationSpectral Theorem for Self-adjoint Linear Operators
Notes for the undergraduate lecture by David Adams. (These are the notes I would write if I was teaching a course on this topic. I have included more material than I will cover in the 45 minute lecture;
More informationEuler characteristic of the truncated order complex of generalized noncrossing partitions
Euler characteristic of the truncated order complex of generalized noncrossing partitions D. Armstrong and C. Krattenthaler Department of Mathematics, University of Miami, Coral Gables, Florida 33146,
More informationLinear perturbations of general disconjugate equations
Trinity University From the SelectedWorks of William F. Trench 1985 Linear perturbations of general disconjugate equations William F. Trench, Trinity University Available at: https://works.bepress.com/william_trench/53/
More informationPLEASE LET ME KNOW IF YOU FIND TYPOS (send to
Teoretisk Fysik KTH Advanced QM (SI2380), Lecture 2 (Summary of concepts) 1 PLEASE LET ME KNOW IF YOU FIND TYPOS (send email to langmann@kth.se) The laws of QM 1. I now discuss the laws of QM and their
More informationNOTES IN COMMUTATIVE ALGEBRA: PART 2
NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they
More informationIntegrable operator representations of R 2 q and SL q (2, R)
Seminar Sophus Lie 2 (1992) 17 114 Integrable operator representations of R 2 q and SL q (2, R) Konrad Schmüdgen 1. Introduction Unbounded self-adjoint or normal operators in Hilbert space which satisfy
More informationarxiv: v1 [math.gm] 1 Oct 2015
A WINDOW TO THE CONVERGENCE OF A COLLATZ SEQUENCE arxiv:1510.0174v1 [math.gm] 1 Oct 015 Maya Mohsin Ahmed maya.ahmed@gmail.com Accepted: Abstract In this article, we reduce the unsolved problem of convergence
More informationg(x) = P (y) Proof. This is true for n = 0. Assume by the inductive hypothesis that g (n) (0) = 0 for some n. Compute g (n) (h) g (n) (0)
Mollifiers and Smooth Functions We say a function f from C is C (or simply smooth) if all its derivatives to every order exist at every point of. For f : C, we say f is C if all partial derivatives to
More informationInner Product Spaces An inner product on a complex linear space X is a function x y from X X C such that. (1) (2) (3) x x > 0 for x 0.
Inner Product Spaces An inner product on a complex linear space X is a function x y from X X C such that (1) () () (4) x 1 + x y = x 1 y + x y y x = x y x αy = α x y x x > 0 for x 0 Consequently, (5) (6)
More informationSums of Squares. Bianca Homberg and Minna Liu
Sums of Squares Bianca Homberg and Minna Liu June 24, 2010 Abstract For our exploration topic, we researched the sums of squares. Certain properties of numbers that can be written as the sum of two squares
More informationarxiv: v2 [math.pr] 4 Sep 2017
arxiv:1708.08576v2 [math.pr] 4 Sep 2017 On the Speed of an Excited Asymmetric Random Walk Mike Cinkoske, Joe Jackson, Claire Plunkett September 5, 2017 Abstract An excited random walk is a non-markovian
More informationOn a Block Matrix Inequality quantifying the Monogamy of the Negativity of Entanglement
On a Block Matrix Inequality quantifying the Monogamy of the Negativity of Entanglement Koenraad M.R. Audenaert Department of Mathematics, Royal Holloway University of London, Egham TW0 0EX, United Kingdom
More informationOn Tensor Products of Polynomial Representations
Canad. Math. Bull. Vol. 5 (4), 2008 pp. 584 592 On Tensor Products of Polynomial Representations Kevin Purbhoo and Stephanie van Willigenburg Abstract. We determine the necessary and sufficient combinatorial
More informationThe Erdős-Moser Conjecture
The Erdős-Moser Conjecture An Application of Linear Algebra to Combinatorics Richard P. Stanley M.I.T. The function f(s, α) Let S R, #S
More informationLinear Algebra: Matrix Eigenvalue Problems
CHAPTER8 Linear Algebra: Matrix Eigenvalue Problems Chapter 8 p1 A matrix eigenvalue problem considers the vector equation (1) Ax = λx. 8.0 Linear Algebra: Matrix Eigenvalue Problems Here A is a given
More informationINVERSE FUNCTION THEOREM and SURFACES IN R n
INVERSE FUNCTION THEOREM and SURFACES IN R n Let f C k (U; R n ), with U R n open. Assume df(a) GL(R n ), where a U. The Inverse Function Theorem says there is an open neighborhood V U of a in R n so that
More informationDenotational semantics: proofs
APPENDIX A Denotational semantics: proofs We show that every closed term M has a computable functional [[M ] as its denotation. A.1. Unification We show that for any two constructor terms one can decide
More informationMathematical Induction
Chapter 6 Mathematical Induction 6.1 The Process of Mathematical Induction 6.1.1 Motivating Mathematical Induction Consider the sum of the first several odd integers. produce the following: 1 = 1 1 + 3
More informationCullen Numbers in Binary Recurrent Sequences
Cullen Numbers in Binary Recurrent Sequences Florian Luca 1 and Pantelimon Stănică 2 1 IMATE-UNAM, Ap. Postal 61-3 (Xangari), CP 58 089 Morelia, Michoacán, Mexico; e-mail: fluca@matmor.unam.mx 2 Auburn
More informationGroups with many subnormal subgroups. *
Groups with many subnormal subgroups. * Eloisa Detomi Dipartimento di Matematica, Facoltà di Ingegneria, Università degli Studi di Brescia, via Valotti 9, 25133 Brescia, Italy. E-mail: detomi@ing.unibs.it
More informationThe decomposability of simple orthogonal arrays on 3 symbols having t + 1 rows and strength t
The decomposability of simple orthogonal arrays on 3 symbols having t + 1 rows and strength t Wiebke S. Diestelkamp Department of Mathematics University of Dayton Dayton, OH 45469-2316 USA wiebke@udayton.edu
More informationRings With Topologies Induced by Spaces of Functions
Rings With Topologies Induced by Spaces of Functions Răzvan Gelca April 7, 2006 Abstract: By considering topologies on Noetherian rings that carry the properties of those induced by spaces of functions,
More informationLECTURE VI: SELF-ADJOINT AND UNITARY OPERATORS MAT FALL 2006 PRINCETON UNIVERSITY
LECTURE VI: SELF-ADJOINT AND UNITARY OPERATORS MAT 204 - FALL 2006 PRINCETON UNIVERSITY ALFONSO SORRENTINO 1 Adjoint of a linear operator Note: In these notes, V will denote a n-dimensional euclidean vector
More informationDIVIDING AND WEAK QUASI-DIMENSIONS IN ARBITRARY THEORIES
DIVIDING AND WEAK QUASI-DIMENSIONS IN ARBITRARY THEORIES ISAAC GODBRING AND HENRY TOWSNER Abstract. We show that any countable model of a model complete theory has an elementary extension with a pseudofinite-like
More informationDUALITY, CENTRAL CHARACTERS, AND REAL-VALUED CHARACTERS OF FINITE GROUPS OF LIE TYPE
DUALITY, CENTRAL CHARACTERS, AND REAL-VALUED CHARACTERS OF FINITE GROUPS OF LIE TYPE C. RYAN VINROOT Abstract. We prove that the duality operator preserves the Frobenius- Schur indicators of characters
More informationA = , A 32 = n ( 1) i +j a i j det(a i j). (1) j=1
Lecture Notes: Determinant of a Square Matrix Yufei Tao Department of Computer Science and Engineering Chinese University of Hong Kong taoyf@cse.cuhk.edu.hk 1 Determinant Definition Let A [a ij ] be an
More information