Asymptotic Notation. Instructor: Laszlo Babai June 14, 2002

Similar documents
Probability. An intro for calculus students P= Figure 1: A normal integral

Random Variables and Probability Functions

Discrete Mathematics for CS Spring 2008 David Wagner Final Exam

The Binomial Theorem. Step 1 Expand the binomials in column 1 on a CAS and record the results in column 2 of a table like the one below.

The rth moment of a real-valued random variable X with density f(x) is. x r f(x) dx

X ln( +1 ) +1 [0 ] Γ( )

The Real Numbers. Here we show one way to explicitly construct the real numbers R. First we need a definition.

ELEMENTS OF MONTE CARLO SIMULATION

MAC Learning Objectives. Learning Objectives (Cont.)

Lecture 4: Divide and Conquer

SYLLABUS AND SAMPLE QUESTIONS FOR MSQE (Program Code: MQEK and MQED) Syllabus for PEA (Mathematics), 2013

The Binomial Theorem and Consequences

Some Discrete Distribution Families

4 Martingales in Discrete-Time

Sequences, Series, and Probability Part I

6.1 Binomial Theorem

Chapter 8 Sequences, Series, and the Binomial Theorem

CS134: Networks Spring Random Variables and Independence. 1.2 Probability Distribution Function (PDF) Number of heads Probability 2 0.

Homework Assignments

Chapter 1 Additional Questions

Chapter 3: Black-Scholes Equation and Its Numerical Evaluation

TEST 1 SOLUTIONS MATH 1002

The proof of Twin Primes Conjecture. Author: Ramón Ruiz Barcelona, Spain August 2014

Statistics for Business and Economics

Chapter 3 Discrete Random Variables and Probability Distributions

3 The Model Existence Theorem

Lecture 14: Examples of Martingales and Azuma s Inequality. Concentration

4.2 Bernoulli Trials and Binomial Distributions

M249 Diagnostic Quiz

IEOR 3106: Introduction to OR: Stochastic Models. Fall 2013, Professor Whitt. Class Lecture Notes: Tuesday, September 10.

MTH6154 Financial Mathematics I Interest Rates and Present Value Analysis

Experimental Mathematics with Python and Sage

Chapter 3 - Lecture 5 The Binomial Probability Distribution

Class Notes: On the Theme of Calculators Are Not Needed

MATH3075/3975 FINANCIAL MATHEMATICS TUTORIAL PROBLEMS

Math 167: Mathematical Game Theory Instructor: Alpár R. Mészáros

Multinomial Coefficient : A Generalization of the Binomial Coefficient

Edexcel past paper questions. Core Mathematics 4. Binomial Expansions

Probability Distributions for Discrete RV

Integrating rational functions (Sect. 8.4)

9 Expectation and Variance

Asymptotic results discrete time martingales and stochastic algorithms

Discrete Random Variables and Probability Distributions. Stat 4570/5570 Based on Devore s book (Ed 8)

Vocabulary & Concept Review

Chapter 5 Integration

Sublinear Time Algorithms Oct 19, Lecture 1

3.1 Properties of Binomial Coefficients

Maximum Contiguous Subsequences

arxiv: v1 [cs.lg] 21 May 2011

Definition 9.1 A point estimate is any function T (X 1,..., X n ) of a random sample. We often write an estimator of the parameter θ as ˆθ.

Chapter 5 Discrete Probability Distributions. Random Variables Discrete Probability Distributions Expected Value and Variance

MTH 110-College Algebra

Math-Stat-491-Fall2014-Notes-V

5 Deduction in First-Order Logic

Smoothed Analysis of Binary Search Trees

Lecture Notes 6. Assume F belongs to a family of distributions, (e.g. F is Normal), indexed by some parameter θ.

The Binomial Distribution

Chapter 8 To Infinity and Beyond: LIMITS

Approximate Revenue Maximization with Multiple Items

Modeling and Estimation of

Introduction to Financial Mathematics. Kyle Hambrook

Lecture 23: April 10

Numerical schemes for SDEs

Central Limit Theorem (cont d) 7/28/2006

MA : Introductory Probability

Random Variables Handout. Xavier Vilà

LECTURE 3: FREE CENTRAL LIMIT THEOREM AND FREE CUMULANTS

STOCHASTIC CALCULUS AND BLACK-SCHOLES MODEL

