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)

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)

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.

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)

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)

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)

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)

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)

Those looking for holism in contemporary physics have focused their attention primarily on quantum entanglement. But some gauge theories arguably also manifest the related phenomenon of nonseparability. While the argument is strong for the classical gauge theory describing electromagnetic interactions with quantum “particles”, it fails in the case of general relativity even though that theory may also be formulated in terms of a connection on a principal fiber bundle. Anandan has highlighted the key difference in his analysis of (...) a supposed gravitational analog to the Aharonov-Bohm effect. By contrast with electromagnetism in the original Aharonov-Bohm effect, gravitation is separable and exhibits no novel holism in this case. Whether the nonseparability of classical gauge theories of non-gravitational interactions is associated with holism depends on what counts as the relevant part-whole relation. Loop representations of quantized gauge theories of non- gravitational interactions suggest that these conclusions about holism and nonseparability may extend also to quantum theories of the associated fields. (shrink)

A quantization procedure without Hamiltonian is reported which starts from a statistical ensemble of particles of mass m and an associated continuity equation. The basic variables of this theory are a probability density ρ, and a scalar field S which defines a probability current j=ρ ∇ S/m. A first equation for ρ and S is given by the continuity equation. We further assume that this system may be described by a linear differential equation for a complex-valued state variable χ. Using (...) these assumptions and the simplest possible Ansatz χ(ρ,S), for the relation between χ and ρ,S, Schrödinger’s equation for a particle of mass m in a mechanical potential V(q,t) is deduced. For simplicity the calculations are performed for a single spatial dimension (variable q). Using a second Ansatz χ(ρ,S,q,t), which allows for an explicit q,t-dependence of χ, one obtains a generalized Schrödinger equation with an unusual external influence described by a time-dependent Planck constant. All other modifications of Schrödinger’ equation obtained within this Ansatz may be eliminated by means of a gauge transformation. Thus, this second Ansatz may be considered as a generalized gauging procedure. Finally, making a third Ansatz, which allows for a non-unique external q,t-dependence of χ, one obtains Schrödinger’s equation with electrodynamic potentials A,φ in the familiar gauge coupling form. This derivation shows a deep connection between non-uniqueness, quantum mechanics and the form of the gauge coupling. A possible source of the non-uniqueness is pointed out. (shrink)

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. By construing change as essential time dependence, one can find change locally in vacuum GR in the Hamiltonian formulation just where it should be. But what if spinors are present? This paper is motivated by the tendency in space-time philosophy (...) tends to slight fermionic/spinorial matter, the tendency in Hamiltonian GR to misplace changes of time coordinate, and the tendency in treatments of the Einstein-Dirac equation to include a gratuitous local Lorentz gauge symmetry along with the physically significant coordinate freedom. Spatial dependence is dropped in most of the paper, both restricting the physical situation and largely fixing the spatial coordinates. In the interest of including all and only the coordinate freedom, the Einstein-Dirac equation is investigated using the Schwinger time gauge and Kibble-Deser symmetric triad condition are employed as a \ version of the DeWitt-Ogievetsky-Polubarinov nonlinear group realization formalism that dispenses with a tetrad and local Lorentz gauge freedom. Change is the lack of a time-like stronger-than-Killing field for which the Lie derivative of the metric-spinor complex vanishes. An appropriate \-friendly form of the Rosenfeld-Anderson-Bergmann-Castellani gauge generator G, a tuned sum of first class-constraints, is shown to change the canonical Lagrangian by a total derivative, implying the preservation of Hamilton’s equations. Given the essential presence of second-class constraints with spinors and their lack of resemblance to a gauge theory, it is useful to have an explicit physically interesting example. This gauge generator implements changes of time coordinate for solutions of the equations of motion, showing that the gauge generator makes sense even with spinors. (shrink)

Quantum mechanics of a particle in an infinite square well under the influence of a time-dependent electric field is reconsidered. In some gauge, the Hamiltonian depends linearly on the momentum operator, which is symmetric but not self-adjoint when defined on a finite interval. In spite of this symmetric part, the Hamiltonian operator is shown to be self-adjoint. This follows from a theorem by Kato and Rellich which guarantees the stability of a self-adjoint operator under certain symmetric perturbations. The result, (...) which has been assumed tacitly by other authors, is important in order to establish the equivalence of different Hamiltonian operators related to each other by quantum gauge transformations. (shrink)

