Related papers: Formalized Haar Measure

We consider topological groupoids in finite and also in a compact settings. In the initial sections, we introduce definitions of typical observables and we studied them in the context of statistical mechanics and quantum mechanics. We…

Using the Kaczmarz algorithm, we prove that for any singular Borel probability measure $\mu$ on $[0,1)$, every $f\in L^2(\mu)$ possesses a Fourier series of the form $f(x)=\sum_{n=0}^{\infty}c_ne^{2\pi inx}$. We show that the coefficients…

We investigate Birkhoff (or triangular) factorization and (what we propose to call) root subgroup factorization for elements of a noncompact simple Lie group $G_0$ of inner type. For compact groups root subgroup factorization is related to…

We characterize the Borel measures $\mu$ on $\mathbb{R}$ for which the associated dyadic Hilbert transform, or its adjoint, is of weak-type $(1,1)$ and/or strong-type $(p,p)$ with respect to $\mu$. Surprisingly, the class of such measures…

We develop the theory of categories of measurable fields of Hilbert spaces and bounded fields of bounded operators. We examine classes of functors and natural transformations with good measure theoretic properties, providing in the end a…

In this paper we study isometry-invariant Finsler metrics on inner product spaces over $\mathbb{R}$ or $\mathbb{C}$, i.e. the Finsler metrics which do not change under the action of all isometries of the inner product space. We give a new…

The paper investigates possible generalisations of Maharam's theorem to a classification of Boolean algebras that support a finitely additive measure. We prove that Boolean algebras that support a finitely additive non-atomic uniformly…

The adjoint method introduced in [Eva] and [Tra] is used, to construct analogs to the Aubry-Mather measures for non convex Hamiltonians. More precisely, a general construction of probability measures, that in the convex setting agree with…

An important consequence of the Hahn-Banach Theorem says that on any locally convex Hausdorff topological space $X$, there are sufficiently many continuous linear functionals to separate points of $X$. In the paper, we establish a `local'…

By using the notion of a Haar ambivalent set introduced by Balka, Buczolich and Elekes (2012), essentially new classes of statistical structures having objective and strong objective estimates of unknown parameters are introduced in a…

Motivated by recent investigations of Sophie Grivaux and \'Etienne Matheron on the existence of invariant measures in Linear Dynamics, we introduce the concept of locally bounded orbit for a continuous linear operator $T:X\longrightarrow X$…

This paper shows that the endogeneity test using the control function approach in linear instrumental variable models is a variant of the Hausman test. Moreover, we find that the test statistics used in these tests can be numerically…

We continue the systematic study of left-invariant generalised Einstein metrics on Lie groups initiated in arXiv:2206.01157. Our approach is based on a new reformulation of the corresponding algebraic system. For a fixed Lie algebra…

As mathematical induction is applied to prove statements on natural numbers, {\it continuous induction} (or, {\it real induction}) is a tool to prove some statements in real analysis.(Although, this comparison is somehow an overstatement.)…

What is the ergodic behaviour of numerically computed segments of orbits of a diffeomorphism? In this paper, we try to answer this question for a generic conservative $C^1$-diffeomorphism, and segments of orbits of Baire-generic points. The…

The Harder-Narasimhan theory provides a canonical filtration of a vector bundle on a projective curve whose successive quotients are semistable with strictly decreasing slopes. In this article, we present the formalization of…

For any standard Borel space $B$, let $\mathcal{P}(B)$ denote the space of Borel probability measures on $B$. In relation to a difficult problem of Aldous in exchangeability theory, and in connection with arithmetic combinatorics, Austin…

We associate a rational number $\chi(\mathcal{A})$ to every category $\mathcal{A}$ whose object and morphism sets are finite. We show that the assignment $\chi$ is additive under disjoint union and it preserves products. Hence we consider…

We classify mapping class group invariant probability measures on the character varieties of Deroin-Tholozan representations, namely the compact components of relative $\mathrm{PSL}_2\mathbb{R}$-character varieties. We prove that an ergodic…

We show that, for suitable enumerations, the multivariate Haar system is a Schauder basis in the classical Sobolev spaces on $\mathbb R^d$ with integrability $1<p<\infty$ and smoothness $1/p-1<s<1/p$. This complements earlier work by the…