# Exact inference on scaling parameters in norm and antinorm contoured sample distributions

- Wolf-Dieter Richter
^{1}Email author

**3**:8

https://doi.org/10.1186/s40488-016-0046-z

© Richter. 2016

**Received: **6 October 2015

**Accepted: **14 March 2016

**Published: **1 April 2016

## Abstract

Exact distributions of generalized Chi-square and Fisher statistics are used to derive confidence intervals and significance tests for inferring on one or two scaling parameters, respectively, under non-standard assumptions w.r.t. the multivariate sample distribution. The latter may have convex or radially concave density level sets and heavy or light distribution centers and tails. Independent and *l*
_{
n,p
}-dependent sample variables are considered.

### Keywords

Estimating and testing scaling parameters Non-standard model assumptions Generalized Chi-square and Fisher distributions Heavy and light distribution tails Heavy and light distribution centers Independence sampling Dependence sampling## Introduction

The well known Chi-square and Fisher distributions were introduced already a long time ago in (Fisher 1924a, b;1925; Hermert 1876; Pearson 1900), respectively. Since then, methods of statistical inference on variances are extensively studied under various aspects in numerous papers, see e.g. (Mirvaliev 1987; Plackett 1983; Statlect 2016) and the recent survey in (Bolboaca et al. 2011), for only to mention a few of them.

It is often natural to assume that expectations are unknown and thus to additionally be estimated when studying variances. In some cases, however, it may be reasonable to assume that expectations are known. Assume, for example, a company produces tubes of a certain norm length. The production dependent deviations from this length may according to (Bomsdorf 1989), p. 162 be considered as normally distributed with expectation zero and unknown variance. If the company indicates to customers a certain variance of tube length then one might be interested in proving this.

The successful fulfillment of manufacturing orders requires according to (Haidenhain 2011) machine tools with high thermal stability. Rapidly changing operating conditions for machine tools, however, may lead to unknown variances of technical features having a known expectation and make it difficult to constantly ensure accuracy in production processes.

Moreover, comparing in another situation instrumental accuracy by measuring a certain standard several times with two gages may generate random samples having the same known mean and unknown variances which one might be interested then to compare with each other.

If in such situations independent random variables *X*
_{1},…,*X*
_{
n
} and *Y*
_{1},…,*Y*
_{
m
} follow Gaussian laws with known expectations *μ*
_{1},*μ*
_{2} and unknown standard deviations *σ*
_{1},*σ*
_{2}, respectively, then, with \( {\hat {\sigma }_{1}^{2}}={\frac {1}{n}}{\sum _{1}^{n}}(X_{i}-\mu _{1})^{2}\) being the maximum likelihood estimator of the variance \({\sigma _{1}^{2}},n\left (\frac {\hat {\sigma }_{1}}{\sigma _{1}}\right)^{2}\) follows a Chi-square density with *n* d.f., and \(\frac {\left (\hat {\sigma }_{1}/\sigma _{1}\right)^{2}}{ \left (\hat {\sigma }_{2}/\sigma _{2}\right)^{2}}\) follows Fisher’s *F*-distribution with (*n,m*) d.f.

The aim of the present paper is to allow more general distributions of the sample vector, and to study exact distributions of generalized Chi-square and Fisher statistics being based upon the maximum likelihood estimators of the model’s scaling parameters. The multivariate sample distributions considered to this end are convex or radially concave contoured. These two distribution classes are subclasses of the family of star-shaped distributions.

The paper is organized as follows. Star-shaped distributions are introduced in Section 2. A one sample non-standard scaling model for i.i.d. power exponentially distributed random variables and a certain extension of it are introduced in Section 3.1. Confidence estimation of and significance testing of hypotheses on the scaling parameter are discussed in Sections 3.2 and 3.4 for *p*-power exponential and more general sample distributions, respectively. Preparations for the latter case are given in Section 3.3. A two sample non-standard scaling parameter model ist studied then in Section 3.5 where estimation and testing are dealt with. A brief comparison of norms and antinorms, generating convex or radially concave level sets of the multivariate sample density, respectively, is given in the Appendix.

Finally, we remark that an introduction to non-standard models and exact distribution theory is given in (Richter 2012, 2014). For closely related studies on expectations and variances based upon *l*
_{
n,p
}-norms and goodness of fitting using *l*
_{
n,p
}-norms for data sets that follow a power exponential distribution, we refer to (Livadiotis 2007, 2012, 2014). For a comparison of the variances of two dependent random variables, see (Wilcox 2015).

## Star-shaped sample distributions

### 2.1 The general class

*l*

_{ n,p }-symmetric and

*p*-generalized elliptically contoured distributions considered, e.g., in (Richter 2012, 2014), respectively. Let \(K\subset \mathbb {R}^{n}\) denote a star body with the origin being an inner point, and let

*S*be its topological boundary which will be called a star sphere. The Minkowski functional of

*K*is defined by \(h_{K}(x)=\inf \{\lambda >0:x\in \lambda K\},\, x\in \mathbb {R}^{n}\) and satisfies

*h*

_{ K }(

*x*)=1,

*x*∈

*S*. Assume that a random vector

*X*defined on a probability space \((\Omega, \mathfrak {A}, P)\) allows the stochastic representation

*R*is a non-negative random variable and

*U*

_{ S }follows independently of

*R*the

*S*-generalized uniform distribution

*ω*

_{ S }on

*S*. Then

*X*is called origin-including star-shaped distributed. Note that \(X\overset {d}{=}Y\) means that

*X*and

*Y*follow the same distribution law, and

*σ*-field in \(\mathbb {R}^{n}\) and

*O*

_{ S }the star generalized surface content measure on \(\mathfrak {B}_{S}\). If

