Mathematically, gauge theories are extraordinarily rich --- so rich, in fact, that it can become all too easy to lose track of the connections between results, and become lost in a mass of beautiful theorems and properties: indeterminism, constraints, Noether identities, local and global symmetries, and so on. -/- One purpose of this short article is to provide some sort of a guide through the mathematics, to the conceptual core of what is actually going on. Its focus is on (...) the Lagrangian, variational-problem description of classical mechanics, from which the link between gauge symmetry and the apparent violation of determinism is easy to understand; only towards the end will the Hamiltonian description be considered. -/- The other purpose is to warn against adopting too unified a perspective on gauge theories. It will be argued that the meaning of the gauge freedom in a theory like general relativity is (at least from the Lagrangian viewpoint) significantly different from its meaning in theories like electromagnetism. The Hamiltonian framework blurs this distinction, and orthodox methods of quantization obliterate it; this may, in fact, be genuine progress, but it is dangerous to be guided by mathematics into conflating two conceptually distinct notions without appreciating the physical consequences. (shrink)

Rovelli’s “Why Gauge?” offers a parable to show that gauge-dependent quantities have a modal and relational physical significance. We subject the morals of this parable to philosophical scrutiny and argue that, while Rovelli’s main point stands, there are important disanalogies between his parable and Yang-Mills type gauge theory.

An analysis is presented of the significance and consequent limitations on the applicability of the von Neumann measurement postulate in quantum mechanics. Directly observable quantities, such as the expectation value of the velocity operator, are distinguished from mathematical constructs, such as the expectation value of the canonical momentum, which are not directly observable. A simple criterion to distinguish between the two types of operators is derived. The non-observability of the electromagnetic four-potentials is shown to imply the non-measurability of the (...) canonical momentum. The concept of a mechanical gauge is introduced and discussed. Classically the Lagrangian is nonunique within a total time derivative. This may be interpreted as the freedom of choosing a “mechanical” (M) gauge function. In quantum mechanics it is often implicitly assumed that the M-gauge vanishes. However, the requirement that directly observable quantities be independent of the arbitrary mechanical gauge is shown to lead to results analogous to those derived from the requirement of electromagnetic gauge independence of observables. The significance of the above to the observability of transition amplitudes between field-free energy eigenstates in the presence (and absence) of electromagnetic fields is discussed. E- and M-gauge independent transition amplitudes between field-free energy eigenstates in the absence of electromagnetic fields are defined. It is shown that, in general, such measurable amplitudes cannot be defined in the presence of externally applied time-dependent fields. Transition amplitudes in the presence of time-independent fields are discussed. The path dependence of previous derivations of E-gauge independent Hamiltonians and/or transition amplitudes in the presence of electromagnetic fields are related to the inherent M-gauge dependence of these quantities in the presence of such fields. (shrink)

Du Châtelet holds that mathematical representations play an explanatory role in natural science. Moreover, she writes that things proceed in nature as they do in geometry. How should we square these assertions with Du Châtelet’s idealism about mathematical objects, on which they are ‘fictions’ dependent on acts of abstraction? The question is especially pressing because some of her important interlocutors (Wolff, Maupertuis, and Voltaire) denied that mathematics informs us about the properties of material things. After situating Du Châtelet in this (...) debate, this chapter argues, first, that her account of the origins of mathematical objects is less subjectivist than it might seem. Mathematical objects are non-arbitrary, public entities. While mathematical objects are partly mind-dependent, so are material things. Mathematical objects can approximate the material. Second, it is argued that this moderate metaphysical position underlies Du Châtelet’s persistent claims that mathematics is required for certain kinds of general knowledge, including in natural science. The chapter concludes with an illustrative example: an analysis of Du Châtelet’s argument that matter is continuous. A key premise in the argument is that mathematical representations and material nature correspond. (shrink)

If we live on the weak brane with zero effective cosmological constant in a warped 5D bulk spacetime, gravitational waves and brane fluctuations can be generated by a part of the 5D Weyl tensor and carries information of the gravitational field outside the brane. We consider on a cylindrical symmetric warped FLRW background a U self-gravitating scalar field coupled to a gauge field without bulk matter. It turns out that brane fluctuations can be formed dynamically, due to the modified (...) energy–momentum tensor components of the scalar-gauge field. As a result, we find that the late-time behavior could significantly deviate from the standard evolution of the universe. The effect is triggered by the time-dependent warpfactor with two branches of the form \}\) constants) and the modified brane equations comparable with a dark energy effect. This is a brane-world mechanism, not present in standard 4D FLRW, where the large disturbances are rapidly damped as the expansion proceed. Because gravity can propagate in the bulk, the cosmic string can build up a huge angle deficit by the warpfactor and can induce massive KK-modes felt on the brane. Disturbances in the spatial components of the stress-energy tensor cause cylindrical symmetric waves, amplified due to the presence of the bulk space and warpfactor. They could survive the natural damping due to the expansion of the universe. It turns out that one of the metric components becomes singular at the moment the warp factor develops an extremum. This behavior could have influence on the possibility of a transition from acceleration to deceleration or vice versa. (shrink)

