Inside-Out Duality in Physics and Mathematics

• Inside-Out Duality is a cross-domain pattern that reformulates theories by exchanging complementary roles while preserving invariant structures.
• It appears in various domains including string theory, scattering, tomography, and geometric dissections, offering both precise equivalence and diagnostic contrasts.
• This framework enables new insights by inverting coordinate representations and dualizing observables to reinterpret physical phenomena and mathematical structures.

Inside-Out Duality denotes a recurrent family of constructions in which a theory, representation, or object is reformulated by exchanging roles that ordinarily appear opposed—such as momentum and winding, inside and outside boundary data, low and high velocity, local and non-local observables, or internal cuts and external boundary—while preserving either a common physical core, a transfer principle, or a diagnostic criterion (Huggett et al., 2020, Diestel et al., 2021, Kotze et al., 2015, Akpanya et al., 2024, Liu et al., 6 Jul 2025). The term does not refer to a single unified theorem. Rather, it names a cross-domain pattern. In some settings the result is exact physical equivalence; in others it is a geometric inversion, a categorical or algebraic dualization, a spectral characterization, or a principled distinction between complementary kinds of deviation.

1. Core structural pattern

A common schema across the literature is the preservation of some invariant structure together with a reversal of representational roles. In closed-string T-duality, the Hamiltonian, mass spectrum, time evolution, and expectation values of dual observables are preserved while momentum and winding exchange their roles. In set-separation theory, one system on $X$ induces a dual system on $Y$, and tangles can be transferred across that duality with controlled loss of order. In inside-out Doppler tomography, the underlying spectral information is unchanged while the radial ordering of velocities is inverted. In inside-out dissections, the rearranged figure is congruent to the original one even though its new boundary is built from what were originally internal cuts (Huggett et al., 2020, Diestel et al., 2021, Kotze et al., 2015, Akpanya et al., 2024).

Domain	Exchanged roles	Preserved or derived structure
String theory	momentum / winding; large / small radius	Hamiltonian, spectrum, dynamics
Set separations	$X$-side / $Y$-side separations	tangles and profiles at reduced order
Doppler tomography	low / high velocity radial location	same tomographic spectral input
Geometric dissections	original boundary / internal cuts	congruent polygon or polyhedron
Scattering theory	exterior poles / interior sampling behavior	pole detection criterion

The surveyed uses differ in strength. Some are equivalence claims about full observables and dynamics, not merely empirical agreement. Others are explicitly representational: the tomography transformation is described as a change in display coordinates rather than a change in the physical velocities of the gas. Still others are constructive or diagnostic: the inverse-scattering papers use an inside-outside principle to read spectral information about exterior problems from interior or modified operators (Huggett et al., 2020, Kotze et al., 2015, Audibert et al., 2019, Liu et al., 6 Jul 2025).

This variation is important for taxonomy. “Inside-out” sometimes names an involutive exchange within one formalism, sometimes a dual passage between two systems, and sometimes a methodological contrast between two geometries of deviation or two ways of reconstructing hidden structure. A plausible implication is that the phrase functions less as a single doctrine than as a family resemblance concept spanning equivalence, inversion, and transfer.

2. Spacetime, branes, and holography

In string theory, the paradigmatic inside-out construction is closed-string T-duality. For a compact spatial dimension of radius $R$, a closed string has momentum and winding modes, with embedding

$$X(\sigma,\tau)=2w\sigma R+2\ell_s^2 p\,\tau+\text{vibrational terms},$$

momentum quantized as $k=n/R$, and winding contributing through $l=wR$. The spectrum is invariant under

$n \leftrightarrow w,\qquad R\to \ell_s^2/R.$

The same physics can therefore be represented by a large circle and a small circle, with the representational roles of momentum and winding interchanged. The chapter argues that duality is stronger than shallow empirical equivalence because it preserves the full algebra of observables and the dynamics. It also argues that, if the duals are physically equivalent and disagree on target-space radius, then there is no physical fact of the matter whether target space has radius $R$ or $Y$0. The observed radius of classical or “phenomenal” space remains determinate, but the radius of target space is physically indeterminate (Huggett et al., 2020).

The same chapter sharpens this point by distinguishing target space from ordinary classical space and by discussing the Brandenberger–Vafa thought experiment. A low-energy probe circling the compact dimension is described in one theory as a low-momentum excitation and in the dual theory as winding modes in the dual geometry, yet the measured travel time is the same. The worldsheet implementation also exhibits the role reversal explicitly: $Y$1 For open strings, the same transformation converts a freely moving open string into one with Dirichlet boundary conditions, thereby introducing D-branes. The broader lesson is extended to S-duality, mirror symmetry, and gauge/gravity duality: apparently distinct geometries, couplings, topologies, and even bulk versus boundary descriptions may encode a common physical core (Huggett et al., 2020).

