---
title: Analogue Transverse First Law
url: https://www.emergentmind.com/topics/analogue-transverse-first-law
type: topic
---

# Analogue Transverse First Law

The expression **analogue transverse first law** denotes a family of first-law-like relations formulated outside the standard setting of stationary black-hole mechanics. In the most explicit use represented here, it is a **codimension-two, quasi-local balance law** attached directly to an individual closed marginally trapped surface (MTS), where the Hawking energy plays the role of internal energy, an invariant effective surface gravity controls the thermal term, and the variation is taken in a transverse null direction rather than along a preferred horizon worldtube [2603.11422]. Closely related literature uses the same motif more broadly: extra transverse or boundary charges can modify first-law structures in Lorentz-violating gravity, Weyl-transverse gravity admits a Noether-charge derivation of black-hole and causal-diamond first laws, localized quantum-field processes satisfy a first-law statement only in a restricted moment sense, and thermodynamic no-go arguments rule out steady transverse vacuum thrust in magnetoelectric media [2606.27437].

## 1. Conceptual scope and defining features

In its strictest sense, the analogue transverse first law is a **deformation identity on a codimension-two surface** rather than a phase-space law comparing neighboring stationary solutions. The relevant variation is the ingoing-null derivative
\[
\delta \equiv l^{-\alpha}\nabla_\alpha,
\]
so the law is attached to a single surface and probes how its quasi-local energy changes under a transverse null deformation [2603.11422].

This distinguishes the construction from the classical first law for stationary Kerr–Newman black holes,
\[
\delta M=\frac{\kappa}{8\pi}\,\delta A+\Omega_H\,\delta J+\Phi_H\,\delta Q,
\]
which is an equilibrium relation between neighboring stationary solutions with global conserved charges. The transverse formulation instead uses only intrinsic and normal data of a closed spacelike two-surface and does not require a preferred horizon history [2603.11422].

A broader reading, which is interpretive rather than terminological, is that “transverse first law” names a recurring structure in which first-law-like balances are controlled by quasi-local, null-boundary, or localized spacetime data. This suggests a unifying theme across otherwise distinct settings: codimension-two black-hole geometry, Weyl-transverse symmetry, asymptotic aether alignment, null-boundary charges in holographic complexity, and spacetime-localized thermodynamics in quantum field theory [2204.08245].

## 2. Closed marginally trapped surfaces and the codimension-two law

The central explicit formulation is developed for a **closed spacelike codimension-two surface** \(\mathcal S\) embedded in a four-dimensional, causally orientable spacetime \((\mathcal V,g)\) with signature \(\{-,+,+,+\}\). With tangent vectors
\[
\vec e_A = e^\mu_A \frac{\partial}{\partial x^\mu}\Big|_{\mathcal S}
= \frac{\partial \Phi^\mu}{\partial \lambda^A}\frac{\partial}{\partial x^\mu}\Big|_{\mathcal S},
\]
the induced metric is
\[
\gamma_{AB}=g_{\mu\nu}\Big|_{\mathcal S}\frac{\partial \Phi^\mu}{\partial \lambda^A}\frac{\partial \Phi^\nu}{\partial \lambda^B}.
\]
Two future-directed null normals \(l^\pm_\mu\) satisfy
\[
l^\pm_\mu e^\mu_A=0,\qquad l^\pm_\mu l^{\pm\mu}=0,\qquad l^+_\mu l^{-\mu}=-1.
\]
The null second fundamental forms \(K^\pm_{AB}\) have traces \(\theta^\pm\), the outgoing and ingoing null expansions [2603.11422].

A **future marginally trapped surface** is characterized by
\[
\{\theta^+=0,\ \theta^-\le 0\}.
\]
The mean curvature vector is
\[
H^\mu = -\theta^- l^{+\mu}-\theta^+ l^{-\mu},
\]
and the dual expansion vector is
\[
\ast H^{\mu}= -\theta^- l^{+\mu} +\theta^+ l^{-\mu}.
\]
On an MTS, \(\ast H^\mu\) becomes null and coincides with \(H^\mu\) [2603.11422].

