Showing 1–50 of 92 results for author: Pinelis, I

Schwarz lemma for real harmonic functions onto surfaces with non-negative Gaussian curvature

Authors: David Kalaj, Miodrag Mateljević, Iosif Pinelis

Abstract: Assume that $f$ is a real $ρ$-harmonic function of the unit disk $\mathbb{D}$ onto the interval $(-1,1)$, where $ρ(u,v)=R(u)$ is a metric defined in the infinite strip $(-1,1)\times \mathbb{R}$. Then we prove that $|\nabla f(z)|(1-|z|^2)\le \frac{4}π(1-f(z)^2)$ for all $z\in\mathbb{D}$, provided that $ρ$ has a non-negative Gaussian curvature. This extends several results in the field and answers t… ▽ More Assume that $f$ is a real $ρ$-harmonic function of the unit disk $\mathbb{D}$ onto the interval $(-1,1)$, where $ρ(u,v)=R(u)$ is a metric defined in the infinite strip $(-1,1)\times \mathbb{R}$. Then we prove that $|\nabla f(z)|(1-|z|^2)\le \frac{4}π(1-f(z)^2)$ for all $z\in\mathbb{D}$, provided that $ρ$ has a non-negative Gaussian curvature. This extends several results in the field and answers to a conjecture proposed by the first author in 2014. Such an inequality is not true for negatively curved metrics. △ Less

Submitted 17 May, 2023; originally announced May 2023.

Comments: Accepted for publication in Proceedings of the Edinburgh Mathematical Society

MSC Class: 30F15

An intertwined Cauchy--Schwarz-type inequality based on a Lagrange-type identity

Authors: Iosif Pinelis

Abstract: Based on an apparently new Lagrange-type identity, a Cauchy--Schwarz-type inequality is proved. The mentioned identity is obtained by using certain ``macro'' variables; it is hoped that such a method can be used to prove or produce other identities and inequalities. Based on an apparently new Lagrange-type identity, a Cauchy--Schwarz-type inequality is proved. The mentioned identity is obtained by using certain ``macro'' variables; it is hoped that such a method can be used to prove or produce other identities and inequalities. △ Less

Submitted 6 March, 2023; originally announced March 2023.

Comments: 5 pages; to appear in Mathematical Inequalities & Applications

MSC Class: 26D15; 26D20

Multidimensional probability inequalities via spherical symmetry

Authors: Iosif Pinelis

Abstract: Spherical symmetry arguments are used to produce a general device to convert identities and inequalities for the $p$th absolute moments of real-valued random variables into the corresponding identities and inequalities for the $p$th moments of the norms of random vectors in Hilbert spaces. Particular results include the following: (i) an expression of the $p$th moment of the norm of such a random… ▽ More Spherical symmetry arguments are used to produce a general device to convert identities and inequalities for the $p$th absolute moments of real-valued random variables into the corresponding identities and inequalities for the $p$th moments of the norms of random vectors in Hilbert spaces. Particular results include the following: (i) an expression of the $p$th moment of the norm of such a random vector $X$ in terms of the characteristic functional of $X$; (ii) an extension of a previously obtained von~Bahr--Esseen-type inequality for real-valued random variables with the best possible constant factor to random vectors in Hilbert spaces, still with the best possible constant factor; (iii) an extension of a previously obtained inequality between measures of "contrast between populations" and "spread within populations" to random vectors in Hilbert spaces. △ Less

Submitted 12 October, 2022; v1 submitted 9 October, 2022; originally announced October 2022.

Comments: 11 pages. A few typos have been fixed

MSC Class: 60E15; 60B11; 60E10; 60E05

What Intraclass Covariance Structures Can Symmetric Bernoulli Random Variables Have?

Authors: Iosif Pinelis

Abstract: The covariance matrix of random variables $X_1,\dots,X_n$ is said to have an intraclass covariance structure if the variances of all the $X_i$'s are the same and all the pairwise covariances of the $X_i$'s are the same. We provide a possibly surprising characterization of such covariance matrices in the case when the $X_i$'s are symmetric Bernoulli random variables. The covariance matrix of random variables $X_1,\dots,X_n$ is said to have an intraclass covariance structure if the variances of all the $X_i$'s are the same and all the pairwise covariances of the $X_i$'s are the same. We provide a possibly surprising characterization of such covariance matrices in the case when the $X_i$'s are symmetric Bernoulli random variables. △ Less

Submitted 4 October, 2022; originally announced October 2022.

Comments: 7 pages; to appear in Mathematical Methods of Statistics

Improved concentration bounds for sums of independent sub-exponential random variables

Authors: Iosif Pinelis

Abstract: Known Bernstein-type upper bounds on the tail probabilities for sums of independent zero-mean sub-exponential random variables are improved in several ways at once. The new upper bounds have a certain optimality property. Known Bernstein-type upper bounds on the tail probabilities for sums of independent zero-mean sub-exponential random variables are improved in several ways at once. The new upper bounds have a certain optimality property. △ Less

Submitted 11 August, 2022; originally announced August 2022.

Comments: To appear in Statistics and Probability Letters

MSC Class: 60E15

Asymptotic relative efficiency of the Kendall and Spearman correlation statistics

Authors: Iosif Pinelis

Abstract: A necessary and suffcient condition for Pitman's asymptotic relative effciency (ARE) of the Kendall and Spearman correlation statistics for the independence test to be 1 is given, in terms of certain smoothness and nondegeneracy properties of the model. Corresponding easy to use and broadly applicable sufficient conditions are obtained, which are then illustrated on several known models of depende… ▽ More A necessary and suffcient condition for Pitman's asymptotic relative effciency (ARE) of the Kendall and Spearman correlation statistics for the independence test to be 1 is given, in terms of certain smoothness and nondegeneracy properties of the model. Corresponding easy to use and broadly applicable sufficient conditions are obtained, which are then illustrated on several known models of dependence. Effects of the presence or absence of the smoothness and/or nondegeneracy parts of the mentioned necessary and suffcient condition are demonstrated using certain specially constructed dependence models. A more general (than usual) version of Pitman's ARE is developed, with broader and easier to check conditions of applicability. This version of the ARE, which is then used in the rest of the paper, may also be of value elsewhere. △ Less

Submitted 2 August, 2022; originally announced August 2022.

Comments: A somewhat less detailed version of this paper has been requested by a journal

MSC Class: 62F05; 62F03

Exact lower and upper bounds for shifts of Gaussian measures

Authors: Iosif Pinelis

Abstract: Exact upper and lower bounds on the ratio $\mathsf{E}w(\mathbf{X}-\mathbf{v})/\mathsf{E}w(\mathbf{X})$ for a centered Gaussian random vector $\mathbf{X}$ in $\mathbb{R}^n$, as well as bounds on the rate of change of $\mathsf{E}w(\mathbf{X}-t\mathbf{v})$ in $t$, where $w\colon\mathbb{R}^n\to[0,\infty)$ is any even unimodal function and $\mathbf{v}$ is any vector in $\mathbb{R}^n$. As a corollary of… ▽ More Exact upper and lower bounds on the ratio $\mathsf{E}w(\mathbf{X}-\mathbf{v})/\mathsf{E}w(\mathbf{X})$ for a centered Gaussian random vector $\mathbf{X}$ in $\mathbb{R}^n$, as well as bounds on the rate of change of $\mathsf{E}w(\mathbf{X}-t\mathbf{v})$ in $t$, where $w\colon\mathbb{R}^n\to[0,\infty)$ is any even unimodal function and $\mathbf{v}$ is any vector in $\mathbb{R}^n$. As a corollary of such results, exact upper and lower bounds on the power function of statistical tests for the mean of a multivariate normal distribution are given. △ Less

Submitted 18 May, 2022; originally announced May 2022.

Comments: 10 pages; to appear in Theory of Probability and Its Applications

MSC Class: 60E15; 62E17; 62H10; 62H15; 26B25; 26D10; 26D15; 28C20

Large Deviations Of Sums Mainly Due To Just One Summand

Authors: Iosif Pinelis

