Lecture Notes on Advanced Statistical Theory1

Total Page:16

File Type:pdf, Size:1020Kb

Lecture Notes on Advanced Statistical Theory1 Lecture Notes on Advanced Statistical Theory1 Ryan Martin Department of Statistics North Carolina State University www4.stat.ncsu.edu/~rmartin January 3, 2017 1These notes were written to supplement the lectures for the Stat 511 course given by the author at the University of Illinois Chicago. The accompanying textbook for the course is Keener's Theoretical Statistics, Springer, 2010, and is referred to frequently though out the notes. The author makes no guarantees that these notes are free of typos or other, more serious errors. Feel free to contact the author if you have any questions or comments. Contents 1 Introduction and Preparations 4 1.1 Introduction . .4 1.2 Mathematical preliminaries . .5 1.2.1 Measure and integration . .5 1.2.2 Basic group theory . 10 1.2.3 Convex sets and functions . 11 1.3 Probability . 12 1.3.1 Measure-theoretic formulation . 12 1.3.2 Conditional distributions . 14 1.3.3 Jensen's inequality . 16 1.3.4 A concentration inequality . 17 1.3.5 The \fundamental theorem of statistics" . 19 1.3.6 Parametric families of distributions . 21 1.4 Conceptual preliminaries . 22 1.4.1 Ingredients of a statistical inference problem . 22 1.4.2 Reasoning from sample to population . 23 1.5 Exercises . 25 2 Exponential Families, Sufficiency, and Information 29 2.1 Introduction . 29 2.2 Exponential families of distributions . 30 2.3 Sufficient statistics . 33 2.3.1 Definition and the factorization theorem . 33 2.3.2 Minimal sufficient statistics . 36 2.3.3 Ancillary and complete statistics . 38 2.4 Fisher information . 41 2.4.1 Definition . 41 2.4.2 Sufficiency and information . 42 2.4.3 Cramer{Rao inequality . 43 2.4.4 Other measures of information . 44 2.5 Conditioning . 45 2.6 Discussion . 47 2.6.1 Generalized linear models . 47 1 2.6.2 A bit more about conditioning . 48 2.7 Exercises . 49 3 Likelihood and Likelihood-based Methods 54 3.1 Introduction . 54 3.2 Likelihood function . 54 3.3 Likelihood-based methods and first-order theory . 55 3.3.1 Maximum likelihood estimation . 55 3.3.2 Likelihood ratio tests . 58 3.4 Cautions concerning the first-order theory . 60 3.5 Alternatives to the first-order theory . 62 3.5.1 Bootstrap . 62 3.5.2 Monte Carlo and plausibility functions . 63 3.6 On advanced likelihood theory . 63 3.6.1 Overview . 63 3.6.2 \Modified” likelihood . 64 3.6.3 Asymptotic expansions . 66 3.7 A bit about computation . 67 3.7.1 Optimization . 67 3.7.2 Monte Carlo integration . 67 3.8 Discussion . 68 3.9 Exercises . 69 4 Bayesian Inference 75 4.1 Introduction . 75 4.2 Bayesian analysis . 77 4.2.1 Basic setup of a Bayesian inference problem . 77 4.2.2 Bayes's theorem . 77 4.2.3 Inference . 79 4.2.4 Marginalization . 80 4.3 Some examples . 81 4.4 Motivations for the Bayesian approach . 84 4.4.1 Some miscellaneous motivations . 84 4.4.2 Exchangeability and deFinetti's theorem . 85 4.5 Choice of priors . 88 4.5.1 Prior elicitation . 88 4.5.2 Convenient priors . 88 4.5.3 Many candidate priors and robust Bayes . 88 4.5.4 Objective or non-informative priors . 89 4.6 Bayesian large-sample theory . 90 4.6.1 Setup . 90 4.6.2 Laplace approximation . 91 4.6.3 Bernstein{von Mises theorem . 92 2 4.7 Concluding remarks . 94 4.7.1 Lots more details on Bayesian inference . 94 4.7.2 On Bayes and the likelihood principle . 94 4.7.3 On the \Bayesian" label . 95 4.7.4 On \objectivity" . 95 4.7.5 On the role of probability in statistical inference . 96 4.8 Exercises . 97 5 Statistical Decision Theory 101 5.1 Introduction . 101 5.2 Admissibility . 103 5.3 Minimizing a \global" measure of risk . 105 5.3.1 Minimizing average risk . 105 5.3.2 Minimizing maximum risk . 109 5.4 Minimizing risk under constraints . 112 5.4.1 Unbiasedness constraints . 112 5.4.2 Equivariance constraints . 113 5.4.3 Type I error constraints . 115 5.5 Complete class theorems . 116 5.6 On minimax estimation of a normal mean . 117 5.7 Exercises . 119 6 More Asymptotic Theory (incomplete!) 122 6.1 Introduction . 122 6.2 M- and Z-estimators . 123 6.2.1 Definition and examples . 123 6.2.2 Consistency . 124 6.2.3 Rates of convergence . 127 6.2.4 Asymptotic normality . 128 6.3 More on asymptotic normality and optimality . 131 6.3.1 Introduction . 131 6.3.2 Hodges's provocative example . 131 6.3.3 Differentiability in quadratic mean . 131 6.3.4 Contiguity . 135 6.3.5 Local asymptotic normality . 135 6.3.6 On asymptotic optimality . 135 6.4 More Bayesian asymptotics . 135 6.4.1 Consistency . 135 6.4.2 Convergence rates . 138 6.4.3 Bernstein{von Mises theorem, revisited . 140 6.5 Concluding remarks . 140 6.6 Exercises . 140 3 Chapter 1 Introduction and Preparations 1.1 Introduction Stat 511 is a first course in advanced statistical theory. This first chapter is intended to set the stage for the material that is the core of the course. In particular, these notes define the notation we shall use throughout, and also set the conceptual and mathematical level we will be working at. Naturally, both the conceptual and mathematical level will be higher than in an intermediate course, such as Stat 411 at UIC. On.
Recommended publications
  • Two Principles of Evidence and Their Implications for the Philosophy of Scientific Method
    TWO PRINCIPLES OF EVIDENCE AND THEIR IMPLICATIONS FOR THE PHILOSOPHY OF SCIENTIFIC METHOD by Gregory Stephen Gandenberger BA, Philosophy, Washington University in St. Louis, 2009 MA, Statistics, University of Pittsburgh, 2014 Submitted to the Graduate Faculty of the Kenneth P. Dietrich School of Arts and Sciences in partial fulfillment of the requirements for the degree of Doctor of Philosophy University of Pittsburgh 2015 UNIVERSITY OF PITTSBURGH KENNETH P. DIETRICH SCHOOL OF ARTS AND SCIENCES This dissertation was presented by Gregory Stephen Gandenberger It was defended on April 14, 2015 and approved by Edouard Machery, Pittsburgh, Dietrich School of Arts and Sciences Satish Iyengar, Pittsburgh, Dietrich School of Arts and Sciences John Norton, Pittsburgh, Dietrich School of Arts and Sciences Teddy Seidenfeld, Carnegie Mellon University, Dietrich College of Humanities & Social Sciences James Woodward, Pittsburgh, Dietrich School of Arts and Sciences Dissertation Director: Edouard Machery, Pittsburgh, Dietrich School of Arts and Sciences ii Copyright © by Gregory Stephen Gandenberger 2015 iii TWO PRINCIPLES OF EVIDENCE AND THEIR IMPLICATIONS FOR THE PHILOSOPHY OF SCIENTIFIC METHOD Gregory Stephen Gandenberger, PhD University of Pittsburgh, 2015 The notion of evidence is of great importance, but there are substantial disagreements about how it should be understood. One major locus of disagreement is the Likelihood Principle, which says roughly that an observation supports a hypothesis to the extent that the hy- pothesis predicts it. The Likelihood Principle is supported by axiomatic arguments, but the frequentist methods that are most commonly used in science violate it. This dissertation advances debates about the Likelihood Principle, its near-corollary the Law of Likelihood, and related questions about statistical practice.
    [Show full text]
  • 5. Completeness and Sufficiency 5.1. Complete Statistics. Definition 5.1. a Statistic T Is Called Complete If Eg(T) = 0 For
    5. Completeness and sufficiency 5.1. Complete statistics. Definition 5.1. A statistic T is called complete if Eg(T ) = 0 for all θ and some function g implies that P (g(T ) = 0; θ) = 1 for all θ. This use of the word complete is analogous to calling a set of vectors v1; : : : ; vn complete if they span the whole space, that is, any v can P be written as a linear combination v = ajvj of these vectors. This is equivalent to the condition that if w is orthogonal to all vj's, then w = 0. To make the connection with Definition 5.1, let's consider the discrete case. Then completeness means that P g(t)P (T = t; θ) = 0 implies that g(t) = 0. Since the sum may be viewed as the scalar prod- uct of the vectors (g(t1); g(t2);:::) and (p(t1); p(t2);:::), with p(t) = P (T = t), this is the analog of the orthogonality condition just dis- cussed. We also see that the terminology is somewhat misleading. It would be more accurate to call the family of distributions p(·; θ) complete (rather than the statistic T ). In any event, completeness means that the collection of distributions for all possible values of θ provides a sufficiently rich set of vectors. In the continuous case, a similar inter- pretation works. Completeness now refers to the collection of densities f(·; θ), and hf; gi = R fg serves as the (abstract) scalar product in this case. Example 5.1. Let's take one more look at the coin flip example.
    [Show full text]
  • 1 One Parameter Exponential Families
    1 One parameter exponential families The world of exponential families bridges the gap between the Gaussian family and general dis- tributions. Many properties of Gaussians carry through to exponential families in a fairly precise sense. • In the Gaussian world, there exact small sample distributional results (i.e. t, F , χ2). • In the exponential family world, there are approximate distributional results (i.e. deviance tests). • In the general setting, we can only appeal to asymptotics. A one-parameter exponential family, F is a one-parameter family of distributions of the form Pη(dx) = exp (η · t(x) − Λ(η)) P0(dx) for some probability measure P0. The parameter η is called the natural or canonical parameter and the function Λ is called the cumulant generating function, and is simply the normalization needed to make dPη fη(x) = (x) = exp (η · t(x) − Λ(η)) dP0 a proper probability density. The random variable t(X) is the sufficient statistic of the exponential family. Note that P0 does not have to be a distribution on R, but these are of course the simplest examples. 1.0.1 A first example: Gaussian with linear sufficient statistic Consider the standard normal distribution Z e−z2=2 P0(A) = p dz A 2π and let t(x) = x. Then, the exponential family is eη·x−x2=2 Pη(dx) / p 2π and we see that Λ(η) = η2=2: eta= np.linspace(-2,2,101) CGF= eta**2/2. plt.plot(eta, CGF) A= plt.gca() A.set_xlabel(r'$\eta$', size=20) A.set_ylabel(r'$\Lambda(\eta)$', size=20) f= plt.gcf() 1 Thus, the exponential family in this setting is the collection F = fN(η; 1) : η 2 Rg : d 1.0.2 Normal with quadratic sufficient statistic on R d As a second example, take P0 = N(0;Id×d), i.e.
    [Show full text]
  • Lecture 4: Sufficient Statistics 1 Sufficient Statistics
    ECE 830 Fall 2011 Statistical Signal Processing instructor: R. Nowak Lecture 4: Sufficient Statistics Consider a random variable X whose distribution p is parametrized by θ 2 Θ where θ is a scalar or a vector. Denote this distribution as pX (xjθ) or p(xjθ), for short. In many signal processing applications we need to make some decision about θ from observations of X, where the density of X can be one of many in a family of distributions, fp(xjθ)gθ2Θ, indexed by different choices of the parameter θ. More generally, suppose we make n independent observations of X: X1;X2;:::;Xn where p(x1 : : : xnjθ) = Qn i=1 p(xijθ). These observations can be used to infer or estimate the correct value for θ. This problem can be posed as follows. Let x = [x1; x2; : : : ; xn] be a vector containing the n observations. Question: Is there a lower dimensional function of x, say t(x), that alone carries all the relevant information about θ? For example, if θ is a scalar parameter, then one might suppose that all relevant information in the observations can be summarized in a scalar statistic. Goal: Given a family of distributions fp(xjθ)gθ2Θ and one or more observations from a particular dis- tribution p(xjθ∗) in this family, find a data compression strategy that preserves all information pertaining to θ∗. The function identified by such strategyis called a sufficient statistic. 1 Sufficient Statistics Example 1 (Binary Source) Suppose X is a 0=1 - valued variable with P(X = 1) = θ and P(X = 0) = 1 − θ.
    [Show full text]
  • C Copyright 2014 Navneet R. Hakhu
    c Copyright 2014 Navneet R. Hakhu Unconditional Exact Tests for Binomial Proportions in the Group Sequential Setting Navneet R. Hakhu A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science University of Washington 2014 Reading Committee: Scott S. Emerson, Chair Marco Carone Program Authorized to Offer Degree: Biostatistics University of Washington Abstract Unconditional Exact Tests for Binomial Proportions in the Group Sequential Setting Navneet R. Hakhu Chair of the Supervisory Committee: Professor Scott S. Emerson Department of Biostatistics Exact inference for independent binomial outcomes in small samples is complicated by the presence of a mean-variance relationship that depends on nuisance parameters, discreteness of the outcome space, and departures from normality. Although large sample theory based on Wald, score, and likelihood ratio (LR) tests are well developed, suitable small sample methods are necessary when \large" samples are not feasible. Fisher's exact test, which conditions on an ancillary statistic to eliminate nuisance parameters, however its inference based on the hypergeometric distribution is \exact" only when a user is willing to base decisions on flipping a biased coin for some outcomes. Thus, in practice, Fisher's exact test tends to be conservative due to the discreteness of the outcome space. To address the various issues that arise with the asymptotic and/or small sample tests, Barnard (1945, 1947) introduced the concept of unconditional exact tests that use exact distributions of a test statistic evaluated over all possible values of the nuisance parameter. For test statistics derived based on asymptotic approximations, these \unconditional exact tests" ensure that the realized type 1 error is less than or equal to the nominal level.
    [Show full text]
  • Minimum Rates of Approximate Sufficient Statistics
    1 Minimum Rates of Approximate Sufficient Statistics Masahito Hayashi,y Fellow, IEEE, Vincent Y. F. Tan,z Senior Member, IEEE Abstract—Given a sufficient statistic for a parametric family when one is given X, then Y is called a sufficient statistic of distributions, one can estimate the parameter without access relative to the family fPXjZ=zgz2Z . We may then write to the data. However, the memory or code size for storing the sufficient statistic may nonetheless still be prohibitive. Indeed, X for n independent samples drawn from a k-nomial distribution PXjZ=z(x) = PXjY (xjy)PY jZ=z(y); 8 (x; z) 2 X × Z with d = k − 1 degrees of freedom, the length of the code scales y2Y as d log n + O(1). In many applications, we may not have a (1) useful notion of sufficient statistics (e.g., when the parametric or more simply that X (−− Y (−− Z forms a Markov chain family is not an exponential family) and we also may not need in this order. Because Y is a function of X, it is also true that to reconstruct the generating distribution exactly. By adopting I(Z; X) = I(Z; Y ). This intuitively means that the sufficient a Shannon-theoretic approach in which we allow a small error in estimating the generating distribution, we construct various statistic Y provides as much information about the parameter approximate sufficient statistics and show that the code length Z as the original data X does. d can be reduced to 2 log n + O(1). We consider errors measured For concreteness in our discussions, we often (but not according to the relative entropy and variational distance criteria.
    [Show full text]
  • The Likelihood Function - Introduction
    The Likelihood Function - Introduction • Recall: a statistical model for some data is a set { f θ : θ ∈ Ω} of distributions, one of which corresponds to the true unknown distribution that produced the data. • The distribution fθ can be either a probability density function or a probability mass function. • The joint probability density function or probability mass function of iid random variables X1, …, Xn is n θ ()1 ,..., n = ∏ θ ()xfxxf i . i=1 week 3 1 The Likelihood Function •Let x1, …, xn be sample observations taken on corresponding random variables X1, …, Xn whose distribution depends on a parameter θ. The likelihood function defined on the parameter space Ω is given by L|(θ x1 ,..., xn ) = θ f( 1,..., xn ) x . • Note that for the likelihood function we are fixing the data, x1,…, xn, and varying the value of the parameter. •The value L(θ | x1, …, xn) is called the likelihood of θ. It is the probability of observing the data values we observed given that θ is the true value of the parameter. It is not the probability of θ given that we observed x1, …, xn. week 3 2 Examples • Suppose we toss a coin n = 10 times and observed 4 heads. With no knowledge whatsoever about the probability of getting a head on a single toss, the appropriate statistical model for the data is the Binomial(10, θ) model. The likelihood function is given by • Suppose X1, …, Xn is a random sample from an Exponential(θ) distribution. The likelihood function is week 3 3 Sufficiency - Introduction • A statistic that summarizes all the information in the sample about the target parameter is called sufficient statistic.
    [Show full text]
  • Clinical Trial Design As a Decision Problem
    Special Issue Paper Received 2 July 2016, Revised 15 November 2016, Accepted 19 November 2016 Published online 13 January 2017 in Wiley Online Library (wileyonlinelibrary.com) DOI: 10.1002/asmb.2222 Clinical trial design as a decision problem Peter Müllera*†, Yanxun Xub and Peter F. Thallc The intent of this discussion is to highlight opportunities and limitations of utility-based and decision theoretic arguments in clinical trial design. The discussion is based on a specific case study, but the arguments and principles remain valid in general. The exam- ple concerns the design of a randomized clinical trial to compare a gel sealant versus standard care for resolving air leaks after pulmonary resection. The design follows a principled approach to optimal decision making, including a probability model for the unknown distributions of time to resolution of air leaks under the two treatment arms and an explicit utility function that quan- tifies clinical preferences for alternative outcomes. As is typical for any real application, the final implementation includessome compromises from the initial principled setup. In particular, we use the formal decision problem only for the final decision, but use reasonable ad hoc decision boundaries for making interim group sequential decisions that stop the trial early. Beyond the discussion of the particular study, we review more general considerations of using a decision theoretic approach for clinical trial design and summarize some of the reasons why such approaches are not commonly used. Copyright © 2017 John Wiley & Sons, Ltd. Keywords: Bayesian decision problem; Bayes rule; nonparametric Bayes; optimal design; sequential stopping 1. Introduction We discuss opportunities and practical limitations of approaching clinical trial design as a formal decision problem.
    [Show full text]
  • Statistical Inference
    GU4204: Statistical Inference Bodhisattva Sen Columbia University February 27, 2020 Contents 1 Introduction5 1.1 Statistical Inference: Motivation.....................5 1.2 Recap: Some results from probability..................5 1.3 Back to Example 1.1...........................8 1.4 Delta method...............................8 1.5 Back to Example 1.1........................... 10 2 Statistical Inference: Estimation 11 2.1 Statistical model............................. 11 2.2 Method of Moments estimators..................... 13 3 Method of Maximum Likelihood 16 3.1 Properties of MLEs............................ 20 3.1.1 Invariance............................. 20 3.1.2 Consistency............................ 21 3.2 Computational methods for approximating MLEs........... 21 3.2.1 Newton's Method......................... 21 3.2.2 The EM Algorithm........................ 22 1 4 Principles of estimation 23 4.1 Mean squared error............................ 24 4.2 Comparing estimators.......................... 25 4.3 Unbiased estimators........................... 26 4.4 Sufficient Statistics............................ 28 5 Bayesian paradigm 33 5.1 Prior distribution............................. 33 5.2 Posterior distribution........................... 34 5.3 Bayes Estimators............................. 36 5.4 Sampling from a normal distribution.................. 37 6 The sampling distribution of a statistic 39 6.1 The gamma and the χ2 distributions.................. 39 6.1.1 The gamma distribution..................... 39 6.1.2 The Chi-squared distribution.................. 41 6.2 Sampling from a normal population................... 42 6.3 The t-distribution............................. 45 7 Confidence intervals 46 8 The (Cramer-Rao) Information Inequality 51 9 Large Sample Properties of the MLE 57 10 Hypothesis Testing 61 10.1 Principles of Hypothesis Testing..................... 61 10.2 Critical regions and test statistics.................... 62 10.3 Power function and types of error.................... 64 10.4 Significance level............................
    [Show full text]
  • Ancillary Statistics Largest Possible Reduction in Dimension, and Is Analo- Gous to a Minimal Sufficient Statistic
    provides the largest possible conditioning set, or the Ancillary Statistics largest possible reduction in dimension, and is analo- gous to a minimal sufficient statistic. A, B,andC are In a parametric model f(y; θ) for a random variable maximal ancillary statistics for the location model, or vector Y, a statistic A = a(Y) is ancillary for θ if but the range is only a maximal ancillary in the loca- the distribution of A does not depend on θ.Asavery tion uniform. simple example, if Y is a vector of independent, iden- An important property of the location model is that tically distributed random variables each with mean the exact conditional distribution of the maximum θ, and the sample size is determined randomly, rather likelihood estimator θˆ, given the maximal ancillary than being fixed in advance, then A = number of C, can be easily obtained simply by renormalizing observations in Y is an ancillary statistic. This exam- the likelihood function: ple could be generalized to more complex structure L(θ; y) for the observations Y, and to examples in which the p(θˆ|c; θ) = ,(1) sample size depends on some further parameters that L(θ; y) dθ are unrelated to θ. Such models might well be appro- priate for certain types of sequentially collected data where L(θ; y) = f(yi ; θ) is the likelihood function arising, for example, in clinical trials. for the sample y = (y1,...,yn), and the right-hand ˆ Fisher [5] introduced the concept of an ancillary side is to be interpreted as depending on θ and c, statistic, with particular emphasis on the usefulness of { } | = using the equations ∂ log f(yi ; θ) /∂θ θˆ 0and an ancillary statistic in recovering information that c = y − θˆ.
    [Show full text]
  • Structural Equation Models and Mixture Models with Continuous Non-Normal Skewed Distributions
    Structural Equation Models And Mixture Models With Continuous Non-Normal Skewed Distributions Tihomir Asparouhov and Bengt Muth´en Mplus Web Notes: No. 19 Version 2 July 3, 2014 1 Abstract In this paper we describe a structural equation modeling framework that allows non-normal skewed distributions for the continuous observed and latent variables. This framework is based on the multivariate restricted skew t-distribution. We demonstrate the advantages of skewed structural equation modeling over standard SEM modeling and challenge the notion that structural equation models should be based only on sample means and covariances. The skewed continuous distributions are also very useful in finite mixture modeling as they prevent the formation of spurious classes formed purely to compensate for deviations in the distributions from the standard bell curve distribution. This framework is implemented in Mplus Version 7.2. 2 1 Introduction Standard structural equation models reduce data modeling down to fitting means and covariances. All other information contained in the data is ignored. In this paper, we expand the standard structural equation model framework to take into account the skewness and kurtosis of the data in addition to the means and the covariances. This new framework looks deeper into the data to yield a more informative structural equation model. There is a preconceived notion that standard structural equation models are sufficient as long as the standard errors of the parameter estimates are adjusted for failure to meet the normality assumption, but this is not correct. Even with robust estimation, the data are reduced to means and covariances. Only the standard errors of the parameter estimates extract additional information from the data.
    [Show full text]
  • An Empirical Test of the Sufficient Statistic Result for Monetary Shocks
    An Empirical Test of the Sufficient Statistic Result for Monetary Shocks Andrea Ferrara Advisor: Prof. Francesco Lippi Thesis submitted to Einaudi Institute for Economics and Finance Department of Economics, LUISS Guido Carli to satisfy the requirements of the Master in Economics and Finance June 2020 Acknowledgments I thank my advisor Francesco Lippi for his guidance, availability and patience; I have been fortunate to have a continuous and close discussion with him throughout my master thesis’ studies and I am grateful for his teachings. I also thank Erwan Gautier and Herve´ Le Bihan at the Banque de France for providing me the data and for their comments. I also benefited from the comments of Felipe Berrutti, Marco Lippi, Claudio Michelacci, Tommaso Proietti and workshop participants at EIEF. I am grateful to the entire faculty of EIEF and LUISS for the teachings provided during my master. I am thankful to my classmates for the time spent together studying and in particular for their friendship. My friends in Florence have been a reference point in hard moments. Finally, I thank my family for their presence in any circumstance during these years. Abstract We empirically test the sufficient statistic result of Alvarez, Lippi and Oskolkov (2020). This theoretical result predicts that the cumulative effect of a monetary shock is summarized by the ratio of two steady state moments: frequency and kurtosis of price changes. Our strategy consists of three steps. In the first step, we employ a Factor Augmented VAR to estimate the response of different sectors to a monetary shock. In the second step, using microdata, we compute the sectorial frequency and the kurtosis of price changes.
    [Show full text]