A stochastic version of the Noether theorem is derived for systems under the action of external random forces. The concept of moment generating functional is employed to describe the symmetry of the stochastic forces. The theorem is applied to two kinds of random covariant forces. One of them generated in an electrodynamic way and the other is defined in the rest frame of the particle as a function of the proper time. For both of them, it is (...) shown the conservation of the mean value of a random drift momentum. The validity of the theorem makes clear that random systems can produce causal stochastic correlations between two faraway separated systems, that had interacted in the past. In addition possible connections of the discussion with the Ives Couder’s experimental results are remarked. (shrink)

It is widely held among philosophers that the conservation of energy is true and important, and widely held among philosophers of science that conservation laws and symmetries are tied together by Noether's first theorem. However, beneath the surface of such consensus lie two slights to Noether's first theorem. First, there is a 325+-year controversy about mind-body interaction in relation to the conservation of energy and momentum, with occasional reversals of opinion. The currently popular Leibnizian view, dominant (...) since the late 19th century, claims to find an objection to broadly Cartesian views in their implication of energy non-conservation. Here energy conservation is viewed as an oracle, an unchallengeable black box. But Noether's first theorem and its converse show that conservation and symmetry of the laws stand or fall together. Absent some basis for expecting conservation in brains that has a claim on the Cartesian, the objection is circular. An empirically based argument is possible, but is a different argument with little force except insofar as it is rooted in neuroscience. Second, General Relativity has a 100+-year-long controversy about whether gravitational energy exists and is objectively localized. The usual view is that gravitational energy exists but is not objectively localized, though some deny its existence. Without positive answers to both questions, generally applicable conservation laws do not exist: energy is not conserved. This conclusion is startling in itself and a problem for conserved quantity theories of causation. Yet Noether's first theorem applies to General Relativity, which has uncountably many symmetries of its laws and so has conservation laws, indeed uncountably many of them. Many authors downplay these laws due to their quirky properties; some authors even attempt to explain the laws' supposed nonexistence in terms of an absence of symmetries of the geometry, which is a distraction. Thus Noether's first theorem is widely ignored, left uninterpreted, or distorted in relation to General Relativity. Taking the theorem seriously seems possible, however, restoring the conservation of energy, or rather, energies. How do these controversies relate? One sometimes finds claims that General Relativity's supposed lack of conservation laws answers Leibniz on behalf of Descartes. Taking seriously the superabundance of formal conservation laws in General Relativity, however, suggests that General Relativity resists mind-to-body causation. This conclusion can be proven apart from interpretive controversies. The resistance is, however, finite and tends to be swamped by larger world-view considerations. (shrink)

Guided by the example of gauge transformations associated with classical Yang-Mills fields, a very general class of transformations is considered. The explicit representation of these transformations involves not only the independent and the dependent field variables, but also a set of position-dependent parameters together with their first derivatives. The stipulation that an action integral associated with the field variables be invariant under such transformations gives rise to a set of three conditions involving the Lagrangian and its derivatives, together with derivatives (...) of the functions that define the transformations. These invariance identities constitute an extension of the classical theorem of Noether to general transformations of this kind. An application to the case of gauge fields demonstrates the existence of two distinct types of conservation laws for such fields. (shrink)

The gap in the mathematical derivation of Noether’s theorem, and also of the Ward-Takahashi identities, caused by performing variation before quantization is closed by introduction of variational calculus for operator fields. It is demonstrated that both Noether’s theorem and the Ward-Takahashi identities retain full validity in quantum field theory.

Analysis of Emmy Noether's 1918 theorems provides an illuminating method for testing the consequences of coordinate generality, and for exploring what else must be added to this requirement in order to give general covariance its far-reaching physical significance. The discussion takes us through Noether's first and second theorems, and then a third related theorem due originally to F. Klein. Contact will also be made with the contributions of, principally, J.L. Anderson, A. Trautman, P.A.M. Dirac, R. Torretti and (...) the father of the whole business, A. Einstein. (shrink)

Why is gauge symmetry so important in modern physics, given that one must eliminate it when interpreting what the theory represents? In this paper we discuss the sense in which gauge symmetry can be fruitfully applied to constrain the space of possible dynamical models in such a way that forces and charges are appropriately coupled. We review the most well-known application of this kind, known as the 'gauge argument' or 'gauge principle', discuss its difficulties, and then reconstruct the gauge argument (...) as a valid theorem in quantum theory. We then present what we take to be a better and more general gauge argument, based on Noether's second theorem in classical Lagrangian field theory, and argue that this provides a more appropriate framework for understanding how gauge symmetry helps to constrain the dynamics of physical theories. (shrink)

Internal global symmetries exist for the free non-relativistic Schrodinger particle, whose associated Noether charges---the space integrals of the wavefunction and the wavefunction multiplied by the spatial coordinate---are exhibited. Analogous symmetries in classical electromagnetism are also demonstrated.