Abstract: We present a formalization of the well-known thesis that, in the case of independent identically distributed random variables $X_1,\dots,X_n$ with power-like tails of index $α\in(0,2)$, large deviations of the sum $X_1+\dots+X_n$ are primarily due to just one of the summands. We present a formalization of the well-known thesis that, in the case of independent identically distributed random variables $X_1,\dots,X_n$ with power-like tails of index $α\in(0,2)$, large deviations of the sum $X_1+\dots+X_n$ are primarily due to just one of the summands. △ Less

Submitted 27 October, 2021; originally announced October 2021.

Comments: 6 pages; to appear in The American Mathematical Monthly

MSC Class: 60F10

Best lower bound on the probability of a binomial exceeding its expectation

Authors: Iosif Pinelis

Abstract: Let $X$ be a random variable distributed according to the binomial distribution with parameters $n$ and $p$. It is shown that $P(X>EX)\ge1/4$ if $1>p\ge c/n$, where $c:=\ln(4/3)$, the best possible constant factor. Let $X$ be a random variable distributed according to the binomial distribution with parameters $n$ and $p$. It is shown that $P(X>EX)\ge1/4$ if $1>p\ge c/n$, where $c:=\ln(4/3)$, the best possible constant factor. △ Less

Submitted 10 August, 2021; originally announced August 2021.

Comments: 7 pages; to appear in Statistics and Probability Letters

MSC Class: 60E15; 62E15

Exact converses to a reverse AM--GM inequality, with applications to sums of independent random variables and (super)martingales

Authors: Iosif Pinelis

Abstract: For every given real value of the ratio $μ:=A_X/G_X>1$ of the arithmetic and geometric means of a positive random variable $X$ and every real $v>0$, exact upper bounds on the right- and left-tail probabilities $\mathsf{P}(X/G_X\ge v)$ and $\mathsf{P}(X/G_X\le v)$ are obtained, in terms of $μ$ and $v$. In particular, these bounds imply that $X/G_X\to1$ in probability as $A_X/G_X\downarrow1$. Such a… ▽ More For every given real value of the ratio $μ:=A_X/G_X>1$ of the arithmetic and geometric means of a positive random variable $X$ and every real $v>0$, exact upper bounds on the right- and left-tail probabilities $\mathsf{P}(X/G_X\ge v)$ and $\mathsf{P}(X/G_X\le v)$ are obtained, in terms of $μ$ and $v$. In particular, these bounds imply that $X/G_X\to1$ in probability as $A_X/G_X\downarrow1$. Such a result may be viewed as a converse to a reverse Jensen inequality for the strictly concave function $f=\ln$, whereas the well-known Cantelli and Chebyshev inequalities may be viewed as converses to a reverse Jensen inequality for the strictly concave quadratic function $f(x) \equiv -x^2$. As applications of the mentioned new results, improvements of the Markov, Bernstein--Chernoff, sub-Gaussian, and Bennett--Hoeffding probability inequalities are given. △ Less

Submitted 29 March, 2021; originally announced March 2021.

Comments: 16 pages. To appear in Mathematical Inequalities & Applications

MSC Class: 26D15; 60E15

Exact lower bound on an "exactly one" probability

Authors: Iosif Pinelis

Abstract: The exact lower bound on the probability of the occurrence of exactly one of $n$ random events each of probability $p$ is obtained. The exact lower bound on the probability of the occurrence of exactly one of $n$ random events each of probability $p$ is obtained. △ Less

Submitted 9 February, 2021; originally announced February 2021.

Comments: 6 pages; to appear in the Bulletin of the Australian Mathematical Society

Monotonicity properties of the gamma family of distributions

Authors: Iosif Pinelis

Abstract: For real $a>0$, let $X_a$ denote a random variable with the gamma distribution with parameters $a$ and $1$. Then $\mathsf P(X_a-a>c)$ is increasing in $a$ for each real $c\ge0$; non-increasing in $a$ for each real $c\le-1/3$; and non-monotonic in $a$ for each $c\in(-1/3,0)$. This extends and/or refines certain previously established results. For real $a>0$, let $X_a$ denote a random variable with the gamma distribution with parameters $a$ and $1$. Then $\mathsf P(X_a-a>c)$ is increasing in $a$ for each real $c\ge0$; non-increasing in $a$ for each real $c\le-1/3$; and non-monotonic in $a$ for each $c\in(-1/3,0)$. This extends and/or refines certain previously established results. △ Less

Submitted 25 December, 2020; originally announced December 2020.

Comments: To appear in Statistics and Probability Letters

MSC Class: 26D15; 33B20; 60E15; 62E15

A problem concerning Riemann sums

Authors: Iosif Pinelis

Abstract: An open problem concerning Riemann sums, posed by O. Furdui, is considered. An open problem concerning Riemann sums, posed by O. Furdui, is considered. △ Less

Submitted 28 September, 2020; originally announced September 2020.

Comments: 5 pages; to appear in Journal of Classical Analysis

MSC Class: 26A06; 26A27; 26A42; 26A46; 60Exx; 60G15

Monotonicity properties of the Poisson approximation to the binomial distribution

Authors: Iosif Pinelis

Abstract: Certain monotonicity properties of the Poisson approximation to the binomial distribution are established. As a natural application of these results, exact (rather than approximate) tests of hypotheses on an unknown value of the parameter $p$ of the binomial distribution are presented. Certain monotonicity properties of the Poisson approximation to the binomial distribution are established. As a natural application of these results, exact (rather than approximate) tests of hypotheses on an unknown value of the parameter $p$ of the binomial distribution are presented. △ Less

Submitted 3 August, 2020; originally announced August 2020.

Comments: 10 pages; to appear in Statistics and Probability Letters

MSC Class: 60E15; 62E15; 62E17; 62F03; 62E15; 62E17; 62F03

Monotonicity preservation properties of kernel regression estimators

Authors: Iosif Pinelis

Abstract: Three common classes of kernel regression estimators are considered: the Nadaraya--Watson (NW) estimator, the Priestley--Chao (PC) estimator, and the Gasser--Müller (GM) estimator. It is shown that (i) the GM estimator has a certain monotonicity preservation property for any kernel $K$, (ii) the NW estimator has this property if and only the kernel $K$ is log concave, and (iii) the PC estimator do… ▽ More Three common classes of kernel regression estimators are considered: the Nadaraya--Watson (NW) estimator, the Priestley--Chao (PC) estimator, and the Gasser--Müller (GM) estimator. It is shown that (i) the GM estimator has a certain monotonicity preservation property for any kernel $K$, (ii) the NW estimator has this property if and only the kernel $K$ is log concave, and (iii) the PC estimator does not have this property for any kernel $K$. Other related properties of these regression estimators are discussed. △ Less

Submitted 12 May, 2021; v1 submitted 3 July, 2020; originally announced July 2020.

Comments: A shorter version, without pictures, to appear in Statistics and Probability Letters

MSC Class: 62G05; 62G08

Exact lower and upper bounds on the incomplete gamma function

Authors: Iosif Pinelis

Abstract: Lower and upper bounds $B_a(x)$ on the incomplete gamma function $Γ(a,x)$ are given for all real $a$ and all real $x>0$. These bounds $B_a(x)$ are exact in the sense that $B_a(x)\underset{x\downarrow0}\simΓ(a,x)$ and $B_a(x)\underset{x\to\infty}\simΓ(a,x)$. Moreover, the relative errors of these bounds are rather small for other values of $x$, away from $0$ and $\infty$. Lower and upper bounds $B_a(x)$ on the incomplete gamma function $Γ(a,x)$ are given for all real $a$ and all real $x>0$. These bounds $B_a(x)$ are exact in the sense that $B_a(x)\underset{x\downarrow0}\simΓ(a,x)$ and $B_a(x)\underset{x\to\infty}\simΓ(a,x)$. Moreover, the relative errors of these bounds are rather small for other values of $x$, away from $0$ and $\infty$. △ Less

Submitted 13 May, 2020; originally announced May 2020.

Comments: To appear in Mathematical Inequalities & Applications

