Related papers: A note on indecomposable sets of finite perimeter

The main aim of the paper is to give a full classification (up to isometry) of all metric spaces X with the following two properties: X contains a compact set with non-empty interior; and for any three distinct points a, b and c of X there…

We show that a version of L\'opez-Escobar's theorem holds in the setting of logic for metric structures. More precisely, let $\mathbb{U}$ denote the Urysohn sphere and let $\mathrm{Mod}(\mathcal{L},\mathbb{U})$ be the space of metric…

We show that every finite inverse monoid has an idempotent-separating cover by a finite F-inverse monoid. This provides a positive answer to a conjecture of Henckell and Rhodes.

Motivated by questions from Ehrhart theory, we present new results on discrete equidecomposability. Two rational polygons $P$ and $Q$ are said to be discretely equidecomposable if there exists a piecewise affine-unimodular bijection…

Turaev conjectured that the classification, realization and splitting results for Poincar\'e duality complexes of dimension $3$ (PD$_{3}$-complexes) generalize to PD$_{n}$-complexes with $(n-2)$-connected universal cover for $n \ge 3$.…

On a metric space equipped with a doubling measure supporting a Poincar\'e inequality, we show that given a BV function, discarding a set of small $1$-capacity makes the function continuous outside its jump set and ``one-sidedly" continuous…

We utilise a quotient of the universal enveloping algebra of the Poincar\'e algebra in three spacetime dimensions, on which we formulate a covariant constancy condition. The equations so obtained contain the Fierz-Pauli equations for…

We show that the observable category of q-tame multiparameter persistence modules satisfies good metric and algebraic properties: it forms a complete metric space with respect to the interleaving distance, and it is Krull--Schmidt in the…

It was shown by G. Pisier that any finite-dimensional normed space admits an $\alpha$-regular $M$-position, guaranteeing not only regular entropy estimates but moreover regular estimates on the diameters of minimal sections of its unit-ball…

We generalize a result of J. C. Kelly to the setting of Ahlfors $Q$-regular metric measure spaces supporting a $1$-Poincar\'e inequality. It is shown that if $X$ and $Y$ are two Ahlfors $Q$-regular spaces supporting a $1$-Poincar\'e…

The Univalence Principle is the statement that equivalent mathematical structures are indistinguishable. We prove a general version of this principle that applies to all set-based, categorical, and higher-categorical structures defined in a…

Consider a proper geodesic metric space $(X,d)$ equipped with a Borel measure $\mu.$ We establish a family of uniform Poincar\'e inequalities on $(X,d,\mu)$ if it satisfies a local Poincar\'e inequality ($P_{loc}$) and a condition on growth…

The quest for complete observables in general relativity has been a longstanding open problem. We employ methods from descriptive set theory to show that no complete observable on rich enough collections of spacetimes is Borel definable. In…

We prove that complete Riemannian manifolds with polynomial growth and Ricci curvature bounded from below, admit uniform Poincar\'e inequalities. A global, uniform Poincar\'e inequality for horospheres in the universal cover of a closed,…

Employing a recently proposed separability criterion we develop analytical lower bounds for the concurrence and for the entanglement of formation of bipartite quantum systems. The separability criterion is based on a nondecomposable…

In this paper we deduce a local deformation lemma for uniform embeddings in a metric covering space over a compact manifold from the deformation lemma for embeddings of a compact subspace in a manifold. This implies the local…

Shephard (Canad. J. Math. 26: 302-321, 1974) proved a decomposition theorem for zonotopes yielding a simple formula for their volume. In this note we prove a generalization of this theorem yielding similar formulas for their intrinsic…

In a previous paper the authors developed a H^1-BMO theory for unbounded metric measure spaces $(M,\rho,m)$ of infinite measure that are locally doubling and satisfy two geometric properties, called "approximate midpoint" property and…

We study Boolean models on Riemannian symmetric spaces driven by homogeneous insertion- or deletion-tolerant point processes. We prove that in both the set covered by the balls (the occupied set) and its complement (the vacant set), one…

We continue investigating the structure of externally definable sets in NIP theories and preservation of NIP after expanding by new predicates. Most importantly: types over finite sets are uniformly definable; over a model, a family of…