ST5224: Advanced Statistical Theory II

Σχετικά έγγραφα
Other Test Constructions: Likelihood Ratio & Bayes Tests

Statistical Inference I Locally most powerful tests

Theorem 8 Let φ be the most powerful size α test of H

STAT200C: Hypothesis Testing

Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1

Every set of first-order formulas is equivalent to an independent set

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

2 Composition. Invertible Mappings

Uniform Convergence of Fourier Series Michael Taylor

557: MATHEMATICAL STATISTICS II RESULTS FROM CLASSICAL HYPOTHESIS TESTING

557: MATHEMATICAL STATISTICS II HYPOTHESIS TESTING

Solution Series 9. i=1 x i and i=1 x i.

Μηχανική Μάθηση Hypothesis Testing

An Introduction to Signal Detection and Estimation - Second Edition Chapter II: Selected Solutions

6. MAXIMUM LIKELIHOOD ESTIMATION

C.S. 430 Assignment 6, Sample Solutions

Matrices and Determinants

Finite Field Problems: Solutions

A Note on Intuitionistic Fuzzy. Equivalence Relation

Example Sheet 3 Solutions

2. Let H 1 and H 2 be Hilbert spaces and let T : H 1 H 2 be a bounded linear operator. Prove that [T (H 1 )] = N (T ). (6p)

EE512: Error Control Coding

Inverse trigonometric functions & General Solution of Trigonometric Equations

Homework 3 Solutions

ORDINAL ARITHMETIC JULIAN J. SCHLÖDER

SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM

Exercise 2: The form of the generalized likelihood ratio

w o = R 1 p. (1) R = p =. = 1

Solutions to Exercise Sheet 5

Lecture 34 Bootstrap confidence intervals

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.

4.6 Autoregressive Moving Average Model ARMA(1,1)

Concrete Mathematics Exercises from 30 September 2016

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:

Bayesian statistics. DS GA 1002 Probability and Statistics for Data Science.

Section 8.3 Trigonometric Equations

Local Approximation with Kernels

Lecture 21: Properties and robustness of LSE

Areas and Lengths in Polar Coordinates

Areas and Lengths in Polar Coordinates

Exercises to Statistics of Material Fatigue No. 5

The Simply Typed Lambda Calculus

ANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?

An Inventory of Continuous Distributions

Probability and Random Processes (Part II)

F19MC2 Solutions 9 Complex Analysis

Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X.

Practice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1

ω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω

Homework 8 Model Solution Section

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

Reminders: linear functions

ENGR 691/692 Section 66 (Fall 06): Machine Learning Assigned: August 30 Homework 1: Bayesian Decision Theory (solutions) Due: September 13

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

12. Radon-Nikodym Theorem

Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013

SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM

Dynamic types, Lambda calculus machines Section and Practice Problems Apr 21 22, 2016

Homework for 1/27 Due 2/5

Problem Set 3: Solutions

Lecture 13 - Root Space Decomposition II

6.1. Dirac Equation. Hamiltonian. Dirac Eq.

5. Choice under Uncertainty

( y) Partial Differential Equations

derivation of the Laplacian from rectangular to spherical coordinates

A Two-Sided Laplace Inversion Algorithm with Computable Error Bounds and Its Applications in Financial Engineering

Aquinas College. Edexcel Mathematical formulae and statistics tables DO NOT WRITE ON THIS BOOKLET

Quadratic Expressions

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +

Section 7.6 Double and Half Angle Formulas

Statistics 104: Quantitative Methods for Economics Formula and Theorem Review

Second Order RLC Filters

5.4 The Poisson Distribution.

Congruence Classes of Invertible Matrices of Order 3 over F 2

Mock Exam 7. 1 Hong Kong Educational Publishing Company. Section A 1. Reference: HKDSE Math M Q2 (a) (1 + kx) n 1M + 1A = (1) =

On density of old sets in Prikry type extensions.

Fractional Colorings and Zykov Products of graphs

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007

ECE598: Information-theoretic methods in high-dimensional statistics Spring 2016

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 6/5/2006

MATH423 String Theory Solutions 4. = 0 τ = f(s). (1) dτ ds = dxµ dτ f (s) (2) dτ 2 [f (s)] 2 + dxµ. dτ f (s) (3)

Coefficient Inequalities for a New Subclass of K-uniformly Convex Functions

HOMEWORK#1. t E(x) = 1 λ = (b) Find the median lifetime of a randomly selected light bulb. Answer:

Pg The perimeter is P = 3x The area of a triangle is. where b is the base, h is the height. In our case b = x, then the area is

Main source: "Discrete-time systems and computer control" by Α. ΣΚΟΔΡΑΣ ΨΗΦΙΑΚΟΣ ΕΛΕΓΧΟΣ ΔΙΑΛΕΞΗ 4 ΔΙΑΦΑΝΕΙΑ 1

The challenges of non-stable predicates

