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