Bahadur asymptotic efficiency in the zone of moderate deviation probabilities
Pith reviewed 2026-05-22 18:27 UTC · model grok-4.3
The pith
A lower bound analogue for Bahadur asymptotic efficiency holds for moderate deviation probabilities under Hajek-Le Cam conditions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For a sequence of independent identically distributed random variables having a distribution function with an unknown parameter from a set Theta subset R^d, an analogue of the lower bound of Bahadur asymptotic efficiency is proved for the zone of moderate deviation probabilities. The assumptions coincide with the conditions under which the locally asymptotically minimax lower bound of Hajek-Le Cam was proved. The lower bound for local Bahadur asymptotic efficiency is therefore a special case of this result.
What carries the argument
The analogue of the Bahadur asymptotic efficiency lower bound formulated for the zone of moderate deviation probabilities.
If this is right
- The local Bahadur efficiency lower bound follows immediately as a special case.
- Efficiency statements for estimators now apply uniformly from local neighborhoods through moderate deviation probabilities.
- No estimator can exceed the efficiency rate given by the bound when moderate deviation probabilities are considered under the stated assumptions.
Where Pith is reading between the lines
- The result may simplify proofs that common estimators attain the bound in moderate deviations for exponential families.
- Analogous extensions could be attempted for non-independent observations while retaining the same regularity conditions.
- Numerical checks of the bound in low-dimensional models would provide direct verification of the decay rates.
Load-bearing premise
The parametric family satisfies the regularity conditions that make the Hajek-Le Cam locally asymptotically minimax lower bound valid.
What would settle it
An explicit construction of an estimator whose moderate-deviation error probabilities decay strictly faster than the derived lower bound, for any regular parametric family such as the normal location model, would refute the claim.
read the original abstract
For a sequence of independent identically distributed random variables having a distribution function with an unknown parameter from a set $\Theta \subset \mathbf{R}^d$, we prove an analogue of the lower bound of Bahadur asymptotic efficiency for the zone of moderate deviation probabilities. The assumptions coincide with assumptions conditions under which the locally asymptotically minimax lower bound of Hajek-Le Cam was proved. The lower bound for local Bahadur asymptotic efficiency is a special case of this lower bound.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves an analogue of the Bahadur lower bound on asymptotic efficiency for the zone of moderate deviation probabilities in i.i.d. models with parameter θ ∈ Θ ⊂ R^d. The proof is carried out under precisely the same regularity conditions used to establish the Hajek-Le Cam locally asymptotically minimax lower bound; the classical local Bahadur lower bound is recovered as the special case in which the deviation sequence remains bounded.
Significance. If the result holds, the contribution is significant: it supplies a single lower bound that interpolates between the local (fixed-neighborhood) and moderate-deviation regimes under standard LAN-type assumptions. This unifies two strands of efficiency theory and shows that the Hajek-Le Cam conditions already suffice once uniformity over slowly growing neighborhoods is verified. The manuscript contains a direct, self-contained argument rather than an appeal to black-box large-deviation principles.
major comments (1)
- [§3, Theorem 3.2] §3, Theorem 3.2: the uniformity of the LAN expansion over neighborhoods of radius a_n with a_n → ∞ and a_n = o(√n) is asserted but the verification relies on a moment condition (display (3.7)) whose necessity for the moderate-deviation lower bound is not compared with the fixed-neighborhood case used in Hajek-Le Cam. A short remark clarifying whether this moment condition is strictly stronger than the usual LAN assumptions would strengthen the claim that the assumption sets coincide.
minor comments (2)
- [Abstract] Abstract: the phrase 'assumptions conditions' is redundant; 'the assumptions coincide with the conditions' reads more cleanly.
- [§2] Notation: the deviation sequence a_n is introduced in §2 but its precise relation to the moderate-deviation zone (a_n → ∞, a_n = o(√n)) is restated only in the proof of Theorem 3.2; an explicit definition in §2 would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading, the positive evaluation of the contribution, and the constructive suggestion regarding the presentation of our assumptions. We address the single major comment below and will incorporate the requested clarification in the revised manuscript.
read point-by-point responses
-
Referee: [§3, Theorem 3.2] §3, Theorem 3.2: the uniformity of the LAN expansion over neighborhoods of radius a_n with a_n → ∞ and a_n = o(√n) is asserted but the verification relies on a moment condition (display (3.7)) whose necessity for the moderate-deviation lower bound is not compared with the fixed-neighborhood case used in Hajek-Le Cam. A short remark clarifying whether this moment condition is strictly stronger than the usual LAN assumptions would strengthen the claim that the assumption sets coincide.
Authors: We agree that an explicit comparison would strengthen the manuscript. In the revision we will insert a short remark immediately after the statement of Theorem 3.2. The remark will note that the moment condition (3.7) follows directly from the differentiability in quadratic mean (or the equivalent LAN conditions) already required for the classical Hájek–Le Cam locally asymptotically minimax bound on fixed neighborhoods. Consequently the condition is not a strengthening; the assumption sets for the moderate-deviation and local regimes coincide exactly as claimed in the abstract and introduction. We believe this addition will make the unification result clearer without altering any proofs or statements. revision: yes
Circularity Check
No significant circularity: direct proof under external Hajek-Le Cam assumptions
full rationale
The paper presents a mathematical proof extending the Bahadur lower bound to moderate deviation probabilities. It explicitly states that the assumptions coincide with those for the Hajek-Le Cam locally asymptotically minimax bound, an independent external result from the literature. No equations redefine a quantity in terms of itself, no fitted parameters are relabeled as predictions, and no load-bearing step reduces to a self-citation chain or ansatz smuggled from prior author work. The derivation is self-contained as a proof under stated external conditions and does not collapse to its inputs by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The family of distributions satisfies the regularity conditions required for the Hajek-Le Cam locally asymptotically minimax lower bound.
Forward citations
Cited by 1 Pith paper
-
Parametric Statistical Inference in the Zone of Moderate Deviation Probabilities
A new parametric theory proves large deviation principles for Bayesian and maximum likelihood estimators in the moderate deviation zone along with uniform approximations and posterior concentration results.
Reference graph
Works this paper leans on
-
[1]
Bahadur,Asymptotic efficiency of tests and estimates
R.R. Bahadur,Asymptotic efficiency of tests and estimates. Sankhya.22(1960) 229–252
work page 1960
-
[2]
Bahadur,Rates of convergence of estimates and test statistics
R.R. Bahadur,Rates of convergence of estimates and test statistics. Ann.Math.Stat.38, (1967), 303–324
work page 1967
-
[3]
R.R. Bahadur, J.C. Gupta and S.L. Zabel.Large deviations of tests and estimates. Asymp- totic Theory of Statistical Tests and Estimation. (ed. I.M. Chakravari) Academic NY (1980), 33–64
work page 1980
- [4]
-
[5]
A. A. Borovkov, A. A. Mogulskii. Large deviations and testing statistical hypothesis. Siber. Adv. Math. 199221992;31993
- [6]
-
[7]
Ermakov,On lower bounds of moderate large deviations of tests and estimators
M.S. Ermakov,On lower bounds of moderate large deviations of tests and estimators. J. Math. Sci.,88(1), (1998), 36–42
work page 1998
-
[8]
Ermakov,Asymptotically efficient statistical inference for moderate deviation probabil- ities
M.S. Ermakov,Asymptotically efficient statistical inference for moderate deviation probabil- ities. Theory Probab. Appl.48(4), (2003), 676–700
work page 2003
-
[9]
M. S. Ermakov,Importance sampling for simulation of moderate deviations of statistics. Statistics and Decision.25, (2007), 265–284
work page 2007
-
[10]
Ermakov,On semiparametric statistical inferences in the moderate deviation zone
M.S. Ermakov,On semiparametric statistical inferences in the moderate deviation zone. J. Math. Sci.152, (2008), 869–874. 13
work page 2008
-
[11]
M.S. Ermakov,The sharp lower bounds of asymptotic efficiency of estimators in the zone of moderate deviation probabilities. Electronic Journal of Statistics.6, (2012), 2150–2184
work page 2012
-
[12]
M. S. Ermakov,On asymptotically efficient statistical inference on a signal parameter. J. Math. Sci. (N. Y.),206:2(2015), 159–171
work page 2015
-
[13]
M. S. Ermakov,Local asymptotic normality of logarithm of likelihood ratio in the zone of moderate deviation probabilities. Zapiski Nauchn.Semin.POMI.525, (2023), 71–85
work page 2023
-
[14]
FuOn a theorem of Bahadur on rate of convergence of point estimators
J.C. FuOn a theorem of Bahadur on rate of convergence of point estimators. Ann.Stat.4, (1973), 745–749
work page 1973
- [15]
-
[16]
J.Hajek,Local asymptotic minimax and admissibility in estimation. Proc.Sixth Berkeley Symp. on Math. Statist. and Probab.1, Berkeley, California Univ. Press. (1972), 175–194
work page 1972
-
[17]
Hasminskii,Statistical Estimation: Asymptotic Theory.Berlin: Springer
I.A.Ibragimov, R.Z. Hasminskii,Statistical Estimation: Asymptotic Theory.Berlin: Springer. 1981
work page 1981
-
[18]
Yu. A. Koshevnik, B. Ya. Levit,On nonparametric version of information matrix. Theory Probab.Appl.21, (1976), 738–753
work page 1976
-
[19]
Le Cam,Asymptotic Methods in Statistical Decision Theory
L. Le Cam,Asymptotic Methods in Statistical Decision Theory. Berlin: Springer. 1986
work page 1986
-
[20]
Ya. Yu. Nikitin,Asymptotic efficiency of nonparametric tests. Cambridge, UK: Cambridge Univ. Press. 1995
work page 1995
-
[21]
R. J. Serfling,Approximation Theorems of Mathematical Statistics. Wiley, New York. 1980
work page 1980
-
[22]
A. Puhalskii, V. Spokoiny,On large-deviation efficiency in statistical inference. Bernoulli. 4, (1998), 203–272
work page 1998
-
[23]
Stein,Efficient nonparametric testing and estimation
Ch. Stein,Efficient nonparametric testing and estimation. Third Berkeley Symp. Math. Statist. and Probab. Berkeley, Univ. California Press.1, (1956), 187–195
work page 1956
-
[24]
Radavichius,From asymptotic efficiency in minimax sense to Bahadur efficiency
M. Radavichius,From asymptotic efficiency in minimax sense to Bahadur efficiency. New Trends in Probab. and Statist. V. Sazonov and T. Shervashidze (Eds) Vilnius, VSP/Mokslas 1, (1991), 629–635
work page 1991
-
[25]
Van der Vaart,Asymptotic Statistics
A.W. Van der Vaart,Asymptotic Statistics. Cambridge, UK: Cambridge Univ. Press. 1998. 14
work page 1998
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.