Showing 1–30 of 30 results for author: Oller-Marcén, A M

Nash Equilibria in the Showcase Showdown game with unlimited spins

Authors: L. Bayón, P. Fortuny ayuso, J. M. Grau, A. M. Oller-Marcén, M. M Ruíz

Abstract: The game of \emph{Showcase Showdown} with unlimited spins is investigated as an $n$-players continuous game, and the Nash Equilibrium strategies for the players are obtained. The sequential game with information on the results of the previous players is studied, as well as three variants: no information, possibility of draw, and different modalities of winner payoff. The game of \emph{Showcase Showdown} with unlimited spins is investigated as an $n$-players continuous game, and the Nash Equilibrium strategies for the players are obtained. The sequential game with information on the results of the previous players is studied, as well as three variants: no information, possibility of draw, and different modalities of winner payoff. △ Less

Submitted 9 April, 2025; originally announced April 2025.

Comments: 3 figures

A class of weighted Delannoy numbers

Authors: J. M. Grau, A. M Oller-Marcen, J. L. Varona

Abstract: The weighted Delannoy numbers are defined by the recurrence relation $f_{m,n}=αf_{m-1,n}+ βf_{m,n-1}+ γf_{m-1,n-1}$ if $m n>0 $, with $f_{m,n}=α^m β^n$ if $n m=0$. In this work, we study a generalization of these numbers considering the same recurrence relation but with $f_{m,n}=A^m B^n$ if $n m=0$. More particularly, we focus on the diagonal sequence $f_{n,n}$. With some ingenuity, we are able to… ▽ More The weighted Delannoy numbers are defined by the recurrence relation $f_{m,n}=αf_{m-1,n}+ βf_{m,n-1}+ γf_{m-1,n-1}$ if $m n>0 $, with $f_{m,n}=α^m β^n$ if $n m=0$. In this work, we study a generalization of these numbers considering the same recurrence relation but with $f_{m,n}=A^m B^n$ if $n m=0$. More particularly, we focus on the diagonal sequence $f_{n,n}$. With some ingenuity, we are able to make use of well-established methods by Pemantle and Wilson, and by Melczer in order to determine its asymptotic behavior in the case $A,B,α,β,γ\geq 0$. In addition, we also study its P-recursivity with the help of symbolic computation tools. △ Less

Submitted 20 January, 2025; v1 submitted 16 January, 2025; originally announced January 2025.

Journal ref: Filomat 36:17 (2022), 5985--6007

A new method for computing asymptotic results in optimal stopping problems

Authors: L. Bayón, P. Fortuny, J. M. Grau, A. M. Oller-Marcén, M. M. Ruiz

Abstract: In this paper, we present a novel method for computing the asymptotic values of both the optimal threshold, and the probability of success in sequences of optimal stopping problems. This method, based on the resolution of a first-order linear differential equation, makes it possible to systematically obtain these values in many situations. As an example, we address nine variants of the well-known… ▽ More In this paper, we present a novel method for computing the asymptotic values of both the optimal threshold, and the probability of success in sequences of optimal stopping problems. This method, based on the resolution of a first-order linear differential equation, makes it possible to systematically obtain these values in many situations. As an example, we address nine variants of the well-known secretary problem, including the classical one, that appear in the literature on the subject, as well as four other unpublished ones. △ Less

Submitted 17 May, 2022; originally announced May 2022.

On $μ$-Sondow Numbers

Authors: J. M. Grau, A. M. Oller-Marcén, D. Sadornil

