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.

On Some Domains of Convergence of Branched Continued Fraction Expansions of the Ratios of Horn Hypergeometric Functions H4

On Convergents of Proper Continued Fractions

On the Analytic Extension of Lauricella–Saran's Hypergeometric Function FK to Symmetric Domains

A survey of the Hornich-Hlawka inequality

On the Analytic Continuation of Appell's Hypergeometric Function F2 to Some Symmetric Domains in the Space C2

On the limiting Horn inequalities

Harmonic Forms, Price Inequalities, and Benjamini-Schramm Convergence

A study on Horn matrix functions and its confluent cases

Domains of Dirichlet Forms and Effective Resistance Estimates on P.c.f. Fractals

Lattice Paths and Branched Continued Fractions: An Infinite Sequence of Generalizations of the Stieltjes–Rogers and Thron–Rogers Polynomials, with Coefficientwise Hankel-Total Positivity

On bounds for ratios of contiguous hypergeometric functions

Fractional operators on the bounded symmetric domains of the Bergman spaces

Composition Operators On De Branges-rovnyak Spaces Associated To A Rational (Not Inner) Function

A note on Rational Functions with three branching points on the Riemann sphere

Laurent Expansion and -Boundary Values in Hermitian Clifford Analysis

Rational approximations, multidimensional continued fractions and lattice reduction

Discrete Conformal Geometry of Polyhedral Surfaces and Its Convergence

Properties of a subclass of analytic functions defined by Riemann-Liouville fractional integral applied to convolution product of multiplier transformation and Ruscheweyh derivative

Transcendence and normality of complex numbers via Hurwitz continued fractions

The bisequence of approximation coefficients for Gauss-like and Renyi-like maps on the interval

On the factorial case of Huneke's conjecture for local cohomology modules