A closely related reversal appears in the topological B-model. There, two non-compact brane descriptions—characteristic polynomial insertion and external source deformation—are shown to be exactly dual through Fourier transformation. Characteristic-polynomial branes are localized in $Y$2, while external-source branes are localized in the conjugate $Y$3-direction on the spectral curve. The transform

$Y$4

encodes the exchange $Y$5. The paper interprets this as an uncertainty-principle-like exchange of canonical variables $Y$6 and $Y$7, so that what is treated as brane position in one description becomes the conjugate variable in the other (Kimura, 2014).

In holography, the BTZ black-hole analysis develops an inside-out dictionary for the extended quotient geometry. The “whisker” regions beyond the singularity are not treated as ordinary physical regions in the same sense as the exterior. Rather, they are auxiliary spacetimes in which correlators that are non-local from the outside-observer’s viewpoint become local. In the dual $Y$8-dimensional CFT description, local whisker insertions are represented by non-local operators built from exterior CFT operators via conjugation by operators such as $Y$9. The paper further argues that a protected class of local boundary correlators remains finite and EFT-dominated even when the corresponding Witten diagrams appear to traverse the singularity, because the correct $X$0 prescription combines contributions from both sides of the singular surface (Fuente et al., 2013).

3. Combinatorial, cohomological, and algebro-geometric formulations

In the theory of set separations, inside-out duality is formalized through a pair of sets $X$1 and $X$2 equipped with subset data

$X$3

subject to the incidence rule

$X$4

The motivating picture is a bipartite graph, where a vertex on one side induces a partition on the other side by adjacency. More abstractly, the paper works with separation systems as partially ordered sets with an order-reversing involution. For a set $X$5, oriented separations are pairs $X$6 with $X$7, ordered by

$X$8

with involution $X$9. The universe of separations forms a lattice under join and meet. Shifts across the duality are defined by majority-neighbor rules, for example

$Y$0

and the induced order functions are submodular. A crucial lemma proves that shifting does not increase order, enabling the transfer theorem: a tangle of $Y$1 shifts to a tangle of $Y$2, and double shifting recovers the original tangle at lower order. The same pattern also works for regular profiles (Diestel et al., 2021).

A different mathematical implementation appears in the comparison between Bieri–Eckmann duality groups and Cohen–Macaulay duality for simplicial complexes. For a duality group $Y$3 of dimension $Y$4, there is a dualizing module $Y$5 and a fundamental class

$Y$6

such that cap product with $Y$7 yields

$Y$8

For a locally finite $Y$9-dimensional local homology Cohen–Macaulay complex $R$0, the paper proves a CM duality theorem relating compactly supported cohomology and homology with coefficients in the local homology sheaf $R$1 or local cohomology cosheaf $R$2. If $R$3 acts freely and cocompactly on such a contractible complex, then

$R$4

In the case of $R$5, the dualizing module is identified as

$R$6

where $R$7 is the spine of Outer space. The paper describes this as an “inside-out” phenomenon because the global duality module is reconstructed from local cohomological data around simplices rather than from a classical manifold boundary (Wade et al., 2024).

The holomorphic double fibration transform yields yet another version. For a double fibration

$R$8

the associated spectral sequence has

$R$9

The central duality theorem states

$$X(\sigma,\tau)=2w\sigma R+2\ell_s^2 p\,\tau+\text{vibrational terms},$$0

so that top-degree concentration for $$X(\sigma,\tau)=2w\sigma R+2\ell_s^2 p\,\tau+\text{vibrational terms},$$1 is equivalent to degree-zero concentration for $$X(\sigma,\tau)=2w\sigma R+2\ell_s^2 p\,\tau+\text{vibrational terms},$$2. In the Hermitian holomorphic case, a BGG resolution gives a sharper version of the same principle. Here the inside-out aspect consists in exchanging the “best” top-degree regime on one side of the transform with the “best” degree-zero regime on the dual side (Eastwood et al., 2012).

4. Geometric inversion, visualization, and self-duality