Abstract: Given an integer $μ$, we study the numbers that satisfy the condition $\fracμ{n} + \sum_ {p \mid n} \frac {1} {p} \in \mathbb{N}$. This condition, which is reminiscent of the one satisfied by Giuga numbers ($μ=-1$), also includes the so-called \cite{sondow} weak primary pseudoperfect numbers ($μ=1$). As a tribute to our late colleague Jonathan Sondow (1943 -- 2020), we have named these numbers… ▽ More Given an integer $μ$, we study the numbers that satisfy the condition $\fracμ{n} + \sum_ {p \mid n} \frac {1} {p} \in \mathbb{N}$. This condition, which is reminiscent of the one satisfied by Giuga numbers ($μ=-1$), also includes the so-called \cite{sondow} weak primary pseudoperfect numbers ($μ=1$). As a tribute to our late colleague Jonathan Sondow (1943 -- 2020), we have named these numbers $ μ$-Sondow numbers. In this paper, we give several different characterizations of these numbers, all of them suggested by well-known characterizations of the Giuga numbers. We also relate these numbers to the well-known Erdös-Moser equation and we present some conjectures about them. △ Less

Submitted 18 December, 2021; v1 submitted 28 November, 2021; originally announced November 2021.

Further generalizations of the parallelogram law

Authors: Antonio M. Oller-Marcén

Abstract: In recent work by Alessandro Fonda, a generalization of the parallelogram law in any dimension $N\geq 2$ was given by considering the ratio of the quadratic mean of the measures of the $N-1$-dimensional diagonals to the quadratic mean of the measures of the faces of a parallelotope. In this paper, we provide a further generalization considering not only $(N-1)$-dimensional diagonals and faces, but… ▽ More In recent work by Alessandro Fonda, a generalization of the parallelogram law in any dimension $N\geq 2$ was given by considering the ratio of the quadratic mean of the measures of the $N-1$-dimensional diagonals to the quadratic mean of the measures of the faces of a parallelotope. In this paper, we provide a further generalization considering not only $(N-1)$-dimensional diagonals and faces, but the $k$-dimensional ones for every $1\leq k\leq N-1$. △ Less

Submitted 15 October, 2019; originally announced October 2019.

Zoel García de Galdeano y su presencia en sociedades matemáticas de su época

Authors: Pedro J. Miana, Antonio M. Oller-Marcén

Abstract: In this paper, we present the work of international mathematical associationism carried out by the mathematician from Navarra (Spain) Zoel García de Galdeano (1846-1924) during over 30 years. Garcia de Galdeano was a member of many of the most important mathematical associations of his time, thus being able to be in touch with foreign mathematicians of high level and to exchange ideas, works and c… ▽ More In this paper, we present the work of international mathematical associationism carried out by the mathematician from Navarra (Spain) Zoel García de Galdeano (1846-1924) during over 30 years. Garcia de Galdeano was a member of many of the most important mathematical associations of his time, thus being able to be in touch with foreign mathematicians of high level and to exchange ideas, works and collaborations. This work of associationism has been unnoticed in biographical and scientific studies up to now and helps to complete the picture of García de Galdeano as an international mathematician and as a wise importer of the main mathematical achievements of his time. △ Less

Submitted 19 October, 2017; v1 submitted 5 October, 2017; originally announced October 2017.

Comments: In Spanish

The Best-or-Worst and the Postdoc problems

Authors: L. Bayon, P. Fortuny Ayuso, J. M. Grau, A. M. Oller-Marcen, M. M. Ruiz

Abstract: We consider two variants of the secretary problem, the\emph{ Best-or-Worst} and the \emph{Postdoc} problems, which are closely related. First, we prove that both variants, in their standard form with binary payoff 1 or 0, share the same optimal stopping rule. We also consider additional cost/perquisites depending on the number of interviewed candidates. In these situations the optimal strategies a… ▽ More We consider two variants of the secretary problem, the\emph{ Best-or-Worst} and the \emph{Postdoc} problems, which are closely related. First, we prove that both variants, in their standard form with binary payoff 1 or 0, share the same optimal stopping rule. We also consider additional cost/perquisites depending on the number of interviewed candidates. In these situations the optimal strategies are very different. Finally, we also focus on the Best-or-Worst variant with different payments depending on whether the selected candidate is the best or the worst. △ Less

Submitted 22 June, 2017; originally announced June 2017.

