Related papers: $\mathbb{N}$-polyregular functions arise from well…
This paper presents a comprehensive study of a class of functions which approximate 1/|x| for large x but which are finite at the origin. These functions arise naturally in the study of atoms in strong magnetic fields where the so-called…
The purpose of this dissertation is to set up a theory of generalized operads and multicategories, and to use it as a language in which to propose a definition of weak n-category. Included is a full explanation of why the proposed…
We show that an arithmetic function which satisfies some weak multiplicativity properties and in addition has a non-decreasing or $\log$-uniformly continuous normal order is close to a function of the form $n\mapsto n^c$. As an application…
A connection between the theory of formal groups and arithmetic number theory is established. In particular, it is shown how to construct general Almkvist--Meurman--type congruences for the universal Bernoulli polynomials that are related…
We explore the interaction between Lebesgue measure and dominating functions. We show, via both a priority construction and a forcing construction, that there is a function of incomplete degree that dominates almost all degrees. This…
In this paper we define a function $L$ which will allow us to (separately or simultaneously) generalize many theorems from Number Theory obtained by Wilson, Fermat, Euler, Gauss, Lagrange, Leibniz, Moser, and Sierpinski.
We show that a polyregular word-to-word function is regular if and only if its output size is at most linear in its input size. Moreover a polyregular function can be realized by: a transducer with two pebbles if and only if its output has…
This paper is inspired by a class of infinite order differential operators arising in the time evolution of superoscillations. Recently, infinite order differential operators have been considered and characterized on the spaces of entire…
We introduce notions of absolutely continuous functionals and representations on the non-commutative disk algebra $A_n$. Absolutely continuous functionals are used to help identify the type L part of the free semigroup algebra associated to…
Looking at some monoids and (semi)rings (natural numbers, integers and p-adic integers), and more generally, residually finite algebras (in a strong sense), we prove the equivalence of two ways for a function on such an algebra to behave…
In 2014, Voronov introduced the notion of thick morphisms of (super)manifolds as a tool for constructing $L_{\infty}$-morphisms of homotopy Poisson algebras. Thick morphisms generalise ordinary smooth maps, but are not maps themselves.…
Quasiregular mappings $f:\Omega\subset\R^{n}\to \R^{n}$ are a natural generalization of analytic functions from complex analysis and provide a theory which is rich with new phenomena. In this paper we extend a well-known result of A.~Chang…
This paper examines the characterization and learning of grammars defined with enriched representational models. Model-theoretic approaches to formal language theory traditionally assume that each position in a string belongs to exactly one…
In this article we introduce and study a class of finite groups for which the orders of normal subgroups satisfy a certain inequality. It is closely connected to some well-known arithmetic classes of natural numbers.
In this paper, we show that for a broad class of pseudoconvex formal-analytic arithmetic surfaces over $\text{Spec}(\mathbb{Z})$, those which admit a nonconstant monic such regular function, that a conjecture of Bost-Charles that the ring…
In \cite{GUW} we introduced a class of "semi-classical functions of isotropic type", starting with a model case and applying Fourier integral operators associated with canonical transformations. These functions are a substantial…
This paper investigates certain classes of entire functions in C^n that, together with their partial derivatives, share a finite set consisting of three elements. By employing normality criteria, we study the behaviour of such functions and…
We study transfinite extensions of Japaridze's provability logic GLP and the well-founded relations that naturally occur within them. Every ordinal induces a partial order over the class of "words," which are iterated consistency statements…
In this paper, we study combinatorial and structural properties of a new class of finite and infinite words that are 'rich' in palindromes in the utmost sense. A characteristic property of so-called "rich words" is that all complete returns…
In this paper, as an analogue of the integer case, we define congruence preserving functions over the residue class rings of polynomials over finite fields. We establish a counting formula for such congruence preserving functions, determine…