Asymptotic laws for upper and strong record values in the extreme domain of attraction and beyond
Gane Samb Lo, Mohammad ahsanullah

TL;DR
This paper develops new asymptotic laws for record values in the extreme value domain and beyond, using functional tail representations, with potential applications in distribution fitting.
Contribution
It introduces a novel approach to derive asymptotic laws for record values directly from tail representations, extending beyond traditional extreme value domains.
Findings
Asymptotic laws established for records in the extreme value domain.
Results applicable to a broader class of distributions beyond the extreme value domain.
Explicit laws provided for common distribution types.
Abstract
Asymptotic laws of records values have usually been investigated as limits in type. In this paper, we use functional representations of the tail of cumulative distribution functions in the extreme value domain of attraction to directly establish asymptotic laws of records value, not necessarily as limits in type. Results beyond the extreme value value domain are provided. Explicit asymptotic laws concerning very usual laws are listed as well. Some of these laws are expected to be used in fitting distribution
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Asymptotic laws for upper and strong record values in the extreme domain of attraction and beyond
Abstract.
Asymptotic laws of records values have usually been investigated as limits in type. In this paper, we use functional representations of the tail of cumulative distribution functions in the extreme value domain of attraction to directly establish asymptotic laws of records value, not necessarily as limits in type. Results beyond the extreme value value domain are provided. Explicit asymptotic laws concerning very usual laws are listed as well. Some of these laws are expected to be used in fitting distribution.
† Gane Samb Lo.
LERSTAD, Gaston Berger University, Saint-Louis, Sénégal (main affiliation).
LSTA, Pierre and Marie Curie University, Paris VI, France.
AUST - African University of Sciences and Technology, Abuja, Nigeria
[email protected], [email protected], [email protected]
Permanent address : 1178 Evanston Dr NW T3P 0J9,Calgary, Alberta, Canada.
†† Mohammad Ahsanullah
Department of Management Sciences. Rider University. Lawrenceville, New Jersey, USA
Email : [email protected]
1. Introduction
Let , , , be a sequence independent real-valued randoms, defined on the same probability space , with common cumulative distribution function , which has the lower and upper endpoints, and the generalized inverse function respectively defined by
[TABLE]
and
[TABLE]
Finally, let us consider the sequence of strong record values , , and the sequence of record times , ,
Before beginning an asymptotic theory, we should be sure that we have an infinite sequence . For a bounded random variable with finite upper bound such that , we have finitely often. This happens for classical integer-valued and bounded random variables as Binomial laws. In such cases, the asymptotic theory is meaningless. But, an interesting question would be the characterization the infinite random sequence such that for all .
In all other cases, even if is bounded, the sequence is infinite. So, the results of this paper apply to cdf’s such that . In that context, asymptotic laws have been proposed in the literature by many authors like Tata (1969), Resnick (1987), Nevzorov (2001), etc., in relation with Extreme Value Theory, as limits in type in the form
[TABLE]
where stands for the convergence in distribution and is a non-degenerate random variable. The motive beneath this search is the following. If we denote by as the -th maximum for , it is clear that we have
[TABLE]
Since for any in the extremal domain of attraction , we have that for some ,
[TABLE]
where the cdf of is the Generalized Extreme Value distribution defined by
[TABLE]
In Extreme value Theory, Formula (1.3) is rephrased as F is attracted by denoted by .
From Formulas (1.2) and (1.3) and from the fact that as , the investigation of the validity of (1.1) was justified enough. The results of the cited authors and others were positive with the stunning result that the cdf of should be of the form , , where is the cdf of the standard normal law and satisfies one of three definitions (in which is a positive constant)
[TABLE]
Instead of using this mathematically appealing approach based on functional equations, an other approach consisting in directly finding the asymptotic laws of , not necessarily in the form of Formula (1.1) is possible and we proceed to it here. That approach is based on representations of of Karamata and de Haan for example.
Our achievement is the finding the asymptotic laws of the records for all . First, for , outside the frame Formula (1.1), that is as limits in type, and without any further condition. Secondly, for , within the frame of Formula (1.1), under a general regularity condition. That regularity condition generally holds for usual cdf’s.
We also give general conditions to ensure the asymptotic normality of the records values for not necessarily in the extremal domain. Finally, we give detailed asymptotic laws of the records of a list of remarkable cdf’s with specific coefficients.
In this paper we want short, we use many results from Extreme Value Theory and Records Values Theory. So, for more details, we refer the reader to the books of Ahnsanullah (1995), Nevzorov (2001), etc for an easy introduction to records and to those of Galambos (1985), de Haan (1970), Resnick (1987), Lo et al. (2018), etc. concerning Extreme Value Theory.
To finish this introduction, we recall two important tools of extreme value theory that form the basis of our method. The first is the following proposition. Suppose that , that is . In that case, we define with cdf , and we have
Proposition 1**.**
*(see Lo (1986)) We have the following equivalences.
(1) If ,
[TABLE]
(2) If ,
[TABLE]
(3) If ,
[TABLE]
In the second place, we recall the following representations of cdf’s in the extreme value domain that repeatedly will be used in the sequel.
Proposition 2**.**
(karamata (1962) and de Haan (1970)) We have the following characterizations for the three extremal domains.
(a) , , if and only if there exist a constant and functions and of satisfying
[TABLE]
such that admits the following representation of Karamata
[TABLE]
(b) , if and only if and there exist a constant and functions and of satisfying
[TABLE]
such that admit the following representation of Karamata
[TABLE]
(c) if and only if there exist a constant and a slowly varying function such that
[TABLE]
and there exist a constant and functions and of satisfying
[TABLE]
such that the function of admits the representation
[TABLE]
Moreover, if is differentiable for small values of such that is slowly varying at zero, then 1.6 may be replaced by
[TABLE]
which will be called a reduced de Haan representation of
The rest of the paper is organized as follows. The results are stated in Section 2. Examples and Applications are given in Section 3. The proofs are stated in Section 4. The computation related to examples in Section 3 are detailed in the Appendix Section 6. The paper closed by a conclusion in Section 5.
2. Results
Before we state our results, we recall that any is associated to a couple of functions of as defined in the representations of Proposition 2 for , . In the special case where , the pair of functions is used in the representation of the function is f in Representation (1.6).
We will need the following condition. Let us define for any a finite sum of standard exponential random variables
[TABLE]
denote
[TABLE]
and finally set the hypotheses
[TABLE]
[TABLE]
where stands for the convergence in probability.
Here are our results that cover the whole extreme value domain of attraction. For , we need no condition.
Let us begin by asymptotic laws for .
Theorem 1**.**
*Let , . We have :
(a) If , the asymptotic law of is lognormal, precisely
[TABLE]
where is the lognormal law of parameters and .
(b) If and , and and we have
[TABLE]
(c) If , the asymptotic law of is lognormal, precisely
[TABLE]
(d) Suppose that and . If (Ha) and (Hb) hold both, we have
[TABLE]
More precisely, we have : Given , and (Ha), the above asymptotic normality is valid if and only if (Hb) holds.
Beyond distributions in , we may use the delta-method as follows. Drawing lessons from Theorem 1, we might be tempted to generalize point (a) by imposing that satisfies, for some coefficient ,
[TABLE]
But, by Extreme Value Theory, this would imply that and nothing new would happen. But trying a generalization from Point (c) would be successful. Let us define the following hypotheses :
(Ga) is differentiable in some left neighborhood of .
(Gb) The function
[TABLE]
decreases to [math] as and is such that : for any sequence such that
[TABLE]
we have, for some ,
[TABLE]
We have the following generalization.
Theorem 2**.**
If satisfies Assumptions (Ga) and (Gb), we have
[TABLE]
Comments. A firm look at the results shows that for any , we found the direct asymptotic law of or that of a function of , mainly . For example, Point (d) of Theorem 1 cannot be applied when follows a lognormal law but can be applied to . This leads to the following rule for all any :
(e) If , , we apply Points (a) or (c) without any further condition.
(f) If and for some , we apply Point (b) without any further condition.
(g) If and as . If (Ha) and (Hb) holds, we conclude by applying Point (d). If not (as it is for a lognormal law), we search whether for some or fulfills (Ha) and (Hb). If yes, we conclude by Point (b) or by Point (d). If not, we consider , and we continue until we reach for some or for some .
3. Examples and applications
Let us begin to explain how to apply the results for . Generally, we may find the function of by from the -variation formula
[TABLE]
Another method concerns the special case where is differentiable on left neighborhood of uep(F). It is proved in Lo (1986) that if is slowly varying at zero, we have for some ,
[TABLE]
Checking hypothesis (Ha) and (Hb) can be done with the function of , found as explained above.
Here are some specific examples. The details for each case is given in the Appendix (Section 6, 6). We begin for light tails :
I - .
(1) follows an exponential law , . By Point (b) of Theorem 1,
[TABLE]
(2) follows a standard normal law . By Point (d) of Theorem 1,
[TABLE]
(3) follows a Rayleigh law of parameter , with cdf
[TABLE]
By Point (d) of Theorem 1, we have
[TABLE]
(4) follows the logistic law, with cdf
[TABLE]
By Point (b) of Theorem 1, we have
[TABLE]
(5) follows a standard lognormal law, that is follows a standard normal law. We have
[TABLE]
(6) a follows a Gumbel law with cdf
[TABLE]
By Point (b) of Theorem 1, we have
[TABLE]
II - , .
(7) follows a log-logistic law of parameter , with cfd
[TABLE]
By Point (a) of Theorem 1,
[TABLE]
(8) follows a sing-Maddala law of parameters , and , with cdf
[TABLE]
By Point (a), we have
[TABLE]
4. Proofs
(I) - Proof of Theorem 1.
We begin by describing the main tools which are based on following results of Records theory. Suppose that are non-negative real-valued and iid random variables and define
[TABLE]
It is clear that if , , then the absolutely continuous pdf of is given by
[TABLE]
Suppose if ’s are independent and follow an exponential law , , we have
[TABLE]
As stated in page 3 in Ahnsanullah (1995), the joint distribution of the first records values of the sequence is the one given in Formula (4.1). As a consequence, we have
Fact 1**.**
If the the ’s are independent and follow an exponential law , the -th record value, , has the same law as the sum of independent -random variables , , , i.e.
[TABLE]
where stands for the equality in distribution. By the Renyi’s representation, we can represented the random variable of cdf by a standard exponential random variable
[TABLE]
It comes that, by considering iid sequence and from and and by denoting the two -th records valued and from the two sequences respectively, we have the following representations
[TABLE]
where
[TABLE]
In the sequel, we can and do use the equality : . Let us apply the representations by using the simple central limit theorem
[TABLE]
In the sequel, any unspecified limit is meant as .
Let us suppose . If , we will consider of cdf defined by , . Let us prove the theorem.
(a) - Asymptotic law of for . We recall that and , . By Representation (1.4), we have
[TABLE]
and
[TABLE]
We get that , . We get
[TABLE]
We have
[TABLE]
By combining the two later formulae, we have
[TABLE]
(b) - Asymptotic law of for . From the previous theorem, it is immediate for the following result. It is clear the . So, the previous theorem implies
[TABLE]
Here, it is clear that and as . Hence this result says that
[TABLE]
if and as .
(c) - Asymptotic law of for . We have . By using Representation (1.5), we may and do prove this point exactly as for Point (a).
(d) - Asymptotic law of for . We did not have yet the general law. Let us learn for a no-trivial example.
(A) - . Let us recall the expansion of the tail of as follows
[TABLE]
We have
[TABLE]
We have that . Let us use the mean value theorem to get
[TABLE]
with and next, by the weak law of large numbers, . By plugging this in the later formula, we get
[TABLE]
We conclude that
[TABLE]
By putting
[TABLE]
we also have
[TABLE]
(B) - General proof. It known that and so, as , By representation (1.6) of Proposition 2 and Hypothesis (Ha) together lead to
[TABLE]
From there, the conclusion is immediate.
(II) - Proof of Theorem 2. We have , . The mean value theorem gives, for
[TABLE]
where
[TABLE]
From there, the conclusion is direct.
5. Conclusion
After the statements of the asymptotic laws of the strong record values from iid random variables and after some examples have been given, it should be interesting to a review of such asymptotic laws for as much as possible cdf’s .
6. Appendix
Let us give the details concerning the results listed in Section 3.
(1) follows an exponential law , . We have and . We apply Point (b) to conclude.
[TABLE]
(2) follows a standard normal law . The result of this point is justified by Formula 4.3, page 4.3.
(3) a follows Rayleigh law of parameter . We have
[TABLE]
and
[TABLE]
Furthermore, is decreasing in and as . Finally,
[TABLE]
We conclude the case by applying Point (d) of Theorem 1.
(4) a follows the logistic law. It is immediate that and we have
[TABLE]
We conclude with Point (b) of Theorem 1.
(5) a follows a standard lognormal law, that is follows a standard normal law.
Since has the same law as the -th record from iid random variables. So we have
[TABLE]
(6) a follows a Gumbel law. We have
[TABLE]
and for any .
[TABLE]
So, . From there, an application of Point (b) of Theorem 1 closes the case.
(7) follows a log-logistic law of parameter , with cfd
[TABLE]
We have
[TABLE]
By Point (a) of Theorem 1,
[TABLE]
(8) follows a sing-Maddala law of parameters , and . We have
[TABLE]
and is a slowly varying function at . So . Applying of Point (a) of Theorem, when combined with
[TABLE]
and with,
[TABLE]
for , closes the case.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1Ahnsanullah (1995) Ahsanullah M.(1995). Record Statistics, Nova Science Publishers Inc. New-York, USA
- 2Chandler (1952) Chandler, K. N. (1952). The Distribution and Frequency of Record Values. J. R. Statist. Soc. B 14, 220-228.
- 3de Haan (1970) de Haan, L. (1970). On regular variation and its application to the weak convergence of sample extremes . Mathematical Centre Tracts, 32 , Amsterdam. (MR 0286156)
- 4de Haan and Feirreira (2006) de Haan, L. and Feirreira A. (2006). Extreme value theory: An introduction. Springer . (MR 2234156)
- 5Galambos (1985) Galambos, J. (1985). The Asymptotic theory of Extreme Order Statistics. Wiley, Nex-York. (MR 0489334)
- 6karamata (1962) Karamata J.(1962) Some theorems concerning slowly varying. Mathematics Research Center, Tech. Rep., n o superscript 𝑛 𝑜 n^{o} 369. University of Winconsi, Madison.
- 7Lo (1986) Lo G.S. (1986) On some estimators of the index of the Pareto law and limit theorems for extreme value sums. Ph D Thesis, Pierre and Marie Curie University, Paris VI. France.
- 8Lo et al. (2018) Lo G.S, Ngom M., Kpanzou T.A, Diallo M. Weak Convergence (IIA) - Functional and Random Aspects of the Univariate Extreme Value Theory . Arxiv : 1810.01625