Generalized Quaternion Rings over $\mathbb{Z}/n\mathbb{Z}$ for an odd $n$

Authors: J. M. Grau, C. Miguel, A. M. oller-Marcén

Abstract: We consider a generalization of the quaternion ring $\Big(\frac{a,b}{R}\Big)$ over a commutative unital ring $R$ that includes the case when $a$ and $b$ are not units of $R$. In this paper, we focus on the case $R=\mathbb{Z}/n\mathbb{Z}$ for and odd $n$. In particular, for every odd integer $n$ we compute the number of non-isomorphic generalized quaternion rings… ▽ More We consider a generalization of the quaternion ring $\Big(\frac{a,b}{R}\Big)$ over a commutative unital ring $R$ that includes the case when $a$ and $b$ are not units of $R$. In this paper, we focus on the case $R=\mathbb{Z}/n\mathbb{Z}$ for and odd $n$. In particular, for every odd integer $n$ we compute the number of non-isomorphic generalized quaternion rings $\Big(\frac{a,b}{\mathbb{Z}/n\mathbb{Z}}\Big)$ △ Less

Submitted 15 June, 2017; originally announced June 2017.

Power sums over commutative and unitary rings

Authors: Jose Maria Grau, Antonio. M. Oller-Marcen

Abstract: In this paper we compute the sum of the $k$-th powers over any finite commutative unital rings, thus generalizing known results for finite fields, the rings of integers modulo $n$ or the ring of Gaussian integers modulo $n$. As an application we focus on quotient rings of the form $\mathbb{Z}/n\mathbb{Z}[x]/(f(x))$ for any polynomial $f\in\mathbb{Z}[x]$ In this paper we compute the sum of the $k$-th powers over any finite commutative unital rings, thus generalizing known results for finite fields, the rings of integers modulo $n$ or the ring of Gaussian integers modulo $n$. As an application we focus on quotient rings of the form $\mathbb{Z}/n\mathbb{Z}[x]/(f(x))$ for any polynomial $f\in\mathbb{Z}[x]$ △ Less

Submitted 18 March, 2016; originally announced March 2016.

A variant of the Secretary Problem: the Best or the Worst

Authors: L. Bayon, J. Grau, A. M. Oller-Marcen, M. Ruiz, P. M. Suarez

Abstract: We consider a variant of the secretary problem in which the candidates state their expected salary at the interview, which we assume is in accordance with their qualifications. The goal is for the employer to hire the best or the worst (cheapest), indifferent between the two cases. We focus on the complete information variant as well as on the cases when the number of applicants is a random variab… ▽ More We consider a variant of the secretary problem in which the candidates state their expected salary at the interview, which we assume is in accordance with their qualifications. The goal is for the employer to hire the best or the worst (cheapest), indifferent between the two cases. We focus on the complete information variant as well as on the cases when the number of applicants is a random variable with a uniform distribution $U[1,n]$ or with a Poisson distribution of parameter $λ$. Moreover, we also study two variants of the original problem in which we consider payoffs depending on the number of conducted interviews. △ Less

Submitted 19 March, 2016; v1 submitted 12 March, 2016; originally announced March 2016.

On power sums of matrices over a finite commutative ring

Authors: P. Fortuny, J. M. Grau, A. M. Oller-Marcén, I. F. Rúa

Abstract: In this paper we deal with the problem of computing the sum of the $k$-th powers of all the elements of the matrix ring $\mathbb{M}_d(R)$ with $d>1$ and $R$ a finite commutative ring. We completely solve the problem in the case $R=\mathbb{Z}/n\mathbb{Z}$ and give some results that compute the value of this sum if $R$ is an arbitrary finite commutative ring $R$ for many values of $k$ and $d$. Final… ▽ More In this paper we deal with the problem of computing the sum of the $k$-th powers of all the elements of the matrix ring $\mathbb{M}_d(R)$ with $d>1$ and $R$ a finite commutative ring. We completely solve the problem in the case $R=\mathbb{Z}/n\mathbb{Z}$ and give some results that compute the value of this sum if $R$ is an arbitrary finite commutative ring $R$ for many values of $k$ and $d$. Finally, based on computational evidence and using some technical results proved in the paper we conjecture that the sum of the $k$-th powers of all the elements of the matrix ring $\mathbb{M}_d(R)$ is always $0$ unless $d=2$, $\textrm{card}(R) \equiv 2 \pmod 4$, $1<k\equiv -1,0,1 \pmod 6$ and the only element $e\in R \setminus \{0\}$ such that $2e =0$ is idempotent, in which case the sum is $\textrm{diag}(e,e)$. △ Less