Analysis of Emmy Noether’s 1918 theorems provides an illuminating method for testing the consequences of “coordinate generality”, and for exploring what else must be added to this requirement in order to give general covariance its far-reaching physical significance. The discussion takes us through Noether’s first and second theorems, and then a third related theorem due originally to F. Klein. Contact will also be made with the contributions of, principally, J.L. Anderson, A. Trautman, P.A.M. Dirac, R. Torretti and (...) the father of the whole business, A. Einstein (an apparent shift in Einstein’s thinking on the significance of general covariance between 1916 and 1918 is highlighted). (shrink)

It is argued that awareness of the distinction between dynamical and variational symmetries is crucial to understanding the significance of Noether's 1918 work. Specific attention is paid, by way of a number of striking examples, to Noether's first theorem, which establishes a correlation between dynamical symmetries and conservation principles.

In 1918, Emmy Noether published a (now famous) theorem establishing a general connection between continuous 'global' symmetries and conserved quantities. In fact, Noether's paper contains two theorems, and the second of these deals with 'local' symmetries; prima facie, this second theorem has nothing to do with conserved quantities. In the same year, Hermann Weyl independently made the first attempt to derive conservation of electric charge from a postulated gauge symmetry. In the light of Noether's work, (...) it is puzzling that Weyl's argument uses local gauge symmetry. This paper explores the relationships between Weyl's work, Noether's two theorems, and the modern connection between gauge symmetry and conservation of electric charge. This includes showing that Weyl's connection is essentially an application of Noether's second theorem, with a novel twist. (shrink)

The principle of energy conservation is widely taken to be a se- rious difficulty for interactionist dualism (whether property or sub- stance). Interactionists often have therefore tried to make it satisfy energy conservation. This paper examines several such attempts, especially including E. J. Lowe’s varying constants proposal, show- ing how they all miss their goal due to lack of engagement with the physico-mathematical roots of energy conservation physics: the first Noether theorem (that symmetries imply conservation laws), its converse (...) (that conservation laws imply symmetries), and the locality of continuum/field physics. Thus the “conditionality re- sponse”, which sees conservation as (bi)conditional upon symme- tries and simply accepts energy non-conservation as an aspect of interactionist dualism, is seen to be, perhaps surprisingly, the one most in accord with contemporary physics (apart from quantum mechanics) by not conflicting with mathematical theorems basic to physics. A decent objection to interactionism should be a posteri- ori, based on empirically studying the brain. (shrink)

Despite changeability of the world, the human mind also ponders on those quantities that remain constant over time. This was the case in ancient times, in the middle ages, and the same applies in modern physics. This paper discusses i.a. Zenon paradoxes, the principle of inertia, and the Emma Noether theorem, ending with the modern, so-called Zeno’s quantum effect. The foot-notes concern the ancient “Achilles” paradox, spot speed, as well as some of the facts taken out of the (...) life-history of Emma Noether, as well as the example of applying her theorem. (shrink)

The paper discusses Hilbert mathematics, a kind of Pythagorean mathematics, to which the physical world is a particular case. The parameter of the “distance between finiteness and infinity” is crucial. Any nonzero finite value of it features the particular case in the frameworks of Hilbert mathematics where the physical world appears “ex nihilo” by virtue of an only mathematical necessity or quantum information conservation physically. One does not need the mythical Big Bang which serves to concentrate all the violations of (...) energy conservation in a “safe”, maximally remote point in the alleged “beginning of the universe”. On the contrary, an omnipresent and omnitemporal medium obeying quantum information conservation rather than energy conservation permanently generates action and thus the physical world. The utilization of that creation “ex nihilo” is accessible to humankind, at least theoretically, as long as one observes the physical laws, which admit it in their new and wider generalization. One can oppose Hilbert mathematics to Gödel mathematics, which can be identified as all the standard mathematics until now featureable by the Gödel dichotomy of arithmetic to set theory: and then, “dialectic”, “intuitionistic”, and “Gödelian” mathematics within the former, according to a negative, positive, or zero value of the distance between finiteness and infinity. A mapping of Hilbert mathematics into pseudo-Riemannian space corresponds, therefore allowing for gravitation to be interpreted purely mathematically and ontologically in a Pythagorean sense. Information and quantum information can be involved in the foundations of mathematics and linked to the axiom of choice or alternatively, to the field of all rational numbers, from which the pair of both dual and anti-isometric Peano arithmetics featuring Hilbert arithmetic are immediately inferable. Noether’s theorems (1918) imply quantum information conservation as the maximally possible generalization of the pair of the conservation of a physical quantity and the corresponding Lie group of its conjugate. Hilbert mathematics can be interpreted from their viewpoint also after an algebraic generalization of them. Following the ideas of Noether’s theorem (1918), locality and nonlocality can be realized both physically and mathematically. The “light phase of the universe” can be linked to the gap of mathematics and physics in the Cartesian organization of cognition in Modernity and then opposed to its “dark phase”, in which physics and mathematics are merged. All physical quantities can be deduced from only mathematical premises by the mediation of the most fundamental physical constants such as the speed of light in a vacuum, the Planck and gravitational constants once they have been interpreted by the relation of locality and nonlocality. (shrink)

