Теория узлов: почему провода наушников всегда запутываются?
Теория узлов
Узел (математика)
Этот HTML-файл является урезанной версией оригинальной публикации и предназначен исключительно для поисковых машин. Здесь отсутствуют все картинки и практически все формулы. Полностью статья выложена в DjVu-формате. Статистическая механика изучает системы, состоящие из чрезвычайно большого числа компонентов. К этой дисциплине, как правило, не имеют отношения малые системы вроде узлов и зацеплений, которые обычно изучаются теорией узлов. В то же время в теории узлов даже самые малые системы могут обладать довольно тонкими свойствами. Тем не менее некоторые алгебраические соотношения, используемые для расчёта моделей в статистической механике, служили ключом к описанию одного математического свойства узлов, известного как полиномиальный инвариант. Эта связь, вначале малозаметная, породила затем значительный поток идей. Фактически открытие связи между теорией узлов и статистической механикой произошло благодаря теории, тесно связанной с математическим аппаратом квантовой физики. Эта допустимость произвольной вещественной размерности играет ключевую роль в сопряжении теории узлов и статистической механики. Кроме того, узловые инварианты были вскоре обнаружены в квантовой теории поля. Эдвард Виттен из Института перспективных исследований в Принстоне шт. У этого доказательства в свою очередь есть не лишённое красоты обобщение, относящееся к инвариантам узлов в более сложных трёхмерных пространствах, называемых трёхмерными многообразиями; в них само пространство может содержать дырки и петли. Новая теория узлов уже оказалась полезной в другой, совершенно независимой, области. Специалисты по молекулярной биологии установили, что двойные спирали ДНК в ходе биологических процессов рекомбинации и репликации связываются в узлы и зацепляющиеся петли. Механизм распутывания таких узлов, имеющий место в клетках, поразительно напоминает простейший математический метод порождения новых полиномиальных инвариантов. С незапамятных времён узлы использовались как в практических, так и в декоративных целях. Моряки для своих нужд использовали сложные узлы, иногда носящие не менее сложные названия. Хотя эта попытка оказалась безуспешной, она тем не менее вдохновила Питера Дж. Тэйта на создание первых таблиц узлов, в которых узлы располагались в определённом порядке в зависимости от их сложности. С этого времени теория узлов обрела статус самостоятельного раздела математики. Одно из привлекательных достоинств этой науки заключается в доступности её основных предметов исследования: Более общий случай узла, называемый зацеплением, может состоять из нескольких петель. Два узла или зацепления считаются тождественными, если их можно сделать в точности подобными друг другу, деформируя бечёвку, но не разрезая её. Рассмотрим простую петлю из бечёвки, лежащую на плоской поверхности. Сразу очевидны две важные особенности теории узлов. Во-первых, узлы можно описать двумерными планарными диаграммами. Во-вторых, различить два узла очень трудно. В то же время совсем не очевидно, что какие-либо два узла различны, и даже не всегда ясно, завязана ли вообще данная петля из бечёвки в узел. Чтобы доказать любое такое утверждение, необходимо рассмотреть все возможные деформации узла в трёхмерном пространстве. Отыскание математических методов, позволяющих различать неодинаковые узлы, а также отличать узлы от простых незаузленных петель, стало одной из важнейших проблем теории узлов. В х годах К. Хотя эти ходы делают эквивалентность узлов двумерной задачей, их можно применять бесконечным количеством способов, так что основную задачу ни в коей мере нельзя считать решённой. Самые старые и наиболее результативные методы теории узлов не оперируют двумерными диаграммами и ходами Рейдемейстера, по крайней мере теоретически; вместо них используются топологические преобразования. В соответствии с этими методами анализ начинается с того, что узел удаляют из обычного трёхмерного пространства, чтобы получить то, что называют дополнением или внешностью узла. Затем это дополнение подвергают произвольной непрерывной деформации. Топологические свойства дополнения в результате дают то, что называют инвариантами узла, а именно математические выражения, зависящие только от самого узла, а не от какого-либо его изображения см. The Theory of Knots, "Scientific American", , June. По-разному деформированным вариантам одного и того же узла отвечает один и тот же многочлен Александера; узлы с разными многочленами различны. В то же время два узла с одним и тем же многочленом Александера необязательно эквивалентны. Я был полон надежд, что методы, которыми я тогда пользовался, окажутся полезными в теории узлов, и даже надеялся, что мне удастся вывести некоторые новые факты, относящиеся к многочлену Александера. После продолжительных обсуждений этих идей с Бирман я отправился домой несколько разочарованный. Создалось впечатление, будто мои идеи не имели никакого отношения ни к многочлену Александера, ни к чему-либо другому в теории узлов. Но в одну из ночей на следующей неделе я, сидя в постели, вновь погрузился в вычисления. Плодотворным оказался подход куда более простой по сравнению с тем, который я пытался применить до этого. У меня получился некий полиномиальный инвариант узлов. Скорее всего это был всё тот же многочлен Александера в какой-то новой форме, хотя такая связь сама по себе была бы чрезвычайно интересна для исследований в области статистической механики. Это был редкий случай беспроигрышной ситуации. Правильным оказалось второе предположение. Я назвал этот новый инвариант зацеплений V t и вскоре понял, что он действительно обладает некоторым поверхностным сходством с многочленом Александера. Более того, до сих пор неизвестно, существует ли нетривиальный узел, для которого значение V такое же, что и для простой незаузленной петли. П ока из того, что изложено выше, не ясно, как можно было бы связать теорию узлов со статистической механикой. Эта связь не лежит на поверхности; нужно сначала объяснить, что представляет собой статистическая механика и для чего она нужна. А для этого в свою очередь необходимо начать с классической механики. В классической механике систему частиц можно описать, задав координаты и импульсы каждой частицы в определённый момент времени. Тогда всё последующее развитие системы будет определяться физическими законами. Кроме того, изменение системы вследствие удаления нескольких молекул было бы совершенно незаметным для наблюдателя, оценивающего поведение системы как целого. Для статистической механики представляют интерес лишь те величины, которые оказываются нечувствительными к микроскопическим изменениям, например средняя энергия температура совокупности молекул. Если представить себе большую систему, которая создаётся добавлением к ней атомов по одному, то это те величины, которые стремятся к определённому пределу при увеличении размера системы до бесконечности. Хотя это выглядит вполне невинно, рассмотрение коллективного поведения приводит к некоторым парадоксам. Одним из самых очевидных представляется парадокс необратимости. Законы движения не изменяются при изменении направления времени на обратное. Скажем, упругое соударение шара с препятствием выглядит одинаковым независимо от того, бежит ли время вперёд или назад. А теперь представьте систему шаров, сталкивающихся друг с другом в отсутствие трения на прямоугольном столе и ограниченных перегородкой, разделяющей стол пополам. Если перегородку убрать, то шары быстро рассредоточатся по всему столу и никогда не смогут снова собраться на той половине, в которой были вначале. Сам факт рассмотрения системы, содержащей большое число частиц, похоже, придаёт времени определённое направление. Другим сюрпризом, который преподносят большие системы, служит существование фазовых переходов. Лёд тает, а вода кипит. Величины вроде давления, которые для малых систем можно определить как гладкие функции параметров, обнаруживают самопроизвольные скачки. И вновь, одно лишь рассмотрение систем из многих частиц делает эти гладкие функции разрывными. Даже в простых случаях макроскопические величины поддаются вычислению с большим трудом. Поэтому в моделях не стремятся сохранить реалистические детали. Каждый спин взаимодействует только со своими ближайшими соседями. Энергия состояния характеризуется как сумма энергий, определяемых взаимодействием между ближайшими соседями. Для больших систем многие интересующие нас величины можно получить из так называемой статистической суммы Z, которая определяется как сумма по всем состояниям от экспоненты, в показателе степени которой стоит взятая со знаком минус энергия состояния. Модель Изинга обладает огромным числом состояний, и поэтому вычисление такой суммы служит источником трудностей при решении этой модели. Даже компьютерные вычисления возможны лишь для малых решёток. Тем не менее были предложены остроумные математические методы. Норвежский математик Ларе Онзагер нашёл решение двумерной модели Изинга на квадратной решётке в году; впервые полученная им формула показала существование фазового перехода в этой модели. Один из важных результатов работы Онзагера известен как соотношение звезда-треугольник. Бакстер из Австралийского национального университета разработал решение модели Изинга, целиком основанное на следствиях из этого соотношения. Одна из сильных сторон метода Бакстера заключается в том, что он допускает обобщения. Такая модель называется спиновой, и она определяется набором энергий, соответствующих взаимодействиям между ближайшими соседями для всех возможных комбинаций значений спинов. В общем случае спиновая модель не удовлетворяет соотношению звезда-треугольник. Чтобы применить результаты работы Бакстера, нужно подобрать наборы энергий взаимодействия, удовлетворяющие уравнениям звезда-треугольник, и решить модели, определяемые этими наборами энергий. Эта модель допускает Q возможных спиновых состояний вместо двух, разрешённых моделью Изинга, и соседи взаимодействуют только тогда, когда их спины совпадают. Эта модель впервые была решена, хотя и другим методом, Невиллем Темперли, работавшим тогда в Университете Сванси-Уэльс, и Эллиотом Либом из Принстонского университета. К акой может быть связь между теорией узлов и моделями статистической физики? Затем рёбрам можно приписать знаки в соответствии с относительной ориентацией пересечения и шахматной раскраски. На рисунке вверху показана эта процедура. Ход Рейдемейстера типа III на этой диаграмме немедленно даёт соотношение звезда-треугольник! Ход, не изменяющий узла, не меняет также статистической суммы модели Изинга, полученной из диаграммы этого узла. Данное наблюдение делает вполне естественным исследование статистических сумм спиновых моделей, определённых на графе, который был получен из шахматной раскраски некоторого зацепления с целью выяснить, не описывают ли эти суммы также инвариантов зацепления. Статистическая сумма зависит лишь от суммы по всем возможным состояниям энергетической функции спиновой модели. Это значит, что каждое состояние определяет спины всех вершин графа и тем самым энергию взаимодействий между ними. Чтобы вычислить статистическую сумму, нужно приписать каждому ребру графа экспоненту от энергии взаимодействия вершин, соединённых этим ребром. Этот процесс затем повторяется для всех возможных состояний. Чтобы учесть знаки пересечений, нужно постулировать две энергетические функции для взаимодействия между смежными вершинами, одну положительную и одну отрицательную. Теперь возникает другой вопрос: Это значит, что значение статистической суммы не должно изменяться при применении к диаграмме зацепления хода Рейдемейстера. Лучший ответ на этот вопрос можно получить, возвратившись к статистической механике: Модель Изинга, например, даёт инвариант, известный специалистам по теории узлов как arf, или инвариант Кервера. Ещё более значимым является факт, что модель Поттса с Q состояниями даёт некий инвариант для каждого Q , то есть для каждого числа допустимых спиновых состояний. В сущности это и есть многочлен V t. В этом легко убедиться, проверив клубковое соотношение. Этот фокус с шахматной раскраской действительно устанавливает связь между статистической механикой и теорией узлов, но весьма замысловатым способом. Соотношение звезда-треугольник возникло в статистической механике как способ решения моделей. В теории узлов оно появилось как необходимое условие топологической инвариантности. Эти две причины могли бы показаться не имеющими абсолютно никакого отношения друг к другу, а связь эта чисто случайной, если бы не настойчивость, с которой она возникает вновь и вновь. Д ругие спиновые модели, отличные от модели Изинга и Поттса, дают другие инварианты узлов, известные математикам. Более того, другие модели оказываются ещё сильнее, если учесть порождаемые ими инварианты теории узлов. Вертексные модели, например, основаны на том, что спины размещаются на рёбрах графа, а энергии взаимодействия исходят из его вершин. Используя вертексные модели и столь удачно названные квантовые группы системы симметрий более сложные, чем геометрические симметрии обычного пространства , можно построить великое множество полиномиальных инвариантов, вполне достаточное, чтобы определить целиком многочлен от двух переменных HOMFLY и ещё один такой многочлен, называемый многочленом Кауфмана. Итак, хотя причины пока загадочны, свидетельства в пользу связи между теорией узлов и статистической механикой довольно весомы. Например, в движущейся жидкости её скорость является полем; в каждой точке пространства направление и величина скорости указываются вектором. В теории поля существует следующий мощный подход: В этом случае статистическая механика, в частности модели Изинга, также применимы к теории поля. Действительно, тщательный анализ математической модели показывает, что континуальный предел двумерной модели Изинга даёт одномерную квантовую теорию поля. Некоторые математики и физики пытались объяснить теоретико-узловую природу моделей статистической механики, рассматривая их поведение в континуальном пределе. Хотя их надежды пока не оправдались, Виттен показал, что язык квантовой теории поля обеспечивает по крайней мере рамки для определения инвариантов теории узлов, рассмотренных в данной статье. Виттен доказывает, что инварианты должны существовать в любом трёхмерном пространстве, и в этом суть его работы. Существует много трёхмерных пространств, называемых трёхмерными многообразиями, кроме знакомого нам пространства, в котором мы живём см. Эту операцию на самом деле нельзя проделать в трёхмерном пространстве. Фактически теория Виттена утверждает, что инварианты зацепления существуют в произвольном трёхмерном многообразии даже для зацепления, вообще не имеющего компонент. Это означает, что инварианты содержат информацию не только о зацеплениях, но и о самих трёхмерных многообразиях. Многие математики и физики активно исследуют эти новые перспективы, которые могут установить связи между теорией узлов и другими областями научных знаний, которые кажутся ещё более далёкими от неё, чем как мы думали всего шесть лет назад статистическая механика. Exactly solved models in statistical mechanics. Bulletins of the American Mathematical Society , , v. Bulletins of the London Mathematical Society , , v. Quantum field theory and the Jones polynomial. Communications in Mathematical Physics , , v. Representations of the algebra U q sl 2 , q -orthogonal polynomials and invariants of links. New Developments in the Theory of Knots Edited by T. World Scientific Publishing, Jones "Knot Theory and Statistical Mechanics" Воган Ф. Получил степень доктора наук в области математики. Джонс дважды ездил на стажировку во Францию в Институт высших научных исследований.
Специалист по контрактам должностная инструкция
9 июня лунные сутки
Мышцы сами растут
Каталог обоев для стен германия
Стихи о любви афанасий афанасьевич фет
Стоимость огнезащитного состава proffitex