Related papers: Convex decomposition spaces and Crapo complementat…
We supplement the Herglotz-Nevanlinna integral representation of so-called Pick functions by adding the formula for M\"obius transforms and the positivity characterization near boundary supports.
We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…
In this paper, we present a more complete version of the minimax theorem established in [7]. As a consequence, we get, for instance, the following result: Let $X$ be a compact, not singleton subset of a normed space $(E,\|\cdot\|)$ and let…
In the same way decomposition spaces, also known as unital 2-Segal spaces, have incidence (co)algebras, and certain relative decomposition spaces have incidence (co)modules, we identify the structures that have incidence bi(co)modules: they…
We investigate under what conditions holomorphic forms defined on the regular locus of a reduced complex space extend to holomorphic (or logarithmic) forms on a resolution of singularities. We give a simple necessary and sufficient…
For $p \in (1,N)$ and $\Omega \subseteq \mathbb{R}^N$ open, the Beppo-Levi space $\mathcal{D}^{1,p}_0(\Omega)$ is the completion of $C_c^{\infty}(\Omega)$ with respect to the norm $\left( \int_{\Omega}|\nabla u|^p \right)^ \frac{1}{p}.$…
A decomposition space (also called 2-Segal space) is a simplicial object satisfying an exactness condition weaker than the Segal condition: just as the Segal condition expresses composition, the new condition expresses decomposition. It is…
We prove a functional version of the additive kinematic formula as an application of the Hadwiger theorem on convex functions together with a Kubota-type formula for mixed Monge-Amp\`ere measures. As an application, we give a new…
Given a space $X$ and a simplicial complex $K$ with $m$-vertices, the arrangement of partially diagonal subspaces of $X^m$, called the dragonal arrangement, is defined. We decompose the suspension of the diagonal arrangement when $2(dim K +…
Considering a linearly ordered set, we introduce its symmetric version, and endow it with two operations extending supremum and infimum, so as to obtain an algebraic structure close to a commutative ring. We show that imposing symmetry…
In a previous paper, we obtained several "compact versions" of Rubio de Francia's weighted extrapolation theorem, which allowed us to extrapolate the compactness of linear operators from just one space to the full range of weighted Lebesgue…
In this paper, we extend the investigations regarding Birkhoff-James orthogonality of linear operators to bounded continuous functions on metric spaces. We introduce Birkhoff-James extensions of continuous functions and study them in…
This paper shows how to construct a discrete Morse function with a relatively small number of critical cells for the order complex of any finite poset with $\hat{0} $ and $\hat{1}$ from any lexicographic order on its maximal chains.…
The main result of this paper is a quasi-hamiltonian analogue of a special case of the O'Shea-Sjamaar convexity theorem for usual momentum maps. We denote by U a simply connected compact connected Lie group and we fix an involutive…
We study the topology of X given that Cp(X) injects into Cp(Y), where Y is compact. We first show that if Cp over a GO-space (="subspace of a lineraly ordered space") injects into Cp over a compactum, then the Dedekind remainder of the…
We establish common fixed point theorems for two pairs of weakly compatible self-mappings using an auxiliary function of two variables. Unlike classical results, our theorems do not assume continuity of the mappings and require completeness…
Given a symmetric monoidal category $C$ with product $\sqcup$, where the neutral element for the product is an initial object, we consider the poset of $\sqcup$-complemented subobjects of a given object $X$. When this poset has finite…
We establish complete characterizations of various notions of expansivity for weighted composition operators on a very general class of locally convex spaces of continuous functions. This class includes several classical classes of…
We provide novel theoretical results regarding local optima of regularized $M$-estimators, allowing for nonconvexity in both loss and penalty functions. Under restricted strong convexity on the loss and suitable regularity conditions on the…
We show that the M\"obius function of an interval in a permutation poset where the lower bound is sum (resp. skew) indecomposable depends solely on the sum (resp. skew) indecomposable permutations contained in the upper bound, and that this…