Showing 1–35 of 35 results for author: Grau, J

Entry and leaving arcs of turnpikes: their exact computation in the calculus of variations

Authors: L. Bayón, P. Fortuny Ayuso, J. M. Grau, M. M Ruiz

Abstract: We settle the question of how to compute the entry and leaving arcs for turnpikes in autonomous variational problems, in the one-dimensional case using the phase space of the vector field associated to the Euler equation, and the initial/final and/or the transversality condition. The results hinge on the realization that extremals are the contours of a well-known function and that that the transve… ▽ More We settle the question of how to compute the entry and leaving arcs for turnpikes in autonomous variational problems, in the one-dimensional case using the phase space of the vector field associated to the Euler equation, and the initial/final and/or the transversality condition. The results hinge on the realization that extremals are the contours of a well-known function and that that the transversality condition is (generically) a curve. An approximation algorithm is presented and an example included for completeness. △ Less

Submitted 24 January, 2023; originally announced January 2023.

Comments: 15 pages, 8 figures

MSC Class: 49J15 49J30

Monolayer-to-mesoscale modulation of the optical properties in 2D CrI3 mapped by hyperspectral microscopy

Authors: Marta Galbiati, Fernando Ramiro-Manzano, José Joaquín Pérez Grau, Fernando Cantos-Prieto, Jaume Meseguer-Sanchez, Ivona Košić, Filippo Mione, Ana Pallarés Vilar, Andrés Cantarero, David Soriano, Efrén Navarro-Moratalla

Abstract: Magnetic 2D materials hold promise to change the miniaturization paradigm of unidirectional photonic components. However, the integration of these materials in devices hinges on the accurate determination of the optical properties down to the monolayer limit, which is still missing. By using hyperspectral wide-field imaging we reveal a non-monotonic thickness dependence of the complex optical diel… ▽ More Magnetic 2D materials hold promise to change the miniaturization paradigm of unidirectional photonic components. However, the integration of these materials in devices hinges on the accurate determination of the optical properties down to the monolayer limit, which is still missing. By using hyperspectral wide-field imaging we reveal a non-monotonic thickness dependence of the complex optical dielectric function in the archetypal magnetic 2D material CrI3 extending across different length scales: onsetting at the mesoscale, peaking at the nanoscale and decreasing again down to the single layer. These results portray a modification of the electronic properties of the material and align with the layer-dependent magnetism in CrI3, shedding light into the long-standing structural conundrum in this material. The unique modulation of the complex dielectric function from the monolayer up to more than 100 layers will be instrumental for understanding and manipulating the magneto-optical effects of magnetic 2D materials. △ Less

Submitted 3 January, 2023; originally announced January 2023.

A new method for computing asymptotic results in optimal stop** 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 stop** 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 stop** 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.

Occlusion Fields: An Implicit Representation for Non-Line-of-Sight Surface Reconstruction

Authors: Javier Grau, Markus Plack, Patrick Haehn, Michael Weinmann, Matthias Hullin

Abstract: Non-line-of-sight reconstruction (NLoS) is a novel indirect imaging modality that aims to recover objects or scene parts outside the field of view from measurements of light that is indirectly scattered off a directly visible, diffuse wall. Despite recent advances in acquisition and reconstruction techniques, the well-posedness of the problem at large, and the recoverability of objects and their s… ▽ More Non-line-of-sight reconstruction (NLoS) is a novel indirect imaging modality that aims to recover objects or scene parts outside the field of view from measurements of light that is indirectly scattered off a directly visible, diffuse wall. Despite recent advances in acquisition and reconstruction techniques, the well-posedness of the problem at large, and the recoverability of objects and their shapes in particular, remains an open question. The commonly employed Fermat path criterion is rather conservative with this regard, as it classifies some surfaces as unrecoverable, although they contribute to the signal. In this paper, we use a simpler necessary criterion for an opaque surface patch to be recoverable. Such piece of surface must be directly visible from some point on the wall, and it must occlude the space behind itself. Inspired by recent advances in neural implicit representations, we devise a new representation and reconstruction technique for NLoS scenes that unifies the treatment of recoverability with the reconstruction itself. Our approach, which we validate on various synthetic and experimental datasets, exhibits interesting properties. Unlike memory-inefficient volumetric representations, ours allows to infer adaptively tessellated surfaces from time-of-flight measurements of moderate resolution. It can further recover features beyond the Fermat path criterion, and it is robust to significant amounts of self-occlusion. We believe that this is the first time that these properties have been achieved in one system that, as an additional benefit, is trainable and hence suited for data-driven approaches. △ Less

