Next Article in Journal
Fréchet Binomial Distribution: Statistical Properties, Acceptance Sampling Plan, Statistical Inference and Applications to Lifetime Data
Next Article in Special Issue
A Novel Approach in Solving Improper Integrals
Previous Article in Journal
Bifurcation Results for Periodic Third-Order Ambrosetti-Prodi-Type Problems
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Distribution of Kurepa’s Function

by
Nicola Fabiano
1,
Milanka Gardašević-Filipović
2,
Nikola Mirkov
1,*,
Vesna Todorčević
3 and
Stojan Radenović
4
1
“Vinča” Institute of Nuclear Sciences—National Institute of the Republic of Serbia, University of Belgrade, Mike Petrovića Alasa 12–14, 11351 Belgrade, Serbia
2
School of Computing, Union University, 11000 Belgrade, Serbia
3
Department of Mathematics, Faculty of Organizational Sciences, University of Belgrade, Jove Ilića 154, 11000 Belgrade, Serbia
4
Faculty of Mechanical Engineering, University of Belgrade, Kraljice Marije 16, 11120 Belgrade, Serbia
*
Author to whom correspondence should be addressed.
Axioms 2022, 11(8), 388; https://doi.org/10.3390/axioms11080388
Submission received: 30 June 2022 / Revised: 26 July 2022 / Accepted: 5 August 2022 / Published: 7 August 2022
(This article belongs to the Special Issue Theory of Functions and Applications)

Abstract

:
Kurepa’s function and his hypothesis have been investigated by means of numerical simulation. Particular emphasis has been given to the conjecture on its distribution, that should be one of a random uniform distribution, which has been verified for large numbers. A convergence function for the two has been found.
MSC:
05A10; 11A05; 11B65; 11B7

1. Introduction

It has been more than fifty years since the introduction of the simple arithmetic function and the hypothesis related to it, the former being the Kurepa’s function and the latter known as the Kurepa’s hypothesis. This hypothesis has defied the resolution ever since.
Namely, in [1], Kurepa defined the function,
K ( n ) = ! n = i = 0 n 1 i ! ,
for n N following his earlier works [2,3,4]. Kurepa himself called the function the left factorial, at present the function is also called Kurepa’s left factorial, or simply Kurepa’s function. He subsequently extended this function to the complex plane [5]
K ( z ) = 0 + e t t z 1 t 1 d t ,
for ( z ) > 0 . An important property of this function is the following:
lim x + K ( x ) Γ ( x ) = 1 ,
where Γ ( x ) represents the Gamma function. For more details, see [6], for Kurepa’s selected papers with commentary on number theoretical problems, see [7], and regarding historical overview of the problem up to the fiftieth anniversary, see [8]. Some recent developments and further references could be found in [9,10].
In the same 1971 paper [1], Kurepa introduced his hypothesis on the function K ( n ) , which could be written in the following manner:
mod ( K ( n ) , n ) 0 , n N , n > 2 ,
where mod ( K ( n ) , n ) signifies the remainder of the division of K ( n ) by n. Up to today (2022), it has not been proved. In 2004, an attempt at a proof was presented in a paper that was later retracted by the authors [11,12]. In [13], the search for a counterexample of the hypothesis was performed, without success, for n < 2 34 1.718 × 10 10 by means of GPU computing.
The aim of this work is not to try to solve the original Kurepa’s hypothesis, already discussed in great detail in [9,10], together with the properties of Kurepa’s function and its extension on the complex plane. The scope is to investigate the conjecture first presented in [13] about the distribution of Kurepa’s function as a function of n N .

2. The Distribution Conjecture

