Количество различных отличий целых чисел выбранных из

21

Я столкнулся со следующим результатом во время моего исследования.

limnE[#{|aiaj|,1i,jm}n]=1
где m=ω(n) и a1,,am выбираются случайным образом из [n] .

Я ищу ссылку / прямое доказательство.


Кросспост на МО

Чжу Цао
источник
1
Если m=n , максимальное количество различных различий, которое вы можете получить, составляет m(m1)/2<n/2 . Так что вам действительно нужно, чтобы m рос быстрее, чем n чтобы это было правдой. Что я хотел бы сделать , это попытаться вычислить вероятность того, что число d является не разность d=|aiaj|,
Питер Шор
@Shor: спасибо, я обновил вопрос. И действительно, поскольку E(xi)=E(xi) , легче вычислить для конкретной разности d .
Чжу Цао
1
@ZhuCao, когда вы говорите « случайным образом выберите m целых чисел a1,...,am из [1,n] », какое распределение вы имеете в виду именно? Я предполагал, что я имел форму {1,,n} .
усуль
1
@ Андрас нет, это не так. Например, если число 1 не выбрано (что происходит с вероятностью, ограниченной от 0), то разница n1 не может появиться, и Dn<n . Но почему это должно быть так? Вопрос только в том, что ожидание Dn/n приближается к 1, а не что Dn равно 1 с высокой вероятностью.
Джеймс Мартин
2
Пожалуйста, не размещайте кросс-посты на нескольких сайтах Stack Exchange. Политика нашего сайта запрещает одновременную кросс-публикацию: как минимум, подождите неделю. И если вы не получили хорошего ответа, вы всегда можете пометить его для внимания модератора и попросить его перенести.
DW

Ответы:

7

Предположим, что .m=ω(n)

Исправьте все . Мы рассмотрим с . Цель состоит в том, чтобы показать , что с высокой вероятностью , как , входит в множество различий.r [ 1 , n ] r < ( 1 - ϵ ) n n rϵ>0r[1,n]r<(1ϵ)nnr

Сначала рассмотрим множество . Число с такое, что является биномиальным с ожиданием около . Таким образом, с большой вероятностью при число таких будет не меньше , что равно . Затем (утверждают, что «оставлено как упражнение», не трудно показать) с высокой вероятностью при , множество имеет размер не менее . Запишем для этого «хорошего события», чтобы .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/2niϵm/4nAω(n)nA G| A| nG|A|n

Предположим, что действительно имеет место, то есть, по крайней мере, различных значений меньше, чем , для . Обратите внимание, что для каждого такого значения есть значение которое на точно больше . Теперь рассмотрим значения для . Они независимы и каждый из них имеет по крайней мере , вероятность быть на расстоянии от элемента множества . Вероятность того, что не будет получено никакой разницы будет не более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 как поскольку . Таким образом, вероятность того, что имеет место, но разницы в размере существует, стремится к 0 при .nGrnm=ω(n)Grn

Таким образом (равномерно по ) вероятность того, что включен в набор разностей, стремится к 1 при . Следовательно, используя линейность ожидания, Поскольку произвольно, предел равен 1 по желанию.r n lim 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)
усуль
@ Джеймс О, теперь я вижу, где я пропустил это . Спасибо. n
Даниэль Солтес
@usul: действительно, извинения, мой аргумент был небрежным и неполным. Я расширил это - я думаю, что это держит воду теперь.
Джеймс Мартин