Submitted 22 March, 2022; v1 submitted 16 March, 2022; originally announced March 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.

The multi-returning secretary problem

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

Abstract: In this paper we consider the so-called Multi-returning secretary problem, a version of the Secretary problem in which each candidate has $m$ identical copies. The case $m=2$ has already been completely solved by several authors using different methods both the case $m>2$ had not been satisfactorily solved yet. Here, we provide and efficient algorithm to compute the optimal threshold and the proba… ▽ More In this paper we consider the so-called Multi-returning secretary problem, a version of the Secretary problem in which each candidate has $m$ identical copies. The case $m=2$ has already been completely solved by several authors using different methods both the case $m>2$ had not been satisfactorily solved yet. Here, we provide and efficient algorithm to compute the optimal threshold and the probability of success for every $m$. Moreover, we give a method to determine their asymtoptic values based on the solution of a system of $m$ ODEs. △ Less

Submitted 15 October, 2020; v1 submitted 16 September, 2020; originally announced September 2020.

The Best-or-Worst and the Postdoc problems with random number of candidates

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

Abstract: In this paper we consider two variants of the Secretary problem: The Best-or-Worst and the Postdoc problems. We extend previous work by considering that the number of objects is not known and follows either a discrete Uniform distribution $\mathcal{U}[1,n]$ or a Poisson distribution $\mathcal{P}(λ)$. We show that in any case the optimal strategy is a threshold strategy, we provide the optimal cuto… ▽ More In this paper we consider two variants of the Secretary problem: The Best-or-Worst and the Postdoc problems. We extend previous work by considering that the number of objects is not known and follows either a discrete Uniform distribution $\mathcal{U}[1,n]$ or a Poisson distribution $\mathcal{P}(λ)$. We show that in any case the optimal strategy is a threshold strategy, we provide the optimal cutoff values and the asymptotic probabilities of success. We also put our results in relation with closely related work. △ Less

Submitted 12 November, 2018; v1 submitted 17 September, 2018; originally announced September 2018.

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 stop** 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 stop** 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.

Fast computation of the number of solutions to $x_1^2+\cdots+x_k^2 \equiv λ\pmod{n}$

Authors: Jose Maria Grau, A. Oller-marcen

Abstract: In this paper we study the multiplicative function $ρ_{k,λ}(n)$ that counts the number of incongruent solutions of the equation $x_1^2+\cdots+x_k^2 \equiv λ\pmod{n}$. In particular we give closed explicit formulas for $ρ_{k,λ}(p^s)$ with a arithmetic complexity of constant order. In this paper we study the multiplicative function $ρ_{k,λ}(n)$ that counts the number of incongruent solutions of the equation $x_1^2+\cdots+x_k^2 \equiv λ\pmod{n}$. In particular we give closed explicit formulas for $ρ_{k,λ}(p^s)$ with a arithmetic complexity of constant order. △ Less

Submitted 13 October, 2016; originally announced October 2016.

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.

Computing solutions to the congruence ${1^n + 2^n + \dotsb + n^n\equiv p \pmod{n}}$

Authors: Max Alekseyev, Jose Maria Grau, Amtonio Oller-Marcen