Inside-out Doppler tomography proposes a polar velocity coordinate system in which the usual radial ordering is reversed. Standard Doppler tomography places zero velocity at the center and higher velocities farther outward. The inside-out version keeps the polar angle but reverses the radial coordinate, so that low velocities move to the outside and high velocities move to the center; a convenient expression given in the summary is $$X(\sigma,\tau)=2w\sigma R+2\ell_s^2 p\,\tau+\text{vibrational terms},$$3. The authors stress that this is not a dynamical modification of the underlying gas flow. It is a coordinate-space replotting designed to transpose the inverted appearance of the standard Cartesian velocity map. The complementarity is systematic: normal tomograms tend to enhance low-velocity structures, whereas inside-out tomograms tend to enhance high-velocity structures. In the inside-out frame, accretion discs appear “the right way around,” ballistic streams curve inward as they accelerate, and high-velocity magnetic flow components can become visible that are not discernible in the normal tomogram. At the same time, low-velocity features can become diffuse or diluted, and brightness redistribution is explicitly described as a mapping artifact rather than a direct measure of intrinsic emissivity (Kotze et al., 2015).

In geometric dissection theory, an inside-out dissection of a polygon or polyhedron is a decomposition into finitely many pieces that can be rearranged by rotations and translations into a congruent copy whose boundary is made entirely of internal cut edges or faces of the original figure. The paper denotes by $$X(\sigma,\tau)=2w\sigma R+2\ell_s^2 p\,\tau+\text{vibrational terms},$$4 the smallest number such that every $$X(\sigma,\tau)=2w\sigma R+2\ell_s^2 p\,\tau+\text{vibrational terms},$$5-gon can be inside-out dissected with at most $$X(\sigma,\tau)=2w\sigma R+2\ell_s^2 p\,\tau+\text{vibrational terms},$$6 pieces, and proves

$$X(\sigma,\tau)=2w\sigma R+2\ell_s^2 p\,\tau+\text{vibrational terms},$$7

It also establishes that any regular polygon can be inside-out dissected with at most $$X(\sigma,\tau)=2w\sigma R+2\ell_s^2 p\,\tau+\text{vibrational terms},$$8 pieces, with a regular hexagon requiring $$X(\sigma,\tau)=2w\sigma R+2\ell_s^2 p\,\tau+\text{vibrational terms},$$9 pieces in the symmetry-based construction. In three dimensions, every polyhedron that can be decomposed into finitely many regular tetrahedra and octahedra can be inside-out dissected; the paper also states explicit bounds of $k=n/R$0 pieces for a regular tetrahedron and $k=n/R$1 for a regular octahedron in the constructions described (Akpanya et al., 2024).

Abstract polytope theory gives a group-theoretic refinement of the same vocabulary. A regular self-dual polytope is internally self-dual if its self-duality is realized by a dualizing automorphism

$k=n/R$2

and externally self-dual if it is self-dual but has no such automorphism. The paper proves that a regular polytope is internally self-dual if and only if its base flag has a dual flag. It also derives structural consequences: the product of two dualizing automorphisms is central, even powers of a dualizing automorphism are central, and internal self-duality passes to quotients. Existence results include internally self-dual regular polyhedra of each type $k=n/R$3 for $k=n/R$4, both infinitely many internally self-dual and infinitely many externally self-dual polyhedra of type $k=n/R$5 for $k=n/R$6 even, and internally self-dual polytopes in each rank (Cunningham et al., 2016).

These geometric cases clarify a frequent misconception. Not every inside-out construction asserts physical or ontological equivalence. In tomography it is a change of display coordinates; in dissections it is a rigid-motion rearrangement of pieces; in abstract polytope theory it is a distinction between inner and outer realization of self-duality. The common feature is reversal of structural roles, not necessarily identity of interpretation.

5. Scattering theory, transmission eigenvalues, and resonances

In inverse scattering, inside-outside duality is used to characterize spectral information of exterior problems by studying modified or interior operators. One approach introduces an artificial background $k=n/R$7 and the relative far-field operator

$k=n/R$8

The modified operator

$k=n/R$9

admits the factorization

$l=wR$0

A particularly important choice is

$l=wR$1

because then the background interior equation becomes independent of $l=wR$2. In the zero-index-material case $l=wR$3, the modified transmission eigenvalue problem reduces to the selfadjoint eigenvalue problem

$l=wR$4

with real, positive, discrete eigenvalues. The paper proves a necessary and sufficient phase characterization of transmission eigenvalues in terms of the smallest phase $l=wR$5 of the modified scattering operator: under the sign condition $l=wR$6, $l=wR$7 as $l=wR$8 at a transmission eigenvalue; under the opposite sign condition, $l=wR$9 as $n \leftrightarrow w,\qquad R\to \ell_s^2/R.$0. The artificial background is therefore not merely auxiliary; it makes the transmission-eigenvalue problem more directly spectral (Audibert et al., 2019).