My life as a quantum physicist / M. Nakahara -- A review on operator quantum error correction - Dedicated to Professor Mikio Nakahara on the occasion of his 60th birthday / C.-K. Li, Y.-T. Poon and N.-S. Sze -- Implementing measurement operators in linear optical and solid-state qubits / Y. Ota, S. Ashhab and F. Nori -- Fast and accurate simulation of quantum computing by multi-precision MPS: Recent development / A. Saitoh -- Entanglement properties of a quantum lattice-gas model on (...) square and triangular ladders / S. Tanaka, R. Tamura and H. Katsura -- On signal amplification from weak-value amplification / Y. Shikano -- Topological protection of quantum information / K. Fujii -- Quantum annealing with antiferromagnetic fluctuations for mean-field models / Y. Seki and H. Nishimori -- A method to change phase transition nature - Toward annealing methods / R. Tamura and S. Tanaka -- Computational analysis of the first stage of the photosynthetic system, the light-dependent reaction, by quantum chemical simulation method / M. Tada-Umezaki -- Two-qubit gate operation on selected nearest neighboring qubits in a neutral atom quantum computer / E. Hosseini Lapasar... [et al.] -- A simple operator quantum error correction scheme avoiding fully correlated errors / C. Bagnasco, Y. Kondo and M. Nakahara -- Black hole predictability, classical and quantum / A. Ishibashi -- Classical field simulation of finite-temperature Bose gases / T. Sato -- Atomic quantum simulations of lattice gauge theory: Effect of gauge symmetry breaking / K. Kasamatsu, I. Ichinose and T. Matsui -- Recursive construction of noiseless subsystem for qudits / U. Gungordu... [et al.] -- Composite quantum gates for precise quantum control / M. Bando... [et al.] -- New formulation of statistical mechanics using thermal pure quantum states / S. Sugiura and A. Shimizu -- Thermodynamics in unitary time evolution / T. N. Ikeda -- Second law of thermodynamics with QC-mutual information / T. Sagawa. (shrink)

We make two points about dualities in string theory. The first point is that the conception of duality, which we will discuss, meshes with two dual theories being ‘gauge related’ in the general philosophical sense of being physically equivalent. The second point is a result about gauge/gravity duality that shows its relation to gauge symmetries to be subtler than one might expect: each of a certain class of gauge symmetries in the gravity theory, that is, diffeomorphisms, (...) is related to a position-dependent symmetry of the gauge theory. (shrink)

The recent debate about whether gauge symmetries can be empirically significant has focused on the possibility of 'Galileo's ship' types of scenarios, where the symmetries effect relational differences between a subsystem and the environment. However, it has gone largely unremarked that apart from such Galileo's ship scenarios, Greaves and Wallace (2014) proposed that gauge transformations can also be empirically significant in a 'non-relational' manner that is analogous to a Faraday-cage scenario, where the subsystem symmetry is related to a (...) change in a charged boundary state. In this paper, we investigate the question of whether such non-relational scenarios are possible for gauge theories. Remarkably, the answer to this question turns out to be closely related to a foundational puzzle that has driven a host of recent developments at the frontiers of theoretical physics. By drawing on these recent developments, we show that a very natural way of elaborating on Greaves and Wallace's claim of non-relational empirical significance for gauge symmetry is incoherent. However, we also argue that much of what they suggest is correct in spirit: one can indeed construct non-relational models of the kind they sketch, albeit ones where the empirical significance is not witnessed by a gauge symmetry but instead by a superficially similar boundary symmetry. Furthermore, the latter casts doubt on whether one really abandons Galileo's ship in such scenarios. (shrink)

