Antipodal Matching in Mathematical Physics

• Antipodal Matching is the process of identifying data at a point with data at its opposite, via an involutive map, across settings from Maxwell fields to discrete geometric selections.
• It utilizes coordinate inversions, conformal compactifications, and parity conditions to glue asymptotic data in flat, AdS, and gravitational scattering frameworks.
• This concept clarifies global charge conservation, underpins dualities in scattering amplitudes, and aids in optimizing combinatorial problems in discrete geometry.

Searching arXiv for the primary and related papers on antipodal matching. Search query: (Duary, 6 Jul 2026) antipodal matching spatial infinity AdS Liénard-Wiechert fields Antipodal matching denotes a family of identification rules in which data at a point are related to data at its antipode under inversion. In asymptotically flat field theory, the phrase usually refers to the Lorentz-invariant gluing of leading long-range data between the past boundary of future null infinity and the future boundary of past null infinity. In other settings the same expression labels formally different operations, including exact antipodal covariance in anti-de Sitter space, antipode-based dualities for polylogarithmic symbols, and several selection or pairing problems in discrete and convex geometry. The common structure is an involutive map—typically $\Omega\mapsto-\Omega$ on a sphere, or a combinatorial analog—that preserves a distinguished notion of “opposite” data.

1. Terminology and domain-specific meanings

In the flat-space Maxwell problem, antipodal matching is the statement that the Coulombic data adjacent to spatial infinity agree only after antipodal identification of angles on the celestial sphere. With $u=t-r$ on $\mathscr I^+$, $v=t+r$ on $\mathscr I^-$, and $\hat x\in S^2$, the matching relation is

$$\left. \lim_{r\to\infty} r^2 F_{ru}(u,\hat x) \right|_{\mathscr I^+_-} = \left. \lim_{r\to\infty} r^2 F_{rv}(v,-\hat x) \right|_{\mathscr I^-_+}.$$

For these components there is no extra orientation minus sign: on $\mathscr I^+$ one has $F_{ru}=F_{rt}$, and on $\mathscr I^-$ one has $u=t-r$0 (Duary, 6 Jul 2026).

In gravitational scattering, the same idea appears as antipodal matching of Bondi data across spatial infinity. Using the antipodal map

$u=t-r$1

the corner data satisfy

$u=t-r$2

under the falloffs and no-radiation assumptions used in the Bondi-to–Beig–Schmidt map (Capone et al., 2022).

A different usage appears in planar $u=t-r$3 SYM, where “antipodal” refers to the Hopf-algebra antipode on multiple polylogarithms. At symbol level,

$u=t-r$4

and the relevant matching is between a reversed symbol and a transformed kinematic point on a parity-preserving surface (Dixon et al., 2021).

In discrete geometry, the terminology is again local to the problem. An antipodal polygon on a $u=t-r$5-point antipodal set on the circle chooses exactly one point from each antipodal pair; a “half” of an antipodal spherical design chooses one representative from each $u=t-r$6 pair; and in strongly involutive polyhedra the antipodal function implements a duality isomorphism on $u=t-r$7 (Aichholzer et al., 2013).

Domain	Matching object	Representative rule
Maxwell at null infinity	Leading Coulombic data	$u=t-r$8 at $u=t-r$9 equals $\mathscr I^+$0 at $\mathscr I^+$1 after $\mathscr I^+$2
Gravity/BMS	Bondi corner data	$\mathscr I^+$3, $\mathscr I^+$4, $\mathscr I^+$5 obey antipodal parity relations
AdS gauge fields	Bulk or fringe field data	$\mathscr I^+$6 with $\mathscr I^+$7
Polylogarithmic amplitudes	Symbol words	Antipode reverses letter order
Discrete geometry	One-per-pair selections	Choose exactly one element from each antipodal pair

A common misconception is that these usages define a single formalism. The shared term is the antipodal involution, but the matched objects range from asymptotic field data to symbol tensors to combinatorial selections.