MSC Class: 33B20; 26D07; 26D15

Identities and inequalities for the cosine and sine functions

Authors: Iosif Pinelis

Abstract: Identities and inequalities for the cosine and sine functions are obtained. Identities and inequalities for the cosine and sine functions are obtained. △ Less

Submitted 9 January, 2020; originally announced January 2020.

Comments: 7 pages; to appear in Mathematical Inequalities & Applications

MSC Class: 26D05; 26D15; 40A25; 41A58

Order statistics on the spacings between order statistics for the uniform distribution

Authors: Iosif Pinelis

Abstract: Closed-form expressions for the distributions of the order statistics on the spacings between order statistics for the uniform distribution are obtained. This generalizes a result by Fisher concerning tests of significance in the harmonic analysis of a series. Closed-form expressions for the distributions of the order statistics on the spacings between order statistics for the uniform distribution are obtained. This generalizes a result by Fisher concerning tests of significance in the harmonic analysis of a series. △ Less

Submitted 13 September, 2019; originally announced September 2019.

Comments: 10 pages

MSC Class: 62E15; 62F03

An asymptotically optimal transform of Pearson's correlation statistic

Authors: Iosif Pinelis

Abstract: It is shown that for any correlation-parametrized model of dependence and any given significance level $α\in(0,1)$, there is an asymptotically optimal transform of Pearson's correlation statistic $R$, for which the generally leading error term for the normal approximation vanishes for all values $ρ\in(-1,1)$ of the correlation coefficient. This general result is then applied to the bivariate nor… ▽ More It is shown that for any correlation-parametrized model of dependence and any given significance level $α\in(0,1)$, there is an asymptotically optimal transform of Pearson's correlation statistic $R$, for which the generally leading error term for the normal approximation vanishes for all values $ρ\in(-1,1)$ of the correlation coefficient. This general result is then applied to the bivariate normal (BVN) model of dependence and to what is referred to in this paper as the SquareV model. In the BVN model, Pearson's $R$ turns out to be asymptotically optimal for a rather unusual significance level $α\approx0.240$, whereas Fisher's transform $R_F$ of $R$ is asymptotically optimal for the limit significance level $α=0$. In the SquareV model, Pearson's $R$ is asymptotically optimal for a still rather high significance level $α\approx0.159$, whereas Fisher's transform $R_F$ of $R$ is not asymptotically optimal for any $α\in[0,1]$. Moreover, it is shown that in both the BVN model and the SquareV model, the transform optimal for a given value of $α$ is in fact asymptotically better than $R$ and $R_F$ in wide ranges of values of the significance level, including $α$ itself. Extensive computer simulations for the BVN and SquareV models of dependence are presented, which suggest that, for sample sizes $n\ge100$ and significance levels $α\in\{0.01,0.05\}$, the mentioned asymptotically optimal transform of $R$ generally outperforms both Pearson's $R$ and Fisher's transform $R_F$ of $R$, the latter appearing generally much inferior to both $R$ and the asymptotically optimal transform of $R$ in the SquareV model. △ Less

Submitted 26 July, 2019; originally announced July 2019.

Comments: Revised version of a submitted paper

MSC Class: 62E20; 62F03; 62F12

Nonnegative sum-symmetric matrices, optimal-score partitions, and optimal resource allocation

Authors: Iosif Pinelis

Abstract: The main result of the note describes certain optimal-score partitions, which can be interpreted as optimal resource allocations. This result is based on the fact that any nonnegative square matrix whose column sums are the same as the corresponding row sums can be represented as the sum of circuit matrices. The main result of the note describes certain optimal-score partitions, which can be interpreted as optimal resource allocations. This result is based on the fact that any nonnegative square matrix whose column sums are the same as the corresponding row sums can be represented as the sum of circuit matrices. △ Less

Submitted 26 June, 2019; originally announced June 2019.

Comments: 9 pages; revised version of a submitted paper

MSC Class: 49K30; 15B48; 26D15; 90C46; 52A40; 05A05; 15A15; 15A45; 15B33; 15B36; 15B51; 90C27

Exact upper bound on the sum of squared nearest-neighbor distances between points in a rectangle

Authors: Iosif Pinelis

Abstract: An exact upper bound on the sum of squared nearest-neighbor distances between points in a rectangle is given. An exact upper bound on the sum of squared nearest-neighbor distances between points in a rectangle is given. △ Less

Submitted 25 April, 2019; originally announced April 2019.

Comments: 8 pages; to appear in Mathematical Inequalities & Applications

MSC Class: 26B25; 26D20; 49K30; 51M16; 52A40; 52A41

Generalized semimodularity: order statistics

Authors: Iosif Pinelis

Abstract: A notion of generalized $n$-semimodularity is introduced, which extends that of (sub/super)mod\-ularity in four ways at once. The main result of this paper, stating that every generalized $(n\colon\!2)$-semimodular function on the $n$th Cartesian power of a distributive lattice is generalized $n$-semimodular, may be considered a multi/infinite-dimensional analogue of the well-known Muirhead lemma… ▽ More A notion of generalized $n$-semimodularity is introduced, which extends that of (sub/super)mod\-ularity in four ways at once. The main result of this paper, stating that every generalized $(n\colon\!2)$-semimodular function on the $n$th Cartesian power of a distributive lattice is generalized $n$-semimodular, may be considered a multi/infinite-dimensional analogue of the well-known Muirhead lemma in the theory of Schur majorization. This result is also similar to a discretized version of the well-known theorem due to Lorentz, which latter was given only for additive-type functions. Illustrations of our main result are presented for counts of combinations of faces of a polytope; one-sided potentials; multiadditive forms, including multilinear ones -- in particular, permanents of rectangular matrices and elementary symmetric functions; and association inequalities for order statistics. Based on an extension of the FKG inequality due to Rinott \& Saks and Aharoni \& Keich, applications to correlation inequalities for order statistics are given as well. △ Less

Submitted 14 February, 2019; originally announced February 2019.

Comments: To appear in the proceedings of the conference High Dimensional Probability 8, held in Oaxaca (Mexico) in 2017

MSC Class: Primary 06D99; 26D15; 26D20; 60E15; secondary 05A20; 05B35; 06A07; 60C05; 62H05; 62H10; 82D99; 90C27

A simple and more general approach to Stokes' theorem

Authors: Iosif Pinelis

Abstract: Oftentimes, Stokes' theorem is derived by using, more or less explicitly, the invariance of the curl of the vector field with respect to translations and rotations. However, this invariance -- which is oftentimes described as the curl being a "physical" vector -- does not seem quite easy to verify, especially for undergraduate students. An even bigger problem with Stokes' theorem is to rigorously… ▽ More Oftentimes, Stokes' theorem is derived by using, more or less explicitly, the invariance of the curl of the vector field with respect to translations and rotations. However, this invariance -- which is oftentimes described as the curl being a "physical" vector -- does not seem quite easy to verify, especially for undergraduate students. An even bigger problem with Stokes' theorem is to rigorously define such notions as ``the boundary curve remains to the left of the surface''. Here an apparently simpler and more general approach is suggested. △ Less

Submitted 26 January, 2019; originally announced January 2019.

Comments: 7 pages; to appear in Mathematics Magazine

MSC Class: 53A04; 53A05; 53A45

A simpler $\mathbb R^3$ realization of the Möbius strip

Authors: Iosif Pinelis

Abstract: A very simple $\mathbb R^3$ realization of the Möbius strip, significantly simpler than the common one, is given. For any, however large width/length ratio of the strip, it is shown that this realization, in contrast with the common one, is the union of a vertical segment and the graph of a simple rational function on a simple polynomially defined subset of $\mathbb R^2$. A very simple $\mathbb R^3$ realization of the Möbius strip, significantly simpler than the common one, is given. For any, however large width/length ratio of the strip, it is shown that this realization, in contrast with the common one, is the union of a vertical segment and the graph of a simple rational function on a simple polynomially defined subset of $\mathbb R^2$. △ Less

Submitted 12 August, 2018; originally announced August 2018.

