SearcharxivSearch

arXiv subjects

Iosif Pinelis

Publications and source records attributed to Iosif Pinelis.

At least 19 recordsLinked to original sources

Equi-dependence implying independence

It is shown that, if an event $A$ has the same conditional probability in each trial in an infinite sequence of Bernoulli trials, then $A$ is independent of each trial. More general results are actually established.

math.PR

Does the Convex Order Between the Distributions of Linear Functionals Imply the Convex Order Between the Probability Distributions Over $\mathbb R^d$?

It is shown that the convex order between the distributions of linear functionals does not imply the convex order between the probability distributions over $\mathbb R^d$ if $d\ge2$. This stands in contrast with the well-known fact that any probability distribution in $\mathbb R^d$, for any $d\ge1$, is determined by the corresponding distributions of linear functionals. By duality, it follows that, for any $d\ge2$, not all convex functions from $\mathbb R^d$ to $\mathbb R$ can be represented as the limits of sums $\sum_{i=1}^k g_i\circ \ell_i$ of convex functions $g_i$ of linear functionals $\ell_i$ on $\mathbb R^d$.

math.PR

On the sum of the angles between three vectors

For any three nonzero vectors $a,b,c$ in $\mathbb R^2$, we obtain a necessary and sufficient condition for the sum of the three pairwise angles between these vectors to equal $2π$. As an easy consequence of this, a proof of Euclid's theorem that the sum of the interior angles of any triangle is $π$ is provided. So, the main result of this note can be considered a generalization of Euclid's theorem. To a large extent, the consideration is reduced almost immediately to a choice for the sum of three related angles among the three integer multiples $0,2π,4π$ of $π$. The rest of the consideration concerns only various betweenness relations.

math.MG

An Information-Theoretic Analog of the Twin Paradox

We revisit the familiar scenario involving two parties in relative motion, in which Alice stays at rest while Bob goes on a journey at speed $βc$ along an arbitrary trajectory and reunites with Alice after a certain period of time. It is a well-known consequence of special relativity that the time that passes until they meet again is different for the two parties and is shorter in Bob's frame by a factor of $\sqrt{1-β^2}$. We investigate how this asymmetry manifests from an information-theoretic viewpoint. Assuming that Alice and Bob transmit signals of equal average power to each other during the whole journey, and that additive white Gaussian noise is present at both sides, we show that the maximum number of bits per second that Alice can transmit reliably to Bob is always higher than the one Bob can transmit to Alice. Equivalently, the energy per bit invested by Alice is lower than that invested by Bob, meaning that the traveler is less efficient from the communication perspective, as conjectured by Jarett and Cover.

cs.IT

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

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.

math.CV

Multidimensional probability inequalities via spherical symmetry

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.

math.PR

What Intraclass Covariance Structures Can Symmetric Bernoulli Random Variables Have?

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.

math.ST

Asymptotic relative efficiency of the Kendall and Spearman correlation statistics

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.

math.ST

Exact lower and upper bounds for shifts of Gaussian measures

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.

math.PR

Large Deviations Of Sums Mainly Due To Just One Summand

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.

math.PR

Differentially Private Fractional Frequency Moments Estimation with Polylogarithmic Space

We prove that $\mathbb{F}_p$ sketch, a well-celebrated streaming algorithm for frequency moments estimation, is differentially private as is when $p\in(0, 1]$. $\mathbb{F}_p$ sketch uses only polylogarithmic space, exponentially better than existing DP baselines and only worse than the optimal non-private baseline by a logarithmic factor. The evaluation shows that $\mathbb{F}_p$ sketch can achieve reasonable accuracy with strong privacy guarantees.

cs.CR

Modulus of continuity of the quantum $f$-entropy with respect to the trace distance

A well-known result due to Fannes is a certain upper bound on the modulus of continuity of the von Neumann entropy with respect to the trace distance between density matrices; this distance is the maximum probability of distinguishing between the corresponding quantum states. Much more recently, Audenaert obtained an exact expression of this modulus of continuity. In the present note, Audenaert's result is extended to a broad class of entropy functions indexed by arbitrary continuous convex functions $f$ in place of the Shannon--von Neumann function $x\mapsto x\log_2x$. The proof is based on the Schur majorization.

quant-ph

Monotonicity preservation properties of kernel regression estimators

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.

math.ST