*μ*stands for the Lebesgue measure on \(\mathfrak {B}^{n}\) and \(CPC(A)=\{x\in \mathbb {R}^{n}: x/ h_{K}(x)\in A\}\) is the central projection cone generated by \(A\in \mathfrak {B}_{S}\) then the star generalized surface content of

*A*is formally defined for a particular class of star spheres

*S*in (Richter 2007) and under the weak technical Assumption 1 for general star spheres in (Richter 2014) by

*O*

_{ S }which can equivalently be taken as a definition of

*O*

_{ S }are given for particular classes of star bodies in (Richter 2009, 2013) and for arbitrary two-dimensional convex star bodies in (Richter 2015b). Note that, e.g., the well known (Richter 2007)

*l*

_{ n,p }-generalized (non-Euclidean) surface content of the

*l*

_{ n,p }-unit sphere,

is equal to the Euclidean surface content, if and only if *p*=2.

There are widespread miss-understandings w.r.t. this circumstance in the literature. The reader should be aware that there is some literature where formulas are derived which are called surface content and uniform distribution, respectively, however neither defining in advance the notion of surface content nor referring to literature where such definition is given.

*n*-dimensional convex or radially concave star bodies is dealt with under different aspects in (Richter 2016, c, 2016). A general result in (Richter 2016) says that

If *X* is origin-including star-shaped distributed and *ν*∈*s*
*t*(*K*) where *s*
*t*(*K*) denotes the set of all points w.r.t. which *K* is star-shaped then *X*−*ν* is also origin-including star-shaped distributed. If, however, *ν* does not belong to *s*
*t*(*K*) then *X*−*ν* will be called just star-shaped distributed. The first of these two cases is dealt with in (Richter 2014), Section 5.1 where non-concentric elliptically contoured distributions are introduced. Both cases are considered when studying non-central Chi-square distributions in (Ittrich et al. 2000). For a density having non-concentric circular contours with centers on a straight line, see (Arnold et al. 2008).

###
**Example**.

*p*≥1, and \(K=\left \{x\in \mathbb {R}^{n} : \left (\sum \limits _{i=1}^{n}|\frac {x_{i}}{a_{i}}|^{p}\right)^{1/p}\leq 1 \right \}\). Then, according to (Richter 2014), the star-generalized surface content measure on the boundary

*S*of

*K*is

The special case *p*=2 has been dealt with in (Richter 2013).

### 2.2 Norm contoured distributions

*h*

_{ K }(.)=||.||, and that according to (Richter 2015c)

where \(G(A)=\left \{\vartheta \in \mathbb {R}^{n-1}:\, \exists \,\eta =\eta (\vartheta) \, s.t. \, \left (\vartheta ^{T},\eta (\vartheta)\right)^{T}\in A\right \} \) and ||.||^{∗} denotes the norm dual to ||.|| and *N*(*𝜗*)=(∇*η*(*𝜗*)^{
T
},−1)^{
T
} is the outer normal vector to *S* at (*𝜗*
^{
T
},*η*(*𝜗*))^{
T
}. If *K* is the star body from the Example in Section 2.1 then (3) takes the specific form (2).

*A*of the star sphere

*S*is a sum of integrals, in general. If

*S*

^{+}and

*S*

^{−}, however, denote upper and lower half spheres of the norm sphere

*S*, and \(K^{*}=\{y\in \mathbb {R}^{n}: ||y||^{*}\leq 1\}\), then

For simplicity, and in accordance with Definition 1, Lemma 1 and Corollary 1 in (Richter 2014), however, *O*
_{
S
}(*A*) will be represented throughout this paper symbolically by a single integral.

Finally note that formula (1) applies whenever it is possible to evaluate the volume of a convex body. W.r.t. this research area we refer, e.g., to (Pisier 1989) and a discussion on page 11 in (Richter 2011).

Note that *K*
^{∗} is always a symmetric convex star body and defines therefore a metric geometry in the sense of (Burago et al. 2001).

### 2.3 Antinorm contoured distributions

*K*is radially concave w.r.t. a fan \(\mathcal {F}=\{C_{1},C_{2},\ldots \}\) and belongs to the particular class

*A*

*N*1 of star bodies introduced in (Richter 2015c) then its Minkowski functional is an antinorm,

*h*

_{ K }(.)= ∤.∤. For the notion of antinorm, we refer to (Moszyńska and Richter 2012) and the Appendix. Let

*K*w.r.t. \(\mathcal F\) and

*K*where \(S_{E}^{(n-1)}\) denotes the Euclidean unit sphere in \(\mathbb {R}^{n}\) then according to (Richter 2015c)

where *N*(*x*) is the inner normal vector to *S* at *x*∈*S*.

###
**Example**.

