Related papers: Computing Haar Measures

We investigate what it means for a (Hausdorff, second-countable) topological group to be computable. We compare several potential definitions in the literature. We relate these notions with the well-established definitions of effective…

We analyse certain Haar systems associated to groupoids obtained by certain natural equivalence relations of dynamical nature on sets like $\{1,2,...,d\}^\mathbb{Z}$, $\{1,2,...,d\}^\mathbb{N}$, $S^1\times S^1$, or $(S^1)^\mathbb{N}$, where…

We begin the systematic study of decision problems for finitely generated groups given by a solution to their word problem. We relate this to the study of computable analysis on the space of marked groups. We point out that several distinct…

We prove that a hypergroup admitting a countable basis and an invariant Haar measure has normed convergence property if and only if it is compact.

We initiate the effective metric structure theory of Keisler randomizations. We show that a classical countable structure $\mathcal{M}$ has a decidable presentation if and only if its Borel randomization $\mathcal{M}^{[0,1)}$ has a…

In this paper we investigate algorithmic randomness on more general spaces than the Cantor space, namely computable metric spaces. To do this, we first develop a unified framework allowing computations with probability measures. We show…

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…

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…

We present a performant and rigorous algorithm for certifying that a matrix is close to being a projection onto an irreducible subspace of a given group representation. This addresses a problem arising when one seeks solutions to…

The paper is concerned with the extension of the classical study of probability measures on a compact group which are square roots of the Haar measure, due to Diaconis and Shahshahani, to the context of compact quantum groups. We provide a…

Let $(G,\cdot)$ be a Polish group. We say that a set $X \subset G$ is Haar null if there exists a universally measurable set $U \supset X$ and a Borel probability measure $\mu$ such that for every $g, h \in G$ we have $\mu(gUh)=0$. We call…

Let $G$ be a locally compact group with the left Haar measure $m_{G}$. A probability measure ${\mu}$ on $G$ is said to be strictly aperiodic if the support of ${\mu}$ is not contained in a proper closed left coset of $G$. In this paper, we…

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…

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…

This paper presents a powerfull method to integrate general monomials on the classical groups with respect to their invariant (Haar) measure. The method has first been applied to the orthogonal group in [J. Math. Phys. 43, 3342 (2002)], and…

Let $G$ be a locally compact second countable groupoid with a Haar system. In this article, we introduce the induced representation of $G$ from a continuous unitary representation of a closed wide subgroupoid $H$ with a Haarsystem provided…

For a unimodular totally disconnected locally compact group $G$ we introduce and study an analogue of the Hattori-Stallings rank $\tilde{\rho}(P)\in\mathbf{h}_G$ for a finitely generated projective rational discrete left $\mathbb…

We introduce the notion of a gauge and of a tagged partition (subordinate to a given gauge) by intersections of open and closed sets of a compact metric space extending the corresponding notions in Henstock-Kurzweil integration of…

If $G$ is a locally compact groupoid with a Haar system $\lambda$, then a positive definite function $p$ on $G$ has a form $p(x)=< L(x)\xi(d(x)),\xi(r(x))>$, where $L$ is a representation of $G$ on a Hilbert bundle ${\h}=(G^0,\{H_u\},\mu)$,…

We study closed choice principles for different spaces. Given information about what does not constitute a solution, closed choice determines a solution. We show that with closed choice one can characterize several models of…