MSC Class: Primary 53A05; 57N05; 57N35; 51M04; 51M05; 51M15; 51H20; secondary 51M09; 51M30; 57N16; 51H30; 57N25

Excess Versions of the Minkowski and Hölder Inequalities

Authors: Iosif Pinelis

Abstract: Certain excess versions of the Minkowski and Hölder inequalities are given. These new results generalize and improve the Minkowski and Hölder inequalities. Certain excess versions of the Minkowski and Hölder inequalities are given. These new results generalize and improve the Minkowski and Hölder inequalities. △ Less

Submitted 29 July, 2018; originally announced July 2018.

Comments: 9 pages

MSC Class: 26D15; 60E15

The exp-normal distribution is infinitely divisible

Authors: Iosif Pinelis

Abstract: Let $Z$ be a standard normal random variable (r.v.). It is shown that the distribution of the r.v. $\ln|Z|$ is infinitely divisible; equivalently, the standard normal distribution considered as the distribution on the multiplicative group over $\mathbb{R}\setminus\{0\}$ is infinitely divisible. Let $Z$ be a standard normal random variable (r.v.). It is shown that the distribution of the r.v. $\ln|Z|$ is infinitely divisible; equivalently, the standard normal distribution considered as the distribution on the multiplicative group over $\mathbb{R}\setminus\{0\}$ is infinitely divisible. △ Less

Submitted 6 March, 2018; originally announced March 2018.

Comments: 3 pages

MSC Class: Primary 60E07; 42A85; secondary 60E10; 62E10

Exact upper and lower bounds on the misclassification probability

Authors: Iosif Pinelis

Abstract: Exact lower and upper bounds on the best possible misclassification probability for a finite number of classes are obtained in terms of the total variation norms of the differences between the sub-distributions over the classes. These bounds are compared with the exact bounds in terms of the conditional entropy obtained by Feder and Merhav. Exact lower and upper bounds on the best possible misclassification probability for a finite number of classes are obtained in terms of the total variation norms of the differences between the sub-distributions over the classes. These bounds are compared with the exact bounds in terms of the conditional entropy obtained by Feder and Merhav. △ Less

Submitted 8 February, 2018; v1 submitted 3 December, 2017; originally announced December 2017.

Comments: Version 3: exact upper bounds are added; results are compared with ones by Feder and Merhav. Version 4: additional discussion presented

MSC Class: 60E15; 62H30; 91B06 (Primary) 26D15; 26D20; 62C10; 68T10 (Secondary)

Approximating sums by integrals only: multiple sums and sums over lattice polytopes

Authors: Iosif Pinelis

Abstract: The Euler--Maclaurin (EM) summation formula is used in many theoretical studies and numerical calculations. It approximates the sum $\sum_{k=0}^{n-1} f(k)$ of values of a function $f$ by a linear combination of a corresponding integral of $f$ and values of its higher-order derivatives $f^{(j)}$. An alternative (Alt) summation formula was recently presented by the author, which approximates the sum… ▽ More The Euler--Maclaurin (EM) summation formula is used in many theoretical studies and numerical calculations. It approximates the sum $\sum_{k=0}^{n-1} f(k)$ of values of a function $f$ by a linear combination of a corresponding integral of $f$ and values of its higher-order derivatives $f^{(j)}$. An alternative (Alt) summation formula was recently presented by the author, which approximates the sum by a linear combination of integrals only, without using high-order derivatives of $f$. It was shown that the Alt formula will in most cases outperform, or greatly outperform, the EM formula in terms of the execution time and memory use. In the present paper, a multiple-sum/multi-index-sum extension of the Alt formula is given, with applications to summing possibly divergent multi-index series and to sums over the integral points of integral lattice polytopes. △ Less

Submitted 29 October, 2017; v1 submitted 24 May, 2017; originally announced May 2017.

Comments: Version 4: a minor mistake in line 3 of Step 3 in the proof of Lemma 5.3 is fixed. Version 5: restriction in Th. 2.1 is removed. Version 6: restriction that the polytope be simple is removed. Version 7: mistake in definition of \mathbb{R}^+_J is fixed, w/ corresponding small changes in proof of Proposition 4.1

MSC Class: 41A35; 52B20 (Primary); 26B20; 26D15; 40A05; 40A25; 41A10; 41A17; 41A25; 41A55; 41A58; 41A60; 41A80; 65B05; 65B10; 65B15; 65D30; 65D32 (secondary)

Measure extension by local approximation

Authors: Iosif Pinelis

Abstract: Measurable sets are defined as those locally approximable, in a certain sense, by sets in the given algebra (or ring). A corresponding measure extension theorem is proved. It is also shown that a set is locally approximable in the mentioned sense if and only if it is Carathéodory-measurable. Measurable sets are defined as those locally approximable, in a certain sense, by sets in the given algebra (or ring). A corresponding measure extension theorem is proved. It is also shown that a set is locally approximable in the mentioned sense if and only if it is Carathéodory-measurable. △ Less

Submitted 12 February, 2017; v1 submitted 3 February, 2017; originally announced February 2017.

Comments: 8 pages. Version 2: A localized completion of the measure is now considered as well, in Theorem 1.4

MSC Class: Primary 28A12; secondary 60A10

Quantifying minimal non-collinearity among random points

Authors: Iosif Pinelis

Abstract: Let $\varphi_{n,K}$ denote the largest angle in all the triangles with vertices among the $n$ points selected at random in a compact convex subset $K$ of $\mathbb{R}^d$ with nonempty interior, where $d\ge2$. It is shown that the distribution of the random variable $λ_d(K)\,\frac{n^3}{3!}\,(π-\varphi_{n,K})^{d-1}$, where $λ_d(K)$ is a certain positive real number which depends only on the dimension… ▽ More Let $\varphi_{n,K}$ denote the largest angle in all the triangles with vertices among the $n$ points selected at random in a compact convex subset $K$ of $\mathbb{R}^d$ with nonempty interior, where $d\ge2$. It is shown that the distribution of the random variable $λ_d(K)\,\frac{n^3}{3!}\,(π-\varphi_{n,K})^{d-1}$, where $λ_d(K)$ is a certain positive real number which depends only on the dimension $d$ and the shape of $K$, converges to the standard exponential distribution as $n\to\infty$. By using the Steiner symmetrization, it is also shown that $λ_d(K)$ -- which is referred to in the paper as the elongation of $K$ -- attains its minimum if and only if $K$ is a ball $B^{(d)}$ in $\mathbb{R}^d$. Finally, the asymptotics of $λ_d(B^{(d)})$ for large $d$ is determined. △ Less

Submitted 26 August, 2016; v1 submitted 15 August, 2016; originally announced August 2016.

Comments: 7 pages. Version 2: minor mistakes and typos are fixed. Version 3: it is also shown that the elongation attains its minimum only on balls, and the large-dimension asymptotics of the elongation for balls is determined

MSC Class: 60C05; 60D05; 60F05 (Primary); 41A60; 52A22; 52A20; 52A38; 26B15; 28A75; 05C38; 62E20; 05C80 (Secondary)

Exact Lower Bounds for the Agnostic Probably-Approximately-Correct (PAC) Machine Learning Model

Authors: Aryeh Kontorovich, Iosif Pinelis

Abstract: We provide an exact non-asymptotic lower bound on the minimax expected excess risk (EER) in the agnostic probably-ap\-proximately-correct (PAC) machine learning classification model and identify minimax learning algorithms as certain maximally symmetric and minimally randomized "voting" procedures. Based on this result, an exact asymptotic lower bound on the minimax EER is provided. This bound is… ▽ More We provide an exact non-asymptotic lower bound on the minimax expected excess risk (EER) in the agnostic probably-ap\-proximately-correct (PAC) machine learning classification model and identify minimax learning algorithms as certain maximally symmetric and minimally randomized "voting" procedures. Based on this result, an exact asymptotic lower bound on the minimax EER is provided. This bound is of the simple form $c_\infty/\sqrtν$ as $ν\to\infty$, where $c_\infty=0.16997\dots$ is a universal constant, $ν=m/d$, $m$ is the size of the training sample, and $d$ is the Vapnik--Chervonenkis dimension of the hypothesis class. It is shown that the differences between these asymptotic and non-asymptotic bounds, as well as the differences between these two bounds and the maximum EER of any learning algorithms that minimize the empirical risk, are asymptotically negligible, and all these differences are due to ties in the mentioned "voting" procedures. A few easy to compute non-asymptotic lower bounds on the minimax EER are also obtained, which are shown to be close to the exact asymptotic lower bound $c_\infty/\sqrtν$ even for rather small values of the ratio $ν=m/d$. As an application of these results, we substantially improve existing lower bounds on the tail probability of the excess risk. Among the tools used are Bayes estimation and apparently new identities and inequalities for binomial distributions. △ Less