Let the antinorm ball and sphere *K* and *S*, respectively, be formally defined as in the preceding example but with *p*∈(0,1], and let *a* still be a vector with positive components. Then the *S*-generalized surface content measure \(\mathfrak {O}_{S} \) satisfies representation (2). Notice, however, that we are evaluating star generalized surface contents of subsets of antinorm spheres, here, while star generalized surface contents of subsets of norm spheres are considered in the preceding example. Notice that 1−1/*p*>0 if *p*>1 and 1−1/*p*<0 if 0<*p*<1.

### 2.4 Continuous distributions

Let a function *g*: [0,*∞*)→[0,*∞*) satisfy the assumptions 0<*I*(*g*)<*∞* where \(I(g)= \int \limits _{0}^{\infty } r^{n-1}g(r)dr\). Such function is called a density generating function (dgf). A dgf can be used modeling light or heavy distribution centers and tails. Moreover, it allows even modeling complete level distributions. Well known examples are power-*t* exponential dgf \(g_{PE}(r)=\exp \left \{-\frac {r^{p}}{p}\right \}\), Kotz type dgf \(\phantom {\dot {i}\!}g_{K}(r)=r^{M-1}e^{-\beta r^{\gamma }},\beta, \gamma >0,2M+n>2\) and Pearson-VII-type dgf \(g_{PT7}(r)=\left (1+\frac {r}{m}\right)^{-M}, M> n/2, m>0\) where \( I(g_{PE})= p^{n/p-1} \Gamma (n/p),I(g_{K})=\frac {\Gamma ((n+M-1)/\gamma)} {\gamma \beta ^{(n+M-1)/\gamma }}\) and *I*(*g*
_{
P
T7})=*m*
^{
n
}
*B*(*M*−*n,n*), respectively. Student- and Cauchy-type dgf’s are special cases of *g*
_{
P
T7}.

*X*has a probability density (p.d.),

*φ*

_{ g, K,ν }say, then

*R*is

denotes the intersection proportion function (ipf) of the set *B*.

If *K* is the Euclidean unit ball then *K*
^{∗}=*K* and *O*
_{
S
} is the Euclidean surface content measure. In this case, representation (6) has been considered already in (Richter 1985, 1991). For specific non-Euclidean cases, (6) has been considered in (Richter 2007, 2009, 2013, 2014).

Surveys of different types of applications of formula (6) are given for *n*=2 in (Richter 2015b) and for arbitrary *n* in (Richter 2012, 2014). For two elementary applications, see Section 2.6.

### 2.5 Building subclasses and class extensions

#### 2.5.1 Building subclasses of distributions by modeling *R*

Let us denote the probability law of the generating variate *R* by *P*
^{
R
}, and let *ν* be a *σ*-finite measure on the Borel *σ*-field \(\mathfrak {B}^{(1)}\) (or its restriction to the positive real line) such that *P*
^{
R
} is absolutely continuous w.r.t. *ν*. If *ν* is the Lebesgue measure on \(\mathfrak {B}^{(1)}\) then \({\frac {dP^{R}}{d\nu }}(r)=f(r)\) is the p.d. considered in Section 2.4. In Sections 2.2 and 2.3, *P*
^{
R
} can be chosen as the distribution of any non-negative random variable thus \({\frac {dP^{R}}{d\nu }}\) being a mixture of an absolutely continuous, a discrete and a singular component, in general.

#### 2.5.2 Extending distribution classes by restricting *U*

*S*circumscribes the origin as in inner point. Let \(\mathcal {M}\) be a measurable subset of the star sphere

*S*. We call a random vector \(U_{\mathcal {M}}\) star-generalized uniformly distributed on \(\mathcal {M}\) (or the \({\mathcal {M}}\)-restriction of

*U*) if \(U_{\mathcal {M}}\) follows the distribution law

Note that \(U_{S}\overset {d}{=}U\) and that \(\text {pos} \mathcal {M}\) is not an absorbing set unless for \(\mathcal {M}=S\).

For an example of an \(\mathcal {M}\)-restriction of *U* occuring in depth-based classification for distributions with non-convex support, we refer to (Hlubinka and Vencalek 2013).

*Y*the class of directionally \(\mathcal {M}\)-out-of-

*S*restricted distributions and

*S*restricted distributions. Finally,

### 2.6 Two elementary types of applications of formula (6)

#### 2.6.1 The ipf is the indicator function of an interval

*X*follows the continuous star-shaped distribution law

*Φ*

_{ g,K,ν }, and let the statistic \(T:\mathbb {R}^{n}\rightarrow [0,\infty)\) be defined by

*T*(

*x*)=

*h*

_{ K }(

*x*−

*ν*). The ipf of the set \(B(t)=\{x\in \mathbb {R}^{n}: T(x)<t\}\) allows then the representation

*S*is still the boundary of

*K*and

*I*(

*t*) is the particular interval [0,

*t*). It follows from (6) that

Similar results hold for arbitrary intervals *I*(*t*). For a specific application of the present type we refer to the calculation of generalized Chi-square densities.

#### 2.6.2 The ipf is constant

Let \(\mathfrak {F}_{B(t)}(r)=C(t) \) where *C*(*t*)∈(0,1) does not depend on *r*. Then it follows from (6) that *P*(*T*<*t*)=*C*(*t*), and *T* is called a *g*-robust statistic. For specific such applications we refer to the geometric derivation of generalized Student and Fisher distributions. The notion of robustness considered here was studied already in (Fang et al. 1990) for elliptically contoured distributions.

Several other types of sets for which the ipf has been calculated already in the past can be found in some of author’s papers surveyed in (Richter 2012, 2014).

## Inference on scaling parameters

### 3.1 The power exponential sample distribution

#### 3.1.1 A basic scaling parameter model

*X*

_{1},…,

*X*

_{ n }follow the power exponential (or

*p*-generalized Gaussian or

*p*-generalized Laplace) density

*f*

_{ p }(.;

*μ*,

*σ*), where

*p*>0 and \(\mathbb {E} X_{1}=\mu \) are known, and

Note that *C*
_{
p
}=*p*
^{1−1/p
}/(2*Γ*(1/*p*)) and \(V(X_{1})= \sigma ^{2} {\Gamma \left ({3\over p}\right)}/{\Gamma \left (\frac {1}{p}\right)}\). Let *X*
_{0} follow the p.d. of the standardized *p*-generalized normal distribution, *f*
_{
p
}(.;0,1). Then *X*
_{1} satisfies the representation \(X_{1}\overset {d}{=}\mu + \sigma X_{0}\). The quantity *σ* is called a scaling parameter.

#### 3.1.2 Norm and antinorm contoured sample distributions

*X*=(

*X*

_{1},…,

*X*

_{ n }) is

which is a norm if *p*≥1 and an antinorm if 0<*p*≤1. Here, \(K=B_{p}=\{x\in \mathbb {R}^{n}:|x|_{p}\leq 1\}\).

The star discs circumscribed by these *p*-circles are convex if *p*≥1 and radially concave if 0<*p*≤1. For the latter notion, we refer to (Moszyńska and Richter 2012). Similar properties hold in the case of arbitrary finite dimension.

*p*>0 and every measurable subset

*A*of the upper (or lower) half of the star sphere

*S*the representation

for *p*≥1 and *p*∈(0,1] being each time a special case of (3) and (4), respectively.

#### 3.1.3 Extended scaling parameter model

*X*

_{1},…,

*X*

_{ n }be i.i.d. random variables following the densities

*σ*>0 is unknown. Note that

*X*

_{ i }allows the representation

where *X*
_{0} has the p.d. *f*
_{
p
}(.;0,1) and *σ* is a common scaling parameter.

### 3.2 Inference on a single scaling parameter

#### 3.2.1 Basic scaling parameter model.

*σ*in the model (7) is the sufficient statistic

\(\hat {\sigma }^{p}\) thus being an unbiased and consistent estimator for *σ*
^{
p
}. The distribution of \(\hat {\sigma }\) can be derived, e.g., on using formula (6) with the help of formula (8). The result follows below from the consideration for the extended scaling parameter model (9).

*S*-generalized surface content of subsets of

*S*according to (8) in the present case because we are dealing here with a set the ipf of which is just the indicator function of an interval. This way it is proved (within a more general framework) in (Richter 2009) (and with a slight modification already in (Richter 2007)) that \(n(\hat {\sigma }/\sigma)^{p}\) follows the

*χ*

^{ p }-(or

*p*-generalized

*χ*

^{2}-) distribution with

*n*d.f., \( n(\hat {\sigma }/\sigma)^{p}\sim \chi ^{p}(n)\) where

*Y*∼

*Q*means that the random variable

*Y*follows the probability distribution

*Q*. The p.d. of the

*χ*

^{ p }(

*n*) distribution is according to (Richter 2007, 2009)

Although assigning in its derivation the number *ω*
_{
n,p
} the Euclidean interpretation instead of the right non-Euclidean one, density (10) was derived later again in (Livadiotis 2012). For a considerable generalization of this density, see (14) below and (Richter 2009). We denote the quantile of order *q*∈(0,1) of the *χ*
^{
p
}(*n*) distribution by \({\chi ^{p}_{q}}(n)\). Thus, by definition \(P\left (n\left (\hat {\sigma }/\sigma \right)^{p}<{\chi ^{p}_{q}}(n)\right)=q\). Note that the *χ*
^{
p
}(*n*) distribution is a particular Gamma distribution having parameters \(\frac {n}{p}\) and \(\frac {1}{p}\). The quantiles of this distribution can therefore be computed using the inverse Gamma function being available in standard software.

#### 3.2.2 Confidence intervals for *σ*
^{
p
}

are level 1−*α* two-sided, and one-sided upper and lower confidence intervals for *σ*
^{
p
}, respectively, with *α*=*α*
_{1}+*α*
_{2} in the two-sided case, and where \(1_{n}=(1,\ldots,1)^{T}\in \mathbb {R}^{n}.\) If *p*=2 then \({\chi ^{p}_{q}}(n)\) is the common quantile of order *q* of the Chi-square distribution with *n* d.f., \({\chi ^{2}_{q}}(n)\). The case *p*=1 is dealt with in (Kotz et al. 2001), formula (2.6.112), where, however, \(2/\chi ^{2}_{1-\alpha /2}(2n)\) is used instead of \(1/\chi ^{1}_{1-\alpha /2}(n)\). Tables 2, 3, 4 and 5 present quantiles \(\chi _{q}^{p}(n)\) for several values of *n, p* and *q*.

#### 3.2.3 Significance testing

*H*

_{0}:

*σ*=

*σ*

_{0}versus the two-sided alternative

*H*

_{ A }:

*σ*≠

*σ*

_{0}then the decision rule of a level-

*α*significance test is defined as to reject

*H*

_{0}if

where *α*=*α*
_{1}+*α*
_{2},0<*α*
_{
i
}<1/2,*i*=1,2. Tests for one-sided hypotheses are analogously constructed.

#### 3.2.4 Extended scaling parameter model

*σ*is

*ν*=(

*μ*

_{1},…,

*μ*

_{ n })

^{ T }and

*X*is called a

*p*-generalized axes aligned elliptically contoured density having the contour defining star body \(K=B_{{a,p}}=\{x\in \mathbb {R}^{n}: |x|_{{a,p}}\leq 1\}\), see (Richter 2014). This density, as well as \(\hat {\sigma }\) allow functional representations

We recall that the intersections *B*∩*S*
_{
a,p
}(*r*),*r*>0, where *S*
_{
a,p
}(*r*)=*r*
*S*
_{
a,p
} and *S*=*S*
_{
a,p
} is the boundary of *K*=*B*
_{
a,p
} are called sometimes the ‘indivisibles’ of a set *B*.

*r*:

*a*=(

*a*

_{1},…,

*a*

_{ n })

^{ T }. Finally,

If one replaces the functional \(|.|_{p}^{p}\) by \(|.|_{{a,p}}^{p}\) in the definitions of the intervals (11) then the new intervals are confidence intervals for *σ*
^{
p
} in the extended scaling parameter model (9).

### 3.3 The *p*-generalized Student’s sample distribution and beyond

*X*=(

*X*

_{1},…,

*X*

_{ n })

^{ T }is not the

*n*-dimensional power exponential one but any other element of the family of

*l*

_{ n,p }-symmetric distributions. Before doing this, let us recall that one of the most famous non-normal spherically contoured distributions is the Student’s

*t*-distribution because of its heavy tails and the remarkable property that all its marginal distributions have a density generating function of the same known type. Moreover, note that the components of a spherically contoured vector are uncorrelated but not independent unless in the Gaussian case. All these properties hold also true for the

*p*-generalized Student’s

*t*-distribution with

*f*degrees of freedom which was studied for dimension one in (Richter 2007) and for arbitrary finite dimension

*n*in Arellano-Valle and Richter (2012). In the latter case, the dgf may be chosen as

*X*is

*X*is an arbitrary

*l*

_{ n,p }-symmetric one having dgf

*g*,

where \(I_{{n,g,p}}=\int \limits _{0}^{\infty } r^{n-1}g(r^{p})dr.\)

This density can be considered as a (*p,g*)-generalization of the classical Chi-square density with *n* d.f., or as a *g*-generalization of the *p*-generalized Chi-square density *f*
_{
n,p
} in (10). We denote the quantile of order *q* of the \({\chi ^{p}_{g}}(n)\)-distribution by \(\chi ^{p}_{g;q}(n), 0<q<1,\) that is \(\chi ^{p}_{g}(n)\left (\chi ^{p}_{g;q}(n)\right)=q\). Note that \(\chi ^{p}_{g_{PE};q}(n)={\chi ^{p}_{q}}(n)\).

Let a random variable following density (14) be denoted by *R*
^{
p
}. Note that tables of quantiles of the distribution of *R* are recently provided in Müller and Richter (2016) for \(n\in \{1,2,3\},p\in \left \{{1\over 2}, 1, 3\right \}\) and different dgfs *g* of power-exponential and Student’s type as well of Pearson type 2.

### 3.4 Inference for generalized sample distributions

*X*is distributed according to an

*l*

_{ n,p }-symmetric distribution, see e.g. (Richter 2009), with a dgf

*g*being different from the power exponential one,

*g*≠

*g*

_{ PE }, then

*X*

_{1},…,

*X*

_{ n }are not further independent. In this case of

*l*

_{ n,p }-dependent observation variables, it is possible to study decision rules for exact inference on scaling parameters as before. Confidence and significance levels of the analogously defined estimators and tests, however, change in dependence of the actual shape of

*g*. It is an immediate consequence from the equation

that the level- *α* confidence intervals in (11) extend to the present *g*-generalized case if all quantiles \({\chi ^{p}_{q}}(n)\) are replaced with \(\chi ^{p}_{g;q}(n)\). Similarly, the same replacement of quantiles *g*-generalizes the level- *α* tests considered in (12).

### 3.5 The ratio of two scaling parameters

#### 3.5.1 The *p*-generalized Fisher statistic and Fisher distribution

*X*

_{1},…,

*X*

_{ n }and

*Y*

_{1},…,

*Y*

_{ m }be completely independent random variables with

*p*>0 and the expectations

*μ*

_{1},

*μ*

_{2}are known and the scaling parameters

*σ*

_{1},

*σ*

_{2}are unknown. With the notation

*X*=(

*X*

_{1},…,

*X*

_{ n })

^{ T },

*Y*=(

*Y*

_{1},…,

*Y*

_{ m })

^{ T }, the

*n*+

*m*-dimensional random vector (

*X*

^{ T }

*Y*

^{ T })

^{ T }follows the distribution

*Φ*

_{ g,K,ν }where the dgf is the power exponential one, \(g(r)=g_{PE}(r)=I_{(0,\infty)}(r)\exp \left \{-\frac {r^{p}}{p}\right \}\), the star body

*K*is the

*p*-generalized ellipsoid

*ν*is \(\left (\mu _{1}{1_{n}^{T}}\mu _{2}{1_{m}^{T}}\right)^{T}\in \mathbb {R}^{n+m}.\) Here,

*t*>0,

*C*

_{ n,m;p }(

*t*) belongs to the second elementary type of sets considered in Section 2.6, thus

*g*. To be specific,

*T*is

*T*, denoted by

*F*

_{ n,m }(

*p*), is called in Richter (2009) the

*p*-generalized Fisher distribution with (

*n,m*) d.f. Finally, it turns out that

Let us denote the *q*’th order quantile of the *p*-generalized Fisher distribution having (*n,m*) d.f. by *F*
_{
n,m;q
}(*p*),*q*∈(0,1).

#### 3.5.2 Confidence intervals

*ξ*[

*e,f*]={

*ξ*·

*s*:

*e*≤

*s*≤

*f*} and

#### 3.5.3 Significance test

we use the distribution of *T* if *H*
_{0} is true to construct a level *α* significance test. In this case, \(T=\frac {m}{ n}\frac {{|X-\mu _{1} 1_{n}|_{p}^{p}}}{{|Y-\mu _{2} 1_{m}|_{p}^{p}}}\). Reject *H*
_{0} if \(\phantom {\dot {i}\!}T<F_{{n,m}; \alpha _{2}}(p)\) or if \(\phantom {\dot {i}\!}T>F_{{n,m};1- \alpha _{1}}(p)\), respectively, where *α*
_{1}>0,*α*
_{2}>0,*α*
_{1}+*α*
_{2}=*α*<1.

###
**Proposition**
**1**.

*n*and

*m*are equal then this rule is equivalent to rejecting

*H*

_{0}if the likelihood ratio statistic is smaller than a constant

*c*∈(0,1) chosen s.t.

*σ*

_{1}=

*σ*

_{2}=

*σ*, say, then

*L*

^{∗}(

*σ*)=

*L*(

*σ*,

*σ*) is the likelihood function for estimating

*σ*, and

*ξ*=|

*x*−

*μ*

_{1}1

_{ n }|

_{ p }

^{ p/2}and

*η*=|

*y*−

*μ*

_{2}1

_{ m }|

_{ p }

^{ p/2}. Because

*n*=

*m*it follows that

*Q*≤

*t, t*∈(0,1) iff

*l*(

*ξ*)≥0 where

*l*(

*ξ*)=

*ξ*

^{2}+

*p*

*ξ*+

*q,p*=−2

*η*/