In the following paper, I review and critically assess the four standard routes commonly taken to establish that gravitational waves possess energy-momentum: the increase in kinetic energy a GW confers on a ring of test particles, Bondi/Feynman’s Sticky Bead Argument of a GW heating up a detector, nonlinearities within perturbation theory, taken to reflect the fact that gravity contributes to its own source, and the Noether Theorems, linking symmetries and conserved quantities. Each argument is found to either to presuppose (...) controversial assumptions or to be outright spurious. I finally examine the standard interpretation of binary systems, according to which orbital decay is explained in terms of the system’s energy being via GW energy- momentum transport. I contend that a better interpretation, drawing only on the general-relativistic Equations of Motions and the Einstein Equations, is available - and in fact preferable; thereby also an inference to the best explanation for the vindication of GW energy-momentum is blocked. (shrink)

This paper has three main objectives: (a) Discuss the formal analogy between some important symmetry-invariance arguments used in physics, probability and statistics. Specifically, we will focus on Noether’s theorem in physics, the maximum entropy principle in probability theory, and de Finetti-type theorems in Bayesian statistics; (b) Discuss the epistemological and ontological implications of these theorems, as they are interpreted in physics and statistics. Specifically, we will focus on the positivist (in physics) or subjective (in statistics) interpretations vs. objective (...) interpretations that are suggested by symmetry and invariance arguments; (c) Introduce the cognitive constructivism epistemological framework as a solution that overcomes the realism-subjectivism dilemma and its pitfalls. The work of the physicist and philosopher Max Born will be particularly important in our discussion. (shrink)

Despite changeability of the world, the human mind also ponders on those quantities that remain constant over time. This was the case in ancient times, in the middle ages, and the same applies in modern physics. This paper discusses i.a. Zenon paradoxes, the principle of inertia, and the Emma Noether theorem, ending with the modern, so-called Zeno’s quantum effect. The foot-notes concern the ancient “Achilles” paradox, spot speed, as well as some of the facts taken out of the (...) life-history of Emma Noether, as well as the example of applying her theorem. (shrink)

The mathematical framework of Relativistic Schrödinger Theory (RST) is generalized in order to include the self-interactions of the particles as an integral part of the theory (i.e. in a non-perturbative way). The extended theory admits a Lagrangean formulation where the Noether theorems confirm the existence of the conservation laws for charge and energy–momentum which were originally deduced directly from the dynamical equations. The generalized RST dynamics is applied to the case of some heavy helium-like ions, ranging from germanium (Z=32) (...) to bismuth (Z=83), in order to compute the interaction energy of the two electrons in their ground-state. The present inclusion of the electron self-energies into RST yields a better agreement of the theoretical predictions with the experimental data. (shrink)

Symmetry principles are commonly said to explain conservation laws—and were so employed even by Lagrange and Hamilton, long before Noether's theorem. But within a Hamiltonian framework, the conservation laws likewise entail the symmetries. Why, then, are symmetries explanatorily prior to conservation laws? I explain how the relation between ordinary (i.e., first-order) laws and the facts they govern (a relation involving counterfactuals) may be reproduced one level higher: as a relation between symmetries and the ordinary laws they govern. In (...) that event, symmetries are meta-laws; they are not mere byproducts of the dynamical and force laws. Symmetries then explain conservation laws whereas conservation laws lack the modal status to explain symmetries. I elaborate the variety of natural necessity that meta-laws would possess. Proposed metaphysical accounts of natural law should aim to accommodate the distinction between meta-laws and mere byproducts of the laws just as they must accommodate the distinction between laws and accidents. (shrink)

Quantum mechanics was reformulated as an information theory involving a generalized kind of information, namely quantum information, in the end of the last century. Quantum mechanics is the most fundamental physical theory referring to all claiming to be physical. Any physical entity turns out to be quantum information in the final analysis. A quantum bit is the unit of quantum information, and it is a generalization of the unit of classical information, a bit, as well as the quantum information itself (...) is a generalization of classical information. Classical information refers to finite series or sets while quantum information, to infinite ones. Quantum information as well as classical information is a dimensionless quantity. Quantum information can be considered as a “bridge” between the mathematical and physical. The standard and common scientific epistemology grants the gap between the mathematical models and physical reality. The conception of truth as adequacy is what is able to transfer “over” that gap. One should explain how quantum information being a continuous transition between the physical and mathematical may refer to truth as adequacy and thus to the usual scientific epistemology and methodology. If it is the overall substance of anything claiming to be physical, one can question how different and dimensional physical quantities appear. Quantum information can be discussed as the counterpart of action. Quantum information is what is conserved, action is what is changed in virtue of the fundamental theorems of Emmy Noether (1918). The gap between mathematical models and physical reality, needing truth as adequacy to be overcome, is substituted by the openness of choice. That openness in turn can be interpreted as the openness of the present as a different concept of truth recollecting Heidegger’s one as “unconcealment” (ἀλήθεια). Quantum information as what is conserved can be thought as the conservation of that openness. (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)

