Characteristic Hypersurfaces and Constraint Theory
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
A Short Introduction to the Quantum Formalism[S]
A short introduction to the quantum formalism[s] François David Institut de Physique Théorique CNRS, URA 2306, F-91191 Gif-sur-Yvette, France CEA, IPhT, F-91191 Gif-sur-Yvette, France [email protected] These notes are an elaboration on: (i) a short course that I gave at the IPhT-Saclay in May- June 2012; (ii) a previous letter [Dav11] on reversibility in quantum mechanics. They present an introductory, but hopefully coherent, view of the main formalizations of quantum mechanics, of their interrelations and of their common physical underpinnings: causality, reversibility and locality/separability. The approaches covered are mainly: (ii) the canonical formalism; (ii) the algebraic formalism; (iii) the quantum logic formulation. Other subjects: quantum information approaches, quantum correlations, contextuality and non-locality issues, quantum measurements, interpretations and alternate theories, quantum gravity, are only very briefly and superficially discussed. Most of the material is not new, but is presented in an original, homogeneous and hopefully not technical or abstract way. I try to define simply all the mathematical concepts used and to justify them physically. These notes should be accessible to young physicists (graduate level) with a good knowledge of the standard formalism of quantum mechanics, and some interest for theoretical physics (and mathematics). These notes do not cover the historical and philosophical aspects of quantum physics. arXiv:1211.5627v1 [math-ph] 24 Nov 2012 Preprint IPhT t12/042 ii CONTENTS Contents 1 Introduction 1-1 1.1 Motivation . 1-1 1.2 Organization . 1-2 1.3 What this course is not! . 1-3 1.4 Acknowledgements . 1-3 2 Reminders 2-1 2.1 Classical mechanics . -
Functional Integration on Paracompact Manifods Pierre Grange, E
Functional Integration on Paracompact Manifods Pierre Grange, E. Werner To cite this version: Pierre Grange, E. Werner. Functional Integration on Paracompact Manifods: Functional Integra- tion on Manifold. Theoretical and Mathematical Physics, Consultants bureau, 2018, pp.1-29. hal- 01942764 HAL Id: hal-01942764 https://hal.archives-ouvertes.fr/hal-01942764 Submitted on 3 Dec 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Functional Integration on Paracompact Manifolds Pierre Grangé Laboratoire Univers et Particules, Université Montpellier II, CNRS/IN2P3, Place E. Bataillon F-34095 Montpellier Cedex 05, France E-mail: [email protected] Ernst Werner Institut fu¨r Theoretische Physik, Universita¨t Regensburg, Universita¨tstrasse 31, D-93053 Regensburg, Germany E-mail: [email protected] ........................................................................ Abstract. In 1948 Feynman introduced functional integration. Long ago the problematic aspect of measures in the space of fields was overcome with the introduction of volume elements in Probability Space, leading to stochastic formulations. More recently Cartier and DeWitt-Morette (CDWM) focused on the definition of a proper integration measure and established a rigorous mathematical formulation of functional integration. CDWM’s central observation relates to the distributional nature of fields, for it leads to the identification of distribution functionals with Schwartz space test functions as density measures. -
Reduced Phase Space Quantization and Dirac Observables
Reduced Phase Space Quantization and Dirac Observables T. Thiemann∗ MPI f. Gravitationsphysik, Albert-Einstein-Institut, Am M¨uhlenberg 1, 14476 Potsdam, Germany and Perimeter Institute f. Theoretical Physics, Waterloo, ON N2L 2Y5, Canada Abstract In her recent work, Dittrich generalized Rovelli’s idea of partial observables to construct Dirac observables for constrained systems to the general case of an arbitrary first class constraint algebra with structure functions rather than structure constants. Here we use this framework and propose how to implement explicitly a reduced phase space quantization of a given system, at least in principle, without the need to compute the gauge equivalence classes. The degree of practicality of this programme depends on the choice of the partial observables involved. The (multi-fingered) time evolution was shown to correspond to an automorphism on the set of Dirac observables so generated and interesting representations of the latter will be those for which a suitable preferred subgroup is realized unitarily. We sketch how such a programme might look like for General Relativity. arXiv:gr-qc/0411031v1 6 Nov 2004 We also observe that the ideas by Dittrich can be used in order to generate constraints equivalent to those of the Hamiltonian constraints for General Relativity such that they are spatially diffeomorphism invariant. This has the important consequence that one can now quantize the new Hamiltonian constraints on the partially reduced Hilbert space of spatially diffeomorphism invariant states, just as for the recently proposed Master constraint programme. 1 Introduction It is often stated that there are no Dirac observables known for General Relativity, except for the ten Poincar´echarges at spatial infinity in situations with asymptotically flat boundary conditions. -
Theory of Systems with Constraints
Theory of systems with Constraints Javier De Cruz P´erez Facultat de F´ısica, Universitat de Barcelona, Diagonal 645, 08028 Barcelona, Spain.∗ Abstract: We discuss systems subject to constraints. We review Dirac's classical formalism of dealing with such problems and motivate the definition of objects such as singular and nonsingular Lagrangian, first and second class constraints, and the Dirac bracket. We show how systems with first class constraints can be considered to be systems with gauge freedom. We conclude by studing a classical example of systems with constraints, electromagnetic field I. INTRODUCTION II. GENERAL CONSIDERATIONS Consider a system with a finite number, k , of degrees of freedom is described by a Lagrangian L = L(qs; q_s) that don't depend on t. The action of the system is [3] In the standard case, to obtain the equations of motion, Z we follow the usual steps. If we use the Lagrangian for- S = dtL(qs; q_s) (1) malism, first of all we find the Lagrangian of the system, calculate the Euler-Lagrange equations and we obtain the If we apply the least action principle action δS = 0, we accelerations as a function of positions and velocities. All obtain the Euler-Lagrange equations this is possible if and only if the Lagrangian of the sys- tems is non-singular, if not so the system is non-standard @L d @L − = 0 s = 1; :::; k (2) and we can't apply the standard formalism. Then we say @qs dt @q_s that the Lagrangian is singular and constraints on the ini- tial data occur. -
Well-Defined Lagrangian Flows for Absolutely Continuous Curves of Probabilities on the Line
Graduate Theses, Dissertations, and Problem Reports 2016 Well-defined Lagrangian flows for absolutely continuous curves of probabilities on the line Mohamed H. Amsaad Follow this and additional works at: https://researchrepository.wvu.edu/etd Recommended Citation Amsaad, Mohamed H., "Well-defined Lagrangian flows for absolutely continuous curves of probabilities on the line" (2016). Graduate Theses, Dissertations, and Problem Reports. 5098. https://researchrepository.wvu.edu/etd/5098 This Dissertation is protected by copyright and/or related rights. It has been brought to you by the The Research Repository @ WVU with permission from the rights-holder(s). You are free to use this Dissertation in any way that is permitted by the copyright and related rights legislation that applies to your use. For other uses you must obtain permission from the rights-holder(s) directly, unless additional rights are indicated by a Creative Commons license in the record and/ or on the work itself. This Dissertation has been accepted for inclusion in WVU Graduate Theses, Dissertations, and Problem Reports collection by an authorized administrator of The Research Repository @ WVU. For more information, please contact [email protected]. Well-defined Lagrangian flows for absolutely continuous curves of probabilities on the line Mohamed H. Amsaad Dissertation submitted to the Eberly College of Arts and Sciences at West Virginia University in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Mathematics Adrian Tudorascu, Ph.D., Chair Harumi Hattori, Ph.D. Harry Gingold, Ph.D. Tudor Stanescu, Ph.D. Charis Tsikkou, Ph.D. Department Of Mathematics Morgantown, West Virginia 2016 Keywords: Continuity Equation, Lagrangian Flow, Optimal Transport, Wasserstein metric, Wasserstein space. -
Arxiv:Math-Ph/9812022 V2 7 Aug 2000
Local quantum constraints Hendrik Grundling Fernando Lledo´∗ Department of Mathematics, Max–Planck–Institut f¨ur Gravitationsphysik, University of New South Wales, Albert–Einstein–Institut, Sydney, NSW 2052, Australia. Am M¨uhlenberg 1, [email protected] D–14476 Golm, Germany. [email protected] AMS classification: 81T05, 81T10, 46L60, 46N50 Abstract We analyze the situation of a local quantum field theory with constraints, both indexed by the same set of space–time regions. In particular we find “weak” Haag–Kastler axioms which will ensure that the final constrained theory satisfies the usual Haag–Kastler axioms. Gupta– Bleuler electromagnetism is developed in detail as an example of a theory which satisfies the “weak” Haag–Kastler axioms but not the usual ones. This analysis is done by pure C*– algebraic means without employing any indefinite metric representations, and we obtain the same physical algebra and positive energy representation for it than by the usual means. The price for avoiding the indefinite metric, is the use of nonregular representations and complex valued test functions. We also exhibit the precise connection with the usual indefinite metric representation. We conclude the analysis by comparing the final physical algebra produced by a system of local constrainings with the one obtained from a single global constraining and also consider the issue of reduction by stages. For the usual spectral condition on the generators of the translation group, we also find a “weak” version, and show that the Gupta–Bleuler example satisfies it. arXiv:math-ph/9812022 v2 7 Aug 2000 1 Introduction In many quantum field theories there are constraints consisting of local expressions of the quantum fields, generally written as a selection condition for the physical subspace (p). -
Lagrangian Constraint Analysis of First-Order Classical Field Theories with an Application to Gravity
PHYSICAL REVIEW D 102, 065015 (2020) Lagrangian constraint analysis of first-order classical field theories with an application to gravity † ‡ Verónica Errasti Díez ,1,* Markus Maier ,1,2, Julio A. M´endez-Zavaleta ,1, and Mojtaba Taslimi Tehrani 1,§ 1Max-Planck-Institut für Physik (Werner-Heisenberg-Institut), Föhringer Ring 6, 80805 Munich, Germany 2Universitäts-Sternwarte, Ludwig-Maximilians-Universität München, Scheinerstrasse 1, 81679 Munich, Germany (Received 19 August 2020; accepted 26 August 2020; published 21 September 2020) We present a method that is optimized to explicitly obtain all the constraints and thereby count the propagating degrees of freedom in (almost all) manifestly first-order classical field theories. Our proposal uses as its only inputs a Lagrangian density and the identification of the a priori independent field variables it depends on. This coordinate-dependent, purely Lagrangian approach is complementary to and in perfect agreement with the related vast literature. Besides, generally overlooked technical challenges and problems derived from an incomplete analysis are addressed in detail. The theoretical framework is minutely illustrated in the Maxwell, Proca and Palatini theories for all finite d ≥ 2 spacetime dimensions. Our novel analysis of Palatini gravity constitutes a noteworthy set of results on its own. In particular, its computational simplicity is visible, as compared to previous Hamiltonian studies. We argue for the potential value of both the method and the given examples in the context of generalized Proca and their coupling to gravity. The possibilities of the method are not exhausted by this concrete proposal. DOI: 10.1103/PhysRevD.102.065015 I. INTRODUCTION In this work, we focus on singular classical field theories It is hard to overemphasize the importance of field theory that are manifestly first order and analyze them employing in high-energy physics. -
Functional Derivative
Appendix Functional Derivative Appendix A: Calculus of Variation Consider a mapping from a vector space of functions to real number. Such mapping is called functional. One of the most representative examples of such a mapping is the action functional of analytical mechanics, A ,which is defined by Zt2 A½xtðÞ Lxt½ðÞ; vtðÞdt ðA:1Þ t1 where t is the independent variable, xtðÞis the trajectory of a particle, vtðÞ¼dx=dt is the velocity of the particle, and L is the Lagrangian which is the difference of kinetic energy and the potential: m L ¼ v2 À uxðÞ ðA:2Þ 2 Calculus of variation is the mathematical theory to find the extremal function xtðÞwhich maximizes or minimizes the functional such as Eq. (A.1). We are interested in the set of functions which satisfy the fixed boundary con- ditions such as xtðÞ¼1 x1 and xtðÞ¼2 x2. An arbitrary element of the function space may be defined from xtðÞby xtðÞ¼xtðÞþegðÞt ðA:3Þ where ε is a real number and gðÞt is any function satisfying gðÞ¼t1 gðÞ¼t2 0. Of course, it is obvious that xtðÞ¼1 x1 and xtðÞ¼2 x2. Varying ε and gðÞt generates any function of the vector space. Substitution of Eq. (A.3) to Eq. (A.1) gives Zt2 dx dg aðÞe A½¼xtðÞþegðÞt L xtðÞþegðÞt ; þ e dt ðA:4Þ dt dt t1 © Springer Science+Business Media Dordrecht 2016 601 K.S. Cho, Viscoelasticity of Polymers, Springer Series in Materials Science 241, DOI 10.1007/978-94-017-7564-9 602 Appendix: Functional Derivative From Eq. -
35 Nopw It Is Time to Face the Menace
35 XIV. CORRELATIONS AND SUSCEPTIBILITY A. Correlations - saddle point approximation: the easy way out Nopw it is time to face the menace - path integrals. We were tithering on the top of this ravine for long enough. We need to take the plunge. The meaning of the path integral is very simple - tofind the partition function of a system locallyfluctuating, we need to consider the all the possible patterns offlucutations, and the only way to do this is through a path integral. But is the path integral so bad? Well, if you believe that anyfluctuation is still quite costly, then the path integral, like the integral over the exponent of a quadratic function, is pretty much determined by where the argument of the exponent is a minimum, plus quadraticfluctuations. These belief is translated into equations via the saddle point approximation. Wefind the minimum of the free energy functional, and then expand upto second order in the exponent. 1 1 F [m(x),h] = ddx γ( m (x))2 +a(T T )m (x)2 + um (x)4 hm + ( m (x))2 ∂2F (219) L ∇ min − c min 2 min − min 2 − min � � � I write here deliberately the vague partial symbol, in fact, this should be the functional derivative. Does this look familiar? This should bring you back to the good old classical mechanics days. Where the Lagrangian is the only thing you wanted to know, and the Euler Lagrange equations were the only guidance necessary. Non of this non-commuting business, or partition function annoyance. Well, these times are back for a short time! In order tofind this, we do a variation: m(x) =m min +δm (220) Upon assignment wefind: u F [m(x),h] = ddx γ( (m +δm)) 2 +a(T T )(m +δm) 2 + (m +δm) 4 h(m +δm) (221) L ∇ min − c min 2 min − min � � � Let’s expand this to second order: d 2 2 d x γ (mmin) + δm 2γ m+γ( δm) → ∇ 2 ∇ · ∇ ∇ 2 +a (mmin) +δm 2am+aδm � � ∇ u 4 ·3 2 2 (222) + 2 mmin +2umminδm +3umminδm hm hδm] − min − Collecting terms in power ofδm, thefirst term is justF L[mmin]. -
On Gauge Fixing and Quantization of Constrained Hamiltonian Systems
BEFE IC/89/118 INTERIMATIOIMAL CENTRE FOR THEORETICAL PHYSICS ON GAUGE FIXING AND QUANTIZATION OF CONSTRAINED HAMILTONIAN SYSTEMS Omer F. Dayi INTERNATIONAL ATOMIC ENERGY AGENCY UNITED NATIONS EDUCATIONAL, SCIENTIFIC AND CULTURAL ORGANIZATION 1989 MIRAMARE-TRIESTE IC/89/118 International Atomic Energy Agency and United Nations Educational Scientific and Cultural Organization INTERNATIONAL CENTRE FOR THEORETICAL PHYSICS Quantization of a classical Hamiltonian system can be achieved by the canonical quantization method [1]. If we ignore the ordering problems, it consists of replacing the classical Poisson brackets by quantum commuta- tors when classically all the states on the phase space are accessible. This is no longer correct in the presence of constraints. An approach due to Dirac ON GAUGE FIXING AND QUANTIZATION [2] is widely used for quantizing the constrained Hamiltonian systems |3|, OF CONSTRAINED HAMILTONIAN SYSTEMS' [4]. In spite of its wide use there is confusion in the application of it in the physics literature. Obtaining the Hamiltonian which Bhould be used in gauge theories is not well-understood. This derives from the misunder- standing of the gauge fixing procedure. One of the aims of this work is to OmerF.Dayi" clarify this issue. The constraints, which are present when there are some irrelevant phase International Centre for Theoretical Physics, Trieste, Italy. space variables, can be classified as first and second class. Second class constraints are eliminated by altering some of the original Poisson bracket relations which is equivalent to imply the vanishing of the constraints as strong equations by using the Dirac procedure [2] or another method |Sj. ABSTRACT Vanishing of second class constraints strongly leads to a reduction in the number of the phase apace variables. -
On the Solution and Application of Rational Expectations Models With
On the Solution and Application of Rational Expectations Models with Function-Valued States⇤ David Childers† November 16, 2015 Abstract Many variables of interest to economists take the form of time varying distribu- tions or functions. This high-dimensional ‘functional’ data can be interpreted in the context of economic models with function valued endogenous variables, but deriving the implications of these models requires solving a nonlinear system for a potentially infinite-dimensional function of infinite-dimensional objects. To overcome this difficulty, I provide methods for characterizing and numerically approximating the equilibria of dynamic, stochastic, general equilibrium models with function-valued state variables by linearization in function space and representation using basis functions. These meth- ods permit arbitrary infinite-dimensional variation in the state variables, do not impose exclusion restrictions on the relationship between variables or limit their impact to a finite-dimensional sufficient statistic, and, most importantly, come with demonstrable guarantees of consistency and polynomial time computational complexity. I demon- strate the applicability of the theory by providing an analytical characterization and computing the solution to a dynamic model of trade, migration, and economic geogra- phy. ⇤Preliminary, subject to revisions. For the latest version, please obtain from the author’s website at https://sites.google.com/site/davidbchilders/DavidChildersFunctionValuedStates.pdf †Yale University, Department of Economics. The author gratefully acknowledges financial support from the Cowles Foundation. This research has benefited from discussion and feedback from Peter Phillips, Tony Smith, Costas Arkolakis, John Geanakoplos, Xiaohong Chen, Tim Christensen, Kieran Walsh, and seminar participants at the Yale University Econometrics Seminar, Macroeconomics Lunch, and Financial Markets Reading Group. -
Variational Theory in the Context of General Relativity Abstract
Variational theory in the context of general relativity Hiroki Takeda1, ∗ 1Department of Physics, University of Tokyo, Bunkyo, Tokyo 113-0033, Japan (Dated: October 25, 2018) Abstract This is a brief note to summarize basic concepts of variational theory in general relativity for myself. This note is mainly based on Hawking(2014)"Singularities and the geometry of spacetime" and Wald(1984)"General Relativity". ∗ [email protected] 1 I. BRIEF REVIEW OF GENERAL RELATIVITY AND VARIATIONAL THEORY A. Variation defnition I.1 (Action) Let M be a differentiable manifold and Ψ be some tensor fields on M . Ψ are simply called the fields. Consider the function of Ψ, S[Ψ]. This S is a map from the set of the fields on M to the set of real numbers and called the action. a···b Ψ actually represents some fields Ψ(i) c···d(i = 1; 2; ··· ; n). I left out the indices i that indicate the number of fields and the abstract indices for the tensors. The tensor of the a···b a···b tensor fields Ψ(i) c···d(i = 1; 2; ··· ; n) at x 2 M is written by Ψ(i)jx c···d(i = 1; 2; ··· ; n). Similarly I denote the tensor of the tensor fields Ψ at x 2 M by Ψjx. defnition I.2 (Variation) Let D ⊂ M be a submanifold of M and Ψjx(u), u 2 (−ϵ, ϵ), x 2 M be the tensors of one-parameter family of the tensor fields Ψ(u), u 2 (−ϵ, ϵ) at x 2 M such that (1) Ψjx(0) = Ψ in M ; (1) (2) Ψjx(u) = Ψ in M − D: (2) Then I define the variation of the fields as follows, dΨ(u) δΨ := : (3) du u=0 In this note, I suppose the existence of the derivatives dS=duju=0 for all one-parameter family Ψ(u).