*t*

^{ p/(2m)}and

*q*=

*η*

^{2}. The two positive solutions of the equation

*l*(

*ξ*)=0 are

*η*>0. Because

*l*(.) is a convex function, the rejection area of

*H*

_{ o }is the set of all

*ξ*satisfying

*ξ*≥

*ξ*

_{1}or

*ξ*≤

*ξ*

_{2}. The latter inequalities are equivalent to

This proves the equivalence of the considered decision rules.

###
**Remark**
**1**.

As we have seen in this section, inferring on the scaling parameters ratio in *l*
_{
n,p
}-symmetric sample distributions can be done in a *g*-robust way. For a discussion of this property see Richter (2009), and note that it goes back in the case *p*=2 to Fang et al. (1990).

## Conclusions

As to shortly summarize the results of this paper, we derived exact confidence intervals and significance tests for single scaling parameters and ratios of two such parameters if the *n*-dimensional sample vector follows a norm or antinorm contoured *l*
_{
n,p
}-symmetric distribution. This assumption includes modeling heavy and light tails of the sample vector’s distribution as well as independence and *l*
_{
n,p
}-dependence sampling. Certain classical results are (*g,p*)-generalized in the present work. The additional methodological benefit coming from the present paper may be estimated having a look at Richter (2012) where a rather general frame of future work is sketched.