Submitted 30 December, 2017; v1 submitted 28 June, 2016; originally announced June 2016.

Comments: Version 2: modified presentation in accordance with referees' comments

MSC Class: Primary 68T05; 62C20; 62C10; 62C12; 62G20; 62H30; secondary 62G10; 62C20; 91A35; 60C05

Positive-part moments via the characteristic functions, and more general expressions

Authors: Iosif Pinelis

Abstract: A unifying and generalizing approach to representations of the positive-part and absolute moments $\mathsf{E} X_+^p$ and $\mathsf{E}|X|^p$ of a random variable $X$ for real $p$ in terms of the characteristic function (c.f.) of $X$, as well as to related representations of the c.f.\ of $X_+$, generalized moments $\mathsf{E} X_+^p e^{iuX}$, truncated moments, and the distribution function is provide… ▽ More A unifying and generalizing approach to representations of the positive-part and absolute moments $\mathsf{E} X_+^p$ and $\mathsf{E}|X|^p$ of a random variable $X$ for real $p$ in terms of the characteristic function (c.f.) of $X$, as well as to related representations of the c.f.\ of $X_+$, generalized moments $\mathsf{E} X_+^p e^{iuX}$, truncated moments, and the distribution function is provided. Existing and new representations of these kinds are all shown to stem from a single basic representation. Computational aspects of these representations are addressed. △ Less

Submitted 25 March, 2016; v1 submitted 23 March, 2016; originally announced March 2016.

Comments: A comment is added in the introduction on the role of positive-part moments

MSC Class: 60E10 (Primary); 60E07; 62E15; 60E15; 91B30 (Secondary)

On a multidimensional spherically invariant extension of the Rademacher--Gaussian comparison

Authors: Iosif Pinelis

Abstract: It is shown that \begin{equation*} \mathsf{P}(\|a_1U_1+\dots+a_nU_n\|>u)\le c\,\mathsf{P}(a\|Z_d\|>u) \end{equation*} for all real $u$, where $U_1,\dots,U_n$ are independent random vectors uniformly distributed on the unit sphere in $\mathbb{R}^d$, $a_1,\dots,a_n$ are any real numbers, $a:=\sqrt{(a_1^2+\dots+a_n^2)/d}$, $Z_d$ is a standard normal random vector in $\mathbb{R}^d$, and… ▽ More It is shown that \begin{equation*} \mathsf{P}(\|a_1U_1+\dots+a_nU_n\|>u)\le c\,\mathsf{P}(a\|Z_d\|>u) \end{equation*} for all real $u$, where $U_1,\dots,U_n$ are independent random vectors uniformly distributed on the unit sphere in $\mathbb{R}^d$, $a_1,\dots,a_n$ are any real numbers, $a:=\sqrt{(a_1^2+\dots+a_n^2)/d}$, $Z_d$ is a standard normal random vector in $\mathbb{R}^d$, and $c=2e^3/9=4.46\dots$. This constant factor is about $89$ times as small as the one in a recent result by Nayar and Tkocz, who proved, by a different method, a corresponding conjecture by Oleszkiewicz. As an immediate application, a corresponding upper bound on the tail probabilities for the norm of the sum of arbitrary independent spherically invariant random vectors is given. △ Less

Submitted 22 March, 2016; v1 submitted 15 March, 2016; originally announced March 2016.

Comments: 4 pages. Version 2: fixed two typos, made a few small changes. Version 3: added introductory paragraphs, references, details, and Corollary 1

MSC Class: Primary 60E15; secondary 60G15; 60G50

Journal ref: Electron. Comm. Probab., 21:paper no. 67, 5 pp. (electronic) (2016)

Optimal-order bounds on the rate of convergence to normality for maximum likelihood estimators

Authors: Iosif Pinelis

Abstract: It is well known that under general regularity conditions the distribution of the maximum likelihood estimator (MLE) is asymptotically normal. Very recently, bounds of the optimal order $O(1/\sqrt n)$ on the closeness of the distribution of the MLE to normality in the so-called bounded Wasserstein distance were obtained, where $n$ is the sample size. However, the corresponding bounds on the Kolmog… ▽ More It is well known that under general regularity conditions the distribution of the maximum likelihood estimator (MLE) is asymptotically normal. Very recently, bounds of the optimal order $O(1/\sqrt n)$ on the closeness of the distribution of the MLE to normality in the so-called bounded Wasserstein distance were obtained, where $n$ is the sample size. However, the corresponding bounds on the Kolmogorov distance were only of the order $O(1/n^{1/4})$. In this note, bounds of the optimal order $O(1/\sqrt n)$ on the closeness of the distribution of the MLE to normality in the Kolmogorov distance are given, as well as their nonuniform counterparts, which work better for large deviations of the MLE. These results are based on previously obtained general optimal-order bounds on the rate of convergence to normality in the multivariate delta method. The crucial observation is that, under natural conditions, the MLE can be tightly enough bracketed between two smooth enough functions of the sum of independent random vectors, which makes the delta method applicable. △ Less

Submitted 13 December, 2016; v1 submitted 10 January, 2016; originally announced January 2016.

Comments: Version 2: It is shown in the added appendix that (under some regularity conditions) certain structural assumptions used in certain previous papers can only hold when the family of densities is a one-parameter exponential one. Version 3: Condition (ix) in Proposition A.1 in Version 2 of this paper is removed

MSC Class: 60F05; 60E15; 62F10; 62F12

Exact bounds on the inverse Mills ratio and its derivatives

Authors: Iosif Pinelis

Abstract: The inverse Mills ratio is $R:=\varphi/Ψ$, where $\varphi$ and $Ψ$ are, respectively, the probability density function and the tail function of the standard normal distribution. Exact bounds on $R(z)$ for complex $z$ with $\Re z\ge0$ are obtained, which then yield logarithmically exact bounds on high-order derivatives of $R$. The main idea of the proof is a non-asymptotic version of the so-called… ▽ More The inverse Mills ratio is $R:=\varphi/Ψ$, where $\varphi$ and $Ψ$ are, respectively, the probability density function and the tail function of the standard normal distribution. Exact bounds on $R(z)$ for complex $z$ with $\Re z\ge0$ are obtained, which then yield logarithmically exact bounds on high-order derivatives of $R$. The main idea of the proof is a non-asymptotic version of the so-called stationary-phase method. △ Less

Submitted 30 November, 2015; originally announced December 2015.

Comments: 9 pages

MSC Class: Primary 30A10; 30D40; 33B20; 26D15; secondary 26A48; 41A17; 41A44; 60E15; 62E17

An alternative to the Euler--Maclaurin formula: Approximating sums by integrals only

Authors: Iosif Pinelis

