বিপরীত চেরনফ


31

সেখানে কি বিপরীত চেরনফ বাঁধা আছে যা সীমানা দেয় যে লেজের সম্ভাবনা কমপক্ষে এত বেশি।

উদাহরণস্বরূপ যদি স্বতন্ত্র দ্বিপদী র্যান্ডম ভেরিয়েবল এবং । তারপর আমরা প্রমাণ করতে পারেন কিছু ফাংশন জন্য ।X1,X2,,Xnμ=E[i=1nXi]Pr[i=1nXi(1+δ)μ]f(μ,δ,n)f


1
আপনার উদাহরণটি খুব বেশি জিজ্ঞাসা করছে: with সহ , একটি মানক চেরনফ বাউন্ড দেখায় যে এবং \ PR [| T \ ক্যাপ S_2 | q sqrt {1.1} q leq n ^ {1/3}] সর্বাধিক \ এক্সপ্রেস (-cn ^ {] 1/3 some ) কিছু p=n2/3Pr[|TS1|1.1n1/3]Pr[|TS2|1.1n1/3]exp(cn1/3)c
কলিন ম্যাককুইলান 21

আপনি ঠিক বলেছেন, চেরনফের কোন শব্দটির বর্গক্ষেত্র রয়েছে সে সম্পর্কে আমি বিভ্রান্ত হয়ে পড়েছিলাম। দুর্বল সীমা প্রতিবিম্বিত করতে আমি প্রশ্নটি পরিবর্তন করেছি। আমি মনে করি না এটি আমার বর্তমান প্রয়োগে আমাকে সহায়তা করবে তবে অন্যান্য কারণে এটি আকর্ষণীয় হতে পারে for
আশ্বিনকুমার বিভি

উত্তর:


28

এখানে একটি স্পষ্ট প্রমাণ যে একটি স্ট্যান্ডার্ড চেরনোফ প্যারামিটারগুলির একটি নির্দিষ্ট পরিসরের জন্য এক্সপোনেন্টের ধ্রুবক কারণগুলির সাথে আঁটসাঁট থাকে। (বিশেষত, যখনই ভেরিয়েবলগুলি 0 বা 1 হয় এবং সম্ভাব্যতা 1/2 বা তার চেয়ে কম 1 এবং ϵ(0,1/2) , এবং চেরনফ উপরের আবদ্ধ একটি ধ্রুবকের চেয়ে কম হয়))

আপনি যদি কোনও ভুল খুঁজে পান তবে দয়া করে আমাকে জানান।

থিম 1. (Chernoff এর নিবিড়তা আবদ্ধ) আসুন X গড় হতে k স্বাধীন, 0/1 র্যান্ডম ভেরিয়েবল (আরভি)। ϵ(0,1/2] এবং p \ ইন (0,1 / 2] এর কোনও \ এপসিলন For এর জন্য p(0,1/2], \ এপসিলন ^ 2 পিকে \ জি 3 ধরে ধরে ϵ2pk3,

(i) প্রতিটি আরভি যদি সর্বাধিক পি এর সম্ভাব্যতা সহ 1 হয় p, তবে

Pr[X(1ϵ)p]  exp(9ϵ2pk).

(ii) প্রতিটি আরভি যদি কমপক্ষে পি এর সম্ভাব্যতা সহ 1 হয় pতবে তারপরে

Pr[X(1+ϵ)p]  exp(9ϵ2pk).

প্রুফ। আমরা নিম্নলিখিত পর্যবেক্ষণ ব্যবহার:

দাবি ১. যদি , তবে 1k1(k)  1e2π(k)(kk)k

দাবির প্রমাণ 1. স্ট্রিলিংয়ের আনুমানিকভাবে, যেখানেi!=2πi(i/e)ieλλ[1/(12i+1),1/12i].

সুতরাং, , যা , কমপক্ষে Qed(k)k!!(k)!

