lin-0259

22.1.5 Duality as discovery between theories

The holographic conjecture supplies a third engine of discovery. Maldacena proposed that suitable string or gravitational theories on anti-de Sitter spacetimes are dual to conformal field theories in one fewer noncompact dimension [ Maldacena , 1998 ] . The proposal was surprising because the two descriptions use different primitive vocabularies: one contains gravity and a higher-dimensional bulk, while the other is a nongravitational quantum field theory on its boundary. A quarter-century retrospective emphasizes how little the original proposal resembled an incremental adjustment within either theory [ Ananthaswamy , 2023 ] .

This is not naturally represented as adding one missing arrow to a single sketch. Let \(\mathbb S_{\mathrm{bulk}}\) and \(\mathbb S_{\mathrm{bdry}}\) present the relevant fragments of the two theories, and let

\[ \mathcal M_{\mathrm{bulk}} \subseteq \operatorname {Mod}(\mathbb S_{\mathrm{bulk}}), \qquad \mathcal M_{\mathrm{bdry}} \subseteq \operatorname {Mod}(\mathbb S_{\mathrm{bdry}}) \]

denote the regimes in which the proposed correspondence is meaningful. The creative conjecture has the form

\[ \mathcal M_{\mathrm{bulk}} \simeq \mathcal M_{\mathrm{bdry}}, \]

together with a dictionary transporting states, observables, symmetries, and dynamics. This notation expresses the categorical shape of the claim; it does not assert that every physical formulation of the correspondence has already been realized as an equivalence of ordinary sketch-model categories.

¹1. The established evidence concerns anti-de Sitter settings. Our observed universe is closer to a de Sitter cosmology, for which no comparably clear holographic dual is known [ Ananthaswamy , 2023 ] . ↩

The clue was structural agreement. The brane field theory and the near-horizon geometry displayed matching symmetry structure, even though their objects and descriptions looked radically different. Subsequent work could then test a growing correspondence dictionary. The duality is especially productive when a strongly coupled problem in one presentation is transported to a tractable regime in the other. Agreement of independently calculated quantities becomes evidence for the proposed equivalence, while a mismatch localizes a gap in the dictionary, an approximation regime, or the conjecture itself.

Discovery object	Characteristic question	Admission evidence
Sketch augmentation \(\mathbb S\to \mathbb S^{+}\)	Which generator or axiom is missing from the current theory?	Conservativity, expansion of old models, and novel consequences
Partial functor \(\mathcal C\dashrightarrow \mathcal D\)	Does a mechanism from one domain survive retyping in another?	Preserved relations and target-domain tests
Conjectured duality \(\mathcal M_1\simeq \mathcal M_2\)	Do different theories encode the same admissible physics?	A coherent translation dictionary and independently matched observables

Table 22.3 Theory discovery may add structure, transport structure, or identify two presentations through a proposed semantic equivalence.

The LINCS workflow must therefore be able to repair correspondences as well as models and sketches. Declare the two theories and an initial dictionary; differentiate disagreement under perturbations on either side; quotient presentation-dependent descriptions; localize a mismatch to a dictionary entry or validity regime; repair the correspondence; and admit it using observables not employed in proposing the repair. A successful duality can also generate new probes: a construction transparent on one side predicts a previously hidden object or relation on the other.

Design principle

Do not treat a duality as a picturesque analogy. Represent it as a typed, partial correspondence between semantic domains, with an explicit validity regime and a growing set of independently tested translation rules.