Abstract:The Horn inequalities characterise the possible spectra of triples of $n$-by-$n$ Hermitian matrices $A+B=C$. We study integral inequalities that arise as limits of Horn inequalities as $n \to \infty$. These inequalities are parametrised by the points of an infinite-dimensional convex body, the asymptotic Horn system $\mathscr{H}$, which can be regarded as a topological closure of the countable set of Horn inequalities for all finite $n$. We prove three main results. The first shows that arbitrary points of $\mathscr{H}$ can be well approximated by specific sets of finite-dimensional Horn inequalities. The second is a quantitative result on the redundancy of the Horn inequalities in an infinite-dimensional setting. Concretely, the Horn inequalities for finite $n$ are indexed by certain sets $T^n_r$ with $1 \le r \le n-1$; we show that if $(n_k)_{k \ge 1}$ and $(r_k)_{k \ge 1}$ are any sequences such that $(r_k / n_k)_{k \ge 1}$ is a dense subset of $(0,1)$, then the Horn inequalities indexed by the sets $T^{n_k}_{r_k}$ are sufficient to imply all of the others. Our third main result shows that $\mathscr{H}$ has a remarkable self-characterisation property. Namely, membership in $\mathscr{H}$ is determined by the very inequalities corresponding to the points of $\mathscr{H}$ itself. To illuminate this phenomenon, we sketch a general theory of sets that characterise themselves in the sense that they parametrise their own membership criteria, and we consider the question of what further information would be needed in order for this self-characterisation property to determine the Horn inequalities uniquely.

Horn maps of semi-parabolic Hénon maps

Holomorphic Maps from Sasakian Manifolds into Kähler Manifolds

The symplectic and algebraic geometry of Horn's problem

A symplectic proof of the Horn inequalities

On the limiting Horn inequalities

Hölder continuity and laminarity of the Green currents for Hénon-like maps

Hypergraph Horn Functions

Zoology in the Hénon family: twin babies and Milnor's swallows

On the Continuity of Schur-Horn Mapping

Mapped Hermite Functions and their applications to two-dimensional weakly singular Fredholm-Hammerstein integral equations

Symbolic dynamics for Hénon maps near the boundary of the horseshoe locus

Equidistribution of iterations of holomorphic correspondences and Hutchinson invariant sets

Quasisymmetric Uniformization and Hausdorff Dimensions of Cantor Circle Julia Sets

Generalized Pseudo-Anosov Maps and Hubbard Trees

An Elementary Construction of Modified Hamiltonians and Modified Measures of 2D Kahan Maps

One-dimensional half-harmonic maps into the circle and their degree

The Geometry of Pseudo Harmonic Morphisms

Quasisymmetric maps, shears, lambda lengths and flips

An extension of Ruh-Vilms Theorem for hypersurfaces in symmetric spaces and some applications

Hodge de Rham theory and analytic torsion for spaces with horn type singularities

On the almost h-conformal semi-slant Riemannian maps