# 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.

140
questions

0
votes

0
answers

35
views

### Does there exist a Radon measure of full support on a non locally compact group that is translation invariant under some element?

It is known that a topological group is locally compact if and only if it has a Haar measure. However, I am curious about being translation invariant under at least one element.
Does there exist a ...

0
votes

2
answers

333
views

### The (last step of the) proof that the set of badly approximable matrices has measure zero

An $m \times n$ matrix $A$ is called badly approximable if there exists $c > 0$ such that for all integer vectors $p \in \mathbb Z^m$ and $q \in \mathbb Z^n-\{0\}$ we have
$$ \|A q + p \| \ge c \| ...

2
votes

1
answer

102
views

### Convergence of measure of products of random unitaries

I'm trying to read Convergence conditions for random quantum circuits by Emerson, Livine, Llyod (https://doi.org/10.1103/PhysRevA.72.060302), arXiv version: (https://arxiv.org/abs/quant-ph/0503210) ...

1
vote

1
answer

117
views

### Integrals of the type $\delta(g^{n})$ on $\mathrm{SU}(2)$

I posted this question previously to MathSE. However, I have still not solved it, so lets try to ask it here. When doing some calculations with spin-foam models for 3d quantum gravity for some ...

7
votes

0
answers

91
views

### Do compact inverse-property loops (or just compact Moufang loops) have bi-invariant Haar measure?

