English
Related papers

Related papers: $\mathbb{N}$-polyregular functions arise from well…

200 papers

We define antidomain operations for algebras of multiplace partial functions. For all signatures containing composition, the antidomain operations and any subset of intersection, preferential union and fixset, we give finite equational or…

Rings and Algebras · Mathematics 2017-09-19 Brett McLean

The Hilbert function of a module over a positively graded algebra is of quasi-polynomial type (Hilbert--Serre). We derive an upper bound for its grade, i.e. the index from which on its coefficients are constant. As an application, we give a…

Commutative Algebra · Mathematics 2007-05-23 Winfried Bruns , Bogdan Ichim

A general solution is found for a large class of time continuous autonomous nonlinear dynamical systems, the so-called quasi-polynomial systems. This solution is expressed in terms of a new type of special functions defined via their Taylor…

Classical Analysis and ODEs · Mathematics 2009-10-15 Leon Brenig

We prove that continuous reducibility is a well-quasi-order on the class of continuous functions between separable metrizable spaces with analytic zero-dimensional domain. To achieve this, we define scattered functions, which generalize…

Logic · Mathematics 2024-10-18 Raphaël Carroy , Yann Pequignot

We consider distributions on a closed compact manifold $M$ as maps on smoothing operators. Thus spaces of certain maps between $\Psi^{-\infty}(M)\to \mathcal{C}^{\infty}(M)$ are considered as generalized functions. For any collection of…

Analysis of PDEs · Mathematics 2009-06-09 Shantanu Dave

In this paper we consider class of continuous functions, called quasiaharmonic functions, admitting best approximations by harmonic polynomials. In this class we prove a uniqueness theorem by analogy with the analytic functions.

Complex Variables · Mathematics 2013-02-21 S. A. Imomkulov , Z. Sh. Ibragimov

Let d be a positive integer. We show a finiteness theorem for semialgebraic RL triviality of a Nash family of Nash functions defined on a Nash manifold, generalising Benedetti-Shiota's finiteness theorem for semialgebraic RL equivalence…

Algebraic Geometry · Mathematics 2021-06-21 Satoshi Koike , Laurentiu Paunescu

We consider polyregular functions, which are certain string-to-string functions that have polynomial output size. We prove that a polyregular function has output size $\mathcal O(n^k)$ if and only if it can be defined by an MSO…

Logic in Computer Science · Computer Science 2023-04-27 Mikołaj Bojańczyk

With every reduced $E$-Fountain semigroup $S$ which satisfies the generalized right ample condition we associate a category with zero morphisms $\mathcal{C}(S)$. Under some assumptions we prove an isomorphism of $\Bbbk$-algebras $\Bbbk…

Representation Theory · Mathematics 2025-02-18 Itamar Stein

We provide a method of constructing better-quasi-orders by generalising a technique for constructing operator algebras that was developed by Pouzet. We then generalise the notion of $\sigma$-scattered to partial orders, and use our method…

Logic · Mathematics 2014-10-02 Gregory McKay

We construct a class of real-valued nonnegative binary functions on a set of jointly distributed random variables, which satisfy the triangle inequality and vanish at identical arguments (pseudo-quasi-metrics). These functions are useful in…

Probability · Mathematics 2016-02-12 Ehtibar N. Dzhafarov , Janne V. Kujala

We give a characterization for two different concepts of quasi-analyticity in Carleman ultraholomorphic classes of functions of several variables in polysectors. Also, working with strongly regular sequences, we establish generalizations of…

Complex Variables · Mathematics 2010-01-25 Alberto Lastra , Javier Sanz

We introduce and study a generalization $s_{(\mu|\lambda)}$ of the Schur functions called the almost symmetric Schur functions. These functions simultaneously generalize the finite variable key polynomials and the infinite variable Schur…

Combinatorics · Mathematics 2024-05-03 Milo Bechtloff Weising

The {\it profile} of a relational structure $R$ is the function $\phi_R$ which counts for every integer $n$ the number of its $n$-element substructures up to an isomorphism. Many counting functions are profiles. Interesting examples come…

Combinatorics · Mathematics 2007-05-23 Maurice Pouzet

The functional calculus for normal elements in $C^*$-algebras is an important tool of analysis. We consider polynomials $p(a,a^*)$ for elements $a$ with small self-commutator norm $\|[a,a^*]\| \le \delta$ and show that many properties of…

Operator Algebras · Mathematics 2012-02-13 Nikolay Filonov , Ilya Kachkovskiy

In this paper, we introduce new classes of functions that extend the known classes of functions of complex variable, such as entire functions, meromorphic functions, rational functions and polynomial functions and take values in the set of…

Classical Analysis and ODEs · Mathematics 2025-08-14 Vyacheslav M. Abramov

The main goal in this manuscript is to present a class of functions satisfying a certain orthogonality property for which there also exists a three term recurrence formula. This class of functions, which can be considered as an extension to…

Numerical Analysis · Mathematics 2016-06-28 Cleonice F. Bracciali , John H. McCabe , Teresa E. Pérez , A. Sri Ranga

Polyregular functions are the class of string-to-string functions definable by pebble transducers, an extension of finite-state automata with outputs and multiple two-way reading heads (pebbles) with a stack discipline. If a polyregular…

Formal Languages and Automata Theory · Computer Science 2023-06-21 Sandra Kiefer , Lê Thành Dũng Nguyên , Cécilia Pradic

In this paper, we introduced some notions on the n-Normed Spaces. Those are bounded k-linear (or multilinear) functionals and k-continuous (or multicontinuous) functions with k \in \mathbb{N}. We defined k-linear functionals under several…

Functional Analysis · Mathematics 2026-05-06 Harmanus Batkunde , Muh. Nur , Al Azhary Masta , Meilin Imelda Tilukay

We continue the research of the relation $\hspace{1mm}\widetilde{\mid}\hspace{1mm}$ on the set $\beta {\mathbb{N}}$ of ultrafilters on ${\mathbb{N}}$, defined as an extension of the divisibility relation. It is a quasiorder, so we see it as…

Logic · Mathematics 2023-06-22 Boris Šobot