Searcharxiv⌕ Search

arXiv subjects

J. Brian Pitts

Publications and source records attributed to J. Brian Pitts.

At least 37 records · Page 2Linked to original sources

Permanent Underdetermination from Approximate Empirical Equivalence in Field Theory: Massless and Massive Scalar Gravity, Neutrino, Electromagnetic, Yang-Mills and Gravitational Theories

Classical and quantum field theory provide not only realistic examples of extant notions of empirical equivalence, but also new notions of empirical equivalence, both modal and occurrent. A simple but modern gravitational case goes back to the 1890s, but there has been apparently total neglect of the simplest relativistic analog, with the result that an erroneous claim has taken root that Special Relativity could not have accommodated gravity even if there were no bending of light. The fairly recent acceptance of nonzero neutrino masses shows that widely neglected possibilities for nonzero particle masses have sometimes been vindicated. In the electromagnetic case, there is permanent underdetermination at the classical and quantum levels between Maxwell's theory and the one-parameter family of Proca's electromagnetisms with massive photons, which approximate Maxwell's theory in the limit of zero photon mass. While Yang-Mills theories display similar approximate equivalence classically, quantization typically breaks this equivalence. A possible exception, including unified electroweak theory, might permit a mass term for the photons but not the Yang-Mills vector bosons. Underdetermination between massive and massless (Einstein) gravity even at the classical level is subject to contemporary controversy.

physics.hist-ph↗

Einstein's Physical Strategy, Energy Conservation, Symmetries, and Stability: "but Grossmann & I believed that the conservation laws were not satisfied"

Recent work on the history of General Relativity by Renn, Sauer, Janssen et al. shows that Einstein found his field equations partly by a physical strategy including the Newtonian limit, the electromagnetic analogy, and energy conservation. Such themes are similar to those later used by particle physicists. How do Einstein's physical strategy and the particle physics derivations compare? What energy-momentum complex(es) did he use and why? Did Einstein tie conservation to symmetries, and if so, to which? Einstein used an identity from his assumed linear coordinate covariance x'= Mx to relate it to the canonical tensor. Usually he avoided using matter Euler-Lagrange equations and so was not well positioned to use or reinvent the Herglotz-Mie-Born understanding that the canonical tensor was conserved due to translation symmetries, a result with roots in Lagrange, Hamilton and Jacobi. Whereas Mie and Born were concerned about the canonical tensor's asymmetry, Einstein did not need to worry because his Entwurf Lagrangian is modeled not so much on Maxwell's theory as on a scalar theory. As a result, it also has 3 ghosts, failing a 1920s-30s a priori particle physics stability test with antecedents in Lagrange's and Dirichlet's stability work. This critique of the Entwurf theory can be compared with Einstein's 1915 critique of his Entwurf theory for not admitting rotating coordinates and not getting Mercury's perihelion right. Particle physics also can be useful in the historiography of gravity and space-time. This topic can be a useful case study in the history of science on recently reconsidered questions of presentism, whiggism and the like.

physics.hist-ph↗

Time and Fermions: General Covariance vs. Ockham's Razor for Spinors

It is a commonplace attributed to Kretschmann that any local physical theory can be represented in arbitrary coordinates using tensor calculus. But the literature also claims that spinors _as such_ cannot be represented in coordinates in a curved space-time. These commonplaces are inconsistent, so what is general covariance for fermions? In fact both commonplaces are wrong. Ogievetsky and Polubarinov (OP) constructed spinors in coordinates in 1965, enhancing the unity of physics and helping to spawn nonlinear group representations. Roughly and locally, OP spinors resemble the orthonormal basis or tetrad formalism in the symmetric gauge, but they are conceptually self-sufficient and more economical. The tetrad formalism is thus de-Ockhamized, with six extra components and six compensating gauge symmetries. As developed nonperturbatively by Bilyalov, OP spinors admit any coordinates at a point, but 'time' must be listed first; 'time' is defined by an eigenvalue problem involving the metric and diag(-1,1,1,1), the product of which must have no negative eigenvalues. Thus even formal general covariance requires reconsideration; admissible coordinates should be sensitive to the types and _values_ of the fields. Apart from coordinate order and the usual spinorial two-valuedness, (densitized) Ogievetsky-Polubarinov spinors form, with the (conformal part of the) metric, a nonlinear geometric object, with Lie and covariant derivatives. The mild consequences of coordinate order are explored for the conventionality of simultaneity in Special Relativity and the Schwarzschild solution in General Relativity.