There is solid consensus among physicists and philosophers that, in gauge field theory, for a quantity to be physically meaningful or real, it must be gauge-invariant. Yet, every “elementary” field in the Standard Model of particle physics is actually gauge-variant. This has led a number of researchers to insist that new manifestly gauge-invariant approaches must be established. Indeed, in the foundational literature, dissatisfaction with standard methods for reducing gauge symmetries has been expressed: Spontaneous symmetry breaking (...) is deemed conceptually dubious, while gauge fixing suffers the same limitations and is subject to the same criticisms as coordinate choices in General Relativity. An alternative gauge-invariant proposal was recently introduced in the literature, the so-called “dressing field method” (DFM). It is a mathematically subtle tool, and unfortunately prone to be confused with simple gauge transformations, hence with standard gauge fixings. As a matter of fact, in the physics literature the two are often conflated, and in the philosophy community some doubts have been raised about whether there is any substantial difference between them. Clarifying this issue is of special significance for anyone interested in both the foundational issues of gauge theories and their invariant formulation. It is thus our objective to establish as precisely as possible the technical and conceptual distinctions between the DFM and gauge fixing. (shrink)

To answer foundational questions in physics, physicists turn more and more to abstract advanced mathematics, even though its physical significance may not be immediately clear. What if we started to borrow ideas and approaches, with appropriate modifications, from the foundations of mathematics? In this paper we explore this route. In reverse mathematics one starts from theorems and finds the minimum set of axioms required for their derivation. In reverse physics we want to start from laws or more specific (...) results, and find the physical concepts and starting points that recover them. We want to understand what physical results are implied by which physical assumptions. As an example of the technique, we will see six different characterizations of classical mechanics, show that the uncertainty principle depends only on the entropy bound on pure states and recast the third law of thermodynamics in terms of the entropy of an empty system. We believe the approach can provide greater insights into both current and new physical theories, put the physical concepts at the forefront of the discussion and provide a more unified view of physics by highlighting common patterns and ideas across different physical theories. (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)

This research aims to explore whether physical exercise can buffer the impact of the COVID-19 stressors. Based on the cross-stressor adaptation hypothesis, we proposed a moderated mediation model relating the COVID-19 stressors to sleep disorder via somatic and worry complaints, depending on the amount of physical exercise. A sample of working adults in Beijing filled surveys in two waves during the COVID-19 pandemic. Structural regression analysis showed that physical exercise moderates the impact of the COVID-19 stressors on (...) sleep disorder via somatic complaints, rather than psychological worry complaints. Specifically, the COVID-19 stressors increase somatic complaints for people with a low amount of physical exercise, while the COVID-19 stressors are not significantly related to somatic complaints for people with a high amount of physical exercise. This research extends the cross-stressor adaptation hypothesis and provides evidence on an individual intervention of physical exercise to deal with the COVID-19 pandemic. (shrink)

In the context of a covariant mechanics with Poincaré-invariant evolution parameter τ, Sa'ad, Horwitz, and Arshansky have argued that for the electromagnetic interaction to be well posed, the local gauge function of the field should include dependence on τ, as well as on the spacetime coordinates. This requirement of full gauge covariance leads to a theory of five τ-dependent gauge compensation fields, which differs in significant aspects from conventional electrodynamics, but whose zero modes coincide with the (...) Maxwell theory. The pre-Maxwell fields may exchange mass with charged particles, permitting pair annihilation even at the classical level. The total mass-energy-momentum tensor of the fields and particles is conserved. The Green's functions for the fields provide spacelike and timelike support for correlations, as well as lightlike propagation. A τ-integration of the fields—singling out the massless photons—recovers the standard Maxwell theory, which then has the character of an equilibrium limit of the underlying microscopic dynamics. The pre-Maxwell theory also turns out to be the solution of the inverse problem in variational mechanics: it is shown to be the most general local gauge theory consistent with unconstrained commutation relations in four dimensions. Posed in this framework, the extension to n-dimensions, curved background space, and non-abelian gauge symmetry becomes straightforward. (shrink)

All sciences have epistemic assumptions, a language for expressing their theories or models, and symbols that reference observables that can be measured. In most sciences the language in which their models are expressed are not the focus of their attention, although the choice of language is often crucial for the model. On the contrary, biosemiotics, by definition, cannot escape focusing on the symbol–matter relationship. Symbol systems first controlled material construction at the origin of life. At this molecular level it is (...) only in the context of open-ended evolvability that symbol–matter systems and their functions can be objectively defined. Symbols are energy-degenerate structures not determined by laws that act locally as special boundary conditions or constraints on law-based energy-dependent matter in living systems. While this partial description holds for all symbol systems, cultural languages are much too complex to be adequately described only at the molecular level. Genetic language and cultural languages have common basic requirements, but there are many significant differences in their structures and functions. (shrink)

