English
Related papers

Related papers: Integer-valued o-minimal functions

200 papers

Let F:K be a Galois extension of number fields and Q a prime ideal of O_F lying over the prime P of O_K. By analyzing the Q-adic closure of O_K in O_F we characterize those rings of integers O_K for which every residue class ring of…

Number Theory · Mathematics 2024-12-24 Sophie Frisch , Franz Halter-Koch

We describe a class of sharply o-minimal structures, called analytically generated structures, whose definable sets and their complexity filtration are determined by the collection of definable complex cells. We prove a polynomially…

Logic · Mathematics 2026-04-08 Oded Carmon

The approximate degree of a Boolean function $f(x_{1},x_{2},\ldots,x_{n})$ is the minimum degree of a real polynomial that approximates $f$ pointwise within $1/3$. Upper bounds on approximate degree have a variety of applications in…

Computational Complexity · Computer Science 2018-01-16 Alexander A. Sherstov

In analytic number theory, several results make use of information regarding the prime values of a multiplicative function in order to extract information about its averages. Examples of such results include Wirsing's theorem and the…

Number Theory · Mathematics 2023-06-13 Stelios Sachpazis

Let $K$ be a compact metric space. A real-valued function on $K$ is said to be of Baire class one (Baire-1) if it is the pointwise limit of a sequence of continuous functions. In this paper, we study two well known ordinal indices of…

Classical Analysis and ODEs · Mathematics 2007-05-23 Denny H. Leung , Wee-Kee Tang

Let $F$ be the set of functions from an infinite set, $S$, to an ordered ring, $R$. For $f$, $g$, and $h$ in $F$, the assertion $f = g + O(h)$ means that for some constant $C$, $|f(x) - g(x)| \leq C |h(x)|$ for every $x$ in $S$. Let $L$ be…

Logic in Computer Science · Computer Science 2007-05-23 Jeremy Avigad , Kevin Donnelly

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

For a commutative ring $R$, a polynomial $f\in R[x]$ is called separable if $R[x]/f$ is a separable $R$-algebra. We derive formulae for the number of separable polynomials when $R = \mathbb{Z}/n$, extending a result of L. Carlitz. For…

Rings and Algebras · Mathematics 2017-03-22 Jason K. C. Polak

We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally…

Logic · Mathematics 2014-02-26 G. O. Jones , A. J. Wilkie

For each positive integer n, we determine the set of symmetric functions f for which the congruence f(p/1,p/2,...,p/(p-1)) \equiv 0 mod p^n holds for all sufficiently large primes p. Our determination is conditional on a conjecture…

Number Theory · Mathematics 2015-01-13 Julian Rosen

We generalize the classical theory of periodic continued fractions (PCFs) over ${\mathbf Z}$ to rings ${\mathcal O}$ of $S$-integers in a number field. Let ${\mathcal B}=\{\beta, {\beta^*}\}$ be the multi-set of roots of a quadratic…

Number Theory · Mathematics 2022-12-02 Bradley W. Brock , Noam D. Elkies , Bruce W. Jordan

The Pila-Wilkie theorem states that if a set $X\subseteq \mathbb R^n$ is definable in an o-minimal structure $\mathcal R$ and contains `many' rational points, then it contains an infinite semialgebraic set. In this paper, we extend this…

Logic · Mathematics 2018-05-01 Pantelis E. Eleftheriou

Recently, the functional equation \[ \sum_{i=0}^mf_i(b_ix+c_iy)= \sum_{i=1}^na_i(y)v_i(x) \] with $x,y\in\mathbb{R}^d$ and $b_i,c_i\in\mathbf{GL}_d(\mathbb{C})$, was studied by Almira and Shulman, both in the classical context of continuous…

Classical Analysis and ODEs · Mathematics 2017-02-06 J. M. Almira

In this paper, given a topological space $X$, an interval $I\subseteq {\bf R}$ and five continuous functions $\varphi, \psi, \omega :X\to {\bf R}$, $\alpha, \beta:I\to {\bf R}$, we are interested in the infimum of the function $\Phi:X\to…

Optimization and Control · Mathematics 2024-10-11 Biagio Ricceri

In this paper we give effective estimates for some classical arithmetic functions defined over prime numbers. First we find the smallest real number $x_0$ so that some inequality involving Chebyshev's $\vartheta$-function holds for every $x…

Number Theory · Mathematics 2022-06-30 Christian Axler

We give an overview of combinatoric properties of the number of ordered $k$-factorizations $f_k(n,l)$ of an integer, where every factor is greater or equal to $l$. We show that for a large number $k$ of factors, the value of the cumulative…

Combinatorics · Mathematics 2016-10-18 Jacob Sprittulla

A new class of 2-orthogonal polynomials satisfying orthogonality conditions with respect to a pair of linear functionals $(u_0,u_1)$ was presented in Douak K & Maroni P [On a new class of 2-orthogonal polynomials, I: the recurrence…

Classical Analysis and ODEs · Mathematics 2023-03-09 Khalfa Douak , Pascal Maroni

We present a class of multiplicative functions $f:\mathbb{N}\to\mathbb{C}$ with bounded partial sums. The novelty here is that our functions do not need to have modulus bounded by $1$. The key feature is that they pretend to be the constant…

Number Theory · Mathematics 2022-07-11 Marco Aymone

In the integer case, the Smarandache function of a positive integer $n$ is defined to be the smallest positive integer $k$ such that $n$ divides the factorial $k!$. In this paper, we first define a natural order for polynomials in…

Number Theory · Mathematics 2020-07-14 Xiumei Li , Min Sha

For each of the functions $f \in \{\phi, \sigma, \omega, \tau\}$ and every natural number $k$, we show that there are infinitely many solutions to the inequalities $f(p_n-1) < f(p_{n+1}-1) < \dots < f(p_{n+k}-1)$, and similarly for…

Number Theory · Mathematics 2014-08-07 Paul Pollack , Lola Thompson