Projection Operator Formalism for Quantum Constraints
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Dirac Brackets in Geometric Dynamics Annales De L’I
ANNALES DE L’I. H. P., SECTION A JEDRZEJ S´ NIATYCKI Dirac brackets in geometric dynamics Annales de l’I. H. P., section A, tome 20, no 4 (1974), p. 365-372 <http://www.numdam.org/item?id=AIHPA_1974__20_4_365_0> © Gauthier-Villars, 1974, tous droits réservés. L’accès aux archives de la revue « Annales de l’I. H. P., section A » implique l’accord avec les conditions générales d’utilisation (http://www.numdam. org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Ann. Inst. Henri Poincaré, Section A : Vol. XX, n° 4, 1974, 365 Physique théorique. Dirac brackets in geometric dynamics Jedrzej 015ANIATYCKI The University of Calgary, Alberta, Canada. Department of Mathematics Statistics and Computing Science ABSTRACT. - Theory of constraints in dynamics is formulated in the framework of symplectic geometry. Geometric significance of secondary constraints and of Dirac brackets is given. Global existence of Dirac brackets is proved. 1. INTRODUCTION The successes of the canonical quantization of dynamical systems with a finite number of degrees of freedom, the experimental necessity of quan- tization of electrodynamics, and the hopes that quantization of the gravi- tational field could resolve difficulties encountered in quantum field theory have given rise to thorough investigation of the canonical structure of field theories. It has been found that the standard Hamiltonian formu- lation of dynamics is inadequate in the physically most interesting cases of electrodynamics and gravitation due to existence of constraints. -
Non-Abelian Conversion and Quantization of Non-Scalar Second
FIAN-TD/05-01 hep-th/0501097 Non-Abelian Conversion and Quantization of Non-scalar Second-Class Constraints I. Batalin,a M. Grigoriev,a and S. Lyakhovichb aTamm Theory Department, Lebedev Physics Institute, Leninsky prospect 53, 119991 Moscow, Russia bTomsk State University, prospect Lenina 36, 634050 Tomsk, Russia ABSTRACT. We propose a general method for deformation quantization of any second-class constrained system on a symplectic manifold. The constraints deter- mining an arbitrary constraint surface are in general defined only locally and can be components of a section of a non-trivial vector bundle over the phase-space manifold. The covariance of the construction with respect to the change of the constraint basis is provided by introducing a connection in the “constraint bundle”, which becomes a key ingredient of the conversion procedure for the non-scalar constraints. Unlike arXiv:hep-th/0501097v1 13 Jan 2005 in the case of scalar second-class constraints, no Abelian conversion is possible in general. Within the BRST framework, a systematic procedure is worked out for con- verting non-scalar second-class constraints into non-Abelian first-class ones. The BRST-extended system is quantized, yielding an explicitly covariant quantization of the original system. An important feature of second-class systems with non-scalar constraints is that the appropriately generalized Dirac bracket satisfies the Jacobi identity only on the constraint surface. At the quantum level, this results in a weakly associative star-product on the phase space. 2 BATALIN, GRIGORIEV, AND LYAKHOVICH CONTENTS 1. Introduction 2 2. Geometry of constrained systems with locally defined constraints 5 3. -
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. -
Turbulence, Entropy and Dynamics
TURBULENCE, ENTROPY AND DYNAMICS Lecture Notes, UPC 2014 Jose M. Redondo Contents 1 Turbulence 1 1.1 Features ................................................ 2 1.2 Examples of turbulence ........................................ 3 1.3 Heat and momentum transfer ..................................... 4 1.4 Kolmogorov’s theory of 1941 ..................................... 4 1.5 See also ................................................ 6 1.6 References and notes ......................................... 6 1.7 Further reading ............................................ 7 1.7.1 General ............................................ 7 1.7.2 Original scientific research papers and classic monographs .................. 7 1.8 External links ............................................. 7 2 Turbulence modeling 8 2.1 Closure problem ............................................ 8 2.2 Eddy viscosity ............................................. 8 2.3 Prandtl’s mixing-length concept .................................... 8 2.4 Smagorinsky model for the sub-grid scale eddy viscosity ....................... 8 2.5 Spalart–Allmaras, k–ε and k–ω models ................................ 9 2.6 Common models ........................................... 9 2.7 References ............................................... 9 2.7.1 Notes ............................................. 9 2.7.2 Other ............................................. 9 3 Reynolds stress equation model 10 3.1 Production term ............................................ 10 3.2 Pressure-strain interactions -
Canonical Quantization of the Self-Dual Model Coupled to Fermions∗
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by CERN Document Server Canonical Quantization of the Self-Dual Model coupled to Fermions∗ H. O. Girotti Instituto de F´ısica, Universidade Federal do Rio Grande do Sul Caixa Postal 15051, 91501-970 - Porto Alegre, RS, Brazil. (March 1998) Abstract This paper is dedicated to formulate the interaction picture dynamics of the self-dual field minimally coupled to fermions. To make this possible, we start by quantizing the free self-dual model by means of the Dirac bracket quantization procedure. We obtain, as result, that the free self-dual model is a relativistically invariant quantum field theory whose excitations are identical to the physical (gauge invariant) excitations of the free Maxwell-Chern-Simons theory. The model describing the interaction of the self-dual field minimally cou- pled to fermions is also quantized through the Dirac-bracket quantization procedure. One of the self-dual field components is found not to commute, at equal times, with the fermionic fields. Hence, the formulation of the in- teraction picture dynamics is only possible after the elimination of the just mentioned component. This procedure brings, in turns, two new interac- tions terms, which are local in space and time while non-renormalizable by power counting. Relativistic invariance is tested in connection with the elas- tic fermion-fermion scattering amplitude. We prove that all the non-covariant pieces in the interaction Hamiltonian are equivalent to the covariant minimal interaction of the self-dual field with the fermions. The high energy behavior of the self-dual field propagator corroborates that the coupled theory is non- renormalizable. -
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. -
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. -
Characteristic Hypersurfaces and Constraint Theory
Characteristic Hypersurfaces and Constraint Theory Thesis submitted for the Degree of MSc by Patrik Omland Under the supervision of Prof. Stefan Hofmann Arnold Sommerfeld Center for Theoretical Physics Chair on Cosmology Abstract In this thesis I investigate the occurrence of additional constraints in a field theory, when formulated in characteristic coordinates. More specifically, the following setup is considered: Given the Lagrangian of a field theory, I formulate the associated (instantaneous) Hamiltonian problem on a characteristic hypersurface (w.r.t. the Euler-Lagrange equations) and find that there exist new constraints. I then present conditions under which these constraints lead to symplectic submanifolds of phase space. Symplecticity is desirable, because it renders Hamiltonian vector fields well-defined. The upshot is that symplecticity comes down to analytic rather than algebraic conditions. Acknowledgements After five years of study, there are many people I feel very much indebted to. Foremost, without the continuous support of my parents and grandparents, sister and aunt, for what is by now a quarter of a century I would not be writing these lines at all. Had Anja not been there to show me how to get to my first lecture (and in fact all subsequent ones), lord knows where I would have ended up. It was through Prof. Cieliebaks inspiring lectures and help that I did end up in the TMP program. Thank you, Robert, for providing peculiar students with an environment, where they could forget about life for a while and collectively find their limits, respectively. In particular, I would like to thank the TMP lonely island faction. -
Structure of Constrained Systems in Lagrangian Formalism and Degree of Freedom Count
Structure of Constrained Systems in Lagrangian Formalism and Degree of Freedom Count Mohammad Javad Heidaria,∗ Ahmad Shirzada;b† a Department of Physics, Isfahan University of Technology b School of Particles and Accelerators, Institute for Research in Fundamental Sciences (IPM), P.O.Box 19395-5531, Tehran, Iran March 31, 2020 Abstract A detailed program is proposed in the Lagrangian formalism to investigate the dynam- ical behavior of a theory with singular Lagrangian. This program goes on, at different levels, parallel to the Hamiltonian analysis. In particular, we introduce the notions of first class and second class Lagrangian constraints. We show each sequence of first class constraints leads to a Neother identity and consequently to a gauge transformation. We give a general formula for counting the dynamical variables in Lagrangian formalism. As the main advantage of Lagrangian approach, we show the whole procedure can also be per- formed covariantly. Several examples are given to make our Lagrangian approach clear. 1 Introduction Since the pioneer work of Dirac [1] and subsequent forerunner papers (see Refs. [2,3,4] arXiv:2003.13269v1 [physics.class-ph] 30 Mar 2020 for a comprehensive review), people are mostly familiar with the constrained systems in the framework of Hamiltonian formulation. The powerful tool in this framework is the algebra of Poisson brackets of the constraints. As is well-known, the first class constraints, which have weakly vanishing Poisson brackets with all constraints, generate gauge transformations. ∗[email protected] †[email protected] 1 However, there is no direct relation, in the general case, to show how they do this job. -
An Extension of the Dirac and Gotay-Nester Theories of Constraints for Dirac Dynamical Systems
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Servicio de Difusión de la Creación Intelectual An extension of the Dirac and Gotay-Nester theories of constraints for Dirac dynamical systems Hern´anCendraa;1, Mar´ıaEtchechouryb and Sebasti´anJ. Ferraroc a Departamento de Matem´atica Universidad Nacional del Sur, Av. Alem 1253 8000 Bah´ıaBlanca and CONICET, Argentina. [email protected] b Laboratorio de Electr´onicaIndustrial, Control e Instrumentaci´on, Facultad de Ingenier´ıa,Universidad Nacional de La Plata and Departamento de Matem´atica, Facultad de Ciencias Exactas, Universidad Nacional de La Plata. CC 172, 1900 La Plata, Argentina. [email protected] c Departamento de Matem´aticaand Instituto de Matem´aticaBah´ıaBlanca Universidad Nacional del Sur, Av. Alem 1253 8000 Bah´ıaBlanca, and CONICET, Argentina [email protected] Abstract This paper extends the Gotay-Nester and the Dirac theories of constrained systems in order to deal with Dirac dynamical systems in the integrable case. In- tegrable Dirac dynamical systems are viewed as constrained systems where the constraint submanifolds are foliated, the case considered in Gotay-Nester theory being the particular case where the foliation has only one leaf. A Constraint Al- gorithm for Dirac dynamical systems (CAD), which extends the Gotay-Nester algorithm, is developed. Evolution equations are written using a Dirac bracket adapted to the foliations and an abridged total energy which coincides with the total Hamiltonian in the particular case considered by Dirac. The interesting example of LC circuits is developed in detail. The paper emphasizes the point of view that Dirac and Gotay-Nester theories are dual and that using a com- bination of results from both theories may have advantages in dealing with a given example, rather than using systematically one or the other.