---
title: Negative Geometries in Mathematical Physics
url: https://www.emergentmind.com/topics/negative-geometries
type: topic
---

# Negative Geometries in Mathematical Physics

Searching arXiv for recent and foundational papers on “negative geometries” across the main usages represented in the literature.
First, a direct search for the phrase and closely related amplitudes usage.
Now a broader search covering hyperbolic / negatively curved geometry usages that are explicitly described as “negative geometries” in the supplied literature.
“Negative geometries” denotes several distinct but structurally related constructions across contemporary mathematical physics. In the amplitudes program, it refers to Amplituhedron-related regions in which mutual positivity conditions between loop lines are replaced by graph-dependent negativity conditions, with canonical forms that organize the integrand of the logarithm of the four-point amplitude and the corresponding Wilson loop with Lagrangian insertion [2112.06956]. In differential geometry and materials science, it denotes spaces or surfaces with negative Gaussian, flag, or weighted Ricci curvature, including Hilbert and Funk geometries, anti-cones, Beltrami pseudospheres, and hyperbolic lattices [1203.2001][1502.05731][1511.07672][2003.07002]. In Casimir physics, the term is used for scattering geometries whose channel structure yields negative interaction entropy over an intermediate temperature range [1507.05891]. In holography, it has also been used for spacetimes in which the vacuum-subtracted maximal volume, interpreted as complexity of formation, becomes negative once compact directions are included [2111.14897].

## 1. Sign-flipped canonical geometries in scattering amplitudes

In planar \(\mathcal N=4\) super-Yang-Mills theory, the four-point loop Amplituhedron is a positive geometry in the space of loop lines \(AB_i\) in momentum twistor space. For each loop line, the one-loop conditions are
\[
\langle AB_i12\rangle,\langle AB_i23\rangle,\langle AB_i34\rangle,\langle AB_i14\rangle>0,\qquad
\langle AB_i13\rangle,\langle AB_i24\rangle<0,
\]
supplemented at higher loop order by mutual positivity \(\langle AB_iAB_j\rangle>0\) for all \(i\neq j\). Negative geometries keep the one-loop conditions but replace mutual positivity by graph-dependent negativity,
\[
\langle AB_iAB_j\rangle<0 \quad \text{if nodes } i,j \text{ are connected by an edge,}
\]
with no condition otherwise [2112.06956].

