Related papers: Topological reducibilities for discontinuous funct…

The celebrated theorem of Kechris, Pestov and Todor\v{c}evi\'c connecting structural Ramsey theory with topological dynamics has as a consequence that the Fra\"{\i}ss\'e limit of a Ramsey class of non-trivial finite relational structures…

The $p$-modulus of curves, test plans, upper gradients, charts, differentials, approximations in energy and density of directions are all concepts associated to the theory of Sobolev functions in metric measure spaces. The purpose of this…

The classes of analytic univalent functions on the unit disk defined by $$ \mathcal{S}^*(\varphi)= \bigg\{ f \in \mathcal{A}: \frac{z f'(z)}{f(z)} \prec \varphi(z)\bigg\}$$ and $$ \mathcal{C}(\varphi)=\bigg\{ f \in \mathcal{A}: 1 + \frac{z…

We present a constructive approximation framework for analyzing the expressive power of Fourier residual networks in approximating a broad class of one-dimensional functions. Our study covers both piecewise continuous functions -- including…

Let $\Gamma$ be a Polish space and let $K$ be a separable and pointwise compact set of real-valued functions on $\Gamma$. It is shown that if each function in $K$ has only countably many discontinuities then $C(K)$ may be equipped with a…

We introduce the generalized notion of semicontinuity of a function defined on a topological space and derive the useful classification of the so-called Lipschitz derivatives of functions defined on a metric space. Secondly, we investigate…

We represent minimal upper gradients of Newtonian functions, in the range $1\le p<\infty$, by maximal directional derivatives along "generic" curves passing through a given point, using plan-modulus duality and disintegration techniques. As…

We develop the theory of continuous and algebraic domains in constructive and predicative univalent foundations, building upon our earlier work on basic domain theory in this setting. That we work predicatively means that we do not assume…

Let $E$ be a Banach space such that $E'$ has the Radon-Nikod\'ym property. The aim of this work is to connect relative weak compactness in the $E$-valued martingale Hardy space $H^{1}(\mu,E)$ to a convex compactness criterion in a weaker…

An extension of dimensional regularization to the case of compact dimensions is presented. The procedure preserves the Kaluza-Klein tower structure, but has a regulator specific to the compact dimension. Possible 5 and 4 dimensional…

We propose to use Tarski's least fixpoint theorem as a basis to define recursive functions in the calculus of inductive constructions. This widens the class of functions that can be modeled in type-theory based theorem proving tool to…

We prove that a nonlocal functional approximating the standard Dirichlet $p$-norm fails to decrease under two-point rearrangement. Furthermore, we get other properties related to this functional such as decay and compactness, and the…

Given a generically \'etale morphism $f\colon Y\to X$ of quasi-smooth Berkovich curves, we define a different function $\delta_f\colon Y\to[0,1]$ that measures the wildness of the topological ramification locus of $f$. This provides a new…

We study the quasi-order of topological embeddability on definable functions between Polish zero-dimensional spaces. We first study the descriptive complexity of this quasi-order restricted to the space of continuous functions. Our main…

We study properties of ridge functions $f(x)=g(a\cdot x)$ in high dimensions $d$ from the viewpoint of approximation theory. The considered function classes consist of ridge functions such that the profile $g$ is a member of a univariate…

A major part of computability theory focuses on the analysis of a few structures of central importance. As a tool, the method of coding with first-order formulas has been applied with great success. For instance, in the c.e. Turing degrees,…

We study the large deviation rate functional for the empirical distribution of independent Brownian particles with drift. In one dimension, it has been shown by Adams, Dirr, Peletier and Zimmer that this functional is asymptotically…

We introduce a new definition of topological degree for a meaningful class of operators which need not be continuous. Subsequently, we derive a number of fixed point theorems for such operators. As an application, we deduce a new existence…

Using complex methods combined with Baire's Theorem we show that one-sided extendability, extendability and real analyticity are rare phenomena on various spaces of functions in the topological sense. These considerations led us to…

We consider weighted double Hurwitz numbers, with the weight given by arbitrary rational function times an exponent of the completed cycles. Both special singularities are arbitrary, with the lengths of cycles controlled by formal…