Classical generators of one-dimensional reparametrization, and higher dimensional diffeomorphism symmetries are displayed for the relativistic free particle, relativistic particles in interaction, and general relativity in both Lagrangian and Hamiltonian frameworks. Projectability of these symmetries under the Legendre map is achieved only with dynamical variable-dependent transformations. When gauge symmetries are included, as in Einstein-Yang-Mills and a new reparametrization covariant pre-Maxwell model, pure coordinate symmetries are not projectable. They must be accompanied by internal gauge transformations.

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 idelaist 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)

ABSTRACT Agents in Frankfurt-style counterexamples only appear to be responsible insofar as they act willingly in the actual sequence, but would need to be manipulated against their will into forming the relevant intention in the alternative sequence. This difference appears ineliminable and unavoidably morally significant. ‘Neo-Frankfurtians’ concede that the sequences must be physically differentiated, but deny their moral differentiation. In contrast, I explore whether the alternatives could be physically undifferentiated, despite their moral difference. The reason there is an ineliminable moral (...) difference is because there is an ineliminable causal one: The agent’s choice must be caused by his own inclinations in one sequence, but by Black’s manipulation in the other. Whether this causal difference entails a physical one depends on whether we suppose causal relations conform to Humean supervenience. The denial of the latter requires us to either reject any broadly Humean view of causation, or else to suppose that we can individuate events or their qualities independently of the physical facts. If these are coherent possibilities, such examples may show that physically differentiated alternatives are not required for moral responsibility. This could support compatibilism, but only if such examples adequately parallel determinism, and I remain sceptical on this point. (shrink)

This dissertation is an investigation into the degree to which the mathematics used in physical theories can be constructivized. The techniques of recursive function theory and classical logic are used to separate out the algorithmic content of mathematical theories rather than attempting to reformulate them in terms of "intuitionistic" logic. The guiding question is: are there experimentally testable predictions in physics which are not computable from the data? ;The nature of Church's thesis, that the class of effectively calculable functions (...) on the natural numbers is identical to the class of general recursive functions, is discussed. It is argued that this thesis is an example of an explication of the very notion of an effectively calculable function. This is contrary to a view of the thesis as a hypothesis about the limitations of the human mind. ;The extension to functions of a real variable of the notion of effective calculability is discussed, and it is argued that a function of a real variable must be continuous in order to be considered effectively calculable . The relation between continuity and computability is significant for the problem at hand. The results of a well-designed experiment do not depend critically upon the precise values of the relevant parameters. Accordingly, if the solution to a problem in mathematical physics depends discontinuously upon the data, it cannot be regarded as an experimentally testable prediction of the theory. The principle that the testable predictions of a physical theory cannot be singular is known as the principle of regularity. This principle is significant, because discontinuities generate non-computability, but they also disqualify a prediction from being experimentally testable. ;A mathematical framework is set up for discussing computability in physical theories. This framework is then applied to the case of quantum mechanics. It is found that, due to the use of unbounded operators in the theory, noncomputable objects appear, but predictions which satisfy the principle of regularity are nevertheless computable functions of the data. (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)

This study investigates: the changes in three major health-related factors—physical activity, non-physical-activity health behavior, and depressive symptoms, and how changes in physical activity were associated with changes in one’s depressive symptoms among young adults, middle-aged adults, and older adults while controlling non-physical-activity health behavior and sociodemographic characteristics among young, middle-aged, and older adults before and after the COVID-19 outbreak lockdown in the United States. A total of 695 participants completed an online questionnaire via MTurk, and participants (...) were asked to recall their physical activity, depressive symptoms, and non-physical-activity health behavior status in January and May of 2020. The IPAQ-SF was used to evaluate individuals’ physical activity, while the CES-D-10 was used to assess depressive symptoms. Covariates included non-physical-activity health behavior and sociodemographic factors. A Bayesian significance testing of changes was used to examine significant changes in physical activity, non-physical-activity behavior, and depressive symptoms in each age group while Bayesian regression analysis was employed to examine how the changes in physical activity were associated with respondents’ depressive symptoms while controlling for individual NHB and sociodemographic characteristics. The results showed that the participants tended to maintain their physical activity levels after the lockdown despite significant increases in sitting time among young and older adults. Decreases in moderate physical activity frequency were associated with a higher level of depressive symptoms. Although young and middle-aged cohorts experienced fewer differences in depressive symptoms compared to their counterparts in the older group, we found no significant heterogeneity effects in the relationships of interest across all age groups. Considering different influences of physical activity on depressive symptoms depending on different levels of activity and ages, more randomized clinical trials with program-based intervention studies should be conducted with different physical activity programs for different age populations. (shrink)

