We extend recent results by Pisier on$K$-subcouples, i.e. subcouples of an interpolation couple that preserve the$K$-functional (up to constants) and corresponding notions for quotient couples. Examples include interpolation (in the pointwise sense) and a reinterpretation of the Adamyan-Arov-Krein theorem for Hankel operators.

We propose a definition of mass for characteristic hypersurfaces in asymptotically vacuum space-times with non-vanishing cosmological constant Λ ∈ R ∗ , generalising the definition of Trautman and Bondi for Λ = 0. We show that our definition reduces to some standard definitions in several situations. We establish a balance formula linking the characteristic mass and a suitably defined renormalised volume of the null hypersurface, generalising the positivity identity of one of us (PTC) and Paetz proved when Λ = 0.

We give a finite presentation for the braid twist group of a decorated surface. If the decorated surface arises from a triangulated marked surface without punctures, we obtain a finite presentation for the spherical twist group of the associated 3-Calabi–Yau triangulated category. The motivation/application is that the result will be used to show that the (principal component of) space of stability conditions on the 3-Calabi–Yau category is simply connected in the sequel [King and Qiu, Invent. Math., to appear].

Divergence functions are the non-symmetric “distance” on the manifold, Μθ, of parametric probability density functions over a measure space, ( Χ,μ). Classical information geometry prescribes, on Μθ: (i) a Riemannian metric given by the Fisher information; (ii) a pair of dual connections (giving rise to the family of α-connections) that preserve the metric under parallel transport by their joint actions; and (iii) a family of divergence functions ( α-divergence) defined on Μθ x？ Μθ, which induce the metric and the dual connections. Here, we construct an extension of this differential geometric structure from Μθ (that of parametric probability density functions) to the manifold, Μ, of non-parametric functions on X, removing the positivity and normalization constraints. The generalized Fisher information and α-connections on M are induced by an α-parameterized family of divergence functions, reflecting the fundamental convex inequality associated with any smooth and strictly convex function. The infinite-dimensional manifold, M, has zero curvature for all these α-connections; hence, the generally non-zero curvature of M can be interpreted as arising from an embedding of Μθ into Μ. Furthermore, when a parametric model (after a monotonic scaling) forms an affine submanifold, its natural and expectation parameters form biorthogonal coordinates, and such a submanifold is dually flat for α？= ± 1, generalizing the results of Amari’s α-embedding. The present analysis illuminates two different types of duality in information geometry, one concerning the referential status of a point (measurable function) expressed in the divergence function (“referential duality”) and the other concerning its representation under an arbitrary monotone scaling (“representational duality”).

No abstract uploaded!