의 뚜렷한 차이 수


21

연구 중에 다음과 같은 결과가 발생했습니다.

limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1
여기서 m=ω(n) 및 a1,⋯,am 은 [n] 에서 임의로 선택됩니다 [n].

참조 / 직접 증거를 찾고 있습니다.


MO에 Crossposted


1
경우 m=n , 사용자가 얻을 수있는 다른 차의 최대 수는 m(m−1)/2<n/2 . 따라서 \ sqrt {n} 보다 빠르게 성장 하려면 m 이 필요 합니다. 내가 할 일은 숫자 d 가 차이 가 아닌 확률을 계산하려고 시도 하는 것입니다. d = | a_i-a_j | . mndd=|ai−aj|
— 피터 쇼어

@ 짧은 : 감사합니다, 나는 질문을 업데이트했습니다. 그리고 실제로 E(∑xi)=∑E(xi) 이후 특정 차이 d 를 계산하는 것이 더 쉽습니다 d.
— Zhu Cao

1
@ZhuCao, " [1, n] 에서 무작위로 m 정수 a_1, ..., a_m을 선택하십시오"라고 말할 때 정확히 어떤 분포를 의미합니까? iid 유니폼 \ {1, \ dots, n \} 이라고 가정했습니다 . a1,...,am[1,n]{1,…,n}
— usul

1
@Andras 아니오, 그렇지 않습니다. 예를 들어, 숫자 1 선택하지 않으면 (0에서 멀어 질 확률로 발생) 차이 n−1 을 표시 할 수 없으며 Dn<n 입니다. 그러나 왜 그럴 필요가 있습니까? 이 질문은 D_n / n 의 기대치 Dn/n가 1에 가까워 Dn 은 확률이 1 일 때가 아니라고 요구합니다 .
— James Martin

2
여러 Stack Exchange 사이트에 교차 게시하지 마십시오. Google 사이트 정책은 교차 게시를 동시에 금지합니다. 최소한 일주일 동안 기다립니다. 좋은 답변을 얻지 못한 경우 언제든지 중재자에게주의를 기울여 마이그레이션을 요청하도록 플래그를 지정할 수 있습니다.
— DW

답변:


7

주어진 m = \ omega (\ sqrt {n}) 이라고 가정하십시오 m=ω(n).

수정하십시오 . 과 함께 을 고려할 것 입니다. 목표는 확률이 인 이 차이 집합에 포함되어 있음을 보여주는 것입니다 .r ∈ [ 1 , n ] r < ( 1 − ϵ ) n n → ∞ rϵ>0r∈[1,n]r<(1−ϵ)nn→∞r

먼저 집합 . 다수의 와 그러한 주위 기대 이항이다 . 따라서 가능성이 높으면 이러한 의 수는 이상 이며 입니다. 그런 다음 와 같이 높은 확률로 (표시하기 어려운 "운동으로 남김"), 세트 크기는 입니다. 이 "좋은 이벤트", 즉 대해 를 작성하겠습니다 .i i < m / 2 a i < ϵ n ϵ m / 2 n → ∞ 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

실제로 보유, 즉 대해 보다 작은 이상의 값이 있다고 가정합니다 . 이러한 각 값에 대해 정확히 더 큰 값 이 있습니다. 이제 대한 값을 고려하십시오 . 이들은 독립적이며 각각 은 세트 의 요소에서 거리에있을 가능성이 적어도 입니다 . 차이 이 생성 되지 않을 확률 은 최대√G IεNI<m/2K∈[1,N은]r에II≥m/2 √naiϵni<m/2k∈[1,n]raii≥m/2 rAr(1−1/ √n/n=1/nrAr n→∞m=ω( √(1−1/n)m/2 이후 로 0이됩니다 . 따라서 실제로 보유하지만 크기 차이가 존재 하지 않을 확률 은 로 0이되는 경향이 있습니다.n→∞Grn→∞m=ω(n)Grn→∞

따라서 (균일하게 ) 이 차이 집합에 포함될 확률 은 로 1이됩니다 . 따라서 기대치의 선형성을 사용하여 이후 임의로 원하는 한계는 1이다.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
식에서 각 차이를 독립적으로 처리 하고 있습니까? 그렇다면 적절합니까? 1−(1−ϵ/n)ω(n)
— usul

@ 제임스 오, 이제 내가 그 놓친 곳을 봅니다 . 고맙습니다. n
— Daniel Soltész 2016 년

@ usul : 실제로, 사과, 나의 주장은 부주의하고 불완전했다. 나는 그것을 확장했습니다-지금 그것은 물을 보유하고 있다고 생각합니다.
— James Martin
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.