gr-qc↗

Space-time Philosophy Reconstructed via Massive Nordström Scalar Gravities? Laws vs. Geometry, Conventionality, and Underdetermination

Klein-Gordon gravity, 1920s-30s particle physics, and 1890s Neumann-Seeliger modified gravity suggest a "graviton mass term" *algebraic* in the potential. Unlike Nordström's "massless" theory, massive scalar gravity is invariant under the Poincaré group but not the 15-parameter conformal group. It thus exhibits the whole Minkowski space-time structure, indirectly for volumes. Massive scalar gravity is plausible as a field theory, but violates Einstein's principles of general covariance, general relativity, equivalence, and Mach. Geometry is a poor guide: matter sees a conformally flat metric due to universal coupling, but gravity sees the rest of the flat metric (on long distances) in the mass term. What is the `true' geometry, in line with Poincaré's modal conventionality argument? Infinitely many theories exhibit this bimetric `geometry,' all with the total stress-energy's trace as source; geometry does not explain the field equations. The irrelevance of the Ehlers-Pirani-Schild construction to conventionalism is evident given multi-geometry theories. As Seeliger envisaged, the smooth massless limit yields underdetermination between massless and massive scalar gravities---an unconceived alternative. One version easily could have been developed before GR; it would have motivated thinking of Einstein's equations along the lines of his newly reappreciated "physical strategy" and suggested a rivalry from massive spin 2 for GR (massless spin 2, Pauli-Fierz 1939). The Putnam-Grünbaum debate on conventionality is revisited given a broad modal scope. Massive scalar gravity licenses a historically plausible rational reconstruction of much of space-time philosophy in light of particle physics. An appendix reconsiders the Malament-Weatherall-Manchak conformal restriction of conventionality and constructs the `universal force' in the null cones.

physics.hist-ph↗

Universally Coupled Massive Gravity, III: dRGT-Maheshwari Pure Spin-$2$, Ogievetsky-Polubarinov and Arbitrary Mass Terms

Einstein's equations were derived for a free massless spin-$2$ field using universal coupling in the 1950-70s by various authors; total stress-energy including gravity's served as a source for linear free field equations. A massive variant was likewise derived in the late 1960s by Freund, Maheshwari and Schonberg, and thought to be unique. How broad is universal coupling? In the last decade four $1$-parameter families of massive spin-$2$ theories (contravariant, covariant, tetrad, and cotetrad of almost any density weights) have been derived using universal coupling. The (co)tetrad derivations included 2 of the 3 pure spin-$2$ theories due to de Rham, Gabadadze, and Tolley; those two theories first appeared in the $2$-parameter Ogievetsky-Polubarinov family (1965), which developed the symmetric square root of the metric as a nonlinear group realization. One of the two theories was identified as pure spin-$2$ by Maheshwari in 1971-2, thus evading the Boulware-Deser-Tyutin-Fradkin ghost by the time it was announced. Unlike the previous 4 families, this paper permits _nonlinear_ field redefinitions to build the effective metric. By not insisting in advance on knowing the observable significance of the graviton potential to all orders, one finds that an _arbitrary_ graviton mass term can be derived using universal coupling. The arbitrariness of a universally coupled mass/self-interaction term contrasts sharply with the uniqueness of the Einstein kinetic term. One might have hoped to use universal coupling as a tie-breaking criterion for choosing among theories that are equally satisfactory on more crucial grounds (such as lacking ghosts and having a smooth massless limit). But the ubiquity of universal coupling implies that the criterion doesn't favor any particular theories among those with the Einstein kinetic term.