Submitted 29 May, 2015; originally announced May 2015.

On the congruence $\sum_{j=1}^{n-1} j^{k(n-1)} \equiv -1 \pmod n $. k-strong Giuga and k-Carmichael numbers

Authors: Antonio M. Oller-Marcén, José María Grau

Abstract: In this work we consider the congruence $\sum_{j=1}^{n-1} j^{k(n-1)} \equiv -1 \pmod n$ for each $k \in \mathbb{N}$, thus extending Giuga's ideas for $k=1$. In particular, it is proved that a pair $(n,k)\in \mathbb{N}^2$ satisfies this congruence if and only if $n$ is prime or a Giuga Number and $λ(n) \mid k(n-1)$. In passing, we establish new characterizations of Giuga numbers and we study some p… ▽ More In this work we consider the congruence $\sum_{j=1}^{n-1} j^{k(n-1)} \equiv -1 \pmod n$ for each $k \in \mathbb{N}$, thus extending Giuga's ideas for $k=1$. In particular, it is proved that a pair $(n,k)\in \mathbb{N}^2$ satisfies this congruence if and only if $n$ is prime or a Giuga Number and $λ(n) \mid k(n-1)$. In passing, we establish new characterizations of Giuga numbers and we study some properties of the numbers $n$ satisfying $λ(n) \mid k(n-1)$. △ Less

Submitted 14 November, 2013; originally announced November 2013.

Comments: arXiv admin note: text overlap with arXiv:1103.3483

On the congruence $1^m + 2^m + \dotsb + m^m \equiv n \pmod{m}$ with $n | m$

Authors: José María Grau, Antonio M. Oller-Marcén, Jonathan Sondow

Abstract: We show that if the congruence above holds and $n\mid m$, then the quotient $Q:=m/n$ satisfies $\sum_{p\mid Q} \frac{Q}{p}+1 \equiv 0\pmod{Q}$, where $p$ is prime. The only known solutions of the latter congruence are $Q=1$ and the eight known primary pseudoperfect numbers $2,6,42, 1806, 47058, 2214502422, 52495396602,$ and $8490421583559688410706771261086$. Fixing $Q$, we prove that the set of po… ▽ More We show that if the congruence above holds and $n\mid m$, then the quotient $Q:=m/n$ satisfies $\sum_{p\mid Q} \frac{Q}{p}+1 \equiv 0\pmod{Q}$, where $p$ is prime. The only known solutions of the latter congruence are $Q=1$ and the eight known primary pseudoperfect numbers $2,6,42, 1806, 47058, 2214502422, 52495396602,$ and $8490421583559688410706771261086$. Fixing $Q$, we prove that the set of positive integers $n$ satisfying the congruence in the title, with $m=Q n$, is empty in case $Q=52495396602$, and in the other eight cases has an asymptotic density between bounds in $(0,1)$ that we provide. △ Less

Submitted 29 May, 2014; v1 submitted 30 September, 2013; originally announced September 2013.

Comments: 13 pages, 1 table; introduced proofs of Lemma 5 and Theorem 5; notational changes ($\mathfrak{M}_Q\to \mathfrak{N}_Q$) and some typos corrected

MSC Class: 11B99; 11A99; 11A07

Journal ref: Monatshefte für Mathematik 177 (2015) 421-436

