All Questions
Tagged with pr.probability gr.group-theory
102 questions
1
vote
1
answer
185
views
A system of linear equations with way too many unknowns — constructing a bivariate distribution from marginals and "the diagonal"
Suppose we are given information about distributions of random permutations $\sigma, \tau : \Omega \to S_n$ as follows:
$$p^1_{k,l} = \mathbb P(\sigma(k) = l), p^2_{k',l'} = \mathbb P(\tau(k) = l), p^{...
CommunityBot
- 1
21
votes
2
answers
1k
views
Generating random finite groups
I would like a method to efficiently generate a random finite group of a given order $n$.
If there are $g(n)$ non-isomorphic groups of order $n$,
ideally each group would occur with probability $1/g(n)...
- 4,713
2
votes
1
answer
150
views
Can we find background noise for every Følner sequence in a countable amenable group?
Let $G$ be a countable amenable group. We consider sequences $(z_g)_{g\in G}$ of complex numbers with $|z_g|=1$ for all $g\in G$.
I will say $(z_g)_{g\in G}$ is background noise for a (left-)Følner ...
CommunityBot
- 1
7
votes
1
answer
166
views
Random pro-p groups via iterated uniformly random central extensions
Inspired by this question on math.se, I want to understand the following construction of a random pro-$p$ group:
We want to construct an inverse system
$$\cdots \xrightarrow{\alpha_i} G_i \...
CommunityBot
- 1
4
votes
1
answer
223
views
Existence of disintegrations for improper priors on locally-compact groups
In wide generality, the disintegration theorem says that Radon probability measures admit disintegrations. I'm trying to understand the case when we weaken this to infinite measures, specifically ...
CommunityBot
- 1
2
votes
0
answers
100
views
Distributions of random walks on boundaries of balls in hyperbolic metric spaces
Suppose $G$ is a finitely-generated non-elementary hyperbolic group and consider a symmetric random walk on the Cayley graph $\text{Cay}(G,S)$ with generating set $S$. Denote the set of points $B_{\...
- 21
7
votes
0
answers
233
views
Growth of spheres in FINITE nilpotent groups - Gaussian approximation (central limit theorem)?
Standard setup. Consider a group and choose generators. Word-metric (or in the other words - distance on the Cayley graph of the group+generators) - converts a group into a metric space, which is ...
- 24.9k
12
votes
3
answers
891
views
Looking for at least one beautiful and not too technical result in asymptotic group theory
We have a student seminar devoted to the problems of asymptotic group theory with some connections to ergodic theory and measure theory in general. Each talk concerns one of the problems of this ...
- 1,446
23
votes
2
answers
7k
views
What is a Gaussian measure?
Let $X$ be a topological affine space. A Gaussian measure on $X$ is characterized by the property that its finite-dimensional projections are multivariate Gaussian distributions.
Is there a direct ...
- 34.7k
2
votes
1
answer
244
views
Markov property for groups?
My question again refers to the following article:
Koji Fujiwara, Zlil Sela, The rates of growth in a hyperbolic group, Invent. math. 233 (2023) pp 1427–1470, doi:10.1007/s00222-023-01200-w, arXiv:...
- 2,090
9
votes
1
answer
735
views
Where has this structure been observed?
$\newcommand{\M}{\mathcal{M}}$Let $M$ be a monoid. Consider the following structure:
$R_X,R_Y:\mathbb{Z}^2 \to M$ satisfying the following "compatiblity-relation":
$$R_X (x, y) \cdot R_Y (x +...
- 114k
9
votes
2
answers
659
views
Symmetric groups and Poisson processes
Consider the number of fixed points in a permutation chosen uniformly at random from the symmetric group on $n$ elements - this gives a probability distribution. For $k < n$, the $k$-th moments of ...
- 63.9k
15
votes
1
answer
687
views
Probability that a random element of a group is trivial
Let $G$ be an infinite group with a finite generating set $S$. For $n \geq 1$, let $p_n$ be the probability that a random word in $S \cup S^{-1}$ of length at most $n$ represents the identity. Is it ...
- 17k
15
votes
4
answers
1k
views
The critical value of percolation on Cayley graphs.
Let $\Gamma$ be a discrete group with a generating set $S$. Let $p_c(\Gamma,S)$ be the critical probability for percolation of the Cayley graph of $\Gamma$. Is it known that if $\Gamma$ is non-...
- 2,821
10
votes
3
answers
1k
views
Random walks and Lyapunov exponents
Given a sequence $Y_1, Y_2, \dots$ of i.i.d. matrices in $\mathrm{GL}_n(\mathbb R)$, there is a theorem of Furstenberg and Kesten which says that if $\mathbb E(\log\|Y_1\|)$ is finite, there exists a ...
- 63.9k
1
vote
0
answers
177
views
Building random homeomorphisms of the torus $\mathbb T^2$
In https://arxiv.org/abs/0912.3423, a family of random homeomorphisms of the circle is constructed. Main Question: Can the construction be generalized to higher space dimensions, e.g. to $\mathbb T^2$?...
- 101
0
votes
0
answers
118
views
A measure on the group of homeomorphisms of $\mathbb T^2$
Let us consider the group of measure-preserving homeomorphisms of $\mathbb T^2$ (with transformations identified if they agree almost
everywhere) called $G[\mathbb T^2, \mathcal L^2]$. We shall ...
- 101
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 ...
- 7,545
9
votes
4
answers
1k
views
Symmetries of probability distributions
When talking about a single random variable, knowing only its distribution, the construction of a probability space is quite easy. Namely, let $(X,\mathscr A)$ be a measurable space and let $\mathsf Q$...
- 4,713
1
vote
0
answers
311
views
Show that $\mathrm{SL}_2(\mathbb{F}_p)$ is quasi-random
Terry Tao gives this oblique definition of quasirandom group in his notes 3
$G$ is quasi-random (of order $D$) if all non-trivial unitary representations $\rho: G \to U(H)$ have dimension at least $...
- 63.9k
17
votes
1
answer
1k
views
Can this probability be obtained by a combinatorial/symmetry argument?
Suppose that $a_1,\dots,a_n,b_1,\dots,b_n$ are iid random variables each with a symmetric non-atomic distribution.
Let $p$ denote the probability that there is some real $t$ such that $t a_i \ge b_i$ ...
- 1,989
2
votes
0
answers
138
views
Update on Viskov's paper on random processes, Lagrange inversion, and the Heisenberg–Weyl algebra
"A Random Walk with a Skip-Free Component and the Lagrange Inversion Formula" by Viskov presents connections among Lagrange inversion and measures of random Lévy processes. The freely ...
- 12.9k
11
votes
0
answers
263
views
Which results in probabilistic group theory generalize from finite groups to compact Hausdorff groups (and which don't)?
Let $G$ be a finite group. It has been shown that:
If the probability that two randomly selected elements of $G$ generate an abelian group is greater than $5/8$, $G$ is abelian.
If the probability ...
- 495
2
votes
0
answers
110
views
Moment of the hitting measure of a subgroup
Given a [finitely generated] group $G$ and a finite generating set $S$, a measure $\mu$ will have finite $\alpha$-moment if $\sum_{g \in G} \mu(g) |g|_S^\alpha$ is finite (where $|g|_S$ is the word ...
- 4,432
2
votes
9
answers
2k
views
Examples of amenable groups other than finite groups
I'm reading about amenable groups. What are explicit examples of nonabelian discrete amenable groups other than finite groups? Perhaps a group presentation or matrix representation would be useful.
- 63.9k
1
vote
0
answers
489
views
Can we generalize the concept of "characters" in group theory via methods from statistics and probability theory?
$\DeclareMathOperator\Cov{Cov}$Motivation: If $G$ is a finite group and $\phi=X+iY: G\to \mathbb{T}$ is a character of $G$, then $\Cov(X,Y)=0$ where $X$, $Y$ are considered as two real random ...
- 356
1
vote
0
answers
340
views
Random walk on non-abelian free group
Let $F_2$ be the free non-abelian group with generators $a, b\in F_2$.
Has the "random walk" where we start with the identity and then multiply it by $a$ or $b$ or $a^{-1}$ or $b^{-1}$ ...
- 63.9k
3
votes
0
answers
153
views
Metropolis-Hastings sampling as a group action
Suppose that you have a topological space $\Omega \subset \mathbb R^n$ accompanied a measure $\mu$ and you're running an iterative sampling algorithm like Metropolis-Hastings. To sample you choose a ...
- 63.9k
18
votes
4
answers
3k
views
Markov chain on groups
Let $G$ be a permutation group on the finite set $\Omega$. Consider the Markov chain where you start with an element $\alpha \in \Omega$ chosen from some arbitrary starting probability distribution. ...
- 63.9k
6
votes
1
answer
291
views
Comparing $X+Y$ and $X-Y$ for independent random variables with values in an abelian locally compact group
Let $G$ be an abelian locally (separable?) compact group with Haar measure $\mu$. Inspired by the interesting proof of A sum of two binomial random variables :
Let $X$ and $Y$ be $G$-valued ...
- 128k
0
votes
1
answer
153
views
Probability distribution of random products of elements of a generating set of a finite non-abelian group
Let $G$ be a finite non-abelian group, and consider a choice of $N$ distinct elements $g_{0},g_{1},\ldots,g_{N-1}\in G$ that generate $G$. Now, let $t$ be an arbitrary positive integer, and let $d_{1},...
- 17k
67
votes
1
answer
7k
views
Why can't a nonabelian group be 75% abelian?
This question asks for intuition, not a proof.
An earlier question,
Measures of non-abelian-ness
was thoroughly answered by Arturo Magidin.
A paper by Gustafson1
proves that, for a nonabelian group,
...
- 47.3k
8
votes
2
answers
442
views
Constant Martin kernel and amenability
Consider a finitely supported random walk on a discrete group G such that the support generates $G$ as a semigroup. The Martin kernels are then non-negative functions on the product $G \times M$ where ...
- 4,713
2
votes
0
answers
89
views
Name for a probability density ''symmetrized'' by a permutation group?
Let $p$ be a probability density function over random variable $X$, and $G$ a compact permutation group over the outcomes of $X$. For each $g\in G$, let $p_g$ indicate the probability density ...
- 695
1
vote
1
answer
519
views
How typical are integer isometries on a hypercube? Littlewood-Offord problem for Bernoulli Gram matrices
Let $m\geq 3$ be fixed and $n\to\infty$. Consider $v=(v_j)_{j\leq m}$ with $v_1,\ldots,v_m\in \{-1,+1\}^n$. Let:
$N_I(v)$ be the number of sequences $u_1,\ldots,u_m\in \{-1,+1\}^n$ isometric to $v$ ...
- 114k
12
votes
2
answers
406
views
Does asymmetric fraction of finite groups tend to $0$?
Let’s define asymmetric fraction of a finite group $G$ as the number $$\mathrm{af}(G) = \frac{|\{(g, a) \in G \times \mathrm{Aut}(G)\mid a(g) = g\}|}{|G|\cdot|\mathrm{Aut}(G)|}.$$ Equivalently it can ...
- 44.4k
7
votes
2
answers
1k
views
An Expectation of Cohen-Lenstra Measure
The Cohen-Lenstra measure on the set of abelian p-groups assigns $\mathbb{P}(G) = \prod_{i \geq 1} \left( 1 - \frac{1}{p^i}\right) \cdot |\mathrm{Aut}(G)|^{-1} $. Apparently, this is equivalent to ...
CommunityBot
- 1
4
votes
0
answers
266
views
Metrics on finite groups and generalizations of central limit theorems for balls volumes (à la Diaconis-Graham)
In wonderful lectures by P. Diaconis "Group representations in probability and statistics, Chapter 6. Metrics on Groups, and Their Statistical Use" metrics on permutation groups are considered and ...
- 63.9k
5
votes
1
answer
412
views
Random pairs of commuting permutations
Let $\Omega_n \subseteq \mathrm{Sym}(n)^4$ be the set of all $4$-tuples $(\sigma_1,\sigma_2,\tau_1,\tau_2)$ of permutations of $\{1,\ldots,n\}$ such that $\sigma_j \tau_k = \tau_k \sigma_j$ for each ...
- 3,399
13
votes
3
answers
933
views
Probability of commutation in a compact group
It is well known that if $G$ is a finite group, then the probability that two elements commutte is either $1$ (if $G$ is abelian) or less than or equal to $\frac58$.
If instead $K$ is a compact group,...
- 9,720
7
votes
1
answer
548
views
The probability that two elements of a finite nonabelian simple group commute
It is mentioned in here (last paragraph of the first page) that Dixon proved the following result: the probability that two elements of a finite nonabelian simple group commute is at most $\frac{1}{12}...
- 63.9k
13
votes
1
answer
791
views
How nearly abelian are nilpotent groups?
It is not uncommon to read that "nilpotent groups are 'close to abelian'."1,2
Can this sentiment be made precise
in the sense of the
Turán and Erdős definition of "the probability that two elements of ...
- 44.4k
28
votes
2
answers
771
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\...
CommunityBot
- 1
7
votes
3
answers
801
views
Random Walks in $Z^2$/$Z^2$-intrinsic characterization of Euclidean distance Part II
For some context see Random Walks in $Z^2$/$Z^2$-intrinsic characterization of Euclidean distance
As per Noah's answer and JBL's comment this was false as stated. However, I think the following ...
- 2,545
2
votes
0
answers
202
views
Random walk on a finite group, converging modulo a function
Let $G$ be a finite group, and let $Q$ be a probability measure on $G$. Suppose that $Q$, as a function on $G$, is supported on a conjugacy class $C$. We denote by $Q^{*k}$ the $k$-fold convolution of ...
- 63.9k
4
votes
2
answers
359
views
Random walk uniformly hitting a compact set
Suppose $G$ is a locally compact compactly generated group. Let $\mu$ be a probability measure that is:
Adapted to $G$, i.e. there is no proper subgroup $H$ such that $\mu(H)=1$.
Symmetric, i.e. $\...
- 128k
5
votes
2
answers
389
views
Divergence of Green function of random walks at spectral radius
Let $P=(p(x,y))_{x, y\in N}$ be the transition matrix over countable states $N$.
Consider the generating Green function $G(x, y|t)=\sum_{0}^{\infty} p^n(x, y) t^n$, where $p^n(x,y)$ is the $(x,y)$-...
- 4,361
8
votes
2
answers
343
views
Cubic almost-vertex-transitive graphs with given spanning tree
Consider the infinite 3-regular tree. Pick a vertex $C$, the "center".
For any integer $L\ge 1$ consider the closed ball, in the graph distance, of radius $L$ around $C$. Let $T_L$ be the induced ...
8
votes
0
answers
211
views
Superharmonic functions and amenability
Let $G$ be a group generated by a finite set $S$. Let $P$ be a Markov operator defined by the uniform measure on $S$. A function is superharmonic if $Pf\leq f$.
Assume that there is a set of non-...
- 29.8k
10
votes
5
answers
2k
views
fixed points of permutation groups
As is well-known (see, for example, a nice exposition by our own Qiaochu: https://qchu.wordpress.com/2012/11/07/fixed-points-of-random-permutations/) that the distribution of the number of fixed ...
- 9,720