Related papers: An invitation to extension domination
We present a general sparse domination principle which respects the cancellative structure of the functions under study. We obtain sparse domination results in general measure spaces, including general martingale settings in one and two…
Let ${\mathfrak H}_A$, ${\mathfrak H}_B$, and ${\mathfrak H}$ be Hilbert spaces. Let $A$ be a linear relation from ${\mathfrak H}$ to ${\mathfrak H}_A$ and let $B$ be a linear relation from ${\mathfrak H}$ to ${\mathfrak H}_B$. If there…
We study the monoid of global invariant types modulo domination-equivalence in the context of o-minimal theories. We reduce its computation to the problem of proving that it is generated by classes of 1-types. We show this to hold in Real…
We establish a finite-dimensional version of the Arveson-Stinespring dilation theorem for unital completely positive maps on operator systems. This result can be seen as a general principle to deduce finite-dimensional dilation theorems…
Restriction is a natural quasi-order on $d$-way tensors. We establish a remarkable aspect of this quasi-order in the case of tensors over a fixed finite field -- namely, that it is a well-quasi-order: it admits no infinite antichains and no…
For any length category, we establish a set of rules (necessary and sufficient) that ensure a partial order on the isomorphism classes of simple objects such that the category is equivalent to the category of finite dimensional…
Expansion is an operation on typings (i.e., pairs of typing environments and result types) defined originally in type systems for the lambda-calculus with intersection types in order to obtain principal (i.e., most informative, strongest)…
Roman domination is one of the many variants of domination that keeps most of the complexity features of the classical domination problem. We prove that Roman domination behaves differently in two aspects: enumeration and extension. We…
By theorems of Carlson and Renaudin, the theory of $(\infty,1)$-categories embeds in that of prederivators. The purpose of this paper is to give a two-fold answer to the inverse problem: understanding which prederivators model…
We study the problem of extending an order-preserving real-valued Lipschitz map defined on a subset of a partially ordered metric space without increasing its Lipschitz constant and preserving its monotonicity. We show that a certain type…
The aim of the note is to extend the uniformization theorem to compact Kahler spaces X with mild singularities and establish a kind of rigidity of their universal coverings. We assume the fundamental group of X is large, residually finite…
We present an approach to cohomological dimension theory based on infinite symmetric products and on the general theory of dimension called the extension dimension. The notion of the extension dimension $\ExD(X)$ was introduced by…
We demonstrate that the classical Michael selection theorem for l.s.c. mappings with a collectionwise normal domain can be reduced only to compact-valued mappings modulo Dowker's extension theorem for such spaces. The idea used to achieve…
We introduce a family of maps generating continued fractions where the digit $1$ in the numerator is replaced cyclically by some given non-negative integers $(N_1,\ldots,N_m)$. We prove the convergence of the given algorithm, and study the…
Introducing the notion of a rational system of measure preserving transformations and proving a recurrence result for such systems, we give sufficient conditions in order a subset of rational numbers to contain arbitrary long arithmetic…
In a recent paper by two of the authors, the concepts of upwards and downwards $\epsilon$-movability were introduced, mainly as a technical tool for studying dynamical percolation of interacting particle systems. In this paper, we further…
We introduce the notion of "functional extension" of a set X, by means of two natural algebraic properties of the operator * on unary functions. We study the connections with ultrapowers of structures with universe X, and we give a simple…
In this paper we introduce a very general setting dealing with the superposition of operators of any positive order and provide a systematic study of them. We also provide examples and counterexamples, as well as characterizing properties…
We introduce the notion of first order amenability, as a property of a first order theory $T$: every complete type over $\emptyset$, in possibly infinitely many variables, extends to an automorphism-invariant global Keisler measure in the…
The aim of this work is to generalize the ultraholomorphic extension theorems from V. Thilliez in the weight sequence setting and from the authors in the weight function setting (of Roumieu type) to a mixed framework. Such mixed results…