Related papers: Extending Fubini Measures

This article explores the extension of well-known F1 score used for assessing the performance of binary classifiers. We propose the new metric using probabilistic interpretation of precision, recall, specificity, and negative predictive…

For a given entwining structure $(A,C)_\psi$ involving an algebra $A$, a coalgebra $C$, and an entwining map $\psi: C\otimes A\to A\otimes C$, a category $\M_A^C(\psi)$ of right $(A,C)_\psi$-modules is defined and its structure analysed. In…

We discuss equivariance for linear liftings of measurable functions. Existence is established when a transformation group acts amenably, as e.g. the Moebius group of the projective line. Since the general proof is very simple but not…

For every countable abelian group $G$ we find the set of all its subgroups $H$ ($H\leq G$) such that a typical measure-preserving $H$-action on a standard atomless probability space $(X,\mathcal{F}, \mu)$ can be extended to a free…

For certain contractible G-CW-complexes and F a family of subgroups of G, we construct a spectral sequence converging to the F-Bredon cohomology of G with E1-terms given by the F-Bredon cohomology of the stabilizer subgroups. As…

We develop the notion of a "filtered cospan" as an algebraic object that stands in the same relation to interlevel persistence modules as filtered chain complexes stand with respect to sublevel persistence modules. This relation is…

Let $\mathcal{A}$ be an abelian category and let $F$ be a subbifunctor of the additive bifunctor $\text{Ext}_{\mathcal{A}}^{1}(-,-)\colon \mathcal{A}^{\text{op}}\times \mathcal{A}\to \mathsf{Ab}$. Buan proved in [4] that $F$ is closed if,…

We prove that a positive-definite measure in $\mathbb{R}^n$ with uniformly discrete support and discrete closed spectrum, is representable as a finite linear combination of Dirac combs, translated and modulated. This extends our recent…

Let $n$ be a non-negative integer. An exact category $\C$ is said to be an $n$-Frobenius category, provided that it has enough $n$-projectives and $n$-injectives and the $n$-projectives coincide with the $n$-injectives. It is proved that…

We present a general Bayesian formalism for the definition of Figures of Merit (FoMs) quantifying the scientific return of a future experiment. We introduce two new FoMs for future experiments based on their model selection capabilities,…

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…

This short note shows a limiting behavior of integrals of some centered antipersistent stationary infinitely divisible moving averages as the compact integration domain in $d\ge 1$ dimensions extends to the whole positive quadrant…

Given a small category C, a C-module M is a functor from C to the category of finite-dimensional vector spaces over a field k. Associated to M is its local structure, given as a functor from C to the category of bi-closed multi-flags over…

We give a new proof of quantifier elimination in the theory of all ordered abelian groups in a suitable language. More precisely, this is only "quantifier elimination relative to ordered sets" in the following sense. Each definable set in…

We introduce a natural concept of positive definiteness for bundle maps between Fell bundles over (possibly different) discrete groups and describe several examples. Such maps induce completely positive maps between the associated full…

In this paper, we apply the machinery developed in arXiv:2401.06641(2) to study the behavior of computable categoricity relativized to non-c.e. degrees. In particular, we show that we can build a computable structure which is not computably…

Expanding on the comprehensive factorization of functors internal to a category C, under fairly mild conditions on a monad T on C we establish that this orthogonal factorization system exists even in Burroni's category Cat(T) of (internal)…

We offer a unified treatment of distinct measures of well-posedness for homogeneous conic systems. To that end, we introduce a distance to infeasibility based entirely on geometric considerations of the elements defining the conic system.…

Describing the deviation of a real structure from a hypothetical higher-symmetry ideal can be a powerful tool to understand and interpret phase transitions. Here we introduce a simple yet effective metric that quantifies the degree of unit…

Suppose a map $\phi$ on the set of positive definite matrices satisfies $\det(A+B)=\det(\phi(A)+\phi(B))$. Then we have $${\rm tr}(AB^{-1}) = {\rm tr}(\phi(A){\phi(B)}^{-1}).$$ Through this viewpoint, we show that $\phi$ is of the form…