Related papers: Formalized Haar Measure

We prove that the existence of a positively defined, invariant Einstein metric $m$ on a connected homogeneous space $G/H$ of a compact Lie group $G$ is the consequence of non-contractibility of some compact set $C=X_{G,H}^{\Sigma}$ (B\"ohm…

One of the goals of this article is to define a an unified setting adapted to the description of means (normalized integrals or invariant means) on an infinite product of measured spaces with infinite measure. We first remark that some…

We prove lower bounds for the entropy of limit measures associated to non-degenerate sequences of eigenfunctions on locally symmetric spaces of non-positive curvature. In the case of certain compact quotients of the space of positive…

We give two characterizations, one for the class of generalized Young measures generated by $\mathcal A$-free measures, and one for the class generated by $\mathcal B$-gradient measures $\mathcal Bu$. Here, $\mathcal A$ and $\mathcal B$ are…

We characterize the Schauder and unconditional basis properties for the Haar system in the Triebel-Lizorkin spaces $F^s_{p,q}(\Bbb R^d)$, at the endpoint cases $s=1$, $s=d/p-d$ and $p=\infty$. Together with the earlier results in [10], [4],…

We propose and study a novel collection of signed measures, which will be apply called Taylor measures. Stochastic versions of the new measures are also defined and studied. We illustrate, through examples, how the deterministic and…

The measurement processes that are traditionally described within the realm of non-relativistic quantum mechanics are transcribed into the covariant framework of Cartan's space, the four-valued representation space of the restricted…

We study Haar-random bases and pretty good measurement for Bayesian state estimation. Given $N$ Haar-random bases we derive a bound on fidelity averaged over IID sequences of such random measurements for a uniform ensemble of pure states.…

A systematic study of holomorphic gauge invariant operators in general $\mathcal{N}=1$ quiver gauge theories, with unitary gauge groups and bifundamental matter fields, was recently presented in [1]. For large ranks a simple counting…

The main result of this note, Theorem 2, is the following: a Borel measure on the space of infinite Hermitian matrices, that is invariant under the action of the infinite unitary group and that admits well-defined projections onto the…

Let $M$ be an $\aleph_0$-categorical structure and assume that $M$ has no algebraicity and has weak elimination of imaginaries. Generalizing classical theorems of de Finetti and Ryll-Nardzewski, we show that any ergodic,…

Let $G$ be a compact, connected simple Lie group and $\mathfrak{g}$ its Lie algebra. It is known that if $\mu $ is any $G$-invariant measure supported on an adjoint orbit in $\mathfrak{g}$, then for each integer $k$, the $k$% -fold…

It is well known that real measures on the circle are characterized by their Herglotz transform, an analytic function in the unit disc. Invariance of the measure under N-multiplication translates into a functional equation for the Herglotz…

We find a combinatorial formula for the Haar functional of the orthogonal and unitary quantum groups. As an application, we consider diagonal coefficients of the fundamental representation, and we investigate their spectral measures.

We derive the invariant measure on the manifold of multimode quantum Gaussian states, induced by the Haar measure on the group of Gaussian unitary transformations. To this end, by introducing a bipartition of the system in two disjoint…

Using techniques from TRO equivalence of masa bimodules we prove various transference results: We show that when $\alpha$ is a group homomorphism which pushes forward the Haar measure of $G$ to a measure absolutely continuous with respect…

A fundamental property of compact groups and compact quantum groups is the existence and uniqueness of a left and right invariant probability -- the Haar measure. This is a natural playground for classical and quantum probability, provided…

We extend an old result of de la Harpe and Karoubi, concerning almost representations of compact groups, to proper groupoids admitting continuous Haar measure systems. As an application, we establish the existence of sufficiently many…

We prove that if $X$ is a Polish space and $F$ is a face of $P(X)$ with the Baire property, then $F$ is either a meager or a co-meager subset of $P(X)$. As a consequence we show that for every abelian Polish group $X$ and every analytic…

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…