# Questions tagged [haar-measure]

Everything the deals with properties and definitions of Haar measure, as well as related fields when the question relies heavily on the notion of haar measure - group harmonic analysis, group ergodic theory etc.

165 questions
Filter by
Sorted by
Tagged with
82 views

### The uniform odd and even subgraph of $\mathbb{Z}^2$

Given a (first finite and later infinite) graph $G =(V,E)$ the uniform even graph is the uniform probability measure on the set of spanning even subgraphs. That is subgraphs (V, E') with $E' \subset E$...
41 views

### Conditional distributions of random orthogonal projection matrix

I have encountered a rather curious question. Suppose I have a symmetric idempotent orthogonal projection matrix $A\in\mathbb R^{N\times N}$ that projects onto a uniformly random $n$-dimensional ...
29 views

### Are closures of products of unimodular subgroups unimodular?

Let $G$ be a locally compact group, $N \subset G$ a unimodular normal subgroup, and $H \subset G$ a discrete (hence unimodular) subgroup. Does it follow that the closure $\overline{NH} \subset G$ is ...
• 4,024
1 vote
72 views

### Intergral over Haar random unitary

Given matrices $A_i$, and map $F(X)=A_nXA_{n-1}\cdots A_1$. How to compute $$\int_U F(U)\otimes F(U)^{*} dU$$ where $X^*$ denotes the complex conjugate transpose and $dU$ denotes the Haar measure.
• 1,483
1 vote
260 views

### Using the von Neumann crossed product to introduce a measure on the orbit space?

Suppose we're given an action (possibly: ergodic) of a group G (say, $\mathbb{R}$) on a measure space $(X, \mu)$ (possibly: a standard probability space). Question: is there a natural way of using the ...
245 views

### On Haar measure and Spherical measure [closed]

Let $d$-dimensional complex sphere be $$\{(c_1,\cdots,c_{d})\sum_{i=1}^{d} |c_i|^2=1.\}$$ We can define the Haar measure on this sphere by regarding the unitary group $U(d)$. We can regard the $d$-...
• 1,483
155 views

### Action of the Haar measure on the Heisenberg group

The Heisenberg group is $\mathbb{H}^N=\mathbb{R}^{2N+1} = \left\{ (x,y, \tau ) \right\}\in \mathbb{R}^N \times \mathbb{R}^N \times \mathbb{R}$ equipped with the group operation (...
• 575
264 views

### Uniqueness of left-invariant Borel probability measure on compact groups

On a compact topological group, consider two left-invariant probability measures $\mu$ and $\nu$ defined on the Borel sigma-algebra. Is it true that they coincide? It is classical that the Haar ...
69 views

### Uniform distribution on pairs of unitary matrices

This question has two parts. In Part 1, I would like to know if the following distribution on pairs of $d$-dimensional unitary matrices has popped up in the literature: "Uniform distribution on ...
114 views

### Existence of a bounded measurable subset of $\text{SL}(d,\mathbb R)$ that is Borel isomorphic to $\text{SL}(d,\mathbb R)/\text{SL}(d,\mathbb Z)$?

$\text{SL}(d,\mathbb R)/\text{SL}(d,\mathbb Z)$ has two interesting properties: on one hand it is non-compact, but on the other hand it admits a unique $\text{SL}(d,\mathbb R)$-invariant finite ...
• 111
110 views

### Integrating over a fundamental domain in $\text{SL}(d,\mathbb R)$ under $\text{SL}(d,\mathbb Z)$ action and the choice of the fundamental domain

Let $\mathcal{F}$ be a fundamental domain in $\text{SL}(d,\mathbb R)$ under $\text{SL}(d,\mathbb Z)$ action. It is well known that there exists a unique $\text{SL}(d,\mathbb R)$-invariant probability ...
• 111
668 views

### If $A, B$ is a non-trivial partition of $S^1$, is it possible that $R_\theta(A) \cap B$ has measure zero for all rotations $R_\theta$?

This was previously posted to Math StackExchange. I was originally unsure whether it is suitable for posting here, but I've yet to get an answer there, so I'm just trying to see if people here can ...
• 1,166
123 views

### Asymptotics of Haar moments on general Lie groups

I am trying to understand the asymptotics of Haar Moments on general compact Lie groups (in particular, subgroups of $\mathrm{SU}(n)$). I have learned that closed form formulae for these moments are ...
• 179
207 views

### Haar measures of compact subgroups

Let $G$ be a locally compact group, $K$ a compact subgroup in $G$, and $\mu_K$ the normalized Haar measure on $K$: $$\mu_K(K)=1.$$ Let us denote by $\widetilde{\mu_K}$ the measure on $G$ defined as ...
• 7,284
120 views

• 425
236 views

### Divergence of integrals in the trace formula

I am trying to understand the following situation for $G=GL(2)$, when going from the compact trace formula to the non-compact case. The integral over $G(\mathbb{A})^1_\gamma \backslash G(\mathbb{A})^1$...
• 907
111 views

### Calculation of first correction to Selberg type integral

$\DeclareMathOperator\U{U}\DeclareMathOperator\SU{SU}\DeclareMathOperator\Tr{Tr}\DeclareMathOperator\arcsinh{arcsinh}$Let $U \in G$, where $G$ is $\SU(N)$ matrix. $\Tr U$ will denote the character ...
1 vote
154 views

### Is svd of a Gaussian iid matrix corresponds to Haar measure on the Stiefel manifold?

I want to draw a matrix $A\in \mathbb{R}^{n\times k}$ uniformally at random from the Stiefel manifold $\mathbb{V}_k(\mathbb{R}^n)$, that is from the collection of all $n\times k$ matrices $A$ such ...
• 503
84 views

• 111
236 views

### Direct proof that $g_t=\text{diag}(e^{t/m}I_m,e^{-t/n}I_n)$'s action on $\operatorname{SL}(d,\mathbb R)/{\operatorname{SL}(d,\mathbb Z)}$ is ergodic

I wonder if there are any direct proof that $g_t=\operatorname{diag}(e^{t/m}I_m,e^{-t/n}I_n)$'s action on $\operatorname{SL}(d,\mathbb R)/{\operatorname{SL}(d,\mathbb Z)}$ is ergodic (or even stronger,...
• 1,543
322 views

481 views

• 479
162 views

### Haar measure on ${\cal P}(\omega)$

First, we note that there is a natural bijection ${\cal P}(\omega) \to \{0,1\}^\omega$ and endow the latter with the product topology (where $\{0,1\}$ carries the discrete topology). So we get a ...
274 views

Let $S_\omega$ be the collection of bijections $f:\omega\to \omega$. Endow $\omega$ with the discrete topology and let $S_\omega$ be endowed with the subspace topology of $\omega^\omega$, where $\... 4 votes 0 answers 94 views ### Dot product of functions on cosets Some time ago I asked this same question at Math Stackexchange, because I thought that the question is nearly elementary. To my surprise, it was never answered. So I am elevating it to MathOverflow. I ... • 593 1 vote 0 answers 110 views ### Haar measure decomposition using orbital integrals Let$G$be a unimodular locally compact group,$N,A \le G$be unimodular closed subgroups. Suppose that$A$normalizes$N$. Let$N_0 \le N$be a compact open subgroup. Suppose that a function$f : N \...
• 680
I am wondering whether the following integral over Haar measure has explicit form（edit: say $U$ is $d\times d$ unitary, orthogonal or symplectic matrix)  \int dU [(U\otimes U^*)X(U^{+}\otimes U^T)]^{...