Related papers: Conditional Haar measures on classical compact gro…

We study stable like behaviour in first order theories without the independence property. We introduce generically stable measures, give characterizatiions, and show their ubiquity. We also introduce generic compact domination. We also…

We study the explicit construction of the Haar measure on the compact $p$-adic rotation group $\textrm{SO}(3)_p$ by nautical (Cardano) parametrization. Exploiting its topological group isomorphism with…

We derive an explicit expression for the Haar integral on the quantized algebra of regular functions C_q[K] on the compact real form K of an arbitrary simply connected complex simple algebraic group G. This is done in terms of the…

We provide a general expression of the Haar measure $-$ that is, the essentially unique translation-invariant measure $-$ on a $p$-adic Lie group. We then argue that this measure can be regarded as the measure naturally induced by the…

In this paper we present a new criterion to determine when the normalized Haar measure on a compact topological group is a Pietsch measure for nonlinear summing mappings. As a consequence, we provide a partial answer to a problem raised by…

Let $U^N = (U_1^N,\dots, U^N_p)$ be a d-tuple of $N\times N$ independent Haar unitary matrices and $Z^{NM}$ be any family of deterministic matrices in $\mathbb{M}_N(\mathbb{C})\otimes \mathbb{M}_M(\mathbb{C})$. Let $P$ be a self-adjoint…

We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of $NIP$ (not the independence property), continuing aspects of math.LO/0607442. Among key results are: (i) if $p = tp(b/A)$ does not fork…

Symbolic integration over the Haar measure of compact groups is a computational cornerstone in quantum information science and random matrix theory. We present \texttt{IntegrateUnitary.jl}, a comprehensive Julia package for computing exact…

Let $p$ be an idempotent ultrafilter over $\mathbb{N}$. For a positive integer $N$, let ${\cal P}_{\leq N}$ denote the additive group of polynomials $P\in\mathbb{Z}[x]$ with ${\rm deg}\, P\leq N$ and $P(0)=0$. Given a unitary operator $U$…

We prove almost sure strong asymptotic freeness of i.i.d. random unitaries with the following law: sample a Haar unitary matrix of dimension $n$ and then send this unitary into an irreducible representation of $U(n)$. The strong convergence…

We discuss some natural maps from a unitary group U(n) to a smaller group U(n-m) (these maps are versions of the Livshic characteristic function). We calculate explicitly the direct images of the Haar measure under some maps. We evaluate…

Let G be a locally compact Hausdorff group in which every element is of finite order, and let P(G) denote the class of all regular probability measures on G. In this note, it is observed that a characterization of algebraically regular…

Roughly speaking, holonomic measures are parametric varifolds without boundary. They provide a setting appropriate for the analysis of many variational problems. In this paper, we characterize the space of variations for these objects, and…

We determine the Haar measure on the compact $p$-adic special orthogonal groups of rotations $\mathrm{SO}(d)_p$ in dimension $d=2,3$, by exploiting the machinery of inverse limits of measure spaces, for every prime $p>2$. We characterise…

Haar measure is a fundamental structure in harmonic analysis on locally compact groups. Its existence reflects the compatibility between topology and the associative algebraic structure of groups. In this paper we propose a framework for…

We consider integrals of type $\int_{O_n}u_{11}^{a_1}... u_{1n}^{a_n}u_{21}^{b_1}... u_{2n}^{b_n} du$, with respect to the Haar measure on the orthogonal group. We establish several remarkable invariance properties satisfied by such…

We describe the formalization of the existence and uniqueness of Haar measure in the Lean theorem prover. The Haar measure is an invariant regular measure on locally compact groups, and it has not been formalized in a proof assistant…

We derive lower bounds for the $L^p(\mu)$ norms of monic extremal polynomials with respect to compactly supported probability measures $\mu$. We obtain a sharp universal lower bound for all $0<p<\infty$ and all measures in the Szeg\H{o}…

The main aim of the paper is to introduce a new class of (semigroup-valued) measures that are ultrahomogeneous on the Boolean algebra of all clopen subsets of the Cantor space and to study their automorphism groups. A characterisation, in…

Let $p$ be an odd prime. For a compact Lie group $G$ and an elementary abelian $p$-group $A$ of $G$, one may define the Weyl group $W_A$ of $A$ in a similar fashion as defining the Weyl group of a maximal torus, such that $W_A$ acts on…