2πk(ke)k2π(e)  2π(k)(ke)kexp(112k+1112112(k))
  12π(k)(kk)ke1.

লেমার প্রমাণ 1 অংশ (i)। সাধারণত্ব ক্ষতি ছাড়া অনুমান সমষ্টি প্রতিটি 0/1 দৈব চলক সম্ভাব্যতা সঙ্গে 1 ঠিক । দ্রষ্টব্য সমষ্টি , এবং সমান ।X pPr[X(1ϵ)p]i=0(1ϵ)pkPr[X=i/k]Pr[X=i/k]=(ki)pi(1p)ki

ফিক্স । যোগফলের শর্তাদি বৃদ্ধি পাচ্ছে, সুতরাং সূচকের সাথে সাথে পদগুলির কমপক্ষে জন মান থাকতে পারে, সুতরাং তাদের যোগফলের মোট মান কমপক্ষে । প্রমাণটি সম্পূর্ণ করতে, আমরা দেখাই যে =(12ϵ)pk+1iPr[X=/k](ϵpk2)Pr[X=/k]

(ϵpk2)Pr[X=/k]  exp(9ϵ2pk).

অনুমানগুলি এবং দেয় , সুতরাং উপরের বাম দিকটি কমপক্ষে । দাবি 1 ব্যবহার করে, আবদ্ধ করতে , এটি কমপক্ষে যেখানে এবং ϵ2pk3ϵ1/2ϵpk623ϵpk(k)p(1p)k(k)ABA=23eϵpk/2πB=(k)(kk)kp(1p)k.

শেষ করতে আমরা এবং ।Aexp(ϵ2pk)Bexp(8ϵ2pk)

দাবি 2. Aexp(ϵ2pk)

দাবির প্রমাণ 2. অনুমান এবং ইম্প্লি (i) ।ϵ2pk3ϵ1/2pk12

সংজ্ঞা অনুসারে, । (I) দ্বারা, । সুতরাং, (২) ।pk+1pk121.1pk

জন্য (২) ডান পাশ বদলে মধ্যে (গ) দেয় ।AA23eϵpk/2.2π

অনুমান, , বোঝায় , যা (iii) দেয় (iv) ।ϵ2pk3ϵpk3A23e3/2.2π0.1

থেকে এটা যে (উ) অনুসরণ করে ।ϵ2pk3exp(ϵ2pk)exp(3)0.04

(iv) এবং (v) একসাথে দাবি দাও। Qed

দাবি ৩.Bexp(8ϵ2pk)

দাবির প্রমাণ ৩. ঠিক করুন যেমন । পছন্দমত বোঝা , তাই দাবি যতদিন রাখা হবে । এই পরবর্তী বৈষম্যের প্রতিটি দিককে পাওয়ার এবং নিয়ে যাওয়া, এটি প্রতিস্থাপন এবং সরলকরণ করা, এটি δ=(1δ)pk
δ2ϵBexp(2δ2pk)1/

pk(k(1p)k)k/1  exp(2δ2pk).
=(1δ)pk
(1δ)(1+δp1p)1(1δ)p1  exp(2δ21δ).
উভয় পক্ষের লগারিদম গ্রহণ করা এবং দুবার ব্যবহার করা, এটি যতক্ষণ ধরে থাকবে উপরের বাম দিকটি সরল করে , যা চেয়ে কম হয় কারণ । Qedln(1+z)z
δ+δp1p(1(1δ)p1)  2δ21δ.
δ2/(1p)(1δ)2δ2/(1δ)p1/2

দাবী 2 এবং 3 এর দ্বারা বোঝা যাচ্ছে । এটি লেমার অংশ (i) বোঝায়।ABexp(ϵ2pk)exp(8ϵ2pk)

লেমার 1 অংশের প্রমাণ (ii)। সাধারণত্ব ক্ষতি ছাড়া অনুমান প্রতিটি র্যান্ডম পরিবর্তনশীল সম্ভাব্যতা ঠিক সঙ্গে ।1p