Abstract: The Euler--Maclaurin (EM) summation formula is used in many theoretical studies and numerical calculations. It approximates the sum $\sum_{k=0}^{n-1} f(k)$ of values of a function $f$ by a linear combination of a corresponding integral of $f$ and values of its higher-order derivatives $f^{(j)}$. An alternative (Alt) summation formula is proposed, which approximates the sum by a linear combination… ▽ More The Euler--Maclaurin (EM) summation formula is used in many theoretical studies and numerical calculations. It approximates the sum $\sum_{k=0}^{n-1} f(k)$ of values of a function $f$ by a linear combination of a corresponding integral of $f$ and values of its higher-order derivatives $f^{(j)}$. An alternative (Alt) summation formula is proposed, which approximates the sum by a linear combination of integrals only, without using high-order derivatives of $f$. Explicit and rather easy to use bounds on the remainder are given. Possible extensions to multi-index summation are suggested. Applications to summing possibly divergent series are presented. It is shown that the Alt formula will in most cases outperform, or greatly outperform, the EM formula in terms of the execution time and memory use. One of the advantages of the Alt calculations is that, in contrast with the EM ones, they can be almost completely parallelized. Illustrative examples are given. In one of the examples, where an array of values of the Hurwitz generalized zeta function is computed with high accuracy, it is shown that both our implementation of the EM formula and, especially, the Alt formula perform much faster than the built-in Mathematica command HurwitzZeta[]. △ Less

Submitted 24 July, 2017; v1 submitted 10 November, 2015; originally announced November 2015.