2. Electromagnetic antipodal matching in Minkowski space

A geometric derivation of flat-space antipodal matching begins by centering coordinates on the source timelike geodesic rather than boosting a static solution by hand. For a uniformly moving charge with constant four-velocity $\mathscr I^+$8 and worldline $\mathscr I^+$9, the geodesic-centered variables

$v=t+r$0

place the charge at rest at $v=t+r$1. In this frame the gauge field is purely Coulombic,

$v=t+r$2

Rewriting the same solution in arbitrary inertial coordinates gives

$v=t+r$3

which is the uniformly moving Liénard–Wiechert field (Duary, 6 Jul 2026).

In spherical coordinates, the radial electric component is

$v=t+r$4

Its leading large-$v=t+r$5 asymptotics isolate the Coulombic $v=t+r$6 data: $v=t+r$7

$v=t+r$8

At the same angle these expressions mismatch, but after $v=t+r$9 one obtains exact equality at the relevant corners of null infinity. The paper emphasizes that this anisotropy is not radiative: it is the boosted Coulomb profile, continuous along null generators crossing spatial infinity but not continuous at fixed angle (Duary, 6 Jul 2026).

Conformal compactification makes the gluing more explicit. Because four-dimensional Maxwell theory is conformally invariant, Minkowski space embeds into the Einstein cylinder $\mathscr I^-$0. On the compact spatial slice, Gauss’s law requires a compensating image singularity at $\mathscr I^-$1: $\mathscr I^-$2 and the bipolar Green function

$\mathscr I^-$3

has singularities at both poles. This is used to explain why ordinary smoothness at spatial infinity is too strong, whereas continuity along null generators—implemented as antipodal matching—is the correct condition (Duary, 6 Jul 2026).

3. Exact antipodal covariance in AdS and the flat-space limit

In global $\mathscr I^-$4, uniform motion is replaced by motion along a timelike geodesic. The static Coulomb seed at the AdS center is

$\mathscr I^-$5

Using embedding-space invariants attached to a source geodesic $\mathscr I^-$6, one reconstructs geodesic-adapted coordinates $\mathscr I^-$7 and then writes the moving solution as

$\mathscr I^-$8

For the explicit geodesic through the AdS origin, the reconstructed global field strength has the closed form

$\mathscr I^-$9

(Duary, 6 Jul 2026).

This bulk solution is exactly covariant under the AdS antipodal map, realized by the central inversion $\hat x\in S^2$0. In global coordinates,

$\hat x\in S^2$1

with $\hat x\in S^2$2, and

$\hat x\in S^2$3

The result is stronger than flat-space matching: the covariance already holds at finite radius in the bulk (Duary, 6 Jul 2026).

The boundary null-fringe limit recovers the usual Coulombic factors. Near $\hat x\in S^2$4 and $\hat x\in S^2$5,

$\hat x\in S^2$6

$\hat x\in S^2$7

so the future and past null fringes are related antipodally. In the large-radius limit $\hat x\in S^2$8, the AdS cylinder near the center reduces locally to Minkowski space, and these fringe data reproduce

$\hat x\in S^2$9

A related AdS/CFT analysis formulates the same mechanism as a geodesic picture in which the two null fringes at $$\left. \lim_{r\to\infty} r^2 F_{ru}(u,\hat x) \right|_{\mathscr I^+_-} = \left. \lim_{r\to\infty} r^2 F_{rv}(v,-\hat x) \right|_{\mathscr I^-_+}.$$0 are mapped into one another by a global time shift $$\left. \lim_{r\to\infty} r^2 F_{ru}(u,\hat x) \right|_{\mathscr I^+_-} = \left. \lim_{r\to\infty} r^2 F_{rv}(v,-\hat x) \right|_{\mathscr I^-_+}.$$1 together with $$\left. \lim_{r\to\infty} r^2 F_{ru}(u,\hat x) \right|_{\mathscr I^+_-} = \left. \lim_{r\to\infty} r^2 F_{rv}(v,-\hat x) \right|_{\mathscr I^-_+}.$$2 (Duary et al., 2024).

