Related papers: A functional representation of the capacity multip…

We demonstrate that any function $f$ from a finite set $Y$ to itself can be represented linearly. Specifically, we prove the existence of an injective map $j$ from $Y$ into a modular ring $\mathbb{Z}/m\mathbb{Z}$ and a constant $a \in…

One way of interpreting a left Kan extension is as taking a kind of "partial colimit", whereby one replaces parts of a diagram by their colimits. We make this intuition precise by means of the "partial evaluations" sitting in the so-called…

A compactness of the Revuz map is established in the sense that the locally uniform convergence of a sequence of positive continuous additive functionals is derived in terms of their smooth measures. To this end, we first introduce a metric…

In the context of the complex-analytic structure within the unit disk centered at the origin of the complex plane, that was presented in a previous paper, we show that a certain class of non-integrable real functions can be represented…

Given a monad T on a suitable enriched category B equipped with a proper factorization system (E,M), we define notions of T-completion, T-closure, and T-density. We show that not only the familiar notions of completion, closure, and density…

By means of hypercyclic operator theory, we complement our previous results on hypercyclic holomorphic maps between complex Euclidean spaces having slow growth rates,by showing {\it abstract abundance} rather than {\it explicit existence}.…

In this paper, we give precise mathematical form to the idea of a structure whose data and axioms are faithfully represented by a graphical calculus; some prominent examples are operads, polycategories, properads, and PROPs. Building on the…

Individual neurons in neural networks often represent a mixture of unrelated features. This phenomenon, called polysemanticity, can make interpreting neural networks more difficult and so we aim to understand its causes. We propose doing so…

We present a bounded modified realisability and a bounded functional interpretation of intuitionistic nonstandard arithmetic with nonstandard principles. The functional interpretation is the intuitionistic counterpart of Ferreira and…

This paper focuses on representations of contractively embedded invariant subspaces in several variables. We present a version of the de Branges theorem for $n$-tuples of multiplication operators by the coordinate functions on analytic…

We show that there is an effectively closed maximal eventually different family of functions in spaces of the form $\prod_n F(n)$ for $F\colon \mathbb{N} \to \mathbb{N}\cup\{\mathbb{N}\}$ and give an exact criterion for when there exists an…

Let $T:Y\to X$ be a bounded linear operator between two normed spaces. We characterize compactness of $T$ in terms of differentiability of the Lipschitz functions defined on $X$ with values in another normed space $Z$. Furthermore, using a…

We study functionals on the space of almost complex structures on a compact $\mathbb{C}$-manifold, whose variational properties could be used to tackle Yau's Challenge.

Monads govern computational side-effects in programming semantics. They can be combined in a ''bottom-up'' way to handle several instances of such effects. Indexed monads and graded monads do this in a modular way. Here, instead, we equip…

We determine the boundedness and compactness of a large class of operators, mapping from general Banach spaces of holomorphic functions into a particular type of spaces of functions determined by the growth of the functions, or the growth…

Let $X$ be a locally compact topological space, $(Y,d)$ be a boundedly compact metric space and $LB(X,Y)$ be the space of all locally bounded functions from $X$ to $Y$. We characterize compact sets in $LB(X,Y)$ equipped with the topology of…

In the framework of Clifford analysis, a chain of harmonic and monogenic potentials in the upper half of (m+1)-dimensional Euclidean space was recently constructed, including a higher dimensional analogue of the logarithmic function in the…

We consider the class of all linear functionals $L$ on a unital commutative real algebra $A$ that can be represented as an integral w.r.t. to a Radon measure with compact support in the character space of $A$. Exploiting a recent…

An approximate analytical expression for "capacitance" of MWPC configurations circulates in the literature since decades and is copied over and over again. In this paper we will try to show that this formula corresponds to a physical…

An explicit invariant-theoretic description of the moduli space $\mathcal{M}_3^1$ of degree-three rational maps on $\mathbb{P}^1$ is developed. A cubic map $\phi$ is represented, up to conjugation, by the pair of binary forms $(f, g) \in…