Related papers: Abstract harmonic analysis on locally compact righ…

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…

We study analogues of Cartan decompositions of Lie groups for totally disconnected locally compact groups. It is shown using these decompositions that a large class of totally disconnected locally compact groups acting on trees and…

We introduce the Solecki submeasure $\sigma(A)=\inf_F\sup_{x,y\in G}|F\cap xAy|/|F|$ and its left and right modifications on a group $G$, and study the interplay between the Solecki submeasure and the Haar measure on compact topological…

In this paper we investigate hereditarily normal topological groups and their subspaces. We prove that every compact subspace of a hereditarily normal topological group is metrizable. To prove this statement we first show that a…

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…

Applications of harmonic analysis on finite groups were recently introduced to measure partition problems, with a variety of equipartition types by convex fundamental domains obtained as the vanishing of prescribed Fourier transforms.…

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…

We study harmonic measure in finite graphs with an emphasis on expanders, that is, positive spectral gap. It is shown that if the spectral gap is positive then for all sets that are not too large the harmonic measure from a uniform starting…

Given a locally compact group bundle, we show that the system of the Plancherel weights of their C*-algebras is lower semi-continuous. As a corollary, we obtain that the dual Haar sytem of a continuous Haar system of a locally compact…

Let $G$ be a locally compact group, $\mu$ its Haar measure, $\hat G$ its Pontryagin dual and $\nu$ the dual measure. For any $A_\theta\in L^1(G;\mathcal C_p)\cap L^2(G;\mathcal C_p)$, ($\mathcal C_p$ is Schatten ideal), and $1<p\le2$ we…

We study when a piecewise full group (a.k.a. topological full group) of homeomorphisms of the Cantor space $X$ can be given a non-discrete totally disconnected locally compact (t.d.l.c.) topology and give a criterion for the alternating…

A topological space is locally equiconnected if there exists a neighborhood $U$ of the diagonal in $X\times X$ and a continuous map $\lambda:U\times[0,1]\to X$ such that $\lambda(x,y,0)=x$, $\lambda(x,y,1)=y$ et $\lambda(x,x,t)=x$ for…

This paper considers random matrices distributed according to Haar measure in different classical compact groups. Utilizing the determinantal point structures of their nontrivial eigenangles, with respect to the $L_1$-Wasserstein distance,…

It is known that for every second countable locally compact group G, there exists a proper G-invariant metric which induces the topology of the group. This is no longer true for coset spaces G/H viewed as G-spaces. We study necessary and…

We initiate a systematic investigation of group actions on compact medain algebras via the corresponding dynamics on their spaces of measures. We show that a probability measure which is invariant under a natural push forward operation must…

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…

This article is concerned with measure equivalence and uniform measure equivalence of locally compact, second countable groups. We show that two unimodular, locally compact, second countable groups are measure equivalent if and only if they…

We study homeomorphisms of compact metric spaces whose restriction to the nonwandering set has the pseudo-orbit tracing property. We prove that if there are positively expansive measures, then the topological entropy is positive. Some short…

Given any amenable group $G$ (with a left Haar measure $|\cdot|$ or $dg$), we can select out a \textit{F{\o}lner subnet} $\{F_\theta,\theta\in\Theta\}$ from any left F{\o}lner net in $G$, which is \textit{$L^\infty$-admissible}, namely, for…

Let $\mathbf{\eta}$ be a positive Radon measure on the space of continuous paths from R into a locally compact Polish space $Y$, and assume that $\mathbf{\eta}$ admits an invariant measure. We explicit conditions on $\mathbf{\eta}$ such…