The canonical forms of these negative geometries furnish the integrand of the logarithm of the four-point amplitude. Organizing the expansion by connected graphs \(G\), one has
\[
\widetilde\Omega_L=\sum_{\substack{G \text{ connected}\\ \#\text{vertices}=L}}(-1)^{E(G)}\,\widetilde\Omega_G,
\]
so connected negative geometries play for \(\log M\) the role that the Amplituhedron plays for \(M\). Freezing one loop line \(AB_0\) and integrating the remaining loops yields an IR-finite observable depending on a single cross ratio,
\[
z=\frac{\langle AB_0 12\rangle\langle AB_0 23\rangle}{\langle AB_0 34\rangle\langle AB_0 14\rangle},
\]
equivalently the normalized quadrangular Wilson loop with a single Lagrangian insertion [2112.06956].

A particularly simple subsector is formed by tree negative geometries. Their canonical forms factorize over vertices and edges, and their all-loop sum is governed by a nonlinear differential equation,
\[
\frac{1}{2}(z\partial_z)^2 \mathcal H_{\rm tree} + g^2 e^{\mathcal H_{\rm tree}} = 0,
\]
with \(\mathcal F_{\rm tree}=e^{\mathcal H_{\rm tree}}\). This produces an all-coupling expression for the tree contribution to \({\cal F}(g,z)\) and to \(\Gamma_{\rm cusp}\), and the resulting \(\Gamma_{\rm tree}(g)\) shares the main qualitative characteristics of the known exact cusp anomalous dimension [2112.06956].

## 2. Multi-loop analytic structure, cycle expansions, and the ABJM variant

The negative-geometry expansion admits a further organization by the number of internal cycles in the graph. One-cycle graphs are next-to-leading in the expansion over cycles, and geometric Landau analysis shows that the integrated four-point one-cycle negative geometry has branch point singularities only at
\[
z\in\{-1,0,\infty\}
\]
to all loop orders. In this setting, the Landau analysis is geometric in the sense that candidate singularities are retained only when the corresponding cut solution lies on the boundary of the negative geometry; otherwise they are spurious [2604.22683].

At three loops, explicit integration of all four-loop negative geometries shows that the number of internal cycles is closely linked to the depth of polylogarithms. Tree geometries produce depth-1 structures, one-cycle geometries produce depth-2 structures, and higher-cycle geometries yield more intricate transcendental patterns. The same analysis shows that higher-cycle diagrams are suppressed if one considers separate odd and even zeta contributions to \(\Gamma_{\rm cusp}\), while certain convergent infinite series of one-cycle diagrams admit all-loop resummations [2605.28926].

In ABJM theory, the four-point amplituhedron is obtained by projecting the 4D amplituhedron to a 3D symplectic locus. The logarithm of the amplitude again decomposes into negative geometries, but only connected bipartite graphs survive. Integrating \(L-1\) loop variables produces IR-finite, dual-conformally invariant functions of a single cross ratio, and this structure provides a direct route to the ABJM cusp anomalous dimension [2303.02996]. At four loops, explicit integration shows that the infrared divergence of a box-type negative geometry is weaker than that of the tree-type geometries, so only tree-type negative geometries contribute to the four-loop cusp anomalous dimension [2402.17023]. A complementary differential-equation analysis of the same four-loop ABJM sector finds an apparent simplicity in the leading singularities of the integrated results in the frame where the unintegrated loop variable goes to infinity, and it suggests an alternating sign pattern for the integrated negative geometries in the Euclidean region [2402.17432].

## 3. Negatively curved metric-measure geometries

In Finsler geometry, Hilbert and Funk geometries on a bounded, strongly convex domain \(D\subset\mathbb R^n\) are canonical examples of negatively curved non-Riemannian spaces. The Hilbert metric is the symmetric cross-ratio metric on \(D\), while the Funk metric is its non-symmetric forward version, with
\[
2\,d_{\mathcal H}(x,y)=d_{\mathcal F}(x,y)+d_{\mathcal F}(y,x).
\]
When \(\partial D\) is smooth and \(D\) is strongly convex, both arise from smooth Finsler norms [1203.2001].

Ohta’s analysis computes the weighted Ricci curvature with respect to the Lebesgue measure \(m_L\). In the Funk case,
\[
\mathrm{Ric}_\infty(v)=-\frac{n-1}{4},\qquad
\mathrm{Ric}_N(v)=-\frac{n-1}{4}-\frac{(n+1)^2}{4(N-n)},
\]
so the weighted Ricci curvature is constant and negative. In the Hilbert case, one obtains uniform bounds
\[
\mathrm{Ric}_\infty(v)\in\bigl(-(n-1),\,2\bigr],\qquad
\mathrm{Ric}_N(v)\in\left(-(n-1)-\frac{(n+1)^2}{N-n},\,2\right],
\]
which provide a negative lower bound independent of the concrete shape of \(D\) [1203.2001].

These geometries are negative in several distinct senses. Their flag curvatures are constant and negative: \(-1/4\) for Funk and \(-1\) for Hilbert. With Lebesgue measure, they satisfy \(\mathrm{CD}(K,N)\) with \(K<0\), hence Brunn–Minkowski, Bishop–Gromov, Laplacian comparison, and Bochner–Weitzenböck inequalities follow from the general \(\mathrm{CD}(K,N)\) theory. The paper also notes that, in Hilbert geometry, nonnegative weighted Ricci curvature for some finite \(N\) cannot occur for any measure, emphasizing that the negative Ricci character is intrinsic rather than an artifact of a particular density [1203.2001].

## 4. Embedded, programmable, and lattice realizations of negative curvature

In thin active materials, negative geometry can be programmed through an induced metric. For an initially flat nematic sheet with azimuthal director field, activation by light or heat changes natural lengths by \(\lambda\) along the director and by \(\lambda^{-\nu}\) transversely, producing the target metric
\[
ds^2=\lambda^{-2\nu}dR^2+\lambda^2R^2d\Phi^2.
\]
When \(\lambda^{1+\nu}>1\), circles have surplus perimeter relative to radius, and the sheet relieves this incompatibility by buckling into an anti-cone with negative Gaussian curvature concentrated at the apex. The integrated apex curvature is
\[
K_{\rm apex}=2\pi(1-I),
\]
with \(I(n,A)=\lambda^{1+\nu}\), so \(I>1\) implies \(K_{\rm apex}<0\). The stretch-free state requires azimuthal displacements \(\phi\neq\Phi\), and the resulting bend-minimizing shapes are smooth, aster-like, and can become re-entrant in the azimuthal coordinate for large deformations [1502.05731].

A complementary realization is the Beltrami pseudosphere, a surface of revolution with constant Gaussian curvature \(K=-1/r^2\). In upper-half-plane coordinates the Lobachevsky metric is
\[
dl^2=\frac{r^2}{\tilde y^2}(d\tilde x^2+d\tilde y^2),
\]
while on the Beltrami pseudosphere it takes the form
\[
dl^2=du^2+r^2e^{2u/r}dv^2,\qquad R(u)=re^{u/r}.
\]
This surface realizes a horocyclic sector of hyperbolic geometry in \(\mathbb R^3\), but by Hilbert’s theorem it necessarily terminates at a singular boundary, the Hilbert horizon \(R=r\). In a trivalent carbon lattice the total curvature \(-2\pi\) implies six excess heptagons, and the defect pattern is governed by a non-Euclidean crystallographic group, specifically a loxodromic subgroup of \(SL(2,\mathbb Z)\) [1511.07672].

Negative curvature also appears in hyperbolic lattices built from regular tessellations \(\{p,q\}\). For polygon area \(A_{\rm poly}\), the curvature is
\[
K=-\frac{\pi}{A_{\rm poly}\left(1-\frac{2}{p}-\frac{2}{q}\right)}.
\]
At fixed \(A_{\rm poly}\), only discrete pairs \((p,q)\) are allowed, so the curvature is “quantized” by the tessellation. On such lattices, Bloch’s theorem fails, but one can still define tight-binding Hamiltonians with pseudospin-dependent gauge phases and realize a non-Euclidean analogue of the quantum spin Hall effect. Hyperbolic edge dominance and quantized curvature lead to generalized Hofstadter butterflies and to topological immunity that is robust only in narrow spectral–magnetic windows in highly curved lattices [2003.07002].

## 5. Scattering geometry and negative Casimir entropy

In Casimir physics, “negative geometries” refers to geometrical configurations in which certain scattering channels contribute to the Casimir free energy so that the associated interaction entropy becomes negative over some temperature range. The Casimir free energy is written in scattering form as
\[
\mathcal F=\frac{k_BT}{2}\sum_{n=-\infty}^{\infty}\mathrm{Tr}\,\ln\!\bigl[1-\mathcal M(|\xi_n|)\bigr],
\qquad
\mathcal S(T)=-\frac{\partial \mathcal F}{\partial T}.
\]
Here \(\mathcal S(T)<0\) is an interaction entropy, not the total thermodynamic entropy, so there is no requirement that it be positive [1507.05891].

The central result is that geometry and dissipation generate negative Casimir entropies through closely analogous mechanisms but in distinct scattering channels. In plane–sphere and sphere–sphere geometries, negative entropies occur even for perfectly reflecting objects because polarization-mixing channels vanish at zero Matsubara frequency. In Drude metals, the transverse electric channel loses its zero-frequency contribution and yields a dissipative negative entropy. In both cases the common structural feature is a scattering channel whose contribution to the free energy is nonzero at \(T=0\) but vanishes in the high-temperature limit [1507.05891].

The paper disentangles these mechanisms channel by channel in the sphere–sphere geometry. The TM contribution remains positive; the TE channel gives the dissipative negative dip for Drude metals; and the polarization-mixing channel gives the geometric negative dip even for perfect conductors. Beyond the Rayleigh limit, TE scattering becomes comparable to TM scattering, and negative Casimir entropies can then occur for Drude-type metals at large distances provided the dissipation strength is sufficiently small [1507.05891].

## 6. Holographic negative volume geometries

In holography, the phrase has been used for spacetimes in which the vacuum-subtracted maximal spatial volume—the Complexity=Volume candidate for complexity of formation—becomes negative. The proposal is
\[
\mathcal C_V(\ket{\psi(\tau)})=\max_\Sigma \frac{\mathrm{Vol}[\Sigma]}{G_NL},
\qquad
\mathcal C_F(\ket{\psi})=\mathcal C_V(\ket{\psi})-\mathcal C_V(\ket{0}).
\]
Earlier positivity results required asymptotically AdS\(_{d+1}\) boundary conditions and a weak curvature condition. The paper shows that once compact directions are included, both of the natural volume prescriptions can have arbitrarily negative complexity of formation in asymptotically AdS\(_4\times S^7\) supergravity [2111.14897].

The mechanism is geometrical. In the four-dimensional truncation one has an Einstein–scalar theory with a tachyonic scalar above the BF bound, while in eleven dimensions the uplift restores good energy conditions but destroys asymptotically AdS\(_{11}\) behavior. The full spacetime is asymptotically AdS\(_4\times S^7\), not asymptotically AdS\(_{11}\), so the hyperbolic comparison arguments behind \(\mathcal C_F\ge0\) no longer apply. Explicit one-sided and two-sided solutions then exhibit vacuum-subtracted maximal volumes that are negative and, in some families, unbounded below [2111.14897].

The same work also finds time-dependent examples in which complexity decreases at late times, including both single-sided geometries and two-sided wormholes. In particular, it constructs a cosmological wormhole with simultaneously negative and decreasing complexity of formation as computed by volume. The paper emphasizes a distinguished role for relevant primaries in these constructions and notes that identifying \(\mathcal C_F\) with an absolute distance from a reference state would conflict with the basic properties expected of a complexity measure [2111.14897].

Source: https://www.emergentmind.com/topics/negative-geometries