About the congruence $\sum_{k=1}^n k^{f(n)} \equiv 0 \textrm{(mod n)} $

Authors: José María Grau, Antonio M. Oller-Marcén

Abstract: In this paper we characterize, in terms of the prime divisors of $n$, the pairs $(k,n)$ for which $n$ divides $\sum_{j=1}^n j^{k}$. As an application, we study the sets $\mathcal{M}_f :=\{n: n \textrm{divides} \sum_{j=1}^n j^{f(n)} \}$ for some choices of $f$. In this paper we characterize, in terms of the prime divisors of $n$, the pairs $(k,n)$ for which $n$ divides $\sum_{j=1}^n j^{k}$. As an application, we study the sets $\mathcal{M}_f :=\{n: n \textrm{divides} \sum_{j=1}^n j^{f(n)} \}$ for some choices of $f$. △ Less

Submitted 9 April, 2013; originally announced April 2013.

The $f$-belos

Authors: Antonio M. Oller-Marcén

Abstract: The \emph{arbelos} is the shape bounded by three mutually tangent semicircles with collinear diameters. Recently, Sondow introduced the parabolic analog, the \emph{parbelos} and proved several properties of the parbelos similar to properties of the arbelos. In this paper we give one step further and generalize the situation considering the figure bounded by (quite) arbitrary similar curves, the \e… ▽ More The \emph{arbelos} is the shape bounded by three mutually tangent semicircles with collinear diameters. Recently, Sondow introduced the parabolic analog, the \emph{parbelos} and proved several properties of the parbelos similar to properties of the arbelos. In this paper we give one step further and generalize the situation considering the figure bounded by (quite) arbitrary similar curves, the \emph{$f$-belos}. We prove analog properties to those of the arbelos and parbelos and, moreover, we characterize the parbelos and the arbelos as the $f$-beloses satisfying certain conditions. △ Less

Submitted 30 October, 2012; originally announced October 2012.

On arithmetic numbers

Authors: Antonio M. Oller-Marcén

Abstract: An integer $n$ is said to be \textit{arithmetic} if the arithmetic mean of its divisors is an integer. In this paper, using properties of the factorization of values of cyclotomic polynomials, we characterize arithmetic numbers. As an application, in Section 2, we give an interesting characterization of Mersenne numbers. An integer $n$ is said to be \textit{arithmetic} if the arithmetic mean of its divisors is an integer. In this paper, using properties of the factorization of values of cyclotomic polynomials, we characterize arithmetic numbers. As an application, in Section 2, we give an interesting characterization of Mersenne numbers. △ Less

Submitted 8 June, 2012; originally announced June 2012.

Volumes of Solids of Revolution. A Unified Approach

Authors: Jorge Martín-Morales, Antonio M. Oller-Marcén

Abstract: We present a method to compute the volume of a solid of revolution as a double integral in a very simple way. Then, we see that the classical methods (disks and shells) are recovered if this double integral is computed by each of the two possible applications of Fubini's theorem. As a further application we also show how Pappus' theorem is obtained from our formula. We present a method to compute the volume of a solid of revolution as a double integral in a very simple way. Then, we see that the classical methods (disks and shells) are recovered if this double integral is computed by each of the two possible applications of Fubini's theorem. As a further application we also show how Pappus' theorem is obtained from our formula. △ Less

Submitted 4 June, 2012; v1 submitted 10 May, 2012; originally announced May 2012.

Comments: 7 pages, 4 figures

MSC Class: 26B15

A determinant of generalized Fibonacci numbers

Authors: Christian Krattenthaler, Antonio M. Oller-Marcén

Abstract: We evaluate a determinant of generalized Fibonacci numbers, thus providing a common generalization of several determinant evaluation results that have previously appeared in the literature, all of them extending Cassini's identity for Fibonacci numbers. We evaluate a determinant of generalized Fibonacci numbers, thus providing a common generalization of several determinant evaluation results that have previously appeared in the literature, all of them extending Cassini's identity for Fibonacci numbers. △ Less