2. THEORY OF EQUATIONS. PREVIOUS EAMCET Bits.

Strain gauge and rosettes

Lecture 15 - Root System Axiomatics

Space-Time Symmetries

Math221: HW# 1 solutions

DERIVATION OF MILES EQUATION FOR AN APPLIED FORCE Revision C

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

Trigonometry 1.TRIGONOMETRIC RATIOS

1. Introduction and Preliminaries.

Intuitionistic Fuzzy Ideals of Near Rings

Part III - Pricing A Down-And-Out Call Option

Transcript:

ST5224: Advanced Statistical Theory II 2014/2015: Semester II Tutorial 7 1. Let X be a sample from a population P and consider testing hypotheses H 0 : P = P 0 versus H 1 : P = P 1, where P j is a known population with probability density f j with respect to a σ-finite measure ν, j = 0, 1. Let β(p ) be the power function of a UMP (uniformly most powerful) test of size α (0, 1). Show that α < β(p 1 ) unless P 0 = P 1. Solution: Suppose that α = β(p 1 ). Then the test T 0 α is also a UMP test by definition. By the uniqueness of the UMP test, we must have f 1 (x) = cf 0 (x) a.e. ν, which implies c = 1. Therefore, f 1 (x) = f 0 (x) a.e. ν, i.e., P 0 = P 1. 1

2. Let X be a sample from a population P and consider testing hypotheses H 0 : P = P 0 versus H 1 : P = P 1, where P j is a known population with probability density f j with respect to a σ-finite measure ν, j = 0, 1. For any α > 0, define 1 f 1 (X) > c(α)f 0 (X) T α (X) = γ(α) f 1 (X) = c(α)f 0 (X) 0 f 1 (X) < c(α)f 0 (X), where0 γ(α) 1, c(α) 0, E 0 [T α (X)] = α, and E j denotes the expectation with respect to P j. Show that (i) if α 1 < α 2, then c(α 1 ) c(α 2 ). (ii) if α 1 < α 2, then the type II error probability of T α1 is larger than that of T α2, i.e., E 1 [1 T α1 (X)] > E 1 [1 T α2 (X)]. Solution: (i) Assume α 1 < α 2. Suppose that c(α 1 ) < c(α 2 ). Then f 1 (x) c(α 2 )f 0 (x) implies that f 1 (x) > c(α 1 )f 0 (x) unless f 1 (x) = f 0 (x) = 0. Thus, T α1 (x) T α2 (x) a.e. ν, which implies that E 0 [T α1 (X)] E 0 [T α2 (X)]. Then α 1 α 2. This contradiction proves that c(α 1 ) c(α 2 ). (ii) Assume α 1 < α 2. Since T α1 is of level α 2 and T α2 is UMP, E 1 [T α1 (X)] E 1 [T α2 (X)]. The result follows if we can show that the equality can not hold. If E 1 [T α1 (X)] = E 1 [T α2 (X)], then T α1 is also UMP. From part (i), c(α 1 ) c(α 2 ). In the following, we show that E 1 [T α1 (X)] = E 1 [T α2 (X)] and c(α 1 ) c(α 2 ) are contradicting. Suppose c(α 1 ) > c(α 2 ). Then, T 2 = 0 when f 1 /f 0 < c(α 1 ) and T 1 = 1 when f 1 /f 0 > c(α 2 ) by the uniqueness of UMP test, which impies that γ(α 1 ) = 1 and γ(α 2 ) = 0. Thus which is impossible. E θ0 T 2 = P θ0 (f 1 /f 0 > c(α 1 )) α 1 < α 2, Suppose c(α 1 ) = c(α 2 ). Then, γ(α 1 ) < γ(α 2 ) since α 1 < α 2. This implies that A contradiction. E θ1 T 1 = P θ1 (f 1 /f 0 > c(α 1 )) + γ(α 1 )P θ1 (f 1 /f 0 = c(α 1 )) < E θ1 T 2, 2