The AdS image-charge viewpoint parallels the flat one. On the hemisphere $$\left. \lim_{r\to\infty} r^2 F_{ru}(u,\hat x) \right|_{\mathscr I^+_-} = \left. \lim_{r\to\infty} r^2 F_{rv}(v,-\hat x) \right|_{\mathscr I^-_+}.$$3, the static potential $$\left. \lim_{r\to\infty} r^2 F_{ru}(u,\hat x) \right|_{\mathscr I^+_-} = \left. \lim_{r\to\infty} r^2 F_{rv}(v,-\hat x) \right|_{\mathscr I^-_+}.$$4 is the Dirichlet Green function with $$\left. \lim_{r\to\infty} r^2 F_{ru}(u,\hat x) \right|_{\mathscr I^+_-} = \left. \lim_{r\to\infty} r^2 F_{rv}(v,-\hat x) \right|_{\mathscr I^-_+}.$$5. Doubling across the equator gives an odd Green function on $$\left. \lim_{r\to\infty} r^2 F_{ru}(u,\hat x) \right|_{\mathscr I^+_-} = \left. \lim_{r\to\infty} r^2 F_{rv}(v,-\hat x) \right|_{\mathscr I^-_+}.$$6 corresponding to a physical charge $$\left. \lim_{r\to\infty} r^2 F_{ru}(u,\hat x) \right|_{\mathscr I^+_-} = \left. \lim_{r\to\infty} r^2 F_{rv}(v,-\hat x) \right|_{\mathscr I^-_+}.$$7 and an image charge $$\left. \lim_{r\to\infty} r^2 F_{ru}(u,\hat x) \right|_{\mathscr I^+_-} = \left. \lim_{r\to\infty} r^2 F_{rv}(v,-\hat x) \right|_{\mathscr I^-_+}.$$8 in the reflected copy. This suggests a unified interpretation: the AdS Liénard–Wiechert field is the Coulomb seed plus its boundary image, rewritten in a frame centered on the source geodesic (Duary, 6 Jul 2026).

4. Antipodal matching in gravity, BMS symmetry, and the infrared triangle

For gravitational scattering, antipodal matching is derived from a fully non-linear map between Bondi data at null infinity and Beig–Schmidt data at spatial infinity. Under mild no-radiation-at-the-corners assumptions and polynomial falloffs in both $$\left. \lim_{r\to\infty} r^2 F_{ru}(u,\hat x) \right|_{\mathscr I^+_-} = \left. \lim_{r\to\infty} r^2 F_{rv}(v,-\hat x) \right|_{\mathscr I^-_+}.$$9 and $\mathscr I^+$0, the map enforces definite parity properties on the de Sitter hyperboloid $\mathscr I^+$1: $\mathscr I^+$2 is even, $\mathscr I^+$3 is odd, and the leading magnetic Weyl tensor vanishes,

$\mathscr I^+$4

These parity properties imply the corner matching rules for the Bondi mass aspect, shear, and angular-momentum aspect (Capone et al., 2022).

The null-infinity corners are $\mathscr I^+$5 and $\mathscr I^+$6. In explicit angular variables,

$\mathscr I^+$7

while the shear and angular-momentum aspect pick a minus sign under antipodal pullback. The paper further identifies the News tensor as $\mathscr I^+$8 and the memory as

$\mathscr I^+$9

with corner News vanishing under the stated falloffs (Capone et al., 2022).

A key structural consequence is that the diagonal subgroup of $F_{ru}=F_{rt}$0 is selected. The Compère–Dehouck charges at spatial infinity match the Bondi supertranslation and Lorentz charges at the null boundaries, and because the spatial-infinity charges are integrable and conserved along $F_{ru}=F_{rt}$1, they equate the corner limits of the null-infinity charges. In this setting antipodal matching is the mechanism behind global charge conservation across $F_{ru}=F_{rt}$2 (Capone et al., 2022).