Submitted 3 April, 2012; originally announced April 2012.

MSC Class: 11B39; 05A10; 05A19; 11C20

Journal ref: J. Combin. Number Theory 5(2) (2013), Article #2, 7 pp

On the last digit and the last non-zero digit of $n^n$ in base $b$

Authors: José María Grau, Antonio M. Oller-Marcén

Abstract: In this paper we study the sequences defined by the last and the last non-zero digits of $n^n$ in base $b$. For the sequence given by the last digits of $n^n$ in base $b$, we prove its periodicity using different techniques than those used by W. Sierpinski and R. Hampel. In the case of the sequence given by the last non-zero digits of $n^n$ in base $b$ (which had been studied only for $b=10$) we s… ▽ More In this paper we study the sequences defined by the last and the last non-zero digits of $n^n$ in base $b$. For the sequence given by the last digits of $n^n$ in base $b$, we prove its periodicity using different techniques than those used by W. Sierpinski and R. Hampel. In the case of the sequence given by the last non-zero digits of $n^n$ in base $b$ (which had been studied only for $b=10$) we show the non-periodicity of the sequence when $b$ is an odd prime power and when it is even and square-free. We also show that if $b=2^{2^s}$ the sequence is periodic and conjecture that this is the only such case. △ Less

Submitted 19 March, 2012; originally announced March 2012.

MSC Class: 11B50

Tying up baric algebras

Authors: Antonio M. Oller-Marcén

Abstract: Given two baric algebras $(A_1,ω_1)$ and $(A_2,ω_2)$ we describe a way to define a new baric algebra structure over the vector space $A_1\oplus A_2$, which we shall denote $(A_1\bowtie A_2,ω_1\bowtieω_2)$. We present some easy properties of this construction and we show that in the commutative and unital case it preserves indecomposability. Algebras of the form $A_1\bowtie A_2$ in the associative,… ▽ More Given two baric algebras $(A_1,ω_1)$ and $(A_2,ω_2)$ we describe a way to define a new baric algebra structure over the vector space $A_1\oplus A_2$, which we shall denote $(A_1\bowtie A_2,ω_1\bowtieω_2)$. We present some easy properties of this construction and we show that in the commutative and unital case it preserves indecomposability. Algebras of the form $A_1\bowtie A_2$ in the associative, coutable-dimensional, zero-characteristic case are classified. △ Less

Submitted 29 July, 2011; originally announced July 2011.

Comments: To appear in Mathematica Slovaca

MSC Class: 17D92; 17D99

Journal ref: Mathematica Slovaca, Volume 62, Issue 5, pp 865-874 (2012)

Generalizing Giuga's conjecture

Authors: José María Grau, Antonio M. Oller-Marcén

Abstract: In 1950 G. Giuga studied the congruence $\sum_{j=1}^{n-1} j^{n-1} \equiv -1$ (mod $n$) and conjectured that it was only satisfied by prime numbers. In this work we generalize Giuga's ideas considering, for each $k \in \mathbb{N}$, the congruence $\sum_{j=1}^{n-1} j^{k(n-1)} \equiv -1$ (mod $n$). It particular, it is proved that a pair $(n,k)\in \mathbb{N}^2$ (with composite $n$) satisfies the cong… ▽ More In 1950 G. Giuga studied the congruence $\sum_{j=1}^{n-1} j^{n-1} \equiv -1$ (mod $n$) and conjectured that it was only satisfied by prime numbers. In this work we generalize Giuga's ideas considering, for each $k \in \mathbb{N}$, the congruence $\sum_{j=1}^{n-1} j^{k(n-1)} \equiv -1$ (mod $n$). It particular, it is proved that a pair $(n,k)\in \mathbb{N}^2$ (with composite $n$) satisfies the congruence if and only if $n$ is a Giuga Number and $ λ(n)/\gcd(λ(n),n-1)$ divides $k$. In passing, we establish some new characterizations of Giuga Numbers. △ Less

