Related papers: Formalized Haar Measure

Classical theorems from the early 20th century state that any Haar measurable homomorphism between locally compact groups is continuous. In particular, any Lebesgue-measurable homomorphism $\phi:\mathbb{R} \to \mathbb{R}$ is of the form…

The Ghahramani-Lau conjecture is established; in other words, the measure algebra of every locally compact group is strongly Arens irregular. To this end, we introduce and study certain new classes of measures (called approximately…

We evaluated some particular type of functional integral over the local gauge group C^{\infty}({\bf R}^n, U(1)) by going to a discretized lattice. The results explicitly violates the property of the Haar measure. We also analysed the…

Consider the space $C$ of conjugacy classes of a unitary group $U(n+m)$ with respect to a smaller unitary group $U(m)$. It is known that for any element of the space $C$ we can assign canonically a matrix-valued rational function on the…

Let $G$ and $H$ be locally compact groups with fixed two-side-invariant Haar measures. A polyhomomorphism $G\to H$ is a closed subgroup $R\subset G\times H$ with a fixed Haar measure, whose marginals on $G$ and $H$ are dominated by the Haar…

In this note, we extend the characterization of dyadic Lipschitz regularity of functions to non-atomic probability spaces, using generalized Haar systems.

We adopt the concept of the composite parameterization of the unitary group U(d) to the special unitary group SU(d). Furthermore, we also consider the Haar measure in terms of the introduced parameters. We show that the well-defined…

Many symmetric orthogonal polynomials $(P_n(x))_{n\in\mathbb{N}_0}$ induce a hypergroup structure on $\mathbb{N}_0$. The Haar measure is the counting measure weighted with $h(n):=1/\int_\mathbb{R}\!P_n^2(x)\,\mathrm{d}\mu(x)\geq1$, where…

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 present IntU package for Mathematica computer algebra system. The presented package performs a symbolic integration of polynomial functions over the unitary group with respect to unique normalized Haar measure. We describe a number of…

We discuss the formal structure of a functional measure for Gauge Theories preserving the Slavnov-Taylor identity in the presence of Gribov horizons. Our construction defines a gauge-fixed measure in the framework of the lattice…

A slight modification to Halmos' definition of product of measures yields a uniquely characterized associative product. The operation applies to arbitrary (not necessarily $\sigma-$finite) measures and is consistent with the Fubini--Tonelli…

We prove a Freiman-type theorem for locally compact abelian groups. If A is a subset of a locally compact abelian group with Haar measure m and m(nA) < n^dm(A) for all n>d log d then we describe A in a way which is tight up to logarithmic…

The Haar functional on the quantum $SU(2)$ group is the analogue of invariant integration on the group $SU(2)$. If restricted to a subalgebra generated by a self-adjoint element the Haar functional can be expressed as an integral with a…

We present a simple and intuitive framework for duality of locally compacts groups, which is not based on the Haar measure. This is a map, functorial on a non-degenerate subcategory, on the category of coinvolutive Hopf \cst-algebras, and a…

Let $G$ be a compact Lie group of Lie type $B_{n},$ such as $SO(2n+1)$. We characterize the tuples\ $(x_{1},...,x_{L})$ of the elements $x_{j}\in G$ which have the property that the product of their conjugacy classes has non-empty interior.…

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…

A compact Lie group G and a faithful complex representation V determine a Sato-Tate measure, defined as the direct image of Haar measure on G with respect to the character of V. We give a necessary and sufficient condition for a Sato-Tate…

If ${\mathcal C}\simeq 2^{\mathbb N}$ denotes the Cantor set realized as the infinite product of two-point groups, then a folklore result says the Cantor map from ${\mathcal C}$ into $[0,1]$ sends Haar measure to Lebesgue measure on the…

In this paper we investigated the problem of the existence of invariant meaures on the local gauge group. We prove that it is impossible to define a {\it finite} translationally invariant measure on the local gauge group $C^{\infty}({\bf…