Abstract: It is well-known that the congruence $\sum_{i=1}^{ n} i^{ n} \equiv 1 \pmod{n}$ has exactly five solutions: $\{1,2,6,42,1806\}$. In this work, we characterize the solutions to the congruence $1^n + 2^n + \dotsb + n^n\equiv p \pmod{n}$ for every prime $p$. This characterization leads to an algorithm for computing all such solutions, when there is a finite number of them. More generally, our algorit… ▽ More It is well-known that the congruence $\sum_{i=1}^{ n} i^{ n} \equiv 1 \pmod{n}$ has exactly five solutions: $\{1,2,6,42,1806\}$. In this work, we characterize the solutions to the congruence $1^n + 2^n + \dotsb + n^n\equiv p \pmod{n}$ for every prime $p$. This characterization leads to an algorithm for computing all such solutions, when there is a finite number of them. More generally, our algorithm enables computing all the solutions below a much higher bound as compared to what can be achieved by a naive exhaustive search. △ Less

Submitted 30 August, 2018; v1 submitted 7 February, 2016; originally announced February 2016.

MSC Class: 11B99; 11A99; 11A07

Journal ref: Discrete Applied Mathematics 286 (2020), 3-9

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 zero divisor graphs of the ring of Lipschitz integers modulo $n$

Authors: Jose Maria Grau, Celino Miquel, Antonio Oller-Marcen

Abstract: This article studies the zero divisor graphs of the ring of Lipschitz integers modulo $n$. In particular we focus on the number of vertices, the diameter and the girth. We also give some results regarding the domination number of these graphs. This article studies the zero divisor graphs of the ring of Lipschitz integers modulo $n$. In particular we focus on the number of vertices, the diameter and the girth. We also give some results regarding the domination number of these graphs. △ Less

Submitted 1 May, 2015; originally announced May 2015.

On the diameter of the commuting graph of the full matrix ring over the real numbers

Authors: Jose Maria Grau, Antonio Oller-Marcen, Carmen Tasis

Abstract: In a recent paper C. Miguel proved that the diameter of the commuting graph of the matrix ring $\mathrm{M}_n(\mathbb{R})$ is equal to $4$ either if $n=3$ or $n>4$. But the case $n=4$ remained open, since the diameter could be $4$ or $5$. In this work we close the problem showing that also in this case the diameter is equal to $4$. In a recent paper C. Miguel proved that the diameter of the commuting graph of the matrix ring $\mathrm{M}_n(\mathbb{R})$ is equal to $4$ either if $n=3$ or $n>4$. But the case $n=4$ remained open, since the diameter could be $4$ or $5$. In this work we close the problem showing that also in this case the diameter is equal to $4$. △ Less

Submitted 1 December, 2014; originally announced December 2014.

Counting invertible sums of squares modulo $n$ and a new generalization of Euler totient function

Authors: Catalina Calderon, Jose Maria Grau, A. Oller-Marcen, László Tóth

Abstract: In this paper we introduce and study a family $Φ_k$ of arithmetic functions generalizing Euler's totient function. These functions are given by the number of solutions to the equation $\gcd(x_1^2+\ldots +x_k^2, n)=1$ with $x_1,\ldots,x_k \in {\mathbb{Z}}/n{\mathbb{Z}}$ which, for $k=2,4$ and $8$ coincide, respectively, with the number of units in the rings of Gaussian integers, quaternions and oct… ▽ More In this paper we introduce and study a family $Φ_k$ of arithmetic functions generalizing Euler's totient function. These functions are given by the number of solutions to the equation $\gcd(x_1^2+\ldots +x_k^2, n)=1$ with $x_1,\ldots,x_k \in {\mathbb{Z}}/n{\mathbb{Z}}$ which, for $k=2,4$ and $8$ coincide, respectively, with the number of units in the rings of Gaussian integers, quaternions and octonions over ${\mathbb{Z}}/n{\mathbb{Z}}$. We prove that $Φ_k$ is multiplicative for every $k$, we obtain an explicit formula for $Φ_k(n)$ in terms of the prime-power decomposition of $n$ and derive an asymptotic formula for $\sum_{n\le x} Φ_k(n)$. As a tool we investigate the multiplicative arithmetic function that counts the number of solutions to $x_1^2+\ldots +x_k^2\equiv λ$ (mod $n$) for $λ$ coprime to $n$, thus extending an old result that dealt only with the prime $n$ case. △ Less

