В физике , математике и статистике масштабная инвариантность — это свойство объектов или законов, которые не изменяются, если масштабы длины, энергии или других переменных умножаются на общий множитель, и, таким образом, представляют собой универсальность .
Технический термин для этого преобразования — дилатация (также известная как дилатация ). Дилатации могут быть частью более крупной конформной симметрии .
В математике можно рассматривать масштабные свойства функции или кривой 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]
Простым примером масштабно-инвариантной КТП является квантованное электромагнитное поле без заряженных частиц. Эта теория фактически не имеет параметров связи (поскольку фотоны безмассовы и не взаимодействуют) и, следовательно, масштабно-инвариантна, как и классическая теория.
Однако в природе электромагнитное поле связано с заряженными частицами, такими как электроны . КТП, описывающая взаимодействие фотонов и заряженных частиц, — это квантовая электродинамика (КЭД), и эта теория не является масштабно-инвариантной. Мы можем видеть это из бета-функции КЭД . Это говорит нам о том, что электрический заряд (который является параметром связи в теории) увеличивается с ростом энергии. Следовательно, в то время как квантованное электромагнитное поле без заряженных частиц является масштабно-инвариантным, КЭД не является масштабно-инвариантным.
Свободная, безмассовая квантованная скалярная теория поля не имеет параметров связи. Поэтому, как и классическая версия, она масштабно-инвариантна. На языке ренормгруппы эта теория известна как гауссова неподвижная точка .
Однако, хотя классическая безмассовая теория φ 4 масштабно-инвариантна в D = 4, квантованная версия не масштабно-инвариантна. Мы можем видеть это из бета-функции для параметра связи g .
Несмотря на то, что квантованное безмассовое φ 4 не является масштабно-инвариантным, существуют масштабно-инвариантные квантованные скалярные теории поля, отличные от гауссовой фиксированной точки. Одним из примеров является фиксированная точка Вильсона–Фишера , ниже.
Масштабно-инвариантные КТП почти всегда инвариантны относительно полной конформной симметрии , и изучением таких КТП является конформная теория поля (КТП). Операторы в КТП имеют четко определенную масштабную размерность , аналогичную масштабной размерности , ∆ , классического поля, обсуждавшегося выше. Однако масштабные размерности операторов в КТП обычно отличаются от размерностей полей в соответствующей классической теории. Дополнительные вклады, появляющиеся в КТП, известны как аномальные масштабные размерности .
Пример теории φ 4 выше демонстрирует, что параметры связи квантовой теории поля могут зависеть от масштаба, даже если соответствующая классическая теория поля является масштабно-инвариантной (или конформно-инвариантной). Если это так, то классическая масштабная (или конформная) инвариантность называется аномальной . Классически масштабно-инвариантная теория поля, где масштабная инвариантность нарушается квантовыми эффектами, обеспечивает объяснение почти экспоненциального расширения ранней Вселенной, называемого космической инфляцией , при условии, что теория может быть изучена с помощью теории возмущений . [7]
В статистической механике , когда система претерпевает фазовый переход , ее флуктуации описываются масштабно-инвариантной статистической теорией поля . Для системы, находящейся в равновесии (т.е. независимой от времени) в D пространственных измерениях, соответствующая статистическая теория поля формально подобна D -мерной CFT. Масштабные измерения в таких задачах обычно называются критическими показателями , и в принципе можно вычислить эти показатели в соответствующей CFT.
Примером, связывающим воедино многие идеи в этой статье, является фазовый переход модели Изинга , простой модели ферромагнитных веществ. Это статистическая модель механики, которая также имеет описание в терминах конформной теории поля. Система состоит из массива узлов решетки, которые образуют D -мерную периодическую решетку. С каждым узлом решетки связан магнитный момент , или спин , и этот спин может принимать либо значение +1, либо -1. (Эти состояния также называются вверх и вниз соответственно.)
Ключевым моментом является то, что модель Изинга имеет спин-спиновое взаимодействие, что делает энергетически выгодным для двух соседних спинов быть выровненными. С другой стороны, тепловые флуктуации обычно вносят случайность в выравнивание спинов. При некоторой критической температуре, T c , говорят, что происходит спонтанное намагничивание . Это означает, что ниже T c спин-спиновое взаимодействие начнет доминировать, и будет некоторое чистое выравнивание спинов в одном из двух направлений.
Примером типа физических величин, которые хотелось бы вычислить при этой критической температуре, является корреляция между спинами, разделенными расстоянием r . Это имеет общее поведение:
для некоторого конкретного значения , что является примером критического показателя.
Флуктуации при температуре T c масштабно-инвариантны, и поэтому ожидается, что модель Изинга при этом фазовом переходе будет описываться масштабно-инвариантной статистической теорией поля. Фактически, эта теория является фиксированной точкой Вильсона–Фишера , частной масштабно-инвариантной скалярной теорией поля .
В этом контексте G ( r ) понимается как корреляционная функция скалярных полей,
Теперь мы можем объединить ряд уже рассмотренных идей.
Из вышесказанного видно, что критический показатель, η , для этого фазового перехода, также является аномальной размерностью . Это происходит потому, что классическая размерность скалярного поля,
изменено, чтобы стать
где D — число измерений решетки модели Изинга.
Таким образом, это аномальное измерение в конформной теории поля совпадает с частным критическим показателем фазового перехода модели Изинга.
Обратите внимание, что для размерности D ≡ 4− ε , η можно приблизительно рассчитать, используя разложение эпсилона , и можно найти, что
В физически интересном случае трех пространственных измерений мы имеем ε = 1, и поэтому это расширение не является строго надежным. Однако полуколичественное предсказание состоит в том, что η численно мало в трех измерениях.
С другой стороны, в двумерном случае модель Изинга точно разрешима. В частности, она эквивалентна одной из минимальных моделей , семейству хорошо изученных ККТ, и можно точно вычислить η (и другие критические показатели),
Аномальные измерения в некоторых двумерных CFT могут быть связаны с типичными фрактальными измерениями случайных блужданий, где случайные блуждания определяются с помощью эволюции Шрамма–Лёвнера (SLE). Как мы видели выше, CFT описывают физику фазовых переходов, и поэтому можно связать критические показатели определенных фазовых переходов с этими фрактальными измерениями. Примерами являются 2 -мерная критическая модель Изинга и более общая 2 -мерная критическая модель Поттса . Связь других 2 -мерных CFT с SLE является активной областью исследований.
Явление, известное как универсальность, наблюдается в большом разнообразии физических систем. Оно выражает идею о том, что различная микроскопическая физика может приводить к одному и тому же поведению масштабирования при фазовом переходе. Канонический пример универсальности включает следующие две системы:
Несмотря на то, что микроскопическая физика этих двух систем совершенно различна, их критические показатели оказываются одинаковыми. Более того, можно вычислить эти показатели, используя одну и ту же статистическую теорию поля. Ключевое наблюдение заключается в том, что при фазовом переходе или критической точке флуктуации происходят на всех масштабах длины, и поэтому следует искать масштабно-инвариантную статистическую теорию поля для описания явлений. В некотором смысле, универсальность — это наблюдение, что существует относительно немного таких масштабно-инвариантных теорий.
Набор различных микроскопических теорий, описываемых одной и той же масштабно-инвариантной теорией, называется классом универсальности . Другие примеры систем, которые принадлежат к классу универсальности:
Ключевым наблюдением является то, что для всех этих различных систем поведение напоминает фазовый переход и что для их описания можно применять язык статистической механики и масштабно-инвариантной статистической теории поля .
При определенных обстоятельствах механика жидкости является масштабно-инвариантной классической теорией поля. Полями являются скорость потока жидкости, , плотность жидкости, , и давление жидкости, . Эти поля должны удовлетворять как уравнению Навье-Стокса, так и уравнению непрерывности . Для ньютоновской жидкости они принимают соответствующие формы
где - динамическая вязкость .
Чтобы вывести масштабную инвариантность этих уравнений, мы задаем уравнение состояния , связывающее давление жидкости с плотностью жидкости. Уравнение состояния зависит от типа жидкости и условий, которым она подвергается. Например, мы рассматриваем изотермический идеальный газ , который удовлетворяет
где - скорость звука в жидкости. При этом уравнении состояния Навье-Стокса и уравнение непрерывности инвариантны относительно преобразований
Учитывая решения и , мы автоматически имеем, что и также являются решениями.
В компьютерном и биологическом зрении масштабные преобразования возникают из-за перспективного отображения изображения и из-за объектов, имеющих разные физические размеры в мире. В этих областях масштабная инвариантность относится к локальным дескрипторам изображения или визуальным представлениям данных изображения, которые остаются инвариантными при изменении локального масштаба в области изображения. [8] Обнаружение локальных максимумов по масштабам нормализованных производных ответов обеспечивает общую структуру для получения масштабной инвариантности из данных изображения. [9] [10] Примерами приложений являются обнаружение пятен , обнаружение углов , обнаружение хребтов и распознавание объектов с помощью масштабно-инвариантного преобразования признаков .