arXiv Science⌕ Search

arXiv · 2309.01968

Why the Weyl Tile Argument is Wrong

Abstract

Weyl famously argued that if space were discrete, then Euclidean geometry could not hold even approximately. Since then, many philosophers have responded to this argument by advancing alternative accounts of discrete geometry that recover approximately Euclidean space. However, they have missed an importantly flawed assumption in Weyl's argument: physical geometry is determined by fundamental spacetime structures independently from dynamical laws. In this paper, I aim to show its falsity through two rigorous examples: random walks in statistical physics and quantum mechanics.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Lu Chen. 2023-09-05. Why the Weyl Tile Argument is Wrong. https://doi.org/10.1086/722106

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The Geometry of the "Gauge Argument"

We show how the "gauge argument", widely criticized by philosophers as ad hoc and unconvincing, may be reconstructed rigorously, and, we believe, convincingly, as an argument concerning the geometry of vector bundles. In this form, the gauge argument has two parts, the first of which is strongly analogous to the Weyl-Stein argument for Galilean spacetime as the appropriate setting for Newtonian gravitation; and the second of which invokes a classic result in the Yang-Mills theory literature, due to Utiyama [1956, "Invariant Theoretical Interpretation of Interaction", Phys. Rev. 101, 1597].

physics.hist-ph↗

Rethinking Symmetry Principles and Partial Observables With Reference Frames

Dynamically uncoupled fields are a modelling device used in the literature on reference frames, classical and quantum. We argue that the device is not innocuous. First, uncoupled fields violate Earman's symmetry principle SP1---that every dynamical symmetry is a spacetime symmetry---and the violation, unlike the familiar Newtonian one, cannot be repaired by excising surplus spacetime structure: it arises from a deficit of dynamical structure, not an excess of spatiotemporal structure. This qualifies implicit assumptions of Earman's SP1, while leaving its diagnostic role intact. Second, uncoupled fields expose a lacuna in the partial/complete observables programme: only dynamically coupled fields can serve as bona-fide partial observables, so partial observability is derivative on complete observability. We then reinterpret the standard formalism for partial observables: qua measurable, a partial observable is a relational quantity expressed with respect to an uncoupled frame, and it remains gauge-variant. This reinterpretation vindicates Rovelli's claim that partial observables are individually measurable, against Thiemann and Adlam, and separates two properties easily conflated in the generally covariant formulations of theories: invariance under diffeomorphisms and invariance along the gauge flow.

physics.hist-ph↗

Becoming, Duration, and the Evolving Block Universe

The two-times problem asks how the directed, oriented time of biological and conscious systems relates to the time of fundamental physics. The Evolving Block Universe, in which spacetime grows through an irreversible quantum dynamics along physically preferred worldlines, accounts for the direction of physical time and for its emergence across scales up to the time kept by the brain. It leaves open the relation between this physical time and the experience of passage. We argue that Bergson's durée, the continuous qualitative experience of lived time, names this residue and marks the first-person level at which the physical hierarchy reaches its limit. On this reading the two accounts divide the problem between them: the Evolving Block Universe describes its structural, third-person half, and durée its experiential, first-person half. The remaining gap between the two halves is explanatory. It is an instance of the familiar gap between the physical description of a system and the character of its states as they are lived, and it is compatible with physicalism.

physics.hist-ph↗