Related papers: Computable classifications of continuous, transduc…

In this article we investigate some general properties of the multiplier algebras of normed spaces of continuous functions (NSCF). In particular, we prove that the multiplier algebra inherits some of the properties of the NSCF. We show that…

Given a finite measure space $(\Omega,\Sigma,\mu)$, we show that any Banach space $X(\mu)$ consisting of (equivalence classes of) real measurable functions defined on $\Omega$ such that $f \chi_A \in X(\mu) $ and $ \|f \chi_A \| \leq \|f\|,…

While there is a well-established notion of what a computable ordinal is, the question which functions on the countable ordinals ought to be computable has received less attention so far. We propose a notion of computability on the space of…

Following Chaudhuri, Sankaranarayanan, and Vardi, we say that a function $f:[0,1] \to [0,1]$ is $r$-regular if there is a B\"{u}chi automaton that accepts precisely the set of base $r \in \mathbb{N}$ representations of elements of the graph…

We give a classification of unitary representations of certain Polish, not necessarily locally compact, groups: the groups of all measurable functions with values in the circle and the groups of all continuous functions on compact, second…

We initiate a program of average smoothness analysis for efficiently learning real-valued functions on metric spaces. Rather than using the Lipschitz constant as the regularizer, we define a local slope at each point and gauge the function…

Denote by $[0,\omega_1)$ the set of countable ordinals, equipped with the order topology, let $L_0$ be the disjoint union of the compact ordinal intervals $[0,\alpha]$ for $\alpha$ countable, and consider the Banach spaces $C_0[0,\omega_1)$…

Choosing an encoding over binary strings for input/output to/by a Turing Machine is usually straightforward and/or inessential for discrete data (like graphs), but delicate -- heavily affecting computability and even more computational…

We characterize regular string transductions as programs in a linear $\lambda$-calculus with additives. One direction of this equivalence is proved by encoding copyless streaming string transducers (SSTs), which compute regular functions,…

A uniform approach to computing with infinite objects like real numbers, tuples of these, compacts sets, and uniformly continuous maps is presented. In work of Berger it was shown how to extract certified algorithms working with the signed…

Valadier and Hensgen proved independently that the restriction of functional $\phi(x)=\int_{0}^{1}x(t)dt,\,\,x\in L^{\infty}([0,1])$ on the space of continuous functions $C([0,1])$ admits a singular extension back to the whole space…

Given a Banach lattice $L,$ the space of lattice Lipschitz operators on $L$ has been introduced as a natural Lipschitz generalization of the linear notions of diagonal operator and multiplication operator on Banach function lattices. It is…

For all natural numbers a,b and d > 0, we consider the function f_{a,b,d} which associates n/d to any integer n when it is a multiple of d, and an + b otherwise; in particular f_{3,1,2} is the Collatz function. Coding in base a > 1 with b <…

In this paper we introduce the class of infinite infimal convolution functionals and apply these functionals to the regularization of ill-posed inverse problems. The proposed regularization involves an infimal convolution of a continuously…

We continue the investigation into the computational status of the existence of moduli of regularity (and their use for rates of convergence) in the sense of Kohlenbach, Lopez and Nicolae (2019), carried out w.r.t. classical reverse…

We extend the framework by Kawamura and Cook for investigating computational complexity for operators occurring in analysis. This model is based on second-order complexity theory for functions on the Baire space, which is lifted to metric…

We conjecture that whenever $M$ is a metric space of density at most continuum, then the space of Lipschitz functions is $w^*$-separable. We prove the conjecture for several classes of metric spaces including all the Banach spaces with a…

In this paper, we consider a continuum class of continuous nowhere monotonic functions that generalize certain non-differentiable functions, including the Bush function, Wunderlich function, continuous Cantor projectors, Tribin function,…

We characterize the variation functions of computable Lipschitz functions. We show that a real z is computably random if and only if every computable Lipschitz function is differentiable at z. Beyond these principal results, we show that a…

This article gives dual representations for convex integral functionals on the linear space of regular processes. This space turns out to be a Banach space containing many more familiar classes of stochastic processes and its dual can be…