Abstract The authors previously introduced a diffeomorphisminvariant definition of a homogeneous and isotropic sector of loop quantum gravity (LQG), along with a program to embed loop quantum cosmology (LQC) into it. The present paper works out that program in detail for the simpler, but still physically nontrivial, case where the target of the embedding is the homogeneous, but not isotropic, Bianchi I model. The diffeomorphisminvariant conditions imposing homogeneity and isotropy in the full theory reduce to conditions imposing isotropy on an already homogeneous Bianchi I spacetime. The reduced conditions are invariant under the residual diffeomorphisms still allowed after gauge fixing the Bianchi I model. We show that there is a unique embedding of the quantum isotropic model into the homogeneous quantum Bianchi I model that (a) is covariant with respect to the actions of such residual diffeomorphisms, and (b) intertwines both the (signed) volume operator and at least one directional Hubble rate. That embedding also intertwines all other operators of interest in the respective loop quantum cosmological models, including their Hamiltonian constraints. It thus establishes a precise equivalence between dynamics in the isotropic sector of the Bianchi I model and the quantized isotropic model, and not just their kinematics. We also discuss the adjoint relationship between the embedding map defined here and a projection map previously defined by Ashtekar and WilsonEwing. Finally, we highlight certain features that simplify this reduced embedding problem, but which may not have direct analogues in the embedding of homogeneous and isotropic LQC into full LQG.
more »
« less
What Are Observables in Hamiltonian EinsteinMaxwell Theory?
Is change missing in Hamiltonian Einstein–Maxwell theory? Given the most common definition of observables (having weakly vanishing Poisson bracket with each firstclass constraint), observables are constants of the motion and nonlocal. Unfortunately this definition also implies that the observables for massive electromagnetism with gauge freedom (‘Stueckelberg’) are inequivalent to those of massive electromagnetism without gauge freedom (‘Proca’). The alternative Pons–Salisbury–Sundermeyer definition of observables, aiming for Hamiltonian–Lagrangian equivalence, uses the gauge generator G, a tuned sum of firstclass constraints, rather than each firstclass constraint separately, and implies equivalent observables for equivalent massive electromagnetisms. For General Relativity, G generates 4dimensional Lie derivatives for solutions. The Lie derivative compares different spacetime points with the same coordinate value in different coordinate systems, like 1 a.m. summer time versus 1 a.m. standard time, so a vanishing Lie derivative implies constancy rather than covariance. Requiring equivalent observables for equivalent formulations of massive gravity confirms that G must generate the 4dimensional Lie derivative (not 0) for observables. These separate results indicate that observables are invariant under internal gauge symmetries but covariant under external gauge symmetries, but can this bifurcated definition work for mixed theories such as Einstein–Maxwell theory? Pons, Salisbury and Shepley have studied G for Einstein–Yang–Mills. For Einstein–Maxwell, both 𝐹𝜇𝜈 and 𝑔𝜇𝜈 are invariant under electromagnetic gauge transformations and covariant (changing by a Lie derivative) under 4dimensional coordinate transformations. Using the bifurcated definition, these quantities count as observables, as one would expect on nonHamiltonian grounds.
more »
« less
 Award ID(s):
 1734402
 NSFPAR ID:
 10209267
 Date Published:
 Journal Name:
 Foundations of physics
 Volume:
 49
 ISSN:
 15729516
 Page Range / eLocation ID:
 786796
 Format(s):
 Medium: X
 Sponsoring Org:
 National Science Foundation
More Like this


null (Ed.)A bstract It was shown recently that the static tidal response coefficients, called Love numbers, vanish identically for Kerr black holes in four dimensions. In this work, we confirm this result and extend it to the case of spin0 and spin1 perturbations. We compute the static response of Kerr black holes to scalar, electromagnetic, and gravitational fields at all orders in black hole spin. We use the unambiguous and gaugeinvariant definition of Love numbers and their spin0 and spin1 analogs as Wilson coefficients of the point particle effective field theory. This definition also allows one to clearly distinguish between conservative and dissipative response contributions. We demonstrate that the behavior of Kerr black hole responses to spin0 and spin1 fields is very similar to that of the spin2 perturbations. In particular, static conservative responses vanish identically for spinning black holes. This implies that vanishing Love numbers are a generic property of black holes in fourdimensional general relativity. We also show that the dissipative part of the response does not vanish even for static perturbations due to framedragging.more » « less

By using gravity/gauge correspondence, we employ an EinsteinMaxwellDilaton model to compute the equilibrium and outofequilibrium properties of a hot and baryon rich strongly coupled quarkgluon plasma. The family of 5dimensional holographic black holes, which are constrained to mimic the lattice QCD equation of state at zero density, is used to investigate the temperature and baryon chemical potential dependence of the equation of state. We also obtained the baryon charge conductivity, and the bulk and shear viscosities with a particular focus on the behavior of these observables on top of the critical end point and the line of first order phase transition predicted by the model.more » « less

This article concerns the use of parallel transport to create a diabatic basis. The advantages of the paralleltransported basis include the facility with which Taylor series expansions can be carried out in the neighborhood of a point or a manifold such as a seam (the locus of degeneracies of the electronic Hamiltonian), and the close relationship between the derivative couplings and the curvature in this basis. These are important for analytic treatments of the nuclear Schrödinger equation in the neighborhood of degeneracies. The paralleltransported basis bears a close relationship to the singularvalue basis; in this article, both are expanded in power series about a reference point and are shown to agree through second order but not beyond. Taylor series expansions are effected through the projection operator, whose expansion does not involve energy denominators or any type of singularity and in terms of which both the singularvalue basis and the paralleltransported basis can be expressed. The paralleltransported basis is a version of Poincaré gauge, well known in electromagnetism, which provides a relationship between the derivative couplings and the curvature and which, along with a formula due to Mead, affords an efficient method for calculating Taylor series of the basis states and the derivative couplings. The case in which fine structure effects are included in the electronic Hamiltonian is covered.more » « less

null (Ed.)A bstract In this note we study IR limits of pure twodimensional supersymmetric gauge theories with semisimple nonsimplyconnected gauge groups including SU( k )/ℤ k , SO(2 k )/ℤ 2 , Sp(2 k )/ℤ 2 , E 6 /ℤ 3 , and E 7 /ℤ 2 for various discrete theta angles, both directly in the gauge theory and also in nonabelian mirrors, extending a classification begun in previous work. We find in each case that there are supersymmetric vacua for precisely one value of the discrete theta angle, and no supersymmetric vacua for other values, hence supersymmetry is broken in the IR for most discrete theta angles. Furthermore, for the one distinguished value of the discrete theta angle for which supersymmetry is unbroken, the theory has as many twisted chiral multiplet degrees of freedom in the IR as the rank. We take this opportunity to further develop the technology of nonabelian mirrors to discuss how the mirror to a G gauge theory differs from the mirror to a G / K gauge theory for K a subgroup of the center of G . In particular, the discrete theta angles in these cases are considerably more intricate than those of the pure gauge theories studied in previous papers, so we discuss the realization of these more complex discrete theta angles in the mirror construction. We find that discrete theta angles, both in the original gauge theory and their mirrors, are intimately related to the description of centers of universal covering groups as quotients of weight lattices by root sublattices. We perform numerous consistency checks, comparing results against basic grouptheoretic relations as well as with decomposition, which describes how twodimensional theories with oneform symmetries (such as pure gauge theories with nontrivial centers) decompose into disjoint unions, in this case of pure gauge theories with quotiented gauge groups and discrete theta angles.more » « less