The same paper connects these identities to soft graviton theorems and memory. Under the adopted falloffs, corner terms at $F_{ru}=F_{rt}$3 vanish, the magnetic-parity sector is absent, and the resulting Ward identities reproduce the leading and subleading soft graviton theorems. This places antipodal matching directly inside the “infrared triangle” linking asymptotic symmetries, soft theorems, and memory (Capone et al., 2022).

A recurring point of confusion is whether the matching requires smoothness of all fields at spatial infinity. The relevant result is weaker and more specific: the Bondi-to–Beig–Schmidt map enforces parity and charge-conservation conditions tailored to scattering, not unrestricted smoothness across $F_{ru}=F_{rt}$4.

5. Horizon-level antipodal identification in black-hole physics

A distinct proposal appears in black-hole unitarity, where antipodal matching is implemented not at null infinity but on the horizon. In this framework the antipodal map on $F_{ru}=F_{rt}$5 is extended to horizon coordinates,

$F_{ru}=F_{rt}$6

and region II of the Penrose diagram is identified with the antipodal part of the same exterior seen by the distant observer. The proposal treats the identification between regions I and II as a PT, more precisely CPT, relation (Hooft, 2016).

At the operator level, horizon variables satisfy a modified canonical algebra after antipodal matching,

$F_{ru}=F_{rt}$7

together with

$F_{ru}=F_{rt}$8

Because $F_{ru}=F_{rt}$9, only odd $\mathscr I^-$0 survive in the partial-wave expansion (Hooft, 2016).

The proposed motivation is unitarity of the partial-wave bounce operator that mixes the two Penrose exteriors. The associated entangled Hawking state is written as

$\mathscr I^-$1

and under antipodal identification the partner quanta lie at $\mathscr I^-$2. The outgoing radiation is therefore locally thermal but globally pure, with every Hawking quantum emerging from one hemisphere entangled with a partner at the antipode (Hooft, 2016).

This proposal should be distinguished from asymptotic antipodal matching across spatial infinity. Both use the antipodal map, but they address different surfaces, different operator algebras, and different physical questions.

6. Antipodal duality in scattering amplitudes

In planar $\mathscr I^-$3 SYM, antipodal matching becomes an algebraic relation between a three-gluon form factor and a six-gluon MHV amplitude. Working with cosmic, BDS-like normalized finite functions, the duality states

$\mathscr I^-$4

The kinematic map is

$\mathscr I^-$5

and the parity-preserving surface is $\mathscr I^-$6, where the parity-odd letters drop out (Dixon et al., 2021).

At symbol level, the antipode simply reverses the order of letters. Since MHV quantities at $\mathscr I^-$7 loops have even weight $\mathscr I^-$8, the overall sign is $\mathscr I^-$9. The duality was checked through seven loops at symbol level and at function level up to terms proportional to $u=t-r$00; special-point evaluations in the $u=t-r$01-alphabet are related by reversing the order of the $u=t-r$02-letters (Dixon et al., 2021).

An antecedent of this 6–3 duality is the two-loop four-particle form factor, whose remainder function is invariant on a parity-preserving hypersurface under the combined action of the antipode and a kinematic involution $u=t-r$03. The self-duality holds at symbol level as

$u=t-r$04

and the paper identifies the previously observed 3-point form factor/6-point amplitude duality as a corollary of this four-point self-duality via collinear limits (Dixon et al., 2022).

At eight loops, antipodal duality is used constructively: the six-particle MHV amplitude is bootstrapped from the eight-loop three-point form factor. On the parity-preserving surface the amplitude symbol is obtained by reversing the form-factor symbol and applying the kinematic map, after which a small ambiguity space is lifted to full kinematics using adjacency, parity, collinear, multi-Regge, self-crossing, origin, and OPE constraints (Dixon et al., 2023).

