Why do analytic spacetimes avoid the conceptual puzzles that smooth formulations create?

# Why Analytic Spacetimes Sidestep Philosophical Puzzles

The key difference lies in what mathematics allows you to recover from local information.

In smooth (infinitely differentiable) spacetimes, you can know the metric and all its derivatives at a single point, and that tells you *nothing* about distant regions—a physicist can shuffle events around without violating any local physical law. This is Einstein's hole argument: a smooth spacetime admits multiple physically distinct models that agree everywhere except in a bounded region, creating ambiguity about what's "really there" [AG-2025.02-575].

Analytic spacetimes are far more rigid. An analytic function is determined everywhere by its values in an arbitrarily small patch—Taylor expansion pins down all derivatives at any point from local data alone. If spacetime is analytic rather than merely smooth, this locality-to-globality constraint becomes physics: knowing the metric in a tiny region *logically determines* the entire universe [AG-2025.02-575]. The hole argument evaporates because there's no freedom to permute events without contradiction.

The authors of [AG-2025.02-575] call this "hyperdeterminism"—not randomness, but the opposite: absolute, rigid causal closure from infinitesimal information. A universe governed by analytic functions would be a universe where the past (encoded in any small spacetime patch) leaves no room for alternative futures.

This matters because it shows how sensitively physics depends on mathematical assumptions we rarely notice. Swapping smoothness for analyticity doesn't change any equation—it changes what those equations *mean philosophically* [AG-2025.02-575]. The warning: be cautious about drawing deep conclusions from theories before checking whether they survive small changes in mathematical formalism.

---

Note: The provided preprints don't address why physics *should* prefer analytic over smooth spacetimes on empirical grounds.