Related papers: Orderings on measures induced by higher-order mono…

This paper obtains a completeness result for inequational reasoning with applicative terms without variables in a setting where the intended semantic models are the full structures, the full type hierarchies over preorders for the base…

We prove that all zeros of the polynomials orthogonal with respect to a measure $d \mu(x;a) = d \mu(x) + M \delta(x-a)$, where $d\mu$ is a nonatomic positive Borel measure and $M>0$, are increasing functions of the mass point $a$. Thus we…

In this note, we study a question introduced by Bourin \cite{2009Matrix} and partially solve the question of Bourin. In fact, for t\in[0,\frac{1}{4}]\cup[\frac{3}{4},1], we show that |||x^{t}y^{1-t}+y^{t}x^{1-t}|||\leq|||x+y|||, where…

This note is concerned with an extension, at second order, of an inequality on the discrete cube $C_n=\{-1,1\}$ (equipped with the uniform measure) due to Talagrand (\cite{TalL1L2}). As an application, the main result of this note is a…

By a classical result of Weyl, for any increasing sequence $(n_k)_{k \geq 1}$ of integers the sequence of fractional parts $(\{n_k x\})_{k \geq 1}$ is uniformly distributed modulo 1 for almost all $x \in [0,1]$. Except for a few special…

We investigate conditions for logarithmic complete monotonicity of product ratios of gamma and q-gamma functions whose arguments are linear functions of the variable. We give necessary and sufficient conditions in terms of nonnegativity of…

We give the first agnostic, efficient, proper learning algorithm for monotone Boolean functions. Given $2^{\tilde{O}(\sqrt{n}/\varepsilon)}$ uniformly random examples of an unknown function $f:\{\pm 1\}^n \rightarrow \{\pm 1\}$, our…

In this paper, we obtain inequalities for some integrals involving the modified Lommel function of the first kind $t_{\mu,\nu}(x)$. In most cases, these inequalities are tight in certain limits. We also deduce a tight double inequality,…

Let $(X,\mathcal{B}, \mu, T)$ be an ergodic dynamical system on a non-atomic finite measure space. We assume without loss of generality that $\mu(X)=1.$ Consider the maximal function $\dis R^*:(f, g) \in L^p\times L^q \to R^*(f, g)(x) =…

In this paper, by using a general result on the monotonicity of quotients of power series, our aim is to prove some monotonicity and convexity results for the modified Struve functions. Moreover, as consequences of the above mentioned…

In this paper, we establish some reverses of the operator entropy inequalities under certain conditions by using the Mond-Pe\v{c}ari\'c method. In particular, we present {\tiny \begin{align*}…

A classical inequality, which is known for families of monotone functions, is generalized to a larger class of families of measurable functions. Moreover we characterize all the families of functions for which the equality holds. We apply…

We demonstrate $k+1$-term arithmetic progressions in certain subsets of the real line whose "higher-order Fourier dimension" is sufficiently close to 1. This Fourier dimension, introduced in previous work, is a higher-order (in the sense of…

For every symmetric mean $\mathscr{M} \colon \bigcup_{n=1}^\infty I^n \to I$ (where $I$ an interval) and a nonzero function $W \colon \{1,\dots,n\} \to \mathbb{N} \cup \{0\}$, define an $n$-variable mean by…

A causal set is a countably infinite poset in which every element is above finitely many others; causal sets are exactly the posets that have a linear extension with the order-type of the natural numbers -- we call such a linear extension a…

This paper studies partitions in the space of antimonotonic boolean functions on sets of n elements. The antimonotonic functions are the antichains of the partially ordered set of subsets. We analyse and characterise a natural partial…

Monotonicity criteria are established for the generalized Marcum Q-function, $\emph{Q}_{M}$, the standard Nuttall Q-function, $\emph{Q}_{M,N}$, and the normalized Nuttall Q-function, $\mathcal{Q}_{M,N}$, with respect to their real order…

Minkowski's question mark function is the distribution function of a singular continuous measure: we study this measure from the point of view of logarithmic potential theory and orthogonal polynomials. We conjecture that it is regular, in…

For a countably decomposable finite von Neumann algebra $\mathscr{R}$, we show that any choice of a faithful normal tracial state on $\mathscr{R}$ engenders the same measure topology on $\mathscr{R}$ in the sense of Nelson (J. Func. Anal.,…

Let $\mu$ and $\nu$ be two Borel probability measures on two separable metric spaces $\X$ and $\Y$ respectively. For $h, g$ be two Hausdorff functions and $q\in \R$, we introduce and investigate the generalized pseudo-packing measure…