English
Related papers

Related papers: On the computational properties of ambivalent sets…

200 papers

In this paper, we study classes of subexcedant functions enumerated by the Bell numbers and present bijections on set partitions. We present a set of permutations whose transposition arrays are the restricted growth functions, thus defining…

Combinatorics · Mathematics 2022-08-23 Fufa Beyene , Jörgen Backelin , Roberto Mantaci , Samuel A. Fufa

In this paper, we extend Busy Beaver function to a class of higher order Busy Beaver functions based on Turing oracle machine. We prove some results about the relation between decidability of number theoretical formula and higher order Busy…

Computational Complexity · Computer Science 2025-07-30 Zining Cao

Regular functions of infinite words are (partial) functions realized by deterministic two-way transducers with infinite look-ahead. Equivalently, Alur et. al. have shown that they correspond to functions realized by deterministic Muller…

Formal Languages and Automata Theory · Computer Science 2023-02-15 Olivier Carton , Gaëtan Douéneau-Tabot , Emmanuel Filiot , Sarah Winter

Let $\mathcal{L}(X;Y)$ be the space of bounded linear operators from a Banach space $X$ to a Banach space $Y$. Given an operator-valued function $u:\mathbb{R}_{\geq 0}\rightarrow \mathcal{L}(X;Y)$, suppose that every orbit $t\mapsto u(t)x$…

Functional Analysis · Mathematics 2020-12-02 Marco Peruzzetto

In this article, we characterize completely alternating functions on an abelian semigroup $S$ in terms of completely monotone functions on the product semigroup $S\times \mathbb Z_+$. We also discuss completely alternating sequences induced…

Functional Analysis · Mathematics 2025-09-04 Monojit Bhattacharjee , Rajkamal Nailwal

A natural connection between rational functions of several real or complex variables, and subspace collections is explored. A new class of function, superfunctions, are introduced which are the counterpart to functions at the level of…

Algebraic Geometry · Mathematics 2016-02-23 Graeme W. Milton

We examine the noncommutative minimal model program for orders on arithmetic surfaces, or equivalently, arithmetic surfaces enriched by a Brauer class $\beta$. When $\beta$ has prime index $p>5$, we show the classical theory extends with…

Algebraic Geometry · Mathematics 2021-08-09 Daniel Chan , Colin Ingalls

We introduce a family of deformed Bailey pairs whose $q$-series, which converge in a two-step limit ($q \to 1^-$ followed by $n \to \infty$) to Dirichlet $L$-functions scaled by $1/\sqrt{\pi}$. This construction generalizes to arbitrary…

General Mathematics · Mathematics 2025-11-13 Mahipal Gurram

It is well known that the composition of a D-finite function with an algebraic function is again D-finite. We give the first estimates for the orders and the degrees of annihilating operators for the compositions. We find that the analysis…

Symbolic Computation · Computer Science 2017-05-29 Manuel Kauers , Gleb Pogudin

The uncountability of the real numbers is one of their most basic properties, known (far) outside of mathematics. Cantor's 1874 proof of the uncountability of the real numbers even appears in the very first paper on set theory, i.e. a…

Logic · Mathematics 2022-06-28 Sam Sanders

We revisit tensor algebras of subproduct systems with Hilbert space fibers, resolving some open questions in the case of infinite dimensional fibers. We characterize when a tensor algebra can be identified as the algebra of uniformly…

Operator Algebras · Mathematics 2025-04-16 Michael Hartz , Orr Shalit

Let F(R^n) be the algebra of Fourier transforms of functions from L_1(R^n), K(R^n) be the algebra of Fourier transforms of bounded complex Borel measures in R^n and W be Wiener algebra of continuous 2pi-periodic functions with absolutely…

Classical Analysis and ODEs · Mathematics 2011-08-16 A. F. Grishin , M. V. Skoryk

We deduce asymptotic formulas for the alternating sums $\sum_{n\le x} (-1)^{n-1} f(n)$ and $\sum_{n\le x} (-1)^{n-1} \frac1{f(n)}$, where $f$ is one of the following classical multiplicative arithmetic functions: Euler's totient function,…

Number Theory · Mathematics 2016-12-30 László Tóth

Bent functions can be classified into regular bent functions, weakly regular but not regular bent functions, and non-weakly regular bent functions. Regular and weakly regular bent functions always appear in pairs since their duals are also…

Information Theory · Computer Science 2015-11-10 Ayca Cesmelioglu , Wilfried Meidl , Alexander Pott

In a recent article, we introduced and studied a precise class of dynamical systems called solvable systems. These systems present a dynamic ruled by discontinuous ordinary differential equations with solvable right-hand terms and unique…

Computational Complexity · Computer Science 2024-06-04 Riccardo Gozzi , Olivier Bournez

Let $X$ be a locally compact topological space, $(Y,d)$ be a boundedly compact metric space and $LB(X,Y)$ be the space of all locally bounded functions from $X$ to $Y$. We characterize compact sets in $LB(X,Y)$ equipped with the topology of…

General Topology · Mathematics 2018-03-29 Ľubica Holá , Dušan Holý

In this paper we look at normed spaces of differentiable functions on compact plane sets, including the spaces of infinitely differentiable functions originally considered by Dales and Davie. For many compact plane sets the classical…

Functional Analysis · Mathematics 2007-05-23 W. J. Bland , J. F. Feinstein

We investigate the relations between the rings ${\bf E}$, ${\bf G}$ and ${\bf D}$ of values taken at algebraic points by arithmetic Gevrey series of order either $-1$ ($E$-functions), $0$ (analytic continuations of $G$-functions) or $1$…

Number Theory · Mathematics 2025-07-14 Stéphane Fischler , Tanguy Rivoal

Let A be a finite subset of an abelian group (G, +). Let h $\ge$ 2 be an integer. If |A| $\ge$ 2 and the cardinality |hA| of the h-fold iterated sumset hA = A + $\times$ $\times$ $\times$ + A is known, what can one say about |(h -- 1)A| and…

Commutative Algebra · Mathematics 2021-11-29 Shalom Eliahou , Eshita Mazumdar

We study `definable' subsets of Baire space $\mathcal{N}$. The logic of our arguments is intuitionistic and we use L.E.J.~Brouwer's Thesis on bars in $\mathcal{N}$ and his continuity axioms. We avoid the operation of taking the complement…

Logic · Mathematics 2022-04-22 Wim Veldman