-
The harmonic h-index: an impromevement of the Hirsch h-index and the Egghe g-index
Authors:
Romeo Mestrovic
Abstract:
In order to characterize the scientific output of scientists, in this paper we define the harmonic har-index whose values are positive integers. It is proved that $h \leq har \leq g$, where h is the Hirsch index and g is the Egghe index. Despite the fact that the har-index is defined in a completely different way (including sum of reciprocals of citations of a researcher), based on our computatioa…
▽ More
In order to characterize the scientific output of scientists, in this paper we define the harmonic har-index whose values are positive integers. It is proved that $h \leq har \leq g$, where h is the Hirsch index and g is the Egghe index. Despite the fact that the har-index is defined in a completely different way (including sum of reciprocals of citations of a researcher), based on our computatioanl results, we get the surprising fact that this index is highly correlated with the hg-index ($hg=\sqrt{hg}$ ) introduced by Alonso et al. (2010). Accordingly, we believe that the har-index keep the advantages of both measures as well as to minimize their disadvantages. In addition, it is much easier to calculate the values of har-index than those of g-index and hg-index.
△ Less
Submitted 22 August, 2023;
originally announced August 2023.
-
How to estimate the total number of citations of a researcher using his h index and his h core?
Authors:
Romeo Mestrovic,
Branislav Dragovic
Abstract:
So far, many researchers have investigated the following question: Given total number of citations, what is the estimated range of the h index? Here we consider the converse question. Namely, the aim of this paper is to estimate the total number of citations of a researcher using only his h index, his h core and perhaps a relatively small number of his citations from the tail. For these purposes,…
▽ More
So far, many researchers have investigated the following question: Given total number of citations, what is the estimated range of the h index? Here we consider the converse question. Namely, the aim of this paper is to estimate the total number of citations of a researcher using only his h index, his h core and perhaps a relatively small number of his citations from the tail. For these purposes, we use the asymptotic formula for the mode size of the Durfee square when n tends to infinity, which was proved by Canfield, Corteel and Savage (1998), seven years before Hirsch (2005) defined the h index. This formula confirms the asymptotic normality of the Hirsch citation h index. Using this asymptotic formula, in Section 4 we propose five? estimates of a total number of citations of a researcher using his h index and his h core. These estimates are refined mainly using small additional citations from the h tail of a researcher. Related numerous computational results are given in Section 5. Notice that the relative errors delta(B) of the estimate B of a total number of citations of a researcher are surprisingly close to zero for E. Garfield, H.D. White (Table 2), G. Andrews, L. Leydesdorf and C.D. Savage (Table 5).
△ Less
Submitted 22 July, 2023;
originally announced July 2023.
-
Closed maximal ideals ideals in some Fréchet algebras of holomorphic functions
Authors:
Romeo Meštrović
Abstract:
The space $F^p$ ($1<p<\infty$) consists of all holomorphic functions $f$ on the open unit disk $\Bbb D$ such that $ \lim_{r\to 1}(1-r)^{1/q}\log^+M_{\infty}(r,f)=0,$ where $M_{\infty}(r,f)=\max_{\vert z\vert\le r}\vert f(z)\vert$ with $0<r<1$. Stoll [5, Theorem 3.2] proved that the space $F^p$ with the topology given by the family of seminorms $\left\{\Vert \cdot\Vert_{q,c}\right\}_{c>0}$ defined…
▽ More
The space $F^p$ ($1<p<\infty$) consists of all holomorphic functions $f$ on the open unit disk $\Bbb D$ such that $ \lim_{r\to 1}(1-r)^{1/q}\log^+M_{\infty}(r,f)=0,$ where $M_{\infty}(r,f)=\max_{\vert z\vert\le r}\vert f(z)\vert$ with $0<r<1$. Stoll [5, Theorem 3.2] proved that the space $F^p$ with the topology given by the family of seminorms $\left\{\Vert \cdot\Vert_{q,c}\right\}_{c>0}$ defined for $f\in F^q$ as $\Vert f\Vert_{q,c}:=\sum_{n=0}^{\infty}\vert a_n\vert\exp\left(-cn^{1/(q+1)} \right)<\infty$, becomes a countably normed Fréchet algebra. It is known that for every $p>1$, $F^p$ is the Fréchet envelope of the Privalov space $N^p$. In this paper, we extend our study of [32] on the structure of maximal ideals in the algebras $F^p$ ($1<p<\infty$). Namely, the obtained characterization of closed maximal ideals in $F^p$ from [32] is extended here in terms of topology of uniform convergence on compact subsets of $\Bbb D$.
△ Less
Submitted 26 March, 2019;
originally announced April 2019.
-
A characterization of some prime ideals in certain $F$-algebras of holomorphic functions
Authors:
Romeo Meštrović
Abstract:
The class $M^p$ $(1<p<\infty)$ consists of all holomorphic functions $f$ on the open unit disk $\Bbb D$ for which $$ \int_0^{2π}\left(\log^+Mf(θ)\right)^p\,\frac{dθ}{2π}<\infty, $$ where $Mf(θ)=\sup_{0\leqslant r<1}\big\lvert f\big(re^{iθ}\big)\big \rvert$. The class $M^p$ equipped with the topology given by the metric $ρ_p$ defined by…
▽ More
The class $M^p$ $(1<p<\infty)$ consists of all holomorphic functions $f$ on the open unit disk $\Bbb D$ for which $$ \int_0^{2π}\left(\log^+Mf(θ)\right)^p\,\frac{dθ}{2π}<\infty, $$ where $Mf(θ)=\sup_{0\leqslant r<1}\big\lvert f\big(re^{iθ}\big)\big \rvert$. The class $M^p$ equipped with the topology given by the metric $ρ_p$ defined by $$ ρ_p(f,g)=\left(\int_0^{2π}\log^p(1+M(f-g)(θ))\, \frac{dθ}{2π}\right)^{1/p}\quad (f,g\in M^p) $$ becomes an $F$-algebra. In this paper, we consider the ideal structure of the classes $M^p$ $(1<p<\infty)$. Our main result gives a complete characterization of prime ideals in $M^p$ which are not dense subsets of $M^p$. As a consequence, we obtaiin a related Mochizuki's result concerning the Privalov classes $N^p$ $(1<p<\infty)$.
△ Less
Submitted 21 February, 2019;
originally announced February 2019.
-
Goldbach's like conjectures arising from arithmetic progressions whose first two terms are primes
Authors:
Romeo Meštrović
Abstract:
For two odd primes $p$ and $q$ such that $p<q$, let $A(p,q):=(a_k)_{k=1}^{\infty}$ be the arithmetic progression whose $k$th term is given by $a_k=(k-1)(q-p)+p$ (i.e., with $a_1=p$ and $a_2=q$). Here we conjecture that for every positive integer $a>1$ there exist a positive integer $n$ and two odd primes $p$ and $q$ such that $a$ can be expressed as a sum of the first $2n$ terms of the arithmetic…
▽ More
For two odd primes $p$ and $q$ such that $p<q$, let $A(p,q):=(a_k)_{k=1}^{\infty}$ be the arithmetic progression whose $k$th term is given by $a_k=(k-1)(q-p)+p$ (i.e., with $a_1=p$ and $a_2=q$). Here we conjecture that for every positive integer $a>1$ there exist a positive integer $n$ and two odd primes $p$ and $q$ such that $a$ can be expressed as a sum of the first $2n$ terms of the arithmetic progression $A(p,q)$. Notice that in the case of even $a$, this conjecture immediately follows from Goldbach's conjecture. We also propose the analogous conjecture for odd positive integers $a>1$ as well as some related Goldbach's like conjectures arising from the previously mentioned arithmetic progressions.
△ Less
Submitted 20 January, 2019;
originally announced January 2019.
-
A characterization of maximal ideals in the Fréchet algebras of holomorphic functions $F^p$ $(1<p<\infty$
Authors:
Romeo Meštrović
Abstract:
The space $F^p$ ($1<p<\infty$) consists of all holomorphic functions $f$ on the open unit disk $\Bbb D$ for which $\lim_{r\to 1}(1-r)^{1/q}\log^+M_{\infty}(r,f)=0,$ where $M_{\infty}(r,f)=\max_{\vert z\vert\le r}\vert f(z)\vert$ with $0<r<1$. Stoll [5, Theorem 3.2] proved that the space $F^p$ with the topology given by the family of seminorms $\left\{\Vert \cdot\Vert_{q,c}\right\}_{c>0}$ defined f…
▽ More
The space $F^p$ ($1<p<\infty$) consists of all holomorphic functions $f$ on the open unit disk $\Bbb D$ for which $\lim_{r\to 1}(1-r)^{1/q}\log^+M_{\infty}(r,f)=0,$ where $M_{\infty}(r,f)=\max_{\vert z\vert\le r}\vert f(z)\vert$ with $0<r<1$. Stoll [5, Theorem 3.2] proved that the space $F^p$ with the topology given by the family of seminorms $\left\{\Vert \cdot\Vert_{q,c}\right\}_{c>0}$ defined for $f\in F^q$ as $\Vert f\Vert_{q,c}:=\sum_{n=0}^{\infty}\vert a_n\vert\exp\left(-cn^{1/(q+1)} \right)<\infty,$ is a countably normed Fréchet algebra. Notice that for each $p>1$, $F^p$ is the Fréchet envelope of the Privalov space $N^p$. In this paper we study the structure of maximal ideals in the algebras $F^p$ ($1<p<\infty$). In particular, we give a complete characterization of closed maximal ideals in $F^p$. Moreover, we characterize multiplicative linear functionals on $F^p$.
△ Less
Submitted 24 December, 2018;
originally announced December 2018.
-
On some metric topologies on Privalov spaces on the unit disk
Authors:
Romeo Meštrović,
Žarko Pavićević
Abstract:
Let $N^p$ $(1<p<\infty)$ be the Privalov class $N^p$ of holomorphic functions on the open unit disk $\Bbb D$ in the complex plane. In 1977 M. Stoll proved that the class $N^p$ equipped with the topology given by the metric $λ_p$ defined by $$λ_p(f,g) = \Bigg(\int_0^{2π}\big(\log(1+ \vert f^*(e^{iθ})-g^*(e^{iθ})\vert)\big)^p\,\frac{dθ} {2π}\Bigg)^{1/p},\quad f,g\in N^p,$$ becomes an $F$-algebra. In…
▽ More
Let $N^p$ $(1<p<\infty)$ be the Privalov class $N^p$ of holomorphic functions on the open unit disk $\Bbb D$ in the complex plane. In 1977 M. Stoll proved that the class $N^p$ equipped with the topology given by the metric $λ_p$ defined by $$λ_p(f,g) = \Bigg(\int_0^{2π}\big(\log(1+ \vert f^*(e^{iθ})-g^*(e^{iθ})\vert)\big)^p\,\frac{dθ} {2π}\Bigg)^{1/p},\quad f,g\in N^p,$$ becomes an $F$-algebra. In the recent overview paper by Meštrović and Pavićević (2017) a survey of some known results on the topological structures of the Privalov spaces $N^p$ $(1<p<\infty)$ and their Fréchet envelopes $F^p$ are presented. In this article we continue a survey of results concerning the topological structures of the spaces $N^p$ $(1(p<\infty)$. In particular, for each $p>1$, we consider the class $N^p$ as the space $M^p$ equipped with the topology induced by the metric $ρ_p$ defined as $$ ρ_p(f,g) = \Bigg(\int_0^{2π}\log^p(1+M(f-g)(θ))\, \frac{dθ}{2π}\Bigg)^{1/p},\quad f,g\in M^p,\,\, {\mathrm where}\,\, Mf(θ) = \sup_{0\leqslant r<1} \big\vert f \big(re^{iθ})\big\vert.$$ On the other hand, we consider the class $N^p$ with the metric topology introduced by Meštrović, Pavićević and Labudović (1999) which generalizes the Gamelin-Lumer's metric which is generally defined on a measure space $(Ω, Σ, μ)$ with a positive finite measure $μ$. The space $N^p$ with the associated modular in the sense of Musielak and Orlicz becomes the Hardy-Orlicz class. It is noticed that the all considered metrics induce the same topology on the space $N^p$.
△ Less
Submitted 21 November, 2018;
originally announced November 2018.
-
Several generalizations and variations of Chu-Vandermonde identity
Authors:
Romeo Meštrović
Abstract:
In this paper we prove some combinatorial identities which can be considered as generalizations and variations of remarkable Chu-Vandermonde identity. These identities are proved by using an elementary combinatorial-probabilistic approach to the expressions for the $k$-th moments ($k=1,2,3$) of some particular cases of recently investigated discrete random variables. Using one of these Chu-Vanderm…
▽ More
In this paper we prove some combinatorial identities which can be considered as generalizations and variations of remarkable Chu-Vandermonde identity. These identities are proved by using an elementary combinatorial-probabilistic approach to the expressions for the $k$-th moments ($k=1,2,3$) of some particular cases of recently investigated discrete random variables. Using one of these Chu-Vandermonde-type identities, two combinatorial congruences are established.
△ Less
Submitted 23 July, 2018;
originally announced July 2018.
-
On the distribution of primes in the alternating sums of concecutive primes
Authors:
Romeo Meštrović
Abstract:
Quite recently, in [8] the authoor of this paper considered the distribution of primes in the sequence $(S_n)$ whose $n$th term is defined as $S_n=\sum_{k=1}^{2n}p_k$, where $p_k$ is the $k$th prime. Some heuristic arguments and the numerical evidence lead to the conjecture that the primes are distributed among sequence $(S_n)$ in the same way that they are distributed among positive integers. Mor…
▽ More
Quite recently, in [8] the authoor of this paper considered the distribution of primes in the sequence $(S_n)$ whose $n$th term is defined as $S_n=\sum_{k=1}^{2n}p_k$, where $p_k$ is the $k$th prime. Some heuristic arguments and the numerical evidence lead to the conjecture that the primes are distributed among sequence $(S_n)$ in the same way that they are distributed among positive integers. More precisely, Conjecture 3.3 in [8] asserts that $π_n\sim \frac{n}{\log n}$ as $n\to \infty$, where $π_n$ denotes the number of primes in the set $\{S_1,S_2,\ldots, S_n\}$. Motivated by this, here we consider the distribution of primes in aletrnating sums of first $2n$ primes, i.e., in the sequences $(A_n)$ and $(T_n)$ defined by $A_n:=\sum_{i=1}^{2n}(-1)^ip_i$ and $T_n:=A_n-2=\sum_{i=2}^{2n}(-1)^ip_i$ ($n=1,2,\ldots$).
Heuristic arguments and computational results suggest the conjecture that (Conjecture 2.5)
$$ π_{(A_k)}(A_n)\sim π_{(T_k)}(T_n)\sim \frac{2n}{\log n} \quad {\rm as}\,\, n\to \infty,
$$ where $π_{(A_k)}(A_n)$ (respectively, $π_{(T_k)}(T_n)$) denotes the number of primes in the set $\{A_1,A_2,\ldots, A_n\}$(respectively, $\{T_1,T_2,\ldots, T_n\}$). Under Conjecture 2.5 and Pillai's conjecture, we establish two results concerning the expressions for the $k$th prime in the sequences $(A_n)$ and $(T_n)$. Furthermore, we propose some other related conjectures and we deduce some their consequences.
△ Less
Submitted 26 May, 2018;
originally announced May 2018.
-
Curious conjectures on the distribution of primes among the sums of the first $2n$ primes
Authors:
Romeo Meštrović
Abstract:
Let $p_n$ be $n$th prime, and let $(S_n)_{n=1}^\infty:=(S_n)$ be the sequence of the sums of the first $2n$ consecutive primes, that is, $S_n=\sum_{k=1}^{2n}p_k$ with $n=1,2,\ldots$. Heuristic arguments supported by the corresponding computational results suggest that the primes are distributed among sequence $(S_n)$ in the same way that they are distributed among positive integers. In other words…
▽ More
Let $p_n$ be $n$th prime, and let $(S_n)_{n=1}^\infty:=(S_n)$ be the sequence of the sums of the first $2n$ consecutive primes, that is, $S_n=\sum_{k=1}^{2n}p_k$ with $n=1,2,\ldots$. Heuristic arguments supported by the corresponding computational results suggest that the primes are distributed among sequence $(S_n)$ in the same way that they are distributed among positive integers. In other words, taking into account the Prime Number Theorem, this assertion is equivalent to
\begin{equation*}\begin{split} &\# \{p:\, p\,\,{\rm is\,\,a\,\, prime\,\, and}\,\, p=S_k \,\,{\rm for\,\,some\,\,} k \,\,{\rm with\,\,} 1\le k\le n\} \sim & \# \{p:\, p\,\,{\rm is\,\,a\,\, prime\,\, and}\,\, p=k \,\,{\rm for\,\,some\,\,} k \,\,{\rm with\,\,} 1\le k\le n\}\sim\frac{\log n}{n}\,\, {\rm as}\,\, n\to\infty,
\end{split}\end{equation*} where $|S|$ denotes the cardinality of a set $S$. Under the assumption that this assertion is true (Conjecture 3.3), we say that $(S_n)$ satisfies the Restricted Prime Number Theorem. Motivated by this, in Sections 1 and 2 we give some definitions, results and examples concerning the generalization of the prime counting function $π(x)$ to increasing positive integer sequences.
The remainder of the paper (Sections 3-7) is devoted to the study of mentioned sequence $(S_n)$. Namely, we propose several conjectures and we prove their consequences concerning the distribution of primes in the sequence $(S_n)$. These conjectures are mainly motivated by the Prime Number Theorem, some heuristic arguments and related computational results. Several consequences of these conjectures are also established.
△ Less
Submitted 6 April, 2018;
originally announced April 2018.
-
Ideals in some Rings of Nevanlinna-Smirnov Type
Authors:
Romeo Meštrović
Abstract:
Let $N^p$ $(1<p<\infty)$ denote the algebra of holomorphic functions in the open unit disk, introduced by I.~I.~Privalov with the notation $A_q$ in [8]. Since $N^p$ becomes a ring of Nevanlinna--Smirnov type in the sense of Mortini [7], the results from [7] can be applied to the ideal structure of the ring $N^p$. In particular, we observe that $N^p$ has the Corona Property. Finally, we prove the…
▽ More
Let $N^p$ $(1<p<\infty)$ denote the algebra of holomorphic functions in the open unit disk, introduced by I.~I.~Privalov with the notation $A_q$ in [8]. Since $N^p$ becomes a ring of Nevanlinna--Smirnov type in the sense of Mortini [7], the results from [7] can be applied to the ideal structure of the ring $N^p$. In particular, we observe that $N^p$ has the Corona Property. Finally, we prove the $N^p$-analogue of the Theorem 6 in [7], which gives sufficient conditions for an ideal in $N^p$, generated by a finite number of inner functions, to be equal to the whole algebra $N^p$.
△ Less
Submitted 9 April, 2018;
originally announced April 2018.
-
Remarks on Generalized Hardy Algebras
Authors:
Romeo Meštrović,
Žarko Pavićević,
Novo Labudović
Abstract:
For a measure space $(Ω, Σ, μ)$ with a positive finite measure $μ$, and a positive real number $p$, we define the space $L_p^{+}(μ)=L_p^{+}$ of all (equivalence classes of) $Σ$-measurable complex functions $f$ defined on $Ω$ such that the function $\left(\log^+|f|\right)^p$ is integrable with respect to $μ$.We define the metric $d_p$ on $L^{+}_p$ which generalizes the metric introduced by Gamelin…
▽ More
For a measure space $(Ω, Σ, μ)$ with a positive finite measure $μ$, and a positive real number $p$, we define the space $L_p^{+}(μ)=L_p^{+}$ of all (equivalence classes of) $Σ$-measurable complex functions $f$ defined on $Ω$ such that the function $\left(\log^+|f|\right)^p$ is integrable with respect to $μ$.We define the metric $d_p$ on $L^{+}_p$ which generalizes the metric introduced by Gamelin and Lumer in [G] for the case $p=1$. It is shown that the space $L^{+}_p$ is a topological algebra. On the other hand, one can define on the space $L_p^{+}$ an equivalent $F$-norm $| \cdot|_p$ that makes $L_p^{+}$ into an Orlicz space. For the case of the normalized Lebesgue's measure $dt/2π$ on $[0,2π)$, it follows that the class $N^p(1<p<\infty)$ introduced by I. I. Privalov in [P], may be considered as a generalization of the Smirnov class $N^+$. Furthermore, $N^p(1<p<\infty)$ with the associated modular becomes an Hardy-Orlicz class. Finally, for a strictly positive and measurable on $[0,2π)$ function $w$, we define the generalized Orlicz space $L_p^{w}(\mathrm{d}t/2π)=L^w_p$ with the modular $ρ^w_p$ given by the function $ψ_w(t,u)=\big(\log(1+uw(t))\big)^p$, with a "weight" $w$. We observe that the space $L^w_p$ is a generalized Orlicz space with respect to the modular $ρ^w_p$. We examine and compare different topologies induced on $L^w_p$ by corresponding "weights" $w$.
△ Less
Submitted 4 April, 2018;
originally announced April 2018.
-
Different classes of binary necklaces and a combinatorial method for their enumerations
Authors:
Romeo Meštrović
Abstract:
In this paper we investigate enumeration of some classes of $n$-character strings and binary necklaces. Recall that binary necklaces are necklaces in two colors with length $n$. We prove three results (Theorems 1, 1' and 2) concerning the numbers of three classes of $j$-character strings (closely related to some classes of binary necklaces or Lyndon words). Using these results, we deduce Moreau's…
▽ More
In this paper we investigate enumeration of some classes of $n$-character strings and binary necklaces. Recall that binary necklaces are necklaces in two colors with length $n$. We prove three results (Theorems 1, 1' and 2) concerning the numbers of three classes of $j$-character strings (closely related to some classes of binary necklaces or Lyndon words). Using these results, we deduce Moreau's necklace-counting function for binary aperiodic necklaces of length $k$ \cite{mo} (Theorem 3), and we prove the binary case of MacMahon's formula from 1892 \cite{ma} (also called Witt's formula) for the number of necklaces (Theorem 4). Notice that we give proofs of Theorems 3 and 4 without use of Burnside's lemma and Pólya enumeration theorem. Namely, the methods used in our proofs of auxiliary and main results presented in Sections 3 and 4 are combinatorial in spirit and they are based on counting method and some facts from elementary number theory.
△ Less
Submitted 31 March, 2018;
originally announced April 2018.
-
Two curious inequalities involving different means of two arguments
Authors:
Romeo Meštrović,
Miomir Andjić
Abstract:
For two positive real numbers $x$ and $y$ let $H$, $G$, $A$ and $Q$ be the harmonic mean, the geometric mean, the arithmetic mean and the quadratic mean of $x$ and $y$, respectively. In this note, we prove that \begin{equation*} A\cdot G\ge Q\cdot H, \end{equation*} and that for each integer $n$ \begin{equation*} A^n+G^n\le Q^n+H^n.\end{equation*} We also discuss and compare the first and the seco…
▽ More
For two positive real numbers $x$ and $y$ let $H$, $G$, $A$ and $Q$ be the harmonic mean, the geometric mean, the arithmetic mean and the quadratic mean of $x$ and $y$, respectively. In this note, we prove that \begin{equation*} A\cdot G\ge Q\cdot H, \end{equation*} and that for each integer $n$ \begin{equation*} A^n+G^n\le Q^n+H^n.\end{equation*} We also discuss and compare the first and the second above inequality for $n=1$ with some known inequalities involving the mentioned classical means, the Seiffert mean $P$, the logarithmic mean $L$ and the identric mean $I$ of two positive real numbers $x$ and $y$.
△ Less
Submitted 29 March, 2018;
originally announced April 2018.
-
On some random variables involving Bernoulli random variable
Authors:
Romeo Meštrović
Abstract:
Motivated by the recent investigations given in [25] and the fact that Bernoulli probability-type models were often used in the study on some problems in theory of compressive sensing, here we define and study the complex-valued discrete random variables $\widetilde{X}_l(m,N)$ ($0\le l\le N-1$, $1\le m\le N$). Each of these random variables is defined as a linear combination of $N$ independent ide…
▽ More
Motivated by the recent investigations given in [25] and the fact that Bernoulli probability-type models were often used in the study on some problems in theory of compressive sensing, here we define and study the complex-valued discrete random variables $\widetilde{X}_l(m,N)$ ($0\le l\le N-1$, $1\le m\le N$). Each of these random variables is defined as a linear combination of $N$ independent identically distributed $0-1$ Bernoulli random variables. We prove that for $l\not=0$, $\widetilde{X}_l(m,N)$ is the zero-mean random variable, and we also determine the variance of $\widetilde{X}_l(m,N)$ and its real and imaginary parts. Notice that $\widetilde{X}_l(m,N)$ belongs to the class of sub-Gaussian random variables that are significant in some areas of theory of compressive sensing. In particular, we prove some probability estimates for the mentioned random variables. These estimates are used to establish the upper bounds of the sub-Gaussian norm of their real and imaginary parts. We believe that our results should be implemented in certain applications of sub-Gaussian random variables for solving some problems in compressive sensing of sparse signals.
△ Less
Submitted 14 March, 2018;
originally announced March 2018.
-
A note on some sub-Gaussian random variables
Authors:
Romeo Meštrović
Abstract:
In [8] the author of this paper continued the research on the complex-valued discrete random variables $X_l(m,N)$ ($0\le l\le N-1$, $1\le M\le N)$ recently introduced and studied in [24]. Here we extend our results by considering $X_l(m,N)$ as sub-Gaussian random variables. Our investigation is motivated by the known fact thatthe so-called Restricted Isometry Property (RIP) introduced in [4] holds…
▽ More
In [8] the author of this paper continued the research on the complex-valued discrete random variables $X_l(m,N)$ ($0\le l\le N-1$, $1\le M\le N)$ recently introduced and studied in [24]. Here we extend our results by considering $X_l(m,N)$ as sub-Gaussian random variables. Our investigation is motivated by the known fact thatthe so-called Restricted Isometry Property (RIP) introduced in [4] holds with high probability for any matrix generated by a sub-Gaussian random variable. Notice that sensing matrices with the RIP play a crucial role in Theory of compressive sensing.
Our main results concern the proofs of the lower and upper bound estimates of the expected values of the random variables $|X_l(m,N)|$, $|U_l(m,N)|$ and $|V_l(m,N)|$, where $U_l(m,N)$ and $U_l(m,N)$ are the real and the imaginary part of $X_l(m,N)$, respectively. These estimates are also given in terms of related sub-Gaussian norm $\Vert \cdot\Vert_{ψ_2}$ considered in [28]. Moreover, we prove a refinement of the mentioned upper bound estimates for the real and the imaginary part of $X_l(m,N)$.
△ Less
Submitted 7 March, 2018;
originally announced March 2018.
-
On some discrete random variables arising from recent study on statistical analysis of compressive sensing
Authors:
Romeo Meštrović
Abstract:
The recent paper [27] provides a statistical analysis for efficient detection of signal components when missing data samples are present. Here we focus our attention to some complex-valued discrete random variables $X_l(m,N)$ ($0\le l\le N-1$, $1\le M\le N$), which are closely related to the random variables investigated by LJ. Stanković, S. Stanković and M. Amin in \cite{ssa}. In particular, by u…
▽ More
The recent paper [27] provides a statistical analysis for efficient detection of signal components when missing data samples are present. Here we focus our attention to some complex-valued discrete random variables $X_l(m,N)$ ($0\le l\le N-1$, $1\le M\le N$), which are closely related to the random variables investigated by LJ. Stanković, S. Stanković and M. Amin in \cite{ssa}. In particular, by using a combinatorial approach, we prove that for $l\not=0$ the expected value of $X_l(m,N)$ is equal to zero, and we deduce the expression for the variance of the random variables $X_l(m,N)$. The same results are also deduced for the real part $U_l(m,N)$ and the imaginary part $V_l(m,N)$ of $X_l(m,N)$, as well as the facts that the $k$th moments of $U_l(m,N)$ and $V_l(m,N)$ are equal to zero for every positive integer $k$ which is not divisible by $N/\gcd(N,l)$. Moreover, some additional assertions and examples concerning the random variables $X_l(m,N)$, $U_l(m,N)$ and $V_l(m,N)$ are also presented.
△ Less
Submitted 2 March, 2018;
originally announced March 2018.
-
Lucas' theorem: its generalizations, extensions and applications (1878--2014)
Authors:
Romeo Meštrović
Abstract:
In 1878 É. Lucas proved a remarkable result which provides a simple way to compute the binomial coefficient ${n\choose m}$ modulo a prime $p$ in terms of the binomial coefficients of the base-$p$ digits of $n$ and $m$: {\it If $p$ is a prime, $n=n_0+n_1p+\cdots +n_sp^s$ and $m=m_0+m_1p+\cdots +m_sp^s$ are the $p$-adic expansions of nonnegative integers $n$ and $m$, then
\begin{equation*} {n\choo…
▽ More
In 1878 É. Lucas proved a remarkable result which provides a simple way to compute the binomial coefficient ${n\choose m}$ modulo a prime $p$ in terms of the binomial coefficients of the base-$p$ digits of $n$ and $m$: {\it If $p$ is a prime, $n=n_0+n_1p+\cdots +n_sp^s$ and $m=m_0+m_1p+\cdots +m_sp^s$ are the $p$-adic expansions of nonnegative integers $n$ and $m$, then
\begin{equation*} {n\choose m}\equiv \prod_{i=0}^{s}{n_i\choose m_i}\pmod{p}.
\end{equation*}}
The above congruence, the so-called {\it Lucas' theorem} (or {\it Theorem of Lucas}), plays an important role in Number Theory and Combinatorics. In this article, consisting of six sections, we provide a historical survey of Lucas type congruences, generalizations of Lucas' theorem modulo prime powers, Lucas like theorems for some generalized binomial coefficients, and some their applications.
In Section 1 we present the fundamental congruences modulo a prime including the famous Lucas' theorem. In Section 2 we mention several known proofs and some consequences of Lucas' theorem. In Section 3 we present a number of extensions and variations of Lucas' theorem modulo prime powers. In Section 4 we consider the notions of the Lucas property and the double Lucas property, where we also present numerous integer sequences satisfying one of these properties or a certain Lucas type congruence. In Section 5 we collect several known Lucas type congruences for some generalized binomial coefficients. In particular, this concerns the Fibonomial coefficients, the Lucas $u$-nomial coefficients, the Gaussian $q$-nomial coefficients and their generalizations. Finally, some applications of Lucas' theorem in Number Theory and Combinatorics are given in Section 6.
△ Less
Submitted 6 September, 2014;
originally announced September 2014.
-
A primality criterion based on a Lucas' congruence
Authors:
Romeo Mestrovic
Abstract:
Let $p$ be a prime. In 1878 É. Lucas proved that the congruence $$ {p-1\choose k}\equiv (-1)^k\pmod{p}$$ holds for any nonnegative integer $k\in\{0,1,\ldots,p-1\}$. The converse statement was given in Problem 1494 of {\it Mathematics Magazine} proposed in 1997 by E. Deutsch and I.M. Gessel. In this note we generalize this converse assertion by the following result: If $n>1$ and $q>1$ are integers…
▽ More
Let $p$ be a prime. In 1878 É. Lucas proved that the congruence $$ {p-1\choose k}\equiv (-1)^k\pmod{p}$$ holds for any nonnegative integer $k\in\{0,1,\ldots,p-1\}$. The converse statement was given in Problem 1494 of {\it Mathematics Magazine} proposed in 1997 by E. Deutsch and I.M. Gessel. In this note we generalize this converse assertion by the following result: If $n>1$ and $q>1$ are integers such that $$ {n-1\choose k}\equiv (-1)^k \pmod{q}$$ for every integer $k\in\{0,1,\ldots, n-1\}$, then $q$ is a prime and $n$ is a power of $q$.
△ Less
Submitted 29 July, 2014;
originally announced July 2014.
-
Variations of Kurepa's left factorial hypothesis
Authors:
Romeo Meštrović
Abstract:
Kurepa's hypothesis asserts that for each integer $n\ge 2$ the greatest common divisor of $!n:=\sum_{k=0}^{n-1}k!$ and $n!$ is $2$. Motivated by an equivalent formulation of this hypothesis involving derangement numbers, here we give a formulation of Kurepa's hypothesis in terms of divisibility of any Kurepa's determinant $K_p$ of order $p-4$
by a prime $p\ge 7$. In the previous version of this…
▽ More
Kurepa's hypothesis asserts that for each integer $n\ge 2$ the greatest common divisor of $!n:=\sum_{k=0}^{n-1}k!$ and $n!$ is $2$. Motivated by an equivalent formulation of this hypothesis involving derangement numbers, here we give a formulation of Kurepa's hypothesis in terms of divisibility of any Kurepa's determinant $K_p$ of order $p-4$
by a prime $p\ge 7$. In the previous version of this article we have proposed the strong Kurepa's hypothesis involving a general Kurepa's determinant $K_n$ with any integer $n\ge 7$. We prove the ``even part'' of this hypothesis which can be considered as a generalization of Kurepa's hypothesis. However, by using a congruence for $K_n$ involving the derangement number $S_{n-1}$ with an odd integer $n\ge 9$, we find that the integer $11563=31\times 373$ is a counterexample to the ``odd composite part'' of strong Kurepa's hypothesis.
We also present some remarks, divisibility properties and computational results closely related to the questions on Kurepa's hypothesis involving derangement numbers and Bell numbers.
△ Less
Submitted 6 January, 2014; v1 submitted 25 December, 2013;
originally announced December 2013.
-
Generalizations of Carmichael numbers I
Authors:
Romeo Meštrović
Abstract:
A composite positive integer $n$ is said to be a {\it weak Carmichael number} if
$$
\sum_{\gcd(k,n)=1\atop 1\le k\le n-1}k^{n-1}\equiv \varphi(n) \pmod{n}. \leqno(1)
$$ It is proved that a composite positive integer $n$ is a weak Carmichael number if and only if $p-1\mid n-1$ for every prime divisor $p$ of $n$. This together with Korselt's criterion yields the fact that every Carmichael numb…
▽ More
A composite positive integer $n$ is said to be a {\it weak Carmichael number} if
$$
\sum_{\gcd(k,n)=1\atop 1\le k\le n-1}k^{n-1}\equiv \varphi(n) \pmod{n}. \leqno(1)
$$ It is proved that a composite positive integer $n$ is a weak Carmichael number if and only if $p-1\mid n-1$ for every prime divisor $p$ of $n$. This together with Korselt's criterion yields the fact that every Carmichael number is also a weak Carmichael number.
In this paper we mainly investigate arithmetic properties of weak Carmichael numbers. Motivated by the investigations of Carmichael numbers in the last hundred years, here we establish several related results, notions, examples and computatinoal searches for weak Carmichael numbers and numbers closely related to weak Carmichael numbers. Furthermore, using the software {\tt Mathematica 8}, we present the table containing all non-prime powers weak Carmichael numbers less than $2\times 10^6$.
Motivated by heuristic arguments, our computations and some old conjectures and results for Carmichael numbers, we propose several conjectures for weak Carmichael numbers and for some other classes of Carmichael like numbers.
Finally, we consider weak Carmichael numbers in light of Fermat primality test. We believe that it can be of interest to involve certain particular classes of weak Carmichael numbers in some problems concerning Fermat-like primality tests and the generalized Riemann hypothesis.
△ Less
Submitted 3 May, 2013;
originally announced May 2013.
-
Variations of Lucas' Theorem Modulo Prime Powers
Authors:
Romeo Mestrovic
Abstract:
Let $p$ be a prime, and let $k,n,m,n_0$ and $m_0$ be nonnegative integers such that $k\ge 1$, and $_0$ and $m_0$ are both less than $p$. K. Davis and W. Webb established that for a prime $p\ge 5$ the following variation of Lucas' Theorem modulo prime powers holds…
▽ More
Let $p$ be a prime, and let $k,n,m,n_0$ and $m_0$ be nonnegative integers such that $k\ge 1$, and $_0$ and $m_0$ are both less than $p$. K. Davis and W. Webb established that for a prime $p\ge 5$ the following variation of Lucas' Theorem modulo prime powers holds
$$ {np^k +n_0 \choose mp^k+m_0}\equiv{np^{\lfloor(k-1)/3\rfloor} \choose mp^{\lfloor(k-1)/3\rfloor}} {n_0 \choose m_0} \pmod{p^k}.
$$ In the proof the authors used their earlier result that present a generalized version of Lucas' Theorem.
In this paper we present a a simple inductive proof of the above congruence. Our proof is based on a classical congruence due to Jacobsthal, and we additionally use only some well known identities for binomial coefficients. Moreover, we prove that the assertion is also true for $p=2$ and $p=3$ if in the above congruence one replace $\lfloor(k-1)/3\rfloor$ by $\lfloor k/2\rfloor$, and by $\lfloor (k-1)/2\rfloor$, respectively.
As an application, in terms of Lucas' type congruences, we obtain a new characterization of Wolstenholme primes.
△ Less
Submitted 29 December, 2012;
originally announced January 2013.
-
Lucas Type Theorem Modulo Prime Powers
Authors:
Romeo Mestrovic
Abstract:
In this note we prove that
{equation*} {np^s\choose mp^s+r}\equiv (-1)^{r-1}r^{-1}(m+1){n\choose m+1}p^s \pmod{p^{s+1}}
{equation*} where $p$ is any prime, $n$, $m$, $s$ and $r$ are nonnegative integers such that $n\ge m$, $s\ge 1$, $1\le r\le p^s-1$ and $r$ is not divisible by $p$. We derive a proof by induction using a multiple application of Lucas' theorem and two basic binomial coefficient…
▽ More
In this note we prove that
{equation*} {np^s\choose mp^s+r}\equiv (-1)^{r-1}r^{-1}(m+1){n\choose m+1}p^s \pmod{p^{s+1}}
{equation*} where $p$ is any prime, $n$, $m$, $s$ and $r$ are nonnegative integers such that $n\ge m$, $s\ge 1$, $1\le r\le p^s-1$ and $r$ is not divisible by $p$. We derive a proof by induction using a multiple application of Lucas' theorem and two basic binomial coefficient identities. As an application, we prove that a similar congruence for a prime $p\ge 5$ established in 1992 by D. F. Bailey holds for each prime $p$.
△ Less
Submitted 29 December, 2012;
originally announced January 2013.
-
A search for primes $p$ such that Euler number $E_{p-3}$ is divisible by $p$
Authors:
Romeo Mestrovic
Abstract:
Let $p>3$ be a prime. Euler numbers $E_{p-3}$ first appeared in H. S. Vandiver's work (1940) in connection with the first case of Fermat Last Theorem. Vandiver proved that $x^p+y^p=z^p$ has no solution for integers $x,y,z$ with $\gcd(xyz,p)=1$ if $E_{p-3}\equiv 0 (\bmod p)$. Numerous combinatorial congruences recently obtained by Z.-W. Sun and by Z.-H. Sun involve the Euler numbers $E_{p-3}$. This…
▽ More
Let $p>3$ be a prime. Euler numbers $E_{p-3}$ first appeared in H. S. Vandiver's work (1940) in connection with the first case of Fermat Last Theorem. Vandiver proved that $x^p+y^p=z^p$ has no solution for integers $x,y,z$ with $\gcd(xyz,p)=1$ if $E_{p-3}\equiv 0 (\bmod p)$. Numerous combinatorial congruences recently obtained by Z.-W. Sun and by Z.-H. Sun involve the Euler numbers $E_{p-3}$. This gives a new significance to the primes $p$ for which $E_{p-3}\equiv 0 (\bmod p)$.
For the computation of residues of Euler numbers $E_{p-3}$ modulo a prime $p$, we use the congruence which runs significantly faster than other known congruences involving $E_{p-3}$. Applying this congruence, a computation via {\tt Mathematica 8} shows that only three primes less than $10^7$ satisfy the condition $E_{p-3}\equiv 0 (\bmod p)$ (such primes are 149, 241 and 2946901, and they are given as a Sloane's sequence A198245). By using related computational results and statistical considerations similar to those on search for Wieferich and Fibonacci-Wieferich and Wolstenholme primes, we conjecture that there are infinitely many primes $p$ such that $E_{p-3}\equiv 0 (\bmod p)$. Moreover, we propose a conjecture on the asymptotic estimate of number of primes $p$ in an interval $[x,y]$ such that $E_{p-3}\equiv A (\bmod p)$ for some integer $A$ with $|A|\in [K,L]$.
△ Less
Submitted 13 December, 2012;
originally announced December 2012.
-
An elemetary proof of an estimate for a number of primes less than the product of the first $n$ primes
Authors:
Romeo Meštrović
Abstract:
Let $α$ be a real number such that $1< α<2$ and let $x_0=x_0(α)$ be a {\rm(}unique{\rm)} positive solution of the equation $$ x^{α-1} -\fracπ{e^2\sqrt{3}}x +1=0. $$
Then we prove that for each positive integer $n>x_0$ there exist at least $[n^α]$ primes between the $(n+1)$th prime and the product of the first $n+1$ primes. In particular, we establish a recent Cooke's result which asserts that fo…
▽ More
Let $α$ be a real number such that $1< α<2$ and let $x_0=x_0(α)$ be a {\rm(}unique{\rm)} positive solution of the equation $$ x^{α-1} -\fracπ{e^2\sqrt{3}}x +1=0. $$
Then we prove that for each positive integer $n>x_0$ there exist at least $[n^α]$ primes between the $(n+1)$th prime and the product of the first $n+1$ primes. In particular, we establish a recent Cooke's result which asserts that for each positive integer $n$ there are at least $n$ primes between the $(n+1)$th prime and the product of the first $n+1$ primes. Our proof is based on an elementary counting method (enumerative arguments) and the application of Stirling's formula to give upper bound for some binomial coefficients.
△ Less
Submitted 17 November, 2012;
originally announced November 2012.
-
A congruence modulo $n^3$ involving two consecutive sums of powers and its applications
Authors:
Romeo Meštrović
Abstract:
For various positive integers $k$, the sums of $k$th powers of the first $n$ positive integers, $S_k(n+1)=1^k+2^k+...+n^k$, have got to be some of the most popular sums in all of mathematics. In this note we prove that for each $k\ge 2
$…
▽ More
For various positive integers $k$, the sums of $k$th powers of the first $n$ positive integers, $S_k(n+1)=1^k+2^k+...+n^k$, have got to be some of the most popular sums in all of mathematics. In this note we prove that for each $k\ge 2
$$ 2S_{2k+1}(n)- (2k+1)nS_{2k}(n)\equiv \{{array}{ll}
0\,(\bmod{\,n^3}) & {\rm if}\,\,k\,\,{\rm is\,\,even\,\,or}\,\, n\,\, {\rm is\,\, odd} & {\rm or} \,\, n\equiv 0\,(\bmod{\,4}) \frac{n^3}{2}\,(\bmod{\,n^3}) & {\rm if}\,\,k\,\,{\rm is\,\, odd} &,\,{\rm and}\,\, n\equiv 2\,(\bmod{\,4}). {array}.$$
The above congruence allows us to state an equivalent formulation of Giuga's conjecture. Moreover, we prove that the first above congruence is satisfied modulo $n^4$ whenever $n\ge 5$ is a prime number such that $n-1\nmid 2k-2$. In particular, this congruence arises a conjecture for a prime to be Wolstenholme prime. We also propose several Giuga-Agoh's-like conjectures. Further, we establish two congruences modulo $n^3$ for two binomial type sums involving sums of powers $S_{2i}(n)$ with $i=0,1,...,k$. Furthermore, using the above congruence reduced modulo $n^2$, we obtain an extension of Carlitz-von Staudt result for odd power sums.
△ Less
Submitted 17 November, 2012;
originally announced November 2012.
-
Euclid's theorem on the infinitude of primes: a historical survey of its proofs (300 B.C.--2022) and another new proof
Authors:
Romeo Meštrović
Abstract:
{\bf In the fourth extended version of this article, we provide a comprehensive historical survey of 200 different proofs of famous Euclid's theorem on the infinitude of prime numbers (300 {\small B.C.}--2022)}. The author is trying to collect almost all the known proofs on infinitude of primes, including some proofs that can be easily obtained as consequences of some known problems or divisibilit…
▽ More
{\bf In the fourth extended version of this article, we provide a comprehensive historical survey of 200 different proofs of famous Euclid's theorem on the infinitude of prime numbers (300 {\small B.C.}--2022)}. The author is trying to collect almost all the known proofs on infinitude of primes, including some proofs that can be easily obtained as consequences of some known problems or divisibility properties. Furthermore, here are listed numerous elementary proofs of the infinitude of primes in different arithmetic progressions.
All the references concerning the proofs of Euclid's theorem that use similar methods and ideas are exposed subsequently. Namely, presented proofs are divided into the first five subsections of Section 2 in dependence of the methods that are used in them. 14 proofs which are proved from 2012 to 2017 are given in Subsection 2.9, and 18 recent proofs from 2018 to 2022 are presented in Subsection 2.10.
In Section 3, we mainly survey elementary proofs of the infinitude of primes in different arithmetic progressions. Presented proofs are special cases of Dirichlet's theorem. In Section 4, we give a new simple ''Euclidean's proof'' of the infinitude of primes.
△ Less
Submitted 25 July, 2023; v1 submitted 16 February, 2012;
originally announced February 2012.
-
Wolstenholme's theorem: Its Generalizations and Extensions in the last hundred and fifty years (1862--2012)
Authors:
Romeo Mestrovic
Abstract:
In 1862 Wolstenholme proved that for any prime $p\ge 5$ the numerator of the fraction $$ 1+\frac 12 +\frac 13+...+\frac{1}{p-1}
$$ written in reduced form is divisible by $p^2$, $(2)$ and the numerator of the fraction
$$ 1+\frac{1}{2^2} +\frac{1}{3^2}+...+\frac{1}{(p-1)^2}
$$ written in reduced form is divisible by $p$. The first of the above congruences, the so called {\it Wolstenholme's th…
▽ More
In 1862 Wolstenholme proved that for any prime $p\ge 5$ the numerator of the fraction $$ 1+\frac 12 +\frac 13+...+\frac{1}{p-1}
$$ written in reduced form is divisible by $p^2$, $(2)$ and the numerator of the fraction
$$ 1+\frac{1}{2^2} +\frac{1}{3^2}+...+\frac{1}{(p-1)^2}
$$ written in reduced form is divisible by $p$. The first of the above congruences, the so called {\it Wolstenholme's theorem}, is a fundamental congruence in combinatorial number theory. In this article, consisting of 11 sections, we provide a historical survey of Wolstenholme's type congruences and related problems. Namely, we present and compare several generalizations and extensions of Wolstenholme's theorem obtained in the last hundred and fifty years. In particular, we present more than 70 variations and generalizations of this theorem including congruences for Wolstenholme primes. These congruences are discussed here by 33 remarks.
The Bibliography of this article contains 106 references consisting of 13 textbooks and monographs, 89 papers, 3 problems and Sloane's On-Line Enc. of Integer Sequences. In this article, some results of these references are cited as generalizations of certain Wolstenholme's type congruences, but without the expositions of related congruences. The total number of citations given here is 189.
△ Less
Submitted 25 December, 2011; v1 submitted 13 November, 2011;
originally announced November 2011.
-
Clarkson's type inequalities for positive $l_p$ sequences with $p\ge 2$
Authors:
Romeo Mestrovic
Abstract:
For a fixed $1\le p<+\infty$ denote by $\Vert\cdot\Vert_p$ the usual norm in the space $l_p$ (or $L_p$). In this paper we prove that for all real numbers $p$ and $q$ such that $2\le p\le q$ holds
$$ 2(\Vert x\Vert_p^q+\Vert y\Vert_p^q)\le \Vert x+y\Vert_p^q +\Vert x-y\Vert_p^q
$$ for all nonnegative sequences $x=\{x_n\},y=\{y_n\}$ in $l_p$ (or nonnegative functions $x,y$ in $L_p$). Note that t…
▽ More
For a fixed $1\le p<+\infty$ denote by $\Vert\cdot\Vert_p$ the usual norm in the space $l_p$ (or $L_p$). In this paper we prove that for all real numbers $p$ and $q$ such that $2\le p\le q$ holds
$$ 2(\Vert x\Vert_p^q+\Vert y\Vert_p^q)\le \Vert x+y\Vert_p^q +\Vert x-y\Vert_p^q
$$ for all nonnegative sequences $x=\{x_n\},y=\{y_n\}$ in $l_p$ (or nonnegative functions $x,y$ in $L_p$). Note that the above inequality with $p=q\ge 2$ reduces to the well known Clarkson's inequality. If in addition, holds $x_i\ge y_i$ for each $i=1,2,...$ (or $x\ge y$ a.e. in $L_p$), then we establish an improvement of the above inequality.
△ Less
Submitted 23 September, 2011;
originally announced September 2011.
-
An Extension of a Congruence by Tauraso
Authors:
Romeo Mestrovic
Abstract:
For a positive integer $n$ let $H_n=\sum_{k=1}^{n}1/n$ be the $n$th harmonic number. In this note we prove that for any prime $p\ge 7$,
$$ \sum_{k=1}^{p-1}\frac{H_k}{k^2}\equiv \sum_{k=1}^{p-1}\frac{H_k^2}{k} \equiv\frac{3}{2p}\sum_{k=1}^{p-1}\frac{1}{k^2}\pmod{p^2}.
$$ Notice that the first part of this congruence is recently proposed by R. Tauraso as a problem in Amer. Math. Monthly. In our…
▽ More
For a positive integer $n$ let $H_n=\sum_{k=1}^{n}1/n$ be the $n$th harmonic number. In this note we prove that for any prime $p\ge 7$,
$$ \sum_{k=1}^{p-1}\frac{H_k}{k^2}\equiv \sum_{k=1}^{p-1}\frac{H_k^2}{k} \equiv\frac{3}{2p}\sum_{k=1}^{p-1}\frac{1}{k^2}\pmod{p^2}.
$$ Notice that the first part of this congruence is recently proposed by R. Tauraso as a problem in Amer. Math. Monthly. In our elementary proof of the second part of the above congruence we use certain classical congruences modulo a prime and the square of a prime, some congruences involving harmonic numbers and a combinatorial identity due to V. Hernández.
△ Less
Submitted 14 September, 2011;
originally announced September 2011.
-
An Extension of a Congruence by Kohnen
Authors:
Romeo Mestrovic
Abstract:
Let $p>3$ be a prime, and let $q_p(2)=(2^{p-1}-1)/p$ be the Fermat quotient of $p$ to base 2. Recently, Z. H. Sun proved that \sum_{k=1}^{p-1}\frac{1}{k\cdot 2^k}\equiv q_p(2)-\frac{p}{2}q_p(2)^2 \pmod{p^2} which is a generalization of a congruence due to W. Kohnen. In this note we give an elementary proof of the above congruence which is based on several combinatorial identities and congruences i…
▽ More
Let $p>3$ be a prime, and let $q_p(2)=(2^{p-1}-1)/p$ be the Fermat quotient of $p$ to base 2. Recently, Z. H. Sun proved that \sum_{k=1}^{p-1}\frac{1}{k\cdot 2^k}\equiv q_p(2)-\frac{p}{2}q_p(2)^2 \pmod{p^2} which is a generalization of a congruence due to W. Kohnen. In this note we give an elementary proof of the above congruence which is based on several combinatorial identities and congruences involving the Fermat quotient $q_p(2)$, harmonic or alternating harmonic sums.
△ Less
Submitted 19 October, 2011; v1 submitted 11 September, 2011;
originally announced September 2011.
-
Congruences for Wolstenholme primes
Authors:
Romeo Mestrovic
Abstract:
A prime number $p$ is said to be a Wolstenholme prime if it satisfies the congruence ${2p-1\choose p-1} \equiv 1 \,\,(\bmod{\,\,p^4})$. For such a prime $p$, we establish the expression for ${2p-1\choose p-1}\,\,(\bmod{\,\,p^8})$ given in terms of the sums $R_i:=\sum_{k=1}^{p-1}1/k^i$ ($i=1,2,3,4,5,6)$. Further, the expression in this congruence is reduced in terms of the sums $R_i$ ($i=1,3,4,5$).…
▽ More
A prime number $p$ is said to be a Wolstenholme prime if it satisfies the congruence ${2p-1\choose p-1} \equiv 1 \,\,(\bmod{\,\,p^4})$. For such a prime $p$, we establish the expression for ${2p-1\choose p-1}\,\,(\bmod{\,\,p^8})$ given in terms of the sums $R_i:=\sum_{k=1}^{p-1}1/k^i$ ($i=1,2,3,4,5,6)$. Further, the expression in this congruence is reduced in terms of the sums $R_i$ ($i=1,3,4,5$). Using this congruence, we prove that for any Wolstenholme prime, $$ {2p-1\choose p-1}\equiv 1 -2p \sum_{k=1}^{p-1}\frac{1}{k} -2p^2\sum_{k=1}^{p-1}\frac{1}{k^2}\pmod{p^7}.
$$ Moreover, using a recent result of the author \cite{Me}, we prove that the above congruence implies that a prime $p$ necessarily must be a Wolstenholme prime.
Applying a technique of Helou and Terjanian \cite{HT}, the above congruence is given as the expression involving the Bernoulli numbers.
△ Less
Submitted 21 August, 2011;
originally announced August 2011.
-
On the mod $p^2$ determination of $\sum_{k=1}^{p-1}H_k/(k\cdot 2^k)$: another proof of a conjecture by Sun
Authors:
Romeo Mestrovic
Abstract:
For a positive integer $n$ let $H_n=\sum_{k=1}^{n}1/k$ be the $n$th harmonic number. Z. W. Sun conjectured that for any prime $p\ge 5$,
$$ \sum_{k=1}^{p-1}\frac{H_k}{k\cdot 2^k} \equiv7/24pB_{p-3}\pmod{p^2}.
$$ This conjecture is recently confirmed by Z. W. Sun and L. L. Zhao. In this note we give another proof of the above congruence by establishing congruences for all the sums of the form…
▽ More
For a positive integer $n$ let $H_n=\sum_{k=1}^{n}1/k$ be the $n$th harmonic number. Z. W. Sun conjectured that for any prime $p\ge 5$,
$$ \sum_{k=1}^{p-1}\frac{H_k}{k\cdot 2^k} \equiv7/24pB_{p-3}\pmod{p^2}.
$$ This conjecture is recently confirmed by Z. W. Sun and L. L. Zhao. In this note we give another proof of the above congruence by establishing congruences for all the sums of the form $\sum_{k=1}^{p-1}2^{\pm k}H_k^r/k^s \,(\bmod{\, p^{4-r-s}})$ with $(r,s)\in\{(1,1),(1,2),(2,1) \}$.
△ Less
Submitted 18 August, 2011; v1 submitted 16 August, 2011;
originally announced August 2011.
-
An elementary proof of a congruence by Skula and Granville
Authors:
Romeo Mestrovic
Abstract:
Let $p\ge 5$ be a prime, and let $q_p(2):=(2^{p-1}-1)/p$ be the Fermat quotient of $p$ to base 2. The following curious congruence was conjectured by L. Skula and proved by A. Granville $$ q_p(2)^2\equiv -\sum_{k=1}^{p-1}\frac{2^k}{k^2}\pmod{p}. $$ In this note we establish the above congruence by entirely elementary number theory arguments.
Let $p\ge 5$ be a prime, and let $q_p(2):=(2^{p-1}-1)/p$ be the Fermat quotient of $p$ to base 2. The following curious congruence was conjectured by L. Skula and proved by A. Granville $$ q_p(2)^2\equiv -\sum_{k=1}^{p-1}\frac{2^k}{k^2}\pmod{p}. $$ In this note we establish the above congruence by entirely elementary number theory arguments.
△ Less
Submitted 11 August, 2011;
originally announced August 2011.
-
On the mod $p^7$ determination of ${2p-1\choose p-1}$
Authors:
Romeo Mestrovic
Abstract:
In this paper we prove that for any prime $p\ge 11$ holds
$$ {2p-1\choose p-1}\equiv 1 -2p \sum_{k=1}^{p-1}\frac{1}{k} +4p^2\sum_{1\le i<j\le p-1}\frac{1}{ij}\pmod{p^7}.
$$ This is a generalization of the famous Wolstenholme's theorem which asserts that ${2p-1\choose p-1} \equiv 1 \,\,(\bmod\,\,p^3)$ for all primes $p\ge 5$. Our proof is elementary and it does not use a standard technique invo…
▽ More
In this paper we prove that for any prime $p\ge 11$ holds
$$ {2p-1\choose p-1}\equiv 1 -2p \sum_{k=1}^{p-1}\frac{1}{k} +4p^2\sum_{1\le i<j\le p-1}\frac{1}{ij}\pmod{p^7}.
$$ This is a generalization of the famous Wolstenholme's theorem which asserts that ${2p-1\choose p-1} \equiv 1 \,\,(\bmod\,\,p^3)$ for all primes $p\ge 5$. Our proof is elementary and it does not use a standard technique involving the classic formula for the power sums in terms of the Bernoulli numbers. Notice that the above congruence reduced modulo $p^6$, $p^5$ and $p^4$ yields related congruences obtained by R. Tauraso, J. Zhao and J.W.L. Glaisher, respectively.
△ Less
Submitted 4 August, 2011;
originally announced August 2011.
-
Proof of a congruence for harmonic numbers conjectured by Z.-W. Sun
Authors:
Romeo Mestrovic
Abstract:
For a positive integer $n$ let $H_n=\sum_{k=1}^{n}1/k$ be the $n$th harmonic number. In this note we prove that for any prime $p\ge 7$,
$$ \sum_{k=1}^{p-1}\frac{H_k^2}{k^2} \equiv4/5pB_{p-5}\pmod{p^2},
$$ which confirms the conjecture recently proposed by Z. W. Sun. Furthermore, we also prove two similar congruences modulo $p^2$.
For a positive integer $n$ let $H_n=\sum_{k=1}^{n}1/k$ be the $n$th harmonic number. In this note we prove that for any prime $p\ge 7$,
$$ \sum_{k=1}^{p-1}\frac{H_k^2}{k^2} \equiv4/5pB_{p-5}\pmod{p^2},
$$ which confirms the conjecture recently proposed by Z. W. Sun. Furthermore, we also prove two similar congruences modulo $p^2$.
△ Less
Submitted 25 March, 2012; v1 submitted 4 August, 2011;
originally announced August 2011.