The internal energy is taken to be the **Hawking energy**
\[
E=\frac{R}{16 \pi} \oint_{\mathcal S} \ast \left(^{(2)}\mathcal R + \frac{g(\ast H,\ast H)}{2}\right),
\]
with areal radius
\[
R =\sqrt{ A/(4 \pi)}.
\]
The associated “energy concentration” is
\[
\Psi\equiv \frac{E}{R}= \frac{1}{16 \pi} \oint_{\mathcal S} \ast \left(^{(2)}\mathcal R +\frac{g(\ast H,\ast H)}{2}\right).
\]
On a future MTS, because \(\theta^+=0\) and \(g(\ast H,\ast H)=0\),
\[
\Psi\big|_{MTS} = \frac{1}{16\pi} \oint_{MTS} * {}^{(2)}\mathcal R = \frac{\chi(MTS)}{4} = \frac{1 - g}{2}.
\]
The dependence on the Euler characteristic shows that topology enters directly into the energy concentration [2603.11422].

The resulting balance law is
\[
\delta E\stackrel{MTS}{=} \frac{\overline{\kappa}}{8 \pi}\delta A + R\delta\Psi + \overline{\omega}\,\delta V,
\]
or equivalently
\[
\boxed{\delta E\stackrel{MTS}{=} \delta Q_- + \delta W_-},
\]
with
\[
\boxed{\delta W_- \equiv \overline{\omega}\,\delta V},
\qquad
\boxed{\delta Q_- \equiv \frac{\overline{\kappa}}{8 \pi}\delta A + R\delta\Psi}.
\]
The law is therefore explicitly split into a **generalized heat contribution** and a **total work contribution** [2603.11422].

## 3. Effective surface gravity, work densities, and thermal interpretation

A central ingredient is the **effective surface gravity**
\[
\kappa\equiv -\sqrt{\frac{A(\mathcal S_{MTS})}{16\pi}\  l^{-\alpha}\nabla_\alpha \theta^+\big|_{MTS}},
\]
with mean value
\[
\overline{\kappa}\equiv\frac{1}{A} \oint_{\mathcal S} \ast\ \kappa.
\]
The construction is described as geometrically invariant and independent of the normalization or parametrization of \(l^\pm\), once a surrounding family of surfaces has been chosen [2603.11422].

The work term is built from both matter and geometry. The auxiliary tangent vector
\[
\zeta^\alpha=-\gamma^{\alpha\beta} l^{-\nu} \nabla_\nu l^+_\beta
\]
enters the null variation identity
\[
l^{-\alpha} \nabla_\alpha \theta^+ = - \,^{(2)}\mathcal{R}/2 + |\zeta|^2 - D_i \zeta^i + 8\pi T_{\mu\nu} l^{+\mu} l^{-\nu}.
\]
After removing the divergence term on a closed MTS, one obtains
\[
\mathcal{W}
= \frac{1}{8\pi}\oint_{\mathcal S}\ast\,|\zeta|^2
+\oint_{\mathcal S}\ast\,T_{\mu\nu}l^{+\mu}l^{-\nu}
= A(\overline\omega_g+\overline\omega_m)=A\overline\omega,
\]
where
\[
\omega_m = T_{\mu \nu} l^{+\mu} l^{-\nu},\qquad
\omega_g =\frac{|\zeta|^2}{8 \pi},\qquad
\omega = \omega_m+\omega_g.
\]
The work sector is thus intrinsically split into a **matter work density** and a **geometric work density** [2603.11422].