We introduce a mathematical framework for quantifying fine-tuning in general physical settings. In particular, we identify two distinct perspectives on fine-tuning, namely, a local and a global perspective --- and develop corresponding measures. These measures apply broadly to settings characterized by an arbitrary number of observables whose values are dependent on an arbitrary number of parameters. We illustrate our formalism by quantifying fine-tuning as it arises in two pertinent astrophysical settings: in models where a significant fraction of the dark (...) matter in the universe is in the form of primordial black holes, and in scenarios that derive the fraction of protons in habitable dark-matter halos from underlying models of cosmic inflation. (shrink)

This paper deals with a number of technical achievements that are instrumental for a dis-solution of the so-called "Hole Argument" in general relativity. Such achievements include: 1) the analysis of the "Hole" phenomenology in strict connection with the Hamiltonian treatment of the initial value problem. The work is carried through in metric gravity for the class of Christoudoulou-Klainermann space-times, in which the temporal evolution is ruled by the "weak" ADM energy; 2) a re-interpretation of "active" diffeomorphisms as "passive and metric-dependent" (...) dynamical symmetries of Einstein's equations, a re-interpretation which enables to disclose their (up to now unknown) connection to gauge transformations on-shell; understanding such connection also enlightens the real content of the Hole Argument or, better, dis-solves it together with its alleged "indeterminism"; 3) the utilization of the Bergmann-Komar "intrinsic pseudo-coordinates", defined as suitable functionals of the Weyl curvature scalars, as tools for a peculiar gauge-fixing to the super-hamiltonian and super-momentum constraints; 4) the consequent construction of a "physical atlas" of 4-coordinate systems for the 4-dimensional "mathematical" manifold, in terms of the highly non-local degrees of freedom of the gravitational field (its four independent "Dirac observables"). Such construction embodies the "physical individuation" of the points of space-time as "point-events", independently of the presence of matter, and associates a "non-commutative structure" to each gauge fixing or four-dimensional coordinate system; 5) a clarification of the multiple definition given by Peter Bergmann of the concept of "(Bergmann) observable" in general relativity. This clarification leads to the proposal of a "main conjecture" asserting the existence of i) special Dirac's observables which are also Bergmann's observables, ii) gauge variables that are coordinate independent (namely they behave like the tetradic scalar fields of the Newman-Penrose formalism). A by-product of this achievements is the falsification of a recently advanced argument asserting the absence of (any kind of) "change" in the observable quantities of general relativity. 6) a clarification of the physical role of Dirac and gauge variables as their being related to "tidal-like" and "inertial-like" effects, respectively. This clarification is mainly due to the fact that, unlike the standard formulations of the equivalence principle, the Hamiltonian formalism allows to define notion of "force" in general relativity in a natural way; 7) a proposal showing how the physical individuation of point-events could in principle be implemented as an experimental setup and protocol leading to a "standard of space-time" more or less like atomic clocks define standards of time. We conclude that, besides being operationally essential for building measuring apparatuses for the gravitational field, the role of matter in the non-vacuum gravitational case is also that of "participating directly" in the individuation process, being involved in the determination of the Dirac observables. This circumstance leads naturally to a peculiar new kind of "structuralist" view of the general-relativistic concept of space-time, a view that embodies some elements of both the traditional "absolutist" and "relational" conceptions. In the end, space-time point-events maintain a "peculiar sort of objectivity". Some hints following from our approach for the quantum gravity programme are also given. (shrink)

Gauge symmetries provide one of the most puzzling examples of the applicability of mathematics in physics. The presented work focuses on the role of analogical reasoning in the gauge argument, motivated by Mark Steiner’s claim that the application of the gauge principle relies on a Pythagorean analogy whose success undermines naturalist philosophy. In this paper, we present two different views concerning the analogy between gravity, electromagnetism, and nuclear interactions, each providing a different philosophical response to the problem (...) of the applicability of mathematics in the natural sciences. The first is based on an account of Weyl’s original work, which first gave rise to the gauge principle. Drawing on his later philosophical writings, we develop an idealist reading of the mathematical analogies in the gauge argument. On this view, mathematical analogies serve to ensure a conceptual harmony in our scientific account of nature. We further discuss the construction of Yang and Mills’s gauge theory in light of this idealist reading. The second account presents a naturalist alternative, formulated in terms of John Norton’s account of a material analogy, according to which the analogy succeeds in virtue of a physical similarity between the different interactions. This account is based on the methodological equivalence principle, a simple conceptual extension of the gauge principle that allows us to understand the relation between coordinate transformations and gravity as a manifestation of the same method. The physical similarity between the different cases is based on attributing the success of this method to the dependence of the coupling on relational physical quantities. We conclude by reflecting on the advantages and limits of the idealist, naturalist, and anthropocentric Pythagorean views, as three alternative ways to understand the puzzling relation between mathematics and physics. (shrink)

