Questions tagged [pr.probability]
Theory and applications of probability and stochastic processes: e.g. central limit theorems, large deviations, stochastic differential equations, models from statistical mechanics, queuing theory.
868
questions
3
votes
2
answers
675
views
Birthday inequality for non-uniform distributions for fixed collision probability (random allocation, collision probability)
Question: Consider a distribution $D$, and $n$ i.i.d. random variables $X_i$, all distributed according to $D$. Let $p^D_2:=\Pr[X_1=X_2]$. What is a lower bound for $p^D_n:=\Pr[\exists i\neq j. X_i=...
2
votes
1
answer
395
views
Proof and interpretation of the following percolation theory result for $n\times n$ square grid
While I was discussing this question with @JamesMartin, he mentioned a result here that:
In a $n\times n$ finite square grid, if $p\geq p_c+\epsilon$, such
that $\epsilon>0$ and $p_c$ is the ...
2
votes
2
answers
495
views
Geometry interpretation of any continuous random variable
Given a continuous random variable $X$ with the cdf $F_X(x)$, I want to know whether there exists a random vector $\mathbf{Z}$ uniformly distributed in a geometry region $\mathscr{Z}_n$ in $\mathbb{R}^...
2
votes
2
answers
305
views
If $(\exp(\mu_n))_{n\in\mathbb N}$ is weakly convergent, is the normalized sequence convergent as well?
Let $E$ be a metric space and $\mathcal M(E)$ denoote the space of finite signed measures on $\mathcal B(E)$ equipped with the total variation norm $\left\|\;\cdot\;\right\|$.
I would like to know ...
2
votes
1
answer
357
views
Is $g(t)=\mathbb P[\inf_{0\le s\le t}X_s>0]$ differentiable with respect to $t$?
Consider the SDE
$$dX_t =b(t)dt + a(t)dW_t,\quad \forall t>0,$$
with $X_0>0$ has a density function $\rho:\mathbb R_+\to\mathbb R_+$. Consider the probability $g(t):=\mathbb P[\inf_{0\le s\le t}...
2
votes
0
answers
101
views
Stochastic stability of "open" continuous-time stochastic systems: reference request
I'm looking for results on the stability of stochastic systems, e.g. SDEs, whose coefficients depend on a different process that is not necessarily stable. I'm calling those systems "open" here, but ...
2
votes
1
answer
145
views
Computationally random bitstreams and normalcy
Let $\mathbb{N}$ denote the set of non-negative integers. We can identify every bitstream, i.e. a function $s:\mathbb{N}\to \{0,1\}$, with some $A\in{\cal P}(\mathbb{N})$: take $A = s^{-1}(\{1\})$.
...
2
votes
1
answer
576
views
distribution on the inverse Wishart matrix eigenvalues summation
Let $\lambda_1>\lambda_2>....>\lambda_N$ be the ordered eigenvalues of Wishart matrix my objective is to find if it is possible the distribution of:
\begin{align}
s = \sum\limits_{i = 1}^...
2
votes
0
answers
174
views
Optimal transport: how is the use of disintegration theorem valid in this construction of $\widetilde{\phi}$?
Let $X,Y$ be Polish spaces and $\mathcal P(X)$ the space of all Borel probability measures on $X$.
Fix $\mu\in \mathcal P(X), \nu \in \mathcal P(Y)$. Let $\pi \in \Pi(\mu, \nu)$, i.e., $\pi \in \...
2
votes
2
answers
343
views
Is the Erdős–Rényi giant component result applicable here?
Consider a matrix whose elements are independently assigned a value $1$ with probability $p$ and a value $0$ with probability $1-p$.
Define a cluster of cells as a maximal connected component in the ...
1
vote
2
answers
232
views
Find $\inf_{P_{X_1,X_2}}P_{X_1,X_2}(\|X_1-X_2\| > 2\alpha)$ , where $\alpha > 0$ and inf is over couplings
Let $\mathcal X$ be a seperable Banach space with norm $\|\cdot\|$, and let $X_1$ and $X_2$ be random vectors on $\mathcal X$ with finite means.
Question. Given $\alpha > 0$, what is value of, ...
1
vote
1
answer
138
views
Comparison of hitting probability of two Markov chains both with only one absorbing state version 2 under stronger condition
Let $N_n:=\{1,2,\cdots,n\}$. Given two finite states Markov chains $\big(X^{(j)}_i\in N_n\}\big)_{i=0}^\infty$ for $j\in\{1,2\}$, both of which have two absorbing states at $1$ and $n$.
$\text{Pr}\...
1
vote
1
answer
353
views
How fast does this Gaussian random walk move away from the origin?
Suppose $z_i$ are IID zero-centered $d$-dimensional Gaussian random variables with unit-trace covariance $\Sigma$ and $g(z_i)$ is the sum of its components.
Consider the following random walk:
$$x_s=\...
1
vote
2
answers
1k
views
Sum of digits iterated
Original version.
I believe that it is an elementary question, already discussed somewhere. But I just have no idea of how to start it properly. Take a positive integer $n=n_1$ and compute its sum of ...
1
vote
1
answer
178
views
Measure, volume and cardinality on Minlos' book on statistical physics
The following content was based on Minlos' book on statistical physics. Let $\Lambda \subset \mathbb{R}^{d}$ be fixed (Minlos takes $d=3$ but I think the ideas follow without change to $d \ge 1$). We ...
1
vote
1
answer
87
views
On the marginal distributions of an absorbed diffusion
This question can be seen as a variant of the post Bounded density for diffusions with diffusion coefficients bounded away from $0$ by Iosif Pinelis. Namely, consider the diffusion
$$X_t=\int_0^t a(s,...
1
vote
2
answers
182
views
Continuity of the densities of a stochastic process
Let $X=(X_t)_{t\in I}$ ($I\subset\mathbb{R}$ an interval) be a stochastic process with continuous sample paths and such that $X_t$ admits a continuous Lebesgue density $\chi_t\in C(\mathbb{R}^d)$ for ...
0
votes
1
answer
182
views
Poisson kernel, $E^{(x, y)}\text{exp}\{i\theta X_t - \theta Y_t\} = e^{i\theta x - \theta y}$
Let $d = 2$, and consider the domain $D = \mathbb{H}$, the upper half-plane. Let $W_t = (X_t, Y_t)$. How do I see that for any $\theta \in \mathbb{R}$ and any $t \ge 0$, we have$$E^{(x, y)}\text{exp}\{...
0
votes
1
answer
179
views
Bound on queries to a tree with unusual probabilties -- follow-up
This question follows up on Bound on queries to a tree with unusual probabilities, where @fedja was able to disprove my conjecture under only constraints (1-4) below. I restate the relevant facts here ...
0
votes
1
answer
119
views
Bound the expectation of an average
Let $(a_n)_{n \geq 1}$ be random variables taking values on a finite subset $B$. Assume that $\nu_l(b) \le P[a_n = b\mid a_1,\ldots,a_{n-1}] \le \nu_u(b)$ almost surely for every $n \ge 1$ and $b \in ...
0
votes
1
answer
515
views
Is the limsup or liminf of n-wise independent events independent?
Let $(\Omega, \mathscr F, \mathbb P)$ be a probability space.
Consider events indexed by $m, n \in \mathbb N$:
$ \ \ \ \ \ \ \ \ \ \ \ A_{1,n}, A_{2,n}, A_{3,n} ...$ are n-wise independent.
$A_{m,1}...
175
votes
7
answers
29k
views
Why do probabilists take random variables to be Borel (and not Lebesgue) measurable?
I've been studying a bit of probability theory lately and noticed that there seems to be a universal agreement that random variables should be defined as Borel measurable functions on the probability ...
98
votes
17
answers
121k
views
Google question: In a country in which people only want boys [closed]
Hi all!
Google published recently questions that are asked to candidates on interviews. One of them caused very very hot debates in our company and we're unsure where the truth is. The question is:
...
92
votes
1
answer
11k
views
The mathematical theory of Feynman integrals
It is well known that Feynman integrals are one of the tools that physicists have and mathematicians haven't, sadly.
Arguably, they are the most important such tool. Briefly, the question I'd like to ...
74
votes
11
answers
26k
views
Does War have infinite expected length?
My question concerns the (completely deterministic) card game known as War, played by seven-year-olds everywhere, such as my son Horatio, and sometimes also by others, such as their fathers.
The ...
65
votes
4
answers
4k
views
Perron number distribution
A Perron number is a real algebraic integer $\lambda$ that is larger than the absolute value of any of its Galois conjugates. The Perron-Frobenius theorem says that any
non-negative integer matrix $M$ ...
55
votes
5
answers
5k
views
Random manifolds
In the world of real algebraic geometry there are natural probabilistic questions one can ask: you can make sense of a random hypersurface of degree d in some projective space and ask about its ...
53
votes
4
answers
8k
views
Why is Quantum Field Theory so topological?
I understand that my question suffers from my lack of knowledge about the field, but as a mathematician without much knowledge of physics I have been wondering much about the following and I always ...
51
votes
3
answers
3k
views
What is the sandpile torsor?
Let G be a finite undirected connected graph. A divisor on G is an element of the free abelian group Div(G) on the vertices of G (or an integer-valued function on the vertices.) Summing over all ...
48
votes
7
answers
12k
views
What's the use of a complete measure?
A complete measure space is one in which any subset of a measure-zero set is measurable.
For what reasons would I want a complete measure space? The only reason I can think of is in the context of ...
42
votes
8
answers
2k
views
How to quantify noncommutativity?
If I have two operators or finite-dimensional matrices $A$ and $B$, how can I quantify the amount to which they commute or don't commute? (I would consider it a big plus if it is computable easily for ...
41
votes
4
answers
2k
views
What is the probability two random maps on n symbols commute?
It is well known that two randomly chosen permutations of $n$ symbols commute with probability $p_n/n!$ where $p_n$ is the number of partitions of $n$. This is a special case of the fact that in a ...
40
votes
4
answers
4k
views
Polynomials on the Unit Circle
I asked this question in math.stackexchange but I didn't have much luck. It might be more appropiate for this forum. Let $z_1,z_2,…,z_n$ be i.i.d random points on the unit circle ($|z_i|=1$) with ...
38
votes
3
answers
4k
views
Manifold of probability measures: connections between two types of metrics
The space of probability measures could be viewed as an infinite-dimensional manifold, equipped with two possible types of metrics — (1) Wasserstein and (2) Fisher-Rao. Metric (1) is connected with ...
37
votes
3
answers
3k
views
An entropy inequality
Let $X,Y$ be probability measures on $\{1,2,\dots,n\}$, and set $K=\sum_i\sqrt{X(i)Y(i)}$ so that $Z:=\frac{1}{K}\sqrt{XY}$ is also a probability measure on $\{1,2,\dots,n\}$. How can we prove the ...
36
votes
3
answers
4k
views
the following inequality is true,but I can't prove it
The inequality is
\begin{equation*}
\sum_{k=1}^{2d}\left(1-\frac{1}{2d+2-k}\right)\frac{d^k}{k!}>e^d\left(1-\frac{1}{d}\right)
\end{equation*}
for all integer $d\geq 1$. I use computer to verify ...
35
votes
4
answers
2k
views
Determinant of the random matrix $X^2+Y^2$
$\DeclareMathOperator\Prob{Prob}$Let $X,Y\in M_n(\mathbb{R})$ be $2$ random matrices. The entries of $X,Y$ are i.i.d. variables. They follow the standard normal law $N(0,1)$.
i) When $n=2,3,4$, one ...
33
votes
4
answers
9k
views
A Markov process which is not a strong markov process?
Can anyone give an example of a Markov process which is not a strong Markov process? The Markov property and strong Markov property are typically introduced as distinct concepts (for example in ...
32
votes
1
answer
4k
views
Do invariant measures maximize the integral?
Update: The negative answer to the following question has been provided by Matthew Daws, who won, but also rejected, the bounty of 100 euro that I set over the question.
Let $\mathcal M(\mathbb Z)$ ...
32
votes
3
answers
2k
views
Intrinsic significance of differential entropy
Many commentators (e.g. Jaynes, Rota) argue that the notion of "differential entropy" is problematic (as commonly defined by $ h(X) = \int ( \log\frac{1}{p(x)} ) p(x) \, dx $, where $X$ is a random ...
31
votes
2
answers
11k
views
Intuition of law of iterated logarithm?
Let $X_i$ be iid random variables with $EX_i = 0$ and $Var X_i=1$ and $S_n=X_1+\cdots+X_n$. Then the law of the iterated logarithm says almost everywhere we have
$$\limsup_{n\to\infty}\frac{S_n}{\...
31
votes
5
answers
6k
views
What is a good method to find random points on the n-sphere when n is large?
As part of a more complex algorithm, I need a fast method to find random points of the n-sphere, $S^n$, starting with a RNG (random number generator). A simple way to do this (in low dimensions at ...
31
votes
4
answers
4k
views
Is a random subset of the real numbers non-measurable? Is the set of measurable sets measurable?
One might say, "a random subset of $\mathbb{R}$ is not Lebesgue measurable" without really thinking about it. But if we unpack the standard definitions of all those terms (and work in ZFC), it's not ...
30
votes
3
answers
2k
views
Random knot on six vertices
This question is inspired by Joseph O'Rourke's beautiful question on random knots. Choose an random ordered 6-tuple of points on the unit sphere in $\mathbf{R}^3$, and form a knot by connecting ...
29
votes
6
answers
2k
views
Combinatorial Morse functions and random permutations
This question has its origin in combinatorial topology. In the 90s R. Forman proposed a discrete counterpart of Morse theory. In his case, a Morse function on a triangulated space is a function ...
28
votes
6
answers
2k
views
Random Alternating Permutations
An alternating permutation of {1, ..., n} is one were π(1) > π(2) < π(3) > π(4) < ... For example: (24153) is an alternating permutation of length 5.
If $E_n$ is the number of alternating ...
28
votes
2
answers
763
views
Probability of generation of ${\mathbb Z}^2$
What is the probability that three pairs $(a,b) $ , $(c,d) $ and $(e,f) $ of integers generate $\mathbb Z^2$? As usual the probability is the limit as $n\to \infty$ of the same probability for the $n\...
28
votes
4
answers
2k
views
If $X$ and $Y$ independent and identically distributed, then $E(|X-Y|)\leq E(|X+Y|)$. Are other proofs of this known?
I know a proof of the theorem that if $X$ and $Y$ independent and identically distributed, then $E(|X-Y|)\leq E(|X+Y|)$. The proof uses an integral representation of the absolute value,
$$\int_0^\...
27
votes
5
answers
7k
views
Probability of a Random Walk crossing a straight line
Let $(S_n)_{n=1}^{\infty}$ be a standard random walk with $S_n = \sum_{i=1}^n X_i$ and $\mathbb{P}(X_i = \pm 1) = \frac{1}{2}$. Let $\alpha \in \mathbb{R}$ be some constant. I would like to know the ...
27
votes
5
answers
2k
views
Moments of area of random triangle inscribed in a circle
The $2m$th moment of the (random) area of the triangle whose vertices are three independent, uniformly distributed random points on the unit circle appears to be $((3m)!/(m!)^3)/16^m$. Can anyone ...