For time-independent fields the Aharonov-Bohm effect has been obtained by idealizing the coordinate space as multiply-connected and using representations of its fundamental homotopy group to provide information on what is physically identified as the magnetic flux. With a time-dependent field, multiple-connectedness introduces the same degree of ambiguity; by taking into account electromagnetic fields induced by the time dependence, full physical behavior is again recovered once a representation is selected. The selection depends on a single arbitrary time (hence the (...) so-called holonomies are not unique), although no physical effects depend on the value of that particular time. These features can also be phrased in terms of the selection of self-adjoint extensions, thereby involving yet another question that has come up in this context, namely, boundary conditions for the wave function. (shrink)

Physics depends on “physical intuition”, much of which is formulated in terms of Mathematics. Mathematics itself depends on Logic. The paper presents three latest novelties in Logic which have major consequences in Mathematics. Further, it presents two possible significant departures in Mathematics itself. These five departures can have major implications in Physics. Some of them are indicated, among them in Quantum Mechanics and Relativity.

This paper starts by examining the language used in some well known scriptural passages where the importance of mercy or compassion is stressed. Such passages underline the ethical importance of a direct, physically and emotionally involved response. This leads on to a critique of the shortcomings of approaches to ethics which advocate the impersonal promotion of welfare; our lives as ethical beings depend intimately on the immediate responses arising from our encounters with others in our day-to-day lives. The paper then (...) further explores the special status of loving kindness and mercy in the Judaeo-Christian tradition, and argues that secular ethical systems, whether grounded in human nature or in the supposed requirements of rationality, are unlikely to be able to underwrite this kind of status. The final section reflects further on the ‘cosmic’ significance of love in a theistic worldview. (shrink)

Abstract“Hypernormal science” has minimal potential for contestation on matters of principle and practice so that information exchange can be unproblematic. Sciences comprise hypernormal domains and more contestable “normal” domains where knowledge diffusion, like acquiring linguistic fluency, depends on face-to-face interaction. Hypernormal domains belonging to molecular biology are contrasted with normal domains in gravitational wave detection physics. Sciences as a whole should not be confused with their typical domains. The analysis has immediate implications for proposed transitions out of the Covid-19 lockdown, (...) proposed solutions to the replication crisis, and, perhaps, our understanding of the early development of social studies of science. (shrink)

_ Source: _Page Count 24 Moral theories which include a preference-fulfillment aspect should not restrict their concern to some subset of people’s preferences such as “now-for-now” preferences. Instead, preferences with all contents—e.g. ones which are external, diachronic, or even modal—should be taken into account. I offer a conceptualization of preferences and preference fulfillment which allows us to understand odd species of preferences, and I give a series of examples showing what it would mean to fulfill such preferences and why we (...) ought to do so. (shrink)

The two center time dependent Dirac equation, for an electron in the external field of two colliding ultrarelativistic heavy ions is considered. In the ultrarelativistic limit, the ions are practically moving at the speed of light and the electromagnetic fields of the ions are confined to the light fronts by the extreme Lorentz contraction and by the choice of gauge, designed to remove the long-range Coulomb effects. An exact solution to the ultrarelativistic limit of the two-center Dirac equation is (...) found by using light-front variables and a light-fronts representation. Previously unexplained experimental results obtained at CERN's SPS are explained in this way and predictions are made as to where one should look, in momentum space, and in space-time, if one wants to study and observe non-perturbative electromagnetic pair-production effects in extremely relativistic heavy-ion collisions. (shrink)

