Самоизбегающая прогулка
В математике самоизбегающее блуждание ( SAW ) — это последовательность ходов по решетке ( путь решетки ), которая не посещает одну и ту же точку более одного раза. Это частный случай теоретико-графового понятия пути . Многоугольник с самоизбеганием ( SAP ) — это замкнутый маршрут с самоизбеганием на решетке. С математической точки зрения о блуждании с самоизбеганием строго известно очень мало, хотя физики выдвинули множество гипотез, которые считаются верными и убедительно подтверждаются численным моделированием.
В вычислительной физике самоизбегающее блуждание — это цепной путь в R. 2 или Р 3 с определенным количеством узлов, обычно с фиксированной длиной шага и тем свойством, что он не пересекает себя или другой обход. Система ПАВ удовлетворяет так называемому условию исключенного объема . Считается, что в более высоких измерениях ПАВ ведет себя так же, как обычное случайное блуждание .
ПАВ и SAP играют центральную роль в моделировании топологического и теоретико-узлового поведения нитевидных и петлеобразных молекул, таких как белки . Действительно, ПАВ, возможно, впервые были представлены химиком Полом Флори. [1] [ сомнительно – обсудить ] для моделирования реального поведения цепочечных объектов, таких как растворители и полимеры , физический объем которых не позволяет многократно занимать одну и ту же точку пространства.
ПАВ — это фракталы . Например, при d = 2 фрактальная размерность равна 4/3, при d = 3 она близка к 5/3, а при d ≥ 4 фрактальная размерность равна 2 . Размер называется верхним критическим размером, выше которого исключенный объем незначителен. ПАВ, которая не удовлетворяет условию исключенного объема, недавно изучалась для моделирования явной геометрии поверхности, возникающей в результате расширения ПАВ. [2] [ нужны разъяснения ]
Свойства ПАВ невозможно рассчитать аналитически, поэтому численное моделирование используется . Алгоритм поворота - это распространенный метод моделирования Монте-Карло цепью Маркова для равномерной меры на n -шаговых самоизбегающих блужданиях. Алгоритм поворота работает путем самоизбегающего обхода и случайного выбора точки в этом обходе, а затем применения симметричных преобразований (поворотов и отражений) в обходе после n -го шага для создания нового обхода.
Вычисление количества самоизбегающих блужданий в любой заданной решетке является распространенной вычислительной задачей . В настоящее время не существует известной формулы, хотя существуют строгие методы приближения. [3] [4]
Универсальность
[ редактировать ]Одним из явлений, связанных с самоизбегающими блужданиями и моделями статистической физики в целом, является понятие универсальности , то есть независимости макроскопических наблюдаемых от микроскопических деталей, таких как выбор решетки. Одной из важных величин, которая появляется в гипотезах об универсальных законах, является константа связи , определяемая следующим образом. Обозначим число через cn n - шаговых самоизбегающих блужданий. Поскольку каждый ( n + m ) -шаговый обход с самоизбеганием можно разложить на n -шаговый обход с самоизбеганием и m -шаговый обход с самоизбеганием, отсюда следует, c n + m ≤ c n cm что . Следовательно, последовательность {log c n } субаддитивна , и мы можем применить лемму Фекете, чтобы показать, что существует следующий предел:
µ называется константой связи , поскольку c n зависит от конкретной решетки, выбранной для обхода, так же как и µ . Точное значение ц известно только для гексагональной решетки, где оно равно: [5]
Для других решеток µ аппроксимировалось только численно и, как полагают, даже не является алгебраическим числом . Предполагается, что [6]
при n → ∞ , где µ зависит от решетки, но степенная поправка нет; другими словами, этот закон считается универсальным.
В сетях
[ редактировать ]Самоизбегающие блуждания также изучались в контексте теории сетей . [7] В этом контексте принято рассматривать SAW как динамический процесс, в котором на каждом временном шаге ходок случайно прыгает между соседними узлами сети. Обход заканчивается, когда обходчик достигает тупикового состояния, в котором он больше не может переходить к новым, не посещенным узлам. Недавно было обнаружено, что в сетях Эрдеша-Реньи распределение длин путей таких динамически выращенных ПАВ может быть рассчитано аналитически и соответствует распределению Гомпертца . [8] Для произвольных сетей распределение длин путей обхода, распределение степеней непосещенной сети и распределение времени первого попадания в узел можно получить путем решения набора связанных рекуррентных уравнений. [9]
Пределы
[ редактировать ]Рассмотрим равномерную меру на n -шагах самоизбегающих блужданий в полной плоскости. В настоящее время неизвестно, индуцирует ли предел равномерной меры при n → ∞ меру на бесконечных блужданиях по всей плоскости. Однако Гарри Кестен показал, что такая мера существует для самоизбегающих блужданий в полуплоскости. Одним из важных вопросов, связанных с самоизбегающими блужданиями, является существование и конформная инвариантность предела масштабирования , то есть предела, когда длина блуждания стремится к бесконечности, а сетка решетки стремится к нулю. Предполагается, что масштабный предел самоизбегающего блуждания описывается эволюцией Шрамма – Лёвнера с параметром κ = 8 / 3 .
См. также
[ редактировать ]- Критические явления - Физика, связанная с критическими точками.
- Гамильтонов путь - путь в графе, который посещает каждую вершину ровно один раз.
- Ход коня – математическая задача, поставленная на шахматной доске.
- Случайное блуждание - процесс формирования пути из множества случайных шагов.
- Змея - Жанр видеоигры
- Универсальность — свойства систем, независимые от динамических деталей.
Ссылки
[ редактировать ]- ^ П. Флори (1953). Основы химии полимеров . Издательство Корнельского университета. п. 672. ИСБН 9780801401343 .
- ^ А. Букш; Г. Тюрк ; Дж. С. Вайц (2014). «Прогулка по волокнам: модель роста, обусловленного кончиками, с боковым расширением» . ПЛОС ОДИН . 9 (1): е85585. arXiv : 1304.3521 . Бибкод : 2014PLoSO...985585B . дои : 10.1371/journal.pone.0085585 . ПМК 3899046 . ПМИД 24465607 .
- ^ Хейс Б. (июль – август 1998 г.). «Как избежать себя» (PDF) . Американский учёный . 86 (4): 314. дои : 10.1511/1998.31.3301 .
- ^ Лискевич М; Огихара М; Тода С. (июль 2003 г.). «Сложность подсчета самоизбегающих блужданий в подграфах двумерных сеток и гиперкубов» . Теоретическая информатика . 304 (1–3): 129–56. дои : 10.1016/S0304-3975(03)00080-X .
- ^ Думинил-Копен, Гюго; Смирнов, Станислав (1 мая 2012 г.). «Константа связи сотовой решетки равна sqrt(2+sqrt 2)». Анналы математики . 175 (3): 1653–1665. arXiv : 1007.0575 . дои : 10.4007/анналы.2012.175.3.14 . S2CID 59164280 .
- ^ Лоулер, Грегори Ф.; Шрамм, Одед ; Вернер, Венделин (2004). «О пределе масштабирования плоского самоизбегающего блуждания». Труды симпозиумов по чистой математике . 72 (2). Американское математическое общество: 339–364. arXiv : math/0204277 . дои : 10.1090/pspum/072.2/2112127 . ISBN 0-8218-3638-2 . S2CID 16710180 .
- ^ Карлос П. Эрреро (2005). «Самоизбегающие блуждания по безмасштабным сетям». Физ. Преподобный Е. 71 (3): 1728. arXiv : cond-mat/0412658 . Бибкод : 2005PhRvE..71a6103H . дои : 10.1103/PhysRevE.71.016103 . ПМИД 15697654 . S2CID 2707668 .
- ^ Тишби, И.; Бихам, О.; Кацав, Э. (2016). «Распределение длин путей самоизбегающих блужданий в сетях Эрдеша – Реньи». Физический журнал A: Математический и теоретический . 49 (28): 285002. arXiv : 1603.06613 . Бибкод : 2016JPhA...49B5002T . дои : 10.1088/1751-8113/49/28/285002 . S2CID 119182848 .
- ^ Коломбани, Г.; Бертаньолли, Дж.; Артиме, О. (2023). «Эффективное исследование сети посредством сброса самоизбегающих случайных блуждающих» . Физический журнал: Сложность . 4 (4). arXiv : 2310.03203 . дои : 10.1088/2632-072X/acff33 .
Дальнейшее чтение
[ редактировать ]- Мадрас, Н.; Слэйд, Г. (1996). Прогулка самоизбегания . Биркхойзер. ISBN 978-0-8176-3891-7 .
- Лоулер, Г.Ф. (1991). Пересечения случайных блужданий . Биркхойзер. ISBN 978-0-8176-3892-4 .
- Мадрас, Н.; Сокаль, А.Д. (1988). «Алгоритм поворота - высокоэффективный метод Монте-Карло для обхода с самоизбеганием». Журнал статистической физики . 50 (1–2): 109–186. Бибкод : 1988JSP....50..109M . дои : 10.1007/bf01022990 . S2CID 123272694 .
- Фишер, Мэн (1966). «Форма самоизбегающей походки или полимерной цепи». Журнал химической физики . 44 (2): 616–622. Бибкод : 1966JChPh..44..616F . дои : 10.1063/1.1726734 .
Внешние ссылки
[ редактировать ]- Последовательность OEIS A007764 (Количество непересекающихся (или самоизбегающих) ладейных путей, соединяющих противоположные углы сетки n X n) — количество самоизбегающих путей, соединяющих противоположные углы сетки N × N , для N от 0 до 12. Также включает расширенный список до N = 21.
- Вайсштейн, Эрик В. «Прогулка, избегающая самого себя» . Математический мир .
- Java-апплет двумерного обхода с самоизбеганием
- Общая реализация Python для моделирования SAW и расширения FiberWalks на квадратных решетках в n-мерностях.
- Программное обеспечение Norris для генерации ПАВ на кубе Diamond .