1 Introduction
Many statistical methods depend on an assumption that the data under consideration are drawn from a certain distribution, or at least from a distribution that is approximately similar to that particular distribution. For example, test of normality for residuals are needed after fitting a linear regression in order to satisfy the normality assumption of the model. Distributional assumption is important because, in most cases, it dictates the methods that can be used to estimate the unknown parameters and also determines the procedures that staticticians may apply. There are some goodnessoffit tests available to determine whether a sample comes from the assumed distribution. Those popular tests include the KolmogorovSmirnov (KS) test, Cramérvon Mises (CvM) test, AndersonDarling test, and DurbinWatson test. In this article, we will be focusing ourselves to the KS and CvM tests.
Let
be independently and identically distributed random variables supported on
with an absolutely continuous distribution function and a density . The classical nonparametric estimator of has been the empirical distribution function defined by(1) 
where denotes the indicator function of a set . It is obvious that is a step function of height at each observed sample point . When considered as a pointwise estimator of , is an unbiased and strongly consistent estimator with .
In this setting, the KolmogorovSmirnov statistic utilizes the empirical distribution function
to test the null hypothesis
againsts the alternative hypothesis
where
is the assumed distribution function. The test statistic is defined as
(2) 
If under a significance level the value of is larger than a certain value from Kolmogorov distribution table, we will reject . Likewise, under the same circumstance, the statistic of the Cramérvon Mises test is defined as
(3) 
and we reject the null hypothesis when the value of is larger than a certain value from Cramérvon Mises table.
Several discussions regarding those goodnessoffit tests have been around for decades. The recent articles include the distribution of KS and CvM tests for exponential populations (Evans et al. 2017), revision of twosample KS test (Finner and Gontscharuk 2018), KS test for mixed distributions (Zierk et al. 2020), KS test for bayesian ensembles of phylogenies (Antoneli et al. 2018), CvM distance for neighbourhoodofmodel validation (Baringhaus and Henze 2016), rankbased CvM test (Curry et al. 2019), and model selection using CvM distance in a fixed design regression (Chen et al. 2018).
Though the standard KS and CvM tests work really well, but it does not mean they bear no problem. The lack of smoothness of causes too much sensitivity near the center of distribution, especially when is small. Hence, it is not unusual to find the supremum value of is attained when is near the center of distribution, or the value of gets larger because is large when the data is highly concentrated in one area. Furthermore, given the information that is absolutely continuous, it seems to be more appropriate to use a smooth and continuous estimator of rather than the empirical distribution function for testing the goodnessoffit.
The other maneuver that can be used for estimating the cummulative distribution function nonparametrically is the kernel method. Let be a symmetric continuous nonnegative kernel function with , and be the bandwidth satisfying and when . Hence, Nadaraya (1964) defined the naive kernel distribution function estimator as
(4) 
where . It is easy to prove that this kernel distribution function estimator is continuous, and satisfies all the properties of a distribution function.
Several properties of
are well known. The bias and the variance are
(5)  
(6) 
where . The almost sure uniform convergence of to was proved by Nadaraya (1964), Winter (1973), and Yamato (1973), while Yukich (1989) extended this result to higher dimensions. Watson and Leadbetter (1964) proved the asymptotic normality of . Moreover, several authors showed that the asymptotic performance of is better than that of , see Azzalini (1981), Reiss (1981), Falk (1983), Singh et al. (1983), Hill (1985), Swanepoel (1988), Shirahata and Chu (1992), and Abdous (1993).
It is natural if one uses the naive kernel distribution function estimator in place of the empirical distribution function to smooth the KS and CvM statistics out. By doing that, we may expect to eliminate the oversensitivity that standard KS and CvM statistics have. Therefore, the formulas become
(7) 
and
(8) 
Omelka et al. (2009) proved that under the null hypothesis, the distribution of the statistics converge to the same distributions as the standard KS and CvM.
Though both tests are versatile in most settings, but when the support of the data is strictly smaller than the entire real line, the naive kernel distribution function estimator suffers the so called boundary problem. This problem happens because the estimator still puts some weights outside the support . Even though in some cases (e.g. when is the boundary point) the boundary effects of is not as severe as in the kernel density estimator, but the problem still occurs. It is because the value of is still larger than (or less than ) at the boundary points. This phenomena cause large value of in the boundary regions, and then and tend to be larger than they are supposed to be, leading to the rejection of even though is right. To make things worse, section 4 will illustrate how this problem enlarges type2 error by accepting the null hypothesis when it is wrong.
Some articles have suggested methods to solve the boundary bias problem in the density estimation, such as data reflection by Schuster (1985); simple nonnegative boundary correction by Jones and Foster (1996); boundary kernels by Müller (1991), Müller (1993), and Müller and Wang (1994); generating pseudo data by Cowling and Hall (1996); and hybrid method by Hall and Wehrly (1991). Even though only few literature discusses how to extend previous ideas for solving the problem in the distribution function estimation, but it is reasonable to assume those methods are applicable for such case.
In this article we will try another idea to remove the boundary effects, which is utilizing bijective mappings. How we remove the boundary effects from the naive kernel distribution function estimator will be discussed in section 2, and how to modify the goodnessoffit tests with those idea will be explained in section 3. Some numerical studies are discussed in section 4, and the proofs of our theorems can be found in the appendices.
2 Boundaryfree kernel distribution function estimator
In this section, we will explain how to use bijective transformations to solve the boundary problem in kernel distribution function estimation. It is obvious that if we can find an appropiate function that maps to bijectively, we will not put any weight outside the support. Hence, instead of using , we will apply the kernel method for . To make sure our idea is mathematically applicable, we need to impose some conditions before moving on to our main focus. The conditions we took are:

the kernel function is nonnegative, continuous, and symmetric at

the integral is finite and

the bandwidth satisfies and when

the increasing function transforms onto

the density and the function are twice differentiable
The conditions C1C3 are standard conditions for kernel method. Albeit it is sufficient for to be a bijective function, but the increasing property in C4 makes the proofs of our theorems simpler. The last condition is needed to derive the biases and the variances formula.
Under those conditions, we define the boundaryfree kernel distribution function estimator as
(9) 
where is the bandwidth and is an appropriate bijective function. As we can see, is basically just a result of simple subsitution of and to the formula of
. Though it looks simple, but the argument behind this idea is due to the changeofvariable property of distribution function, which cannot always be done to another probabilityrelated functions. Its bias and variance are given in the following theorem.
Theorem 2.1
Under the conditions C1C5, the bias and the variance of are
(10)  
(11) 
where
(12) 
Remark 2.2
It is easy to prove that is a positive number. Then, since is an increasing function, the variance of our proposed estimator will be smaller than when . On the other hand, though it is difficult to conclude in general case, if we carefully take the mapping , the bias of our proposed method is much faster to converge to than . For example, when and we choose , in the boundary region when the bias will converge to faster and .
Similar to most of kernel type estimators, our proposed estimator attains asymptotic normality, as stated in the following theorem.
Theorem 2.3
Under the condition C1C5, the limiting distribution
(13) 
holds.
Furthermore, we also establish strong consistency of the proposed method.
Theorem 2.4
Under the condition C1C5, the consistency
(14) 
holds.
Even though it is not exactly related to our main topic of goodnessoffit tests, but it is worth to add that from we can derive another kerneltype estimator. It is clear that the density function is equal to , then we can define a boundaryfree kernel density estimator as , which is
(15) 
As eliminates boundary bias problem, this new estimator does the same thing and can be a good competitor for another boundary bias reduction kernel density estimators. The bias and the variance of its are as follow.
Theorem 2.5
Under the condition C1C5, also if exists and is continuous, then the bias and the variance of are
(16)  
(17) 
where
(18) 
3 Boundaryfree kernelsmoothed KS and CvM tests
As we discussed before, the problem of the standard KS and CvM statistics is in the oversensitivity near the center of distribution, because of the lack of smoothness of the empirical distribution function. Since the area around the center of distribution has the highest probability density, most of the realizations of the sample are there. As a result, jumps a lot in those area, and it causes some unstability of estimation especially when is small. Conversely, though smoothing and out using kernel distribution function can eliminate the oversensitivity near the center, the value of and become larger than it should be when the data we are dealing with is supported on an interval smaller than the entire real line. This phenomenon is caused by the boundary problem.
Therefore, the clear solution to overcome the problems of standard and naive kernel goodnessoffit tests together is to keep the smoothness of and to get rid of the boundary problem simulateously. One of the idea is by utilizing the boundaryfree kernel distribution function estimator in section 2. Therefore, we propose boundaryfree kernelsmoothed KolmogorovSmirnov statistic as
(19) 
and boundaryfree kernelsmoothed Cramérvon Mises statistic as
(20) 
where is our proposed estimator with a suitable function .
Remark 3.1
Although the supremum and the integral are evaluated througout the entire real line, but we can just compute them over , as on the outside of the support we have .
Although the formulas seem similar, one might expect both proposed tests are totally different with the standard KS and CvM tests. However, these two following theorems explain that the standard ones and our proposed methods turn out to be equivalent in the sense of distribution.
Theorem 3.2
Let and be distribution functions on set . If and are the standard and the proposed KolmogorovSmirnov statistics, respectively, then under the null hypothesis ,
(21) 
Theorem 3.3
Let and be distribution functions on set . If and are the standard and the proposed Cramérvon Mises statistics, respectively, then under the null hypothesis ,
(22) 
Those equivalencies allow us to use the same distribution tables of the standard goodnessoffit tests for our new statistics. It means, with the same significance level , the critical values are same.
4 Numerical studies
We will show the results of our numerical studies in this section. The studies consist of two parts, the simulations of the proposed estimators and , and then the results of the new goodnessoffit tests and .
4.1 boundaryfree kernel DF and PDF estimations results
For the simulation to show the performances of the new distribution function estimator, we calculated the average integrated squared error (AISE) and repeated them times for each case. We compared the naive kernel distribution function estimator and our proposed estimator . In the case of the proposed method, we chose two mappings for each case. When , we used the logarithm function and a composite of two functions , where . However, if
, we utilized probit and logit functions. With size
, the generated samples were drawn from gamma , weibull , standard lognormal , absolutenormal , standard uniform, and beta distributions with three different sets of parameters (
, , and ). The kernel function we used here is the Gaussian Kernel and the bandwidths were chosen by crossvalidation technique. We actually did the same simulation study using the Epanechnikov Kernel, but the results are quite similar. Graphs of some chosen cases are shown as well in Figure 1.Distributions  
    
    
    
    
    
    
    
   
As we can see in Table 1, our proposed estimator outperformed the naive kernel distribution function. Though the differences are not so big in the cases of gamma, weibull, and the lognormal distributions, but the gaps are glaring in the absolutenormal case or when the support of the distributions is the unit interval. The cause of this phenomena might be seen in Figure 1.
Albeit the shapes of and are more similar to the theoretical distribution in Figure 1(a), but we have to admit that the shape of is not so much different with the rests. However in Figure 1(b), (c), and (d), it is obvious that the naive kernel distribution function is too faroff the mark, particularly in the case of . As the absolutenormal, uniform, and beta distributions have quite high probability density near the boundary point (also for unit interval case), the naive kernel estimator spreads this "high density information" around the boundary regions. However, since cannot detect the boundaries, it puts this "high density information" outside the support as well. This is not happening too severely in the case of Figure 1(a) because the probability density near is fairly low. Hence, although the value of might be still positive when , but it is not so far from and vanishes quickly
Remark 4.1
Figure 1(c) and (d) also gave a redalert if we try to use the naive kernel distribution function in place of empirical distribution for goodnessoffit tests. As the shapes of in Figure 1(c) and (d) resemble the normal distribution function a lot, if we test , we will find the tests may not reject the null hypothesis. This shall cause the increment of type2 error.
Remark 4.2
It is worth to note that in Table 1, even though performed better, but its differences are too little to claim that it outperformed . From here we can conclude that probit and logit functions work pretty much the same for .
Since we introduced as a new boundaryfree kernel density estimator, we also provide some illustrations of its performances in this subsection. Under the same settings as in the simulation study of the distribution function case, we can see the results of its simulation in Table 2 and Figure 2.
Distributions  
    
    
    
    
    
    
    
   
From AISE point of view, once again our proposed estimator outperformed the naive kernel one, and huge gaps happened as well when the support of the distribution is the unit interval. We may take some interests in Figure 2(b), (c), and (d), as the graphs of are too different with the theoretical ones, and more similar to the gaussian bell shapes instead. This situation resonates with our claim in Remark 4.1.
4.2 boundaryfree kerneltype KS and CvM tests simulations
We provide the results of our simulation studies regarding the new KolmogorovSmirnov and Cramérvon Mises tests in this part. As a measure of comparison, we calculated the percentage of rejecting several null hypothesis when the samples were drawn from certain distributions. When the actual distribution and the null hypothesis are same, we expect the percentage should be close to (significance level in percent). However, if the real distribution does not match the , we hope to see the percentage is as large as possible. To illustrate how the behaviours of the statistics change, we generated a sequential numbers of sample sizes, started from until , with repetitions for each case. We chose level of significance , and we compared the standard KS and CvM tests with our proposed tests.
From Figure 3, we see that the modified KS and CvM tests outperformed the standard ones, especially the proposed KS test with logarithm as the bijective transformation. From Figure 3(a), (c), and (d), KS test with function has the highest percentage of rejecting even when the sample sizes were still . However, even though the new CvM test with logarithmic function was always the second highest in the beginning, was also the first one that reached . On the other hand, based on Figure 3(b) we can say all statistical tests (standard and proposed) were having similar stable behaviours, as their numbers were still in the interval . However at this time, performed slightly better than the others, because its numbers in general were the closest to .
Similar things happened when we drew the samples from the standard lognormal distribution, which our proposed methods outperformed the standard ones. However this time, the modified KS test with always gave the best results. Yet, we may take some notes from Figure 4. First, although when all the percentages were far from in Figure 4(c), but after every tests went stable inside interval. Second, as seen in Figure 4(d), it seems difficult to reject when the actual distribution is , even could only reach rejection after . While, on the other hand, it was quite easy to reject as most of the tests already reached rejection when (similar to Figure 3(a)).
Something more extreme happened in Figure 5, as all of the tests could reach 100% rejection rate since , even since in Figure 5(d). Though seems strange, the cause of this phenomenon is obvious. The shape of the distribution function of is so different with other three distributions in this study, especially with . Hence, even with small sample size, the tests could reject the false null hypothesis. However, we still are able to claim that our proposed tests worked better than the standard goodnessoffit tests, because before all the tests reached 100% point, the standard KS and CvM tests had the lowest percentages.
From this numerical studies, we can conclude that both the standard and the proposed KS and CvM tests will give the same result when the sample size is large. However, if the sample size is small, our proposed methods will give better and more reliable results.
5 Conclusion
This article has proposed new boundaryfree kernelsmoothed KolmogorovSmirnov and Cramérvon Mises tests when the data is supported on a proper subset of the real line. First we constructed a new boundaryfree estimator of the distribution function using bijective transformations (we also intriduced a new boundaryfree density estimator). After deriving the formulas of the bias and the variance of the estimator, we defined the new goodnessoffit tests. The properties of our proposed methods have been discovered and discussed. Moreover, the results of the numerical studies reveal superior performances of the proposed methods.
Bibliography
Abdous, B. 1993. Note on the minimum mean integrated squared error of kernel estimates of a distribution function and its derivatives. Communications in Statistics – Theory and Methods 22: 603–609. doi: 10.1080/03610929308831040
Antoneli, F. et al. 2018. A KolmogorovSmirnov test for the molecular clock based on bayesian ensembles of phylogenies. PLoS ONE 13(1): e0190826. doi: 10.1371/journal.pone.0190826
Azzalini, A. 1981. A note on the estimation of a distribution function and quantiles by a kernel method.
Biometrika 68: 326–328. doi: 10.2307/2335836Baringhaus, L. and N. Henze. 2017. Cramérvon Mises distance: Probabilistic interpretation, confidence intervals, and neighbourhoodofmodel validation.
Journal of Nonparametric Statistics 29: 167–188. doi: 10.1080/10485252.2017.1285029Chen, H., M. Döring, and U. Jensen. 2018. Test for model selection using Cramérvon Mises distance in a fixed design regression setting. AStA Advances in Statistical Analysis 102: 505–535. doi: 10.1007/s1018201703170
Cowling, A., and P. Hall. 1996. On pseudodata methods for removing boundary effects in kernel density estimation. Journal of the Royal Statistical Society B 58: 551–563. doi: 10.2307/2345893
Curry, J., X. Dang, and H. Sang. 2019. A rankbased CramérvonMisestype test for two samples. Brazilian Journal of Probability and Statistics 33(3): 425–454. doi: 10.1214/18BJPS396
Evans. D. L., J. H. Drew, and L. M. Leemis. 2017. The distribution of the KolmogorovSmirnov, Cramervon Mises, and AndersonDarling test statistics for exponential populations with estimated parameters. Computational Probability Applications 247: 165–190. doi: 10.1007/9783319433172_13
Falk, M. 1983. Relative efficiency and deficiency of kernel type estimators of smooth distribution functions. Statistica Neerlandica 37: 73–83. doi: 10.1111/j.14679574.1983.tb00802.x
Finner, H., and V. Gontscharuk. 2018. Twosample KolmogorovSmirnovtype tests revisited: Old and new tests in terms of local levels. Annals of Statistics 46(6A): 3014–3037. doi:10.1214/17AOS1647
Hall, P., and T. E. Wehrly. 1991. A geometrical method for removing edge effects from kerneltype nonparametric regression estimators. Journal of the American Statistical Association 86: 665–672. doi: 10.1080/01621459.1991.10475092
Hill, P. D. 1985. Kernel estimation of a distribution function. Communications in Statistics – Theory and Methods 14: 605–620. doi: 10.1080/03610928508828937
Jones, M. C., and P. J. Foster. 1996. A simple nonnegative boundary correction method for kernel density estimation. Statistica Sinica 6: 1005–1013
Loeve, M (1963) Probability Theory. New Jersey: Van NostrandReinhold.
Müller, H. G. 1991. Smooth optimum kernel estimators near endpoints. Biometrika 78: 521–530. doi: 10.1093/biomet/78.3.521
Müller, H. G. 1993. On the boundary kernel method for nonparametric curve estimation near endpoints. Scandinavian Journal of Statistics 20: 313–328
Müller, H. G., and J. L. Wang. 1994. Hazard rate estimation under random censoring with varying kernels and bandwidths. Biometrics 50: 61–76. doi: 10.2307/2533197
Nadaraya, E. A. 1964. Some new estimates for distribution functions. Theory of Probability and Its Applications 9: 497–500. doi: 10.1137/1109069
Omelka, M., I. Gijbels, and N. Veraverbeke. 2009. Improved kernel estimation of copulas: weak convergence and goodnessoffit testing. Annals of Statistics 37: 3023–3058. doi: 10.1214/08AOS666
Reiss, R. D. 1981. Nonparametric estimation of smooth distribution functions. Scandinavian Journal of Statistics 8(2): 116–119
Schuster, E. F. 1985. Incorporating support constraints into nonparametric estimators of densities. Communication in Statistics – Theory and Methods 14: 1123–1136. doi: 10.1080/03610928508828965
Shirahata, S., and I. S. Chu. 1992. Integrated squared error of kernel type estimator of distribution function. Annals of the Institute of Statistical Mathematics 44: 579–591. doi: 10.1007/BF00050707
Singh, R. S., T. Gasser, and B. Prasad. 1983. Nonparametric estimates of distribution functions. Communications in Statistics – Theory and Methods 12: 2095–2108. doi: 10.1080/03610928308828593
Swanepoel, J. W. H. 1988. Mean integrated squared error properties and optimal kernels when estimating a distribution function. Communications in Statistics – Theory and Methods 17: 3785–3799. doi: 10.1080/03610928808829835
Watson, G. S., and M. R. Leadbetter. 1964. Hazard analysis 2. Sankhyā: The Indian Journal of Statistics, Series A 26: 101–106
Winter, B. B. 1973. Strong uniform consistency of integrals of density estimators. Canadian Journal of Statistics 1: 247–253. doi: 10.2307/3315003
Yamato, H. 1973. Uniform convergence of an estimator of a distribution function. Bulletin of Mathematical Statistics 15: 69–78
Yukich, J. E. 1989. A note on limit theorems for perturbed empirical processes. Stochastic Process and Applications 33: 163–173. doi: 10.1016/03044149(89)900732
Zierk, J. et al. 2020. Reference interval estimation from mixed distributions using truncation points and the KolmogorovSmirnov distance (kosmic). Scientific Reports 10: 1704. doi: 10.1038/s41598020587492
Appendix
proof of theorem 2.1
Utilizing the usual reasoning of i.i.d. random variables and the transformation property of expectation, with , we have
and we obtained the . For the variance of , we first calculate
and we got the variance.
proof of theorem 2.3
For some , using Hölder and Cramér inequalities, we have
But, since for any , then
Also, because , we get
when . Hence, by Loeve (1963), and with the fact , we can conclude its asymptotic normality.
proof of theorem 2.4
Let and be the distribution function and the naive kernel distribution function estimator, respectively, of , where . Since is a naive kernel distribution function, then Nadaraya (1964) guarantees that , which implies that
However, because , and it is clear that , then this theorem is proven.
proof of theorem 2.5
Using the similar reasoning as in the proof of Theorem 2.1, we have
and we obtained the bias formula. For the variance, first we have to calculate
and the rests are easily done.
proof of theorem 3.2
First, we need to consider the following inequality
Now, let and be the empirical distribution function and the naive kernel distribution function estimator, respectively, of , where . Hence, Omelka et al. (2009) guarantees that , which further implies that
with rate . But, and , and the equivalency is proven.
proof of theorem 3.3
In this proof, we assume the bandwidth . Let us define
Then, we have
where
Note that if , and , also and , are independent.
It follows from the ChauchySchwarz Inequality that
Let us define the bias
Hence, it follows from the independence that
Furthermore, we have
It follows from the mean squared error of