So, the overall question is in the title: Does a compact topological loop with the inverse property have a Haar measure that is simultaneously left invariant? (And we can restrict to Moufang loops if ...

20
votes

0
answers

227
views

### Existence of orthonormal basis for $L^2(G)$ in $C_c(G)$

Remark: I cross-posted this question on MSE and added a bounty to it.
Suppose that $G$ is a locally compact (Hausdorff) group endowed with the Haar measure. It is well-known that the compactly ...

4
votes

2
answers

185
views

### A 'projective' property of the Haar U(n) measure

Let $U(n)$ be the compact manifold of unitary $(n \times n)$-matrices and let $\mu_n$ denote the Haar-probability measure on $U(n)$. For $m < n$ does there exists a measurable (maybe even ...

1
vote

0
answers

90
views

### Only Zariski-closed subsets of compact Lie groups with nonempty interior have nonzero measure

In this question, the following fact was used by the respondent
A Zariski-closed subset of a compact Lie group $G$ with nonzero Haar
measure contains a coset of $G^0$, the connected component of
$G$ ...

4
votes

1
answer

127
views

### Can the degree of $k$-nilpotence of a simple simply connected compact Lie group be in $(0,1)$?

Let $G$ be a simple (i.e. every proper normal subgroup is discrete) simply connected compact Lie group. Define the degree of $k$-nilpotence of $G$ to be the Haar measure of the set
$$\{(x_1,\dotsc,x_{...

0
votes

1
answer

121
views

### When does the measure integral of the form $\int_{\log(S)} f d \mu$ exist?

When does the measure integral of the form $\int_{\log(S)} f d \mu$ exist ?
Here $\mu$ can be any measure (Lebesgue, Borel, Haar etc), $f$ is a measurable function, $S$ is any measurable set with ...

4
votes

1
answer

156
views

### Haar integral of rational function of unitaries

I'm trying to compute the following Haar integral over the unitary group:
$$
\int\limits_{\mathbb{U}(d)}\dfrac{1}{\sum_{k,l=1}^d u_{ik}\overline{u_{il}}c_{kl}}dU.
$$ Is there anything known about the ...

4
votes

1
answer

116
views

### Invariant measure on affine charts of complex Grassmannian

Consider the complex Grassmannian $U(n)/U(k)\times U(n-k)$ with it's $U(n)$-invariant measure. The affine chart corresponding to $i_1, \ldots, i_k$ is given by $n\times k$ matrices for which the ...

14
votes

1
answer

369
views

### For what LCH groups is the Haar measure $\mu(U x U)$ bounded?

Let $G$ be a locally compact Hausdorff (LCH) topological group with left Haar measure $\mu$. Given a compact unit neighborhood $U$, consider the function
$$
\Phi: \quad G \to (0,\infty), \quad x \...

4
votes

1
answer

106
views

### Hopf algebra that is unimodular and counimodular but not involutory

I'm looking for a finite-dimensional Hopf algebra (over any field) that is unimodular, has unimodular dual, but is not involutory. Is there such a thing?
Here's what I know:
By Radford's formula, the ...

1
vote

0
answers

185
views

### Moments of inner products for Haar random matrices

Let $\mathbf{U}$ be a $n \times n$ Haar orthogonal matrix, $\mathbf{D}$ be a fixed diagonal matrix with half of its entries $+1$ and the remaining half $-1$ and $\left \langle\cdot, \cdot \right \...

2
votes

0
answers

144
views

### About the probability of satisfying in a commutator type equation

Let $N$ be a closed normal subgroup of a compact group $G$. We denote the unique Haar measure of a compact group $A$ by $\mathbf m_A$, and drop $A$ if there exists no ambiguity. Fix $y\in G$. For $g\...

3
votes

1
answer

185
views

### Formula involving Wigner's 3j symbols and integration over irreducible representations of SU(2)

In some calculations, I saw the following formula
$$\int_{\mathrm{SU}(2)}\,\mathrm{d}g\,D^{j_{1}}_{m_{1}n_{1}}(g)D^{j_{2}}_{m_{2}n_{2}}(g)D^{j_{3}}_{m_{3}n_{3}}(g)=(-1)^{j_{1}+j_{2}+j_{3}}\begin{...

5
votes

1
answer

166
views

### When does Haar measure decompose into products of such?

We get a "nice" Haar measure on $G=SL(2,R)$ in Iwasawa coordinates $G=NAK$ as follows: $dg=dx {dy\over y^2} dk$. Here $N=\{ n_x\}$, $A=\{a_y\}$ and $K=SO(2)$. Note that $dg=dn\, da\, dk$ is ...

1
vote

1
answer

341
views

### Haar measure coming from Pontryagin duality v/s Fourier inversion

Not research but advertising this question from mse in case someone wants to answer.
I'm struggling with some bookkeeping associated with the Pontryagin duality theorem. I'm thinking about the first ...

5
votes

0
answers

166
views

### Haar mesure on $\mathrm{GL}_{d}(F)$

$\DeclareMathOperator\GL{GL}$Let $F$ be a $\mathfrak{p}$-adic field and $\mathscr{O}_{F}$ its valuation ring. For any measurable subset of $M_{d}(F)$ such as
$$
A=
\left( \begin{array}{ccc}
a_{11}+t^{\...

0
votes

1
answer

149
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 ...

2
votes

2
answers

236
views

### "Haar-like" measure on $S_\omega$

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

77
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 ...

1
vote

0
answers

81
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 \...

2
votes

0
answers

93
views

### Haar measure and Integral

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)]^{...

7
votes

1
answer

218
views

### A group where the Weil topology induced by the Haar measure does not coincide with the original topology

Let $(G,\tau)$ be a locally compact Hausdorff topological group that is $\sigma$-finite with respect to the Haar measure $\mu:\mathcal{B}(G)\to[0,\infty]$ ($\mathcal{B}(G)$ is the Borel $\sigma$-...

1
vote

1
answer

205
views

### Pushforward of measure under surjective map

Let $X, Y, Z$ be measurable spaces with measures $\mu_X, \mu_Y, \mu_Z$ respectively. Let $\pi_Y : Y \times Z \rightarrow Y$ be the projection on $Y$ and $\pi_Z : Y \times Z \rightarrow Z$ the ...

3
votes

0
answers

101
views

### Is this a lattice?

Let $R$ be a locally compact ring (commutative with unit) and let $D\subset R$ be a discrete cocompact subring (cocompact means the additive group $R/D$ is compact). Let $G$ be a semisimple linear ...

0
votes

0
answers

41
views

### How to prove invariance implies quadrature about Haar measure?

I'm reading paper, which contains a lemma named as 'Invariance Implies Quadrature'. The lemma is stated as follows.
Lemma Let $f$ be a function from $O(d)$ to $\mathbb{R}$ and let $H$ be a finite ...

5
votes

1
answer

158
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 ...

1
vote

0
answers

124
views

### L2 norm of the diagonal entries of a random rotation of a fixed matrix?

Let $X\in\mathbb{R}^{d\times d}$ be the diagonal matrix with $d/2$ entries equal to $1$ and $d/2$ entries equal to $-1$. Let $F_U \triangleq \frac{1}{d}\|\operatorname{diag}(U^{\dagger}XU)\|^2_F$ ...

3
votes

1
answer

205
views

### Asymptotic analysis using the p-adic Mellin Transform?

In ordinary analysis, given a sufficiently nice $f:\left[0,\infty\right)\rightarrow\mathbb{C}$, if we can compute the Mellin transform: $$\mathscr{M}\left\{ f\right\} \left(s\right)=\int_{0}^{\infty}x^...

0
votes

0
answers

96
views

### How large this subset is to say that it should equal the group?

Let $\alpha$ be a continuous automorphism on a compact group $G$ with normalized Haar measure $m$. We may say $\alpha$ is $n$-splitting, if the set
$$\text{Spl}_n(\alpha):=\left\{g\in G: \prod_{k=1}^...

4
votes

1
answer

267
views

### Measure of subsets of profinite groups

Let $G$ be an infinite profinite group, so $$G=\lim_{\longleftarrow}G/N$$ where $N$ runs through the open normal subgroups. I have two questions:
Is $G$ of Haar measure zero in the compact group $\...

8
votes

2
answers

491
views

### Average of the maximum matrix element over the Haar measure

Let $U$ be a $d\times d$ unitary matrix, and $U_{i,j}$ be its matrix elements. I am interested in the following quantity
$$\int dU \max_j |U_{1,j}|^2 \ , $$
where $dU$ is the uniform Haar measure over ...

2
votes

0
answers

56
views

### Approximating a volume along a submersion

Here is the setup. I have a submersion $f:X \to T$, where $X$ is manifold and $T$ is a torus (you can chose a circle for the beginning if it is simpler). The manifold $X$ has a volume form $\alpha$ ...

5
votes

1
answer

208
views

### Haar-null union of dense subsets

Let $\{X_i\}_{i \in \mathbb{R}-\{0\}}$ be a set of subsets of a separable infinite-dimensional Fréchet space $X$ and $I$ be uncountable. Moreover, suppose that
(Dense $G_{\delta}$) $X_i$ is a dense ...

3
votes

0
answers

112
views

### Question about regular representation of compact group

I first define the setting for my question. Let $G$ be a compact group with probability Haar measure $\mu_G$. Denote by $\lambda$ the left regular representation on $L^2(G)$ defined for $f \in L^2(G)$ ...

1
vote

0
answers

65
views

### Haar measure of the zero set of a nonconstant analytic function on a connected Lie group

Let $G$ be a connected Lie group equipped with its unique real analytic structure, $f : G \to \mathbb{R}$ a nonconstant real analytic function on $G$. Is the closed set $Z_f = f^{-1}(0)$ always of ...

5
votes

0
answers

116
views

### Invariant measure on coset space and integrable functions

Let $G$ be a locally compact abelian group, and $H$ a closed subgroup. Let $C_c(G)$ be the space of continuous, compactly supported complex valued functions on $G$. General theory of Haar measure ...

5
votes

1
answer

133
views

### The square modulus of coordinates of a uniformly chosen point in complex projective space is uniform in the simplex

I can't recall where I learned this (beautiful) fact, and I would like a reference (if possible, in a textbook):
Let $(z_0:\cdots:z_n) \in \mathbb{P}^n(\mathbb{C})$ be chosen uniformly at random w....

0
votes

0
answers

139
views

### Restriction of a Haar measure

Let G be a locally compact topological group with Haar measure $d_G$, H be a compact subgroup of G with normalized Haar measure $d_H$ and N be the smallest normal subgroup of G containing of H with ...

1
vote

0
answers

130
views

### Extrinsic applications of Haar measure

I am looking for examples of (not necessarily deep) results whose proofs rely on the Haar measure (or rather such that there exists an "elegant" proof involving it). Further, the formulation of such ...

1
vote

0
answers

206
views

### Invariant measures on locally compact homogeneous spaces

Edit: answered in the first comment. This turned out to be really easy, as the orbits of an open $\sigma$-compact subgroup yield a partition of $X$ into open $\sigma$-compact subsets.
Let $G$ be a ...

13
votes

1
answer

492
views

### Are Hausdorff measures on the real line Haar measures for some locally compact topology?

For $0\leq d\leq 1$, let $\lambda_d$ be the $d$-dimensional Hausdorff measure on $\mathbb{R}$. Note that it is translation-invariant. Does there exist a locally compact topology $\mathscr{T}_d$ on $\...

2
votes

0
answers

154
views

### Does the pushforward of the Haar measure of a semisimple compact Lie group along a character determine the character?

Let $G$ be a connected compact semisimple Lie group.
Let $V$ be a faithful representation of $G$,
with character $\chi \colon G \to \mathbb{C}$.
Let $\mu_G$ be the normalized left Haar measure. (So $\...

4
votes

1
answer

242
views

### Invariant integration on principal bundles

Let $G$ be a sufficiently nice topological or Lie group (e.g. compact), and let $H$ be a closed subgroup. This data determines a principal $H$ bundle $G \rightarrow G/H$ defined by the projection $g \...

1
vote

0
answers

133
views

### Do we have $K \cap P = (K \cap M)(K \cap N)$?

Let $G$ be a connected, reductive group over a $p$-adic field $k$, let $P$ be a parabolic subgroup with Levi $M$ and radical $N$. Let $K$ be a maximal open compact subgroup of $G$ in good position ...

2
votes

0
answers

109
views

### Volume of a double class of a parahoric subgroup

Let $F$ be a non-archimedean local field with residue field $F_q$. Let $G$ be the group of $F$-rational points of a connected reductive group defined and split over $F$. Fix a maximal split torus $T$ ...

1
vote

1
answer

205
views

### Definition of Haar integral in Bushnell and Henniart

In Bushnell and Henniart's The Local Langland's Conjecture for GL(2) they define a right Haar integral on a locally profinite group $G$ as being a non-zero linear functional
$$
I: C^{\infty}_{c}(G) \...