The heat term admits a second, explicitly thermodynamic rewriting:
\[
\delta\Psi\Big|_{MTS} = -\frac{1}{8\pi R}\int_{MTS} {}^\ast\big(\kappa\,\theta_-\big),
\]
so that
\[
\boxed{ \delta Q_- = \frac{1}{8\pi}\int_{MTS}{}^\ast\Big[\theta_-(\overline\kappa-\kappa)\Big]. }
\]
With the local temperature assignments
\[
T\equiv\frac{\kappa}{2 \pi},\qquad \overline T\equiv\frac{\overline\kappa}{2\pi},
\]
the generalized heat exchange becomes
\[
\boxed{ \delta Q_- = \int_{MTS}(\overline T - T)\,\delta s }.
\]
The paper interprets this as the behavior of a **spatially extended, non-isothermal thermodynamic medium**, where the heat term measures entropy-weighted temperature inhomogeneity over the marginally trapped surface [2603.11422].

The law is explicitly **not** an Iyer–Wald phase-space first law. It depends on a chosen transverse foliation \(\mathcal S(t)\), and the interpretation of \(T=\kappa/(2\pi)\) is stated to be physically meaningful only in slowly varying or near-equilibrium settings [2603.11422].

## 4. Spherical symmetry, semiclassical regimes, and Kerr surfaces

For round spheres in spherically symmetric spacetimes, the framework reproduces familiar results. In advanced Eddington–Finkelstein coordinates,
\[
ds^2=-e^{2 \beta} \left( 1-\frac{2 m}{r}\right) du^2+2 e^{\beta} du dr+ r^2 (d\vartheta^2+\sin^2\vartheta d\varphi^2),
\]
the outgoing expansion is
\[
\theta^+= \frac{e^{ \beta}}{r} \left( 1-\frac{2 m}{r}\right),
\]
so \(r=2m\) is a marginally trapped surface. For round spheres,
\[
{}^{(2)}R = \frac{2}{r^2},\qquad
\theta_{+}\theta_{-} = -\frac{2}{r^2} \left( 1 - \frac{2m}{r} \right),\qquad
\Psi = \frac{m(u,r)}{r},
\]
and therefore
\[
E = R\Psi = m,
\]
so the Hawking energy reduces to the Misner–Sharp mass [2603.11422].

On the apparent horizon,
\[
\kappa= \left.\frac{1-2 m' }{4 m}\right|_{A3H},
\qquad
T=\left.\frac{1-2 m' }{8 \pi m}\right|_{A3H},
\]
and in spherical symmetry \(\overline\kappa=\kappa\). Moreover,
\[
\zeta=0 \quad\Rightarrow\quad \omega_g=0,
\]
so the work sector is purely matter work [2603.11422].

The semiclassical applications separate equilibrium and evaporation. In the equilibrium regime, with a Schwarzschild-like black hole in a reflecting cavity and the Hartle–Hawking vacuum \(|H\rangle\), regularity implies
\[
p_r=-\rho,
\]
and therefore
\[
\omega_m=\frac{1}{2}(\rho-p_r)=\rho,
\qquad
\delta W_- = \rho\,\delta V = -p_r\,\delta V.
\]
Spherical symmetry implies
\[
\delta Q_- = 0,
\]
so the balance reduces to
\[
\delta E = \rho\,\delta V.
\]
In the evaporating regime, using the Unruh vacuum \(|U\rangle\), the contraction
\[
\omega_m = \langle T_{\mu\nu}\rangle l^{+\mu}l^{-\nu}
\]
remains well defined, and again symmetry gives
\[
\delta Q_- = 0.
\]
The paper emphasizes that the transverse law depends on \(T_{\mu\nu}l_+^\mu l_-^\nu\), rather than on the divergent outgoing flux \(T_{\mu\nu}l_+^\mu l_+^\nu\), so it bypasses problematic longitudinal evaporation fluxes [2603.11422].

The non-spherical Kerr analysis shows that the framework is not tied to spherical symmetry. The marginally trapped surfaces occur at
\[
\Delta=0,\qquad
r_{\pm}=M\pm \sqrt{M^2-a^2}.
\]
The effective surface gravity depends on latitude, and the twist term no longer vanishes:
\[
\omega_g\neq 0,\qquad \overline\omega_g\neq 0.
\]
Rotation therefore opens a genuinely **geometric work channel**. The dual expansion vector determines privileged observers with angular velocity
\[
\Omega_{\rm pr}=\frac{2aMr}{\Theta^2},
\]
and on the outer MTS,
\[
\Omega_{\rm pr}\big|_{r_+}=\frac{a}{r_+^2+a^2}=\Omega_H.
\]
This aligns the quasi-local construction with the usual corotating horizon picture at the marginally trapped surface [2603.11422].

## 5. Gravitational generalizations: Weyl-transverse gravity and Einstein–aether theory

A closely related development appears in **Weyl transverse gravity** (WTG), a theory invariant under Weyl transformations and transverse diffeomorphisms. In this setting, the Noether-charge formalism yields the black-hole first law, the causal-diamond first law, and variable-\(\Lambda\) thermodynamic relations. The vacuum action simplifies to
\[
S_{\text{WTG}}=\frac{1}{16\pi}\int_V \tilde R\,\omega\, d^nx,
\]
and the Noether charge tensor for transverse diffeomorphisms is
\[
Q^{\nu\mu}_\xi = \frac{1}{8\pi} \left(\sqrt{-\mathfrak g/\omega}\right)^{2/n} \tilde\nabla^{[\nu}\xi^{\mu]}.
\]
The Hamiltonian variation contains a bulk term proportional to \(\delta\Lambda\),
\[
\delta H_\xi
= \int_{\partial\mathcal C} \left(\delta Q^{\nu\mu}_\xi - 2\xi^\nu\theta^\mu[\delta]\right)d\mathcal C_{\mu\nu}
- \int_{\mathcal C}\frac{1}{8\pi}\delta\Lambda\,\xi^\mu d\mathcal C_\mu,
\]
which the paper identifies as a structural difference from general relativity. In unimodular gauge, the Schwarzschild–AdS first law takes the black-hole-chemistry form
\[
\delta M = T_H\delta S + V_{\text{th}}\delta p_\Lambda,
\]
with
\[
p_\Lambda=-\frac{\Lambda}{8\pi}, \qquad V_{\text{th}}=\frac{4\pi}{3}r_{\mathcal H}^3.
\]
The same work derives the first law of causal diamonds in vacuum and interprets the whole construction as an analogue transverse first law because the thermodynamic structure is reproduced in a framework based on WTDiff rather than full Diff invariance [2204.08245].

In **Einstein–aether theory**, the static, spherically symmetric, asymptotically AdS sector with \(c_{14}=0\) exhibits an additional term in the universal-horizon first law whenever the aether is misaligned with the timelike Killing vector at infinity. The paper identifies this term as the boundary manifestation of a previously unnoticed symmetry of the reduced action,
\[
u_a \mapsto u_a + f a_a,\qquad g_{ab}\mapsto g_{ab},
\]
where the parameter \(f\) obeys the elliptic constraint
\[
\nabla_a(f a^a)=0.
\]
The associated current is
\[
J_f^a=-2c_{123}\,\vartheta\,f\,a^a,
\]
with charge
\[
Q_f=\int_\Sigma n_a J_f^a\,\mathrm{vol}_\Sigma.
\]
Although \(Q_f=0\) on a hypersurface orthogonal to the aether, the physically relevant effect is a flux across a timelike boundary. The aligned limit
\[
\ell_s\to\infty
\]
is precisely the limit in which the aether-charge flux vanishes, recovering the clean first law
\[
\delta M=\frac{\kappa}{8\pi G_\ae}\delta A+\frac{\mathcal{V}}{8\pi G_\ae}\delta\Lambda.
\]
The paper describes this as the Einstein–aether analogue of the transverse first-law mechanism previously identified in Hořava–Lifshitz gravity: asymptotic alignment corresponds to the ensemble in which the extra aether-charge contribution is frozen to zero [2606.27437].

## 6. Field-theoretic analogues, holographic extensions, and limiting results

In **quantum field thermodynamics**, a first-law-like statement can be formulated for spacetime-localized unitary processes on a free scalar field. The general unitary is
\[
\hat{U}=\mathcal{T} \exp \left( -i \int_{\mathbb{R}} dt \int_{\mathbb{R}^n}\!d^n \bm{x} \,\hat{O}(t, \boldsymbol{x})\right),
\]
and a specialized family uses a switching function \(\chi(t)\) and spatial smearing \(F(\bm x)\). The paper identifies three QFT-compatible work distributions—Ramsey scheme, ATMH, and FCS—and proves that for ATMH and FCS,
\[
\langle{W_{atmh}^j}\rangle
=\langle{(\Delta\mathcal U)^j}\rangle
=\langle{W_{fcs}^j}\rangle
\quad \text{for } j=1,2.
\]
Thus the first law holds **up to second moments**. The same framework satisfies Crooks theorem and Jarzynski equality for KMS states. Because the thermodynamic quantities depend explicitly on the spacetime profile \(\chi(t)F(\bm x)\), the paper presents a localized, spacetime-resolved first-law statement rather than a finite-dimensional quench analogue [2008.09146].

In holography, the **first law of holographic complexity** in the complexity=action proposal is formulated through the variation of the Wheeler–DeWitt action,
\[
\mathcal{C}_A(\Sigma)=\frac{I_{\rm WdW}}{\pi},
\qquad
\delta \mathcal{C}_A=\frac{1}{\pi}\Big(\delta I_{\rm WdW}+I_{\delta{\rm WdW}}\Big).
\]
The resulting expression is written as a linear functional of perturbations with coefficients tied to null-boundary geometric data and conserved charges. The paper states that this structure is “reminiscent of the first law of thermodynamics,” and in examples the relevant coefficients encode mass/energy and angular momentum. This is not a transverse first law in the codimension-two MTS sense, but it is an explicit first-law-like response formula organized by null-boundary charges [1912.10436].

Several papers also delineate **limits** on how far transverse first-law reasoning can be pushed. In magnetoelectric media, the claim that the quantum vacuum could exert a permanent transverse thrust—the steady Feigel effect—is shown to be incompatible with both thermodynamics and properly treated boundary conditions. In a realistic finite geometry, the averaged boundary stresses satisfy
\[
\overline{\bf f}_{12} = \frac{T_0}{L},\qquad
\overline{\bf f}_{21} = -\frac{T_0}{L},
\]
so
\[
{\bf f}_{\rm vac} ={\bf 0}.
\]
The paper argues that any **steady** vacuum-driven circulation or torque would allow work extraction from the quantum vacuum in a closed cycle with no compensating input, violating the first law. Only **unsteady** effects, with time-dependent susceptibilities or accelerated media, remain compatible with QED and thermodynamics. In the paper’s own summary, the broader implication is that “steady transverse vacuum thrust is forbidden; only driven, nonsteady analogue effects are physically consistent” [1304.3338].

A different limitation appears in the critical transverse-field Ising chain. There, in a basis common to all one-site shift-invariant conserved charges, no eigenstate of a noninteracting local spin-\(\frac12\) chain with half-integer central charge satisfies the area law. For the critical Ising class, the paper concludes that there are **no excited states satisfying the area law**, and that every quasilocal one-site shift-invariant conserved operator is gapless. The authors explicitly connect this to an “analogue transverse first law” perspective in a negative or limiting sense: any first-law-like description relying on locally distinct area-law eigenstates is ruled out in the critical Ising case because the relevant eigenstates are intrinsically gapless and logarithmically entangled [2303.09525].

Taken together, these results indicate that the analogue transverse first law is best understood not as a single universally fixed formula, but as a research program centered on **quasi-local or boundary-supported thermodynamic balance laws**. Its clearest realization is the codimension-two law for marginally trapped surfaces; its closest analogues arise where extra null, transverse, or asymptotic charges modify first-law structures; and its most important caveat is that any purported steady transverse extraction mechanism must survive both full boundary accounting and ordinary energy balance [2603.11422].

Source: https://www.emergentmind.com/topics/analogue-transverse-first-law