Effective communication during a pandemic, such as the current COVID-19 crisis, can save lives. At the present time, social and physical distancing measures are the lead strategy in combating the spread of COVID-19. In this study, a survey was administered to 705 adults from Switzerland about their support and practice of social distancing measures to examine if their responses depended on (1) whether these measures were supported by a government official or an internationally recognized celebrity as a spokesperson, (2) (...) whether this spokesperson was liked, and (3) the respondent’s age. We also considered several attitudinal and demographic variables that may influence the degree to which people support and comply with social distancing measures. We found that the government official was more effective in eliciting responses supportive of social distancing, particularly as manifested in the stated current compliance with social distancing measures. The effect was substantially stronger among older respondents, although these respondents expressed a lower risk perception. Although there was a general trend for greater endorsement of the social distancing measures among participants who liked the spokesperson, this was non-significant. In addition, respondents’ greater support and compliance was positively associated with (1) higher concern for the current situation, (2) higher concern for the well-being of others, and (3) greater belief that others were practicing social distancing, and negatively with (4) greater self-reported mobility. Current compliance correlated negatively with (5) household size. Since different parts of the population appear to have different perceptions of risk and crisis, our preliminary results suggest that different spokespersons may be needed for different segments of the population, and particularly for younger and older populations. The development of evidence-based knowledge is required to further identify who would be the most effective spokesperson, and in particular to groups with low risk perception and low compliance. (shrink)

Many scientific theories purport to describe empirically inaccessible aspects of the world. The agenda of foundational physics is more ambitious still: to characterize the world at the level of 'primitive ontology'. In this pursuit it often posits new and peculiar physical features, a proclivity aided by the abstract, mathematical way in which foundational theories are framed. But how do we decipher their physical content, and in particular the accounts of primitive ontology they offer, and why think that content (...) is true? This dissertation explores the relationship between these questions -- between the problem of ontological interpretation in foundational physics and the nature of scientific realism. I do not argue for a unified account. Rather, I examine three contexts in which their interactions are particularly interesting and philosophically significant. First, I consider the role scientific methodology plays in a prominent naturalistic defense of scientific realism: the no-miracles argument. The most sophisticated form of this argument rests on the broad claim that successful scientific methodology is irredeemably theory dependent. I examine the nature of this theory dependence within the context of Maxwell's development of electromagnetism, and argue that the presence of competing ontological interpretations undermines the realist's attempt to draw sweeping epistemic conclusions from methodological success. I next consider the concept of theoretical reformulation and how it applies to the claim that Lagrangian dynamics is a reformulation of (part of) Newtonian dynamics. How should this claim be understood in light of the fact that the world is non-classical? What can this tell us about the concept of theory reformulation itself, which plays a central role in arguments against scientific realism? I provide an analysis of theory reformulation in terms of counterfactual interpretative judgments, and then cast doubt on its justification in the classical case by developing a non-Newtonian interpretation of Lagrangian dynamics. Finally, I consider whether competing ontological interpretations raise underdetermination problems for realism about foundational physics. After first re-formulating the underdetermination argument to avoid recent objections that it fails to pose any distinctive threat, I suggest a formulation of realism that vitiates the underdetermination threats posed by competing ontological interpretations. (shrink)