Submitted 25 June, 2014; v1 submitted 31 March, 2014; originally announced March 2014.

On the structure of quaternion rings over $\mathbb{Z}/n \mathbb{Z}$

Authors: Jose Maria Grau, Celino Miquel, Antonio Oller-marcen

Abstract: In this paper we investigate the structure of $\left(\frac{a,b}{\Z{n}}\right)$, the quaternion rings over $\Z{n}$. It is proved that these rings are isomorphic to $\left(\frac{-1,-1}{\Z{n}}\right)$ if $ a \equiv b\equiv -1 \pmod{4}$ or to $\left(\frac{1,1}{\Z{n}}\right)$ otherwise. We also prove that the ring $\left(\frac{a,b}{\Z{n}}\right)$ is isomorphic to $\mathbb{M}_2(\Z{n})$ if and only if… ▽ More In this paper we investigate the structure of $\left(\frac{a,b}{\Z{n}}\right)$, the quaternion rings over $\Z{n}$. It is proved that these rings are isomorphic to $\left(\frac{-1,-1}{\Z{n}}\right)$ if $ a \equiv b\equiv -1 \pmod{4}$ or to $\left(\frac{1,1}{\Z{n}}\right)$ otherwise. We also prove that the ring $\left(\frac{a,b}{\Z{n}}\right)$ is isomorphic to $\mathbb{M}_2(\Z{n})$ if and only if $n$ is odd and that all quaternion algebras defined over $\Z{n}$ are isomorphic if and only if $n \not \equiv 0 \pmod{4}$. △ Less

Submitted 11 February, 2014; v1 submitted 5 February, 2014; originally announced February 2014.

A von Staudt-type formula for $\displaystyle{\sum_{z\in\mathbb{Z}_n[i]} z^k }$

Authors: Pedro Fortuny Ayuso, Jose Maria Grau, Antonio Oller-Marcen

Abstract: In this paper we study the sum of powers in the Gaussian integers $\mathbf{G}_k(n):=\sum_{a,b \in [1,n]} (a+b i)^k$. We give an explicit formula for $\mathbf{G}_k(n) \pmod n $ in terms of the prime numbers $p \equiv 3 \pmod 4$ with $p \mid \mid n$ and $p-1 \mid k$, similar to the well known one due to von Staudt for $\sum_{i=1}^n i^k \pmod n$. We apply this formula to study the set of integers… ▽ More In this paper we study the sum of powers in the Gaussian integers $\mathbf{G}_k(n):=\sum_{a,b \in [1,n]} (a+b i)^k$. We give an explicit formula for $\mathbf{G}_k(n) \pmod n $ in terms of the prime numbers $p \equiv 3 \pmod 4$ with $p \mid \mid n$ and $p-1 \mid k$, similar to the well known one due to von Staudt for $\sum_{i=1}^n i^k \pmod n$. We apply this formula to study the set of integers $n$ which divide $\mathbf{G}_n(n)$ and compute its asymptotic density with six exact digits: $0.971000\ldots$. △ Less

Submitted 4 February, 2014; v1 submitted 3 February, 2014; originally announced February 2014.

Fermat test with gaussian base and Gaussian pseudoprimes

Authors: Jose M. Grau, Manuel Rodríguez, A. Oller-Marcen, Daniel Sadornil

