Related papers: Loeb Extension and Loeb Equivalence II

In this paper, we proved that for a bounded Hopf-symmetric domain $\Omega$ in a noncompact rank one symmetric space $M$, the second Dirichlet eigenvalue $\lambda_2 (\Omega) \leq \lambda_2 (B_1)$ where $B_1$ is a geodesic ball in $M$ such…

We study interpolation inequalities between H\"older Integral Probability Metrics (IPMs) in the case where the measures have densities on closed submanifolds. Precisely, it is shown that if two probability measures $\mu$ and $\mu^\star$…

In this article, we investigate the connection between certain real variable things and the Bergman theory. We first use Hardy-type inequalities to give an $L^2$ Hartogs-type extension theorem and an $L^p$ integrability theorem for the…

Given a topological property $P$, we say that the space $X$ is $P$-generated if for any subset $A\subset X$ that is not open in $X$ there is a subspace $Y \subset X$ with property $P$ such that $A\cap Y$ is not open in $Y$. (Of course, in…

Bader, Furman and Sauer have introduced the notion of integrable measure equivalence for finitely-generated groups. This is the sub-equivalence relation of measure equivalence obtained by insisting that the relevant cocycles satisfy an…

We develop the theory of halving spaces to obtain lower bounds in real enumerative geometry. Halving spaces are topological spaces with an action of a Lie group $\Gamma$ with additional cohomological properties. For $\Gamma=\mathbb{Z}_2$ we…

An inequality of Brascamp and Lieb provides a bound on the covariance of two functions with respect to log-concave measures. The bound estimates the covariance by the product of the $L^2$ norms of the gradients of the functions, where the…

In this work, we study the rigidity problem for the logarithmic Sobolev inequality on a complete metric measure space $(M^n,g,f)$ with Bakry-\'Emery Ricci curvature satisfying $Ric_f\geq \frac{a}{2}g$, for some $a>0$. We prove that if…

For a Hopf algebra B, we endow the Heisenberg double H(B^*) with the structure of a module algebra over the Drinfeld double D(B). Based on this property, we propose that H(B^*) is to be the counterpart of the algebra of fields on the…

This paper provides a complete proof of Simon-Lukic conjecture for orthogonal polynomials on the unit circle. For a probability measure $d\mu = w(\theta) \frac{d\theta}{2\pi} + d\mu_s$ with Verblunsky coefficients…

Our aim is to provide a short and self contained synthesis which generalise and unify various related and unrelated works involving what we call Phi-Sobolev functional inequalities. Such inequalities related to Phi-entropies can be seen in…

Tsirelson's problem asks whether the set of nonlocal quantum correlations with a tensor product structure for the Hilbert space coincides with the one where only commutativity between observables located at different sites is assumed. Here…

We introduce the categories of quasi-measurable spaces, which are slight generalizations of the category of quasi-Borel spaces, where we now allow for general sample spaces and less restrictive random variables, spaces and maps. We show…

We introduce the $\mathcal{L}^p$ spaces of measurable functions whose $p$-th power is summable with respect to the uniform measure over the Levi-Civita field $\mathcal{R}$. These spaces are the counterparts of the real $L^p$ spaces based…

The logarithmic Sobolev inequality for the Hamming cube {0,1}^n states that for any real-valued function f on the cube holds E(f,f) \ge 2 Ent(f^2), where E(f,f) is the appropriate Dirichlet form (also known as "sum of influences"). We show…

In The factorization of the Giry monad (arXiv:1707.00488v2) the author considers two $\sigma$-algebras on convex spaces of functions to the unit interval. One of them is generated by the Boolean subobjects and the other is the…

Let us consider a Gaussian probability on a Banach space. We prove the existence of an intermediate Banach space between the space where the Gaussian measure lives and its RKHS. Such a space has full probability and a compact embedding.…

We show that given a homeomorphism $f:G\rightarrow\Omega$ where $G$ is a open subset of $\mathbb{R}^2$ and $\Omega$ is a open subset of a $2$-Ahlfors regular metric measure space supporting a weak $(1,1)$-Poincar\'e inequality, it holds…

This article is written in celebration of the 8th Kazakh-French Logical Colloquium. We expand on an unpublished research note of the second author. We record some results concerning local Keisler measures with respect to a formula which is…

We show that for a large class of maps on manifolds of arbitrary finite dimension, the existence of a Gibbs-Markov-Young structure (with Lebesgue as the reference measure) is a necessary as well as sufficient condition for the existence of…