For the past two decades, Einstein's Hole Argument (which deals with the apparent indeterminateness of general relativity due to the general covariance of the field equations) and its resolution in terms of "Leibniz equivalence" (the statement that pseudo-Riemannian geometries related by active diffeomorphisms represent the same physical solution) have been the starting point for a lively philosophical debate on the objectivity of the point-events of space-time. It seems that Leibniz equivalence makes it impossible to consider the points of the (...) space-time manifold as physically individuated without recourse to dynamical individuating fields. Various authors have posited that the metric field itself can be used in this way , but nobody so far has considered the problem of explicitly distilling the "metrical fingerprint" of point-events from the gauge-dependent elements of the metric field. Working in the Hamiltonian formulation of general relativity, and building on the results of Lusanna and Pauri (2002), we show how Bergmann and Komar's "intrinsic pseudo-coordinates" (based on the value of curvature invariants) can be used to provide a physical individuation of point-events in terms of the true degrees of freedom (the "Dirac observables") of the gravitational field, and we suggest how this conceptual individuation could in principle be implemented with a well-defined empirical procedure. We argue from these results that point-events retain a significant kind of physical objectivity. (shrink)

Much recent philosophy of physics has investigated the process of symmetry breaking. Here, I critically assess the alleged symmetry restoration at the fundamental scale. I draw attention to the contingency that gauge symmetries exhibit, that is, the fact that they have been chosen from an infinite space of possibilities. I appeal to this feature of group theory to argue that any metaphysical account of fundamental laws that expects symmetry restoration up to the fundamental level is not fully satisfactory. This (...) is a symmetry argument in line with Curie’s first principle. Further, I argue that this same feature of group theory helps to explain the ‘unreasonable’ effectiveness of mathematics in physics, and that it reduces the philosophical significance that has been attributed to the objectivity of gauge symmetries. (shrink)

Stephen Hawking, among others, has proposed that the topological stability of a property of space-time is a necessary condition for it to be physically significant. What counts as stable, however, depends crucially on the choice of topology. Some physicists have thus suggested that one should find a canonical topology, a single ‘right’ topology for every inquiry. While certain such choices might be initially motivated, some little-discussed examples of Robert Geroch and some propositions of my own show that the main candidates—and (...) each possible choice, to some extent—faces the horns of a no-go result. I suggest that instead of trying to decide what the ‘right’ topology is for all problems, one should let the details of particular types of problems guide the choice of an appropriate topology. (shrink)

We unify three approaches within the vast body of gauge-theory research that have independently developed distinct representations of a geometrical surface-like structure underlying the vector-potential. The three approaches that we unify are: those who use the compactified dimensions of Kaluza–Klein theory, those who use Grassmannian models models) to represent gauge fields, and those who use a hidden spatial metric to replace the gauge fields. In this paper we identify a correspondence between the geometrical representations of the three (...) schools. Each school was mostly independently developed, does not compete with other schools, and attempts to isolate the gauge-invariant geometrical surface-like structures that are responsible for the resulting physics. By providing a mapping between geometrical representations, we hope physicists can now isolate representation-dependent physics from gauge-invariant physical results and share results between each school. We provide visual examples of the geometrical relationships between each school for \\) electric and magnetic fields. We highlight a first new result: in all three representations a static electric field has a hidden gauge-invariant time dependent surface that is underlying the vector potential. (shrink)

Rovelli's "Why Gauge?" offers a parable to show that gauge-dependent quantities have a modal and relational physical significance. We subject the morals of this parable to philosophical scrutiny and argue that, while his overarching point stands, there are subtle disanalogies between his parable and our best gauge theories, e.g. Yang-Mills theory and General Relativity.

Not all symmetries are on a par. For instance, within Newtonian mechanics, we seem to have a good grasp on the empirical significance of boosts, by applying it to subsystems. This is exemplified by the thought experiment known as Galileo’s ship: the inertial state of motion of a ship is immaterial to how events unfold in the cabin, but is registered in the values of relational quantities such as the distance and velocity of the ship relative to the shore. (...) But the significance of gauge symmetries seems less clear. For example, can gauge transformations in Yang-Mills theory—taken as mere descriptive redundancy—exhibit a similar relational empirical significance as the boosts of Galileo’s ship? This question has been debated in the last fifteen years in philosophy of physics. I will argue that the answer is ‘yes’, but only for a finite subset of gauge transformations, and under special conditions. Under those conditions, we can mathematically identify empirical significance with a failure of supervenience: the state of the Universe is not uniquely determined by the intrinsic state of its isolated subsystems. Empirical significance is therefore encoded in those relations between subsystems that stand apart from their intrinsic states. (shrink)