LECTURE 2: MULTIPERIOD MODELS AND TREES

CH 5 Normal Probability Distributions Properties of the Normal Distribution

Class 11 Maths Chapter 8 Binomial Theorem

Optimal stopping problems for a Brownian motion with a disorder on a finite interval

Cumulants and triangles in Erdős-Rényi random graphs

2011 Pearson Education, Inc

Module 3: Sampling Distributions and the CLT Statistics (OA3102)

CS 174: Combinatorics and Discrete Probability Fall Homework 5. Due: Thursday, October 4, 2012 by 9:30am

Math 10 Lesson 2-3 Factoring trinomials

Chapter 5. Sampling Distributions

The ruin probabilities of a multidimensional perturbed risk model

Chapter 5. Statistical inference for Parametric Models

The Binomial and Geometric Distributions. Chapter 8

FURTHER ASPECTS OF GAMBLING WITH THE KELLY CRITERION. We consider two aspects of gambling with the Kelly criterion. First, we show that for

CONVERGENCE OF OPTION REWARDS FOR MARKOV TYPE PRICE PROCESSES MODULATED BY STOCHASTIC INDICES

Information Aggregation in Dynamic Markets with Strategic Traders. Michael Ostrovsky

Logarithmic and Exponential Functions

Chapter 7. Sampling Distributions and the Central Limit Theorem

Application of an Interval Backward Finite Difference Method for Solving the One-Dimensional Heat Conduction Problem

The Complexity of Simple and Optimal Deterministic Mechanisms for an Additive Buyer. Xi Chen, George Matikas, Dimitris Paparas, Mihalis Yannakakis

BROWNIAN MOTION II. D.Majumdar

Computational Independence

Chapter 3 Common Families of Distributions. Definition 3.4.1: A family of pmfs or pdfs is called exponential family if it can be expressed as

Decidability and Recursive Languages

Worksheet A ALGEBRA PMT

Chapter 7 1. Random Variables

Phys. Lett. A, 372/17, (2008),

PROBABILITY DISTRIBUTIONS

Math 489/Math 889 Stochastic Processes and Advanced Mathematical Finance Dunbar, Fall 2007

2) Endpoints of a diameter (-1, 6), (9, -2) A) (x - 2)2 + (y - 4)2 = 41 B) (x - 4)2 + (y - 2)2 = 41 C) (x - 4)2 + y2 = 16 D) x2 + (y - 2)2 = 25

Chapter 2. Random variables. 2.3 Expectation

Introduction Recently the importance of modelling dependent insurance and reinsurance risks has attracted the attention of actuarial practitioners and

Transcription:

Asymptotic Notation Instructor: Laszlo Babai June 14, 2002 1 Preliminaries Notation: exp(x) = e x. Throughout this course we shall use the following shorthand in quantifier notation. ( a) is read as for all a ( a) is read as there exists a such that ( a, statement(a)) is read as for all a such that statement(a),... Example. ( x 0)( y)(xy = 1) is a statement which holds in every field but does not hold e. g. in Z, the set of integers, or in N, the set of nonnegative integers. The symbol [n] will be used to denote {1, 2,..., n} in combinatorial contexts. Definition 1.1 Let a n be a sequence of real of complex numbers. We write lim n a n = c (or simply a n c) if ( ɛ > 0)( n 0 N)( n > n 0 )( a n c < ɛ). 2 Asymptotic Equality Often, we are interested in comparing the rate of growth of two functions, as inputs increase in length. Asymptotic equality is one formalization of the idea of two functions having the same rate of growth. Definition 2.1 We say a n is asymptotically equal to b n (denoted a n b n ) if lim n a n /b n = 1. Observations. 1. If c 0 is a constant then the statement a n c is equivalent to a n c. 2. If zero occurs infinitely many times in a sequence then that sequence is not asymptotically equal to any sequence, not even to itself. Exercise 2.2 Let S denote the set of those sequences of real or complex numbers in which zero occurs only a finite number of times. Prove that is an equivalence relation on S, i. e., the relation is 1