Submitted 17 March, 2011; originally announced March 2011.

MSC Class: 11B99; 11A99; 11A07

On a variant of Giuga numbers

Authors: Jose Maria Grau, Florian Luca, Antonio M. Oller-Marcen

Abstract: In this paper, we characterize the odd positive integers $n$ satisfying the congruence $\sum_{j=1} ^ {n-1} j^{\frac{n-1}{2}}\equiv 0 \pmod n$. We show that the set of such positive integers has an asymptotic density which turns out to be slightly larger than 3/8. In this paper, we characterize the odd positive integers $n$ satisfying the congruence $\sum_{j=1} ^ {n-1} j^{\frac{n-1}{2}}\equiv 0 \pmod n$. We show that the set of such positive integers has an asymptotic density which turns out to be slightly larger than 3/8. △ Less

Submitted 17 March, 2011; originally announced March 2011.

Comments: 14 pages

Giuga Numbers and the arithmetic derivative

Authors: José María Grau, Antonio M. Oller-Marcén

Abstract: We characterize Giuga Numbers as solutions to the equation $n'=an+1$, with $a \in \mathbb{N}$ and $n'$ being the arithmetic derivative. Although this fact does not refute Lava's conjecture, it brings doubts about its veracity. We characterize Giuga Numbers as solutions to the equation $n'=an+1$, with $a \in \mathbb{N}$ and $n'$ being the arithmetic derivative. Although this fact does not refute Lava's conjecture, it brings doubts about its veracity. △ Less

Submitted 11 March, 2011; originally announced March 2011.

MSC Class: 11A99; 11B99

On $k$-Lehmer numbers

Authors: Antonio M. Oller-Marcén, José María Grau

Abstract: Lehmer's totient problem consists of determining the set of positive integers $n$ such that $\varphi(n)|n-1$ where $\varphi$ is Euler's totient function. In this paper we introduce the concept of $k$-Lehmer number. A $k$-Lehmer number is a composite number such that $\varphi(n)|(n-1)^k$. The relation between $k$-Lehmer numbers and Carmichael numbers leads to a new characterization of Carmichael nu… ▽ More Lehmer's totient problem consists of determining the set of positive integers $n$ such that $\varphi(n)|n-1$ where $\varphi$ is Euler's totient function. In this paper we introduce the concept of $k$-Lehmer number. A $k$-Lehmer number is a composite number such that $\varphi(n)|(n-1)^k$. The relation between $k$-Lehmer numbers and Carmichael numbers leads to a new characterization of Carmichael numbers and to some conjectures related to the distribution of Carmichael numbers which are also $k$-Lehmer numbers. △ Less

Submitted 22 March, 2012; v1 submitted 10 December, 2010; originally announced December 2010.

MSC Class: 11A25; 11B99

A primality test for $Kp^n+1$ numbers

Authors: José María Grau, Antonio M. Oller-Marcén

Abstract: In this paper we generalize the classical Proth's theorem for integers of the form $N=Kp^n+1$. For these families, we present a primality test whose computational complexity is $\widetilde{O}(\log^2(N))$ and, what is more important, that requires only one modular exponentiation similar to that of Fermat's test. Consequently, the presented test improves the most often used one, derived from Pocklin… ▽ More In this paper we generalize the classical Proth's theorem for integers of the form $N=Kp^n+1$. For these families, we present a primality test whose computational complexity is $\widetilde{O}(\log^2(N))$ and, what is more important, that requires only one modular exponentiation similar to that of Fermat's test. Consequently, the presented test improves the most often used one, derived from Pocklington's theorem, which usually requires the computation of several modular exponentiations together with some GCD's. △ Less

Submitted 26 April, 2011; v1 submitted 22 November, 2010; originally announced November 2010.

MSC Class: 11Y11; 11Y16; 11A51; 11B99

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

Authors: Jose Maria Grau, Antonio M. Oller-Marcen

