We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Functional Analysis

Title: Critical exponents for total positivity, individual kernel encoders, and the Jain-Karlin-Schoenberg kernel

Authors: Apoorva Khare
Abstract: We prove the converse to a result of Karlin [Trans. AMS 1964], and also strengthen his result and two results of Schoenberg [Ann. of Math. 1955]. One of the latter results concerns zeros of Laplace transforms of multiply positive functions. The other results study which powers $\alpha$ of two specific kernels are totally non-negative of order $p\geq 2$ (denoted TN$_p$); both authors showed this happens for $\alpha\geq p-2$, and Schoenberg proved that it does not for $\alpha<p-2$. We show more strongly that for every $p \times p$ submatrix of either kernel, up to a shift, its $\alpha$th power is totally positive of order $p$ (TP$_p$) for every $\alpha > p-2$, and is not TN$_p$ for every $\alpha\in(0,p-2)\setminus\mathbb{Z}$. In particular, these results reveal a 'critical exponent' phenomenon in total positivity. (This exponent $(p-2)$ was first discovered by FitzGerald-Horn in [JMAA 1977] for positivity.) We also provide a characterization for Polya frequency functions of order $p \geq 3$, following Schoenberg's result for $p=2$ in [J. Analyse Math. 1951]. Our proofs are self-contained, with three exceptions.
We further classify the powers preserving all TN$_p$ Hankel kernels on intervals, and isolate individual kernels encoding these powers. We then transfer results on preservers by Polya-Szego (1925), Loewner/Horn (1969), and Khare-Tao (2017), from positive semidefinite matrices to Hankel TN$_p$ kernels. An additional application of the proofs is to construct individual matrices that encode the Loewner convex powers. This complements Jain's results (2020) for Loewner positivity, which we strengthen to total positivity, with self-contained proofs. Remarkably, these (strengthened) results of Jain, those of Schoenberg and Karlin, the latter's converse, and the aforementioned individual Hankel kernels all arise from a single symmetric rank-two kernel and its powers: $\max(1+xy,0)$.
Comments: 22 pages, no figures; plus 4-page Appendix for self-completeness
Subjects: Functional Analysis (math.FA); Classical Analysis and ODEs (math.CA); Rings and Algebras (math.RA)
MSC classes: 15B48 (primary), 15A15, 39B62, 42A82, 47A63, 47B34, 47B35 (secondary)
Cite as: arXiv:2008.05121 [math.FA]
  (or arXiv:2008.05121v1 [math.FA] for this version)

Submission history

From: Apoorva Khare [view email]
[v1] Wed, 12 Aug 2020 06:02:13 GMT (40kb)
[v2] Mon, 12 Apr 2021 17:46:56 GMT (47kb)

Link back to: arXiv, form interface, contact.