(a) reflexive: a n a n ; (b) symmetric: if a n b n then b n a n ; and (c) transitive: if a n b n and b n c n then a n c n. Exercise 2.3 Prove: if a n b n and c n d n then a n c n b n d n and a n /c n b n /d n. (Note that a finite number of undefined terms do not invalidate a limit relation.) Exercise 2.4 Consider the following statement. 1. Prove that (1) is false. If a n b n and c n d n then a n + c n b n + d n. (1) 2. Prove: if a n, b n, c n, d n > 0 then (1) is true. Hint. Prove: if a, b, c, d > 0 and a/b < c/d then a/b < (a + c)/(b + d) < c/d. Exercise 2.5 1. If f(x) and g(x) are polynomials with respective leading terms ax n and bx m then f(n)/g(n) (a/b)x n m. 2. sin(1/n) ln(1 + 1/n) 1/n. 3. n 2 + 1 n 1/2n. 4. If f is a function, differentiable at zero, f(0) = 0, and f (0) 0, then f(1/n) f (0)/n. See that items 2 and 3 in this exercise follow from this. Next we state some of the most important asymptotic formulas in mathematics. Theorem 2.6 (Stirling s Formula) ( n ) n n! 2πn e Exercise 2.7 Prove: ( ) 2n 4n. n πn Exercise 2.8 Give a very simple proof, without using Stirling s formula, that ln(n!) n ln n. Theorem 2.9 (The Prime Number Theorem) Let π(x) be the number of primes less than or equal to x. π(x) x ln x, where ln denotes the natural logarithm function. 2

Exercise 2.10 Let p n be the n-th prime number. Prove, using the Prime Number Theorem, that p n n ln n. Exercise 2.11 Feasibility of generating random prime numbers. Estimate, how many random 100-digit integers should we expect to pick before we encounter a prime number? (We generate our numbers by choosing the 100 digits independently at random (initial zeros are permitted), so each of the 10 100 numbers has the same probability to be chosen.) Interpret this question as asking the reciprocal of the probability that a randomly chosen integer is prime. Definition 2.12 A partition of a positive integer n is a representation of n as a sum of positive integers: n = x 1 +... + x k where x 1... x k. Let p(n) denote the number of partitions of n. Examples: p(1) = 1, p(2) = 2, p(3) = 3, p(4) = 5. The 5 representations of 4 are 4 = 4; 4 = 1 + 3; 4 = 2 + 2; 4 = 1 + 1 + 2; 4 = 1 + 1 + 1 + 1. One of the most amazing asymptotic formulas in discrete mathematics gives the growth of p(n). Theorem 2.13 (Hardy-Ramanujan Formula) p(n) 1 ( ) 2π 4n 3 exp n 6 (2) 3 Little-oh notation Definition 3.1 We say that a n = o(b n ) ( a n is little oh of b n ) if a n lim = 0 n b n Observation. So a n = o(1) means lim n a n = 0. Exercise 3.2 Show: if a n = o(c n ) and b n = o(c n ) then a n ± b n = o(c n ). Exercise 3.3 Consider the following statement: If a n = o(b n ) and c n = o(d n ) then a n + c n = o(b n + d n ). (3) 1. Show that statement (3) is false. 2. Prove that statement (3) becomes true if we assume b n, d n > 0. Exercise 3.4 Show that a n b n a n = b n (1 + o(1)). Exercise 3.5 Use the preceding exercise to give a second proof of (1) when a n, b n, c n, d n > 0. 3

Exercise 3.6 Construct sequences a n, b n > 1 such that a n = o(b n ) and ln a n ln b n. Exercise 3.7 Let a n, b n > 1. (a) Prove that the relation a n = o(b n ) does NOT follow from the relation ln a n = o(ln b n ). (b) If we additionally assume that b n then a n = o(b n ) DOES follow from ln a n = o(ln b n ). 4 Big-Oh, Omega, Theta notation (O, Ω, Θ) Definition 4.1 We say that 1. a n = O(b n ) (a n is big oh of b n ) if a n /b n is bounded (0/0 counts as bounded ), i. e., ( C > 0, n 0 N)( n > n 0 )( a n C b n ). 2. a n = Ω(b n ) if b n = O(a n ), i. e., if b n /a n is bounded ( c > 0, n 0 N)( n > n 0 )( a n c b n ) 3. a n = Θ(b n ) if a n = O(b n ) and a n = Ω(b n ), i. e., ( C, c > 0, n 0 N)( n > n 0 )(c b n a n C b n ). Exercise 4.2 Suppose the finite or infinite limit lim n a n /b n = L exists. Then (a) b n = o(a n ) if and only if L = ; (b) a n = o(b n ) if and only if L = 0; and (c) a n = Θ(b n ) if and only if 0 < L <. Exercise 4.3 Construct sequences a n, b n > 0 such that a n = Θ(b n ) but the limit lim n a n /b n does not exist. Exercise 4.4 Let a n, b n > 0. Show: a n = Θ(b n ) ln a n = ln b n + O(1). Exercise 4.5 Show: if a n = O(c n ) and b n = O(c n ) then a n + b n = O(c n ). Exercise 4.6 Consider the statement if a n = Ω(c n ) and b n = Ω(c n ) then a n + b n = Ω(c n ). (a) Show that this statement is false. (b) Show that if we additionally assume a n b n > 0 then the statement becomes true. Exercise 4.7 Let a n, b n > 1. Suppose a n = Θ(b n ). Does it follow that ln a n ln b n? 1. Show that even ln a n = O(ln b n ) does not follow. 4