দ্রষ্টব্য । ফিক্স ।Pr[X(1+ϵ)p]=i=(1ϵ)pknPr[X=i/k]^=(1+2ϵ)pk1

যোগফলের সর্বনিম্ন সর্বশেষ পদগুলি কমপক্ষে , যা কমপক্ষে । (এর প্রমাণ (i) হিসাবে একই, except প্রতিস্থাপন এবং প্রতিস্থাপন যেমন that ।) কিউইডিϵpk(ϵpk2)Pr[X=^/k]exp(9ϵ2pk)^δδ^^=(1+δ^)pk


বেশ কয়েকটি [গণিত প্রক্রিয়াকরণ ত্রুটি] গুলি - সেগুলি ঠিক করার কোনও সুযোগ?
আরেহ

এই গণিত এক্সপ্রেশন ঠিক সূক্ষ্ম প্রদর্শন করতে ব্যবহৃত। কোনও কারণে \ চয়ন কমান্ড ম্যাথজ্যাক্সে কাজ করছে না। উভয়ই \ বিনম নয়। যেমন $ a \ খ চয়ন $ দেয় । সম্ভবত এটি ম্যাথজ্যাক্স কনফিগারেশনের একটি বাগ। আশা করছি খুব শীঘ্রই এটি সংশোধন করা হবে। এদিকে এর পরিশিষ্ট থিম 5.2 দেখতে arxiv.org/pdf/cs/0205046v2.pdf বা cs.ucr.edu/~neal/Klein15Number(ab)
নিল ইয়ং

22

বেরি-Esseen উপপাদ্য যতদিন তারা চেয়ে বেশী হয়, লেজ সম্ভাব্যতা নিম্ন সীমা দিতে পারেন ।n1/2

আর একটি সরঞ্জাম যা আপনি ব্যবহার করতে পারেন তা হ'ল প্যালে-জাইগমুন্ড বৈষম্য । এটি বোঝায় যে কোনও সমষ্টিগত এবং যে কোনও বাস্তব-মূল্যবান এলোমেলো পরিবর্তনীয় ,kX

Pr[|X|>=12(E[Xk])1/k]E[Xk]24E[X2k]

একত্রে বহুজাতিক তাত্ত্বিকতার সাথে জন্য একটি পরিমাণে রেডেমাচার এলোমেলো ভেরিয়েবল প্যালে-জাইগমুন্ড আপনাকে বেশ শক্তিশালী নিম্ন সীমানা পেতে পারে। এছাড়াও এটি সীমানা-স্বাধীনতার র্যান্ডম ভেরিয়েবলগুলির সাথে কাজ করে। উদাহরণস্বরূপ আপনি সহজেই দেখতে পাবেন যে 4-ওয়াস ইন্ডিপেন্ডেন্ট এলোমেলো ভেরিয়েবলের যোগফল ধ্রুবক সম্ভাবনার সাথে ।Xnn±1Ω(n)


14

যদি আপনি বার্নোল্লি ট্রায়ালের (বা না বলে, সীমাবদ্ধ র্যান্ডম ভেরিয়েবলগুলি) সীমাবদ্ধতার সাথে সত্যই ঠিক থাকেন তবে নীচেরটি বেশ শক্ত।

স্লড এর অসমতা *। যাক IID সঙ্গে একটি বের্নুলির আরভি থেকে স্বপক্ষে হতে , এবং দিন পূর্ণসংখ্যা দেওয়া হবে। যদি হয় (ক) এবং , বা (খ) , তবে যেখানে একটি প্রমিত স্বাভাবিক সিডিএফ হয়।{Xi}i=1nE(X1)=pknp1/4npknpkn(1p)

Pr[iXik]1Φ(knpnp(1p)),
Φ