It is commonly thought that before the introduction of quantum mechanics, determinism was a straightforward consequence of the laws of mechanics. However, around the nineteenth century, many physicists, for various reasons, did not regard determinism as a provable feature of physics. This is not to say that physicists in this period were not committed to determinism; there were some physicists who argued for fundamental indeterminism, but most were committed to determinism in some sense. However, for them, determinism was often not (...) a provable feature of physical theory, but rather an a priori principle or a methodological presupposition. Determinism was strongly connected with principles of causality and continuity and the principle of sufficient reason; this thesis examines the relevance of these principles in the history of physics. Moreover, the history of determinism in this period shows that there were essential changes in the relation between mathematics and physics: whereas in the eighteenth century, there were metaphysical arguments which lent support to differential calculus, by the early twentieth century the development of rigorous foundations of differential calculus led to concerns about its applicability in physics. The thesis consists of six papers. In the first paper, "On the origins and foundations of Laplacian determinism", I argue that Laplace, who is usually pointed out as the first major proponent of scientific determinism, did not derive his statement of determinism directly from the laws of mechanics; rather, his determinism has a background in eighteenth century Leibnizian metaphysics, and is ultimately based on the law of continuity and the principle of sufficient reason. These principles also provided a basis for the idea that one can find laws of nature in the form of differential equations which uniquely determine natural processes. In "The Norton dome and the nineteenth century foundations of determinism", I argue that an example of indeterminism in classical physics which has attracted attention in philosophy of physics in recent years, namely the Norton come, was already discussed during the nineteenth century. However, the significance which this type of indeterminism had back then is very different from the significance which the Norton dome currently has in philosophy of physics. This is explained by the fact that determinism was conceived of in an essentially different way: in particular, the nineteenth century authors who wrote about this type of indeterminism regarded determinism as an a priori principle rather than as a property of the equations of physics. In "Vital instability: life and free will in physics and physiology, 1860-1880", I show how Maxwell, Cournot, Stewart and Boussinesq used the possibility of unstable or indeterministic mechanical systems to argue that the will or a vital principle can intervene in organic processes without violating the laws of physics, so that a strictly dualist account of life and the mind is possible. Moreover, I show that their ideas can be understood as a reaction to the law of conservation of energy and to the way it was used in physiology to exclude vital and mental causes. In "The nineteenth century conflict between mechanism and irreversibility", I show that in the late nineteenth century, there was a widespread conflict between the aim of reducing physical processes to mechanics and the recognition that certain processes are irreversible. Whereas the so-called reversibility objection is known as an objection that was made to the kinetic theory of gases, it in fact appeared in a wide range of arguments, and was susceptible to very different interpretations. It was only when the project of reducing all of physics to mechanics lost favor, in the late nineteenth century, that the reversibility objection came to be used as an argument against mechanism and against the kinetic theory of gases. In "Continuity in nature and in mathematics: Boltzmann and Poincaré", I show that the development of rigorous foundations of differential calculus in the nineteenth century led to concerns about its applicability in physics: through this development, differential calculus was made independent of empirical and intuitive notions of continuity and was instead based on mathematical continuity conditions, and for Boltzmann and Poincaré, the applicability of differential calculus in physics depended on whether these continuity conditions could be given a foundation in intuition or experience. In the final paper, "Determinism around 1900", I briefly discuss the implications of the developments described in the previous two papers for the history of determinism in physics, through a discussion of determinism in Mach, Poincaré and Boltzmann. I show that neither of them regards determinism as a property of the laws of mechanics; rather, for them, determinism is a precondition for science, which can be verified to the extent that science is successful. (shrink)

In this paper we develop an inferential account on the meaning and reference of theoretical concepts in physics, mainly based on the pragmatic notion of ‘inferential validity’. Firstly, we distinguish between empirical meaningfulness and theoretical significance as two different modes of meaning, wherein the former depends on consistently encoding experimental values, as proposed by Chang, and the latter on being semantically coherent with other concepts. Secondly, we argue that each of these contributions to the validity of inferences imports a (...) causal and representational mechanism of reference-fixing, respectively. Finally, we will rely on entropy concepts as our case study. (shrink)

This study shows how precise simple analytical solutions for the generalized Dirac equation with repulsive vector and attractive energy-dependent Lorentz scalar potentials, position-dependent mass potential, and a tensor interaction term can be obtained within the framework of both similarity transformation and the asymptotic iteration methods. These methods yield a significant improvement over existing approaches and provide more plausible and applicable ways in explaining the pseudospin symmetry’s breaking mechanism in nuclei.

The implementation of cyber-physical and similar systems depends on prevailing social and economic conditions. It is here argued that, if the effect of these technologies is to be benign, the current neo-liberal economy must change to a radically more cooperative model. In this paper, economy change means a thorough change to a qualitatively different kind of economy. It is contrasted with economic change, which is the kind of minor change usually considered in mainstream discourse. The importance of language is (...) emphasised, including that of techno-optimism and that of economic conservatism. Problems of injustice, strife, and ecological overload cannot be solved by conventional growth together with technical efficiency gains. Rather, a change is advocated from economics-as-usual to a broader concept, oikonomia, which takes into account all that contributes to a good life, including what cannot be represented quantitatively. Some elements of such a broader economy are discussed. It is argued that the benefits of technology can be enhanced and the ills reduced in such an economy. This is discussed in the case of cyber-physical systems under the headings employment, security, standards and oligopoly, and energy efficiency. The paper concludes that such systems, and similar technological developments, cannot resolve the problems of sustainability within an economy-as-usual model. If, however, there is the will to create a cooperative and sustainable economy, technology can contribute significantly to the resolution of present problems. (shrink)