Abstract: Generalized Cullen Numbers are positive integers of the form $C_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: $n^{b^{n}}\equiv (-1)^{b}$ (mod $nb^n+1$). It is stronger and has less computational cost than Fermat'… ▽ More Generalized Cullen Numbers are positive integers of the form $C_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: $n^{b^{n}}\equiv (-1)^{b}$ (mod $nb^n+1$). It is stronger and has less computational cost than Fermat's test (for bases $b$ and $n$) and than Miller-Rabin's test (for base $n$). 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 $\tilde{O}(\log^2(N))$ time, which might be very useful in the search of Generalized Cullen Primes. △ Less

Submitted 6 July, 2010; originally announced July 2010.

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

Authors: Antonio M. Oller-Marcen, Jose Maria Grau

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

Submitted 22 February, 2010; originally announced February 2010.

MSC Class: 11B65

A new look at the trailing zeroes on $N!$

Authors: Antonio M. Oller-Marcen

Abstract: Let us denote by $Z_b(n)$ the number of trailing zeroes in the base $b$ expansion of $n!$. In this paper we study with some detail the behavior of the function $Z_b$. In particular, since $Z_b$ is non-decreasing, we will characterize the points where it increases and we will compute the amplitude of the jump in each of such points. In passing, we will study some asymptotic aspects and we will gi… ▽ More Let us denote by $Z_b(n)$ the number of trailing zeroes in the base $b$ expansion of $n!$. In this paper we study with some detail the behavior of the function $Z_b$. In particular, since $Z_b$ is non-decreasing, we will characterize the points where it increases and we will compute the amplitude of the jump in each of such points. In passing, we will study some asymptotic aspects and we will give families of integers that do not belong to the image of $Z_b$. △ Less

Submitted 26 June, 2009; originally announced June 2009.

MSC Class: 11A25; 11A99

Counting domino trains

Authors: Antonio M. Oller-Marcen

Abstract: In this paper we present a way to count the number of trains that we can construct with a given set of domino pieces. As an application we obtain a new method to compute the total number of eulerian paths in an undirected graph as well as their starting and ending vertices. In this paper we present a way to count the number of trains that we can construct with a given set of domino pieces. As an application we obtain a new method to compute the total number of eulerian paths in an undirected graph as well as their starting and ending vertices. △ Less

Submitted 24 February, 2009; originally announced February 2009.

On the varieties of representations and characters of a family of one-relator subgroups. Their irreducible components

Authors: Jorge Martin-Morales, Antonio M. Oller-Marcen

Abstract: Let us consider the group $G = < x,y \mid x^m = y^n>$ with $m$ and $n$ nonzero integers. In this paper, we study the variety of epresentations $R(G)$ and the character variety $X(G)$ in $SL(2,\C)$ of the group $G$,obtaining by elementary methods an explicit primary decomposition of the ideal corresponding to $X(G)$ in the coordinates $X=t_x$, $Y=t_y$ and $Z=t_{xy}$. As an easy consequence, a for… ▽ More Let us consider the group $G = < x,y \mid x^m = y^n>$ with $m$ and $n$ nonzero integers. In this paper, we study the variety of epresentations $R(G)$ and the character variety $X(G)$ in $SL(2,\C)$ of the group $G$,obtaining by elementary methods an explicit primary decomposition of the ideal corresponding to $X(G)$ in the coordinates $X=t_x$, $Y=t_y$ and $Z=t_{xy}$. As an easy consequence, a formula for computing the number of irreducible components of $X(G)$ as a function of $m$ and $n$ is given. We provide a combinatorial description of $X(G)$ and we prove that in most cases it is possible to recover $(m,n)$ from the combinatorial structure of $X(G)$. Finally we compute the number of irreducible components of $R(G)$ and study the behavior of the projection $t:R(G)\longrightarrow X(G)$. △ Less

Submitted 23 October, 2008; v1 submitted 30 May, 2008; originally announced May 2008.

MSC Class: 20F38; 20C15; 57M25