Despite the shared nomenclature, this amplitude-theoretic “antipodal” operation is not spacetime gluing across null infinity. It is an antipode in the Hopf algebra of multiple polylogarithms, coupled to a kinematic map.

7. Discrete, combinatorial, and polyhedral notions

In combinatorial geometry, antipodal matching often means selecting one representative from each antipodal pair. For a set of $u=t-r$05 points on a circle, an antipodal polygon of size $u=t-r$06 is a convex polygon whose vertex set contains exactly one point from each pair $u=t-r$07. Thin antipodal polygons are consecutive-block selections lying in a closed half-plane through the origin, while thick antipodal polygons are balanced around the center. Every thin antipodal polygon has strictly smaller area than any non-thin antipodal polygon, and the global maximum area is achieved by a thick polygon. The paper proves linear-time algorithms for both minimum-area thin polygons and maximum-area thick polygons. It also states explicitly that it does not study matchings; its contribution concerns extremal convex hulls under one-from-each-pair selection (Aichholzer et al., 2013).

A related but different question concerns balanced halves of antipodal spherical designs. Here one asks whether, given an antipodal design $u=t-r$08, one can choose a half $u=t-r$09 containing exactly one point from each $u=t-r$10 pair such that

$u=t-r$11

Balanced halves exist for $u=t-r$12 iff $u=t-r$13 is even, for $u=t-r$14 iff $u=t-r$15, for $u=t-r$16 and $u=t-r$17, and for the minimal vectors of the Leech lattice, but not for $u=t-r$18. For the unique tight 7-design on $u=t-r$19, computational evidence indicates existence of a degree-1 balanced half and nonexistence for degree-3 balance (Bannai et al., 2017).

Another combinatorial use appears in strongly involutive polyhedra. A self-dual map is strongly involutive if the duality isomorphism $u=t-r$20 satisfies

$u=t-r$21

In the spherical embedding, the corresponding isometry is the antipodal map $u=t-r$22 on $u=t-r$23. The classification identifies exactly 10 self-dual pairings in which $u=t-r$24, and these are called antipodal pairings (Bracho et al., 2024).

For convex polyhedra, the antipodal relation induces both a graph and a square complex. If $u=t-r$25 counts antipodal vertex pairs and $u=t-r$26 counts antipodal edge-midpoint pairs, the defect

$u=t-r$27

satisfies

$u=t-r$28

so

$u=t-r$29

The defect localizes on exact opposite face pairs and vanishes exactly when every facet has a vertex opposite support face (Phat, 12 Jun 2026).

Several neighboring results clarify the breadth of antipodal structures. In the graph of perfect matchings of $u=t-r$30, antipodes are pairs whose union is a single alternating $u=t-r$31-cycle; the diameter is $u=t-r$32, and the number of geodesics between antipodes is $u=t-r$33 (Jennings, 2013). In planar diameter-one point sets, the antipodal graph $u=t-r$34 joins pairs at distance at least $u=t-r$35, and the optimal spectral ratio bound

$u=t-r$36

controls the relation between near-neighbor and near-antipodal edges (Korsky, 11 Mar 2026). For finite subsets of $u=t-r$37 in convex or strictly convex position, extremal counts of antipodal and strictly antipodal pairs are also known in several regimes; for example,

$u=t-r$38

for $u=t-r$39 points in convex position spanning $u=t-r$40, and $u=t-r$41 is determined in multiple ranges, including $u=t-r$42 (Jr. et al., 2021).

Taken together, these results show that “antipodal matching” is not a single invariant but a family of opposite-point constraints whose technical realization depends on context. In field theory it glues asymptotic or bulk data under antipodal inversion; in amplitudes it reverses iterated-integral words; in geometry it organizes one-from-each-pair selections, dualities, homological defects, and extremal opposite-pair counts. The unifying principle is involutive opposition, but the matched objects, admissible deformations, and conservation laws are domain-specific.