3. Let X be a sample from a population P and P 0 and P 1 be two known populations. Suppose that T is a UMP test of size α (0, 1) for testing H 0 : P = P 0 versus H 1 : P = P 1 and that β < 1, where β is the power of T when H 1 is true. Show that 1 T is a UMP test of size 1 β for testing H 0 : P = P 1 versus H 1 : P = P 0. Solution: Let f j be a probability density for P j, j = 0, 1. By the uniqueness of the UMP test, { 1, f1 (X) > cf 0 (X), 0, f 1 (X) < cf 0 (X). Since α (0, 1) and β < 1, c must be a positive constant. Note that { 1, f0 (X) > c 1 1 f 1 (X), 0, f 0 (X) < c 1 f 1 (X). For testing H 0 : P = P 1 versus H 1 : P = P 0, clearly 1 T has size 1 β. The fact that it is UMP follows from the Neyman-Pearson Lemma. 3

4. Let X = (X 1,..., X n ) be a random sample from a distribution on R with Lebesgue density f θ, θ Θ = (0, ). Let θ 0 be a positive constant. Find a UMP test of size α for testing H 0 : θ θ 0 versus H 1 : θ > θ 0 when (i) f θ (x) = θ 1 e x/θ I (0, ) (x); (ii) f θ (x) = θx θ 1 I (0,1) (x); (iii) f θ (x) is the density of N(1, θ); (iv) f θ (x) = θ c cx c 1 e (x/θ)c I (0, ) (x), where c > 0 is known. Solution: (i) The family of densities has monotone likelihood ratio in T (X) = n i=1 X i, which has the Gamma distribution with shape parameter n and scale parameter θ. Under H 0, 2T/θ 0 has the chi-square distribution χ 2 2n. Hence, the UMP test is { 1, T (X) > θ0 χ 2 2n,α/2, 0, T (X) θ 0 χ 2 2n,α/2, where χ 2 2n,α is the (1 α)th quantile of the chi-square distribution χ 2 2n. (ii) The family of densities has monotone likelihood ratio in T (X) = n i=1 log X i, which has the gamma distribution with shape parameter n and scale parameter θ 1. Therefore, the UMP test is the same as T in part (i) of the solution but with θ 0 replaced by θ0 1. (iii) The family of densities has monotone likelihood ratio in T (X) = n i=1 (X i 1) 2 and T (X)/θ has the chi-square distribution χ 2 n. Therefore, the UMP test is { 1, T (X) > θ0 χ 2 n,α, 0, T (X) θ 0 χ 2 n,α. (iv) The family of densities has monotone likelihood ratio in T (X) = n i=1 Xc i which has the Gamma distribution with shape parameter n and scale parameter θ c. Therefore, the UMP test is the same as T in part (i) of the solution but with θ 0 replaced by θ c 0. 4

5. Let X = (X 1,..., X n ) be a random sample from the discrete uniform distribution on points 1,..., θ, where θ = 1, 2, (i) Consider H 0 : θ θ 0 versus H 1 : θ > θ 0, where θ 0 > 0 is known. Show that { 1 X(n) > θ 0 α X (n) θ 0 is a UMP test of size α. (ii) Consider H 0 : θ = θ 0 versus H : θ θ 0, Show that { 1 X(n) > θ 0 or X (n) θ 0 α 1/n 0 otherwise is a UMP test of size α. Solution: Without loss of generality we may assume that θ 0 is an integer. (i) Let P θ be the probability distribution of the largest order statistic X (n) and E θ be the expectation with respect to P θ. The family {P θ : θ = 1, 2,...} is dominated by the counting measure and has monotone likelihood ratio in X (n). Therefore, a UMP test of size α is T 1 (X) = 1, X (n) > c, γ, X (n) = c, 0, X (n) < c, where c is an integer and γ [0, 1] satisfying ( ) n c E θ0 (T 1 ) = 1 + γ cn (c 1) n θ 0 For any θ > θ 0, the power of T 1 is θ n 0 = α. E θ (T 1 ) = P θ (X (n) > c) + γp θ (X (n) = c) = 1 cn θ + γ cn (c 1) n n θ n = 1 (1 α) θn 0 θ n. On the other hand, for θ θ 0, the power of T is E θ (T ) = P θ (X (n) > θ 0 ) + αp θ (X (n) θ 0 ) = 1 θn 0 θ n + αθn 0 θ n. 5

Hence, T has the same power as T 1. Since sup E θ (T ) = sup αp θ (X (n) θ 0 ) = αp θ0 (X (n) θ 0 ) = α, θ θ 0 θ θ 0 T is a UMP test of size α. (ii) Consider H 0 : θ = θ 0 versus H 1 : θ > θ 0. The test T 1 in (i) is UMP. For θ > θ 0, E θ (T ) = P θ (X (n) > θ 0 ) + P θ (X (n) θ 0 α 1/n ) = 1 θn 0 θ n + αθn 0 θ n, which is the same as the power of T 1. Now, consider hypotheses H 0 : θ = θ 0 versus H 1 : θ < θ 0. The UMP test is 1, X (n) < d, T 2 (X) = η, X (n) = d, 0, X (n) > d, with E θ0 (T 2 ) = (d 1)n θ n 0 + η dn (d 1) n θ n 0 = α. For θ θ 0, E θ (T ) = P θ (X (n) > θ 0 ) + P θ (X (n) θ 0 α 1/n ) { } = P θ (X (n) θ 0 α 1/n ) = min 1, αθn 0. θ n On the other hand, the power of T 2 when θ θ 0 is E θ (T 2 ) = P θ (X (n) < d) + ηp θ (X (n) = d) = (d 1)n θ n + η dn (d 1) n θ n = α θn 0 θ n. Thus, we conclude that T has size α and its power is the same as the power of T 1 when θ > θ 0 and is no smaller than the power of T 2 when θ < θ 0. Thus, T is UMP. 6