Что подразумевается под аргументами эвристической статистической физики?

29

Я слышал, что в статистической физике есть эвристические аргументы, которые дают результаты в теории вероятностей, для которых строгие доказательства либо неизвестны, либо очень трудно получить. Что является простым игрушечным примером такого явления?

Было бы хорошо, если бы ответ предполагал незначительный опыт в статистической физике и мог объяснить, что это за загадочная эвристика и как они могут быть неофициально обоснованы. Также, возможно, кто-то может указать общую картину того, сколько из этих эвристик может быть строго обосновано и как программа Лоулера, Шрамма и Вернера вписывается в это.

Арнаб
источник
Заранее извиняюсь за «начинающий» характер этого вопроса!
Арнаб
1
У меня был похожий вопрос - например, формула для роста числа самоходных прогулок по 4-мерной решетке оправдывается «подходом перенормировочной группы», хотя нет строгих доказательств
Ярослав Булатов,
максимальная энтропия (а-ля Джейнс и связанные с ней отношения) - одна из наиболее часто используемых (так или иначе)
Никос М.

Ответы:

22

Второй абзац ответа RJK заслуживает более подробной информации.

Пусть - формула в конъюнктивной нормальной форме, с m предложениями, n переменными и не более чем k переменными в предложении. Предположим, мы хотим определить, имеет ли ϕ удовлетворительное присваивание. Формула ϕ является примером решения проблемы k-SAT.ϕϕϕ

Когда есть несколько предложений (так что m довольно мало по сравнению с n), то почти всегда можно найти решение. Простой алгоритм найдет решение примерно за линейное время по размеру формулы.

Когда есть много предложений (так что m довольно велико по сравнению с n), то почти всегда бывает, что решения не существует. Это можно показать с помощью счетного аргумента. Тем не менее, во время поиска почти всегда можно обрезать большие части пространства поиска с помощью методов согласованности, потому что многие пункты взаимодействуют так широко. Установление неудовлетворенности обычно может быть сделано эффективно.

  • В. Чватал и Б. Рид. Мик получает немного (шансы на его стороне) , FOCS 1992. doi: 10.1109 / SFCS.1992.267789

В 1986 году Фу и Андерсон предположили связь между задачами оптимизации и статистической физикой на основе систем спинового стекла. Хотя они использовали такие предложения, как

Интуитивно понятно, что система должна быть достаточно большой, но ее сложно назвать более конкретной.

они действительно дают конкретные прогнозы.

  • У Фу и П.В. Андерсона. Применение статистической механики к NP-полным задачам в комбинаторной оптимизации , J. Phys. A. 19 1605, 1986. doi: 10.1088 / 0305-4470 / 19/9/033

α=m/n

  • Реми Монассон, Риккардо Зекчина, Скотт Киркпатрик, Барт Сельман, Лидрор Троянский. Определение вычислительной сложности по характеристическим «фазовым переходам» , Nature 400 133–137, 1999. ( doi: 10.1038 / 22055 , бесплатная версия )

α1<α2αα1αα2ϕ

  • k

Димитрис Ахлиоптас работал над многими из оставшихся проблем и показал, что приведенный выше аргумент справедлив и для проблем удовлетворения ограничений. Они могут использовать более двух значений для каждой переменной. В одной ключевой статье строго показано, почему алгоритм распространения съемки работает так хорошо для решения случайных случаев k-SAT.

  • А. Браунштейн, М. Мезард, Р. Зекчина, Распространение результатов опроса: алгоритм для выполнимости , случайные структуры и алгоритмы 27 201–226, 2005. doi: 10.1002 / rsa.20057
  • D. Achlioptas, F. Ricci-Tersenghi, О геометрии пространства решений случайных задач удовлетворения ограничений , STOC 2006, 130–139. ( препринт )
Андраш Саламон
источник
Спасибо за ссылки! Я принимаю этот ответ, так как он наиболее полный. Я все еще был бы заинтересован в неофициальном описании программы Lawler, Schramm & Werner.
Арнаб
11

Существует очень недавнее исследование , проведенное Лоулера на SLES . Вам нужно знать немного сложного анализа.

Хотя это и не имеет прямого отношения к вашему вопросу, возможно, вы могли бы проверить несколько работ Ахлиопты, которые также подпадают под «формализацию эвристики физиков», хотя и с точки зрения теоретического компьютерного ученого. Или, может быть, глубже в перспективе statphys вы можете просмотреть некоторые работы Зекхина .

Я думаю, что стоит добавить, что то, что вы назвали «результатами» физиков - большинство из которых следует назвать гипотезами, - в этой очень широкой категории задач полагается почти столько же (или даже больше) на численные эксперименты, как ( чем) на эвристических аргументах.

RJK
источник
Спасибо за ссылку на опрос! Можете ли вы подробнее рассказать о том, что представляют собой эти вычислительные эксперименты? Какие выводы из статистической физики используются? Я искал простой игрушечный пример (скажем, из теории перколяции), где можно неформально приводить аргументы, основанные на статистической физике.
Арнаб
в основном, монте-карло / статистические эксперименты, которые также интенсивно используются при изучении спутниковой связи и в значительной степени перекрестно слились с направлением теории в этой области
vzn
2

(расширение моего комментария)

NP

Обзор " эвристики от природы " можно найти здесь (около 95)

Другие эвристики включают обобщенные лангранжианы (известные как алгоритмы первичного-двойственного / ожидания-максимизации)

Однако они не исчерпывают всей « эвристики от природы », так как фактически начиная с 2003 года новые эвристики, основанные на электромаргнетизме , используются для решения как непрерывных, так и дискретных / комбинаторных методов оптимизации (таких как многомерный рюкзак или TSP , около 2012 г.)

Никос М.
источник