The purpose of the paper is to explore different aspects of the covariance of non-relativistic quantum mechanics. First, doubts are expressed concerning the claim that gauge fields can be 'generated' by way of imposition of gauge covariance of the single-particle wave equation. Then a brief review is given of Galilean covariance in the general case of external fields, and the connection between Galilean boosts and gauge transformations. Under time-dependent translations the geometric phase associated with Schrödinger evolution is (...) non-invariant, and the significance of this result is briefly analysed. The covariance properties of Schrödinger dynamics are then brought to bear on certain versions of the modal interpretation of quantum mechanics. The conclusion that it is only relational properties that can be considered coordinate- or gauge-independent elements of reality is reinforced by appeal to the theory of quantum reference frames due to Aharonov and Kauffher. , Cambridge University Press ; pp. 45-70.). (shrink)

Drawing upon five years of experience with an interdisciplinary initiative, colleagues in biology, literary studies, and physics offer a framework by which to understand the nature and value of interdisciplinary work. Effective interdisciplinary exchange depends on a dynamic and mutual interplay that challenges normally unexamined disciplinary assumptions. Effective interdisciplinary exchange can not only reinvigorate the disciplines but also engage them more effectively in a common intellectual enterprise, one that in turn is able to engage more effectively with a wide range (...) of human concerns beyond the academy. (shrink)

Dirac's approach to gauge symmetries is discussed. We follow closely the steps that led him from his conjecture concerning the generators of gauge transformations {\it at a given time} ---to be contrasted with the common view of gauge transformations as maps from solutions of the equations of motion into other solutions--- to his decision to artificially modify the dynamics, substituting the extended Hamiltonian for the total Hamiltonian. We show in detail that Dirac's analysis was incomplete and, in (...) completing it, we prove that the fulfilment of Dirac's conjecture ---in the ``non-pathological" cases--- does not imply any need to modify the dynamics. We give a couple of simple but significant examples. (shrink)

In Davidson's philosophy, one finds a wide variety of rich, provocative, and influential arguments concerning the nature of the mind—that mental states emerge only in the context of interpretation, that belief is "in its nature" veridical, that mental events are physical events, and so on. Most, if not all, of Davidson's conclusions about the mind have their source in discussions about the project of "radical interpretation." They rely upon arguments concerning the conditions on the successful interpretation of a speaker (...) by an interpreter who knows nothing initially about the speaker's language or mental states. But what is the relevance of this activity of radical interpretation? Why should the conditions on succeeding at it illuminate anything about the nature of the mind in general? In this paper, I explore these issues. In particular, I will argue that Davidson's confidence in the relevance of radical interpretation for understanding the mind ultimately depends upon a prior and quite substantive view of the mind. Moreover, it is a view of the mind for which Davidson provides little support. Indeed, the little support Davidson does provide appears to depend itself on the very relevance of radical interpretation. (shrink)

Levi ben Gerson was a medieval astronomer who responded in an unusual way to the Ptolemaic tradition. He significantly modified Ptolemy’s lunar and planetary theories, in part by appealing to physical reasoning. Moreover, he depended on his own observations, with instruments he invented, rather than on observations he found in literary sources. As a result of his close attention to the variation in apparent planetary sizes, a subject entirely absent from the Almagest, he discovered a new phenomenon of Mars (...) and noticed a serious flaw in Ptolemy’s treatment of the Moon. (shrink)

Descartes’ Meditations raised a serious question about whether he committed a logical fallacy while proving God’s existence and veracity. The crux of the allegation is him saying the truth of the clear and distinct perceptions depend on God’s veracity while its validity rests on some clear and distinct perceptions such as Cogito. At first glance Meditations justify this charge if not been attentively read. Disposal of the Cartesian circle claim depends on showing at least some clear and distinct perceptions are (...) spared from evil demon hypothesis. In this article I will argue that Cogito argument, truth rule and principles of reason specifically causality don’t need divine guarantee to grant their truth. Hence, I will defend that his arguments on proving God’s existence and veracity are circularity-proof. But still metaphysic foundations of Descartes’ epistemology rely substantially on God because without his veracity we are doomed to accept a fatal solipsism and never attain a solid ground for science, especially for physics. (shrink)

Deutsch and Hayden have proposed an alternative formulation of quantum mechanics which is completely local. We argue that their proposal must be understood as having a form of ‘gauge freedom’ according to which mathematically distinct states are physically equivalent. Once this gauge freedom is taken into account, their formulation is no longer local.

The physical meaning of gauge groups in bimetrical, Riemannian, and Hermitian theories of gravitation is discussed. In Hermitian relativity, Einstein's A-invariance means a super-gauge group which characterizes the Einstein-Schrödinger equations as the only nondegenerate general-relativistic field theory.

People can be disgusted by the concrete and by the abstract -- by an object they find physically repellent or by an ideology or value system they find morally abhorrent. Different things will disgust different people, depending on individual sensibilities or cultural backgrounds. In _Yuck!_, Daniel Kelly investigates the character and evolution of disgust, with an emphasis on understanding the role this emotion has come to play in our social and moral lives. Disgust has recently been riding a swell of (...) scholarly attention, especially from those in the cognitive sciences and those in the humanities in the midst of the "affective turn." Kelly proposes a cognitive model that can accommodate what we now know about disgust. He offers a new account of the evolution of disgust that builds on the model and argues that expressions of disgust are part of a sophisticated but largely automatic signaling system that humans use to transmit information about what to avoid in the local environment. He shows that many of the puzzling features of moral repugnance tinged with disgust are by-products of the imperfect fit between a cognitive system that evolved to protect against poisons and parasites and the social and moral issues on which it has been brought to bear. Kelly's account of this emotion provides a powerful argument against invoking disgust in the service of moral justification. (shrink)