gr-qc↗

A First Class Constraint Generates Not a Gauge Transformation, But a Bad Physical Change: The Case of Electromagnetism

In Dirac-Bergmann constrained dynamics, a first-class constraint typically does not _alone_ generate a gauge transformation. Each first-class constraint in Maxwell's theory generates a change in the electric field E by an arbitrary gradient, spoiling Gauss's law. The secondary constraint p^i,_i=0 still holds, but being a function of derivatives of momenta (mere auxiliary fields), it is not directly about the observable electric field (a function of derivatives of A), which couples to charge. Only a special combination of the two first-class constraints, the Anderson-Bergmann-Castellani gauge generator G, leaves E unchanged. Likewise only that combination leaves the canonical action invariant---an argument independent of observables. If one uses a first-class constraint to generate instead a canonical transformation, one partly strips the canonical coordinates of physical meaning as electromagnetic potentials, vindicating the Anderson-Bergmann Lagrangian orientation of interesting canonical transformations. The need to keep gauge-invariant q,t-dH/dp=-E-p=0 supports using the gauge generator and primary Hamiltonian rather than the separate first-class constraints and the extended Hamiltonian. Partly paralleling Pons's criticism, it is shown that Dirac's proof that a first-class primary constraint generates a gauge transformation, by comparing evolutions from _identical_ initial data, cancels out and hence fails to detect the alterations made to the initial state. It also neglects the arbitrary coordinates multiplying the secondary constraints _inside_ the canonical Hamiltonian. Thus the gauge-generating property has been ascribed to the primaries alone. Hence the Dirac conjecture about secondary first-class constraints as generating gauge transformations rests upon a false presupposition about primary first-class constraints. Clarity about electromagnetism help with GR.

gr-qc↗

Change in Hamiltonian General Relativity from the Lack of a Time-like Killing Vector Field

In General Relativity in Hamiltonian form, change has seemed to be missing, defined only asymptotically, or otherwise obscured at best, because the Hamiltonian is a sum of first-class constraints and a boundary term and thus supposedly generates gauge transformations. Attention to the gauge generator G of Rosenfeld, Anderson, Bergmann, Castellani et al., a specially tuned sum of first-class constraints, facilitates seeing that a solitary first-class constraint in fact generates not a gauge transformation, but a bad physical change in electromagnetism (changing E) or GR. The change spoils the Lagrangian constraints in terms of the physically relevant velocities rather than auxiliary canonical momenta. While Maudlin has defended change in GR much as G. E. Moore resisted skepticism, there remains a need to exhibit the technical flaws in the argument. Insistence on Hamiltonian-Lagrangian equivalence, a theme emphasized by Mukunda, Castellani, Sugano, Pons, Salisbury, Shepley and Sundermeyer among others, holds the key. Taking objective change to be ineliminable time dependence, there is change in vacuum GR just in case there is no time-like vector field satisfying Killing's equation. Throwing away the spatial dependence of GR for convenience, one finds that the time evolution from Hamilton's equations is real change just when there is no time-like Killing vector. Hence change is real and local even in the Hamiltonian formalism. The considerations here resolve the Earman-Maudlin standoff: the Hamiltonian formalism is helpful, and, suitably reformed, it does not have absurd consequences for change. Hence the classical problem of time is resolved, apart from the issue of observables, for which the solution is outlined. The quantum problem of time, however, is not automatically resolved due to issues of quantum constraint imposition.

physics.hist-ph↗

The Nontriviality of Trivial General Covariance: How Electrons Restrict 'Time' Coordinates, Spinors (Almost) Fit into Tensor Calculus, and 7/16 of a Tetrad Is Surplus Structure