2. Show that if b n then ln a n ln b n follows. Exercise 4.8 Let a n, b n > 0. Consider the relations (A) a n = O(2 bn ) and (B) a n = 2 O(bn). (a) Prove: the relation (B) does NOT follow from (A). (b) Prove: if b n > 0.01 then (B) DOES follow from (A). Note. a n = 2 O(bn) means that a n = 2 cn where c n = O(b n ). Exercise 4.9 Prove: if a n = Ω(b n ) and a n = Ω(c n ) then a n = Ω(b n + c n ). Note. We say that the statement A implies statement B if B follows from A. Exercise 4.10 (a) Prove that the relations a n = O(b n ) and a n = O(c n ) do NOT imply a n = O(b n + c n ). (b) Prove that if a n, b n > 0 then the relations a n = O(b n ) and a n = O(c n ) DO imply a n = O(b n + c n ). Exercise 4.11 Prove: n i=1 1/i = ln n + O(1). 5 Prime Numbers Exercise + 5.1 Let P (x) denote the product of all prime numbers x. Consider the following statement: ln P (x) x. Prove that this statement is equivalent to the Prime Number Theorem. Exercise + 5.2 Prove, without using the Prime Number Theorem, that ln P (x) = Θ(x). Hint. For the easy upper bound, observe that the binomial coefficient ( ) 2n n is divisible by the integer P (2n)/P (n). This observation yields P (x) 4 x. For the lower bound, prove that if a prime power p t divides the binomial coefficient ( ) n k then p t n. From this it follows that ( ) 2n n divides the product P (2n)P ((2n) 1/2 )P ((2n) 1/3 )P ((2n) 1/4 ).... Use the upper bound to estimate all but the first term in this product. 6 Partitions Exercise 6.1 Let p(n, k) denote the number of those partitions of n which have at most k terms. Let q(n, k) denote the number of those partitions in which every term is k. Observe that p(n, 1) = q(n, 1) = 1 and p(n, n) = q(n, n) = p(n). (Do!) Let p(n) = n i=0 p(i) and let p(n, k) = n i=0 p(i, k). 1. Prove: p(n, k) = q(n, k). 2. Compute p(n, 2). Give a very simple formula. 5

3. Compute p(n, 3). Give a simple formula. 4. Prove: p(n) p(n, k) 2, where k = n. Hint. Use part 1 of this exercise. Exercise + 6.2 Prove, without using the Hardy Ramanujan formula, that ln p(n) = Θ( n). Hint. ln p(n) = Ω( n) is easy (2 lines). The upper bound is harder. Use the preceding exercise, especially item 4. When estimating p(n, n), split the terms of your partition into sets {x i n}, { n < x i 2 n}, {2 n < x i 4 n}, {4 n < x i 8 n}, etc. Exercise + 6.3 Let p (n) denote the number of partitions of n such that all terms are primes or 1. Example: 16 = 1 + 1 + 1 + 3 + 3 + 7. Prove: ( ) n ln p (n) = Θ. ln n Exercise 6.4 Let r(n) denote the number of different integers of the form x i! where x i 1 and x i = n. (The x i are integers.) Prove: p (n) r(n) p(n). OPEN QUESTIONS. Is log r(n) = Θ( n)? Or perhaps, log r(n) = Θ( n/ log n)? Or maybe log r(n) lies somewhere between these bounds? 6