( Normal এর যুক্তিটিকে মানকে সাধারণ রূপান্তর হিসাবে চিহ্নিত করার সাথে সাথে এটি সিএলটি আপনাকে যা বলে ঠিক তার সাথে একমত হয়; বাস্তবে, এটি আমাদের বলে যে উপপাদকের শর্ত পূরণকারী দ্বিপদীগুলি উপরের লেজগুলিতে তাদের সংশ্লিষ্ট গাউসিয়ানদের উপর কর্তৃত্ব করবে।)Φ

এখান থেকে, আপনি আরও ভাল কিছু পেতে সীমা ব্যবহার করতে পারেন । উদাহরণস্বরূপ, গ্যালসিয়ানদের বিভাগে ফেলারের প্রথম বইটিতে প্রতিটি জন্য দেখানো হয়েছে যে যেখানে হ'ল একটি সাধারণ মানের ঘনত্ব। "কিউ-ফাংশন" এর জন্য উইকিপিডিয়া নিবন্ধেও একই সীমা রয়েছে।Φz>0

z1+z2φ(z)<1Φ(z)<1zφ(z),
φ

এটি ব্যতীত এবং অন্যান্য লোকেরা যা বলেছে, আপনি সরাসরি বাইনোমিয়াল ব্যবহার করার চেষ্টা করতে পারেন, সম্ভবত কিছু স্ট্র্লিং দিয়ে।

(*) স্লাদের অসমতার নতুন কিছু বিবৃতি এই শর্তগুলির কিছু বাদ দেয়; আমি স্লডের কাগজে একটি পুনরুত্পাদন করেছি।


7

ডি মাইভ্রে-ল্যাপ্লেস উপপাদ্যটি দেখায় যে মতো ভেরিয়েবল উপযুক্তভাবে স্বাভাবিক হওয়ার পরে এবং কিছু শর্তের পরে, বিতরণকে একটি সাধারণ বিতরণে রূপান্তরিত করা হবে। আপনি যদি অবিচ্ছিন্ন নিম্ন সীমানা চান তবে এটি যথেষ্ট।|TS1|

like এর মতো নিম্ন সীমাগুলির জন্য আপনার কিছুটা সূক্ষ্ম সরঞ্জাম প্রয়োজন। এখানে আমি জানি একটি রেফারেন্স (তবে কেবল দুর্ঘটনাক্রমে - আমি নিজে কখনও এই জাতীয় অসমতা ব্যবহার করার সুযোগ পাইনি)। দ্বিপদ ডিস্ট্রিবিউশন এর লেজ সম্ভাব্যতা কিছু স্পষ্ট নিম্ন সীমা উপপাদ্য 1.5 হিসাবে দেওয়া হয় বই এলোমেলো গ্রাফ মদদে বেলা Bollobás, কেমব্রিজ, 2nd সংস্করণ, যেখানে আরও রেফারেন্স দেওয়া হয় দ্বারা সম্ভাব্যতা এবং তার অ্যাপ্লিকেশনে একটি ভূমিকা কাঠুরিয়া ও সম্ভাবনা ফাউন্ডেশন Rényi দ্বারা।nc


4

জেনারালাইজড লিটলউড-অফর্ডের উপপাদ্যটি আপনি যা চান ঠিক তেমন নয়, তবে এটি একটি "বিপরীত চেরনফ" হিসাবে আমি যা মনে করি তা প্রমাণ করে যে এলোমেলো ভেরিয়েবলের যোগফল কোনও নির্দিষ্ট মানের চারপাশে একটি ছোট পরিসরের মধ্যে পড়ার সম্ভাবনা নেই (সহ) প্রত্যাশা)। সম্ভবত এটি দরকারী হবে।

সাধারণত, উপপাদ্যটি নিম্নরূপ follows

