В физике , математике и статистике масштабная инвариантность — это свойство объектов или законов, которые не изменяются, если масштабы длины, энергии или других переменных умножаются на общий коэффициент, и, таким образом, представляют собой универсальность .
Технический термин для этого преобразования — расширение (также известное как расширение ). Дилатации могут составлять часть более крупной конформной симметрии .
В математике можно рассмотреть масштабные свойства функции или кривой f ( x ) при изменении масштаба переменной x . То есть нас интересует форма f ( λx ) для некоторого масштабного коэффициента λ , который можно принять за изменение масштаба длины или размера. Требование, чтобы f ( x ) было инвариантным при всех изменениях масштаба, обычно считается равным
для некоторого выбора показателя Δ и для всех расширений λ . Это эквивалентно тому, что f является однородной функцией степени Δ.
Примерами масштабно-инвариантных функций являются мономы , для которых ∆ = n , в этом очевидно
Примером масштабно-инвариантной кривой является логарифмическая спираль , разновидность кривой, которая часто встречается в природе. В полярных координатах ( r , θ ) спираль можно записать как
С учетом вращения кривой она инвариантна при всех изменениях масштаба λ ; то есть θ ( λr ) идентично повернутой версии θ ( r ) .
Идея масштабной инвариантности монома обобщается в более высоких измерениях до идеи однородного многочлена и, в более общем плане, до однородной функции . Однородные функции — естественные обитатели проективного пространства , а однородные многочлены изучаются как проективные многообразия в проективной геометрии . Проективная геометрия — особенно богатая область математики; в своей наиболее абстрактной форме — геометрии схем — она связана с различными темами теории струн .
Иногда говорят, что фракталы масштабно-инвариантны, хотя точнее следует сказать, что они самоподобны . Фрактал равен самому себе, как правило, только для дискретного набора значений λ , и даже тогда, возможно, придется применить сдвиг и вращение, чтобы сопоставить фрактал с самим собой.
Так, например, кривая Коха масштабируется с ∆ = 1 , но масштабирование справедливо только для значений λ = 1/3 n для целого числа n . Кроме того, кривая Коха масштабируется не только в начале координат, но и, в определенном смысле, «везде»: ее миниатюрные копии можно найти на всем протяжении кривой.
Некоторые фракталы могут иметь одновременное действие нескольких коэффициентов масштабирования; такое масштабирование изучается с помощью мультифрактального анализа .
Периодические внешние и внутренние лучи являются инвариантными кривыми.
Если P ( f ) — средняя ожидаемая мощность на частоте f , то шум масштабируется как
с Δ = 0 для белого шума , Δ = -1 для розового шума и Δ = -2 для броуновского шума (и, в более общем плане, броуновского движения ).
Точнее, масштабирование в стохастических системах касается вероятности выбора конкретной конфигурации из множества всех возможных случайных конфигураций. Эта вероятность определяется распределением вероятностей .
Примерами масштабно-инвариантных распределений являются распределение Парето и распределение Зипфиана .
Распределения Твиди — это частный случай моделей экспоненциальной дисперсии , класса статистических моделей, используемых для описания распределений ошибок для обобщенной линейной модели и характеризующихся замыканием при аддитивной и репродуктивной свертке, а также при масштабном преобразовании. [1] К ним относятся ряд распространенных распределений: нормальное распределение , распределение Пуассона и гамма-распределение , а также более необычные распределения, такие как составное гамма-распределение Пуассона, положительные стабильные распределения и чрезвычайно стабильные распределения. Вследствие присущей им масштабной инвариантности случайные переменные Твиди Y демонстрируют дисперсию var( Y ), что означает степенной закон E( Y ):
где a и p — положительные константы. Этот закон отклонения от средней степени известен в физической литературе как масштабирование флуктуаций [2] , а в литературе по экологии — как закон Тейлора . [3]
Случайные последовательности, управляемые распределениями Твиди и оцениваемые методом расширения интервалов, демонстрируют двуусловную связь между дисперсией среднего степенного закона и автокорреляцией степенного закона . Теорема Винера-Хинчина далее подразумевает, что для любой последовательности, которая демонстрирует отклонение от среднего степенного закона в этих условиях, также будет проявляться шум 1/f . [4]
Теорема о сходимости Твиди дает гипотетическое объяснение широкого проявления флуктуационного масштабирования и шума 1/f . [5] По сути, это требует, чтобы любая модель экспоненциальной дисперсии, которая асимптотически демонстрирует отклонение от среднего степенного закона, должна была выражать функцию дисперсии , которая входит в область притяжения модели Твиди. Почти все функции распределения с конечными производящими функциями кумулянта квалифицируются как модели экспоненциальной дисперсии, и большинство моделей экспоненциальной дисперсии проявляют функции дисперсии этой формы. Следовательно, многие распределения вероятностей имеют функции дисперсии, которые выражают это асимптотическое поведение , и распределения Твиди становятся фокусами сходимости для широкого диапазона типов данных. [4]
Подобно тому, как центральная предельная теорема требует, чтобы определенные виды случайных величин имели в качестве фокуса сходимости распределение Гаусса и выражали белый шум , теорема сходимости Твиди требует, чтобы определенные негауссовы случайные величины выражали шум 1/f и масштабирование флуктуаций. [4]
В физической космологии спектр мощности пространственного распределения космического микроволнового фона близок к масштабно-инвариантной функции. Хотя в математике это означает, что спектр представляет собой степенной закон, в космологии термин «масштабно-инвариантный» указывает на то, что амплитуда P ( k ) первичных флуктуаций как функция волнового числа k приблизительно постоянна, т.е. плоский спектр. Эта модель согласуется с предположением о космической инфляции .
Классическая теория поля в общих чертах описывается полем или набором полей φ , которые зависят от координат x . Допустимые конфигурации поля затем определяются путем решения дифференциальных уравнений для φ , и эти уравнения известны как уравнения поля .
Чтобы теория была масштабно-инвариантной, ее уравнения поля должны быть инвариантны относительно изменения масштаба координат в сочетании с некоторым указанным изменением масштаба полей:
Параметр ∆ известен как масштабная размерность поля, и его значение зависит от рассматриваемой теории. Масштабная инвариантность обычно сохраняется при условии, что в теории не появляется масштаб фиксированной длины. И наоборот, наличие шкалы фиксированной длины указывает на то, что теория не является масштабно-инвариантной.
Следствием масштабной инвариантности является то, что, получив решение масштабно-инвариантного уравнения поля, мы можем автоматически найти другие решения, соответствующим образом изменив масштаб как координат, так и полей. Говоря техническим языком, при наличии решения φ ( x ) всегда есть другие решения вида
Чтобы конкретная конфигурация поля φ ( x ) была масштабно-инвариантной, мы требуем, чтобы
где Δ – это опять же масштабная размерность поля.
Отметим, что это условие является достаточно ограничительным. В общем, решения даже масштабно-инвариантных уравнений поля не будут масштабно-инвариантными, и в таких случаях говорят, что симметрия спонтанно нарушена .
Примером масштабно-инвариантной классической теории поля является электромагнетизм без зарядов и токов. Поля — это электрические и магнитные поля E ( x , t ) и B ( x , t ), а их уравнения поля — уравнения Максвелла .
В отсутствие зарядов и токов эти уравнения поля принимают форму волновых уравнений.
где с — скорость света.
Эти уравнения поля инвариантны относительно преобразования
Более того, для данных решений уравнений Максвелла E ( x , t ) и B ( x , t ) E ( λ x , λt ) и B ( λ x , λt ) также являются решениями.
Другим примером масштабно-инвариантной классической теории поля является безмассовое скалярное поле (обратите внимание, что название « скаляр» не связано с масштабной инвариантностью). Скалярное поле φ ( x , t ) является функцией набора пространственных переменных x и временной переменной t .
Рассмотрим сначала линейную теорию. Как и приведенные выше уравнения электромагнитного поля, уравнение движения этой теории также является волновым уравнением:
и инвариантен относительно преобразования
Название «безмассовый» относится к отсутствию члена в уравнении поля. Такой член часто называют «массовым», и он нарушает инвариантность при вышеуказанном преобразовании. В релятивистских теориях поля масштаб массы m физически эквивалентен масштабу фиксированной длины через
поэтому неудивительно, что теория массивного скалярного поля не является масштабно-инвариантной.
Все уравнения поля в приведенных выше примерах линейны по полям, а это означает, что масштабная размерность Δ не так важна. Однако обычно требуется, чтобы действие скалярного поля было безразмерным, и это фиксирует масштабную размерность φ . В частности,
где D — совокупное количество пространственных и временных измерений.
Учитывая эту масштабную размерность для φ , существуют определенные нелинейные модификации безмассовой скалярной теории поля, которые также являются масштабно-инвариантными. Одним из примеров является безмассовая теория φ 4 для D = 4. Уравнение поля имеет вид
(Обратите внимание, что название φ 4 происходит от формы лагранжиана , который содержит четвертую степень φ .)
Когда D = 4 (например, три пространственных измерения и одно временное измерение), размерность масштабирования скалярного поля равна Δ = 1. Тогда уравнение поля инвариантно относительно преобразования
Ключевым моментом является то, что параметр g должен быть безразмерным, иначе в теорию вводится фиксированный масштаб длины: для теории φ 4 это имеет место только в случае D = 4. Обратите внимание, что при этих преобразованиях аргумент функции φ равен без изменений.
Масштабная зависимость квантовой теории поля (КТП) характеризуется тем, как ее параметры связи зависят от энергетического масштаба данного физического процесса. Эта энергетическая зависимость описывается ренормгруппой и кодируется в бета-функциях теории.
Чтобы КТП была масштабно-инвариантной, ее параметры связи должны быть независимыми от масштаба энергии, о чем свидетельствует исчезновение бета-функций теории. Такие теории также известны как неподвижные точки соответствующего потока ренормгруппы. [6]
Простым примером масштабно-инвариантной КТП является квантованное электромагнитное поле без заряженных частиц. Эта теория фактически не имеет параметров связи (поскольку фотоны безмассовы и невзаимодействуют) и, следовательно, масштабно-инвариантна, как и классическая теория.
Однако в природе электромагнитное поле связано с заряженными частицами, такими как электроны . КТП, описывающая взаимодействия фотонов и заряженных частиц, представляет собой квантовую электродинамику (КЭД), и эта теория не является масштабно-инвариантной. Мы можем видеть это из бета-функции QED . Это говорит нам о том, что электрический заряд (который в теории является параметром связи) увеличивается с увеличением энергии. Следовательно, хотя квантованное электромагнитное поле без заряженных частиц является масштабно-инвариантным, КЭД не является масштабно-инвариантным.
Свободная, безмассовая квантованная скалярная теория поля не имеет параметров связи. Поэтому, как и классическая версия, она масштабно-инвариантна. На языке ренормгруппы эта теория известна как гауссова неподвижная точка .
Однако, хотя классическая безмассовая теория φ 4 масштабно-инвариантна в D = 4, квантованная версия не является масштабно-инвариантной. Мы можем видеть это из бета-функции параметра связи g .
Несмотря на то, что квантованная безмассовая φ 4 не является масштабно-инвариантной, существуют масштабно-инвариантные квантовые скалярные теории поля, отличные от гауссовой неподвижной точки. Одним из примеров является фиксированная точка Вильсона-Фишера (см. ниже).
Масштабно-инвариантные КТП почти всегда инвариантны относительно полной конформной симметрии , и изучением таких КТП является конформная теория поля (КТП). Операторы в CFT имеют четко определенную масштабную размерность , аналогичную масштабной размерности ∆ классического поля, обсуждавшегося выше. Однако масштабные размерности операторов в CFT обычно отличаются от масштабных размерностей полей в соответствующей классической теории. Дополнительные вклады, появляющиеся в CFT, известны как аномальные размерности масштабирования .
Приведенный выше пример теории φ 4 демонстрирует, что параметры связи квантовой теории поля могут зависеть от масштаба, даже если соответствующая классическая теория поля масштабно-инвариантна (или конформно-инвариантна). В этом случае классическая масштабная (или конформная) инвариантность называется аномальной . Классическая масштабно-инвариантная теория поля, в которой масштабная инвариантность нарушается квантовыми эффектами, обеспечивает объяснение почти экспоненциального расширения ранней Вселенной, называемого космической инфляцией , при условии, что эту теорию можно изучать с помощью теории возмущений . [7]
В статистической механике , когда система претерпевает фазовый переход , ее колебания описываются масштабно-инвариантной статистической теорией поля . Для системы, находящейся в равновесии (т.е. независимой от времени) в D пространственных измерениях, соответствующая статистическая теория поля формально аналогична D -мерной CFT. Размерности масштабирования в таких задачах обычно называют критическими показателями , и в принципе можно вычислить эти показатели в соответствующей CFT.
Примером, связывающим воедино многие идеи этой статьи, является фазовый переход модели Изинга — простой модели ферромагнитных веществ. Это модель статистической механики, которая также имеет описание в терминах конформной теории поля. Система состоит из массива узлов решетки, образующих D -мерную периодическую решетку. С каждым узлом решетки связан магнитный момент или спин , и этот спин может принимать значение +1 или -1. (Эти состояния также называются вверх и вниз соответственно.)
Ключевым моментом является то, что модель Изинга имеет спин-спиновое взаимодействие, что делает энергетически выгодным выравнивание двух соседних спинов. С другой стороны, тепловые флуктуации обычно вносят хаотичность в выравнивание спинов. Говорят, что при некоторой критической температуре T c возникает спонтанное намагничивание . Это означает, что ниже T c спин-спиновое взаимодействие начнет доминировать, и произойдет некоторое суммарное выравнивание спинов в одном из двух направлений.
Примером физических величин, которые хотелось бы вычислить при этой критической температуре, является корреляция между спинами, разделенными расстоянием r . Это имеет общее поведение:
для некоторого конкретного значения , которое является примером критического показателя.
Колебания при температуре T c масштабно-инвариантны, поэтому ожидается, что модель Изинга при этом фазовом переходе будет описываться масштабно-инвариантной статистической теорией поля. Фактически, эта теория представляет собой фиксированную точку Вильсона-Фишера , особую масштабно-инвариантную скалярную теорию поля .
В этом контексте G ( r ) понимается как корреляционная функция скалярных полей,
Теперь мы можем объединить ряд уже увиденных идей.
Из вышеизложенного видно, что критический показатель η для этого фазового перехода также является аномальной размерностью . Это связано с тем, что классическая размерность скалярного поля
модифицируется, чтобы стать
где D — число измерений решетки модели Изинга.
Таким образом, это аномальное измерение в конформной теории поля совпадает с частным критическим показателем фазового перехода модели Изинга.
Обратите внимание , что для размерности D ≡ 4− ε η можно вычислить приближенно, используя эпсилон-разложение , и можно найти, что
В физически интересном случае трех пространственных измерений ε = 1, и поэтому это разложение не является строго надежным. Однако полуколичественный прогноз состоит в том, что η численно мало в трех измерениях.
С другой стороны, в двумерном случае модель Изинга точно разрешима. В частности, это эквивалентно одной из минимальных моделей , семейству хорошо понятных CFT, и можно точно вычислить η (и другие критические показатели)
Аномальные размеры в некоторых двумерных CFT могут быть связаны с типичными фрактальными размерностями случайных блужданий, где случайные блуждания определяются посредством эволюции Шрамма – Лёвнера (SLE). Как мы видели выше, КТМ описывают физику фазовых переходов, и поэтому с этими фрактальными размерностями можно связать критические показатели некоторых фазовых переходов. Примеры включают 2 - мерную критическую модель Изинга и более общую 2 - мерную критическую модель Поттса . Связь других 2 -d CFT с SLE является активной областью исследований.
Явление, известное как универсальность , наблюдается во многих физических системах. Он выражает идею о том, что разные микроскопические физики могут привести к одному и тому же масштабному поведению при фазовом переходе. Канонический пример универсальности включает следующие две системы:
Хотя микроскопическая физика этих двух систем совершенно различна, их критические показатели оказываются одинаковыми. Более того, эти показатели можно вычислить, используя ту же статистическую теорию поля. Ключевое наблюдение заключается в том, что при фазовом переходе или критической точке флуктуации происходят на всех масштабах длины, и поэтому для описания этих явлений следует искать масштабно-инвариантную статистическую теорию поля. В некотором смысле универсальность — это наблюдение того, что таких масштабно-инвариантных теорий относительно немного.
Совокупность различных микроскопических теорий, описываемых одной и той же масштабно-инвариантной теорией, известна как класс универсальности . Другими примерами систем, принадлежащих к классу универсальности, являются:
Ключевое наблюдение заключается в том, что поведение всех этих различных систем напоминает фазовый переход и что для их описания можно применять язык статистической механики и масштабно-инвариантной статистической теории поля .
При определенных обстоятельствах механика жидкости представляет собой масштабно-инвариантную классическую теорию поля. Полями являются скорость потока жидкости , плотность жидкости , и давление жидкости . Эти поля должны удовлетворять как уравнению Навье–Стокса, так и уравнению неразрывности . Для ньютоновской жидкости они принимают соответствующие формы
где динамическая вязкость .
Чтобы вывести масштабную инвариантность этих уравнений, мы задаем уравнение состояния , связывающее давление жидкости с плотностью жидкости. Уравнение состояния зависит от типа жидкости и условий, которым она подвергается. Например, мы рассматриваем изотермический идеальный газ , который удовлетворяет условию
где - скорость звука в жидкости. Учитывая это уравнение состояния, Навье–Стокса и уравнение неразрывности инвариантны относительно преобразований
Учитывая решения и , мы автоматически имеем это и тоже являемся решениями.
Некоторые модели, изучаемые с помощью компьютерного моделирования молекулярной динамики , включая модели парного потенциала Леннарда-Джонса и Юкавы , имеют функцию потенциальной энергии , которая в хорошем приближении подчиняется критерию «скрытой масштабной инвариантности» [8]
Здесь и – полные пространственные координаты двух конфигураций одинаковой плотности, а – параметр, который равномерно масштабирует конфигурации до разной плотности. Скрытая масштабная инвариантность означает, что порядок конфигураций одной плотности в соответствии с их потенциальной энергией сохраняется, если они равномерно масштабируются до другой плотности. Строго говоря, это применимо только к системам с однородной по Эйлеру функцией потенциальной энергии, например к системам частиц, взаимодействующих с парными потенциалами по обратно-степенному закону. Когда для большинства конфигураций подразумевается скрытая масштабная инвариантность, это подразумевает существование линий на термодинамической фазовой диаграмме , так называемых «изоморфов», вдоль которых структура и динамика в приведенных единицах инвариантны с хорошим приближением. [9] Считается, что большинство металлов и систем со связями Ван-дер-Ваальса подчиняются этой приблизительной симметрии в жидкой и твердой фазах, тогда как системы с сильными направленными связями, такие как системы с ковалентными или водородными связями, этого не делают; ионные и диполярные системы составляют промежуточный класс. [10] Большинство систем не подчиняются скрытой масштабной инвариантности в газовой фазе. Поскольку изоморф — это линия постоянной избыточной энтропии, существование изоморфов в значительной степени объясняет масштабирование избыточной энтропии, открытое Розенфельдом в 1977 году, и почему это применимо также к смесям, замкнутым системам, молекулярным системам и т. д. [11] [12 ] ] [13]
В компьютерном зрении и биологическом зрении масштабные преобразования возникают из-за отображения перспективных изображений и из-за того, что объекты в мире имеют разные физические размеры. В этих областях инвариантность масштаба относится к локальным дескрипторам изображения или визуальным представлениям данных изображения, которые остаются неизменными при изменении локального масштаба в области изображения. [14] Обнаружение локальных максимумов по масштабам нормализованных производных ответов обеспечивает общую основу для получения масштабной инвариантности на основе данных изображения. [15] [16] Примеры приложений включают обнаружение капель , обнаружение углов , обнаружение гребней и распознавание объектов с помощью масштабно-инвариантного преобразования признаков .