Reader summary
PTG VI builds a single scalar functional, the transport entropy, by weighting the three quasi-local invariants from PTG V. The entropy is non-negative, finite on every transported hypersurface before the focusing parameter, and monotone non-decreasing along the congruence. The monotonicity comes directly from the focusing inequality. As you approach the horizon, the entropy tends to a finite limit, and this limit is stable under perturbations of the generator. This is the analytical foundation for the membrane evolution equation in PTG VII.
Abstract
We introduce a transport entropy functional associated with transport horizons in Phase Transport Geometry. The entropy is constructed from the quasi-local invariants developed in Phase Transport Geometry V and is defined on transported hypersurfaces approaching the horizon. We prove that the entropy is well-defined, non-negative, and monotone non-decreasing along admissible transport congruences. The monotonicity is derived from the focusing inequality and the structural properties of the quasi-local invariants. These results provide the analytical foundation for the membrane evolution equation developed in Phase Transport Geometry VII.
Falsifiable predictions
- 01Transport entropy is monotone non-decreasing along any admissible transport congruence, in direct analogue to the area theorem for black hole horizons.
- 02The horizon-limit entropy is finite and stable under admissible perturbations of the transport generator.
- 03Entropy non-decrease follows directly from the focusing inequality, without invoking any thermodynamic or statistical assumptions.
Full paper
Introduction
PTG V introduced three quasi-local invariants associated with transport horizons: a transverse area invariant A, a capacity-weighted invariant C, and a curvature-type invariant K. The purpose of this paper is to combine these into a single scalar functional, the transport entropy, and establish its monotonicity along transported hypersurfaces.
The main results are: definition of a transport entropy functional; well-definedness and non-negativity; a monotonicity theorem derived from the focusing inequality; and stability under perturbations.
Preliminaries
Let <<S_{\}>>
