จำนวนความแตกต่างที่ชัดเจนของจำนวนเต็มเลือกจาก


21

ฉันพบผลลัพธ์ต่อไปนี้ในระหว่างการวิจัยของฉัน

limnE[#{|aiaj|,1i,jm}n]=1
ที่m=ω(n)และa1,,amจะถูกเลือกโดยการสุ่มจาก[n][n]

ฉันกำลังมองหาการอ้างอิง / หลักฐานโดยตรง


Crossposted บน MO


1
ถ้าm=nจำนวนสูงสุดของความแตกต่างที่แตกต่างกันคุณจะได้รับเป็นm(m1)/2<n/2 2 ดังนั้นคุณต้องการให้mโตเร็วกว่าnเพื่อให้สิ่งนี้เป็นจริง สิ่งที่ฉันจะทำคือพยายามคำนวณความน่าจะเป็นที่ตัวเลขdนั้นไม่ต่างกันd=|aiaj|.
Peter Shor

@Shor: ขอบคุณฉันปรับปรุงคำถาม และแน่นอนตั้งแต่E(xi)=E(xi)มันเป็นเรื่องง่ายในการคำนวณหาเฉพาะแตกต่างdd
Zhu Cao

1
@ZhuCao เมื่อคุณพูดว่า "เลือกmจำนวนเต็มa1,...,amสุ่มจาก[1,n] " การกระจายแบบใดที่คุณหมายถึงอย่างแน่นอน ฉันถูกสมมติเครื่องแบบ IID {1,,n}\}
usul

1
@ndras ไม่มันไม่ใช่กรณี ตัวอย่างเช่นถ้าจำนวน1ไม่ได้รับการแต่งตั้ง (ซึ่งเกิดขึ้นกับความน่าจะกระโดดออกไปจาก 0) แล้วความแตกต่างn1ไม่สามารถปรากฏขึ้นและDn<n<n แต่ทำไมต้องเป็นกรณี? คำถามเพียงถามว่าความคาดหวังของDn/nใกล้เคียงกับ 1 ไม่ใช่Dnเท่ากับ 1 ที่มีความน่าจะเป็นสูง
James Martin

2
โปรดอย่าข้ามโพสต์ในเว็บไซต์ Stack Exchange หลายแห่ง นโยบายเว็บไซต์ของเราห้ามข้ามการโพสต์พร้อมกัน: อย่างน้อยต้องรอหนึ่งสัปดาห์ และหากคุณไม่ได้รับคำตอบที่ดีคุณสามารถตั้งค่าสถานะนี้เพื่อให้ผู้ดูแลสนใจขอให้ย้ายข้อมูล
DW

คำตอบ:


7

สมมติให้เป็นที่m=ω(n){n})

แก้ไขใด ๆ 0 เราจะพิจารณากับ n จุดมุ่งหมายคือการแสดงให้เห็นว่ามีความน่าจะเป็นสูง ,รวมอยู่ในชุดของความแตกต่างr [ 1 , n ] r < ( 1 - ϵ ) n n rϵ>0r[1,n]r<(1ϵ)nnr

ก่อนพิจารณาชุดn] จำนวนของกับดังกล่าวว่าเป็นทวินามด้วยความคาดหวังรอบ 2 ดังนั้นด้วยความน่าจะเป็นสูงถึงจำนวนดังกล่าวจะมีอย่างน้อยซึ่งเป็น{n}) จากนั้น (การเรียกร้อง "ซ้ายเป็นออกกำลังกาย" ไม่ยากที่จะแสดง) มีโอกาสสูงเป็นชุดมีขนาดอย่างน้อย{n} ขอให้เราเขียนสำหรับเรื่องนี้ "เหตุการณ์ที่ดี" ที่{n}i i < m / 2 a i < ϵ n ϵ m / 2 n ฉันϵ m / 4 ω ( A={ai:i<m/2}[1,ϵn]ii<m/2ai<ϵnϵm/2niϵm/4nAω(n)nA G| A| nG|A|n

สมมติว่าแน่นอนถือคือมีอย่างน้อยค่าที่แตกต่างของน้อยกว่าสำหรับ 2 โปรดทราบว่าสำหรับแต่ละค่าดังกล่าวจะมีค่าซึ่งมีขนาดใหญ่กว่าอย่างแม่นยำ ตอนนี้พิจารณาค่าของสำหรับ 2 เหล่านี้มีความเป็นอิสระและแต่ละคนมีความน่าจะเป็นอย่างน้อยของการเป็นที่ระยะจากองค์ประกอบของการตั้งค่า ความน่าจะเป็นที่ไม่สร้างความแตกต่างนั้นมากที่สุดG aiϵni<m/2k[1,n]raiim/2naiϵni<m/2k[1,n]raiim/2 rAr(1-1/n/n=1/nrAr nm=ω((11/n)m/2ซึ่งจะไปเป็น 0ตั้งแต่{n}) ดังนั้นแน่นอนน่าจะเป็นที่ถือ แต่ความแตกต่างของขนาดไม่มีที่มีอยู่มีแนวโน้มที่จะเป็น 0 nnGrnm=ω(n)Grn

ดังนั้น (สม่ำเสมอใน ) น่าจะเป็นที่จะถูกรวมอยู่ในชุดของความแตกต่างมีแนวโน้มที่จะเป็น 1 nดังนั้นการใช้เส้นตรงของความคาดหวัง เนื่องจากมีข้อ จำกัด ขีด จำกัด คือ 1 ตามที่ต้องการr n ∞ลิมinf n E [ # { | a i - a j | , 1 i , j m }r<(1ϵ)nrnε

lim infnE[#{|aiaj|,1i,jm}n]1ϵ.
ϵ

1
คุณถือว่าความแตกต่างแต่ละอย่างเป็นอิสระในนิพจน์และถ้าเป็นเช่นนั้นมันเป็นธรรมหรือไม่? 1(1ϵ/n)ω(n)
usul

@James โอ้ตอนนี้ฉันดูว่าฉันพลาดที่nขอขอบคุณ. n
Daniel Soltész

@usul: ขอโทษจริง ๆ แล้วข้อโต้แย้งของฉันมันเลอะเทอะและไม่สมบูรณ์ ฉันขยายมัน - ฉันคิดว่าตอนนี้มันมีน้ำแล้ว
James Martin
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.