English
Related papers

Related papers: Rational dynamics of a prime-representing map

200 papers

Let $a_1 = 1$ and, for $n > 1$, $a_n = a_{n-1} + a_{\left \lfloor \frac{n}{2} \right \rfloor}$. In this paper we will look at congruence properties and the growth rate of this sequence. First we will show that if $x \in \{1, 2, 3, 5, 6, 7…

Number Theory · Mathematics 2024-06-17 Wouter van Doorn

We consider the problem of approaching real numbers with rational numbers with prime denominator and with a single numerator allowed for each denominator. We obtain basic results, both probabilistic and deterministic, draw connections to…

Number Theory · Mathematics 2025-11-21 Manuel Hauke , Emmanuel Kowalski

Let N be a square-free positive integer and let f be a newform of weight 2 on \Gamma_0(N). Let A denote the abelian subvariety of J_0(N) associated to f and let m be a maximal ideal of the Hecke algebra T that contains Ann_T(f) and has…

Number Theory · Mathematics 2025-10-07 Amod Agashe , Matthew Winters

Rational inference relations were introduced by Lehmann and Magidor as the ideal systems for drawing conclusions from a conditional base. However, there has been no simple characterization of these relations, other than its original…

Logic in Computer Science · Computer Science 2007-05-23 Konstantinos Georgatos

We use the theory of Kolyvagin systems to prove (most of) a refined class number formula conjectured by Darmon. We show that for every odd prime $p$, each side of Darmon's conjectured formula (indexed by positive integers $n$) is "almost" a…

Number Theory · Mathematics 2019-02-20 Barry Mazur , Karl Rubin

Natural numbers can be divided in two non-overlapping infinite sets, primes and composites, with composites factorizing into primes. Despite their apparent simplicity, the elucidation of the architecture of natural numbers with primes as…

Number Theory · Mathematics 2014-10-21 Guillermo Garcia-Perez , M. Angeles Serrano , Marian Boguna

We define an extension of parity from the integers to the rational numbers. Three parity classes are found -- even, odd and `none'. Using the 2-adic valuation, we partition the rationals into subgroups with a rich algebraic structure. The…

Number Theory · Mathematics 2022-05-03 Peter Lynch , Michael Mackey

We determine sufficient conditions under which certain recursively defined functions are well defined for all real inputs. Given a function $f:\mathbb R\to\mathbb R$, call a decreasing sequence $x_1>x_2>x_3>\cdots$ "$f$-bad" if…

Logic · Mathematics 2026-02-09 Gabriel Nivasch , Lior Shiboli

Let G be an arithmetic lattice in a semisimple algebraic group over a number field. We show that if G has the congruence subgroup property, then the number of n-dimensional irreducible representations of G grows like n^a, where a is a…

Group Theory · Mathematics 2008-03-11 Nir Avni

Let $q$ be a prime power and $\phi$ a rational function with coefficients in a finite field $\mathbb{F}_q$. For $n \geq 1$, each element of $\mathbb{P}^1(\F_{q^n})$ is either periodic or strictly preperiodic under iteration of $\phi$.…

Number Theory · Mathematics 2022-03-07 Andrew Bridy , Rafe Jones , Gregory Kelsey , Russell Lodge

For which sets A does there exist a mapping, computed by a total or partial recursive function, such that the mapping, when its domain is restricted to A, is a 1-to-1, onto mapping to $\Sigma^*$? And for which sets A does there exist such a…

Logic in Computer Science · Computer Science 2017-12-05 Lane A. Hemaspaandra , Daniel Rubery

We determine, up to the equivalence of first-order interdefinability, all structures which are first-order definable in the random partial order. It turns out that these structures fall into precisely five equivalence classes. We achieve…

For a continuous map $T$ of a compact metrizable space $X$ with finite topological entropy, the order of accumulation of entropy of $T$ is a countable ordinal that arises in the context of entropy structure and symbolic extensions. We show…

Dynamical Systems · Mathematics 2009-11-23 David Burguet , Kevin McGoff

<Q>_e is the effective list of all finite predicate logic programs. <T_e> is the list of recursive trees. We modify constructions of Marek, Nerode, and Remmel [25] to construct recursive functions f and g such that for all indices e, (i)…

Logic in Computer Science · Computer Science 2013-03-27 D. Cenzer , V. W. Marek , J. B. Remmel

The aim of this paper is to investigate the dynamics of a higher order system of rational difference equations. Our concentration is on boundedness character, the oscillatory, the existence of unbounded solutions and the global behavior of…

Dynamical Systems · Mathematics 2018-10-19 İnci Okumuş , Yüksel Soykan

Our aim is to prove that if T is a complete first order theory, which is not superstable (no knowledge on this notion is required), included in a theory T_1 then for any lambda > |T_1| there are 2^lambda models of T_1 such that for any two…

Logic · Mathematics 2026-05-07 Saharon Shelah

It is proved that among the rational iterations locally converging with order s>1 to the sign function, the Pad\'e iterations and their reciprocals are the unique rationals with the lowest sum of the degrees of numerator and denominator.

Numerical Analysis · Mathematics 2011-11-15 Federico Greco , Bruno Iannazzo , Federico Poloni

We introduce and study a new complexity function in combinatorics on words, which takes into account the smallest second occurrence time of a factor of an infinite word. We characterize the eventually periodic words and the Sturmian words…

Number Theory · Mathematics 2017-08-24 Yann Bugeaud , Dong Han Kim

We consider the problem of approaching real numbers with rational numbers with prime denominator and with a single numerator allowed for each denominator. We then present a simple application, related to possible correlations between trace…

Number Theory · Mathematics 2023-09-26 Emmanuel Kowalski

Erickson defined the fusible numbers as a set $\mathcal F$ of reals generated by repeated application of the function $\frac{x+y+1}{2}$. Erickson, Nivasch, and Xu showed that $\mathcal F$ is well ordered, with order type $\varepsilon_0$.…

Combinatorics · Mathematics 2023-05-15 Alexander I. Bufetov , Gabriel Nivasch , Fedor Pakhomov