The elucidation of the gauge principle ‘‘is the most pressing problem in current philosophy of physics’’ said Michael Redhead in 2003. This paper argues for two points that contribute to this elucidation in the context of Yang–Mills theories. (1) Yang–Mills theories, including quantum electrodynamics, form a class. They should be interpreted together. To focus on electrodynamics is potentially misleading. (2) The essential role of gauge and BRST symmetries is to provide a local field theory that can be quantized (...) and would be equivalent to the quantization of the non-local reduced theory. If this is correct, the gauge symmetry is significant, not so much because it implies ontological consequences, but because it allows us to quantize theories that we would not be able to quantize otherwise. Thus, in the context of Yang–Mills theories, it is essentially a pragmatic principle. This does not seem to be the case for the gauge symmetry in general relativity. (shrink)

In Dirac-Bergmann constrained dynamics, a first-class constraint typically does not _alone_ generate a gauge transformation. By direct calculation it is found that 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 first-class constraint p^i,_i=0 still holds, but being a function of derivatives of momenta, it is not directly about E. Only a special combination of the two first-class constraints, the Anderson-Bergmann -Castellani gauge generator G, (...) leaves E unchanged. This problem is avoided if one uses a first-class constraint as the generator of a _canonical transformation_; but that partly strips the canonical coordinates of physical meaning as electromagnetic potentials and makes the electric field depend on the smearing function, bad behavior illustrating the wisdom of the Anderson-Bergmann Lagrangian orientation of interesting canonical transformations. The need to keep gauge-invariant the relation dot{q}- dH/dp= -E_i -p^i=0 supports using the primary Hamiltonian rather than the extended Hamiltonian. The results extend the Lagrangian-oriented reforms of Castellani, Sugano, Pons, Salisbury, Shepley, _etc._ by showing the inequivalence of the extended Hamiltonian to the primary Hamiltonian even for _observables_, properly construed in the sense implying empirical equivalence. Dirac and others have noticed the arbitrary velocities multiplying the primary constraints outside the canonical Hamiltonian while apparently overlooking the corresponding arbitrary coordinates multiplying the secondary constraints _inside_ the canonical Hamiltonian, and so wrongly ascribed the gauge quality to the primaries alone, not the primary-secondary team G. Hence the Dirac conjecture about secondary first-class constraints rests upon a false presupposition. The usual concept of Dirac observables should also be modified to employ the gauge generator G, not the first-class constraints separately, so that the Hamiltonian observables become equivalent to the Lagrangian ones such as the electromagnetic field F. (shrink)

The world appears to be well described by gauge theories; why? I suggest that gauge is more than mathematical redundancy. Gauge-dependent quantities can not be predicted, but there is a sense in which they can be measured. They describe “handles” though which systems couple: they represent real relational structures to which the experimentalist has access in measurement by supplying one of the relata in the measurement procedure itself. This observation leads to a physical interpretation for the (...) ubiquity of gauge: it is a consequence of a relational structure of physical quantities. (shrink)

In a recent paper in this journal, Kosso ([2000]) discussed the observational status of continuous symmetries of physics. While we are in broad agreement with his approach, we disagree with his analysis. In the discussion of the status of gauge symmetry, a set of examples offered by 't Hooft ([1980]) has influenced several philosophers, including Kosso; in all cases the interpretation of the examples is mistaken. In this paper, we present our preferred approach to the empirical significance of (...) symmetries, re-analysing the cases of gauge symmetry and general covariance. Direct and indirect empirical significance Global and local continuous symmetries Gauge symmetry 3.1 Local gauge symmetry 3.1.1 Discussion of the first claim 3.1.2 Discussion of the second claim 3.2 Global gauge symmetry Space-time symmetries Direct and indirect empirical significance again Conclusion. (shrink)

The Weyl theory of gravitation and electromagnetism, as modified by Dirac, contains a gauge-covariant scalar β which has no geometric significance. This is a flaw if one is looking for a geometric description of gravitation and electromagnetism. A bimetric formalism is therefore introduced which enables one to replace β by a geometric quantity. The formalism can be simplified by the use of a gauge-invariant physical metric. The resulting theory agrees with the general relativity for phenomena in (...) the solar system. (shrink)