How does metaphysical necessity relate to the modal force often associated with natural laws? Fine argues that natural necessity can neither be obtained from metaphysical necessity via forms of restriction nor of relativization — and therefore pleads for modal pluralism concerning natural and metaphysical necessity. Wolff, 898–906, 2013) aims at providing illustrative examples in support of applying Fine’s view to the laws of nature with specific recourse to the laws of physics: On the one hand, Wolff takes it that equations (...) of motion can count as examples of physical laws that are only naturally but not metaphysically necessary. On the other hand, Wolff argues that a certain conservation law obtainable via Noether’s second theorem is an instance of a metaphysically necessary physical law. I show how Wolff’s example for a putatively metaphysically necessary conservation law fails but argue that so-called topological currents can nevertheless count as metaphysically necessary conservation laws carrying physical content. I conclude with a remark on employing physics to answer questions in metaphysics. (shrink)

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)

The conservation of energy and momentum have been viewed as undermining Cartesian mental causation since the 1690s. Modern discussions of the topic tend to use mid-nineteenth century physics, neglecting both locality and Noether’s theorem and its converse. The relevance of General Relativity has rarely been considered. But a few authors have proposed that the non-localizability of gravitational energy and consequent lack of physically meaningful local conservation laws answers the conservation objection to mental causation: conservation already fails in GR, (...) so there is nothing for minds to violate. This paper is motivated by two ideas. First, one might take seriously the fact that GR formally has an infinity of rigid symmetries of the action and hence, by Noether’s first theorem, an infinity of conserved energies-momenta. Second, Sean Carroll has asked how one should modify the Dirac–Maxwell–Einstein equations to describe mental causation. This paper uses the generalized Bianchi identities to show that General Relativity tends to exclude, not facilitate, such Cartesian mental causation. In the simplest case, Cartesian mental influence must be spatio-temporally constant, and hence 0. The difficulty may diminish for more complicated models. Its persuasiveness is also affected by larger world-view considerations. The new general relativistic objection provides some support for realism about gravitational energy-momentum in GR. Such realism also might help to answer an objection to theories of causation involving conserved quantities, because energies-momenta would be conserved even in GR. (shrink)

Since Leibniz's time, Cartesian mental causation has been criticized for violating the conservation of energy and momentum. Many dualist responses clearly fail. But conservation laws have important neglected features generally undermining the objection. Conservation is _local_, holding first not for the universe, but for everywhere separately. The energy in any volume changes only due to what flows through the boundaries. Constant total energy holds if the global summing-up of local conservation laws converges; it probably doesn't in reality. Energy conservation holds (...) if there is symmetry, the sameness of the laws over time. Thus, if there are time-places where symmetries fail due to nonphysical influence, conservation laws fail there and then, while holding elsewhere, such as refrigerators and stars. Noether's converse first theorem shows that conservation laws imply symmetries. Thus conservation trivially nearly entails the causal closure of the physical. But expecting conservation to hold in the brain simply assumes the falsehood of Cartesianism. Hence Leibniz's objection begs the question. Empirical neuroscience is another matter. So is Einstein's General Relativity: far from providing a loophole, General Relativity makes mental causation _harder_. (shrink)

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

The aim of this paper is twofold: First, to present an examination of the principles underlying gauge field theories. I shall argue that there are two principles directly connected to the two well-known theorems of Emmy Noether concerning global and local symmetries of the free matter-field Lagrangian, in the following referred to as "conservation principle" and "gauge principle". Since both these express nothing but certain symmetry features of the free field theory, they are not sufficient to derive a true (...) interaction coupling to a new gauge field. For this purpose it is necessary to advocate a third, truly empirical principle which may be understood as a generalization of the equivalence principle. The second task of the paper is to deal with the ontological question concerning the reality status of gauge potentials in the light of the proposed logical structure of gauge theories. A nonlocal interpretation of topological effects in gauge theories and, thus, the non-reality of gauge potentials in accordance with the generalized equivalence principle will be favoured. (shrink)

The questions of what represents space-time in GR, the status of gravitational energy, the substantivalist-relationalist issue, and the exceptional status of gravity are interrelated. If space-time has energy-momentum, then space-time is substantival. Two extant ways to avoid the substantivalist conclusion deny that the energy-bearing metric is part of space-time or deny that gravitational energy exists. Feynman linked doubts about gravitational energy to GR-exceptionalism, as do Curiel and Duerr; particle physics egalitarianism encourages realism about gravitational energy. In that spirit, this essay (...) proposes a third possible view about space-time, one involving a particle physics-inspired non-perturbative split that characterizes space-time with a constant background _matrix_, a sort of vacuum value, thus avoiding the inference from gravitational _energy to substantivalism. On this proposal, space-time is, where eta=diag is a spatio-temporally constant numerical signature matrix, a matrix already used in GR with spinors. The gravitational potential, to which any gravitational energy can be ascribed, is g_{\mu\nu}- eta, an _affine_ geometric object with a tensorial Lie derivative and a vanishing covariant derivative. This non-perturbative split permits strong fields, arbitrary coordinates, and arbitrary topology, and hence is pure GR by almost any standard. This razor-thin background, unlike more familiar backgrounds, involves no extra gauge freedom and so lacks their obscurities and carpet lump-moving. After a discussion of Curiel's GR exceptionalist denial of the localizability of gravitational energy and his rejection of energy conservation, the two traditional objections to pseudotensors, coordinate dependence and nonuniqueness, are explored. Both objections are inconclusive and getting weaker. A literal interpretation involving infinitely many energies corresponding by Noether's first theorem to the infinite symmetries of the _action_ largely answers Schroedinger's false-negative coordinate dependence problem. Bauer's false-positive objection has multiple answers. Non-uniqueness might be handled by Nester et al.'s finding physical meaning in multiplicity in relation to boundary conditions, by an optimal candidate, or by Bergmann's identifying the non-uniqueness and coordinate dependence ambiguities as one. (shrink)

