ترغب بنشر مسار تعليمي؟ اضغط هنا

Multiply positive functions, critical exponent phenomena, and the Jain-Karlin-Schoenberg kernel

79   0   0.0 ( 0 )
 نشر من قبل Apoorva Khare
 تاريخ النشر 2020
  مجال البحث
والبحث باللغة English
 تأليف Apoorva Khare




اسأل ChatGPT حول البحث

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 $pgeq 2$ (denoted TN$_p$); both authors showed this happens for $alphageq 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 non-integer $alphain(0,p-2)$. In particular, these results reveal critical exponent phenomena in total positivity. We also prove the converse to a 1968 result of Karlin, revealing yet another critical exponent phenomenon - for Laplace transforms of all Polya Frequency (PF) functions. 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 (in press), from positive matrices to Hankel TN$_p$ kernels. Another application constructs individual matrices encoding the Loewner convex powers. This complements Jains results (2020) for Loewner positivity, which we strengthen to total positivity. Remarkably, these (strengthened) results of Jain, those of Schoenberg and Karlin, the latters converse, and the above Hankel kernels all arise from a single symmetric rank-two kernel and its powers: $max(1+xy,0)$. We also provide a novel characterization of PF functions and sequences of order $pgeq 3$, following Schoenbergs 1951 result for $p=2$. We correct a small gap in his paper, in the classification of discontinuous PF functions.



قيم البحث

اقرأ أيضاً

The composition operators preserving total non-negativity and total positivity for various classes of kernels are classified, following three themes. Letting a function act by post composition on kernels with arbitrary domains, it is shown that such a composition operator maps the set of totally non-negative kernels to itself if and only if the function is constant or linear, or just linear if it preserves total positivity. Symmetric kernels are also discussed, with a similar outcome. These classification results are a byproduct of two matrix-completion results and the second theme: an extension of A.M. Whitneys density theorem from finite domains to subsets of the real line. This extension is derived via a discrete convolution with modulated Gaussian kernels. The third theme consists of analyzing, with tools from harmonic analysis, the preservers of several families of totally non-negative and totally positive kernels with additional structure: continuous Hankel kernels on an interval, Polya frequency functions, and Polya frequency sequences. The rigid structure of post-composition transforms of totally positive kernels acting on infinite sets is obtained by combining several specialized situations settled in our present and earlier works.
We prove that the only entrywise transforms of rectangular matrices which preserve total positivity or total non-negativity are either constant or linear. This follows from an extended classification of preservers of these two properties for matrices of fixed dimension. We also prove that the same assertions hold upon working only with symmetric matrices; for total-positivity preservers our proofs proceed through solving two totally positive completion problems.
Entrywise powers of matrices have been well-studied in the literature, and have recently received renewed attention in the regularization of high-dimensional correlation matrices. In this paper, we study powers of positive semidefinite block matrices $(H_{st})_{s,t=1}^n$ with complex entries. We first characterize the powers $alphainmathbb{R}$ such that the blockwise power map $(H_{st}) mapsto (H_{st}^alpha)$ preserves Loewner positivity. The characterization is obtained by exploiting connections with the theory of matrix monotone functions developed by Loewner. Second, we revisit previous work by Choudhury [Proc. AMS 108] who had provided a lower bound on $alpha$ for preserving positivity when the blocks $H_{st}$ pairwise commute. We completely settle this problem by characterizing the full set of powers preserving positivity in this setting. Our characterizations generalize previous work by FitzGerald-Horn, Bhatia-Elsner, and Hiai from scalars to arbitrary block size, and in particular, generalize the Schur Product Theorem. Finally, a natural and unifying framework for studying the case of diagonalizable blocks consists of replacing real powers by general characters of the complex plane. We thus classify such characters, and generalize our results to this more general setting. In the course of our work, given $betainmathbb{Z}$, we provide lower and upper bounds for the threshold power $alpha >0$ above which the complex characters $re^{itheta}mapsto r^alpha e^{ibetatheta}$ preserve positivity when applied entrywise to positive semidefinite matrices. In particular, we completely resolve the $n=3$ case of a question raised in 2001 by Xingzhi Zhan. As an application, we extend previous work by de Pillis [Duke Math. J. 36] by classifying the characters $K$ of the complex plane for which the map $(H_{st})_{s,t=1}^n mapsto (K({rm tr}(H_{st})))_{s,t=1}^n$ preserves positivity.
We prove the exponential law $mathcal A(E times F, G) cong mathcal A(E,mathcal A(F,G))$ (bornological isomorphism) for the following classes $mathcal A$ of test functions: $mathcal B$ (globally bounded derivatives), $W^{infty,p}$ (globally $p$-integr able derivatives), $mathcal S$ (Schwartz space), $mathcal D$ (compact sport, $mathcal B^{[M]}$ (globally Denjoy_Carleman), $W^{[M],p}$ (Sobolev_Denjoy_Carleman), $mathcal S_{[L]}^{[M]}$ (Gelfand_Shilov), and $mathcal D^{[M]}$. Here $E, F, G$ are convenient vector spaces (finite dimensional in the cases of $W^{infty,p}$, $mathcal D$, $W^{[M],p}$, and $mathcal D^{[M]})$, and $M=(M_k)$ is a weakly log-convex weight sequence of moderate growth. As application we give a new simple proof of the fact that the groups of diffeomorphisms $operatorname{Diff} mathcal B$, $operatorname{Diff} W^{infty,p}$, $operatorname{Diff} mathcal S$, and $operatorname{Diff}mathcal D$ are $C^infty$ Lie groups, and $operatorname{Diff} mathcal B^{{M}}$, $operatorname{Diff}W^{{M},p}$, $operatorname{Diff} mathcal S_{{L}}^{{M}}$, and $operatorname{Diff}mathcal D^{[M]}$, for non-quasianalytic $M$, are $C^{{M}}$ Lie groups, where $operatorname{Diff}mathcal A = {operatorname{Id} +f : f in mathcal A(mathbb R^n,mathbb R^n), inf_{x in mathbb R^n} det(mathbb I_n+ df(x))>0}$. We also discuss stability under composition.
270 - L. Golinskii , V. Kadets 2020
In 2000 V. Lomonosov suggested a counterexample to the complex version of the Bishop-Phelps theorem on modulus support functionals. We discuss the $c_0$-analog of that example and demonstrate that the set of sup-attaining functionals is non-trivial, thus answering an open question, asked in cite{KLMW}.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا