Related papers: Computable Jordan Decomposition of Linear Continuo…

We extend the Theory of Computation on real numbers, continuous real functions, and bounded closed Euclidean subsets, to compact metric spaces $(X,d)$: thereby generically including computational and optimization problems over higher types,…

This work will be centered in commutative Banach subalgebras of the algebra of bounded linear operators defined on a Free Banach spaces of countable type. The main goal of this work wil be to formulate a representation theorem for these…

A type-2 computable real function is necessarily continuous; and this remains true for relative, i.e. oracle-based computations. Conversely, by the Weierstrass Approximation Theorem, every continuous f:[0,1]->R is computable relative to…

This paper systematically studies the subset of continuous linear functionals on the projective tensor product of Banach spaces whose norms are bounded by Grothendieck's constant $K_G$. We term such functionals Grothendieck functional…

We study the boundedness on $L^p$ of the Riesz transform $\nabla L^{-1/2}$, where $L$ is one of several operators defined on $\R$ or $\R_+$, endowed with the measure $r^{d-1} dr$, $d > 1$, where $dr$ is Lebesgue measure. For integer $d$,…

Inspired by the theories of Kaplansky-Hilbert modules and probability theory in vector lattices, we generalise functional analysis by replacing the scalars $\mathbb{R}$ or $\mathbb{C}$ by a real or complex Dedekind complete unital…

A finite-dimensional ${\sf RCD}$ space can be foliated into sufficiently regular leaves, where a differential calculus can be performed. Two important examples are given by the measure-theoretic boundary of the superlevel set of a function…

We demonstrate that the Weihrauch lattice can be used to classify the uniform computational content of computability-theoretic properties as well as the computational content of theorems in one common setting. The properties that we study…

It is well known that the description of topological and geometric properties of bisectors in normed spaces is a non-trivial subject. In this paper we introduce the concept of bounded representation of bisectors in finite dimensional real…

Representation theory of the quantum torus Hopf algebra, when the parameter $q$ is a root of unity, is studied. We investigate a decomposition map of the tensor product of two irreducibles into the direct sum of irreducibles, realized as a…

This paper begins the study of infinite-dimensional modules defined on bicomplex numbers. It generalizes a number of results obtained with finite-dimensional bicomplex modules. The central concept introduced is the one of a bicomplex…

Riemannian Geometry, Topology and Dynamics permit to introduce partially defined holomorphic functions on the variety of representations of the fundamental group of a manifold. The functions we consider are the complex valued Ray-Singer…

We study the computational difficulty of the problem of finding fixed points of nonexpansive mappings in uniformly convex Banach spaces. We show that the fixed point sets of computable nonexpansive self-maps of a nonempty, computably weakly…

For positive integers d, r, and M, we consider the class of rational functions on real d-dimensional space whose denominators are products of at most r functions of the form 1+Q(x) where each Q is a quadratic form with eigenvalues bounded…

Let $\mathfrak{J}$ be a JB$^*$-algebra with no quotients isomorphic to $S_2(\mathbb{C})$. Let $\mu$ be a local quasi-linear Jordan functional on $\mathfrak{J}_{sa}$. We show that $\mu$ is a linear functional on $\mathfrak{J}_{sa}$ if and…

The article associates two fundamental lattice constructions with each regular unital real ordered Banach space (function system). These are used to establish certain results in the theory of operator algebras, specifically relating the…

A natural kind of compactification of the virtual moduli spaces of rational functions of one complex variable is given. To describe the boundary points geometrically, the authors introduce the concept of rational functions with nodes,…

In the present paper it is shown that real function $g(x)=\int_{0}^{x}f(t)dt$ is a linear-space computable real function on interval $[0,1]$ if $f$ is a linear-space computable $C^2[0,1]$ real function on interval $[0,1]$, and this result…

In this note, we show that if a Banach space X has a predual, then every bounded linear operator on X with a continuous functional calculus admits a bounded Borel functional calculus. A consequence of this is that on such a Banach space,…

We study dentable maps from a closed convex subset of a Banach space into a metric space as an attempt of generalize the Radon-Nikod\'ym property to a "less linear" frame. We note that a certain part of the theory can be developed in rather…