-
Optimizing Memory Map** Using Deep Reinforcement Learning
Authors:
Pengming Wang,
Mikita Sazanovich,
Berkin Ilbeyi,
Phitchaya Mangpo Phothilimthana,
Manish Purohit,
Han Yang Tay,
Ngân Vũ,
Miaosen Wang,
Cosmin Paduraru,
Edouard Leurent,
Anton Zhernov,
Po-Sen Huang,
Julian Schrittwieser,
Thomas Hubert,
Robert Tung,
Paula Kurylowicz,
Kieran Milan,
Oriol Vinyals,
Daniel J. Mankowitz
Abstract:
Resource scheduling and allocation is a critical component of many high impact systems ranging from congestion control to cloud computing. Finding more optimal solutions to these problems often has significant impact on resource and time savings, reducing device wear-and-tear, and even potentially improving carbon emissions. In this paper, we focus on a specific instance of a scheduling problem, n…
▽ More
Resource scheduling and allocation is a critical component of many high impact systems ranging from congestion control to cloud computing. Finding more optimal solutions to these problems often has significant impact on resource and time savings, reducing device wear-and-tear, and even potentially improving carbon emissions. In this paper, we focus on a specific instance of a scheduling problem, namely the memory map** problem that occurs during compilation of machine learning programs: That is, map** tensors to different memory layers to optimize execution time.
We introduce an approach for solving the memory map** problem using Reinforcement Learning. RL is a solution paradigm well-suited for sequential decision making problems that are amenable to planning, and combinatorial search spaces with high-dimensional data inputs. We formulate the problem as a single-player game, which we call the mallocGame, such that high-reward trajectories of the game correspond to efficient memory map**s on the target hardware. We also introduce a Reinforcement Learning agent, mallocMuZero, and show that it is capable of playing this game to discover new and improved memory map** solutions that lead to faster execution times on real ML workloads on ML accelerators. We compare the performance of mallocMuZero to the default solver used by the Accelerated Linear Algebra (XLA) compiler on a benchmark of realistic ML workloads. In addition, we show that mallocMuZero is capable of improving the execution time of the recently published AlphaTensor matrix multiplication model.
△ Less
Submitted 17 October, 2023; v1 submitted 11 May, 2023;
originally announced May 2023.
-
What Should I Learn First: Introducing LectureBank for NLP Education and Prerequisite Chain Learning
Authors:
Irene Li,
Alexander R. Fabbri,
Robert R. Tung,
Dragomir R. Radev
Abstract:
Recent years have witnessed the rising popularity of Natural Language Processing (NLP) and related fields such as Artificial Intelligence (AI) and Machine Learning (ML). Many online courses and resources are available even for those without a strong background in the field. Often the student is curious about a specific topic but does not quite know where to begin studying. To answer the question o…
▽ More
Recent years have witnessed the rising popularity of Natural Language Processing (NLP) and related fields such as Artificial Intelligence (AI) and Machine Learning (ML). Many online courses and resources are available even for those without a strong background in the field. Often the student is curious about a specific topic but does not quite know where to begin studying. To answer the question of "what should one learn first," we apply an embedding-based method to learn prerequisite relations for course concepts in the domain of NLP. We introduce LectureBank, a dataset containing 1,352 English lecture files collected from university courses which are each classified according to an existing taxonomy as well as 208 manually-labeled prerequisite relation topics, which is publicly available. The dataset will be useful for educational purposes such as lecture preparation and organization as well as applications such as reading list generation. Additionally, we experiment with neural graph-based networks and non-neural classifiers to learn these prerequisite relations from our dataset.
△ Less
Submitted 26 November, 2018;
originally announced November 2018.
-
TutorialBank: A Manually-Collected Corpus for Prerequisite Chains, Survey Extraction and Resource Recommendation
Authors:
Alexander R. Fabbri,
Irene Li,
Prawat Trairatvorakul,
Yijiao He,
Wei Tai Ting,
Robert Tung,
Caitlin Westerfield,
Dragomir R. Radev
Abstract:
The field of Natural Language Processing (NLP) is growing rapidly, with new research published daily along with an abundance of tutorials, codebases and other online resources. In order to learn this dynamic field or stay up-to-date on the latest research, students as well as educators and researchers must constantly sift through multiple sources to find valuable, relevant information. To address…
▽ More
The field of Natural Language Processing (NLP) is growing rapidly, with new research published daily along with an abundance of tutorials, codebases and other online resources. In order to learn this dynamic field or stay up-to-date on the latest research, students as well as educators and researchers must constantly sift through multiple sources to find valuable, relevant information. To address this situation, we introduce TutorialBank, a new, publicly available dataset which aims to facilitate NLP education and research. We have manually collected and categorized over 6,300 resources on NLP as well as the related fields of Artificial Intelligence (AI), Machine Learning (ML) and Information Retrieval (IR). Our dataset is notably the largest manually-picked corpus of resources intended for NLP education which does not include only academic papers. Additionally, we have created both a search engine and a command-line tool for the resources and have annotated the corpus to include lists of research topics, relevant resources for each topic, prerequisite relations among topics, relevant sub-parts of individual resources, among other annotations. We are releasing the dataset and present several avenues for further research.
△ Less
Submitted 11 May, 2018;
originally announced May 2018.
-
Gravitational Energy for GR and Poincare Gauge Theories: a Covariant Hamiltonian Approach
Authors:
Chiang-Mei Chen,
James M. Nester,
Roh-Suan Tung
Abstract:
Our topic concerns a long standing puzzle: the energy of gravitating systems. More precisely we want to consider, for gravitating systems, how to best describe energy-momentum and angular momentum/center-of-mass momentum (CoMM). It is known that these quantities cannot be given by a local density. The modern understanding is that (i) they are quasi-local (associated with a closed 2-surface), (ii)…
▽ More
Our topic concerns a long standing puzzle: the energy of gravitating systems. More precisely we want to consider, for gravitating systems, how to best describe energy-momentum and angular momentum/center-of-mass momentum (CoMM). It is known that these quantities cannot be given by a local density. The modern understanding is that (i) they are quasi-local (associated with a closed 2-surface), (ii) they have no unique formula, (iii) they have no reference frame independent description. In the first part of this work we review some early history, much of it not so well known, on the subject of gravitational energy in Einstein's general relativity (GR), noting especially Noether's contribution. In the second part we review (including some new results) much of our covariant Hamiltonian formalism and apply it to Poincaré gauge theories (GR is a special case). The key point is that the Hamiltonian boundary term has two roles, it determines the quasi-local quantities, and, furthermore it determines the boundary conditions for the dynamical variables. Energy-momentum and angular momentum/CoMM are associated with the geometric symmetries under Poincaré transformations. They are best described in a local Poincaré gauge theory. The type of spacetime that naturally has this symmetry is Riemann-Cartan spacetime, with a metric compatible connection having, in general, both curvature and torsion. Thus our expression for the energy-momentum of physical systems is obtained via our covariant Hamiltonian formulation applied to Poincaré gauge theories.
△ Less
Submitted 27 July, 2015;
originally announced July 2015.
-
Scalar Field Cosmology II: Superfluidity, Quantum Turbulence, and Inflation
Authors:
Kerson Huang,
Hwee-Boon Low,
Roh-Suan Tung
Abstract:
We generalize the big-bang model in a previous paper by extending the real vacuum scalar field to a complex vacuum scalar field, within the FLRW framework. The phase dynamics of the scalar field, which makes the universe a superfluid, is described in terms of a density of quantized vortex lines, and a tangle of vortex lines gives rise to quantum turbulence. We propose that all the matter in the un…
▽ More
We generalize the big-bang model in a previous paper by extending the real vacuum scalar field to a complex vacuum scalar field, within the FLRW framework. The phase dynamics of the scalar field, which makes the universe a superfluid, is described in terms of a density of quantized vortex lines, and a tangle of vortex lines gives rise to quantum turbulence. We propose that all the matter in the universe was created in the turbulence, through reconnection of vortex lines, a process necessary for the maintenance of the vortex tangle. The vortex tangle grows and decays, and its lifetime is the era of inflation. These ideas are implemented in a set of closed cosmological equations that describe the cosmic expansion driven by the scalar field on the one hand, and the vortex-matter dynamics on the other. We show how these two aspects decouple from each other, due to a vast difference in energy scales. The model is not valid beyond the inflation era, but the universe remains a superfluid afterwards. This gives rise to observable effects in the present universe, including dark matter, galactic voids, non-thermal filaments, and cosmic jets.
△ Less
Submitted 10 October, 2012; v1 submitted 26 June, 2011;
originally announced June 2011.
-
Scalar Field Cosmology I: Asymptotic Freedom and the Initial-Value Problem
Authors:
Kerson Huang,
Hwee-Boon Low,
Roh-Suan Tung
Abstract:
The purpose of this work is to use a renormalized quantum scalar field to investigate very early cosmology, in the Planck era immediately following the big bang. Renormalization effects make the field potential dependent on length scale, and are important during the big bang era. We use the asymptotically free Halpern-Huang scalar field, which is derived from renormalization-group analysis, and so…
▽ More
The purpose of this work is to use a renormalized quantum scalar field to investigate very early cosmology, in the Planck era immediately following the big bang. Renormalization effects make the field potential dependent on length scale, and are important during the big bang era. We use the asymptotically free Halpern-Huang scalar field, which is derived from renormalization-group analysis, and solve Einstein's equation with Robertson-Walker metric as an initial-value problem. The main prediction is that the Hubble parameter follows a power law: $H\equiv\dot{a}/a\sim t^{-p}$, and the universe expands at an accelerated rate: $a\sim\exp t^{1-p}$. This gives "dark energy", with an equivalent cosmological constant that decays in time like $t^{-2p}$, which avoids the "fine-tuning" problem. The power law predicts a simple relation for the galactic redshift. Comparison with data leads to the speculation that the universe experienced a crossover transition, which was completed about 7 billion years ago.
△ Less
Submitted 11 July, 2012; v1 submitted 26 June, 2011;
originally announced June 2011.
-
Cosmology of an asymptotically free scalar field with spontaneous symmetry breaking
Authors:
Kerson Huang,
Hwee-Boon Low,
Roh-Suan Tung
Abstract:
We solve Einstein's equation with Robertson-Walker metric as an initial-value problem, using as the source of gravity a Halpern-Huang real scalar field, which was derived from renormalization-group analysis, with a potential that exhibits asymptotic freedom and spontaneous symmetry breaking. Both properties are crucial to the formulation of the problem. Numerical solutions show that the universe e…
▽ More
We solve Einstein's equation with Robertson-Walker metric as an initial-value problem, using as the source of gravity a Halpern-Huang real scalar field, which was derived from renormalization-group analysis, with a potential that exhibits asymptotic freedom and spontaneous symmetry breaking. Both properties are crucial to the formulation of the problem. Numerical solutions show that the universe expands at an accelerated rate, with the radius increasing like the exponential of a power of the time. This is relevant to "dark energy" and "cosmic inflation". Extension to the complex scalar field will make the universe a superfluid. The vortex dynamics that emerges offers explanations for other cosmological problems, namely, matter creation, galactic voids, and the "dark mass".
△ Less
Submitted 17 November, 2010;
originally announced November 2010.
-
The Brown-York mass and the Thorne hoop conjecture
Authors:
Niall O Murchadha,
Roh-Suan Tung,
Naqing Xie,
Edward Malec
Abstract:
The Thorne hoop conjecture is an attempt to make precise the notion that gravitational collapse occurs if enough energy is compressed into a small enough volume, with the `size' being defined by the circumference. We can make a precise statement of this form, in spherical symmetry, using the Brown-York mass as our measure of the energy. Consider a spherical 2-surface in a spherically symmetric s…
▽ More
The Thorne hoop conjecture is an attempt to make precise the notion that gravitational collapse occurs if enough energy is compressed into a small enough volume, with the `size' being defined by the circumference. We can make a precise statement of this form, in spherical symmetry, using the Brown-York mass as our measure of the energy. Consider a spherical 2-surface in a spherically symmetric spacetime. If the Brown-York mass, $M_{BY}$, and the circumference, $C$, satisfy $C < 2πM_{BY}$, then the system must either have emerged from a white hole or will collapse into a black hole. We show that no equivalent result can hold true using either the Liu-Yau mass, $M_{LY}$ or the Wang-Yau mass, $M_{WY}$. This forms a major obstacle to any attempt to establish a Thorne-type hoop theorem in the general case based on either the Liu-Yau or the Wang-Yau mass.
△ Less
Submitted 20 December, 2009;
originally announced December 2009.
-
Quasilocal Energy in General Relativity
Authors:
Niall Ó Murchadha,
Roh-Suan Tung,
Naqing Xie
Abstract:
We show that the quasilocal mass defined by Wang and Yau is not well-defined at spatial infinity. It approaches neither the ADM mass nor the ADM energy. We suggest an alternative scheme which retains all the desirable characteristics of the Wang-Yau mass and, in addition, asymptotes to the ADM energy at infinity.
We show that the quasilocal mass defined by Wang and Yau is not well-defined at spatial infinity. It approaches neither the ADM mass nor the ADM energy. We suggest an alternative scheme which retains all the desirable characteristics of the Wang-Yau mass and, in addition, asymptotes to the ADM energy at infinity.
△ Less
Submitted 10 April, 2010; v1 submitted 5 May, 2009;
originally announced May 2009.
-
Energy and angular momentum in strong gravitating systems
Authors:
Roh-Suan Tung
Abstract:
A quasilocal framework of stationary and dynamical untrapped hypersurfaces is introduced to generalize the notions of energy and angular momentum of isolated and dynamical trap** horizons to general strong gravitating systems.
A quasilocal framework of stationary and dynamical untrapped hypersurfaces is introduced to generalize the notions of energy and angular momentum of isolated and dynamical trap** horizons to general strong gravitating systems.
△ Less
Submitted 5 March, 2009;
originally announced March 2009.
-
Quasi-Local Energy Flux of Spacetime Perturbation
Authors:
Roh-Suan Tung,
Hoi-Lai Yu
Abstract:
A general expression for quasi-local energy flux for spacetime perturbation is derived from covariant Hamiltonian formulation using functional differentiability and symplectic structure invariance, which is independent of the choice of the canonical variables and the possible boundary terms one initially puts into the Lagrangian in the diffeomorphism invariant theories. The energy flux expressio…
▽ More
A general expression for quasi-local energy flux for spacetime perturbation is derived from covariant Hamiltonian formulation using functional differentiability and symplectic structure invariance, which is independent of the choice of the canonical variables and the possible boundary terms one initially puts into the Lagrangian in the diffeomorphism invariant theories. The energy flux expression depends on a displacement vector field and the 2-surface under consideration. We apply and test the expression in Vaidya spacetime. At null infinity the expression leads to the Bondi type energy flux obtained by Lindquist, Schwartz and Misner. On dynamical horizons with a particular choice of the displacement vector, it gives the area balance law obtained by Ashtekar and Krishnan.
△ Less
Submitted 15 October, 2008; v1 submitted 15 September, 2008;
originally announced September 2008.
-
Stationary untrapped boundary conditions in general relativity
Authors:
Roh-Suan Tung
Abstract:
A class of boundary conditions for canonical general relativity are proposed and studied at the quasi-local level. It is shown that for untrapped or marginal surfaces, fixing the area element on the 2-surface (rather than the induced 2-metric) and the angular momentum surface density is enough to have a functionally differentiable Hamiltonian, thus providing definition of conserved quantities fo…
▽ More
A class of boundary conditions for canonical general relativity are proposed and studied at the quasi-local level. It is shown that for untrapped or marginal surfaces, fixing the area element on the 2-surface (rather than the induced 2-metric) and the angular momentum surface density is enough to have a functionally differentiable Hamiltonian, thus providing definition of conserved quantities for the quasi-local regions. If on the boundary the evolution vector normal to the 2-surface is chosen to be proportional to the dual expansion vector, we obtain a generalization of the Hawking energy associated with a generalized Kodama vector. This vector plays the role for the stationary untrapped boundary conditions which the stationary Killing vector plays for stationary black holes. When the dual expansion vector is null, the boundary conditions reduce to the ones given by the non-expanding horizons and the null trap** horizons.
△ Less
Submitted 23 February, 2008; v1 submitted 23 October, 2007;
originally announced October 2007.
-
Origin of the Immirzi Parameter
Authors:
Chung-Hsien Chou,
Roh-Suan Tung,
Hoi-Lai Yu
Abstract:
Using quadratic spinor techniques we demonstrate that the Immirzi parameter can be expressed as ratio between scalar and pseudo-scalar contributions in the theory and can be interpreted as a measure of how Einstein gravity differs from a generally constructed covariant theory for gravity. This interpretation is independent of how gravity is quantized. One of the important advantage of deriving t…
▽ More
Using quadratic spinor techniques we demonstrate that the Immirzi parameter can be expressed as ratio between scalar and pseudo-scalar contributions in the theory and can be interpreted as a measure of how Einstein gravity differs from a generally constructed covariant theory for gravity. This interpretation is independent of how gravity is quantized. One of the important advantage of deriving the Immirzi parameter using the quadratic spinor techniques is to allow the introduction of renormalization scale associated with the Immirzi parameter through the expectation value of the spinor field upon quantization.
△ Less
Submitted 7 September, 2005;
originally announced September 2005.
-
The Hamiltonian boundary term and quasi-local energy flux
Authors:
Chiang-Mei Chen,
James M. Nester,
Roh-Suan Tung
Abstract:
The Hamiltonian for a gravitating region includes a boundary term which determines not only the quasi-local values but also, via the boundary variation principle, the boundary conditions. Using our covariant Hamiltonian formalism, we found four particular quasi-local energy-momentum boundary term expressions; each corresponds to a physically distinct and geometrically clear boundary condition. H…
▽ More
The Hamiltonian for a gravitating region includes a boundary term which determines not only the quasi-local values but also, via the boundary variation principle, the boundary conditions. Using our covariant Hamiltonian formalism, we found four particular quasi-local energy-momentum boundary term expressions; each corresponds to a physically distinct and geometrically clear boundary condition. Here, from a consideration of the asymptotics, we show how a fundamental Hamiltonian identity naturally leads to the associated quasi-local energy flux expressions. For electromagnetism one of the four is distinguished: the only one which is gauge invariant; it gives the familiar energy density and Poynting flux. For Einstein's general relativity two different boundary condition choices correspond to quasi-local expressions which asymptotically give the ADM energy, the Trautman-Bondi energy and, moreover, an associated energy flux (both outgoing and incoming). Again there is a distinguished expression: the one which is covariant.
△ Less
Submitted 8 August, 2005;
originally announced August 2005.
-
(Super)gravity and Yang-Mills Theories as Generalized Topological Fields with Constraints
Authors:
Yi Ling,
Roh-Suan Tung,
Han-Ying Guo
Abstract:
We present a general approach to construct a class of generalized topological field theories with constraints by means of generalized differential calculus and its application to connection theory. It turns out that not only the ordinary BF formulations of general relativity and Yang-Mills theories, but also the N=1,2 chiral supergravities can be reformulated as these constrained generalized top…
▽ More
We present a general approach to construct a class of generalized topological field theories with constraints by means of generalized differential calculus and its application to connection theory. It turns out that not only the ordinary BF formulations of general relativity and Yang-Mills theories, but also the N=1,2 chiral supergravities can be reformulated as these constrained generalized topological field theories once the free parameters in the Lagrangian are specially chosen. We also show that the Chern-Simons action on the boundary may naturally be induced from the generalized topological action in the bulk, rather than introduced by hand.
△ Less
Submitted 15 October, 2003;
originally announced October 2003.
-
Spinor Formulations for Gravitational Energy-Momentum
Authors:
Chiang-Mei Chen,
James M. Nester,
Roh-Suan Tung
Abstract:
We first describe a class of spinor-curvature identities (SCI) which have gravitational applications. Then we sketch the topic of gravitational energy-momentum, its connection with Hamiltonian boundary terms and the issues of positivity and (quasi)localization. Using certain SCIs several spinor expressions for the Hamiltonian have been constructed. One SCI leads to the celebrated Witten positive…
▽ More
We first describe a class of spinor-curvature identities (SCI) which have gravitational applications. Then we sketch the topic of gravitational energy-momentum, its connection with Hamiltonian boundary terms and the issues of positivity and (quasi)localization. Using certain SCIs several spinor expressions for the Hamiltonian have been constructed. One SCI leads to the celebrated Witten positive energy proof and the Dougan-Mason quasilocalization. We found two other SCIs which give alternate positive energy proofs and quasilocalizations. In each case the spinor field has a different role. These neat expressions for gravitational energy-momentum have much appeal. However it seems that such spinor formulations just have no room for angular momentum; which leads us to doubt that spinor formulations can really correctly capture the elusive gravitational energy-momentum.
△ Less
Submitted 20 December, 2002; v1 submitted 26 September, 2002;
originally announced September 2002.
-
Chern-Simons Term for BF Theory and Gravity as a Generalized Topological Field Theory in Four Dimensions
Authors:
Han-Ying Guo,
Yi Ling,
Roh-Suan Tung,
Yuan-Zhong Zhang
Abstract:
A direct relation between two types of topological field theories, Chern-Simons theory and BF theory, is presented by using ``Generalized Differential Calculus'', which extends an ordinary p-form to an ordered pair of p and (p+1)-form. We first establish the generalized Chern-Weil homomormism for generalized curvature invariant polynomials in general even dimensional manifolds, and then show tha…
▽ More
A direct relation between two types of topological field theories, Chern-Simons theory and BF theory, is presented by using ``Generalized Differential Calculus'', which extends an ordinary p-form to an ordered pair of p and (p+1)-form. We first establish the generalized Chern-Weil homomormism for generalized curvature invariant polynomials in general even dimensional manifolds, and then show that BF gauge theory can be obtained from the action which is the generalized second Chern class with gauge group G. Particularly when G is taken as SL(2,C) in four dimensions, general relativity with cosmological constant can be derived by constraining the topological BF theory.
△ Less
Submitted 24 July, 2002; v1 submitted 5 April, 2002;
originally announced April 2002.
-
Properties of the symplectic structure of General Relativity for spatially bounded spacetime regions
Authors:
Stephen C. Anco,
Roh S. Tung
Abstract:
We continue a previous analysis of the covariant Hamiltonian symplectic structure of General Relativity for spatially bounded regions of spacetime. To allow for near complete generality, the Hamiltonian is formulated using any fixed hypersurface, with a boundary given by a closed spacelike 2-surface. A main result is that we obtain Hamiltonians associated to Dirichlet and Neumann boundary condit…
▽ More
We continue a previous analysis of the covariant Hamiltonian symplectic structure of General Relativity for spatially bounded regions of spacetime. To allow for near complete generality, the Hamiltonian is formulated using any fixed hypersurface, with a boundary given by a closed spacelike 2-surface. A main result is that we obtain Hamiltonians associated to Dirichlet and Neumann boundary conditions on the gravitational field coupled to matter sources, in particular a Klein-Gordon field, an electromagnetic field, and a set of Yang-Mills-Higgs fields. The Hamiltonians are given by a covariant form of the Arnowitt-Deser-Misner Hamiltonian modified by a surface integral term that depends on the particular boundary conditions. The general form of this surface integral involves an underlying ``energy-momentum'' vector in the spacetime tangent space at the spatial boundary 2-surface. We give examples of the resulting Dirichlet and Neumann vectors for topologically spherical 2-surfaces in Minkowski spacetime, spherically symmetric spacetimes, and stationary axisymmetric spacetimes. Moreover, we show the relation between these vectors and the ADM energy-momentum vector for a 2-surface taken in a limit to be spatial infinity in asymptotically flat spacetimes. We also discuss the geometrical properties of the Dirichlet and Neumann vectors and obtain several striking results relating these vectors to the mean curvature and normal curvature connection of the 2-surface. Most significantly, the part of the Dirichlet vector normal to the 2-surface depends only the spacetime metric at this surface and thereby defines a geometrical normal vector field on the 2-surface. Properties and examples of this normal vector are discussed.
△ Less
Submitted 30 July, 2004; v1 submitted 4 September, 2001;
originally announced September 2001.
-
Covariant Hamiltonian boundary conditions in General Relativity for spatially bounded spacetime regions
Authors:
Stephen C. Anco,
Roh S. Tung
Abstract:
We investigate the covariant Hamiltonian symplectic structure of General Relativity for spatially bounded regions of spacetime with a fixed time-flow vector. For existence of a well-defined Hamiltonian variational principle taking into account a spatial boundary, it is necessary to modify the standard Arnowitt-Deser-Misner Hamiltonian by adding a boundary term whose form depends on the spatial b…
▽ More
We investigate the covariant Hamiltonian symplectic structure of General Relativity for spatially bounded regions of spacetime with a fixed time-flow vector. For existence of a well-defined Hamiltonian variational principle taking into account a spatial boundary, it is necessary to modify the standard Arnowitt-Deser-Misner Hamiltonian by adding a boundary term whose form depends on the spatial boundary conditions for the gravitational field. The most general mathematically allowed boundary conditions and corresponding boundary terms are shown to be determined by solving a certain equation obtained from the symplectic current pulled back to the hypersurface boundary of the spacetime region. A main result is that we obtain a covariant derivation of Dirichlet, Neumann, and mixed type boundary conditions on the gravitational field at a fixed boundary hypersurface, together with the associated Hamiltonian boundary terms. As well, we establish uniqueness of these boundary conditions under certain assumptions motivated by the form of the symplectic current. Our analysis uses a Noether charge method which extends and unifies several results developed in recent literature for General Relativity. As an illustration of the method, we apply it to the Maxwell field equations to derive allowed boundary conditions and boundary terms for existence of a well-defined Hamiltonian variational principle for an electromagnetic field in a fixed spatially bounded region of Minkowski spacetime.
△ Less
Submitted 24 February, 2004; v1 submitted 4 September, 2001;
originally announced September 2001.
-
Gravity and the Quantum Vacuum Inertia Hypothesis. I. Formalized Groundwork for Extension to Gravity
Authors:
Alfonso Rueda,
Bernard Haisch,
Roh Tung
Abstract:
It has been shown [1,2] that the electromagnetic quantum vacuum makes a contribution to the inertial mass, $m_i$, in the sense that at least part of the inertial force of opposition to acceleration, or inertia reaction force, springs from the electromagnetic quantum vacuum. As experienced in a Rindler constant acceleration frame the electromagnetic quantum vacuum mainfests an energy-momentum flu…
▽ More
It has been shown [1,2] that the electromagnetic quantum vacuum makes a contribution to the inertial mass, $m_i$, in the sense that at least part of the inertial force of opposition to acceleration, or inertia reaction force, springs from the electromagnetic quantum vacuum. As experienced in a Rindler constant acceleration frame the electromagnetic quantum vacuum mainfests an energy-momentum flux which we call the Rindler flux (RF). The RF, and its relative, Unruh-Davies radiation, both stem from event-horizon effects in accelerating reference frames. The force of radiation pressure produced by the RF proves to be proportional to the acceleration of the reference frame, which leads to the hypothesis that at least part of the inertia of an object should be due to the interaction of its quarks and electrons with the RF. We demonstrate that this quantum vacuum inertia hypothesis is consistent with general relativity (GR) and that it answers a fundamental question left open within GR, viz. is there a physical mechanism that generates the reaction force known as weight when a specific non-geodesic motion is imposed on an object? The quantum vacuum inertia hypothesis provides such a mechanism, since by assuming the Einstein principle of local Lorentz-invariance (LLI), we can immediately show that the same RF arises due to curved spacetime geometry as for acceleration in flat spactime. Thus the previously derived expression for the inertial mass contribution from the electromagnetic quantum vacuum field is exactly equal to the corresponding contribution to the gravitational mass, $m_g$. Therefore, within the electromagnetic quantum vacuum viewpoint proposed in [1,2], the Newtonian weak equivalence principle, $m_i=m_g$, ensues in a straightforward manner.
△ Less
Submitted 9 August, 2001;
originally announced August 2001.
-
Quasi-Local "Conserved Quantities"
Authors:
Roh S. Tung
Abstract:
Using the Noether Charge formulation, we study a perturbation of the conserved gravitating system. By requiring the boundary term in the variation of the Hamiltonian to depend only on the symplectic structure, we propose a general prescription for defining quasi-local ``conserved quantities'' (i.e. in the situation when the gravitating system has a non-vanishing energy flux). Applications includ…
▽ More
Using the Noether Charge formulation, we study a perturbation of the conserved gravitating system. By requiring the boundary term in the variation of the Hamiltonian to depend only on the symplectic structure, we propose a general prescription for defining quasi-local ``conserved quantities'' (i.e. in the situation when the gravitating system has a non-vanishing energy flux). Applications include energy-momentum and angular momentum at spatial and null infinity, asymptotically anti-deSitter spacetimes, and thermodynamics of the isolated horizons.
△ Less
Submitted 19 March, 2001; v1 submitted 9 January, 2001;
originally announced January 2001.
-
Gravitation as a Super SL(2,C) Gauge Theory
Authors:
Roh S. Tung
Abstract:
We present a gauge theory of the super SL(2,C) group. The gauge potential is a connection of the Super SL(2,C) group. A MacDowell-Mansouri type of action is proposed where the action is quadratic in the Super SL(2,C) curvature and depends purely on gauge connection. By breaking the symmetry of the Super SL(2,C) topological gauge theory to SL(2,C), a metric is naturally defined.
We present a gauge theory of the super SL(2,C) group. The gauge potential is a connection of the Super SL(2,C) group. A MacDowell-Mansouri type of action is proposed where the action is quadratic in the Super SL(2,C) curvature and depends purely on gauge connection. By breaking the symmetry of the Super SL(2,C) topological gauge theory to SL(2,C), a metric is naturally defined.
△ Less
Submitted 9 January, 2001;
originally announced January 2001.
-
Gravitational Energy-Momentum in the Tetrad and Quadratic Spinor Representations of General Relativity
Authors:
Roh S. Tung,
James M. Nester
Abstract:
In the Tetrad Representation of General Relativity, the energy-momentum expression, found by Moller in 1961, is a tensor wrt coordinate transformations but is not a tensor wrt local Lorentz frame rotations. This local Lorentz freedom is shown to be the same as the six parameter normalized spinor degrees of freedom in the Quadratic Spinor Representation of General Relativity. From the viewpoint o…
▽ More
In the Tetrad Representation of General Relativity, the energy-momentum expression, found by Moller in 1961, is a tensor wrt coordinate transformations but is not a tensor wrt local Lorentz frame rotations. This local Lorentz freedom is shown to be the same as the six parameter normalized spinor degrees of freedom in the Quadratic Spinor Representation of General Relativity. From the viewpoint of a gravitational field theory in flat space-time, these extra spinor degrees of freedom allow us to obtain a local energy-momentum density which is a true tensor over both coordinate and local Lorentz frame rotations.
△ Less
Submitted 1 October, 2000;
originally announced October 2000.
-
Gravitation as a Supersymmetric Gauge Theory
Authors:
Roh Suan Tung
Abstract:
We propose a gauge theory of gravitation. The gauge potential is a connection of the Super SL(2,C) group. A MacDowell-Mansouri type of action is proposed where the action is quadratic in the Super SL(2,C) curvature and depends purely on gauge connection. By breaking the symmetry of the Super SL(2,C) topological gauge theory to SL(2,C), a spinor metric is naturally defined. With an auxiliary anti…
▽ More
We propose a gauge theory of gravitation. The gauge potential is a connection of the Super SL(2,C) group. A MacDowell-Mansouri type of action is proposed where the action is quadratic in the Super SL(2,C) curvature and depends purely on gauge connection. By breaking the symmetry of the Super SL(2,C) topological gauge theory to SL(2,C), a spinor metric is naturally defined. With an auxiliary anti-commuting spinor field, the theory is reduced to general relativity. The Hamiltonian variables are related to the ones given by Ashtekar. The auxiliary spinor field plays the role of Witten spinor in the positive energy proof for gravitation.
△ Less
Submitted 30 November, 1999; v1 submitted 5 April, 1999;
originally announced April 1999.
-
The quadratic spinor Lagrangian is equivalent to the teleparallel theory
Authors:
R. S. Tung,
J. M. Nester
Abstract:
The quadratic spinor Lagrangian is shown to be equivalent to the teleparallel / tetrad representation of Einstein's theory. An important consequence is that the energy-momentum density obtained from this quadratic spinor Lagrangian is essentially the same as the ``tensor'' proposed by Moller in 1961.
The quadratic spinor Lagrangian is shown to be equivalent to the teleparallel / tetrad representation of Einstein's theory. An important consequence is that the energy-momentum density obtained from this quadratic spinor Lagrangian is essentially the same as the ``tensor'' proposed by Moller in 1961.
△ Less
Submitted 24 March, 1999; v1 submitted 7 September, 1998;
originally announced September 1998.
-
Spinor One-forms as Gravitational Potentials
Authors:
Roh Suan Tung,
Ted Jacobson
Abstract:
General relativity is derived from an action which is quadratic in the covariant derivative of certain spinor one-form gravitational potentials. Either a pair of 2-component spinor one-forms or a single Dirac spinor one-form can be employed. The metric is a quadratic function of these spinor one-forms. In the 2-component spinor formulation the action differs from the usual chiral action for genera…
▽ More
General relativity is derived from an action which is quadratic in the covariant derivative of certain spinor one-form gravitational potentials. Either a pair of 2-component spinor one-forms or a single Dirac spinor one-form can be employed. The metric is a quadratic function of these spinor one-forms. In the 2-component spinor formulation the action differs from the usual chiral action for general relativity by a total differential. In the Dirac spinor formulation the action is the real part of the former one. The Hamiltonian is related to the ones in positive energy proofs and spinorial quasilocal mass constructions.
△ Less
Submitted 23 February, 1995;
originally announced February 1995.
-
Quasilocal Energy-Momentum for Geometric Gravity Theories
Authors:
Chiang-Mei Chen,
James M. Nester,
Roh Suan Tung
Abstract:
From a covariant Hamiltonian formulation, using symplectic ideas, we obtain covariant quasilocal energy-momentum boundary expressions for general gravity theories. The expressions depend upon which variables are fixed on the boundary, a reference configuration and a displacement vector field. We consider applications to Einstein's theory, black hole thermodynamics and alternate spinor expression…
▽ More
From a covariant Hamiltonian formulation, using symplectic ideas, we obtain covariant quasilocal energy-momentum boundary expressions for general gravity theories. The expressions depend upon which variables are fixed on the boundary, a reference configuration and a displacement vector field. We consider applications to Einstein's theory, black hole thermodynamics and alternate spinor expressions.
△ Less
Submitted 25 May, 1995; v1 submitted 18 November, 1994;
originally announced November 1994.
-
A Quadratic Spinor Lagrangian for General Relativity
Authors:
James M. Nester,
Roh Suan Tung
Abstract:
We present a new finite action for Einstein gravity in which the Lagrangian is quadratic in the covariant derivative of a spinor field. Via a new spinor-curvature identity, it is related to the standard Einstein-Hilbert Lagrangian by a total differential term. The corresponding Hamiltonian, like the one associated with the Witten positive energy proof is fully four-covariant. It defines quasi-lo…
▽ More
We present a new finite action for Einstein gravity in which the Lagrangian is quadratic in the covariant derivative of a spinor field. Via a new spinor-curvature identity, it is related to the standard Einstein-Hilbert Lagrangian by a total differential term. The corresponding Hamiltonian, like the one associated with the Witten positive energy proof is fully four-covariant. It defines quasi-local energy-momentum and can be reduced to the one in our recent positive energy proof. (Fourth Prize, 1994 Gravity Research Foundation Essay.)
△ Less
Submitted 5 July, 1994;
originally announced July 1994.
-
Some Spinor-Curvature Identities
Authors:
James M. Nester,
Roh Suan Tung,
Vadim V. Zhytnikov
Abstract:
We describe a class of spinor-curvature identities which exist for Riemannian or Riemann-Cartan geometries. Each identity relates an expression quadratic in the covariant derivative of a spinor field with an expression linear in the curvature plus an exact differential. Certain special cases in 3 and 4 dimensions which have been or could be used in applications to General Relativity are noted.
We describe a class of spinor-curvature identities which exist for Riemannian or Riemann-Cartan geometries. Each identity relates an expression quadratic in the covariant derivative of a spinor field with an expression linear in the curvature plus an exact differential. Certain special cases in 3 and 4 dimensions which have been or could be used in applications to General Relativity are noted.
△ Less
Submitted 13 March, 1994;
originally announced March 1994.
-
Ashtekar's New Variables and Positive Energy
Authors:
James M. Nester,
Roh-Suan Tung,
Yuan Zhong Zhang
Abstract:
We discuss earlier unsuccessful attempts to formulate a positive gravitational energy proof in terms of the New Variables of Ashtekar. We also point out the difficulties of a Witten spinor type proof. We then use the special orthonormal frame gauge conditions to obtain a locally positive expression for the New Variables Hamiltonian and thereby a ``localization'' of gravitational energy as well a…
▽ More
We discuss earlier unsuccessful attempts to formulate a positive gravitational energy proof in terms of the New Variables of Ashtekar. We also point out the difficulties of a Witten spinor type proof. We then use the special orthonormal frame gauge conditions to obtain a locally positive expression for the New Variables Hamiltonian and thereby a ``localization'' of gravitational energy as well as a positive energy proof.
△ Less
Submitted 7 January, 1994;
originally announced January 1994.
-
Another positivity proof and gravitational energy localizations
Authors:
James M. Nester,
Roh-Suan Tung
Abstract:
Two locally positive expressions for the gravitational Hamiltonian, one using 4-spinors the other special orthonormal frames, are reviewed. A new quadratic 3-spinor-curvature identity is used to obtain another positive expression for the Hamiltonian and thereby a localization of gravitational energy and positive energy proof. These new results provide a link between the other two methods. Locali…
▽ More
Two locally positive expressions for the gravitational Hamiltonian, one using 4-spinors the other special orthonormal frames, are reviewed. A new quadratic 3-spinor-curvature identity is used to obtain another positive expression for the Hamiltonian and thereby a localization of gravitational energy and positive energy proof. These new results provide a link between the other two methods. Localization and prospects for quasi-localization are discussed.
△ Less
Submitted 6 January, 1994;
originally announced January 1994.