While studying numerically the hypothesis, the authors of [13] made the following conjecture:
mod ( K ( n ) , n ) / n
is a random number in the range [ 0 , n ] with uniform distribution in ( 0 , 1 ) . In this paper, we will further numerically investigate this conjecture. Previously, in [9,10], we did an analysis of (5) on prime numbers distribution up to the value of p = 116,447, that is, the 11,000th prime number, where it is clearly shown how the difference with a uniform random distribution in ( 0 , 1 ) decreases with increasing number of prime numbers p considered.
Our new analysis is done with the software PARI/GP [14] for n N up to the value of n = 4 × 10 6 , for which K ( 4 × 10 6 ) > 10 10 7 . In the following figures, Figure 1a–d, we show the distribution of (5) for different ranges of n. As our largest n is 4 × 10 6 , we have millions of points, so we could only present a small range for the distribution in order for the figure to be discernible from a black blob. The figures, for different ranges of n, visually do not appear to be different from a uniform random distribution in ( 0 , 1 ) , the so-called white noise. A different choice of n ranges and starting points does not present substantial modifications to the figures. Additionally, compare those results to the one obtained in [9,10] for different ranges of the arguments, which are quite similar. We could also observe how Kurepa’s hypothesis is satisfied, as there is no value of n in the investigated range for which mod ( K ( n ) , n ) = 0 .
In Figure 2, we show the comparison of the results of mod ( K ( n ) , n ) / n with respect to a random uniform distribution in ( 0 , 1 ) as a function of n, for the whole range of numbers considered, up to n = 4 × 10 6 . We observe that this fluctuation, naturally defined as the difference of (5) from the average of a random distribution in (0,1), which is 1 / 2 , normalized to its average, that is
fluctuation ( n ) = mod ( K ( n ) , n ) n 1 2 1 2 ,
as a function of n, stabilizes above a certain number and then starts decreasing with increasing n, providing more support to the conjecture presented in Equation (5), for which the relation
lim n + fluctuation ( n ) = 0 ,
holds true. Loosely speaking, it means that for large n, the average value of (5) is 1 / 2 . For n approximately larger than 10 6 , the fluctuation in percentage is less than 0.2 and decreasing, being lower than 0.1 when n crosses the value of 3 × 10 6 .
To evaluate the speed at which the fluctuation decreases as a function of n, we have used a simple function:
A exp ( n α ) ,
where the parameters A , α have been fitted to the data points for n > 10 6 . The obtained results for the parameters in the range n = [ 1 × 10 6 ÷ 4 × 10 6 ] are:
A = 37.8409 , α = 0.12034 .
This fit is compared to data points in Figure 3, and it is possible to observe a very good agreement with the function (8). The fluctuation goes to zero with increasing n as a negative exponential function of a small power of n. The simplicity of Equation (8) also allows us to estimate the limit value of n above which the fluctuation F should be lower than a fixed value by means of the equation
A exp ( n α ) = F implies n = ln A F α .
For instance, n should be approximately larger than 2.7 × 10 6 in order to obtain a fluctuation F smaller than 0.1%; n > 6.7 × 10 6 for F < 0.05 % , and n > 40.7 × 10 6 for F < 0.01%.

3. Conclusions and Outlook

After more than half a century from the introduction of Kurepa’s hypothesis, there is still not even a hand-waving argument towards its possible solution. The best approach remains a numerical simulation that cannot provide a rigorous proof for its very nature. This fact also remains true for the distribution conjecture of Equation (5), which, curiously enough, is not due to Kurepa himself, but rather stemmed out from numerical simulations.
The present work did not solve the latter problem, but, for the first time, confirmed the conjecture, and as a byproduct Kurepa’s hypothesis as well, for the values up to n = 4 × 10 6 . It also provides a convergence speed function given by an exponential of a mild power of n, Equation (8), a result not obtained previously. Moreover, this function shows convincingly that the behavior of Equation (7), the conjecture itself, should be true. Those results could help to indicate the path towards a formal and rigorous solution of Kurepa’s hypothesis and the conjecture on its distribution, which are both lacking after all this time.

Author Contributions

Conceptualization N.F. and S.R.; methodology, N.F. and V.T.; formal analysis, N.M. and M.G.-F.; writing—original draft preparation, N.M. and M.G.-F.; supervision, S.R. and N.F. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Not applicable.

Acknowledgments