Symmetry considerations dominate modern fundamental physics, both in quantum theory and in relativity. Philosophers are now beginning to devote increasing attention to such issues as the significance of gauge symmetry, quantum particle identity in the light of permutation symmetry, how to make sense of parity violation, the role of symmetry breaking, the empirical status of symmetry principles, and so forth. These issues relate directly to traditional problems in the philosophy of science, including the status of the laws of (...) nature, the relationships between mathematics, physical theory, and the world, and the extent to which mathematics suggests new physics.This entry begins with a brief description of the historical roots and emergence of the concept of symmetry that is at work in modern science. It then turns to the application of this concept to physics, distinguishing between two different uses of symmetry: symmetry principles versus symmetry arguments. It mentions the different varieties of physical symmetries, outlining the ways in which they were introduced into physics. Then, stepping back from the details of the various symmetries, it makes some remarks of a general nature concerning the status and significance of symmetries in physics. (shrink)

A naive introduction of a dependency of the mass of a black hole on the Schwarzschild time coordinate results in singular behavior of curvature invariants at the horizon, violating expectations from complementarity. If instead a temporal dependence is introduced in terms of a coordinate akin to the river time representation, the Ricci scalar is nowhere singular away from the origin. It is found that for a shrinking mass scale due to evaporation, the null radial geodesics that generate the horizon (...) are slightly displaced from the coordinate singularity. In addition, a changing horizon scale significantly alters the form of the coordinate singularity in diagonal (orthogonal) metric coordinates representing the space-time. A Penrose diagram describing the growth and evaporation of an example black hole is constructed to examine the evolution of the coordinate singularity. (shrink)

The perturbative treatment of realistic quantum field theories, such as quantum electrodynamics, requires the use of mathematical idealizations in the approximation series for scattering amplitudes. Such mathematical idealizations are necessary to derive empirically relevant models from the theory. Mathematical idealizations can be either controlled or uncontrolled, depending on whether current scientific knowledge can explain whether the effects of the idealization are negligible or not. Drawing upon negative mathematical results in asymptotic analysis (failure of Borel summability) and renormalization group theory (failure (...) of asymptotic safety), we argue that the mathematical idealizations applied in perturbative quantum electrodynamics should be understood as uncontrolled. This, in turn, leads to the problematic conclusion that such theories do not have theoretical models in the natural understanding of this term. The existence of unquestionable empirically successful theories without theoretical models has significant implications both for our understanding of the theory-model relationship in physics and the concept of empirical adequacy. (shrink)

Sometimes conducting an experiment to ascertain the state of a system changes the state of the system being measured. Kahneman & Tversky modelled this effect with ‘support theory’. Quantum physics models this effect with probability amplitude mechanics. As this paper shows, probability amplitude mechanics is similar to support theory. Additionally, Viscusi's proposed generalized expected utility model has an analogy in quantum mechanics.

Wigner's quantum-mechanical classification of particle-types in terms of irreducible representations of the Poincaré group has a classical analogue, which we extend in this paper. We study the compactness properties of the resulting phase spaces at fixed energy, and show that in order for a classical massless particle to be physically sensible, its phase space must feature a classical-particle counterpart of electromagnetic gauge invariance. By examining the connection between massless and massive particles in the massless limit, we also derive a (...) classical-particle version of the Higgs mechanism. (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)

Gauge symmetries play a central role, both in the mathematical foundations as well as the conceptual construction of modern (particle) physics theories. However, it is yet unclear whether they form a necessary component of theories, or whether they can be eliminated. It is also unclear whether they are merely an auxiliary tool to simplify (and possibly localize) calculations or whether they contain independent information. Therefore their status, both in physics and philosophy of physics, remains to be fully clarified. In (...) this overview we review the current state of affairs on both the philosophy and the physics side. In particular, we focus on the circumstances in which the restriction of gauge theories to gauge invariant information on an observable level is warranted, using the Brout-Englert-Higgs theory as an example of particular current importance. Finally, we determine a set of yet to be answered questions to clarify the status of gauge symmetries. (shrink)