Привет, я не специалист по вероятности, поэтому я не удивлюсь, если ответ на этот вопрос будет просто простым следствием хорошо известных результатов теории случайных блужданий. В таком случае буду рад, если вы подскажете мне "волшебные слова" для поиска материала, связанного с этой проблемой.
Позволять случайная прогулка определяется следующим образом: на каждом шаге ходок смотрит на ваше текущее положение и до тех пор, пока его расстояние до начала координат не принадлежит множеству (мы предполагаем, что а также ) он перескакивает на одного из своих ближайших соседей с вероятностью . С другой стороны, если то ходячий подбрасывает смещенную монету, если выпадает решка, что происходит с вероятностью , он возвращается в предыдущее положение, т. . Если в результате выпадает решка, он случайным образом выбирает одного из своих соседей с вероятностью .
Я хотел бы знать, существуют ли нетривиальные такое, что это случайное блуждание является временным для в измерении . Конечно, чтобы этот вопрос был корректно поставлен, мы должны определить последовательность . Я хотел бы выбрать его случайным образом, но я понятия не имею, для какого дистрибутива эта проблема разрешима. Таким образом, в настоящее время мы можем предположить, что является детерминированной последовательностью и, например, имеет полиномиальный рост как .
Любые ссылки или комментарии очень приветствуются.
PS: Может ли пользователь с большим количеством репутации. поместить тег случайной прогулки для этого вопроса?
Если а также непусто, то очевидно, что случайное блуждание не является временным, потому что, поскольку вы используете норма, существует замкнутая поверхность, которая всегда отражает идущего обратно в замкнутую конечную область. Если, однако, тогда блуждание является временным, так как простые случайные блуждания в трех измерениях являются временными.
Теперь, если есть его существование зависит от специфики набора . Конечно, есть некоторые варианты для которые являются переходными: если множество конечна, то, очевидно, существует конечная вероятность оказаться за пределами конечной оболочки (если только ). Так как случайное блуждание по внешней по отношению к этой оболочке области является нестационарным, то вероятность вернуться в внутренность оболочки бесконечное число раз равна нулю, так как оболочка имеет конечную границу, а вероятность вернуться в конкретный участок на граничный узел бесконечное число раз равен нулю. Таким образом .
Далее в случае, когда , то каждый сайт является отражающим и, следовательно, действует как случайное блуждание по трехмерной решетке с конечной вероятностью не прыгнуть на два шага (скачок плюс прыжок назад — это то же самое, что просто ждать два временных шага), и, следовательно, все еще переходный, если только .
Действительно, это кажется очень общим принципом (что нет ). Один из способов понять, почему это должно быть правдой, — рассмотреть, что происходит, когда ходок входит в область между а также . Ходок будет дольше привязан к региону, но это не позволит ему вернуться в исходную точку и перепрыгнуть на следующий уровень. Когда чрезвычайно высока, мы ожидаем, что бродяга встретит каждое место в регионе примерно одинаковое количество раз, прежде чем ему в конечном итоге удастся покинуть регион. В этом случае вероятность перехода определяется отношением площадей двух соответствующих отражающих поверхностей, и, следовательно, это вероятность перехода в область между а также линейно больше, чем вероятность вернуться в область ближе к началу координат. Это точно такая же вероятность, которую мы получаем, когда считаем, что ходок начинает со случайной позиции в этом регионе, когда . Таким образом, срок отражения увеличивает только количество времени, проведенного в регионе, а не вероятность возвращения в него. При увеличении времени пребывания в регионе постоянна фиксированная , блуждание остается преходящим.
Поэтому я считаю, что выбора нет такой, что . И наоборот, если то блуждание не является преходящим, если только пустой. Наконец, если пусто, то нет .
Ваша прогулка всегда преходяща, когда вы используете симметричное условие отражения в обоих направлениях, и аргумент по существу приведен в предыдущем ответе. Но когда условие отражения асимметрично , так что у вас есть отражение только тогда, когда вы выходите, бесконечное количество отражателей будет давать рекуррентное поведение для сколь угодно малой вероятности отражения в евклидовом пространстве (ПОСЛЕДНЕЕ РЕДАКТИРОВАНИЕ: до тех пор, пока не растут экспоненциально быстро --- в этом случае у вас может быть переход --- у вас также есть хороший переход на графике Кэли).
Повторение/неповторение случайного блуждания — это независимая от времени проблема, и ее можно решить, найдя стационарное решение. У этого есть простой электростатический аналог, см. этот ответ: время столкновения броуновских частиц.
Основной принцип таков: рассмотрим маленькую сферу и большую сферу, которые поглощают броуновские частицы. Вводите частицы в случайном месте сферы единичного радиуса и спрашивайте, какова вероятность того, что они будут поглощены большой сферой, а не маленькой. Возврат — это когда малый шар всегда поглощает первым, в пределе бесконечно большого шара.
В установившемся режиме плотность частиц подчиняется уравнению Лапласа с граничным условием, что потенциальная функция равна нулю на малой внутренней сфере, а на внешней сфере - с изломом на единичной сфере, который представляет входящий поток инжектированных частиц.
Поток частиц, которые сначала поглощаются на бесконечности, определяется интегральным градиентом потенциала (электрическим потоком) на больших расстояниях, а поток, который сначала поглощается малой сферой, определяется градиентом потенциала на малых расстояниях. (электрический поток на малых расстояниях). Поток нормируется значениями электростатического потенциала на малом и большом радиусе (поскольку на этих двух сферах потенциал должен обращаться в нуль, поскольку они поглощающие).
Результатом этого является то, что блуждание является рекуррентным тогда и только тогда, когда потенциал от маленькой сферы расходится на бесконечности (более поздняя редакция: это верно для однородных решеток --- см. ниже). Это верно для 1d, где она линейно расходится, и для 2d, где она логарифмическая, но не работает в 3d и выше, где вы приближаетесь к постоянному асимптотическому пределу на больших расстояниях. Постоянный предел делает поток на бесконечности отличным от нуля, потому что нормировка из граничного условия металла с нулевым потенциалом не бесконечна.
Когда вы добавляете двухсторонние отражатели, стационарное распределение не меняется, потому что если у вас бесконечно тонкая отражающая плоскость, то для того, чтобы через нее был нулевой поток, плотность пешеходов слева и справа от плоскости должны быть равны. Это означает, что плоскость не изменяет поток, и нет никакой разницы со случаем без отражателя. Прогулка по-прежнему временная с двусторонними отражателями (это содержание предыдущего ответа).
Однако, когда у вас есть односторонний отражатель, условия другие. Теперь плотность внутри должна быть больше прямо на отражателе в соотношении (1/1-p) по сравнению с внешней средой, чтобы обеспечить баланс потока через плоскость. Назовите малое отношение .
Чтобы иметь нулевой поток на бесконечность в установившемся режиме, распределение частиц с единичным источником должно иметь нулевую производную по r вдали от скачков на отражателях. Это означает, что весь спад плотности должен приходиться на скачки, а условие, что сфера на бесконечности находится при нулевом потенциале, дает ограничение:
Когда этот бесконечный продукт равен нулю, блуждание рекуррентно. Когда он не равен нулю, блуждание носит временный характер.
РЕДАКТИРОВАТЬ: Или я так думал! Последнее уравнение, очевидно, совершенно неверно, как указал Питер Шор и поддержали анонимные проголосовавшие против. Спасибо, что заметили ошибку, к которой я был слеп.
В описанном выше методе нет ничего плохого, просто асимптотирование к нулевому потенциалу на больших расстояниях не гарантирует, что бесконечно малый поток станет равным нулю за конечное время (для меня это было нелогично). Если вы асимптотируете к нулю достаточно медленно, вы все еще можете иметь ненулевой поток на больших радиусах, никогда не достигая нуля.
Правильным условием для большого проводника является то, что он должен иметь нулевой поток через него, когда он очень большой. Для нормальных темпов роста, чтобы получить нулевой поток, все, что вам нужно, — это потенциал дойти до нуля. Но для экспоненциально быстрого роста , чтобы обнулить потенциал на большой сфере, вы все равно можете потребовать ненулевой поток, даже если сфера начинается с бесконечно малого потенциала, просто потому, что она невероятно огромна (еще раз спасибо Питеру Шору за обнаружение этой глупой ошибки --- это не требует модификации метода, только ошибочный анализ в самом конце).
Итак, спрашивается, учитывая, что существует внешний поток , каков радиус сферы, на которой потенциал сначала равен нулю? Если такого радиуса нет для достаточно малых (допускается асимптотика до нуля, если она никогда не достигает его --- это была моя ошибка раньше), тогда случайное блуждание является рекуррентным.
Исходящий поток представляет собой электрический заряд, поэтому выходное решение имеет вид
В , он ослабляется , чтобы
Он продолжается для больших r с тем же q, но начиная с уменьшенной высоты, так что решение для является:
Где постоянная A 'задается как
т. е. это средневзвешенное значение предыдущего значения A с отрицательным значением в скобках, с весом, заданным формулой . q можно исключить, если вы переопределите A мультипликативно, чтобы поглотить его. Значение A после каждого из переходов определяется аналогичным средневзвешенным значением
Это линейное разностное уравнение можно решить стандартными методами, в частности, определив
затем
И условие, что A становится отрицательным после конечного числа шагов для произвольно малого q, говорит вам, что приведенный выше ряд расходится:
Расходимость этого ряда является условием повторяемости. В частном случае постоянной , то в ряду есть члены
Что является расходящейся экспонентой, если только R_n не растет быстрее, чем . Итак, для экспоненциально растущего , получается нетривиальный фазовый переход, вопреки тому, что я написал изначально .
На графе Кэли (бесконечное бинарное дерево) вместо 3-х пространств проблема имеет фазовый переход в p, потому что, если каждый радиус будет односторонним отражением, и настроив p, вы можете сделать радиальное блуждание несмещенным после пути -зависимая от времени репараметризация. Существует устойчивый поток наружу с вероятностью 2/3, но если p равно 1/2, то половина исходящих 2/3 возвращается на следующем шаге, так что вы получаете вероятность 1/3 движения внутрь, т.е. 1/3 вероятности выхода наружу и 1/3 вероятности возвращения после двух шагов, что является стандартной беспристрастной диффузией после того, как вы объедините два шага на обратном пути в один.
Таким образом, для p<1/2 у вас есть быстротечность, а для p>1/2 у вас есть повторение, и граница находится точно на p = 1/2. Пример графика Кэли показывает приблизительную силу постоянных отражателей --- они противодействуют экспоненциальному росту.
Кроме того, стационарное распределение на графе Кэли можно анализировать, либо объединяя все вершины на расстоянии r от начала координат в одну большую вершину, и в этом случае стационарное распределение при нулевом потоке имеет экспоненциальный рост, либо не объединяя, в в этом случае стационарное распределение при нулевом потоке постоянно во всех вершинах. Два разных описания ясно показывают, что условие нулевого потока на бесконечности заключается не только в том, что стационарное распределение затухает до нуля.
Джо Фицсаймонс
Леандро
Иван Веленик
Леандро