The research was partially funded by the Ministry of Education, Science and Technological Development of the Republic of Serbia.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Kurepa, Đ. On the left factorial function !N. Math. Balk. 1971, 1, 147–153. [Google Scholar]
  2. Kurepa, Đ. O faktorijelima konačnih i beskonačnih brojeva. Rad. Jugosl. Akad. Znan. Umjet. 1953, 296, 105–112. [Google Scholar]
  3. Kurepa, Đ. Uber die Faktoriellen der endlichen und unendlichen Zahlen. Ac. Sci. Yougosl. Cl. Math. 1954, 4, 51–64. [Google Scholar]
  4. Kurepa, Đ. Factorials of cardinal numbers and trees. Glasnik Mat. Fiz. Astr. 1964, 19, 7–21. [Google Scholar]
  5. Kurepa, Đ. Left factorial function in complex domain. Math. Balk. 1973, 3, 297–307. [Google Scholar]
  6. Ivić, A.; Mijajlovixcx, Ž. On Kurepa’s problems in number theory. Publ. Inst. Math. Beogr. 1995, 57, 19–28. [Google Scholar]
  7. Kurepa, Đ. Selected Papers of Đuro Kurepa; Ivić, A., Mamuzić, Z., Mijajlović, Ž., Todorčević, S., Eds.; Matematički Institut SANU: Belgrade, Serbia, 1996; Section F; p. 555. Available online: http://www.mi.sanu.ac.rs/novi_sajt/publications/data/ZarkoMijajlovicSelectedPapersOfDjuroKurepa.pdf (accessed on 23 June 2022).
  8. Mijajlović, Ž. Fifty Years of Kurepa’s !n Hypothesis; Bulletin T.CLIV de l’Académie Serbe des Sciences et des Arts—2021, Classe des Sciences Mathématiques et Naturelles, Sciences Mathématiques, No. 46; Académie Serbe des Sciences et des Arts: Belgrade, Serbia, 2021; pp. 169–181. Available online: http://elib.mi.sanu.ac.rs/files/journals/bltn/46/bltnn46p169-181.pdf (accessed on 23 June 2022).
  9. Fabiano, N.; Mirkov, N.; Mitrović, Z.D.; Radenović, S. On some new observations on Kurepa’s left factorial. Math. Anal. Contemp. Appl. 2022, 4, 1–8. [Google Scholar] [CrossRef]
  10. Fabiano, N.; Mirkov, N.; Mitrović, Z.D.; Radenović, S. A discussion on two old standing number theory problems: Collatz hypothesis, together with its relation to Planck’s black body radiation, and Kurepa’s conjecture on left factorial function. In Advances in Applied Analysis and Number Theory; Springer: Berlin/Heidelberg, Germany, 2022. [Google Scholar]
  11. Barsky, D.; Benzaghou, B. Nombres de Bell et somme de factorielles. J. Theor. Nr. Bordx. 2004, 16, 1–17. [Google Scholar] [CrossRef]
  12. Barsky, D.; Benzaghou, B. Erratum a l’article Nombres de Bell et somme de factorielles. J. Theor. Nr. Bordx. 2011, 23, 527. [Google Scholar] [CrossRef]
  13. Andrejić, V.; Tatarević, M. Searching for a counterexample to Kurepa’s conjecture. Math. Comput. 2016, 85, 3061–3068. [Google Scholar] [CrossRef]
  14. The PARI Group. PARI/GP Version 2.13.4, Univ. Bordeaux. 2022. Available online: http://pari.math.u-bordeaux.fr/ (accessed on 23 June 2022).
Figure 1. Distribution of mod ( K ( n ) , n ) / n ; (a) n in range [ 0 ÷ 2.5 ] × 10 4 , (b) n in range [ 1.0 ÷ 1.025 ] × 10 6 , (c) n in range [ 2.0 ÷ 2.025 ] × 10 6 , and (d) n in range [ 3.0 ÷ 3.025 ] × 10 6 .
Figure 1. Distribution of mod ( K ( n ) , n ) / n ; (a) n in range [ 0 ÷ 2.5 ] × 10 4 , (b) n in range [ 1.0 ÷ 1.025 ] × 10 6 , (c) n in range [ 2.0 ÷ 2.025 ] × 10 6 , and (d) n in range [ 3.0 ÷ 3.025 ] × 10 6 .
Axioms 11 00388 g001
Figure 2. Difference of mod ( K ( n ) , n ) / n from a random uniform distribution, in percentage.
Figure 2. Difference of mod ( K ( n ) , n ) / n from a random uniform distribution, in percentage.
Axioms 11 00388 g002
Figure 3. Fit of the function (8) to the data.
Figure 3. Fit of the function (8) to the data.
Axioms 11 00388 g003
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Fabiano, N.; Gardašević-Filipović, M.; Mirkov, N.; Todorčević, V.; Radenović, S. On the Distribution of Kurepa’s Function. Axioms 2022, 11, 388. https://doi.org/10.3390/axioms11080388

AMA Style

Fabiano N, Gardašević-Filipović M, Mirkov N, Todorčević V, Radenović S. On the Distribution of Kurepa’s Function. Axioms. 2022; 11(8):388. https://doi.org/10.3390/axioms11080388

Chicago/Turabian Style

Fabiano, Nicola, Milanka Gardašević-Filipović, Nikola Mirkov, Vesna Todorčević, and Stojan Radenović. 2022. "On the Distribution of Kurepa’s Function" Axioms 11, no. 8: 388. https://doi.org/10.3390/axioms11080388

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop