Related papers: Surjective isometries on rearrangement-invariant s…

Let $\overline{\mathfrak{S}}_\infty$ denote the set of all bijections of natural numbers. Consider the action of $\overline{\mathfrak{S}}_\infty$ on a measure space $\left( X,\mathfrak{M},\mu \right)$, where $\mu$ is…

Let $(X, \mathscr{L}, \lambda)$ and $(Y, \mathscr{M}, \mu)$ be finite measure spaces for which there exist $A \in \mathscr{L}$ and $B \in \mathscr{M}$ with $0 < \lambda(A) < \lambda(X)$ and $0 < \mu(B) < \mu(Y)$, and let $I\subseteq…

In this article we introduce conformal Riemannian morphisms. The idea of conformal Riemannian morphism generalizes the notions of an isometric immersion, a Riemannian submersion, an isometry, a Riemannian map and a conformal Riemannian map.…

Given two complex Hilbert spaces $H$ and $K$, let $S(B(H))$ and $S(B(K))$ denote the unit spheres of the C$^*$-algebras $B(H)$ and $B(K)$ of all bounded linear operators on $H$ and $K$, respectively. We prove that every surjective isometry…

We consider the family of harmonic measures on a lamination $\mathcal{L}$ of a compact space $X$ by locally symmetric spaces $L$ of noncompact type, i.e. $L\simeq \Gamma_L\backslash G/K$. We establish a natural bijection between these…

The principle of optimizing inequalities, or their equivalent operator theoretic formulation, is well established in analysis. For an operator, this corresponds to extending its action to larger domains, hopefully to the largest possible…

We find sufficient conditions for a probability measure $\mu$ to satisfy an inequality of the type $$ \int_{\R^d} f^2 F\Bigl(\frac{f^2}{\int_{\R^d} f^2 d \mu} \Bigr) d \mu \le C \int_{\R^d} f^2 c^{*}\Bigl(\frac{|\nabla f|}{|f|} \Bigr) d \mu…

We study the generalization of $m$-isometries and $m$-contractions (for positive integers $m$) to what we call $a$-isometries and $a$-contractions for positive real numbers $a$. We show that any Hilbert space operator, satisfying an…

We show that if $X$ is a complete metric space with uniform relative normal structure and $G$ is a subgroup of the isometry group of $X$ with bounded orbits, then there is a point in $X$ fixed by every isometry in $G$. As a corollary, we…

A geometric characterization is given for invertible quantum measurement maps. Denote by ${\mathcal S}(H)$ the convex set of all states (i.e., trace-1 positive operators) on Hilbert space $H$ with dim$H\leq \infty$, and $[\rho_1, \rho_2]$…

We obtain a compact Sobolev embedding for $H$-invariant functions in compact metric-measure spaces, where $H$ is a subgroup of the measure preserving bijections. In Riemannian manifolds, $H$ is a subgroup of the volume preserving…

We define a new rearrangement, called rearrangement by tamping, for non-negative measurable functions defined on R+. This rearrangement has many properties in common with the well-known Schwarz non-increasing rearrangement such as the…

It is known that Iterated Function Systems generated by orientation preserving homeomorphisms of the unit interval admit a unique invariant measure on $(0,1)$. The setup for this result is the positivity of Lyapunov exponents at both fixed…

Every non-erasing monoid morphism $\sigma: \mathcal{A}^* \to \mathcal{B}^*$ induces a {\em measure transfer map} $\sigma_X^{\mathcal{M}}: \mathcal{M}(X) \to \mathcal{M}(\sigma(X))$ between the measure cones $\mathcal{M}(X)$ and…

We show that, for a generic measure preserving transformation $T$, the closed group generated by $T$ is not isomorphic to the topological group $L^0(\lambda, {\mathbb T})$ of all Lebesgue measurable functions from $[0,1]$ to $\mathbb T$…

Let \bar{M}_{0,n} be the moduli space of pointed, genus 0 curves. Let L_i denote the line bundle on \bar{M}_{0,n} associated to the i-th marked point (the fiber of L_i is the cotangent space of the pointed curve at the i-th point).…

Let $M$ be a sphere with handles and holes, $f:M\to\mathbb R^3$ an embedding, and $H_1=H_1(M;\mathbb Z)$. We study a simple isotopy invariant of $f$, the Seifert bilinear form $L(f):H_1\times H_1\to\mathbb Z$. Let $\cap:H_1\times…

Let f:X-->R be a function defined on a connected nonsingular real algebraic set X in R^n. We prove that regularity of f can be detected on either algebraic curves or surfaces in X. If dimX>1 and k is a positive integer, then f is a regular…

We show that the continuum hypothesis implies there exists a Lindelof space X such that X x X is the union of two metrizable subspaces but X is not metrizable. This gives a consistent solution to a problem of Balogh, Gruenhage, and Tkachuk.…

A relational structure $\mathbb{X}$ is called reversible iff each bijective homomorphism from $\mathbb{X}$ onto $\mathbb{X}$ is an isomorphism, and linear orders are prototypical examples of such structures. One way to detect new reversible…