জেনারালাইজড লিটলউড-অফর্ডের উপপাদ্য : আসুন , এবং আসল সংখ্যার মতো হন জন্য এবং মান শূন্য এবং একটিতে স্বতন্ত্র এলোমেলো পরিবর্তনশীল হতে দিন। জন্য , যে অনুমান করা সকলের জন্য । তারপরে, কোনও for এর জন্য , যেখানে কেবলমাত্র উপর নির্ভরশীল একটি ধ্রুবক ।a1,,ans>0|ai|s1inX1,,Xn0<p12pPr[Xi=0]1p1inrR

Pr[ri=1naiXi<r+s]cpn
cpp

3
এটি অন্যদের জন্য সহায়ক হতে পারে যে এই ধরণের ফলাফলটি "ছোট বলের অসমতা" হিসাবেও পরিচিত এবং এনগুইন এবং ভের একটি দুর্দান্ত জরিপ লোক রয়েছে। Math.osu.edu/nguyen.1261/cikk/LO-survey.pdf । আমার দৃষ্টিভঙ্গি এখানে আপনার থেকে কিছুটা আলাদা। আমি "বিপরীত চেরনোফ" আবদ্ধকে ছোট বলের প্রায় সম্ভাব্যতার ভর সম্পর্কে কম অনুমান হিসাবে বিবেচনা করি বলে মনে করি। আমি একটি ছোট বলের অসমতাকে গুণগতভাবে বলেছি যে বলের দ্বারা ছোট বলের সম্ভাবনা সর্বাধিক হয় ইন্দ্রিয়ের বিপরীত চেরনফ সীমানা সাধারণত ছোট বলের অসমতার চেয়ে প্রমাণ করা সহজ।
সাশো নিকোলভ

3

উইকিপিডিয়ায় উল্লিখিত হিসাবে স্ট্যান্ডার্ড চেরনফের বেঁধে দেওয়া 0/1-মূল্যবান র্যান্ডম ভেরিয়েবলের জন্য শক্ত tight যাক দিন স্বাধীন র্যান্ডম ভেরিয়েবল একটা ক্রম হতে যেমন যে প্রত্যেকের জন্য , এবং । তারপরে প্রতি , 0<p<1X1,X2,iPr[Xi=1]=pPr[Xi=0]=1pε>0

2D(p+εp)nn+1Pr[i=1nXi(p+ε)n]2D(p+εp)n.

এখানে, , যা বার্নুলি এলোমেলো মধ্যে কুলব্যাক-লেবলার বিভাজক এবং পরামিতি সহ ভেরিয়েবলগুলি ।D(xy)=xlog2(x/y)+(1x)log2((1x)/(1y))xy

উল্লিখিত হিসাবে, উপরের বৈষম্যের উপরের সীমাটি উইকিপিডিয়াতে ( https://en.wikedia.org/wiki/Chernoff_bound ) "চেরনফ-হফিংডিং উপপাদ্য, সংযোজন ফর্ম" নামে প্রমাণিত । নিম্ন প্রান্তটি উদাহরণস্বরূপ "প্রকারের পদ্ধতি" ব্যবহার করে প্রমাণিত হতে পারে। [1] এ লেমমা II.2 দেখুন। এছাড়াও, এটি কভার এবং থমাস দ্বারা তথ্য তত্ত্বের সর্বোত্তম পাঠ্যপুস্তকে আচ্ছাদিত।

[1] ইম্রে সিজিজার: প্রকারের পদ্ধতি। ইনফরমেশন থিওরিতে আইইইই লেনদেন (1998)। http://dx.doi.org/10.1109/18.720546


এটিও লক্ষণীয় যে , এবং সাধারণ ক্ষেত্রে এটি হ'ল । এটি দেখায় যে যখন টিপিক্যাল সীমাটি তীক্ষ্ণ হয়। (এবং যখন জন্য )। D(p+δpp)=p22pδ2+O(δ3)p=1/212δ2+O(δ4)δ=O(n1/3)eCδ2δ=O(n1/4)p=1/2
টমাস আহলে 19
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.