den seçilen tam sayılarının belirgin farklılıklarının sayısı


21

Araştırmam sırasında aşağıdaki sonuçla karşılaştım.

limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1
burada m=ω(n) ve a_1, \ cdots, a_m [n] 'a1,⋯,am den rasgele seçildi .[n]

Bir referans / doğrudan bir kanıt arıyorum.


MO üzerinde crossposted


1
Eğer m=n , alabileceğiniz en fazla farklı farkın sayısı m(m−1)/2<n/2 . Bu yüzden, bunun gerçekleşmesi için gerçekten \ sqrt {n} ' den daha hızlı büyümek için m’ye ihtiyacınız var . Ne yapacağını bir numara olma olasılığını hesaplamak için deneyin d olduğunu değil fark d = | A_i - a_j | . mndd=|ai−aj|
— Peter Shor

@Shor: teşekkürler, soruyu güncelledim. Ve gerçekten de E(∑xi)=∑E(xi) 'den beri belirli bir farkın hesaplanması daha kolaydır d .
— Zhu Cao

1
@ ZhuCao, " [a , m tam sayılarını [1, n] arasından rastgele a_m seç" "derken, tam olarak hangi dağılımı kastediyorsunuz? Üniforma \ {1, \ dots, n \} üniforması olduğunu sanıyordum . a1,...,am[1,n]{1,…,n}
— usul

1
@Andras hayır, durum böyle değil. Örneğin, eğer 1 sayısı seçilmezse1 (ki bu 0'dan sınırlı olasılıkla olur) o zaman n-1 farkı n−1görünemez ve Dn<n . Fakat neden böyle olması gerekiyor? Sadece D_n / n beklentisinin Dn/n1'e Dn , D_n'in yüksek olasılıkla 1'e eşit olması sorusu sorulmuyor .
— James Martin,

2
Lütfen birden fazla Stack Exchange sitesinde çapraz posta göndermeyin. Site politikamız eşzamanlı çapraz gönderimi yasaklıyor: en azından bir hafta bekle diyor. Ve iyi bir cevap alamazsanız, her zaman, taşınmasını istemek için moderatör dikkatini işaretleyebilirsiniz.
— DW,

Yanıtlar:


7

M = \ omega (\ sqrt {n}) verildiğini varsayalım m=ω(n).

Herhangi bir düzeltildi . ile ele alacağız . Amaç, arasındaki yüksek olasılıkla , farklar kümesine dahil edildiğini göstermektir.r ∈ [ 1 , n ] r < ( 1 - ϵ ) n n → ∞ rϵ>0r∈[1,n]r<(1−ϵ)nn→∞r

Önce kümesini göz önünde bulundurun . Sayısı ile şekildedir yaklaşık beklentisi ile binom olan . Bu nedenle, yüksek olasılıkla , bu tür sayısı en az , ki bu da . Sonra (iddia, "egzersiz olarak bırakıldı", göstermesi zor değil), gibi yüksek olasılıkla , kümesinin en az büyüklüğü vardır . Bu "iyi etkinlik" için yazalım , bu .i i < m / 2 a i < ε n ε m / 2 N → ∞ iken I ε m / 4 ω ( √A={ai:i<m/2}∩[1,ϵn]ii<m/2ai<ϵnϵm/2n→∞iϵm/4n→∞A √ω(n)n→∞A G| A| ≥ √nG|A|≥n

Gerçekten de varsayalım yani tutan en azından vardır belirgin değerleri az için, . Her bir değeri için, orada bir değerdir Not tam olarak daha büyüktür. Şimdi değerlerini dikkate için . Bu bağımsız ve her biri olasılığına sahiptir, en az mesafe olma grubu bir elementinden . farklılığının üretilme olasılığı en√G biriεni<m/2k∈[1,n]rbiriı≥m/2 √naiϵni<m/2k∈[1,n]raii≥m/2 rAr(1-1/ √n/n=1/nrAr n→∞m=ω( √(1−1/n)m/2bu, beri 0'a olarak gider . Gerçekten de, sahip olduğu ancak hiçbir büyüklüğü farkının bulunma olasılığı kadar eğilimindedir .n→∞Grn→∞m=ω(n)Grn→∞

Bu nedenle (üniform olarak ), , farklılıklar kümesine dahil olma olasılığı, kadar 1 e eğilimindedir . Dolayısıyla, beklentinin doğrusallığını kullanarak, Yana keyfidir arzu edildiği gibi, sınır 1'dir.r n → ∞ lim inf n → ∞ E [ # { | a i - a j | , 1 ≤ i , j ≤ m }r<(1−ϵ)nrn→∞ε

lim infn→∞E[#{|ai−aj|,1≤i,j≤m}n]≥1−ϵ.
ϵ

1
Her bir farkı, ifadesinde bağımsız olarak ele alıyor musunuz ve öyleyse haklı mı? 1−(1−ϵ/n)ω(n)
— usul

Ben o cevapsız nerede Ah @James, şimdi gördüğüm . Teşekkür ederim. n
— Daniel Soltész

@ usul: gerçekten, özür dilerim, benim argüman özensiz ve eksikti. Genişlettim - sanırım şimdi su tutuyor.
— James Martin,
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.