Source author record

Antonio M. Oller-Marcen

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

3works
2topics
2close collaborators

Published work

3 publications

preprint2010arXiv

An O~(log⁡2(N))\tilde{O}(\log^2(N)) time primality test for Generalized Cullen Numbers

Generalized Cullen Numbers are positive integers of the form Cb(n):=nbn+1C_b(n):=nb^n+1. In this work we generalize some known divisibility properties of Cullen Numbers and present two primality tests for this family of integers. The first test is based in the following property of primes from this family: nbn≡(−1)bn^{b^{n}}\equiv (-1)^{b} (mod nbn+1nb^n+1). It is stronger and has less computational cost than Fermat's test (for bases bb and nn) and than Miller-Rabin's test (for base nn). Pseudoprimes for this new test seem to be very scarce, only 4 pseudoprimes have been found among the many millions of Generalized Cullen Numbers tested. We also present a second, more demanding, test for wich no pseudoprimes have been found. This test leads to a "quasi-deterministic" test, running in O~(log⁡2(N))\tilde{O}(\log^2(N)) time, which might be very useful in the search of Generalized Cullen Primes.

preprint2010arXiv

On the base bb expansion of the number of trailing zeroes of bk!b^k!

Let us denote by Zb(n)Z_{b}(n) the number of trailing zeroes in the base b expansion of n!n!. In this paper we study the connection between the expression of ϑ(b):=lim⁡n→∞Zb(n)/n\vartheta(b):=\lim_{n\to \infty}Z_{b}(n)/n in base bb, and that of Zb(bk)Z_{b}(b^{k}). In particular, if bb is a prime power, we will show the equality between the kk digits of Zb(bk)Z_{b}(b^{k}) and the first kk digits in the fractional part of ϑ(b)\vartheta (b). In the general case we will see that this equality still holds except for, at most, the last ⌊log⁡b(k)+3⌋\lfloor \log_{b}(k) +3\rfloor digits. We finally show that this bound can be improved if bb is square-free and present some conjectures about this bound.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.