Related papers: How strong are single fixed points of normal funct…

We prove that if $f:I\subset \Bbb R\to \Bbb R$ is of bounded variation, then the noncentered maximal function $Mf$ is absolutely continuous, and its derivative satisfies the sharp inequality $\|DMf\|_1\le |Df|(I)$. This allows us obtain,…

Understanding the inductive bias of neural networks is critical to explaining their ability to generalise. Here, for one of the simplest neural networks -- a single-layer perceptron with n input neurons, one output neuron, and no threshold…

Given integers s,t, define a function phi_{s,t} on the space of all formal series expansions by phi_{s,t} (sum a_n x^n) = sum a_{sn+t} x^n. For each function phi_{s,t}, we determine the collection of all rational functions whose Taylor…

Stationary points or derivative zero crossings of a regression function correspond to points where a trend reverses, making their estimation scientifically important. Existing approaches to uncertainty quantification for stationary points…

In this paper, locally Lipschitz, regular functions are utilized to identify and remove infeasible directions from set-valued maps that define differential inclusions. The resulting reduced set-valued map is point-wise smaller (in the sense…

We prove that every locally constant constructive function on an interval is in fact a constant function. This answers a question formulated by Andrej Bauer. As a related result we show that an interval consisting of constructive real…

We prove a general categorical theorem that enables us to state that under certain conditions, the range of a functor is large. As an application, we prove various results of which the following is a prototype: If every diagram, indexed by…

We reformulate and generalize the uniqueness and existence proofs of time-dependent density-functional theory. The central idea is to restate the fundamental one-to-one correspondence between densities and potentials as a global fixed point…

It is well known that most continuous functions are nowhere differentiable. Furthermore, in terms of Dini derivatives, most continuous functions are nondifferentiable in the strongest possible sense except in a small set of points. In this…

Fixpoint operators are tools to reason on recursive programs and data types obtained by induction (e.g. lists, trees) or coinduction (e.g. streams). They were given a categorical treatment with the notion of categories with fixpoints. A…

We expand the notion of a normal function for a Hodge class on an even-dimensional complex projective manifold to the notion of a 'topological normal function' associated to any primitive integral cohomology class. The definition of the…

Inspired by biological neurons, the activation functions play an essential part in the learning process of any artificial neural network commonly used in many real-world problems. Various activation functions have been proposed in the…

In this paper, we study the centralizer of a separating continuous flow without fixed points. We show that if $M$ is a compact metric space and $\phi_t:M\to M$ is a separating flow without fixed points, then $\phi_t$ has a quasi-trivial…

We study projective functions. We prove that projective functions generalise lower and upper-semianalytic ones while being stable by composition and difference. We show that the class of projective functions is closed under sums,…

We prove an equivalent of the Riemann hypothesis in terms of the functional equation (in its asymmetrical form) and the $a$-points of the zeta-function, i.e., the roots of the equation $\zeta(s)=a$, where $a$ is an arbitrary fixed complex…

In this article, we investigate the focal locus of closed (not necessarily compact) submanifolds in a forward complete Finsler manifold. The main goal is to show that the associated normal exponential map is \emph{regular} in the sense of…

Assumptions on a likelihood function, including a local Glivenko-Cantelli condition, imply the existence of M-estimators converging to an M-functional. Scatter matrix-valued estimators, defined on all empirical measures on ${\Bbb{R}}^d$ for…

We show that for many families of OPUC, one has $||\varphi'_n||_2/n -> 1$, a condition we call normal behavior. We prove that this implies $|\alpha_n| -> 0$ and that it holds if the sequence $\alpha_n$ is in $\ell^1$. We also prove it is…

We give two variations on a result of Wilkie's on unary functions defianble in $\mathbb{R}_{an,\exp}$ that take integer values at positive integers. Provided that the functions grows slower than the function $2^x$, Wilkie showed that is…

We study rational functions admitting a continuous extension to the real affine space. First of all, we focus on the regularity of such functions exhibiting some nice properties of their partial derivatives. Afterwards, since these…