Abstract: The structure of the group $(\mathbb{Z}/n\mathbb{Z})^\star$ and Fermat's little theorem are the basis for some of best-known primality testing algorithms. Many related concepts arise: Euler's totient function and Carmichael's lambda function, Fermat pseudoprimes, Carmichael and cyclic numbers, Lehmer's totient problem, Giuga's conjecture, etc. In this paper, we present and study analogues to some… ▽ More The structure of the group $(\mathbb{Z}/n\mathbb{Z})^\star$ and Fermat's little theorem are the basis for some of best-known primality testing algorithms. Many related concepts arise: Euler's totient function and Carmichael's lambda function, Fermat pseudoprimes, Carmichael and cyclic numbers, Lehmer's totient problem, Giuga's conjecture, etc. In this paper, we present and study analogues to some of the previous concepts arising when we consider the underlying group $\mathcal{G}_n:=\{a+bi\in\mathbb{Z}[i]/n\mathbb{Z}[i] : a^2+b^2\equiv 1\ \textrm{$\pmod n$}\}$. In particular we characterize Gaussian Carmichael numbers via a Korselt's criterion and we present their relation with Gaussian cyclic numbers. Finally, we present the relation between Gaussian Carmichael number and 1-Williams numbers for numbers $n \equiv 3 \pmod{4}$. There are also no known composite numbers less than $10^{18}$ in this family that are both pseudoprime to base $1+2i$ and 2-pseudoprime. △ Less

Submitted 19 January, 2014; originally announced January 2014.

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.

Mimetic discretization of the Abelian Chern-Simons theory and link invariants

Authors: Cayetano Di Bartolo, Javier Grau, Lorenzo Leal

Abstract: A mimetic discretization of the Abelian Chern-Simons theory is presented. The study relies on the formulation of a theory of differential forms in the lattice, including a consistent definition of the Hodge duality operation. Explicit expressions for the Gauss Linking Number in the lattice, which correspond to their continuum counterparts are given. A discussion of the discretization of metric str… ▽ More A mimetic discretization of the Abelian Chern-Simons theory is presented. The study relies on the formulation of a theory of differential forms in the lattice, including a consistent definition of the Hodge duality operation. Explicit expressions for the Gauss Linking Number in the lattice, which correspond to their continuum counterparts are given. A discussion of the discretization of metric structures in the space of transverse vector densities is presented. The study of these metrics could serve to obtain explicit formulae for knot an link invariants in the lattice. △ Less

Submitted 17 October, 2012; originally announced October 2012.

Comments: 18 pages

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

Corrigendum to "Cullen numbers with the Lehmer Property"

Authors: José María Grau, Florian Luca

Abstract: In this note, we correct an oversight from the paper mentioned in the title. In this note, we correct an oversight from the paper mentioned in the title. △ Less

Submitted 14 December, 2011; originally announced December 2011.

Cullen Numbers with the Lehmer Property

Authors: Jose Maria Grau, Florian Luca

Abstract: Here, we show that there is no positive integer $n$ such that the $n$th Cullen number $C_n=n2^n+1$ has the property that it is composite but $φ(C_n)\mid C_n-1$. Here, we show that there is no positive integer $n$ such that the $n$th Cullen number $C_n=n2^n+1$ has the property that it is composite but $φ(C_n)\mid C_n-1$. △ Less

Submitted 18 March, 2011; originally announced March 2011.

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

Accelerated Option Pricing in Multiple Scenarios

Authors: Stefan Dirnstorfer, Andreas J. Grau

Abstract: This paper covers a massive acceleration of Monte-Carlo based pricing method for financial products and financial derivatives. The method is applicable in risk management settings, where a financial product has to be priced under a number of potential future scenarios. Instead of starting a separate nested Monte Carlo simulation for each scenario under consideration, the new method covers the ut… ▽ More This paper covers a massive acceleration of Monte-Carlo based pricing method for financial products and financial derivatives. The method is applicable in risk management settings, where a financial product has to be priced under a number of potential future scenarios. Instead of starting a separate nested Monte Carlo simulation for each scenario under consideration, the new method covers the utilization of very few representative nested simulations and estimating the product prices at each scenario by a smoothing method based on the state-space. This smoothing technique can be e.g. non-parametric regression or kernel smoothing. △ Less

Submitted 30 September, 2008; v1 submitted 31 July, 2008; originally announced July 2008.

Comments: 17 pages: Page 17, References corrected