All Questions
Tagged with pr.probability geometric-probability
164 questions
4
votes
0
answers
52
views
Isomorphism of Wasserstein space implies isomorphism of base spaces?
Assume $(X_i,d_i)$ are polish spaces (or compact metric spaces) for $i=1,2$.
Further assume that the 1- Wasserstein spaces $(P_1(X_1),W_1)$ and $(P_1(X_2),W_1)$ are isometrically isomorphic. Does that ...
0
votes
0
answers
24
views
Is there a log-concave distribution not spherical symmetric s.t $ \langle X, \theta \rangle$ is almost normal for all directions $\theta$?
Klartag's results indicate that for a log-concave isotropic random vector, with high probability over $\theta$, $\langle X, \theta \rangle$ is close to a normal distribution.
It is known that for the ...
11
votes
1
answer
746
views
Find the area of the region enclosed by $\sin^p x+\sin^p y=\sin^p(x+y)$, the $x$-axis and the $y$-axis (comes from a probability question)
Consider the graph of $\sin^p x+\sin^p y=\sin^p(x+y)$, where $x$ and $y$ are acute, and $p>1$.
Here are examples with, from left to right, $p=1.05,\space 1.25,\space 2,\space 4,\space 100$.
Find ...
13
votes
1
answer
761
views
If $(a,b,c)$ are the sides of a triangle, then the probability $P(ax + by \ge c) = \frac{4}{\pi^2}\chi_2(x) + \frac{4}{\pi^2}\chi_2(y)$
Posting this question in MO since it is unanswered in MSE
Let $(a,b,c)$ be the side of a triangle. In its most general linear form, the triangle inequality can be expressed as: Does $ax + by \ge c$ ...
13
votes
1
answer
484
views
A probability involving areas in a random pentagram inscribed in a circle: Is it really just $\frac12$?
This question was posted at MSE but was not answered.
The vertices of a pentagram are five uniformly random points on a circle. The areas of three consecutive triangular "petals" are $a,b,c$...
6
votes
1
answer
374
views
Almost evenly distributed spherical random vectors
Consider $n$ i.i.d spherically distributed random vectors $z_1 ,\cdots , z_n \sim \text{Unif}(\mathbb{S}^{d-1})$. What is the best lower bound on $n$ for which whp there exists a constant $c>0$ ...
13
votes
8
answers
1k
views
The vertices of a triangle are three random points on a unit circle. The side lengths are, in random order, $a,b,c$. Show that $P(ab>c)=\frac12$
The vertices of a triangle are three unifomly random points on a unit circle. The side lengths are, in random order, $a,b,c$.
There is a convoluted proof that $P(ab>c)=\frac12$. But since the ...
2
votes
2
answers
195
views
Random partition of an interval – Dirichlet distributed?
Let $X_1, \ldots, X_N \sim \operatorname{Unif}[0,1]$ and consider the intervals between successive order statistics: $[0, X_{(1)}], [X_{(1)}, X_{(2)}], \ldots, [X_{(N)}, 1]$.
What is the distribution ...
2
votes
0
answers
64
views
Limiting distribution of separated points in a unit square
Let $n$ and $r$ be fixed, and consider the following process, with $S=\emptyset$ to start:
For $i\in\{1,\dots,n\}$:
Sample a random point $X$ in the unit square.
If $X$ is a distance at least $r$ ...
14
votes
1
answer
1k
views
A disc contains many random points. Each point is connected to its nearest neighbor. What is the expectation of average cluster size?
A disc contains $n$ independent uniformly distributed points. Each point is connected by a line segment to its nearest neighbor, forming clusters of connected points.
For example, here are $20$ random ...
0
votes
1
answer
197
views
Area on the unit sphere swept out by big circles corresponding to a curve
For a point on the unit sphere, we know the plane perpendicular to the line through the origin and the point cuts the sphere with a big circle. When the point moves along a sphere curve, the ...
47
votes
7
answers
5k
views
Intuitive proof that the first $(n-2)$ coordinates on a sphere are uniform in a ball
It is a classical fact that if $(x_1,\ldots,x_n)$ is a random vector uniformly distributed on the sphere $S^{n-1} \subseteq \mathbb{R}^n$, then the random vector $(x_1,\ldots,x_{n-2})$ is uniformly ...
15
votes
0
answers
398
views
Will a unit disk be completely covered by randomly placed disks of area $\pi,\frac{\pi}{2},\frac{\pi}{3},\dots$ with probability $1$?
On a "bottom" disk of area $\pi$, we place "top" disks of area $\pi,\frac{\pi}{2},\frac{\pi}{3},\dots$ such that the centre of each top disk is an independent uniformly random ...
3
votes
2
answers
442
views
What happens to the Gaussian volume of a Borel set when it is translated?
Let $\gamma_n$ be the standard Gaussian measure on $\mathbb R^n$, $A \subseteq \mathbb R^n$ be Borel and $c \in \mathbb R^n$. Define the translate $A_c := c + A := \{c+a \mid a \in A\} = \{x \in \...
14
votes
3
answers
4k
views
How to generate random points in $\ell_p$ balls?
How do I feasibly generate a random sample from an $n$-dimensional $\ell_p$ ball? Specifically, I'm interested in $p=1$ and large $n$. I'm looking for descriptions analogous to the statement for $p=2$:...
2
votes
1
answer
275
views
Does this KL divergence inequality hold?
Suppose $p$ and $q$ are two discrete distributions. Given a positive constant $\beta\in(0,1)$, we create a new discrete distribution $y$ such that
$$
\frac{y\left( x \right)}{p\left( x \right)}=\frac{\...
7
votes
1
answer
310
views
Local Lipschitzness of parameterization of Gaussians in Wasserstein space
Fix a positive integer $n$ and consider the $2$-Wasserstein space $\mathcal{P}_2(\mathbb{R}^n)$. Let $X$ be the cone of $n\times n$ symmetric positive semidefinite matrices with Frobenius norm and ...
2
votes
0
answers
306
views
Why is it impossible to create a numerically balanced die with more than 120 sides?
I allow myself to contact you as a mathematics enthusiast. I have recently been intrigued by the concept of balance in dice and the assertion that it would be impossible to create a numerically ...
2
votes
0
answers
185
views
An attempt to define expected value of a Riemannian manifold valued random variable - what'll go wrong?
Let $X:\Omega\to (M,g)$ be a random variable taking values in a Riemannian manifold $(M,g)$ with the Riemannian volume form denoted by $dvol_g(x).$ We know that there's no standard way to generalize ...
7
votes
3
answers
2k
views
Packing density of randomly deposited circles on a plane
Let's say that I have a rectangular two-dimensional surface of bounded dimensions, $[0,A]$ and $[0,B]$:
Under "no overlap" constraints, I sequentially deposit circles of radii $r_c$ on this surface,...
0
votes
1
answer
119
views
How many samples do you need to get constant dispersion?
Let $C_n$ be the hypercube $[-1,1]^n$. For $a_1,\cdots,a_s \in C_n$, define its dispersion $D(a_1,\cdots,a_s)$ as $\max_{x \in C_n}\min_{i \in [s]} \|x-a_i\|_{2}$. Let $0< \lambda < 1$ be a ...
2
votes
1
answer
201
views
Dispersion of a "random" subset of $[-1,1]^2$
Let $C$ be the square $[-1,1]^2$. Let $a_1,\dots,a_m$ be points chosen independently and uniformly at random from $C$. Let $d_m$ (dispersion) be the random variable $\max_{x \in C}{\min_{j \in [m]}{\|...
11
votes
2
answers
968
views
Clique sizes in a unit disk graph
This is a spiritual successor to a question that Peter Shor answered here:
Generalized Euclidean TSP
Are there any results known on the asymptotic behavior of clique sizes in a unit disk graph with ...
12
votes
6
answers
3k
views
Marginal density of uniform spherical distribution
Suppose that $X$ is distributed uniformly in the scaled $n$-sphere $\sqrt{n} \mathbf{S}^{n-1} \subset \mathbf{R}^n$. Then apparently the distribution of $(X_1, \dots, X_k)$, the first $k < n$ ...
0
votes
1
answer
91
views
Can a measure on a finite metric space be Alhfors regular?
Recall that a probability $\mu$ measure on a metric space $(X,d)$ is called Ahlfors $q$-regular if there are $0<c\le C$ such that: for $\mu$-a.e.\ $x\in X$ one has
$$
cr^q \le \mu(B(x,r)) \le Cr^q,
...
0
votes
1
answer
115
views
Order of orthant probabilities in a prolate multinormal distribution
This is inspired by the negative answer to the conjecture in Which orthant probabilities are the largest? (For a multivariate normal distribution).
Suppose $X$ has the $k$-dimensional multivariate ...
6
votes
1
answer
264
views
Which orthant probabilities are the largest? (For a multivariate normal distribution)
I have a $k$-dimensional multivariate normal distribution $X∼N(0,\Sigma)$ with covariance matrix $\Sigma$. $\Sigma$ has two distinct eigenvalues, say $\lambda_1 > \lambda_2$, with orthogonal ...
2
votes
1
answer
81
views
Distribution of scaled Johnson-Lindenstrauss transforms
Suppose that $\mathcal{D}$ is a Johnson-Lindenstrauss (JL) distribution on $\mathbb{R}^{r\times n}$ ($1 \le r \le n$), meaning that there exist constants $\epsilon, \delta \in(0,1)$ such that
$$
\...
1
vote
1
answer
229
views
Gaussian width of intersection of cube and ball in high-dimensional euclidean space
Let $d$ be a large positive integer and fix $r \ge 0$. Set $S := B_2^n \cap [-r,r]^d$, where $B_2^d$ is the euclidean unit-ball in $\mathbb R^d$. Finally, let $\omega(S)$ be the Gaussian width of $S$, ...
5
votes
1
answer
698
views
Lower bound for mutual inner products of N random unit vectors in $\mathbb{R}^n$, N > n
I have $N$ independent random unit vectors $\{v_i\}$ in $\mathbb{R}^n$, where N > n. I need a concentration inequality of the form
$$\text{P}(|v_i \cdot v_j| > \epsilon \,\,\,\, \forall i, j = 1, \...
1
vote
1
answer
241
views
Integration by parts for indicator of a sphere to indicator of a ball
Broadly speaking, I have a radial distribution on $\mathbb R^n$, i.e., the pdf only depends on the $\ell_2$-norm of the argument. I would like to obtain an expression for the pdf in the form $\int_{w=...
4
votes
2
answers
343
views
Concentration of $k$-th pairwise distance of random points in a unit square
For $1\leq i \leq n$, let $X_i\sim \text{Uniform}(0,1)$, $Y_i \sim \text{Uniform}(0,1)$ be $n$ points chosen uniformly in the unit square. Denote the $k$-th smallest pairwise distances across the $n$ ...
4
votes
1
answer
1k
views
Defining a probability distribution on each tangent space of a manifold?
I've been reading about probability on manifolds. What bothers me is that there's no clear way to generalize the Gaussian distribution to manifolds. If we instead assign a probability distribution to ...
5
votes
3
answers
5k
views
Distribution of the individual coordinates of a uniform random vector on a high-dimensional sphere
Let $X=(X_1,\ldots,X_n)$ be a random vector uniformly distributed on the $n$-dimensional sphere of radius $R > 0$. Intuitively, i think that for large $p$ every coordinate $X_i$ is normally ...
5
votes
1
answer
2k
views
Normal multivariate orthant probabilities
(Previously I posted a similar question on math.SE, hoping that this question would have an easy answer. As the question appears hard, I am hoping I can perhaps get more feedback here.)
Let $\mathbf{...
2
votes
0
answers
131
views
Eigenvalues of Witten Laplacian induced by log-concave probability measure on manifold
Let $M$ be a closed $n$-dimensional Riemannian manifold and let $\mu=e^{-V}d\mathrm{vol}_M$ be a log-concave probability measure on $M$, such that the pair $(M,\mu)$ verifies the so-called Bakry-Emery ...
0
votes
1
answer
247
views
Projecting a given point onto a random $2$-dimensional plane in more than $3$ dimensions
We are given $\mathbf{p}\in\mathbb{R}^d$, where $d\gg 1$. Let $\mathbf{v}$ be a point selected uniformly at random from the unit $(d-1)$-sphere $\mathcal{S}^{d-1}$ centered at the origin $\mathbf{0}\...
0
votes
1
answer
292
views
Volume of randomly changing sphere follows beta distribution
We are given $X,X_1,\ldots,X_N$ independent and identically distributed $k$-dimensional vectors. For a given query point $X_q\in\mathbb{R}^k$ assume without loss of generality that $X_1,\ldots,X_m$ ...
0
votes
0
answers
195
views
Upper-bound for bracketing number in terms of VC-dimension
Let $P$ be a probability distribution on a measurable space $\mathcal X$ (e.g;, some euclidean $\mathbb R^m$) and let $F$ be a class of funciton $f:\mathcal X \to \mathbb R$. Given, $f_1,f_2 \in F$, ...
1
vote
0
answers
223
views
Given p1=P(X1>X2), p2=P(X1=X2) and p3=P(X1<X2) (with necessarily p1+p2+p3=1), what is λ1 and λ2? [closed]
In the following three equations : p1, p2, p3 are known, find λ1=? , λ2=?
(with necessarily p1+p2+p3=1)
$$ p_1 = \sum_{0 \leq k_2 \lt k_1 \in Z}(\frac {\lambda _1^{k_1}} {k_1!}\cdot{e^{-\lambda _1}})(\...
2
votes
1
answer
149
views
Tightly placed sphere caps
Problem. Fix a positive real $r>0$ and a positive integer $n>0$. Consider an independent, identical sample $X_1, \ldots X_n$ drawn from the uniform distribution over the unit $d$-sphere $\mathbb ...
1
vote
1
answer
115
views
Approximating the probability of a half-space using random Voronoi diagrams
Fix a half-space $H = \{x_1 \geq 0: ~ (x_1,\dots,x_n) \in \mathbb{R}^n\}$. Let $p$ be a distribution with support in $\mathbb{R}^n$. I am interested in the following way of estimating the weight $p(H) ...
0
votes
2
answers
187
views
Time-derivative of integral over sub-level set $s(t) := \int_{f^{-1}((-\infty,t])}p(x)dx$
Let $\mu$ be a probability distribution on $\mathbb R^d$ with "sufficiently regular" density $p$. Let $f:\mathbb R^d \to \mathbb R$ be a "sufficiently regular" function. Finally, ...
1
vote
1
answer
231
views
For $x_1,...,x_n$ iid random on sphere of radius $\sqrt{d}$ in $R^d$, what is a good upper-bound on min distance of $x_{n}$ from the other $x_i$'s?
Let $n$ and $d$ be large positive integers with $n \le d^\gamma$, for some absolute constant $\gamma>0$; i.e., $n$ is at most polynomial in $d$. Let $x_1,\ldots,x_n,x_{n+1}$ be drawn iid from the ...
4
votes
0
answers
259
views
Malliavin calculus and geometric interpretation of $\nabla \cdot ({\nabla F(x)}{\|\nabla F(x)\|^{-2}})$, with regards to the surface $S = \{F = 0\}$
Let $F:\mathbb R^n \to \mathbb R$ be a "sufficiently regular" function. For any $k \ge 1$ and $x \in \mathbb R^n$, define
$$
\alpha_k(x) := \nabla \cdot \left(\dfrac{\nabla F(x)}{\|\nabla F(...
2
votes
1
answer
297
views
Examples of "almost" Ahlfors regular measures
Let $\mu$ be a Borel probability measure on $\mathbb{R}^n$ such that there are $c,C,d,D>0$ satisfying: for every $x \in \mathbb{R}^n$ and every $r>0$
$$
c r^d \leq \mu(B(x,r)) \leq Cr^D.
$$
Let'...
4
votes
1
answer
209
views
Is $\int_{-c}^c |A \cap (x + A)|\, dx$ maximized when the measurable subset $A \subseteq \mathbb R$ is an interval centered at the origin?
Let $A$ be a nonempty measurable subset of $\mathbb R$, with Lebesgue measure $|A|=1$, and let $c>0$. Define the scalar $I(A)$ by
$$
I(A) := \int_{-c}^c |A \cap (x + A)|\, dx,
$$
where $x+A := \{x +...
2
votes
1
answer
165
views
Existence of preferred direction for a random vector with arbitrary distribution on sphere, under a condition on its covariance matrix
Let $X$ be random vector on the unit-sphere $S_{n-1}$ in $\mathbb R^n$. We don't assume that the distribution of $X$ is uniform on $S_{n-1}$
I'm interested in proving the existence of a (...
1
vote
0
answers
143
views
$\newcommand\v{\operatorname{vol}_d(C}$Compact subsets of $ℝ^d$ which maximize $\inf_{|v|\le1}\dfrac{\v\cap(𝜀v+C))}{\v)}$ for fixed $\v)$ and $𝜀>0$
Let $\operatorname{vol}_d$ be the volume measure on $\mathbb R^d$ and let $B_d$ be the unit-ball. For $\varepsilon \ge 0$ and a compact subset $C$ of $\mathbb R^d$ with $\operatorname{vol}_d(C)>0$, ...
1
vote
2
answers
283
views
Building the Wasserstein space by pushforwards
Let $\mathbb{R}^d$ denote the $d$-dimensional Euclidean space, $\mathcal{W}_2(\mathbb{R}^d)$ denote the $2$-Wasserstein space with respect to the $d$-dimensional Euclidean space $\mathbb{R}^d$. Let $...