It is a commonplace that any theory can be written in any coordinates via tensor calculus. But it is claimed that spinors as such cannot be represented in coordinates in a curved space-time. What general covariance means for theories with fermions is thus unclear. In fact both commonplaces are wrong. Though it is not widely known, Ogievetsky and Polubarinov (OP) constructed spinors in coordinates in 1965, helping to spawn nonlinear group representations. Locally, these spinors resemble the orthonormal basis or "tetrad" formalism in the symmetric gauge, but they are conceptually self-sufficient. The tetrad formalism is de-Ockhamized, with 6 extra fields and 6 compensating gauge symmetries. OP spinors, as developed nonperturbatively by Bilyalov, admit any coordinates at a point, but "time" must be listed first: the product of the metric components and the matrix diag(-1,1,1,1) must have no negative eigenvalues to yield a real symmetric square root function of the metric. Thus the admissible coordinates depend on the types and values of the fields. Apart from coordinate order and spinorial two-valuedness, OP spinors form, with the metric, a nonlinear geometric object, with Lie and covariant derivatives. Such spinors avoid a spurious absolute object in the Anderson-Friedman analysis of substantive general covariance. They also permit the gauge-invariant localization of the infinite-component gravitational energy in GR. Density-weighted spinors exploit the conformal invariance of the massless Dirac equation to show that the volume element is absent. Thus instead of a matrix with 16 components, one can use weighted OP spinors coupled to the 9-component symmetric unimodular square root of the conformal metric density. The surprising mildness of the restrictions on coordinates for the Schwarzschild solution is exhibited. (edited)

gr-qc↗

Universally Coupled Massive Gravity, II: Densitized Tetrad and Cotetrad Theories

Einstein's equations in a tetrad formulation are derived from a linear theory in flat spacetime with an asymmetric potential using free field gauge invariance, local Lorentz invariance and universal coupling. The gravitational potential can be either covariant or contravariant and of almost any density weight. These results are adapted to produce universally coupled massive variants of Einstein's equations, yielding two one-parameter families of distinct theories with spin 2 and spin 0. The theories derived, upon fixing the local Lorentz gauge freedom, are seen to be a subset of those found by Ogievetsky and Polubarinov some time ago using a spin limitation principle. In view of the stability question for massive gravities, the proven non-necessity of positive energy for stability in applied mathematics in some contexts is recalled. Massive tetrad gravities permit the mass of the spin 0 to be heavier than that of the spin 2, as well as lighter than or equal to it, and so provide phenomenological flexibility that might be of astrophysical or cosmological use.

gr-qc↗

Massive Nordström Scalar (Density) Gravities from Universal Coupling

Both particle physics and the 1890s Seeliger-Neumann modification of Newtonian gravity suggest considering a "mass term" for gravity, yielding a finite range due to an exponentially decaying Yukawa potential. Unlike Nordström's "massless" theory, massive scalar gravities are strictly Special Relativistic, being invariant under the Poincaré group but not the conformal group. Geometry is a poor guide to understanding massive scalar gravities: matter sees a conformally flat metric, but gravity also sees the rest of the flat metric, barely, in the mass term. Infinitely many theories exhibit this bimetric 'geometry,' all with the total stress-energy's trace as source. All are new except the Freund-Nambu theory. The smooth massless limit indicates underdetermination of theories by data between massless and massive scalar gravities. The ease of accommodating electrons, protons and other fermions using density-weighted Ogievetsky-Polubarinov spinors in scalar gravity is noted.

gr-qc↗

Empirical Equivalence, Artificial Gauge Freedom and a Generalized Kretschmann Objection