This book provides the reader with a detailed and captivating account of the story where, for the first time, physicists ventured into proposing a new force of nature beyond the four known ones - the electromagnetic, weak and strong forces, and gravitation - based entirely on the reanalysis of existing experimental data. Back in 1986, Ephraim Fischbach, Sam Aronson, Carrick Talmadge and their collaborators proposed a modification of Newton's Law of universal gravitation. Underlying this proposal were three tantalizing pieces of (...) evidence: 1) an energy dependence of the CP (particle-antiparticle and reflection symmetry) parameters, 2) differences between the measurements of G, the universal gravitational constant, in laboratories and in mineshafts, and 3) a reanalysis of the Eötvos experiment, which had previously been used to show that the gravitational mass of an object and its inertia mass were equal to approximately one part in a billion. The reanalysis revealed that, contrary to Galileo's position, the force of gravity was in fact very slightly different for different substances. The resulting Fifth Force hypothesis included this composition dependence and also added a small distance dependence to the inverse-square gravitational force. Over the next four years numerous experiments were performed to test the hypothesis. By 1990 there was overwhelming evidence that the Fifth Force, as initially proposed, did not exist. This book discusses how the Fifth Force hypothesis came to be proposed and how it went on to become a showcase of discovery, pursuit and justification in modern physics, prior to its demise. In this new and significantly expanded edition, the material from the first edition is complemented by two essays, one containing Fischbach's personal reminiscences of the proposal, and a second on the ongoing history and impact of the Fifth Force hypothesis from 1990 to the present. <. (shrink)

In the absence of empirical confirmation, scientists may judge a theory's chances of being viable based on a wide range of arguments. The paper argues that such arguments can differ substantially with regard to their structural similarly to empirical confirmation. Arguments that resemble empirical confirmation in a number of crucial respects provide a better basis for reliable judgement and can, in a Bayesian sense, amount to significant \textit{non-empirical} confirmation. It is shown that three kinds of non-empirical confirmation that have been (...) specified in earlier work do satisfy those conditions. (shrink)

BackgroundAwareness of aging brings to light one’s own perceived behavioral, physical, and cognitive changes associated with getting older. Personality and physical illness are each related to two components of awareness of aging: attitudes toward own aging, and awareness of age-related changes. Here, we move beyond main effects to examine how personality and arthritis interact with respect to awareness of aging.Materials and Methods296 participants completed online self-report questionnaires of personality, arthritis, ATOA, and AARC gains and losses.ResultsWe ran three hierarchical (...) multiple regression models to test how personality traits and arthritis interacted to predict ATOA, AARC gains, and AARC losses, respectively. Higher extraversion was related to positive ATOA, and higher openness was related to positive ATOA and more AARC gains. Higher neuroticism was related to negative ATOA, more AARC losses, and less AARC gains. We found a main effect for arthritis, where those with arthritis reported more AARC losses. Lastly, we found a significant interaction between arthritis and agreeableness when predicting AARC gains. Among those with low agreeableness, people with arthritis reported significantly more AARC gains compared to those without arthritis.ConclusionPersonality and arthritis are each important for awareness of aging. Overall, our study suggests that for those with arthritis, it is especially important to consider behavioral and cognitive factors related to agreeableness, as they may be important means of promoting positive views on aging. (shrink)

