Related papers: Computable Jordan Decomposition of Linear Continuo…
Given a measure space and a totally ordered ordered collection of measurable sets, called an ordered core, the notion of a core decreasing function is introduced and used to define the down space of a Banach function space. This is done…
In this paper we develop a new set of results based on a nonlocal gradient jointly inspired by the Riesz s-fractional gradient and Peridynamics, in the sense that its integration domain depends on a ball of radius delta > 0 (horizon of…
We prove a computable version of de Finetti's theorem on exchangeable sequences of real random variables. As a consequence, exchangeable stochastic processes expressed in probabilistic functional programming languages can be automatically…
We show that the set of Lebesgue integrable functions in $[0,1]$ which are nowhere essentially bounded is spaceable, improving a result from [F. J. Garc\'{i}a-Pacheco, M. Mart\'{i}n, and J. B. Seoane-Sep\'ulveda. \textit{Lineability,…
By the sometimes so-called MAIN THEOREM of Recursive Analysis, every computable real function is necessarily continuous. Weihrauch and Zheng (TCS'2000), Brattka (MLQ'2005), and Ziegler (ToCS'2006) have considered different relaxed notions…
We define a smooth functional calculus for a non-commuting tuple of (unbounded) operators $A_j$ on a Banach space with real spectra and resolvents with temperate growth, by means of an iterated Cauchy formula. The construction is also…
For any JdLG-admissible representation $\pi$ of a semigroup $S$ on a Banach space $E$, we show that the reversible part is weakly equivalent to a unitary representation on a Hilbert space that decomposes into a direct sum of finite…
We extend the classical Mercer theorem to reproducing kernel Hilbert spaces whose elements are functions from a measurable space $X$into $\mathbb C^n$. Given a finite measure $\mu$ on $X$, we represent the reproducing kernel $K$ as…
We initiate the effective metric structure theory of Keisler randomizations. We show that a classical countable structure $\mathcal{M}$ has a decidable presentation if and only if its Borel randomization $\mathcal{M}^{[0,1)}$ has a…
Constructing or learning a function from a finite number of sampled data points (measurements) is a fundamental problem in science and engineering. This is often formulated as a minimum norm interpolation problem, regularized learning…
Two representations theorems are presented: 1. Any Borel action of a second countable locally compact group $G$ on a standard Borel space $X$ admits an injective $G$-equivariant Borel map into the shift space of $1$-Lipschitz functions from…
A family of infinite-dimensional irreducible $*$-representations on $\mathcal{H}\simeq L^2(\mathbb{R})\otimes\mathbb{C}^N$ is defined for a quantum-deformed Lorentz algebra $\mathscr{U}_{\bf q}(sl_2)\otimes \mathscr{U}_{\widetilde{\bf…
This paper studies the infinitesimal variation of the Lefschetz decomposition associated with a compatible sl_2-representation on a graded algebra. This allows to prove that the Jordan-Lefschetz property holds infinitesimally for the…
In this paper we consider the set of all bounded subsets of totally ordered Dedekind complete Riesz spaces, equipped with the order topology. We show the existence of bounded linear functions on this set, that are invariant under group…
In this note, we show that the spectral theorem, has two representations; the Stone-von Neumann representation and one based on the polar decomposition of linear operators, which we call the deformed representation. The deformed…
We realize a dynamical decomposition for a post-critically finite rational map which admits a combinatorial decomposition. We split the Riemann sphere into two completely invariant subsets. One is a subset of the Julia set consisting of…
We prove a computable version of the Hall Harem Theorem where the matching realizes a unary function with controlled sizes of cycles. We apply it to non-amenable computable coarse spaces. As a result, we obtain a computable version of the…
For a set $X\sbst\R$, let $B(X)\sbst\R^X$ denote the space of Borel real-valued functions on $X$, with the topology inherited from the Tychonoff product $\R^X$. Assume that for each countable $A\sbst B(X)$, each $f$ in the closure of $A$ is…
This note aims to highlight the link between representable functionals and derivations on a Banach quasi *-algebra, i.e. a mathematical structure that can be seen as the completion of a normed *-algebra in the case the multiplication is…
We prove the existence of Rado sets in the Banach space of continuous functions on [0,1]. A countable dense set S is Rado if with probability 1, the infinite geometric random graph on S, formed by probabilistically making adjacent elements…