A second line of work treats scattering poles for complex wavenumbers $n \leftrightarrow w,\qquad R\to \ell_s^2/R.$1. The paper establishes two generalized Rellich lemmas for outgoing Helmholtz solutions with complex $n \leftrightarrow w,\qquad R\to \ell_s^2/R.$2, and uses them to prove that vanishing far field on an open subset of $n \leftrightarrow w,\qquad R\to \ell_s^2/R.$3 implies vanishing scattered field in the exterior. This underpins an inside-out duality for scattering poles based on the linear sampling method. For an interior sampling boundary $n \leftrightarrow w,\qquad R\to \ell_s^2/R.$4, the near-field operator $n \leftrightarrow w,\qquad R\to \ell_s^2/R.$5 and the single-layer operator $n \leftrightarrow w,\qquad R\to \ell_s^2/R.$6 satisfy

$n \leftrightarrow w,\qquad R\to \ell_s^2/R.$7

If $n \leftrightarrow w,\qquad R\to \ell_s^2/R.$8 is not a Dirichlet or Neumann pole, then approximate solutions of the near-field equation can be found with bounded $n \leftrightarrow w,\qquad R\to \ell_s^2/R.$9. If $R$0 is a pole and the approximation holds, then for almost every sampling point $R$1 the norm $R$2 cannot remain bounded as $R$3. Exterior poles are thus revealed through the blow-up behavior of an interior sampling procedure. The paper further states that exterior Dirichlet and Neumann poles can be identified without prior knowledge of the actual sound-soft or sound-hard obstacles (Liu et al., 6 Jul 2025).

These two scattering frameworks are related by method rather than by identical formalism. Both translate difficult exterior spectral questions into more accessible interior, relative, or modified operators. Both also show that the “inside-out” label in scattering theory refers to a diagnostic reversal: hidden exterior structure is inferred from interior or background-adjusted data.

6. Categorical, statistical, and logical extensions

In one-dimensional quantum many-body systems with fusion-category symmetry $R$4, categorical duality operators give an operator-algebraic version of inside-out duality. The setup uses a quasi-local $R$5-algebra $R$6 with symmetric subalgebra

$R$7

A duality operator is a completely positive locality-preserving map

$R$8

that restricts on $R$9 to a bounded-spread automorphism $Y$00. The paper shows that such an $Y$01 determines an invertible $Y$02-$Y$03 bimodule category $Y$04, and that the duality operators extending $Y$05 form a simplex whose extreme points are in bijective correspondence with the simple objects of $Y$06. It also analyzes families of duality operators and proves that, if the ultraviolet models are defined on tensor-product Hilbert spaces, the emergent infrared fusion categories must be weakly integral. Here the inside-out aspect lies in the fact that an internal quasi-local channel reorganizes the categorical boundary description and can exchange site-based observables with dual link-based or defect-based variables (Jones et al., 10 Mar 2026).

A distinct but related use appears in machine learning. The paper on out-of-distribution structure does not use the exact phrase “inside-out duality” as a formal named concept, but it explicitly divides OOD into outside and inside cases. A sample is inside OOD in a dimension when it is OOD relative to the feature distribution yet lies between observed values, and outside OOD when it lies beyond observed support. For a sample $Y$07, the OOD profile is

$Y$08

Using a K-nearest-neighbors detector with threshold set by the diameter of the largest X-means centroid, the experiments report that outside OOD leads to higher normalized RMSE than inside OOD, with degradation that is non-linear in dimension and still visible at $Y$09 dimensions. The paper therefore reframes OOD geometry as an inside-versus-outside distinction rather than a single distance-from-center phenomenon (Lazebnik, 2024).

At the broadest level, the essay on logical, physical, and biological duality develops a general contrast between subsets and partitions, elements and distinctions, definiteness and indefiniteness. For a partition $Y$10 on $Y$11,

$Y$12

and logical entropy is the normalized count of distinctions,

$Y$13

The paper treats category-theoretic reverse-the-arrows duality, logical entropy, quantum indefiniteness, and the distinction between selectionist and generative mechanisms in biology as manifestations of the same structural contrast. This suggests a particularly expansive interpretation of inside-out duality: the primitive explanatory unit itself is reversed, from elements or actualized alternatives to distinctions, partitions, and processes of differentiation (Ellerman, 2024).

Taken together, these extensions show how far the inside-out motif can travel. In some fields it is a sharply formulated equivalence theorem; in others it is a transfer principle, a reconstruction method, or a contrast between complementary geometries. What remains stable is the reversal of structural roles under conditions that preserve either content, solvability, or explanatory reach.