COMP 480/580 Probabilistic Algorithms and Data Structures
Tail Bounds
Luay Nakhleh Computer Science Rice University
Tail Bounds Computer Science Rice University What Is This About? - - PowerPoint PPT Presentation
COMP 480/580 Probabilistic Algorithms and Data Structures Luay Nakhleh Tail Bounds Computer Science Rice University What Is This About? How large can a random variable get? In other words, how far can a value that the random variable
COMP 480/580 Probabilistic Algorithms and Data Structures
Luay Nakhleh Computer Science Rice University
mean
mean tails
mean tails how large?
❖ Example: ❖ is the number of steps an algorithm takes. ❖ is the average-case running-time of the algorithm. ❖ Can the algorithm, on average, take 2n steps, but on
❖ A random variable is a function from the sample space
❖ A coin is tossed twice. Let X(t) be the random variable
❖ X(HH)=2 ❖ X(HT)=X(TH)=1 ❖ X(TT)=0
❖ The expected value (also called the expectation or mean)
x
s∈S
❖ If Xi, i=1,2,…,n, are random variables on S, and if a and
❖ Let X be a random variable on a sample space S. The
❖ If Xi, i=1,2,…,n, are pairwise independent random
n
i=1
n
i=1
❖ Let X be a random variable that takes only nonnegative
❖ Let X be a random variable that takes only nonnegative
❖ Assume the expected time it takes
❖ For distributions encountered in
❖ Why?
❖ Let X be a random variable. For every real number r>0,
❖ Let X be a random variable. For every real number r>0,
❖ Assume we have a distribution whose mean is 80 and
❖ Assume we have a distribution whose mean is 80 and
❖ Assume we have a distribution whose mean is 80 and
❖ Assume we have a distribution whose mean is 80 and
❖ Here’s a simple algorithm for estimating π: ❖ Throw darts at a square whose area is 1,
inside which there’s a circle whose radius is 1/2.
❖ The probability that it lands inside the
circle equals the ratio of the circle area to the square area (π/4). Therefore, calculate the proportion of times that the dart landed inside the circle and multiply it by 4.
r=1/2 (0.5,0.5)
r=1/2 (0.5,0.5)
Algorithm 1: MonteCarlo πEstimation. Input: n ∈ N. Output: Estimate ˆ π of π. for i = 1 to n do a ← random(0, 1); // random number in [0, 1] b ← random(0, 1); // random number in [0, 1] Xi ← 0; if p (a − 0.5)2 + (b − 0.5)2 ≤ 0.5 then Xi ← 1; // the dart landed inside/on the circle ˆ π ← 4 · (Pn
i=1 Xi)/n;
return ˆ π;
❖ Let Xi be the random variable that denotes whether the
❖ Then, ˆ
i=1 Xi
❖ Let Xi be the random variable that denotes whether the
❖ Then, ˆ
i=1 Xi
❖ Let Xi be the random variable that denotes whether the
❖ Then, ˆ
i=1 Xi
❖ Let Xi be the random variable that denotes whether the
❖ Then, ˆ
i=1 Xi
n
i=1
n
i=1
❖ The question of interest is: How big should n be for us
❖ In a probabilistic setting, the question can be asked as: ❖ What should the value of n be so that the estimation
❖ (of course, we want δ to be very small and ε to be as
❖ In other words, we are interested in the value of n that
❖ For δ=0.001 and ε=0.95, we seek n such that
❖ For δ=0.001 and ε=0.95, we seek n such that
❖ For δ=0.001 and ε=0.95, we seek n such that
❖ For δ=0.001 and ε=0.95, we seek n such that
So, we would like n such that
❖ Let X1,X2,…,Xn be independent random variables with
i
<latexit sha1_base64="Ng+7wxs3urtRwLzwgf1CfQ2G6A=">AB/HicbVBNS8NAEJ3Ur1q/oj16WSxCvZSkCHoRil48VrAf0Maw2W7bpZtN2N0IdS/4sWDIl79Id78N27bHLT1wcDjvRlm5gUxZ0o7zrdVWFvf2Nwqbpd2dvf2D+zDo7aKEkloi0Q8kt0AK8qZoC3NKfdWFIcBpx2gsnNzO8UqlYJO51GlMvxCPBhoxgbSTfLrerXZ+doSvUV2wUYp891H274tScOdAqcXNSgRxN3/7qDyKShFRowrFSPdeJtZdhqRnhdFrqJ4rGmEzwiPYMFTikysvmx0/RqVEGaBhJU0Kjufp7IsOhUmkYmM4Q67Fa9mbif14v0cNL2MiTjQVZLFomHCkIzRLAg2YpETz1BMJDO3IjLGEhNt8iqZENzl1dJu15znZp7d15pXOdxFOEYTqAKLlxA26hCS0gkMIzvMKb9WS9WO/Wx6K1YOUzZfgD6/MHmyKTcg=</latexit><latexit sha1_base64="Ng+7wxs3urtRwLzwgf1CfQ2G6A=">AB/HicbVBNS8NAEJ3Ur1q/oj16WSxCvZSkCHoRil48VrAf0Maw2W7bpZtN2N0IdS/4sWDIl79Id78N27bHLT1wcDjvRlm5gUxZ0o7zrdVWFvf2Nwqbpd2dvf2D+zDo7aKEkloi0Q8kt0AK8qZoC3NKfdWFIcBpx2gsnNzO8UqlYJO51GlMvxCPBhoxgbSTfLrerXZ+doSvUV2wUYp891H274tScOdAqcXNSgRxN3/7qDyKShFRowrFSPdeJtZdhqRnhdFrqJ4rGmEzwiPYMFTikysvmx0/RqVEGaBhJU0Kjufp7IsOhUmkYmM4Q67Fa9mbif14v0cNL2MiTjQVZLFomHCkIzRLAg2YpETz1BMJDO3IjLGEhNt8iqZENzl1dJu15znZp7d15pXOdxFOEYTqAKLlxA26hCS0gkMIzvMKb9WS9WO/Wx6K1YOUzZfgD6/MHmyKTcg=</latexit><latexit sha1_base64="Ng+7wxs3urtRwLzwgf1CfQ2G6A=">AB/HicbVBNS8NAEJ3Ur1q/oj16WSxCvZSkCHoRil48VrAf0Maw2W7bpZtN2N0IdS/4sWDIl79Id78N27bHLT1wcDjvRlm5gUxZ0o7zrdVWFvf2Nwqbpd2dvf2D+zDo7aKEkloi0Q8kt0AK8qZoC3NKfdWFIcBpx2gsnNzO8UqlYJO51GlMvxCPBhoxgbSTfLrerXZ+doSvUV2wUYp891H274tScOdAqcXNSgRxN3/7qDyKShFRowrFSPdeJtZdhqRnhdFrqJ4rGmEzwiPYMFTikysvmx0/RqVEGaBhJU0Kjufp7IsOhUmkYmM4Q67Fa9mbif14v0cNL2MiTjQVZLFomHCkIzRLAg2YpETz1BMJDO3IjLGEhNt8iqZENzl1dJu15znZp7d15pXOdxFOEYTqAKLlxA26hCS0gkMIzvMKb9WS9WO/Wx6K1YOUzZfgD6/MHmyKTcg=</latexit><latexit sha1_base64="Ng+7wxs3urtRwLzwgf1CfQ2G6A=">AB/HicbVBNS8NAEJ3Ur1q/oj16WSxCvZSkCHoRil48VrAf0Maw2W7bpZtN2N0IdS/4sWDIl79Id78N27bHLT1wcDjvRlm5gUxZ0o7zrdVWFvf2Nwqbpd2dvf2D+zDo7aKEkloi0Q8kt0AK8qZoC3NKfdWFIcBpx2gsnNzO8UqlYJO51GlMvxCPBhoxgbSTfLrerXZ+doSvUV2wUYp891H274tScOdAqcXNSgRxN3/7qDyKShFRowrFSPdeJtZdhqRnhdFrqJ4rGmEzwiPYMFTikysvmx0/RqVEGaBhJU0Kjufp7IsOhUmkYmM4Q67Fa9mbif14v0cNL2MiTjQVZLFomHCkIzRLAg2YpETz1BMJDO3IjLGEhNt8iqZENzl1dJu15znZp7d15pXOdxFOEYTqAKLlxA26hCS0gkMIzvMKb9WS9WO/Wx6K1YOUzZfgD6/MHmyKTcg=</latexit>i=1
n
i=1
i=1 σ2 i
❖ Let X1,X2,…,Xn be independently and
n
i=1
n→∞
❖ The question is: Can we do better (give tighter bounds)
❖ The answer is YES, and there are many forms of
❖ Let X=X1+X2+…+Xn, where all the Xi’s are independent
❖ Let . ❖ Then, for 𝜀>0,
n
i=1
2+δ
<latexit sha1_base64="4bUnfHzVh3DItCYCOE1NnczsKY=">ACK3icbZDLSgMxFIYzXmu9V26CRahIi0zg6DLUjcuK9gLdNqSc+0oZmLSUYo03kfN76KC14wa3vYXpZaOuBwJ/vP4fk/G7EmVSm+WGsrK6tb2xmtrLbO7t7+7mDw7oMY0GhRkMeiqZLJHAWQE0xaEZCSC+y6HhDq8nfuMBhGRhcKdGEbR90g+YxyhRGnVzlWph3Cw6fjzGTh/usdMDrgjW4Aw7XAMbOknR8QShyczr2NpME/t8dk3Tbi5vlsxp4WVhzUezavazb04vZDGPgSKciJlyzIj1U6IUIxySLNOLCEidEj60NIyID7IdjLdNcWnmvSwFwp9AoWn9PdEQnwpR76rO32iBnLRm8D/vFasvKt2woIoVhDQ2UNezLEK8SQ43GMCqOIjLQgVTP8V0wHRuSgdb1aHYC2uvCzqdskyS9btRb5cmceRQcfoBWQhS5RGd2gKqohih7RM3pD78aT8Wp8Gl+z1hVjPnOE/pTx/QMguKcP</latexit><latexit sha1_base64="4bUnfHzVh3DItCYCOE1NnczsKY=">ACK3icbZDLSgMxFIYzXmu9V26CRahIi0zg6DLUjcuK9gLdNqSc+0oZmLSUYo03kfN76KC14wa3vYXpZaOuBwJ/vP4fk/G7EmVSm+WGsrK6tb2xmtrLbO7t7+7mDw7oMY0GhRkMeiqZLJHAWQE0xaEZCSC+y6HhDq8nfuMBhGRhcKdGEbR90g+YxyhRGnVzlWph3Cw6fjzGTh/usdMDrgjW4Aw7XAMbOknR8QShyczr2NpME/t8dk3Tbi5vlsxp4WVhzUezavazb04vZDGPgSKciJlyzIj1U6IUIxySLNOLCEidEj60NIyID7IdjLdNcWnmvSwFwp9AoWn9PdEQnwpR76rO32iBnLRm8D/vFasvKt2woIoVhDQ2UNezLEK8SQ43GMCqOIjLQgVTP8V0wHRuSgdb1aHYC2uvCzqdskyS9btRb5cmceRQcfoBWQhS5RGd2gKqohih7RM3pD78aT8Wp8Gl+z1hVjPnOE/pTx/QMguKcP</latexit><latexit sha1_base64="4bUnfHzVh3DItCYCOE1NnczsKY=">ACK3icbZDLSgMxFIYzXmu9V26CRahIi0zg6DLUjcuK9gLdNqSc+0oZmLSUYo03kfN76KC14wa3vYXpZaOuBwJ/vP4fk/G7EmVSm+WGsrK6tb2xmtrLbO7t7+7mDw7oMY0GhRkMeiqZLJHAWQE0xaEZCSC+y6HhDq8nfuMBhGRhcKdGEbR90g+YxyhRGnVzlWph3Cw6fjzGTh/usdMDrgjW4Aw7XAMbOknR8QShyczr2NpME/t8dk3Tbi5vlsxp4WVhzUezavazb04vZDGPgSKciJlyzIj1U6IUIxySLNOLCEidEj60NIyID7IdjLdNcWnmvSwFwp9AoWn9PdEQnwpR76rO32iBnLRm8D/vFasvKt2woIoVhDQ2UNezLEK8SQ43GMCqOIjLQgVTP8V0wHRuSgdb1aHYC2uvCzqdskyS9btRb5cmceRQcfoBWQhS5RGd2gKqohih7RM3pD78aT8Wp8Gl+z1hVjPnOE/pTx/QMguKcP</latexit><latexit sha1_base64="4bUnfHzVh3DItCYCOE1NnczsKY=">ACK3icbZDLSgMxFIYzXmu9V26CRahIi0zg6DLUjcuK9gLdNqSc+0oZmLSUYo03kfN76KC14wa3vYXpZaOuBwJ/vP4fk/G7EmVSm+WGsrK6tb2xmtrLbO7t7+7mDw7oMY0GhRkMeiqZLJHAWQE0xaEZCSC+y6HhDq8nfuMBhGRhcKdGEbR90g+YxyhRGnVzlWph3Cw6fjzGTh/usdMDrgjW4Aw7XAMbOknR8QShyczr2NpME/t8dk3Tbi5vlsxp4WVhzUezavazb04vZDGPgSKciJlyzIj1U6IUIxySLNOLCEidEj60NIyID7IdjLdNcWnmvSwFwp9AoWn9PdEQnwpR76rO32iBnLRm8D/vFasvKt2woIoVhDQ2UNezLEK8SQ43GMCqOIjLQgVTP8V0wHRuSgdb1aHYC2uvCzqdskyS9btRb5cmceRQcfoBWQhS5RGd2gKqohih7RM3pD78aT8Wp8Gl+z1hVjPnOE/pTx/QMguKcP</latexit>❖ The bound can also be written as
2+δ
<latexit sha1_base64="Q3RnoNs7lAt0a9qe2+WfCfaVWQ=">ACKHicbVDLSgMxFM3UV62vUZdugkWoiGWmCLqz6MZlBfuATlsy6Z02NPMwyQhlmM9x46+4EVGkW7/EtJ2Fth5IOJxzLsk9bsSZVJY1MXIrq2vrG/nNwtb2zu6euX/QkGEsKNRpyEPRcokEzgKoK6Y4tCIBxHc5N3R7dRvPoGQLAwe1DiCjk8GAfMYJUpLPfO6VmphZwCPuGSfOX3gipxix4/1xbUI3eTc8QShydzrVrSXJpUsmqY9s2iVrRnwMrEzUkQZaj3z3emHNPYhUJQTKdu2FalOQoRilENacGIJEaEjMoC2pgHxQXaS2aIpPtFKH3uh0CdQeKb+nkiIL+XYd3XSJ2oF72p+J/XjpV31UlYEMUKAjp/yIs5ViGetob7TABVfKwJoYLpv2I6JLoXpbst6BLsxZWXSaNStq2yfX9RrN5kdeTRETpGJWSjS1RFd6iG6oiZ/SKPtCn8WK8GV/GZB7NGdnMIfoD4/sHWcSlCQ=</latexit><latexit sha1_base64="Q3RnoNs7lAt0a9qe2+WfCfaVWQ=">ACKHicbVDLSgMxFM3UV62vUZdugkWoiGWmCLqz6MZlBfuATlsy6Z02NPMwyQhlmM9x46+4EVGkW7/EtJ2Fth5IOJxzLsk9bsSZVJY1MXIrq2vrG/nNwtb2zu6euX/QkGEsKNRpyEPRcokEzgKoK6Y4tCIBxHc5N3R7dRvPoGQLAwe1DiCjk8GAfMYJUpLPfO6VmphZwCPuGSfOX3gipxix4/1xbUI3eTc8QShydzrVrSXJpUsmqY9s2iVrRnwMrEzUkQZaj3z3emHNPYhUJQTKdu2FalOQoRilENacGIJEaEjMoC2pgHxQXaS2aIpPtFKH3uh0CdQeKb+nkiIL+XYd3XSJ2oF72p+J/XjpV31UlYEMUKAjp/yIs5ViGetob7TABVfKwJoYLpv2I6JLoXpbst6BLsxZWXSaNStq2yfX9RrN5kdeTRETpGJWSjS1RFd6iG6oiZ/SKPtCn8WK8GV/GZB7NGdnMIfoD4/sHWcSlCQ=</latexit><latexit sha1_base64="Q3RnoNs7lAt0a9qe2+WfCfaVWQ=">ACKHicbVDLSgMxFM3UV62vUZdugkWoiGWmCLqz6MZlBfuATlsy6Z02NPMwyQhlmM9x46+4EVGkW7/EtJ2Fth5IOJxzLsk9bsSZVJY1MXIrq2vrG/nNwtb2zu6euX/QkGEsKNRpyEPRcokEzgKoK6Y4tCIBxHc5N3R7dRvPoGQLAwe1DiCjk8GAfMYJUpLPfO6VmphZwCPuGSfOX3gipxix4/1xbUI3eTc8QShydzrVrSXJpUsmqY9s2iVrRnwMrEzUkQZaj3z3emHNPYhUJQTKdu2FalOQoRilENacGIJEaEjMoC2pgHxQXaS2aIpPtFKH3uh0CdQeKb+nkiIL+XYd3XSJ2oF72p+J/XjpV31UlYEMUKAjp/yIs5ViGetob7TABVfKwJoYLpv2I6JLoXpbst6BLsxZWXSaNStq2yfX9RrN5kdeTRETpGJWSjS1RFd6iG6oiZ/SKPtCn8WK8GV/GZB7NGdnMIfoD4/sHWcSlCQ=</latexit><latexit sha1_base64="Q3RnoNs7lAt0a9qe2+WfCfaVWQ=">ACKHicbVDLSgMxFM3UV62vUZdugkWoiGWmCLqz6MZlBfuATlsy6Z02NPMwyQhlmM9x46+4EVGkW7/EtJ2Fth5IOJxzLsk9bsSZVJY1MXIrq2vrG/nNwtb2zu6euX/QkGEsKNRpyEPRcokEzgKoK6Y4tCIBxHc5N3R7dRvPoGQLAwe1DiCjk8GAfMYJUpLPfO6VmphZwCPuGSfOX3gipxix4/1xbUI3eTc8QShydzrVrSXJpUsmqY9s2iVrRnwMrEzUkQZaj3z3emHNPYhUJQTKdu2FalOQoRilENacGIJEaEjMoC2pgHxQXaS2aIpPtFKH3uh0CdQeKb+nkiIL+XYd3XSJ2oF72p+J/XjpV31UlYEMUKAjp/yIs5ViGetob7TABVfKwJoYLpv2I6JLoXpbst6BLsxZWXSaNStq2yfX9RrN5kdeTRETpGJWSjS1RFd6iG6oiZ/SKPtCn8WK8GV/GZB7NGdnMIfoD4/sHWcSlCQ=</latexit>2
<latexit sha1_base64="wQuSTg1MQriXJn0vtFrD/zyBy5E=">ACIXicbVDJSgNBEO1xjXGLevTSGITkDATBHMevEYwSyQmYSenpqkSc9id48QhvkVL/6KFw+K5Cb+jJ3loIkPCh7vVFVz405k8o0v4yNza3tnd3cXn7/4PDouHBy2pZRIi0aMQj0XWJBM5CaCmOHRjASRwOXTc8e3M7zyBkCwKH9QkBicgw5D5jBKlpUGh3ix1sc3hEZesiu0BV6SM7SApL0TopxXbF4SmC69f016W1rJsUCiaVXMOvE6sJSmiJZqDwtT2IpoECrKiZQ9y4yVkxKhGOWQ5e1EQkzomAyhp2lIApBOv8w5da8bAfCV2hwnP190RKAikngas7A6JGctWbif95vUT5dSdlYZwoCOlikZ9wrCI8iwt7TABVfKIJoYLpWzEdER2I0qHmdQjW6svrpF2rWmbVur8qNm6WceTQObpAJWSha9RAd6iJWoiZ/SK3tGH8WK8GZ/GdNG6YSxnztAfGN8/7s2iOQ=</latexit><latexit sha1_base64="wQuSTg1MQriXJn0vtFrD/zyBy5E=">ACIXicbVDJSgNBEO1xjXGLevTSGITkDATBHMevEYwSyQmYSenpqkSc9id48QhvkVL/6KFw+K5Cb+jJ3loIkPCh7vVFVz405k8o0v4yNza3tnd3cXn7/4PDouHBy2pZRIi0aMQj0XWJBM5CaCmOHRjASRwOXTc8e3M7zyBkCwKH9QkBicgw5D5jBKlpUGh3ix1sc3hEZesiu0BV6SM7SApL0TopxXbF4SmC69f016W1rJsUCiaVXMOvE6sJSmiJZqDwtT2IpoECrKiZQ9y4yVkxKhGOWQ5e1EQkzomAyhp2lIApBOv8w5da8bAfCV2hwnP190RKAikngas7A6JGctWbif95vUT5dSdlYZwoCOlikZ9wrCI8iwt7TABVfKIJoYLpWzEdER2I0qHmdQjW6svrpF2rWmbVur8qNm6WceTQObpAJWSha9RAd6iJWoiZ/SK3tGH8WK8GZ/GdNG6YSxnztAfGN8/7s2iOQ=</latexit><latexit sha1_base64="wQuSTg1MQriXJn0vtFrD/zyBy5E=">ACIXicbVDJSgNBEO1xjXGLevTSGITkDATBHMevEYwSyQmYSenpqkSc9id48QhvkVL/6KFw+K5Cb+jJ3loIkPCh7vVFVz405k8o0v4yNza3tnd3cXn7/4PDouHBy2pZRIi0aMQj0XWJBM5CaCmOHRjASRwOXTc8e3M7zyBkCwKH9QkBicgw5D5jBKlpUGh3ix1sc3hEZesiu0BV6SM7SApL0TopxXbF4SmC69f016W1rJsUCiaVXMOvE6sJSmiJZqDwtT2IpoECrKiZQ9y4yVkxKhGOWQ5e1EQkzomAyhp2lIApBOv8w5da8bAfCV2hwnP190RKAikngas7A6JGctWbif95vUT5dSdlYZwoCOlikZ9wrCI8iwt7TABVfKIJoYLpWzEdER2I0qHmdQjW6svrpF2rWmbVur8qNm6WceTQObpAJWSha9RAd6iJWoiZ/SK3tGH8WK8GZ/GdNG6YSxnztAfGN8/7s2iOQ=</latexit><latexit sha1_base64="wQuSTg1MQriXJn0vtFrD/zyBy5E=">ACIXicbVDJSgNBEO1xjXGLevTSGITkDATBHMevEYwSyQmYSenpqkSc9id48QhvkVL/6KFw+K5Cb+jJ3loIkPCh7vVFVz405k8o0v4yNza3tnd3cXn7/4PDouHBy2pZRIi0aMQj0XWJBM5CaCmOHRjASRwOXTc8e3M7zyBkCwKH9QkBicgw5D5jBKlpUGh3ix1sc3hEZesiu0BV6SM7SApL0TopxXbF4SmC69f016W1rJsUCiaVXMOvE6sJSmiJZqDwtT2IpoECrKiZQ9y4yVkxKhGOWQ5e1EQkzomAyhp2lIApBOv8w5da8bAfCV2hwnP190RKAikngas7A6JGctWbif95vUT5dSdlYZwoCOlikZ9wrCI8iwt7TABVfKIJoYLpWzEdER2I0qHmdQjW6svrpF2rWmbVur8qNm6WceTQObpAJWSha9RAd6iJWoiZ/SK3tGH8WK8GZ/GdNG6YSxnztAfGN8/7s2iOQ=</latexit>2+δ
<latexit sha1_base64="v0AMA0DzezKSGtBzSlbvzXvTdvQ=">ACKHicdVDLSgMxFM34rPVdekmWISKWGbG2rqz6MZlBVsLnVoy6Z0azDxMkIZ5nPc+CtuRBTp1i8xbUdQ0QMJh3POJbnHjTiTyjRHxszs3PzCYm4pv7yurZe2NhsyTAWFJo05KFou0QCZwE0FVMc2pEA4rscrtzbs7F/dQ9CsjC4VMIuj4ZBMxjlCgt9QonjVIbOwO4wyVr3+kDV2QPO36sL65FuE4OHE8Qmky9a1t7aWJn0TtFYpmuVa1q5VDbJbNCcbEqtnmEbYypYgyNHqF6cf0tiHQFOpOxYZqS6CRGKUQ5p3oklRITekgF0NA2ID7KbTBZN8a5W+tgLhT6BwhP1+0RCfCmHvquTPlE38rc3Fv/yOrHyjrsJC6JYQUCnD3kxyrE49Zwnwmgig81IVQw/VdMb4juRelu87qEr03x/6Rly2zbF1UivXTrI4c2kY7qIQsVEN1dI4aqIkoekBP6BW9GY/Gs/FujKbRGSOb2UI/YHx8Aph3pTQ=</latexit><latexit sha1_base64="v0AMA0DzezKSGtBzSlbvzXvTdvQ=">ACKHicdVDLSgMxFM34rPVdekmWISKWGbG2rqz6MZlBVsLnVoy6Z0azDxMkIZ5nPc+CtuRBTp1i8xbUdQ0QMJh3POJbnHjTiTyjRHxszs3PzCYm4pv7yurZe2NhsyTAWFJo05KFou0QCZwE0FVMc2pEA4rscrtzbs7F/dQ9CsjC4VMIuj4ZBMxjlCgt9QonjVIbOwO4wyVr3+kDV2QPO36sL65FuE4OHE8Qmky9a1t7aWJn0TtFYpmuVa1q5VDbJbNCcbEqtnmEbYypYgyNHqF6cf0tiHQFOpOxYZqS6CRGKUQ5p3oklRITekgF0NA2ID7KbTBZN8a5W+tgLhT6BwhP1+0RCfCmHvquTPlE38rc3Fv/yOrHyjrsJC6JYQUCnD3kxyrE49Zwnwmgig81IVQw/VdMb4juRelu87qEr03x/6Rly2zbF1UivXTrI4c2kY7qIQsVEN1dI4aqIkoekBP6BW9GY/Gs/FujKbRGSOb2UI/YHx8Aph3pTQ=</latexit><latexit sha1_base64="v0AMA0DzezKSGtBzSlbvzXvTdvQ=">ACKHicdVDLSgMxFM34rPVdekmWISKWGbG2rqz6MZlBVsLnVoy6Z0azDxMkIZ5nPc+CtuRBTp1i8xbUdQ0QMJh3POJbnHjTiTyjRHxszs3PzCYm4pv7yurZe2NhsyTAWFJo05KFou0QCZwE0FVMc2pEA4rscrtzbs7F/dQ9CsjC4VMIuj4ZBMxjlCgt9QonjVIbOwO4wyVr3+kDV2QPO36sL65FuE4OHE8Qmky9a1t7aWJn0TtFYpmuVa1q5VDbJbNCcbEqtnmEbYypYgyNHqF6cf0tiHQFOpOxYZqS6CRGKUQ5p3oklRITekgF0NA2ID7KbTBZN8a5W+tgLhT6BwhP1+0RCfCmHvquTPlE38rc3Fv/yOrHyjrsJC6JYQUCnD3kxyrE49Zwnwmgig81IVQw/VdMb4juRelu87qEr03x/6Rly2zbF1UivXTrI4c2kY7qIQsVEN1dI4aqIkoekBP6BW9GY/Gs/FujKbRGSOb2UI/YHx8Aph3pTQ=</latexit><latexit sha1_base64="v0AMA0DzezKSGtBzSlbvzXvTdvQ=">ACKHicdVDLSgMxFM34rPVdekmWISKWGbG2rqz6MZlBVsLnVoy6Z0azDxMkIZ5nPc+CtuRBTp1i8xbUdQ0QMJh3POJbnHjTiTyjRHxszs3PzCYm4pv7yurZe2NhsyTAWFJo05KFou0QCZwE0FVMc2pEA4rscrtzbs7F/dQ9CsjC4VMIuj4ZBMxjlCgt9QonjVIbOwO4wyVr3+kDV2QPO36sL65FuE4OHE8Qmky9a1t7aWJn0TtFYpmuVa1q5VDbJbNCcbEqtnmEbYypYgyNHqF6cf0tiHQFOpOxYZqS6CRGKUQ5p3oklRITekgF0NA2ID7KbTBZN8a5W+tgLhT6BwhP1+0RCfCmHvquTPlE38rc3Fv/yOrHyjrsJC6JYQUCnD3kxyrE49Zwnwmgig81IVQw/VdMb4juRelu87qEr03x/6Rly2zbF1UivXTrI4c2kY7qIQsVEN1dI4aqIkoekBP6BW9GY/Gs/FujKbRGSOb2UI/YHx8Aph3pTQ=</latexit>Lemma 2 Let X1, . . . , Xn be independent random variables, and X = Pn
i=1 Xi. Then, for s ∈ R
E(esX) =
n
Y
i=1
E(esXi).
Lemma 3 Let X1, . . . , Xn be independent random variables (Bernoulli distributed), and X = Pn
i=1 Xi
and E(X) = Pn
i=1 pi = µ. Then, for s ∈ R
E(esX) ≤ e(es1)µ.
To establish the result, use Markov’s inequality on the rhs of P(X≥a)=P(esX≥esa), the inequality ln(1+x)≥2x/(2+x) for x>0 and set a=(1+𝜀)𝜈 and s=ln(1+𝜀) (why?)
Lemma 1 Given random variable Y ∼ Bernoulli(p), we have for all s ∈ R E(esY ) ≤ ep(es1).
❖ A fair coin is tossed 200 times. How likely is it to
❖ Markov: ≤ 0.6666 ❖ Chebyshev: ≤ 0.02 ❖ Chernoff: ≤ 0.017
❖ Let X=X1+X2+…+Xn, where all the Xi’s are independent
❖ Let . ❖ Then, for 𝜀>0,
−
2δ2µ2 n(b−a)2
<latexit sha1_base64="L0bR1PXTdF13OPyArXrt4Rae40Y=">ACKnicbZDLSgMxFIYz9VbrerSTbAILdIyUwRdVt24rGAv0GlLJj3ThmYyY5IRytDnceOruOlCKW59ENPLQlsPBD7+/xOzu9FnClt21MrtbG5tb2T3s3s7R8cHmWPT+oqjCWFGg15KJseUcCZgJpmkMzkACj0PDG97P/MYLSMVC8aRHEbQD0hfMZ5RoI3Wzt9V8E7t9eMZ59LtAdek4AZxAbvcaNBJiq4vCU3KC69TNmanPE5E3iuSgqFxN5uzS/a8Do4S8ihZVW72YnbC2kcgNCUE6Vajh3pdkKkZpTDOPGCiJCh6QPLYOCBKDayfzUMb4wSg/7oTRPaDxXf08kJFBqFHimMyB6oFa9mfif14q1f9NOmIhiDYIuFvkxzrEs9xwj0mgmo8MECqZ+SumA2Ki0SbdjAnBWT15HerlkmOXnMerXOVuGUcanaFzlEcOukYV9ICqIYoekXv6AN9Wm/WxJpaX4vWlLWcOUV/yvr+AQFYpTs=</latexit><latexit sha1_base64="L0bR1PXTdF13OPyArXrt4Rae40Y=">ACKnicbZDLSgMxFIYz9VbrerSTbAILdIyUwRdVt24rGAv0GlLJj3ThmYyY5IRytDnceOruOlCKW59ENPLQlsPBD7+/xOzu9FnClt21MrtbG5tb2T3s3s7R8cHmWPT+oqjCWFGg15KJseUcCZgJpmkMzkACj0PDG97P/MYLSMVC8aRHEbQD0hfMZ5RoI3Wzt9V8E7t9eMZ59LtAdek4AZxAbvcaNBJiq4vCU3KC69TNmanPE5E3iuSgqFxN5uzS/a8Do4S8ihZVW72YnbC2kcgNCUE6Vajh3pdkKkZpTDOPGCiJCh6QPLYOCBKDayfzUMb4wSg/7oTRPaDxXf08kJFBqFHimMyB6oFa9mfif14q1f9NOmIhiDYIuFvkxzrEs9xwj0mgmo8MECqZ+SumA2Ki0SbdjAnBWT15HerlkmOXnMerXOVuGUcanaFzlEcOukYV9ICqIYoekXv6AN9Wm/WxJpaX4vWlLWcOUV/yvr+AQFYpTs=</latexit><latexit sha1_base64="L0bR1PXTdF13OPyArXrt4Rae40Y=">ACKnicbZDLSgMxFIYz9VbrerSTbAILdIyUwRdVt24rGAv0GlLJj3ThmYyY5IRytDnceOruOlCKW59ENPLQlsPBD7+/xOzu9FnClt21MrtbG5tb2T3s3s7R8cHmWPT+oqjCWFGg15KJseUcCZgJpmkMzkACj0PDG97P/MYLSMVC8aRHEbQD0hfMZ5RoI3Wzt9V8E7t9eMZ59LtAdek4AZxAbvcaNBJiq4vCU3KC69TNmanPE5E3iuSgqFxN5uzS/a8Do4S8ihZVW72YnbC2kcgNCUE6Vajh3pdkKkZpTDOPGCiJCh6QPLYOCBKDayfzUMb4wSg/7oTRPaDxXf08kJFBqFHimMyB6oFa9mfif14q1f9NOmIhiDYIuFvkxzrEs9xwj0mgmo8MECqZ+SumA2Ki0SbdjAnBWT15HerlkmOXnMerXOVuGUcanaFzlEcOukYV9ICqIYoekXv6AN9Wm/WxJpaX4vWlLWcOUV/yvr+AQFYpTs=</latexit><latexit sha1_base64="L0bR1PXTdF13OPyArXrt4Rae40Y=">ACKnicbZDLSgMxFIYz9VbrerSTbAILdIyUwRdVt24rGAv0GlLJj3ThmYyY5IRytDnceOruOlCKW59ENPLQlsPBD7+/xOzu9FnClt21MrtbG5tb2T3s3s7R8cHmWPT+oqjCWFGg15KJseUcCZgJpmkMzkACj0PDG97P/MYLSMVC8aRHEbQD0hfMZ5RoI3Wzt9V8E7t9eMZ59LtAdek4AZxAbvcaNBJiq4vCU3KC69TNmanPE5E3iuSgqFxN5uzS/a8Do4S8ihZVW72YnbC2kcgNCUE6Vajh3pdkKkZpTDOPGCiJCh6QPLYOCBKDayfzUMb4wSg/7oTRPaDxXf08kJFBqFHimMyB6oFa9mfif14q1f9NOmIhiDYIuFvkxzrEs9xwj0mgmo8MECqZ+SumA2Ki0SbdjAnBWT15HerlkmOXnMerXOVuGUcanaFzlEcOukYV9ICqIYoekXv6AN9Wm/WxJpaX4vWlLWcOUV/yvr+AQFYpTs=</latexit>−
δ2µ2 n(b−a)2
<latexit sha1_base64="2TbWZoMz/LWx9sW5W30h62ncbWI=">ACKXicbZDLSgMxFIYz9VbrbdSlm2AR2kXLTBF0WXTjsoK9QKctmfRMG5rJjElGKENfx42v4kZBUbe+iOloa0HAh/fw4n5/djzpR2nE8rs7a+sbmV3c7t7O7tH9iHRw0VJZJCnUY8ki2fKOBMQF0zaEVSyChz6Hpj6nfvMBpGKRuNPjGDohGQgWMEq0kXp2tVZoY/DPS64Ja8PXJOiFybFuQbdtOQFktB0bnUrxutWJqko+CVSNDTp2Xmn7MwKr4K7gDxaVK1nv3r9iCYhCE05UartOrHupERqRjlMcl6iICZ0RAbQNihICKqTzi6d4DOj9HEQSfOExjP190RKQqXGoW86Q6KHatmbiv957UQHl52UiTjRIOh8UZBwrCM8jQ3mQSq+dgAoZKZv2I6JCYZbcLNmRDc5ZNXoVEpu07ZvT3PV68WcWTRCTpFBeSiC1RFN6iG6oiR/SM3tC79WS9WB/W17w1Yy1mjtGfsr5/AIplpQY=</latexit><latexit sha1_base64="2TbWZoMz/LWx9sW5W30h62ncbWI=">ACKXicbZDLSgMxFIYz9VbrbdSlm2AR2kXLTBF0WXTjsoK9QKctmfRMG5rJjElGKENfx42v4kZBUbe+iOloa0HAh/fw4n5/djzpR2nE8rs7a+sbmV3c7t7O7tH9iHRw0VJZJCnUY8ki2fKOBMQF0zaEVSyChz6Hpj6nfvMBpGKRuNPjGDohGQgWMEq0kXp2tVZoY/DPS64Ja8PXJOiFybFuQbdtOQFktB0bnUrxutWJqko+CVSNDTp2Xmn7MwKr4K7gDxaVK1nv3r9iCYhCE05UartOrHupERqRjlMcl6iICZ0RAbQNihICKqTzi6d4DOj9HEQSfOExjP190RKQqXGoW86Q6KHatmbiv957UQHl52UiTjRIOh8UZBwrCM8jQ3mQSq+dgAoZKZv2I6JCYZbcLNmRDc5ZNXoVEpu07ZvT3PV68WcWTRCTpFBeSiC1RFN6iG6oiR/SM3tC79WS9WB/W17w1Yy1mjtGfsr5/AIplpQY=</latexit><latexit sha1_base64="2TbWZoMz/LWx9sW5W30h62ncbWI=">ACKXicbZDLSgMxFIYz9VbrbdSlm2AR2kXLTBF0WXTjsoK9QKctmfRMG5rJjElGKENfx42v4kZBUbe+iOloa0HAh/fw4n5/djzpR2nE8rs7a+sbmV3c7t7O7tH9iHRw0VJZJCnUY8ki2fKOBMQF0zaEVSyChz6Hpj6nfvMBpGKRuNPjGDohGQgWMEq0kXp2tVZoY/DPS64Ja8PXJOiFybFuQbdtOQFktB0bnUrxutWJqko+CVSNDTp2Xmn7MwKr4K7gDxaVK1nv3r9iCYhCE05UartOrHupERqRjlMcl6iICZ0RAbQNihICKqTzi6d4DOj9HEQSfOExjP190RKQqXGoW86Q6KHatmbiv957UQHl52UiTjRIOh8UZBwrCM8jQ3mQSq+dgAoZKZv2I6JCYZbcLNmRDc5ZNXoVEpu07ZvT3PV68WcWTRCTpFBeSiC1RFN6iG6oiR/SM3tC79WS9WB/W17w1Yy1mjtGfsr5/AIplpQY=</latexit><latexit sha1_base64="2TbWZoMz/LWx9sW5W30h62ncbWI=">ACKXicbZDLSgMxFIYz9VbrbdSlm2AR2kXLTBF0WXTjsoK9QKctmfRMG5rJjElGKENfx42v4kZBUbe+iOloa0HAh/fw4n5/djzpR2nE8rs7a+sbmV3c7t7O7tH9iHRw0VJZJCnUY8ki2fKOBMQF0zaEVSyChz6Hpj6nfvMBpGKRuNPjGDohGQgWMEq0kXp2tVZoY/DPS64Ja8PXJOiFybFuQbdtOQFktB0bnUrxutWJqko+CVSNDTp2Xmn7MwKr4K7gDxaVK1nv3r9iCYhCE05UartOrHupERqRjlMcl6iICZ0RAbQNihICKqTzi6d4DOj9HEQSfOExjP190RKQqXGoW86Q6KHatmbiv957UQHl52UiTjRIOh8UZBwrCM8jQ3mQSq+dgAoZKZv2I6JCYZbcLNmRDc5ZNXoVEpu07ZvT3PV68WcWTRCTpFBeSiC1RFN6iG6oiR/SM3tC79WS9WB/W17w1Yy1mjtGfsr5/AIplpQY=</latexit>