Related papers: Computing Haar Measures

Let P -> M be a principal G-bundle. Using techniques from the loop representation of gauge theory, we construct well-defined substitutes for ``Lebesgue measure'' on the space A of connections on P and for ``Haar measure'' on the group Ga of…

We prove a complexity dichotomy theorem for a class of Holant problems on planar 3-regular bipartite graphs. The complexity dichotomy states that for every weighted constraint function $f$ defining the problem (the weights can even be…

Let $G$ be a simply connected, connected completely solvable Lie group with Lie algebra $\mathfrak{g}=\mathfrak{p}+\mathfrak{m}.$ Next, let $\pi$ be an infinite-dimensional unitary irreducible representation of $G$ obtained by inducing a…

We construct a family of probability measures on the group of Hamiltonian diffeomorphisms of a closed symplectic manifold $(M,\omega)$. We show that these measures are Borel measures with respect to the topology induced by the Hofer metric.…

We give an introduction to the theory of weak Hopf algebras proposed recently as a coassociative alternative of weak quasi-Hopf algebras. We follow an axiomatic approach keeping as close as possible to the "classical" theory of Hopf…

We introduce a novel notion of {\it local spectral gap} for general, possibly infinite, measure preserving actions. We establish local spectral gap for the left translation action $\Gamma\curvearrowright G$, whenever $\Gamma$ is a dense…

We consider the problem of computing the integral $$ \int_{\mathcal{U}(d)} u_{i_1j_1}\cdots u_{i_nj_n} \bar{u}_{i'_1j'_1} \cdots \bar{u}_{i'_{n'}j'_{n'}} dU, $$ where the integration takes place with respect to the probability Haar measure…

We study the computational content of the Radon-Nokodym theorem from measure theory in the framework of the representation approach to computable analysis. We define computable measurable spaces and canonical representations of the measures…

In estimating the complexity of objects, in particular of graphs, it is common practice to rely on graph- and information-theoretic measures. Here, using integer sequences with properties such as Borel normality, we explain how these…

The aim of this paper is to prove ergodic decomposition theorems for probability measures quasi-invariant under Borel actions of inductively compact groups (Theorem 1) as well as for sigma-finite invariant measures (Corollary 1). For…

Products and sums of random matrices have seen a rapid development in the past decade due to various analytical techniques available. Two of these are the harmonic analysis approach and the concept of polynomial ensembles. Very recently, it…

Let G be a semisimple linear algebraic group defined over rational numbers, K be a maximal compact subgroup of its real points and {\Gamma} be an arithmetic lattice. One can associate a probability measure {\mu}(H) on {\Gamma}\G for each…

For a fixed singular Borel probability measure $\mu$ on $\mathbb{T}$, we give several characterizations of when an entire function is the Fourier transform of some $f \in L^2(\mu)$. The first characterization is given in terms of criteria…

One of the classical results concerning differentiability of continuous functions states that the set $\mathcal{SD}$ of somewhere differentiable functions (i.e., functions which are differentiable at some point) is Haar-null in the space…

Given a group $\Gamma,$ its Bohr compactification $\operatorname{Bohr}(\Gamma)$ and its profinite completion $\operatorname{Prof}(\Gamma)$ are compact groups naturally associated to $\Gamma$; moreover, $\operatorname{Prof}(\Gamma)$ can be…

The basic notions of quantum mechanics are formulated in terms of separable infinite dimensional Hilbert space $\mathcal{H}$. In terms of the Hilbert lattice $\mathcal{L}$ of closed linear subspaces of $\mathcal{H}$ the notions of state and…

In this paper, we give an alternative approach to the theory of locally compact quantum groups, as developed by Kustermans and Vaes. We develop the theory completely within the von Neumann algebra framework. At various points, we also do…

We present a finite algorithm for computing the set of irreducible unitary representations of a real reductive group G. The Langlands classification, as formulated by Knapp and Zuckerman, exhibits any representation with an invariant…

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…

This study proposes a low-complexity interpretable classification system. The proposed system contains three main modules including feature extraction, feature reduction, and classification. All of them are linear. Thanks to the linear…