Local gauge theories are in a complicated relationship with boundaries. Whereas fixing the gauge can often shave off unwanted redundancies, the coupling of different bounded regions requires the use of gauge-variant elements. Therefore, coupling is inimical to gauge-fixing, as usually understood. This resistance to gauge-fixing has led some to declare the coupling of subsystems to be the \textit{raison d'\^etre} of gauge \cite{RovelliGauge2013}. Indeed, while gauge-fixing is entirely unproblematic for a single region without boundary, (...) it introduces arbitrary boundary conditions on the gauge degrees of freedom themselves---these conditions lack a physical interpretation when they are not functionals of the original fields. Such arbitrary boundary choices creep into the calculation of charges through Noether's second theorem, muddling the assignment of physical charges to local gauge symmetries. The confusion brewn by gauge at boundaries is well-known, and must be contended with both conceptually and technically. It may seem natural to replace the arbitrary boundary choice with new degrees of freedom, for using such a device we resolve some of these confusions while leaving no gauge-dependence on the computation of Noether charges \cite{DonnellyFreidel}. But, concretely, such boundary degrees of freedom are rather arbitrary---they have no relation to the original field-content of the field theory. How should we conceive of them? Here I will explicate the problems mentioned above and illustrate a possible resolution: in a recent series of papers \cite{GomesRiello2016, GomesRiello2018, GomesHopfRiello} the notion of a connection-form was put forward and implemented in the field-space of gauge theories. Using this tool, a modified version of symplectic geometry---here called `horizontal'---is possible. Independently of boundary conditions, this formalism bestows to each region a physically salient, relational notion of charge: the horizontal Noether charge. Meanwhile, as required, the connection-form mediates an irenic composition of regions, one compatible with the attribution of horizontal Noether charges to each region. Thes aims of this paper are to highlight the boundary issues in the treatment of gauge, and to discuss how gauge theory may be conceptually clarified in light of a resolution to these issues. (shrink)

Attributed to Alexander of Aphrodisias -the leading ancient commentator on Aristotle -the Quaestiones exemplify the process through which Aristotle's thought was organized and came to be interpreted as "Aristotelianism." This volume of R.W. Sharples's translation, together with his earlier translation of Quaestiones 1.1-2.15, makes the Quaestiones available in its entirety for the first time in a modern language. The Quaestiones are concerned with problems of physics and metaphysics, psychology and divine providence. Readers interested in Aristotle's psychological views will find the (...) second half of the Quaestiones particularly valuable. Ten of the problems discussed involve issues raised in Aristotle's On the Soul, including the unity of apperception and the transition from first to second actuality in the act of contemplation. An additional twelve problems relate to aspects of physical theory such as infinity, necessity, and potentiality. Quaestio 2.21 concerns divine providence and helps supplement our knowledge of Alexander's position. A study of the Quaestiones also suggests how interpretations of Aristotle were influenced by doctrines of Hellenistic philosophy. Translated first into Arabic and then into Latin, excerpts from the Quaestiones played a significant role in the transmission of ancient Greek philosophy to the medieval world. (shrink)

This article suggests a fresh look at gauge symmetries, with the aim of drawing a clear line between the a priori theoretical considerations involved, and some methodological and empirical non-deductive aspects that are often overlooked. The gauge argument is primarily based on a general symmetry principle expressing the idea that a change of mathematical representation should not change the form of the dynamical law. In addition, the ampliative part of the argument is based on the introduction of new (...) degrees of freedom into the theory according to a methodological principle that is formulated here in terms of correspondence between passive and active transformations. To demonstrate how the two kinds of considerations work together in a concrete context, I begin by considering spatial symmetries in mechanics. I suggest understanding Mach's principle as a similar combination of theoretical, methodological and empirical considerations, and demonstrate the claim with a simple toy model. I then examine gauge symmetries as a manifestation of the two principles in a quantum context. I further show that in all of these cases the relational nature of physically significant quantities can explain the relevance of the symmetry principle and the way the methodology is applied. In the quantum context, the relevant relational variables are quantum phases. (shrink)

Often, when we share information about ourselves, we contribute to people learning personal things about others. This may happen because what we share about ourselves can be used to infer personal information about others. Such dependencies have become known as privacy dependencies in the literature. It is sometimes claimed that the scope of the right to privacy should be expanded in light of such dependencies. For example, some have argued that inferring information about others can violate their right to privacy. (...) Others have argued that sharing personal information about yourself that license such inferences can by itself violate the right to privacy. In this paper, we argue that the latter view should be rejected. (shrink)

This article investigates and resolves the question whether gauge symmetry can display analogs of the famous Galileo’s ship scenario. In doing so, it builds on and clarifies the work of Greaves and Wallace on this subject.

We discuss some aspects of the relation between dualities and gauge symmetries. Both of these ideas are of course multi-faceted, and we confine ourselves to making two points. Both points are about dualities in string theory, and both have the ‘flavour’ that two dual theories are ‘closer in content’ than you might think. For both points, we adopt a simple conception of a duality as an ‘isomorphism’ between theories: more precisely, as appropriate bijections between the two theories’ sets of (...) states and sets of quantities. The first point is that this conception of duality meshes with two dual theories being ‘gauge related’ in the general philosophical sense of being physically equivalent. For a string duality, such as T-duality and gauge/gravity duality, this means taking such features as the radius of a compact dimension, and the dimensionality of spacetime, to be ‘gauge’. The second point is much more specific. We give a result about gauge/gravity duality that shows its relation to gauge symmetries to be subtler than you might expect. For gauge theories, you might expect that the duality bijections relate only gauge-invariant quantities and states, in the sense that gauge symmetries in one theory will be unrelated to any symmetries in the other theory. This may be so in general; and indeed, it is suggested by discussions of Polchinski and Horowitz. But we show that in gauge/gravity duality, each of a certain class of gauge symmetries in the gravity/bulk theory, viz. diffeomorphisms, is related by the duality to a position-dependent symmetry of the gauge/boundary theory. (shrink)

The question of what ontological insights can be gained from the knowledge of physics (keyword: ontic structural realism) cannot obviously be separated from the view of physics as a science from an epistemological perspective. This is also visible in the debate about 'scientific realism'. This debate makes it evident, in the form of the importance of perception as a criterion for the assertion of existence in relation to the 'theoretical entities' of physics, that epistemology itself is 'ontologically laden'. This is (...) in the form of the assumption that things (or entities) in themselves exist as such and such determined ones (independent of cognition, autonomously). This ontological assumption is not only the basis of our naïve understanding of cognition, but also its indispensable premise, insofar as this understanding is a fundamentally passive, 'receptive' one. Accordingly, just as 'perception' is the foundation, ('objective') description is the aim of cognition, that which cognition is about. In this sense, our idea of cognition and our idea of the things are inseparably linked. Without the ontological premise mentioned we just would not know what cognition is, but it is basically just a kind of image that we have in our minds (an assumption that helps us understand 'cognition'). Epistemology not only shares this basic assumption (which it also shares with metaphysics), but it revolves (unlike metaphysics) entirely around it by making the idea and demand of 'certainty' a condition of 'real' knowledge. As 'certainty' is a subjective criterion this entails the 'remodelling' of the real, holistic cognitive situation (to which metaphysics adheres) into a linear subject-object-relation (which results in the strict 'transcendence' of the objects). And it also establishes, due to its 'expertise' in matters of cognition, the 'primacy of epistemology' over all other sciences. Now, on closer inspection, however, the expertise of epistemology seems not all that dependable, because it basically consists only of paradigms which, from the point of view of the holism of the real cognitive situation itself, are nothing more than relatively simplistic interpretations of this situation. However, we do not yet know what another conception of cognition might look like (which is not surprising given the high rank of the phenomenon of cognition in the hierarchy of phenomena according to their complexity). 'Certainty' as a criterion of cognition is thus excluded from the outset, and thus the linear relational model of cognition appears as what it is, a gross distortion of the real, holistic cognitive situation. The significance of this argumentation with regard to physics is that the linear epistemological model of cognition itself is a major obstacle to an adequate epistemological understanding of physics. This is because it is fixed 'a priori' to an object-related concept of cognition, and to 'description' as the only mode of ('real') cognition. But physics (without questioning our naïve notion of cognition on the level of epistemology) simply works past it and its basic assumptions. Its cognitive concept (alias heuristic) is fundamentally different from that of metaphysics. The acceptance of the real, holistic cognitive situation is, in my opinion, the condition for an adequate understanding of physics' heuristic access to objects, its transcendental, generalizing cognitive concept, as well as its ontological relevance and dimension of its own. (shrink)

Visit the author's Web site at www.11PicsOfTime.com Time is a mystery that has perplexed humankind since time immemorial. Resolving this mystery is of significance not only to philosophers and physicists but is also a very practical concern. Our perception of time shapes our values and way of life; it also mediates the interaction between science and religion both of which rest fundamentally on assumptions about the nature of time. C K Raju begins with a critical exposition of various time-beliefs, (...) ranging from the earliest times through Augustine, Newton and Einstein to Stephen Hawking and current notions of chaos and time travel. He traces the role of organised religion in subverting time beliefs for its political ends. The book points out how this resulted in a facile dichotomy between 'linear' and 'cyclic' time, thereby inaugurating a confusion which, according to the author, has handicapped Western thought ever since, eventually influencing the content of science itself. Thus, this book daringly asserts that physical theory, traditionally regarded as amoral and objective, has depended on cultural beliefs about time. The author points out that time beliefs are again being manipulated today as the credibility of science is being exploited to promote a picture of time and, hence, a pattern of human behaviour which is convenient to the agenda of globalisation of culture. The linkages between modern theology and this 'brave new physics' are traced against the wider context of the so-called 'clash of civilisations', and the attempts to remake the world order. The conclusions point to the need to de-theologise time. The author challenges Einstein's understanding of relativity theory and suggests that a 'tilt in the arrow of time', or a small tendency towards cyclicity, will help repair the prevalent confusion about time. A 'tilt' also enables a physics that permits both memory and creativity, so that purpose and spontaneous growth of order are returned to human life. The book ends with a vision of Man as Creator, surprising God. Extensive research in physics, the history of science, comparative religions, and sociology lend weight to the important and challenging conclusions reached by the author. Written as a rejoinder to Stephen Hawking's A Brief History of Time, this book goes much further and, unlike any previous book, it gives a critical exposition of various world religions-Buddhism, Christianity, Hinduism, Islam, and Jainism-while exploring their intricate links, through time beliefs, to current physics on the one hand, and to global political and economic trends, on the other. This book will appeal to scholars and laypersons equally. It will fascinate anyone who reads it and will teach its readers to question the unquestionable. (shrink)

I argue that algebraic quantum field theory (AQFT) permits an undisturbed view of the right ontology for fundamental physics, whereas standard (or Lagrangian) QFT offers different mutually incompatible ontologies.My claim does not depend on the mathematical inconsistency of standard QFT but on the fact that AQFT has the same concerns as ontology, namely categorical parsimony and a clearly structured hierarchy of entities.

We propose a definition of physical objects that aims to clarify some interpretational issues in quantum mechanics. We claim that the transformations generated by the objective properties of a physical system must be strictly interpreted as gauge transformations. We will argue that the uncertainty principle is a consequence of the mutual intertwining between objective properties and gauge-dependant properties. The proposed definition implies that in classical mechanics gauge-dependant properties are wrongly considered objective. We will conclude that, (...) unlike classical mechanics, quantum mechanics provides a complete objective description of physical systems. (shrink)

Part of the educational system in England has been geared towards the preparation of particular professions, while the identity and status of members of some professions have depended significantly on the general education they have received. Originally published in 1973, this volume explores the interaction between education and the professions. It also looks at the education of the main professions in sixteenth century England and at how twentieth century university teaching is a key profession for the training of new recruits (...) to other professions. (shrink)