Einstein considered general covariance to characterize the novelty of his General Theory of Relativity (GTR), but Kretschmann thought it merely a formal feature that any theory could have. The claim that GTR is "already parametrized" suggests analyzing substantive general covariance as formal general covariance achieved without hiding preferred coordinates as scalar "clock fields," much as Einstein construed general covariance as the lack of preferred coordinates. Physicists often install gauge symmetries artificially with additional fields, as in the transition from Proca's to Stueckelberg's electromagnetism. Some post-positivist philosophers, due to realist sympathies, are committed to judging Stueckelberg's electromagnetism distinct from and inferior to Proca's. By contrast, physicists identify them, the differences being gauge-dependent and hence unreal. It is often useful to install gauge freedom in theories with broken gauge symmetries (second-class constraints) using a modified Batalin-Fradkin-Tyutin (BFT) procedure. Massive GTR, for which parametrization and a Lagrangian BFT-like procedure appear to coincide, mimics GTR's general covariance apart from telltale clock fields. A generalized procedure for installing artificial gauge freedom subsumes parametrization and BFT, while being more Lagrangian-friendly than BFT, leaving any primary constraints unchanged and using a non-BFT boundary condition. Artificial gauge freedom licenses a generalized Kretschmann objection. However, features of paradigm cases of artificial gauge freedom might help to demonstrate a principled distinction between substantive and merely formal gauge symmetry.

physics.hist-ph↗

Gauge-Invariant Localization of Infinitely Many Gravitational Energies from all Possible Auxiliary Structures, Or, Why Pseudotensors are Okay

The problem of finding a covariant expression for the distribution and conservation of gravitational energy-momentum dates to the 1910s. A suitably covariant infinite-component localization is displayed, reflecting Bergmann's realization that there are infinitely many conserved gravitational energy-momenta. Initially use is made of a flat background metric or connection (or rather, all of them), because the desired gauge invariance properties are obvious. Partial gauge-fixing then yields an appropriate covariant quantity without any background metric or connection; one version is the collection of pseudotensors of a given type, such as the Einstein pseudotensor, in_every_ coordinate system. This solution to the gauge covariance problem is easily adapted to any pseudotensorial expression or to any tensorial expression built with a background metric or connection. Thus the specific functional form can be chosen on technical grounds such as relating to Noether's theorem and yielding expected values of conserved quantities in certain contexts and then rendered covariant using the procedure described here. The application to angular momentum localization is straightforward. Traditional objections to pseudotensors are based largely on the false assumption that there is only one gravitational energy rather than infinitely many.

hep-th↗

Gauge-Invariant Localization of Infinitely Many Gravitational Energies from All Possible Auxiliary Structures

The problem of finding a covariant expression for the distribution and conservation of gravitational energy-momentum dates to the 1910s. A suitably covariant infinite-component localization is displayed, reflecting Bergmann's realization that there are infinitely many conserved gravitational energy-momenta. Initially use is made of a flat background metric (or rather, all of them) or connection, because the desired gauge invariance properties are obvious. Partial gauge-fixing then yields an appropriate covariant quantity without any background metric or connection; one version is the collection of pseudotensors of a given type, such as the Einstein pseudotensor, in_every_ coordinate system. This solution to the gauge covariance problem is easily adapted to any pseudotensorial expression (Landau-Lifshitz, Goldberg, Papapetrou or the like) or to any tensorial expression built with a background metric or connection. Thus the specific functional form can be chosen on technical grounds such as relating to Noether's theorem and yielding expected values of conserved quantities in certain contexts and then rendered covariant using the procedure described here. The application to angular momentum localization is straightforward. Traditional objections to pseudotensors are based largely on the false assumption that there is only one gravitational energy rather than infinitely many.

gr-qc↗

Slightly Bimetric Gravitation

The inclusion of a flat metric tensor in gravitation permits the formulation of a gravitational stress-energy tensor and the formal derivation of general relativity from a linear theory in flat spacetime. Building on the works of Kraichnan and Deser, we present such a derivation using universal coupling and gauge invariance. Next we slightly weaken the assumptions of universal coupling and gauge invariance, obtaining a larger ``slightly bimetric'' class of theories, in which the Euler-Lagrange equations depend only on a curved metric, matter fields, and the determinant of the flat metric. The theories are equivalent to generally covariant theories with an arbitrary cosmological constant and an arbitrarily coupled scalar field, which can serve as an inflaton or dark matter. The question of the consistency of the null cone structures of the two metrics is addressed. A difficulty for Logunov's massive gravitation on this front is noted.

