Related papers: A new criterion for the normalized Haar measure to…
We show that, as in the linear case, the normalized Haar measure on a compact topological group $G$ is a Pietsch measure for nonlinear summing mappings on closed translation invariant subspaces of $C(G)$. This answers a question posed to…
Analytic properties of right topological groups have been extensively studied in the compact admissible case (i.e when the group has a dense topological center). This was inspired by the existence of a Haar measure on such groups. In this…
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…
This article provides a concise introduction to the theory of Haar measures on locally compact Hausdorff groups. We cover the necessary preliminaries on topological groups and measure theory, the Haar correspondence, unimodularity and Haar…
The paper describes two possible ways of extending the definition of Haar measure to non-Hausdorff locally compact groups. The first one forces compact sets to be measurable: with this construction, a counterexample to the existence of the…
We give a probabilistic proof of the Weyl integration formula on U(n), the unitary group with dimension $n$. This relies on a suitable definition of Haar measures conditioned to the existence of a stable subspace with any given dimension…
An old problem asks whether every compact group has a Haar-nonmeasurable subgroup. A series of earlier results reduce the problem to infinite metrizable profinite groups. We provide a positive answer, assuming a weak, potentially provable,…
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…
In this note, we extend the characterization of dyadic Lipschitz regularity of functions to non-atomic probability spaces, using generalized Haar systems.
We relate the injectivity of the canonical map from $C(B_{E'})$ to $L_p(\mu)$, where $\mu$ is a regular Borel probability measure on the closed unit ball $B_{E'}$ of the dual $E'$ of a Banach space $E$ endowed with the weak* topology, to…
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.
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 show that the mixing times of random walks on compact groups can be used to obtain concentration inequalities for the respective Haar measures. As an application, we derive a concentration inequality for the empirical distribution of…
In the general theory of locally compact quantum groups, the notion of Haar measure (Haar weight) plays the most significant role. The aim of this paper is to carry out a careful analysis regarding Haar weight, in relation to general…
This paper studies the measure-preserving homeomorphisms on compact groups and proposes new methods for constructing measure-preserving homeomorphisms on direct products of compact groups and non-commutative compact groups. On the direct…
We prove $\mathrm{H}^1$ and $\mathrm{BMO}$ endpoint inequalities for generic cancellative Haar shifts defined with respect to a possibly non-homogeneous Borel measure $\mu$ satisfying a weak regularity condition. This immediately yields a…
We study a class of bistochastic matrices generalizing unistochastic matrices. Given a complex bipartite unitary operator, we construct a bistochastic matrix having as entries the normalized squares of Frobenius norm of the blocks. We show…
It is introduced a certain approach for equipment of an arbitrary set of the cardinality of the continuum by structures of Polish groups and two-sided (left or right) invariant Haar measures. By using this approach we answer positively…
The main goal of this paper is to characterize arbitrary nonlinear (non-multilinear) mappings $f:X_{1}\times...\times X_{n}\rightarrow Y$ between Banach spaces that satisfy a quite natural Pietsch Domination-type theorem around a given…
In this article, we study integrals on the unitary group with respect to the Haar measure. We give a combinatorial interpretation in terms of maps of the asymptotic topological expansion, established previously by Guionnet and Novak. The…