Norms and antinorms

Parameter |
| ∈[1, | ∈(0,1] | ∈(− |
---|---|---|---|---|

Functional | |.| | Norm | Antinorm | Semi-antinorm, |

Unit ball |
| Convex | Radially concave | Radially concave |

w.r.t. standard fan in \(\mathbb {R}^{n}\) | w.r.t. standard fan in \(\mathbb {R}^{n}\) | |||

Inverse image of 0 |
| {0} | {0} | \({\cup _{1}^{d}} H_{i}\) |

Quantiles \({\chi ^{p}_{q}}(n),\, p=3.3\)

q ∖ n | 1 | 2 | 3 | 4 | 5 | 10 | 15 | 20 | 25 | 30 |
---|---|---|---|---|---|---|---|---|---|---|

0.005 | 0.00 | 0.00 | 0.01 | 0.05 | 0.12 | 1.14 | 2.92 | 5.17 | 7.73 | 10.51 |

0.01 | 0.00 | 0.00 | 0.02 | 0.08 | 0.20 | 1.47 | 3.51 | 6.00 | 8.77 | 11.76 |

0.025 | 0.00 | 0.01 | 0.06 | 0.18 | 0.37 | 2.08 | 4.54 | 7.39 | 10.49 | 13.78 |

0.05 | 0.00 | 0.02 | 0.12 | 0.32 | 0.60 | 2.75 | 5.58 | 8.75 | 12.15 | 15.71 |

0.1 | 0.00 | 0.06 | 0.26 | 0.58 | 0.99 | 3.70 | 6.98 | 10.55 | 14.29 | 18.16 |

0.9 | 2.95 | 5.19 | 7.07 | 8.78 | 10.39 | 17.70 | 24.42 | 30.86 | 37.12 | 43.25 |

0.95 | 4.56 | 7.17 | 9.30 | 11.20 | 12.98 | 20.93 | 28.13 | 34.96 | 41.57 | 48.02 |

0.975 | 6.31 | 9.21 | 11.53 | 13.60 | 15.52 | 24.00 | 31.61 | 38.79 | 45.70 | 52.42 |

0.99 | 8.75 | 11.96 | 14.50 | 16.75 | 18.82 | 27.91 | 35.98 | 43.55 | 50.81 | 57.85 |

0.995 | 10.67 | 14.07 | 16.75 | 19.11 | 21.29 | 30.78 | 39.16 | 47.00 | 54.49 | 61.74 |

Quantiles \({\chi ^{p}_{q}}(n),\, p=2.5\)

q ∖ n | 1 | 2 | 3 | 4 | 5 | 10 | 15 | 20 | 25 | 30 |
---|---|---|---|---|---|---|---|---|---|---|

0.005 | 0.00 | 0.00 | 0.03 | 0.12 | 0.26 | 1.68 | 3.84 | 6.43 | 9.29 | 12.36 |

0.01 | 0.00 | 0.01 | 0.06 | 0.18 | 0.37 | 2.06 | 4.46 | 7.27 | 10.33 | 13.57 |

0.025 | 0.00 | 0.02 | 0.13 | 0.33 | 0.61 | 2.72 | 5.50 | 8.63 | 11.99 | 15.50 |

0.05 | 0.00 | 0.05 | 0.23 | 0.52 | 0.89 | 3.42 | 6.53 | 9.95 | 13.56 | 17.31 |

0.1 | 0.01 | 0.13 | 0.43 | 0.84 | 1.33 | 4.36 | 7.88 | 11.64 | 15.55 | 19.57 |

0.9 | 2.83 | 4.86 | 6.60 | 8.20 | 9.72 | 16.70 | 23.19 | 29.43 | 35.51 | 41.50 |

0.95 | 4.15 | 6.49 | 8.43 | 10.20 | 11.86 | 19.38 | 26.28 | 32.87 | 39.26 | 45.52 |

0.975 | 5.56 | 8.13 | 10.24 | 12.15 | 13.93 | 21.92 | 29.17 | 36.06 | 42.71 | 49.21 |

0.99 | 7.50 | 10.32 | 12.62 | 14.68 | 16.60 | 25.11 | 32.77 | 40.00 | 46.96 | 53.72 |

0.995 | 9.01 | 12.00 | 14.41 | 16.57 | 18.58 | 27.44 | 35.37 | 42.83 | 50.00 | 56.95 |

Quantiles \({\chi ^{p}_{q}}(n),\, p=0.75\)

q ∖ n | 1 | 2 | 3 | 4 | 5 | 10 | 15 | 20 | 25 | 30 |
---|---|---|---|---|---|---|---|---|---|---|

0.005 | 0.02 | 0.19 | 0.50 | 0.92 | 1.40 | 4.35 | 7.76 | 11.43 | 15.25 | 19.19 |

0.01 | 0.03 | 0.25 | 0.62 | 1.08 | 1.61 | 4.74 | 8.31 | 12.10 | 16.04 | 20.08 |

0.025 | 0.06 | 0.36 | 0.82 | 1.36 | 1.96 | 5.37 | 9.16 | 13.14 | 17.24 | 21.43 |

0.05 | 0.10 | 0.49 | 1.02 | 1.64 | 2.29 | 5.96 | 9.94 | 14.08 | 18.33 | 22.65 |

0.1 | 0.17 | 0.68 | 1.31 | 2.00 | 2.73 | 6.69 | 10.89 | 15.22 | 19.64 | 24.10 |

0.9 | 2.14 | 3.64 | 5.01 | 6.32 | 7.59 | 13.63 | 19.43 | 25.10 | 30.68 | 36.22 |

0.95 | 2.71 | 4.34 | 5.82 | 7.21 | 8.55 | 14.89 | 20.91 | 26.77 | 32.52 | 38.20 |

0.975 | 3.27 | 5.02 | 6.58 | 8.04 | 9.45 | 16.04 | 22.25 | 28.27 | 34.17 | 39.99 |

0.99 | 4.00 | 5.88 | 7.53 | 9.08 | 10.57 | 17.45 | 23.88 | 30.09 | 36.16 | 42.12 |

0.995 | 4.55 | 6.51 | 8.23 | 9.84 | 11.37 | 18.45 | 25.04 | 31.38 | 37.55 | 43.62 |

Quantiles \({\chi ^{p}_{q}}(n),\, p=0.5\)

q ∖ n | 1 | 2 | 3 | 4 | 5 | 10 | 15 | 20 | 25 | 30 |
---|---|---|---|---|---|---|---|---|---|---|

0.005 | 0.05 | 0.34 | 0.77 | 1.29 | 1.86 | 5.18 | 8.88 | 12.79 | 16.83 | 20.96 |

0.01 | 0.07 | 0.41 | 0.89 | 1.45 | 2.07 | 5.54 | 9.37 | 13.39 | 17.52 | 21.73 |

0.025 | 0.12 | 0.54 | 1.10 | 1.73 | 2.40 | 6.11 | 10.12 | 14.29 | 18.56 | 22.89 |

0.05 | 0.18 | 0.68 | 1.31 | 1.99 | 2.71 | 6.63 | 10.80 | 15.10 | 19.48 | 23.93 |

0.1 | 0.27 | 0.87 | 1.58 | 2.33 | 3.11 | 7.26 | 11.61 | 16.07 | 20.59 | 25.16 |

0.9 | 1.94 | 3.34 | 4.64 | 5.89 | 7.10 | 12.95 | 18.60 | 24.14 | 29.62 | 35.06 |

0.95 | 2.37 | 3.88 | 5.26 | 6.57 | 7.85 | 13.94 | 19.77 | 25.47 | 31.09 | 36.64 |

0.975 | 2.79 | 4.38 | 5.83 | 7.21 | 8.54 | 14.84 | 20.82 | 26.66 | 32.39 | 38.05 |

0.99 | 3.32 | 5.02 | 6.55 | 8.0 | 9.39 | 15.92 | 22.09 | 28.08 | 33.95 | 39.74 |

0.995 | 3.72 | 5.49 | 7.07 | 8.57 | 10.0 | 16.69 | 22.99 | 29.08 | 35.04 | 40.91 |

## Appendix

Table 1 gives a brief comparison of norms and antinorms at the hand of the functional |.|_{
q
}, *q*∈*R*. Note that \(N_{q}=\{x\in \mathbb {R}^{n}: |x|_{q}=0\}\) and \(H_{i}=\left \{(x_{1},\ldots,x_{n})^{T}\in \mathbb {R}^{n}: x_{i}=0\right \}, i=1,\ldots,n\) are hyper planes in \(\mathbb {R}^{n}.\)

## Declarations

### Acknowledgement

The author is thankful to the reviewers for their valuable hints leading to an improvement of the paper.

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## Authors’ Affiliations

## References

- Arellano-Valle, RB, Richter, W-D: On skewed continuous
*l*_{ n,p }-symmetric distributions. Chil. J. Stat. 3(2), 193–212 (2012).MathSciNetGoogle Scholar - Arnold, BC, Castillo, E, Sarabia, JM: Multivariate distributions defined in terms of contours. J. Stat. Planning Inf. 138, 4158–4171 (2008).MathSciNetView ArticleMATHGoogle Scholar
- Bolboaca, SD, Jäntschi, L, Sestras, AF, Sestras, RE, Pamfil, DC: Rearson-Fisher Chi-Square revisited. Information. 2, 528–545 (2011).View ArticleGoogle Scholar
- Bomsdorf, E: Induktive Statistik. Verlag Josef Eul, Köln (1989).Google Scholar
- Burago, D, Burago, Y, Ivanov, S: A course in metric geometry. Graduate studies in mathematics, vol. 33. A.M.S., Providence RI (2001).MATHGoogle Scholar
- Fang, K-T, Kotz, S, Ng, K-W: Symmetric multivariate and related distributions. Chapman and Hall, London (1990).View ArticleMATHGoogle Scholar
- Fernández, C, Osiewalski, J, Steel, MFJ: Modeling and inference with v-spherical distributions. JASA. 90(432), 1331–1340 (1995).MathSciNetMATHGoogle Scholar
- Fisher, RA: The conditions under which
*x*^{2}measures the discrepancy between observation and hypothesis. J. R. Stat. Soc. 87, 442–444 (1924a).Google Scholar - Fisher, RA: On a distribution yielding the error functions of several well known statistics. Proc. Int. Cong. Math. Toronto. 2, 805–813 (1924b).Google Scholar
- Fisher, RA: Statistical methods for research workers. In:
*Classics in the History of Psychology. Internet Resource by C.D. Green, York University, Toronto*(1925). ISBN 0-05-002170-2, http://psychclassics.yorku.ca/Fisher/Methods. Accessed 23 Mar 2016. - Haidenhain, J: Machining accuracy of machine tools. Technical information 635 399-22.5 (2011). http://www.heidenhain.de/de_EN/php/documentation-information/brochures/popup/media/media/file/view/file-0209/file.pdf. Accessed 23 Mar 2016.
- Helmert, PR: Über die Wahrscheinlichkeit von Potenzsummen der Beobachtungsfehler etc. Z.f. Math. u. Phys. 21, 102–219 (1876).Google Scholar
- Hlubinka, D, Vencalek, O: Depth-based classification for distributions with nonconvex support. J. Probab. Statist. 2013(629184), 7 (2013).MathSciNetMATHGoogle Scholar
- Ittrich, C, Krause, D, Richter, W-D: Probabilities and large quantiles of noncentral generalized Chi-square distributions. Statistics. 34, 53–101 (2000).MathSciNetView ArticleMATHGoogle Scholar
- Kotz, S, Kozubowski, TJ, Podgórski, K: The Laplace distribution and generalizations. Birkhäuser, Boston (2001).View ArticleMATHGoogle Scholar
- Livadiotis, G: Approach to general methods for fitting and their sensitivity. Physica A. 375, 518–536 (2007).View ArticleGoogle Scholar
- Livadiotis, G: Expectation values and variance based on
*L*^{ p }norms. Entropy. 14, 2375–2396 (2012).MathSciNetView ArticleMATHGoogle Scholar - Livadiotis, G: Chi-p distribution: characterization of the goodness of the fitting using
*L*^{ p }norms. J. Statist. Distr. Appl. 1, 4 (2014).View ArticleMATHGoogle Scholar - Mirvaliev, M: The components of chi-squared statistics for goodness of fit tests. J. Sov Math. 38, 2357–2363 (1987).View ArticleMATHGoogle Scholar
- Moszyńska, M, Richter, W-D: Reverse triangle inequality. Antinorms and semi-antinorms. Studia Scientiarum Mathematicarum Hungarica. 49(1), 120–138 (2012).MathSciNetView ArticleMATHGoogle Scholar
- Müller, K, Richter, W-D: Extreme value distributions for dependent jointly
*l*_{ n,p }-symmetrically distributed random variables. Depend. Model. 4, 30–62 (2016).MathSciNetGoogle Scholar - Pearson, K: On the criterion that a given system of deviations from the probable in the cases of a correlated system of variables is such that it can be reasonably supposed to have arisen from random sampling. Phil. Mag. 50, 157 (1900).View ArticleMATHGoogle Scholar
- Pisier, G: The volume of convex bodies and Banach space geometry. University Press, Cambridge (1989).View ArticleMATHGoogle Scholar
- Plackett, RL: Karl Pearson and the Chi-squared test. Int. Statst. Rev. 51, 59–72 (1983).MathSciNetView ArticleMATHGoogle Scholar
- Richter, W-D: Laplace-Gauß integrals, Gaussian measure asymptotic behaviour and probabilities of moderate deviations. Z. Anal. Anw. 4(3), 257–267 (1985).MATHGoogle Scholar
- Richter, W-D: A geometric method in stochastics (in German). Rostock. Math. Kolloqu. 44, 63–72 (1991).MATHGoogle Scholar
- Richter, W-D: Generalized spherical and simplicial coordinates. J. Math. Anal. Appl. 336, 1187–1202 (2007).MathSciNetView ArticleMATHGoogle Scholar
- Richter, W-D: Continuous
*l*_{ n,p }-symmetric distributions. Lith. Math. J. 49(1), 93–108 (2009).MathSciNetView ArticleMATHGoogle Scholar - Richter, W-D: Circle numbers for star discs. ISRN Geometry. 16(Article ID 479262), 16 (2011).MATHGoogle Scholar
- Richter, W-D: Exact distributions under non-standard model assumptions. AIP Conf. Proc. 1479, 442–445 (2012). doi:10.1063/1.4756160.View ArticleGoogle Scholar
- Richter, W-D: Geometric and stochastic representations for elliptically contoured distributions. Comm. Stat. Theory Methods. 42, 579–602 (2013).MathSciNetView ArticleMATHGoogle Scholar
- Richter, W-D: Geometric disintegration and star-shaped distributions. J. Stat. Distributions Appl. 1, 20 (2014). doi:10.1186/s40488-014-0020-6.View ArticleMATHGoogle Scholar
- Richter, W-D: Star-shaped distributions: Euclidean and non-Euclidean representations. In:
*Proceedings of the 60th World Statistics Congress 2015. Rio de Janeiro*(2016). Internat. Statist. Inst., https://www.isi-web.org. Accessed 23 Mar 2016. - Richter, W-D: Norm contoured distributions in \(\mathbb {R}^{2}\). Lecture Notes of Seminario Interdisciplinare di Mathematica University di Basilicata Italy. 12, 179–199 (2015b).Google Scholar
- Richter, W-D: Convex and radially concave contoured distributions. Probab. Stat. 12(Article ID 165468), 12 (2015c).MathSciNetGoogle Scholar
- Richter, W-D: Representing continuous star-shaped probability measures in spaces with suitably constructed geometries. AIP Conf. Proc (2016). Accepted for print.Google Scholar
- Statlect: The digital textbook (2016). http://www.statlect.com/hypothesis_testing_variance.htm. Accessed 23 Mar 2016.
- Wilcox, R: Comparing the variances of two dependent variables. J. Stat. Distr. Appl. 2, 7 (2015).View ArticleMATHGoogle Scholar