контактный процесс - это стохастический процесс, используемый для моделирования населения рост на множестве сайтов на графике, в котором занятые сайты становятся вакантными с постоянной скоростью, а свободные сайты становятся занятыми со скоростью, пропорциональной к количеству занятых соседних участков. Следовательно, если мы обозначим через константу пропорциональности, каждый сайт останется занятым в течение случайного периода времени, который равен экспоненциально распределенному параметру 1 и помещает потомков на каждом вакантном соседнем сайте во время событий пуассоновского процесса параметра в течение этого периода. Все процессы независимы друг от друга и от случайного периода времени, когда узлы остаются занятыми. Процесс контакта также можно интерпретировать как модель распространения инфекции, рассматривая частицы как бактерию, распространяющуюся на людей, находящихся в местах , занятых сайты соответствуют инфицированным, а свободные - здоровым.
Основное значение, представляющее интерес, - это количество частиц в процессе, скажем в первой интерпретации, что соответствует количество зараженных сайтов во втором. Следовательно, этот процесс продолжается, когда число частиц всегда положительно, что соответствует случаю, когда во втором случае всегда есть инфицированные особи. Для любого бесконечного графа существует положительное и конечное критическое значение , так что если тогда выживание процесса, начиная с конечного числа частиц, происходит с положительной вероятностью, а если , то их исчезновение почти наверняка. с помощью reductio ad absurdum и теоремы о бесконечной обезьяне выживание процесса эквивалентно , как , тогда как вымирание эквивалентно , поскольку , и поэтому естественно спросить, с какой скоростью когда процесс выживает.
.
Если состояние процесса во время равно , тогда сайт в занят, скажем, частица, если , и пустая, если . Процесс связи - это непрерывный марковский процесс с пространством состояний , где - конечный или счетный граф, обычно и частный случай системы взаимодействующих частиц. В частности, динамика основного процесса контакта определяется следующими скоростями перехода: на сайте ,
, где сумма берется по всем соседям из в . Это означает, что каждый сайт ждет экспоненциальное время с соответствующей скоростью, а затем переворачивается (так что 0 становится 1 и наоборот).
.
Процесс контакта - это случайный процесс, который тесно связан с теорией перколяции. Тед Харрис (1974) отметил, что контактный процесс на ℤ, когда заражение и выздоровление может происходить только в дискретные моменты времени соответствует поэтапной перколяции связей на графе, полученном путем ориентации каждого ребра ℤ в направлении увеличения значение координаты.
Закон больших чисел для числа частиц в процессе на целых числах неформально означает, что для всех больших , приблизительно равно для некоторой положительной константы . Тед Харрис (1974) доказал, что если процесс выживает, то скорость роста не более и не менее линейно во времени. Слабый закон больших чисел (что процесс сходится по вероятности ) был показан Дарреттом (1980). Несколько лет спустя Даррет и Гриффит (1983) улучшили это до строгого закона больших чисел, дав почти надежную сходимость процесса.
Для контактного процесса на всех целочисленных решетках главный прорыв произошел в 1990 году, когда Безуиденхаут и Гриммет показали, что контактный процесс почти наверняка прекращается при критическом значении.
Дарретт выдвигали гипотезу в обзорных статьях и лекциях в 80-х и начале 90-х годов относительно центральная предельная теорема для контактного процесса Харриса, а именно. что, если процесс выживает, то для всех больших , равно , а ошибка равна , умноженная на (случайную) ошибку, распределенную согласно стандартному распределению Гаусса.
Гипотеза Дарретта оказалась верной для другого значения , как доказал в 2018 г..