Related papers: Total positivity of a Cauchy kernel

We consider two decision problems for linear recurrence sequences (LRS) over the integers, namely the Positivity Problem (are all terms of a given LRS positive?) and the Ultimate Positivity Problem} (are all but finitely many terms of a…

The paper studies strictly positive definite kernels on compact Riemannian manifolds. We state new conditions to ensure strict positive definiteness for general kernels and kernels with certain convolutional structure. We also state…

We generalize the positivity conjecture on (Kauffman bracket) skein algebras to Roger--Yang skein algebras. To generalize it, we use explicit polynomials like Chebyshev polynomials of the first kind to give candidates of positive bases.…

We study positive definiteness of kernels $K(x,y)$ on two-point homogeneous spaces. As opposed to the classical case, which has been developed and studied in the existing literature, we allow the kernel to have an (integrable) singularity…

Real algebraic geometry provides certificates for the positivity of polynomials on semi-algebraic sets by expressing them as a suitable combination of sums of squares and the defining inequalitites. We show how Putinar's theorem for…

We establish a sufficient condition for the ultimate positivity of P-recursive sequences of arbitrary order with a unique dominant root. By additionally verifying finitely many initial terms, the positivity can also be resolved. As an…

We provide a characterization for the continuous positive definite kernels on $\mathbb R^d$ that are invariant to linear isometries, i.e. invariant under the orthogonal group $O(d)$. Furthermore, we provide necessary and sufficient…

In this paper, we give a new approach to the theory of strictly positive kernels. Our method is based on the structure of Fock spaces. As its applications, various examples of strictly positive kernels are given. Moreover, we give a new…

Complete monotonicity is a strong positivity property for real-valued functions on convex cones. It is certified by the kernel of the inverse Laplace transform. We study this for negative powers of hyperbolic polynomials. Here the…

We consider the decidability and complexity of the Ultimate Positivity Problem, which asks whether all but finitely many terms of a given rational linear recurrence sequence (LRS) are positive. Using lower bounds in Diophantine…

In this paper, we consider matrices whose entries are combinatorial sequences which can be expressed in terms of a convolution of elementary and complete homogeneous symmetric functions. We establish the total positivity of these matrices…

In relation with experiments on correlated kaons at phi-factories, it is shown that the request of complete positivity is necessary in any physically consistent description of neutral kaons as open quantum systems.

Let G be a simple and simply-connected complex algebraic group, and let X \subset G^\vee be the centralizer subgroup of a principal nilpotent element. Ginzburg and Peterson independently related the ring of functions on X with the homology…

We study the positive-definiteness of a family of $L^2(\mathbf{R})$ integral operators with kernel $K_{t, a}(x, y) = (1 + (x - y)^2 + a(x^2 + y^2)^t)^{-1}$, with $t > 0$ and $a > 0$. When $0 < t \le 1$, the known theory of positive-definite…

Log-concavity and almost log-convexity of the cycle index polynomials were proved by Bender and Canfield [J. Combin. Theory Ser. A 74 (1996)]. Schirmacher [J. Combin. Theory Ser. A 85 (1999)] extended them to $q$-log-concavity and almost…

We present a necessary and sufficient condition for a cubic polynomial to be positive for all positive reals. We identify the set where the cubic polynomial is nonnegative but not all positive for all positive reals, and explicitly give the…

We consider two algorithms which can be used for proving positivity of sequences that are defined by a linear recurrence equation with polynomial coefficients (P-finite sequences). Both algorithms have in common that while they do succeed…

The following theorem is proved: Suppose $M = (a_{i,j})$ be a $k \times k$ matrix with positive entries and $a_{i,j}a_{i+1,j+1} > 4\cos ^2 \frac{\pi}{k+1} a_{i,j+1}a_{i+1,j} \quad (1 \leq i \leq k-1, 1 \leq j \leq k-1).$ Then $\det M > 0 .$…

This paper consists of two prongs. Firstly, we prove that any Specht module labelled by a 2-separated partition is semisimple and we completely determine its decomposition as a direct sum of graded simple modules. Secondly, we apply these…

We specify the structure of completely positive operators and quantum Markov semigroup generators that are symmetric with respect to a family of inner products, also providing new information on the order strucure an extreme points in some…