Continuity as appears to us immediately by intuition differs from its current formalization, the arithmetical continuum or equivalently the set of real numbers used in modern mathematical analysis. Motivated by the known mathematical and physical problems arising from this formalization of the continuum, our aim in this paper is twofold. Firstly, by interpreting Chaitin’s variant of Gödel’s first incompleteness theorem as an inherent uncertainty or fuzziness of the arithmetical continuum, a formal set-theoretic entropy is assigned to the arithmetical continuum. (...) Secondly, by analyzing Noether’s theorem on symmetries and conserved quantities, we argue that whenever the four dimensional space-time continuum containing a single, stationary, asymptotically flat black hole is modeled by the arithmetical continuum in the mathematical formulation of general relativity, the hidden set-theoretic entropy of this latter structure reveals itself as the entropy of the black hole, indicating that this apparently physical quantity might have a pure set-theoretic origin, too. (shrink)

The paper discusses the origin of dark matter and dark energy from the concepts of time and the totality in the final analysis. Though both seem to be rather philosophical, nonetheless they are postulated axiomatically and interpreted physically, and the corresponding philosophical transcendentalism serves heuristically. The exposition of the article means to outline the “forest for the trees”, however, in an absolutely rigorous mathematical way, which to be explicated in detail in a future paper. The “two deductions” are two successive (...) stage of a single conclusion mentioned above. The concept of “transcendental invariance” meaning ontologically and physically interpreting the mathematical equivalence of the axiom of choice and the well-ordering “theorem” is utilized again. Then, time arrow is a corollary from that transcendental invariance, and in turn, it implies quantum information conservation as the Noether correlate of the linear “increase of time” after time arrow. Quantum information conservation implies a few fundamental corollaries such as the “conservation of energy conservation” in quantum mechanics from reasons quite different from those in classical mechanics and physics as well as the “absence of hidden variables” (versus Einstein’s conjecture) in it. However, the paper is concentrated only into the inference of another corollary from quantum information conservation, namely, dark matter and dark energy being due to entanglement, and thus and in the final analysis, to the conservation of quantum information, however observed experimentally only on the “cognitive screen” of “Mach’s principle” in Einstein’s general relativity. therefore excluding any other source of gravitational field than mass and gravity. Then, if quantum information by itself would generate a certain nonzero gravitational field, it will be depicted on the same screen as certain masses and energies distributed in space-time, and most presumably, observable as those dark energy and dark matter predominating in the universe as about 96% of its energy and matter quite unexpectedly for physics and the scientific worldview nowadays. Besides on the cognitive screen of general relativity, entanglement is available necessarily on still one “cognitive screen” (namely, that of quantum mechanics), being furthermore “flat”. Most probably, that projection is confinement, a mysterious and ad hoc added interaction along with the fundamental tree ones of the Standard model being even inconsistent to them conceptually, as far as it need differ the local space from the global space being definable only as a relation between them (similar to entanglement). So, entanglement is able to link the gravity of general relativity to the confinement of the Standard model as its projections of the “cognitive screens” of those two fundamental physical theories. (shrink)

This document is a set of notes I took on QFT as a graduate student at the University of Pennsylvania, mainly inspired in lectures by Burt Ovrut, but also working through Peskin and Schroeder (1995), as well as David Tong’s lecture notes available online. They take a slow pedagogical approach to introducing classical field theory, Noether’s theorem, the principles of quantum mechanics, scattering theory, and culminating in the derivation of Feynman diagrams.

