All Questions
Tagged with gr.group-theory pr.probability
21
questions
41
votes
6
answers
4k
views
Measures of non-abelian-ness
Let $G$ be a finite non-abelian group of $n$ elements.
I would like a measure that intuitively captures the
extent to which $G$ is non-commutative.
One easy measure is a count of the non-commutative ...
- 149k
4
votes
0
answers
234
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 ...
- 22.9k
9
votes
2
answers
707
views
Return probabilities for random walks on infinite Schreier graphs
Question: Is there a sequence $(\delta_n)_n$ of real numbers with $\delta_n \to 0$ as $n \to \infty$, such that the following holds:
Let $F$ be a free group on two generators, let $F \curvearrowright ...
- 25.2k
8
votes
2
answers
736
views
The Odds 3 (or More) Group Elements Commute
Some time ago I asked about the odds 2 group elements commute. I wonder about the odds that 3 group elements commute. Is there a "closed" formula for the sum
$$ \frac{1}{|G|^3} \sum_{g,h,k} \delta([...
- 22.5k
66
votes
1
answer
6k
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,
...
- 149k
8
votes
2
answers
309
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 ...
- 21.4k
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 ...
- 36.8k
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)$ ...
- 5,886
28
votes
2
answers
758
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\...
user6976
23
votes
2
answers
6k
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 ...
- 8,322
17
votes
3
answers
706
views
Probability that a word in the free group becomes (much) shorter?
Let $w$ be a word of length $2\ell$ chosen at random on the alphabet $\{x_1,x_1^{-1},x_2,x_2^{-1},\dotsc,x_k,x_k^{-1}\}$. By the reduction $\rho(w)$ I mean what you obtain by deleting substrings of ...
- 19.1k
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$ ...
- 111k
15
votes
1
answer
1k
views
In how many steps a random walk visits all the elements of a finite group, with a probability 1/2?
This question is a variation of the return to the origin problem.
Let $G$ be the finite group $\mathbb{Z}/n \times \mathbb{Z}/n$ and let the random transformation $T: G \to G$ such that $T(a,b) = (...
- 25.5k
13
votes
3
answers
908
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,...
- 50.6k
13
votes
1
answer
735
views
Idempotent measures on the free binary system?
Let $(S,*)$ be the free (non associative) binary system on one generator (so $S$ is just the set of terms in $*$ and $1$). There is an extension of $*$ to the space $P(S)$ of finitely additive ...
- 3,607
13
votes
1
answer
729
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 ...
- 149k
10
votes
0
answers
757
views
Where can I find analogues of combinatorial central limit theorems for other groups
The statement of Hoeffding's combinatorial central limit theorem is as follows: given for each $n$, an $n \times n$ matrix $A = (a_{ij})$, one can consider the random diagonal sum:
$$\displaystyle f(\...
- 4,354
7
votes
2
answers
636
views
Is there an algebraically normal function from $\mathbb{Z}^{n}$ to $\{ 0 , 1\}$?
Definition: Let $h$ be a polynomial in $n$ variables, then :
$\gamma(h,r,R):=\{ v \in \mathbb{Z}^{n} : \vert h(v) \vert \leq r, \Vert v \Vert < R \}$
Let $\omega : \mathbb{Z}^{n} \to \{ 0 , 1\}$...
- 25.5k
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.
1
vote
0
answers
164
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$?...
- 91
0
votes
0
answers
117
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 ...
- 91