Comments: Version 5: Added application to summing possibly divergent series, easy bounds on remainders, discussion of parallelization and memory use, more comparisons with Euler--Maclaurin (and now also with Mathematica and Richardson's extrapolation). Version 6: fixed a few typos. Version 7: removed the restriction n\ge m-1 in Th. 3.1

MSC Class: 41A35 (Primary); 26A06; 26A36; 41A10; 41A17; 41A25; 41A35; 41A55; 41A58; 41A60; 41A80; 65D10; 65D30; 65D32; 68Q17 (Secondary)

A characterization of best unbiased estimators

Authors: Iosif Pinelis

Abstract: A simple characterization of uniformly minimum variance unbiased estimators (UMVUEs) is provided (in the case when the sample space is finite) in terms of a linear independence condition on the likelihood functions corresponding to the possible samples. The crucial observation in the proof is that, if a UMVUE exists, then, after an appropriate cleaning of the parameter space, the nonzero likelihoo… ▽ More A simple characterization of uniformly minimum variance unbiased estimators (UMVUEs) is provided (in the case when the sample space is finite) in terms of a linear independence condition on the likelihood functions corresponding to the possible samples. The crucial observation in the proof is that, if a UMVUE exists, then, after an appropriate cleaning of the parameter space, the nonzero likelihood functions are eigenvectors of an "artificial" matrix of Lagrange multipliers, and the values of the UMVUE are eigenvalues of that matrix. The characterization is then extended to best unbiased estimators with respect to arbitrary convex loss functions. △ Less

Submitted 13 September, 2015; v1 submitted 30 August, 2015; originally announced August 2015.

Comments: 4 pages. Version 2: the paper is thoroughly reworked, even the title and the abstract have changed; the method remains the same. Version 3: a corollary, a proposition, and two examples (on Bernoulli and Beta-Bernoulli trials) are added; two typos are fixed

MSC Class: 62F10; 62G05; 62B05

Explicit additive decomposition of norms on $\mathbb{R}^2$

Authors: Iosif Pinelis

Abstract: A well-known result by Lindenstrauss is that any two-dimensional normed space can be isometrically imbedded into $L_1(0,1)$. We provide an explicit form of a such an imbedding. The proof is elementary and self-contained. Applications are given concerning the following: (i) explicit representations of the moments of the norm of a random vector $X$ in terms of the characteristic function and the Fou… ▽ More A well-known result by Lindenstrauss is that any two-dimensional normed space can be isometrically imbedded into $L_1(0,1)$. We provide an explicit form of a such an imbedding. The proof is elementary and self-contained. Applications are given concerning the following: (i) explicit representations of the moments of the norm of a random vector $X$ in terms of the characteristic function and the Fourier--Laplace transform of the distribution of $X$; (ii) an explicit and partially improved form of the exact version of the Littlewood--Khinchin--Kahane inequality obtained by Latała and Oleszkiewicz; (iii) an extension of an inequality by Buja--Logan--Reeds--Shepp, arising from a statistical problem. △ Less

Submitted 3 June, 2015; v1 submitted 1 June, 2015; originally announced June 2015.

Comments: 6 pages. Version 2: the open question posed at the end of Version 1 has been answered by William B. Johnson

MSC Class: Primary 46B04; secondary 26D20; 39B22; 39B52; 39B62; 60B11; 60E15; 60E10; 62H99

Journal ref: Amer. Math. Monthly, 123(5):491--496 (2016)

Optimal binomial, Poisson, and normal left-tail domination for sums of nonnegative random variables

Authors: Iosif Pinelis

Abstract: Let $X_1,\dots,X_n$ be independent nonnegative random variables (r.v.'s), with $S_n:=X_1+\dots+X_n$ and finite values of $s_i:=E X_i^2$ and $m_i:=E X_i>0$. Exact upper bounds on $E f(S_n)$ for all functions $f$ in a certain class $\mathcal{F}$ of nonincreasing functions are obtained, in each of the following settings: (i) $n,m_1,\dots,m_n,s_1,\dots,s_n$ are fixed; (ii) $n$, $m:=m_1+\dots+m_n$, and… ▽ More Let $X_1,\dots,X_n$ be independent nonnegative random variables (r.v.'s), with $S_n:=X_1+\dots+X_n$ and finite values of $s_i:=E X_i^2$ and $m_i:=E X_i>0$. Exact upper bounds on $E f(S_n)$ for all functions $f$ in a certain class $\mathcal{F}$ of nonincreasing functions are obtained, in each of the following settings: (i) $n,m_1,\dots,m_n,s_1,\dots,s_n$ are fixed; (ii) $n$, $m:=m_1+\dots+m_n$, and $s:=s_1+\dots+s_n$ are fixed; (iii)~only $m$ and $s$ are fixed. These upper bounds are of the form $E f(η)$ for a certain r.v. $η$. The r.v. $η$ and the class $\mathcal{F}$ depend on the choice of one of the three settings. In particular, $(m/s)η$ has the binomial distribution with parameters $n$ and $p:=m^2/(ns)$ in setting (ii) and the Poisson distribution with parameter $λ:=m^2/s$ in setting (iii). One can also let $η$ have the normal distribution with mean $m$ and variance $s$ in any of these three settings. In each of the settings, the class $\mathcal{F}$ contains, and is much wider than, the class of all decreasing exponential functions. As corollaries of these results, optimal in a certain sense upper bounds on the left-tail probabilities $P(S_n\le x)$ are presented, for any real $x$. In fact, more general settings than the ones described above are considered. Exact upper bounds on the exponential moments $E\exp\{hS_n\}$ for $h<0$, as well as the corresponding exponential bounds on the left-tail probabilities, were previously obtained by Pinelis and Utev. It is shown that the new bounds on the tails are substantially better. △ Less

Submitted 27 January, 2016; v1 submitted 22 March, 2015; originally announced March 2015.

Comments: Version 2: fixed a typo (p. 17, line 2) and added a detail (p. 17, line 9). Version 3: Added another proof of Lemma 3.2, using the Redlog package of the computer algebra system Reduce (open-source and freely distributed)

MSC Class: 60E15 (Primary); 60G42; 60G48 (Secondary)

Journal ref: Electron. J. Probab., 21:1--19 (2016)

On the Hölder and Cauchy--Schwarz inequalities

Authors: Iosif Pinelis

Abstract: A generalization of the Hölder inequality is considered. Its relations with a previously obtained improvement of the Cauchy--Schwarz inequality are discussed. A generalization of the Hölder inequality is considered. Its relations with a previously obtained improvement of the Cauchy--Schwarz inequality are discussed. △ Less

Submitted 28 April, 2015; v1 submitted 1 March, 2015; originally announced March 2015.

Comments: 3 pages; to appear in The Amer. Math. Monthly. Version 2: refs. [1,2] added

MSC Class: 26D15

Journal ref: Amer. Math. Monthly, 122(6):593--595 (2015)

Exact upper and lower bounds on the difference between the arithmetic and geometric means

Authors: Iosif Pinelis

Abstract: Let $X$ denote a nonnegative random variable with $\mathsf{E} X<\infty$. Upper and lower bounds on $\mathsf{E} X-\exp\mathsf{E}\ln X$ are obtained, which are exact, in terms of $V_X$ and $E_X$ for the upper bound and in terms of $V_X$ and $F_X$ for the lower bound, where $V_X:=\mathsf{Var}\sqrt X$, $E_X:=\mathsf{E}\big(\sqrt X-\sqrt{m_X}\,\big)^2$,… ▽ More Let $X$ denote a nonnegative random variable with $\mathsf{E} X<\infty$. Upper and lower bounds on $\mathsf{E} X-\exp\mathsf{E}\ln X$ are obtained, which are exact, in terms of $V_X$ and $E_X$ for the upper bound and in terms of $V_X$ and $F_X$ for the lower bound, where $V_X:=\mathsf{Var}\sqrt X$, $E_X:=\mathsf{E}\big(\sqrt X-\sqrt{m_X}\,\big)^2$, $F_X:=\mathsf{E}\big(\sqrt{M_X}-\sqrt X\,\big)^2$, $m_X:=\inf S_X$, $M_X:=\sup S_X$, and $S_X$ is the support set of the distribution of $X$. Note that, if $X$ takes each of distinct real values $x_1,\dots,x_n$ with probability $1/n$, then $\mathsf{E} X$ and $\exp\mathsf{E}\ln X$ are, respectively, the arithmetic and geometric means of $x_1,\dots,x_n$. △ Less

Submitted 2 March, 2015; v1 submitted 1 March, 2015; originally announced March 2015.

Comments: 8 pages; to appear in the Bulletin of the Australian Mathematical Society. Version 2: the condition that the random variable X is nonnegative was missing in the abstract

MSC Class: primary 60E15; secondary 26D15; 90C46

Journal ref: Bulletin of the Australian Mathematical Society 92 (2015) 149-158

Convex cones of generalized multiply monotone functions and the dual cones

Authors: Iosif Pinelis

Abstract: Let $n$ and $k$ be nonnegative integers such that $1\le k\le n+1$. The convex cone $\mathcal{F}_+^{k:n}$ of all functions $f$ on an arbitrary interval $I\subseteq\mathbb{R}$ whose derivatives $f^{(j)}$ of orders $j=k-1,\dots,n$ are nondecreasing is characterized in terms of extreme rays of the cone $\mathcal{F}_+^{k:n}$. A simple description of the convex cone dual to $\mathcal{F}_+^{k:n}$ is give… ▽ More Let $n$ and $k$ be nonnegative integers such that $1\le k\le n+1$. The convex cone $\mathcal{F}_+^{k:n}$ of all functions $f$ on an arbitrary interval $I\subseteq\mathbb{R}$ whose derivatives $f^{(j)}$ of orders $j=k-1,\dots,n$ are nondecreasing is characterized in terms of extreme rays of the cone $\mathcal{F}_+^{k:n}$. A simple description of the convex cone dual to $\mathcal{F}_+^{k:n}$ is given. These results are useful in, and were motivated by, applications in probability. In fact, the results are obtained in a more general setting with certain generalized derivatives of $f$ of the $j$th order in place of $f^{(j)}$. Somewhat similar results were previously obtained in the case when the left endpoint of the interval $I$ is finite, with certain additional integrability conditions; such conditions fail to hold in the mentioned applications. △ Less

Submitted 31 December, 2015; v1 submitted 26 January, 2015; originally announced January 2015.

Comments: Version 2: More applications given; two typos fixed

MSC Class: 26A48; 26A51; 26A46; 26D05; 26D07; 26D10; 26D15; 34L30; 41A10; 46A55; 46N10; 49K30; 49M29; 52A07; 52A41; 60E15; 90C25; 90C46

Journal ref: Banach J. Math. Anal. 10, no. 4 (2016), 864-897

An optimal three-way stable and monotonic spectrum of bounds on quantiles: a spectrum of coherent measures of financial risk and economic inequality

Authors: Iosif Pinelis

Abstract: A certain spectrum, indexed by a\in[0,\infty], of upper bounds P_a(X;x) on the tail probability P(X\geq x), with P_0(X;x)=P(X\geq x) and P_\infty(X;x) being the best possible exponential upper bound on P(X\geq x), is shown to be stable and monotonic in a, x, and X, where x is a real number and X is a random variable. The bounds P_a(X;x) are optimal values in certain minimization problems. The corr… ▽ More A certain spectrum, indexed by a\in[0,\infty], of upper bounds P_a(X;x) on the tail probability P(X\geq x), with P_0(X;x)=P(X\geq x) and P_\infty(X;x) being the best possible exponential upper bound on P(X\geq x), is shown to be stable and monotonic in a, x, and X, where x is a real number and X is a random variable. The bounds P_a(X;x) are optimal values in certain minimization problems. The corresponding spectrum, also indexed by a\in[0,\infty], of upper bounds Q_a(X;p) on the (1-p)-quantile of X is stable and monotonic in a, p, and X, with Q_0(X;p) equal the largest (1-p)-quantile of X. In certain sense, the quantile bounds Q_a(X;p) are usually close enough to the true quantiles Q_0(X;p). Moreover, Q_a(X;p) is subadditive in X if a\geq 1, as well as positive-homogeneous and translation-invariant, and thus is a so-called coherent measure of risk. A number of other useful properties of the bounds P_a(X;x) and Q_a(X;p) are established. In particular, quite similarly to the bounds P_a(X;x) on the tail probabilities, the quantile bounds Q_a(X;p) are the optimal values in certain minimization problems. This allows for a comparatively easy incorporation of the bounds P_a(X;x) and Q_a(X;p) into more specialized optimization problems. It is shown that the minimization problems for which P_a(X;x) and Q_a(X;p) are the optimal values are in a certain sense dual to each other; in the case a=\infty this corresponds to the bilinear Legendre--Fenchel duality. In finance, the (1-p)-quantile Q_0(X;p) is known as the value-at-risk (VaR), whereas the value of Q_1(X;p) is known as the conditional value-at-risk (CVaR) and also as the expected shortfall (ES), average value-at-risk (AVaR), and expected tail loss (ETL). It is shown that the quantile bounds Q_a(X;p) can be used as measures of economic inequality. The spectrum parameter, a, may be considered an index of sensitivity to risk/inequality. △ Less

Submitted 22 October, 2013; originally announced October 2013.

MSC Class: Primary 52A41; 60E15; 26A51; 26B25; 91B30; 91B82; secondary 60E15; 90C25; 90C26; 49J45; 49J55; 49K30; 49K40; 39B62

Journal ref: Risks, 2(3):349--392 (September 2014)

Characteristic function of the positive part of a random variable and related results, with applications

Authors: Iosif Pinelis

Abstract: Let $X$ be an arbitrary real-valued random variable (r.v.), with the characteristic function (c.f.) $f$. Integral expressions for the c.f.\ of the r.v.'s $\max(0,X)$ in terms of $f$ are given, as well as other related results. Applications to stock options and random walks are presented. In particular, a more explicit and compact form of Spitzer's identity is obtained. Let $X$ be an arbitrary real-valued random variable (r.v.), with the characteristic function (c.f.) $f$. Integral expressions for the c.f.\ of the r.v.'s $\max(0,X)$ in terms of $f$ are given, as well as other related results. Applications to stock options and random walks are presented. In particular, a more explicit and compact form of Spitzer's identity is obtained. △ Less

Submitted 18 February, 2015; v1 submitted 23 September, 2013; originally announced September 2013.

Comments: 2 pages. Version 2: 3 pages; a formula for the c.f. of |X| and three references are added; discussion expanded; title and abstract changed; Version 3: 9 pages; the paper is completely reworked; title and abstract changed; applications are given; in particular, a more explicit and compact form of Spitzer's identity is presented

MSC Class: Primary 60E10; secondary 44A15; 60G50; 90B22; 91G20

Journal ref: Statist. Probab. Lett., 106:281--286 (2015)

A necessary and sufficient condition on the stability of the infimum of convex functions

Authors: Iosif Pinelis

Abstract: Let us say that a convex function f\colon C\to[-\infty,\infty] on a convex set C\subseteq\R is infimum-stable if, for any sequence (f_n) of convex functions f_n\colon C\to[-\infty,\infty] converging to f pointwise, one has \inf_C f_n\to\inf_C f. A simple necessary and sufficient condition for a convex function to be infimum-stable is given. The same condition remains necessary and sufficient if on… ▽ More Let us say that a convex function f\colon C\to[-\infty,\infty] on a convex set C\subseteq\R is infimum-stable if, for any sequence (f_n) of convex functions f_n\colon C\to[-\infty,\infty] converging to f pointwise, one has \inf_C f_n\to\inf_C f. A simple necessary and sufficient condition for a convex function to be infimum-stable is given. The same condition remains necessary and sufficient if one uses Moore--Smith nets (f_ν) in place of sequences (f_n). This note is motivated by certain applications to stability of measures of risk/inequality in finance/economics. △ Less

Submitted 1 August, 2013; v1 submitted 14 July, 2013; originally announced July 2013.

Comments: 8 pages. Version 2: two references added; discussion expanded, including now Example 6. Version 3: discussion further expanded, including now a 5-line proof in the case when f and f_n are real-valued. Version 4: Theorem 9 is added about the equivalence of the sequential and topological variants of the infimum-stability

MSC Class: Primary 26A51; 90C25; secondary 49J45; 49K05; 49K30

(Quasi)additivity properties of the Legendre--Fenchel transform and its inverse, with applications in probability

Authors: Iosif Pinelis

Abstract: The notion of the Hölder convolution is introduced. The main result is that, under general conditions on functions L_1, ..., L_n, the function inverse to the Legendre--Fenchel transform of the Hölder convolution of L_1, ..., L_n coincides with the sum of the inverses of the Legendre--Fenchel transforms of the individual functions L_1, ..., L_n. Applications to probability theory are presented. In… ▽ More The notion of the Hölder convolution is introduced. The main result is that, under general conditions on functions L_1, ..., L_n, the function inverse to the Legendre--Fenchel transform of the Hölder convolution of L_1, ..., L_n coincides with the sum of the inverses of the Legendre--Fenchel transforms of the individual functions L_1, ..., L_n. Applications to probability theory are presented. In particular, an upper bound on the quantiles of the distribution of the sum of random variables is given. △ Less

Submitted 3 June, 2013; v1 submitted 8 May, 2013; originally announced May 2013.

Comments: Version 2: three references added. Version 3: The main result is strengthened from an inequality to an identity. Propositions 1.2, 1.4, and 1.5 are added, as well as four new references to literature. The title and abstract have changed

MSC Class: Primary 26A48; 26A51; secondary 60E15

Exact Rosenthal-type bounds

Authors: Iosif Pinelis

Abstract: It is shown that, for any given $p\ge5$, $A>0$ and $B>0$, the exact upper bound on $\mathsf{E}|\sum X_i|^p$ over all independent zero-mean random variables (r.v.'s) $X_1,\ldots,X_n$ such that $\sum\mathsf{E}X_i^2=B$ and $\sum\mathsf{E}|X_i|^p=A$ equals $c^p\mathsf{E}|Π_λ-λ|^p$, where $(λ,c)\in(0,\infty)^2$ is the unique solution to the system of equations $c^pλ=A$ and $c^2λ=B$, and $Π_λ$ is a Pois… ▽ More It is shown that, for any given $p\ge5$, $A>0$ and $B>0$, the exact upper bound on $\mathsf{E}|\sum X_i|^p$ over all independent zero-mean random variables (r.v.'s) $X_1,\ldots,X_n$ such that $\sum\mathsf{E}X_i^2=B$ and $\sum\mathsf{E}|X_i|^p=A$ equals $c^p\mathsf{E}|Π_λ-λ|^p$, where $(λ,c)\in(0,\infty)^2$ is the unique solution to the system of equations $c^pλ=A$ and $c^2λ=B$, and $Π_λ$ is a Poisson r.v. with mean $λ$. In fact, a more general result is obtained, as well as other related ones. As a tool used in the proof, a calculus of variations of moments of infinitely divisible distributions with respect to variations of the Lévy characteristics is developed. △ Less

Submitted 29 October, 2015; v1 submitted 16 April, 2013; originally announced April 2013.

Comments: Published at http://dx.doi.org/10.1214/14-AOP942 in the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP942

Journal ref: Annals of Probability 2015, Vol. 43, No. 5, 2511-2544

Exact Rosenthal-type inequalities for p=3, and related results

Authors: Iosif Pinelis

Abstract: An exact Rosenthal-type inequality for the third absolute moments is given, as well as a number of related results. Such results are useful in applications to Berry--Esseen bounds. An exact Rosenthal-type inequality for the third absolute moments is given, as well as a number of related results. Such results are useful in applications to Berry--Esseen bounds. △ Less

Submitted 26 February, 2013; originally announced February 2013.

Comments: 4 pages

MSC Class: 60E15

Journal ref: Statistics and Probability Letters, 83(12):2634--2637 (2013)

More on the nonuniform Berry--Esseen bound

Authors: Iosif Pinelis

Abstract: Certain smoothing inequalities were proposed in the recent paper posted on arXiv at arxiv:1301.2828 in order to lessen the very large gap between the best correctly established upper and lower bounds on the constant factor in the nonuniform Berry-Esseen bound. As an illustration of the possible uses of those inequalities, a quick proof of Nagaev's classical nonuniform bound was given there. Here w… ▽ More Certain smoothing inequalities were proposed in the recent paper posted on arXiv at arxiv:1301.2828 in order to lessen the very large gap between the best correctly established upper and lower bounds on the constant factor in the nonuniform Berry-Esseen bound. As an illustration of the possible uses of those inequalities, a quick proof of Nagaev's classical nonuniform bound was given there. Here we describe another, apparently more effective class of smoothing inequalities, and give a yet quicker and simpler proof of Nagaev's result. △ Less

Submitted 27 April, 2013; v1 submitted 3 February, 2013; originally announced February 2013.

Comments: Version 2: bounding of the "inconvenient" term containing |X| and discussed in Remark 3.4 is improved. Version 3: citation of http://arxiv.longhoe.net/abs/1301.2828 is updated

MSC Class: 60E15; 62E17

On the nonuniform Berry--Esseen bound

Authors: Iosif Pinelis

Abstract: Due to the effort of a number of authors, the value c_u of the absolute constant factor in the uniform Berry--Esseen (BE) bound for sums of independent random variables has been gradually reduced to 0.4748 in the iid case and 0.5600 in the general case; both these values were recently obtained by Shevtsova. On the other hand, Esseen had shown that c_u cannot be less than 0.4097. Thus, the gap fact… ▽ More Due to the effort of a number of authors, the value c_u of the absolute constant factor in the uniform Berry--Esseen (BE) bound for sums of independent random variables has been gradually reduced to 0.4748 in the iid case and 0.5600 in the general case; both these values were recently obtained by Shevtsova. On the other hand, Esseen had shown that c_u cannot be less than 0.4097. Thus, the gap factor between the best known upper and lower bounds on (the least possible value of) c_u is now rather close to 1. The situation is quite different for the absolute constant factor c_{nu} in the corresponding nonuniform BE bound. Namely, the best correctly established upper bound on c_{nu} in the iid case is about 25 times the corresponding best known lower bound, and this gap factor is greater than 30 in the general case. In the present paper, improvements to the prevailing method (going back to S. Nagaev) of obtaining nonuniform BE bounds are suggested. Moreover, a new method is presented, of a rather purely Fourier kind, based on a family of smoothing inequalities, which work better in the tail zones. As an illustration, a quick proof of Nagaev's nonuniform BE bound is given. Some further refinements in the application of the method are shown as well. △ Less

Submitted 8 May, 2013; v1 submitted 13 January, 2013; originally announced January 2013.

Comments: Version 2: Another, more flexible and general construction of the smoothing filter is added. Some portions of the material are rearranged. In particular, now constructions of the smoothing filter constitute a separate section. Version 3: a few typos are corrected. Version 4: the historical sketch is revised. Version 5: two references added

MSC Class: 60E15; 62E17