Related papers: Universal Taylor Series in several variables depen…
There has been enormous progress in the last few years in designing neural networks that respect the fundamental symmetries and coordinate freedoms of physical law. Some of these frameworks make use of irreducible representations, some make…
Jacobi elliptic functions and complete elliptic integrals are generalized using three parameters. These generalized functions and integrals are closely related to ordinary differential equations involving $p$-Laplacian. In this paper,…
To any compact $K\subset\hat{\mathbb{C}}$ we associate a map $\lambda_K: \hat{\mathbb{C}}\rightarrow\mathbb{N}\cup\{\infty\}$ -- the lambda function of $K$ -- such that a planar continuum $K$ is locally connected if and only if…
We give a series of very general sufficient conditions in order to ensure the uniqueness of large solutions for --$\Delta$u + f (x, u) = 0 in a bounded domain $\Omega$ where f : $\Omega$ x R $\rightarrow$ R + is a continuous function, such…
We consider composite functions in the elementary algebraic framework. Without any use of the Fourier transform, we find almost periodic orbits which suitably characterizes certain composite functions. In particular, we provide special…
A universal ordinary differential equation $C^{\infty}$ of order 3 is constructed here. The equation is universal in the sense that any continuous function on a real segment can be approximated by a solution of this equation with an…
First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies…
We define the quantile set of order $\alpha \in \left[ 1/2,1\right) $ associated to a law $P$ on $\mathbb{R}^{d}$ to be the collection of its directional quantiles seen from an observer $O\in \mathbb{R}^{d}$. Under minimal assumptions these…
We give characterizations of unital uniform topological algebras and saturated locally multiplicatively convex algebras by means of multiplicative linear functionals. Some automatic continuity theorems in advertibly complete uniform…
We introduce a fairly general concept of functional equation for $k$-tuples of functions $f_1,\dots,f_k\colon X \to Y$ between arbitrary sets. The homomorphy equations for mappings between groups and other algebraic systems, as well as…
We give necessary and sufficient condition so that we have d-hypercyclicity for operators who map a holomorphic function to a partial sum of the Taylor expansion. This problem is connected with doubly universal Taylors series and this is an…
The universal approximation theorem, in one of its most general versions, says that if we consider only continuous activation functions $\sigma$, then a standard feedforward neural network with one hidden layer is able to approximate any…
Relative realizability toposes satisfy a universal property that involves regular functors to other categories. We use this universal property to define what relative realizability categories are, when based on other categories than of the…
Motivated by Sarnak's conjecture on M\"obius orthogonality, we investigate the general problem of orthogonality for a bounded sequence to topological models of characteristic classes of measure-preserving automorphisms. Our main observation…
We generalize the classical universal approximation theorem for neural networks to the case of complex-valued neural networks. Precisely, we consider feedforward networks with a complex activation function $\sigma : \mathbb{C} \to…
Let G be a finite group and let M be a G-manifold. We introduce the concept of generalized orbifold invariants of M/G associated to an arbitrary group Gamma, an arbitrary Gamma-set, and an arbitrary covering space of a connected manifold…
Let $\kappa$ be an inaccessible cardinal, $\mathfrak{U}$ be a universal algebra, and $\sim$ be the equivalence relation on $\mathfrak{U}^{\kappa}$ of eventual equality. From mild assumptions on $\kappa$ we give general constructions of…
It is well known that any model for derived manifolds must form a higher category. In this paper, we propose a universal property for this higher category, classifying it up to equivalence. Namely, the $\infty$-category $\mathbf{DMfd}$ of…
We define the notion of ordinal computability by generalizing standard Turing computability on tapes of length $\omega$ to computations on tapes of arbitrary ordinal length. We show that a set of ordinals is ordinal computable from a finite…
Our work builds on known results for k-uniform hypergraphs including the existence of limits, a Regularity Lemma and a Removal Lemma. Our main tool here is a theory of measures on ultraproduct spaces which establishes a correspondence…