Related papers: Inequalities Concerning Maximum Modulus and Zeros …
De Bruijn and Newman introduced a deformation of the completed Riemann zeta function $\zeta$, and proved there is a real constant $\Lambda$ which encodes the movement of the nontrivial zeros of $\zeta$ under the deformation. The Riemann…
The logarithmic coefficients $\gamma_n$ of an analytic and univalent function $f$ in the unit disk $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$ with the normalization $f(0)=0=f'(0)-1$ is defined by $\log \frac{f(z)}{z}= 2\sum_{n=1}^{\infty}…
Let $X$ be a real-valued random variable with distribution function $F$. Set $X_1,\dots, X_m$ to be independent copies of $X$ and let $F_m$ be the corresponding empirical distribution function. We show that there are absolute constants…
A function $\rho:[0,\infty)\to(0,1]$ is a completely monotonic function if and only if $\rho(\Vert\mathbf{x}\Vert^2)$ is positive definite on $\mathbb{R}^d$ for all $d$ and thus it represents the correlation function of a weakly stationary…
We introduce a theory of probability in $\lambda$-rings designed to efficiently describe random variables valued in multisets of complex numbers, varieties over a field, or other similar enriched settings. A key role is played by the…
Let $(B,\|\cdot\|)$ be a Banach space, $(\Omega,\mathcal{F},P)$ a probability space and $L^0(\mathcal{F},B)$ the set of equivalence classes of strong random elements (or strongly measurable functions) from $(\Omega,\mathcal{F},P)$ to…
The Landau function $g(n)$ is the maximal order of an element of the symmetric group of degree $n$; it is also the largest product of powers of primes whose sum is $\le n$. The main result of this article is that the property " For all $n >…
A class of functions involving the divided differences of the psi function and the polygamma functions and originating from Kershaw's double inequality are proved to be completely monotonic. As applications of these results, the…
Let $2 \leq y \leq x$ such that $\beta := \frac{\log x}{\log y} \rightarrow \infty$. Let $\omega_y(n)$ denote the number of distinct prime factors $p$ of $n$ such that $p \leq y$, and let $\mu_y(n) := \mu^2(n)(-1)^{\omega_y(n)}$, where…
In the paper, necessary and sufficient conditions are presented for a function involving a ratio of gamma functions to be logarithmically completely monotonic. This extends and generalizes the main result in [\emph{Inequalities and…
The research problem in this work is the relaxation of maximizing non-negative submodular plus modular with the entire real number domain as its value range over a family of down-closed sets. We seek a feasible point $\mathbf{x}^*$ in the…
The free convolution is the binary operation on the set of probability measures on the real line which allows to deduce, from the individual spectral distributions, the spectral distribution of a sum of independent unitarily invariant…
In this paper, the logarithmically complete monotonicity property for a functions involving $q$-gamma function is investigated for $q\in(0,1).$ As applications of this results, some new inequalities for the $q$-gamma function are…
On the flat torus $\mathbb{T}^m=\mathbb{R}^m/\mathbb{Z}^m$ with angular coordinates $\vec{\theta}$ we consider the random function $F_R=\mathfrak{a}\big(\, R^{-1} \sqrt{\Delta}\,\big) W$, where $R>0$, $\Delta$ is the Laplacian on this flat…
The null-function $0(a):=0$, $\forall a\in $N, has Ramanujan expansions: $0(a)=\sum_{q=1}^{\infty}(1/q)c_q(a)$ (where $c_q(a):=$ Ramanujan sum), given by Ramanujan, and $0(a)=\sum_{q=1}^{\infty}(1/\varphi(q))c_q(a)$, given by Hardy…
Let $m$ be a positive integer, and define $$\zeta_m(s)=\sum_{n=1}^\infty\frac{(-e^{2\pi i/m})^{\omega(n)}}{n^s}\ \ \ \ \text{and} \ \ \ \ \zeta^*_m(s)=\sum_{n=1}^\infty\frac{(-e^{2\pi i/m})^{\Omega(n)}}{n^s},$$ for $\Re(s)>1$, where…
Let F be a separable uniformly bounded family of measurable functions on a standard measurable space, and let N_{[]}(F,\epsilon,\mu) be the smallest number of \epsilon-brackets in L^1(\mu) needed to cover F. The following are equivalent: 1.…
Given a function $f \in \omega^\omega$, a set $A \in [\omega]^\omega$ is free for $f$ if $f[A] \cap A$ is finite. For a class of functions $\Gamma \subseteq \omega^{\omega}$, we define $\mathfrak{ros}_\Gamma$ as the smallest size of a…
Using percolation techniques, Gaboriau and Lyons recently proved that every countable, discrete, nonamenable group $\Gamma$ contains measurably the free group $\mathbf F_2$ on two generators: there exists a probability measure-preserving,…
We continue the project of the study of reverse mathematics principles inspired by cardinal invariants. In this article in particular we focus on principles encapsulating the existence of large families of objects that are in some sense…