The project of this Précis de philosophie de la logique et des mathématiques (vol. 1 under the direction of F. Poggiolesi and P. Wagner, vol. 2 under the direction of A. Arana and M. Panza) aims to offer a rich, systematic and clear introduction to the main contemporary debates in the philosophy of mathematics and logic. The two volumes bring together the contributions of thirty researchers (twelve for the philosophy of logic and eighteen for the philosophy of mathematics), specialists in (...) the history or philosophy of logic or mathematics. Each volume consists of ten chapters; each chapter is about forty pages, is independent from the others and deals with a particular philosophical question about logic or mathematics. The objective is to offer to the French-speaking reader a reference book. On many of the issues addressed, this Précis offers the first clear and thorough synthesis that is available in French. -/- This book is intended for third year / master's students, but also for teachers of philosophy in secondary or higher education, for logicians and mathematicians willing to take a philosophical look at the fundamental concepts of their discipline, and for any reader interested in the basic issues discussed in the philosophy of logic and mathematics. Each chapter is self-contained, although some basic training in logic (or in mathematics, as the case may be) is required. The book should be looked at as a comprehensive framework for contemporary discussions in the philosophy of logic and mathematics, while also giving some guidance on the disciplinary content required by these discussions. -/- The first three chapters of the present volume (on the philosophy of mathematics) are devoted to the history of the philosophy of mathematics: from antiquity to the modern era, and from this period to the foundational crisis of the nineteenth century, to the twentieth century. Next, four chapters deal with the crucial questions for the philosophy of mathematics of the twentieth century: the opposition and/or comparison of set theory and category theory as foundational frameworks for mathematics; mathematical constructivism; the analysis of calculability; and Benaceraff's problem. The two following chapters are focused on the philosophy of mathematical practice, by treating the notion of ideals of proof, in particular explanation and purity, and the notion of informal proof and the use of visual artifacts in mathematical argumentation. Finally the last chapter deals with the applicability of mathematics, including the role of probability. -/- In Chapter 1, Sébastien Maronne and David Rabouin present the history of the philosophy of mathematics from antiquity to the modern era. The goal is to show that the philosophy of mathematics has a history as ancient as mathematics and philosophy itself, a history largely continuous with the latter, often by staying out of sync with respect to the former. In Chapter 2, Sébastien Gandon discusses the question of the foundations of mathematics from Kant to the end of the nineteenth century. By tying this question to Kant, he is able to show that the discussion of the foundations of mathematics that occupied a large part of these two centuries has much older roots. Accent is placed on the differences between the framework proposed by Kant for making sense of classical mathematics and the use made by Frege and then Russell of logical tools for giving a different reading of arithmetic and real analysis. The link between between these different conceptions and the evolution of mathematics itself is also underlined. -/- Chapter 3, written by Hourya Benis-Sinaceur and Mirna Džamonja, deals with the evolution of mathematics in the twentieth century, notably the structuralist turn of Dedekind, E. Noether, and Bourbaki, and certain more recent developments. They devote themselves, among other things, to explaining how these developments can be understood as responses to and extensions of questions posed during the foundational debate of the immediately preceding era. -/- In Chapter 4, Jean-Pierre Marquis and Jean-Jacques Szczeciniarz discuss the different foundational options coming from set theory and category theory. They discuss, among other things, Lawvere's program to replace ZF with an axiomatization of the category of sets, the latter judged better adapted to the needs of contemporary mathematics. Different reactions, as much philosophical as technical, raised by this program are also taken into account. -/- Constructive mathematics are the object of Chapter 5, in which Gerhard Heinzmann and Mark van Atten examine in a critical and comparative manner a variety of constructivisms, including intuitionism, constructive type theory, predicativism, and finitism. -/- In Chapter 6, Guido Gherardi and Maël Pegny present computability theory, stressing its philosophical consequences. They discuss the basic concepts of this theory, for the computability of both the natural numbers and the real numbers. They then tackle the theory of computational complexity. -/- In Chapter 7, Andrea Sereni and Fabrice Pataut present Benacerraf's problem, opposing every possible account of mathematical knowledge to the availability of a theory of truth founded on an abstract ontology of mathematical objects. They give an overview of the original problem and its reformulation by Hartry Field, and reconstruct the debate that this problem has raised, by meeting at once the major opposing positions today of the analytic affiliation of the philosophy of mathematics, as much those on the platonist side as on that of nominalism. -/- In Chapter 8, Valeria Giardino and Yacin Hamami treat certain crucial aspects of the philosophy of mathematical practice. They deal in particular with the notion of an informal proof and on the role of artifacts in mathematical reasoning. They consider how such proofs, making use of these means, can contribute to the understanding of theorems and mathematical theories, thanks also to the role of visualisation and the aid of computer tools. -/- Why do mathematics often give several proofs of the same theorem? This is the question that Andrew Arana raises in Chapter 9, introducing the notion of an epistemic ideal and discuss two such ideals, the explanatoriness and purity of proof. -/- Chapter 10 is devoted to the applicability of mathematics in the study of empirical phenomena. After summarizing the history of this question, going back to Plato and Aristotle and passing by Mill and Kant, Daniele Molinini and Marco Panza reconstruct the contemporary debate, in relation, among other things, to questions raised in the philosophy of science. -/- Two appendices complete the volume. In the first Frédéric Patras treats the French tradition in philosophy of mathematics of the 20th century. In the second, Maria Carla Galavotti discusses the notion of probability and its use in science. (shrink)

Symmetry, intended as invariance with respect to a transformation (more precisely, with respect to a transformation group), has acquired more and more importance in modern physics. This Chapter explores in 8 Sections the meaning, application and interpretation of symmetry in classical physics. This is done both in general, and with attention to specific topics. The general topics include illustration of the distinctions between symmetries of objects and of laws, and between symmetry principles and symmetry arguments (such as Curie's principle), and (...) reviewing the meaning and various types of symmetry that may be found in classical physics, along with different interpretative strategies that may be adopted. Specific topics discussed include the historical path by which group theory entered classical physics, transformation theory in classical mechanics, the relativity principle in Einstein's Special Theory of Relativity, general covariance in his General Theory of Relativity, and Noether's theorems. In bringing these diverse materials together in a single Chapter, we display the pervasive and powerful influence of symmetry in classical physics, and offer a possible framework for the further philosophical investigation of this topic. (shrink)

This paper expounds the modern theory of symplectic reduction in finite-dimensional Hamiltonian mechanics. This theory generalizes the well-known connection between continuous symmetries and conserved quantities, i.e. Noether's theorem. It also illustrates one of mechanics' grand themes: exploiting a symmetry so as to reduce the number of variables needed to treat a problem. The exposition emphasises how the theory provides insights about the rotation group and the rigid body. The theory's device of quotienting a state space also casts light (...) on philosophical issues about whether two apparently distinct but utterly indiscernible possibilities should be ruled to be one and the same. These issues are illustrated using ``relationist'' mechanics. (shrink)

Motivated by the known mathematical and physical problems arising from the current mathematical formalization of the physical spatio-temporal continuum, as a substantial technical clarification of our earlier attempt (Etesi in Found Sci 25:327–340, 2020), the aim in this paper is twofold. Firstly, by interpreting Chaitin’s variant of Gödel’s first incompleteness theorem as an inherent uncertainty or fuzziness present in the set of real numbers, a set-theoretic entropy is assigned to it using the Kullback–Leibler relative entropy of a pair of (...) Riemannian manifolds. Then exploiting the non-negativity of this relative entropy an abstract Hawking-like area theorem is derived. Secondly, by analyzing Noether’s theorem on symmetries and conserved quantities, we argue that whenever the four dimensional space-time continuum containing a single, stationary, asymptotically flat black hole is modeled by the set of real numbers in the mathematical formulation of general relativity, the hidden set-theoretic entropy of this latter structure reveals itself as the entropy of the black hole (proportional to the area of its “instantaneous” event horizon), indicating that this apparently physical quantity might have a pure set-theoretic origin, too. (shrink)

In 1907, Einstein set out to fully relativize all motion, no matter whether uniform or accelerated. After five failed attempts between 1907 and 1918, he finally threw in the towel around 1920, setting himself a new goal. For the rest of his life he searched for a classical field theory unifying gravity and electromagnetism. As he struggled to relativize motion, Einstein had to readjust both his approach and his objectives at almost every step along the way; he got himself hopelessly (...) confused at times; he fooled himself with fallacious arguments and sloppy calculations; and he committed what he later allegedly called the biggest blunder of his career: he introduced the cosmological constant. There is a very uplifting moral to this somber tale. Although Einstein never reached his original destination, the harvest of his thirteen-year odyssey is quite impressive. First of all, what is left of absolute motion in general relativity is far more palatable than absolute motion in special relativity or Newtonian theory. And general relativity does seem to eliminate absolute space. More importantly, from a modern physics point of view, Einstein produced a spectacular new theory of gravity based on what he called the equivalence principle. This principle says that inertial and gravitational effects are due to one and the same structure, the inertio-gravitational field, which in Einstein’s theory is represented by a metric tensor field. In addition to laying the foundations of this theory, Einstein, among other things, launched relativistic cosmology, suggested the possibility of gravitational waves, gave the first sensible definition of a space-time singularity, and caught on to the intimate connection between general covariance and energy-momentum conservation, an example of the general connection between symmetries and conservation laws of Noether’s theorems. These results more than make up for the—at least by the standards of modern philosophy of science—rather opportunistic way in which they were obtained.. (shrink)

The success of a few theories in statistical thermodynamics can be correlated with their selectivity to reality. These are the theories of Boltzmann, Gibbs, end Einstein. The starting point is Carnot’s theory, which defines implicitly the general selection of reality relevant to thermodynamics. The three other theories share this selection, but specify it further in detail. Each of them separates a few main aspects within the scope of the implicit thermodynamic reality. Their success grounds on that selection. Those aspects can (...) be represented by corresponding oppositions. These are: macroscopic – microscopic; elements – states; relational – non-relational; and observable – theoretical. They can be interpreted as axes of independent qualities constituting a common qualitative reference frame shared by those theories. Each of them can be situated in this reference frame occupying a different place. This reference frame can be interpreted as an additional selection of reality within Carnot’s initial selection describable as macroscopic and both observable and theoretical. The deduced reference frame refers implicitly to many scientific theories independent of their subject therefore defining a general and common space or subspace for scientific theories (not for all). The immediate conclusion is: The examples of a few statistical thermodynamic theories demonstrate that the concept of “reality” is changed or generalized, or even exemplified (i.e. “de-generalized”) from a theory to another. Still a few more general suggestions referring the scientific realism debate can be added: One can admit that reality in scientific theories is some partially shared common qualitative space or subspace describable by relevant oppositions and rather independent of their subject quite different in general. Many or maybe all theories can be situated in that space of reality, which should develop adding new dimensions in it for still newer and newer theories. Its division of independent subspaces can represent the many-realities conception. The subject of a theory determines some relevant subspace of reality. This represents a selection within reality, relevant to the theory in question. The success of that theory correlates essentially with the selection within reality, relevant to its subject. (shrink)

A new calculus, based upon the multivector derivative, is developed for Lagrangian mechanics and field theory, providing streamlined and rigorous derivations of the Euler-Lagrange equations. A more general form of Noether's theorem is found which is appropriate to both discrete and continuous symmetries. This is used to find the conjugate currents of the Dirac theory, where it improves on techniques previously used for analyses of local observables. General formulas for the canonical stress-energy and angular-momentum tensors are derived, with (...) spinors and vectors treated in a unified way. It is demonstrated that the antisymmetric terms in the stress-energy tensor are crucial to the correct treatment of angular momentum. The multivector derivative is extended to provide a functional calculus for linear functions which is more compact and more powerful than previous formalisms. This is demonstrated in a reformulation of the functional derivative with respect to the metric, which is then used to recover the full canonical stress-energy tensor. Unlike conventional formalisms, which result in a symmetric stress-energy tensor, our reformulation retains the potentially important antisymmetric contribution. (shrink)

This paper expounds the relations between continuous symmetries and conserved quantities, i.e. Noether's ``first theorem'', in both the Lagrangian and Hamiltonian frameworks for classical mechanics. This illustrates one of mechanics' grand themes: exploiting a symmetry so as to reduce the number of variables needed to treat a problem. I emphasise that, for both frameworks, the theorem is underpinned by the idea of cyclic coordinates; and that the Hamiltonian theorem is more powerful. The Lagrangian theorem's main (...) ``ingredient'', apart from cyclic coordinates, is the rectification of vector fields afforded by the local existence and uniqueness of solutions to ordinary differential equations. For the Hamiltonian theorem, the main extra ingredients are the asymmetry of the Poisson bracket, and the fact that a vector field generates canonical transformations iff it is Hamiltonian. (shrink)

In Newtonian gravity it is a moot question whether energy should be localized in the field or inside matter. An argument from relativity suggests a compromise in which the contribution from the field in vacuum is positive definite. We show that the same compromise is implied by Noether’s theorem applied to a variational principle for perfect fluids, if we assume Dirichlet boundary conditions on the potential. We then analyse a thought experiment due to Bondi and McCrea that gives (...) a clean example of inductive energy transfer by gravity. Some history of the problem is included. (shrink)

Schwinger's action principle is formulated for the quantum system which corresponds to the classical system described by the LagrangianL c( $\dot x$ , x)=(M/2)gij(x) $\dot x$ i $\dot x$ j−v(x). It is sufficient for the purpose of deriving the laws of quantum mechanics to consider onlyc-number variations of coordinates and time. The Euler-Lagrange equation, the canonical commutation relations, and the canonical equations of motion are derived from this principle in a consistent manner. Further, it is shown that an arbitrary point (...) transformation leaves the forms of the fundamental equations invariant. The judicious choice of the quantal Lagrangian is essential in our formulation. A quantum mechanical analog of Noether's theorem, which relates the invariance of the quantal action with a conservation law, is established. The ambiguities in the quantal Lagrangian are also discussed and it is pointed out that the requirement of invariance is not sufficient to determine uniquely the quantal Lagrangian and the Hamiltonian. (shrink)

We submit that, contrary to the standard view, gravitational waves do not carry energy-momentum. Analysing the four standard arguments on which the standard view rests - viz. the kinetic effects of a GW on a detector, Feynman’s Sticky Bead Argument, an application of Noether’s Theorem and a general perturbative approach – we find none of them to be successful: Pre-relativistic premises underlie each of them – premises that, as we argue, no longer hold in General Relativity. Finally, we (...) outline a GR-consistent interpretation of the effects and, in particular, the spin-down of binary systems. (shrink)

A brief description of the ordinary field theory, from the variational and Noether's theorem point of view, is outlined. A discussion is then given of the field equations of Klein-Gordon, Schrödinger, Dirac, Weyl, and Maxwell in their ordinary form on the Minkowskian space-time manifold as well as on the topological space-time manifold R × S3 as they were formulated by Carmeli and Malin, including the latter's most general solutions. We then formulate the general variational principle in the R (...) × S3 topological space, from which we derive the field equations in this space. (shrink)

Hypersequent calculi can formalize various non-classical logics. In [9] we presented a non-commutative variant of HC for the weakest temporal logic of linear frames Kt4.3 and some its extensions for dense and serial flow of time. The system was proved to be cut-free HC formalization of respective temporal logics by means of Schütte/Hintikka-style semantical argument using models built from saturated hypersequents. In this paper we present a variant of this calculus for Kt4.3 with a constructive syntactical proof of cut elimination.