gr-qc↗

Universally Coupled Massive Gravity

We derive Einstein's equations from a linear theory in flat space-time using free-field gauge invariance and universal coupling. The gravitational potential can be either covariant or contravariant and of almost any density weight. We adapt these results to yield universally coupled massive variants of Einstein's equations, yielding two one-parameter families of distinct theories with spin 2 and spin 0. The Freund-Maheshwari-Schonberg theory is therefore not the unique universally coupled massive generalization of Einstein's theory, although it is privileged in some respects. The theories we derive are a subset of those found by Ogievetsky and Polubarinov by other means. The question of positive energy, which continues to be discussed, might be addressed numerically in spherical symmetry. We briefly comment on the issue of causality with two observable metrics and the need for gauge freedom and address some criticisms by Padmanabhan of field derivations of Einstein-like equations along the way.

gr-qc↗

Absolute Objects and Counterexamples: Jones-Geroch Dust, Torretti Constant Curvature, Tetrad-Spinor, and Scalar Density

James L. Anderson analyzed the novelty of Einstein's theory of gravity as its lack of "absolute objects." Michael Friedman's related work has been criticized by Roger Jones and Robert Geroch for implausibly admitting as absolute the timelike 4-velocity field of dust in cosmological models in Einstein's theory. Using the Rosen-Sorkin Lagrange multiplier trick, I complete Anna Maidens's argument that the problem is not solved by prohibiting variation of absolute objects in an action principle. Recalling Anderson's proscription of "irrelevant" variables, I generalize that proscription to locally irrelevant variables that do no work in some places in some models. This move vindicates Friedman's intuitions and removes the Jones-Geroch counterexample: some regions of some models of gravity with dust are dust-free and so naturally lack a timelike 4-velocity, so diffeomorphic equivalence to (1,0,0,0) is spoiled. Torretti's example involving constant curvature spaces is shown to have an absolute object on Anderson's analysis, viz., the conformal spatial metric density. The previously neglected threat of an absolute object from an orthonormal tetrad used for coupling spinors to gravity appears resolvable by eliminating irrelevant fields. However, given Anderson's definition, GTR itself has an absolute object (as Robert Geroch has observed recently): a change of variables to a conformal metric density and a scalar density shows that the latter is absolute.

gr-qc↗

Constrained Dynamics of Universally Coupled Massive Spin 2-spin 0 Gravities

The 2-parameter family of massive variants of Einstein's gravity (on a Minkowski background) found by Ogievetsky and Polubarinov by excluding lower spins can also be derived using universal coupling. A Dirac-Bergmann constrained dynamics analysis seems not to have been presented for these theories, the Freund-Maheshwari-Schonberg special case, or any other massive gravity beyond the linear level treated by Marzban, Whiting and van Dam. Here the Dirac-Bergmann apparatus is applied to these theories. A few remarks are made on the question of positive energy. Being bimetric, massive gravities have a causality puzzle, but it appears soluble by the introduction and judicious use of gauge freedom.

hep-th↗

Nonsingularity of Flat Robertson-Walker Models in the Special Relativistic Approach to Einstein's Equations

Recently the neglected issue of the causal structure in the flat spacetime approach to Einstein's theory of gravity has been substantially resolved. Consistency requires that the flat metric's null cone be respected by the null cone of the effective curved metric. While consistency is not automatic, thoughtful use of the naive gauge freedom resolves the problem. After briefly recapitulating how consistent causality is achieved, we consider the flat Robertson-Walker Big Bang model. The Big Bang singularity in the spatially flat Robertson-Walker cosmological model is banished to past infinity in Minkowski spacetime. A modified notion of singularity is proposed to fit the special relativistic approach, so that the Big Bang becomes nonsingular.

gr-qc↗