Searcharxiv⌕ Search

arXiv subjects

Cristian Cobeli

Publications and source records attributed to Cristian Cobeli.

30 records · Page 2Linked to original sources

A bias parity question for Sturmian words

We analyze a natural parity problem on the divisors associated to Sturmian words. We find a clear bias towards the odd divisors and obtain a sharp asymptotic estimate for the average of the difference odd-even function tamed by a mollifier, which proves various experimental results.

math.NT↗

A growth model based on the arithmetic $Z$-game

We present an evolutionary self-governing model based on the numerical atomic rule $Z(a,b)=ab/\gcd(a,b)^2$, for $a,b$ positive integers. Starting with a sequence of numbers, the initial generation $Gin$, a new sequence is obtained by applying the $Z$-rule to any neighbor terms. Likewise, applying repeatedly the same procedure to the newest generation, an entire matrix $T_{Gin}$ is generated. Most often, this matrix, which is the recorder of the whole process, shows a fractal aspect and has intriguing properties. If $Gin$ is the sequence of positive integers, in the associated matrix remarkable are the distinguished geometrical figures called the $Z$-solitons and the sinuous evolution of the size of numbers on the western edge. We observe that $T_{\mathbb{N}^*}$ is close to the analogue free of solitons matrix generated from an initial generation in which each natural number is replaced by its largest divisor that is a product of distinct primes. We describe the shape and the properties of this new matrix. N. J. A. Sloane raised a few interesting problems regarding the western edge of the matrix $T_{\mathbb{N}^*}$. We solve one of them and present arguments for a precise conjecture on another.

math.NT↗

Radial Density in Apollonian Packings

Given an Apollonian Circle Packing $\mathcal{P}$ and a circle $C_0 = \partial B(z_0, r_0)$ in $\mathcal{P}$, color the set of disks in $\mathcal{P}$ tangent to $C_0$ red. What proportion of the concentric circle $C_ε = \partial B(z_0, r_0 + ε)$ is red, and what is the behavior of this quantity as $ε\rightarrow 0$? Using equidistribution of closed horocycles on the modular surface $\mathbb{H}^2/SL(2, \mathbb{Z})$, we show that the answer is $\frac{3}π = 0.9549\dots$ We also describe an observation due to Alex Kontorovich connecting the rate of this convergence in the Farey-Ford packing to the Riemann Hypothesis. For the analogous problem for Soddy Sphere packings, we find that the limiting radial density is $\frac{\sqrt{3}}{2V_T}=0.853\dots$, where $V_T$ denotes the volume of an ideal hyperbolic tetrahedron with dihedral angles $π/3$.

math.NT↗

On the geometry behind a recurrent relation

We consider a certain linear recursive relation with integer parameters and study some of its algebraic and geometric properties, with the purpose of estimating the number of chains of valences in the Farey series.

math.NT↗

A game with divisors and absolute differences of exponents

In this work, we discuss a number game that develops in a manner similar to that on which Gilbreath's conjecture on iterated absolute differences between consecutive primes is formulated. In our case the action occurs at the exponent level and there, the evolution is reminiscent of that in a final Ducci game. We present features of the whole field of the game created by the successive generations, prove an analog of Gilbreath's conjecture, and raise some open questions.

math.NT↗

Sister Beiter and Kloosterman: a tale of cyclotomic coefficients and modular inverses

For a fixed prime $p$, the maximum coefficient (in absolute value) $M(p)$ of the cyclotomic polynomial $Φ_{pqr}(x)$, where $r$ and $q$ are free primes satisfying $r>q>p$ exists. Sister Beiter conjectured in 1968 that $M(p)\le(p+1)/2$. In 2009 Gallot and Moree showed that $M(p)\ge 2p(1-ε)/3$ for every $p$ sufficiently large. In this article Kloosterman sums (`cloister man sums') and other tools from the distribution of modular inverses are applied to quantify the abundancy of counter-examples to Sister Beiter's conjecture and sharpen the above lower bound for $M(p)$.

math.NT↗

On a Problem of Mordell with Primitive Roots

We consider the sums of the form $$ S=\sum_{x=1}^{N} \exp\big((ax+b_1g_1^x+... +b_rg_r^x)/p \big) $$, where $p$ is prime and $g_1,..., g_r$ are primitive roots $\pmod p$. An almost forty years old problem of L. J. Mordell asks to find a nontrivial estimate of $S$ when at least two of the coefficients $b_1,...,b_r$ are not divizible by $p$. Here we obtain a nontrivial bound of the average of these sums when $g_1$ runs over all primitive roots $\pmod p$.

math.NT↗

On the discrete logarithm problem

Let $p>2$ be prime and $g$ a primitive root modulo $p$. We present an argument for the fact that discrete logarithms of the numbers in any arithmetic progression are uniformly distributed in $[1,p]$ and raise some questions on the subject.

math.NT↗

The distribution of rationals in residue classes

Our purpose is to give an account of the $r$-tuple problem on the increasing sequence of reduced fractions having denominators bounded by a certain size and belonging to a fixed real interval. We show that when the size grows to infinity, the proportion of the $r$-tuples of consecutive denominators with components in certain apriori fixed arithmetic progressions with the same ratio approaches a limit, which is independent on the interval. The limit is given explicitly and it is completely described in a few particular instances.

math.NT↗

On the Farey fractions with denominators in arithmetic progression

Let $F_Q$ be the set of Farey fractions of order $Q$. Given the integers $\d\ge 2$ and $0\le \c \le \d-1$, let $F_Q(c,d)$ be the subset of $F_Q$ of those fractions whose denominators are $\equiv c \pmod d$, arranged in ascending order. The problem we address here is to show that as $Q\to\infty$, there exists a limit probability measuring the distribution of $s$-tuples of consecutive denominators of fractions in $F_Q(c,d)$. This shows that the clusters of points $(q_0/Q,q_1/Q,...,q_s/Q)\in[0,1]^{s+1}$, where $q_0,q_1,...,q_s$ are consecutive denominators of members of $F_Q$ produce a limit set, denoted by $D(c,d)$. The shape and the structure of this set are presented in several particular cases.

math.NT↗

A density theorem on even Farey fractions

Let $F_Q$ be the Farey sequence of order $Q$ and let $F_{Q,o}$ and $F_{Q,e}$ be the set of those Farey fractions of order $Q$ with odd, respectively even denominators. A fundamental property of $F_Q$ says that the sum of denominators of any pair of neighbor fractions is always greater than $Q$. This property fails for $F_{Q,o}$ and for $F_{Q,e}$. The local density, as $Q\to\infty$, of the normalized pairs $(q'/Q,q''/Q)$, where $q',q''$ are denominators of consecutive fractions in $F_{Q,o}$, was computed previously. The density increases over a series of quadrilateral steps ascending in a harmonic series towards the point $(1,1)$. Numerical computations for small values of $Q$ suggest that such a result should rather occur in the even case, while in the odd case the distribution of the corresponding points appears to be more uniform. Reconciling with the numerical experiments, in this paper we show that, as $Q\to\infty$, the local densities in the odd and even case coincide.

math.NT↗

On the Intervals of a Third between Farey Fractions

The spacing distribution between Farey points has drawn attention in recent years. It was found that the gaps $γ_{j+1}-γ_j$ between consecutive elements of the Farey sequence produce, as $Q\to\infty$, a limiting measure. Numerical computations suggest that for any $d\ge 2$, the gaps $γ_{j+d}-γ_j$ also produce a limiting measure whose support is distinguished by remarkable topological features. Here we prove the existence of the spacing distribution for $d=2$ and characterize completely the corresponding support of the measure.

math.NT↗