En física , matemáticas y estadística , la invariancia de escala es una característica de los objetos o leyes que no cambian si las escalas de longitud, energía u otras variables se multiplican por un factor común y, por lo tanto, representan una universalidad.
El término técnico para esta transformación es dilatación (también conocida como dilatación ). Las dilataciones pueden formar parte de una simetría conforme más grande .
En matemáticas, se pueden considerar las propiedades de escala de una función o curva f ( x ) bajo reescalamientos de la variable x . Es decir, uno está interesado en la forma de f ( λx ) para algún factor de escala λ , que puede tomarse como un reescalamiento de longitud o tamaño. El requisito de que f ( x ) sea invariante bajo todos los reescalamientos se toma generalmente como
para una determinada elección de exponente Δ y para todas las dilataciones λ . Esto es equivalente a que f sea una función homogénea de grado Δ.
Ejemplos de funciones invariantes de escala son los monomios , para los cuales Δ = n , en los que claramente
Un ejemplo de una curva invariante en la escala es la espiral logarítmica , un tipo de curva que aparece a menudo en la naturaleza. En coordenadas polares ( r , θ ) , la espiral se puede escribir como
Si se permiten rotaciones de la curva, esta es invariante bajo todos los reescalamientos λ ; es decir, θ ( λr ) es idéntico a una versión rotada de θ ( r ) .
La idea de invariancia de escala de un monomio se generaliza en dimensiones superiores a la idea de un polinomio homogéneo y, de manera más general, a una función homogénea . Las funciones homogéneas son los habitantes naturales del espacio proyectivo y los polinomios homogéneos se estudian como variedades proyectivas en la geometría proyectiva . La geometría proyectiva es un campo particularmente rico de las matemáticas; en sus formas más abstractas, la geometría de esquemas , tiene conexiones con varios temas de la teoría de cuerdas .
A veces se dice que los fractales son invariantes en escala, aunque más precisamente, se debería decir que son autosimilares . Un fractal es igual a sí mismo típicamente solo para un conjunto discreto de valores λ , e incluso entonces puede ser necesario aplicar una traslación y una rotación para que el fractal coincida consigo mismo.
Así, por ejemplo, la curva de Koch escala con ∆ = 1 , pero la escala se cumple solo para valores de λ = 1/3 n para el entero n . Además, la curva de Koch escala no solo en el origen, sino, en cierto sentido, "en todas partes": se pueden encontrar copias en miniatura de sí misma a lo largo de la curva.
Algunos fractales pueden tener múltiples factores de escala en juego a la vez; dicha escala se estudia mediante análisis multifractal .
Los rayos periódicos externos e internos son curvas invariantes.
Si P ( f ) es la potencia promedio esperada en la frecuencia f , entonces el ruido escala como
con Δ = 0 para ruido blanco , Δ = −1 para ruido rosa y Δ = −2 para ruido browniano (y más generalmente, movimiento browniano ).
Más precisamente, el escalamiento en sistemas estocásticos se ocupa de la probabilidad de elegir una configuración particular del conjunto de todas las configuraciones aleatorias posibles. Esta probabilidad está dada por la distribución de probabilidad .
Ejemplos de distribuciones invariantes de escala son la distribución de Pareto y la distribución zipfiana .
Las distribuciones Tweedie son un caso especial de modelos de dispersión exponencial , una clase de modelos estadísticos utilizados para describir distribuciones de error para el modelo lineal generalizado y caracterizados por el cierre bajo convolución aditiva y reproductiva, así como bajo transformación de escala. [1] Estas incluyen una serie de distribuciones comunes: la distribución normal , la distribución de Poisson y la distribución gamma , así como distribuciones más inusuales como la distribución Poisson-gamma compuesta, distribuciones estables positivas y distribuciones estables extremas. Consecuente con su invariancia de escala inherente, las variables aleatorias Tweedie Y demuestran una ley de potencia de varianza var( Y ) a media E( Y ):
donde a y p son constantes positivas. Esta variación de la ley de potencia media se conoce en la literatura de física como escala de fluctuación [ 2] y en la literatura de ecología como ley de Taylor [3] .
Las secuencias aleatorias, regidas por las distribuciones Tweedie y evaluadas por el método de expansión de bins, exhiben una relación bicondicional entre la ley de potencia de varianza a media y las autocorrelaciones de la ley de potencia . El teorema de Wiener-Khinchin implica además que cualquier secuencia que exhiba una ley de potencia de varianza a media en estas condiciones también manifestará ruido 1/f . [4]
El teorema de convergencia de Tweedie proporciona una explicación hipotética para la amplia manifestación de la escala de fluctuación y el ruido 1/f . [5] Requiere, en esencia, que cualquier modelo de dispersión exponencial que manifieste asintóticamente una varianza con respecto a la ley de potencia media deberá expresar una función de varianza que se encuentre dentro del dominio de atracción de un modelo de Tweedie. Casi todas las funciones de distribución con funciones generadoras de cumulantes finitos califican como modelos de dispersión exponencial y la mayoría de los modelos de dispersión exponencial manifiestan funciones de varianza de esta forma. Por lo tanto, muchas distribuciones de probabilidad tienen funciones de varianza que expresan este comportamiento asintótico , y las distribuciones de Tweedie se convierten en focos de convergencia para una amplia gama de tipos de datos. [4]
Así como el teorema del límite central requiere que ciertos tipos de variables aleatorias tengan como foco de convergencia la distribución gaussiana y expresen ruido blanco , el teorema de convergencia de Tweedie requiere que ciertas variables aleatorias no gaussianas expresen ruido 1/f y escala de fluctuación. [4]
En la cosmología física , el espectro de potencia de la distribución espacial del fondo cósmico de microondas es casi una función invariante de escala. Aunque en matemáticas esto significa que el espectro es una ley de potencia, en cosmología el término "invariante de escala" indica que la amplitud, P ( k ) , de las fluctuaciones primordiales en función del número de onda , k , es aproximadamente constante, es decir, un espectro plano. Este patrón es coherente con la propuesta de inflación cósmica .
La teoría clásica de campos se describe de manera genérica mediante un campo o un conjunto de campos, φ , que dependen de las coordenadas, x . Las configuraciones de campo válidas se determinan resolviendo ecuaciones diferenciales para φ , y estas ecuaciones se conocen como ecuaciones de campo .
Para que una teoría sea invariante en la escala, sus ecuaciones de campo deben ser invariantes bajo un reescalamiento de las coordenadas, combinado con algún reescalamiento específico de los campos.
El parámetro Δ se conoce como la dimensión de escala del campo y su valor depende de la teoría en cuestión. La invariancia de escala se cumple normalmente siempre que no aparezca una escala de longitud fija en la teoría. Por el contrario, la presencia de una escala de longitud fija indica que una teoría no es invariante de escala.
Una consecuencia de la invariancia de escala es que, dada una solución de una ecuación de campo invariante de escala, podemos encontrar automáticamente otras soluciones reescalando tanto las coordenadas como los campos de manera apropiada. En términos técnicos, dada una solución, φ ( x ), siempre tenemos otras soluciones de la forma
Para que una configuración de campo particular, φ ( x ), sea invariante en escala, requerimos que
donde Δ es, nuevamente, la dimensión de escala del campo.
Observamos que esta condición es bastante restrictiva. En general, las soluciones incluso de ecuaciones de campo invariantes en la escala no serán invariantes en la escala y, en tales casos, se dice que la simetría se rompe espontáneamente .
Un ejemplo de una teoría de campos clásica invariante de escala es el electromagnetismo sin cargas ni corrientes. Los campos son los campos eléctrico y magnético, E ( x , t ) y B ( x , t ), mientras que sus ecuaciones de campo son las ecuaciones de Maxwell .
Sin cargas ni corrientes, estas ecuaciones de campo toman la forma de ecuaciones de onda.
donde c es la velocidad de la luz.
Estas ecuaciones de campo son invariantes bajo la transformación
Además, dadas soluciones de las ecuaciones de Maxwell, E ( x , t ) y B ( x , t ), se cumple que E ( λ x , λt ) y B ( λ x , λt ) también son soluciones.
Otro ejemplo de una teoría de campos clásica invariante en la escala es el campo escalar sin masa (nótese que el nombre escalar no está relacionado con la invariancia de escala). El campo escalar, φ ( x , t ) es una función de un conjunto de variables espaciales, x , y una variable temporal, t .
Consideremos primero la teoría lineal. Al igual que las ecuaciones del campo electromagnético anteriores, la ecuación de movimiento para esta teoría también es una ecuación de onda.
y es invariante bajo la transformación
El nombre sin masa se refiere a la ausencia de un término en la ecuación de campo. A un término de este tipo se lo suele denominar término de "masa" y rompería la invariancia bajo la transformación anterior. En las teorías de campo relativistas , una escala de masa, m, es físicamente equivalente a una escala de longitud fija a través de
y por lo tanto no debería sorprender que la teoría de campos escalares masivos no sea invariante en escala.
Las ecuaciones de campo en los ejemplos anteriores son todas lineales en los campos, lo que ha significado que la dimensión de escala Δ no ha sido tan importante. Sin embargo, normalmente se requiere que la acción del campo escalar sea adimensional, y esto fija la dimensión de escala de φ . En particular,
donde D es el número combinado de dimensiones espaciales y temporales.
Dada esta dimensión de escala para φ , existen ciertas modificaciones no lineales de la teoría de campos escalares sin masa que también son invariantes en la escala. Un ejemplo es la teoría de φ 4 sin masa para D = 4. La ecuación de campo es
(Tenga en cuenta que el nombre φ 4 deriva de la forma del Lagrangiano , que contiene la cuarta potencia de φ ).
Cuando D = 4 (por ejemplo, tres dimensiones espaciales y una dimensión temporal), la dimensión de escala del campo escalar es Δ = 1. La ecuación de campo es entonces invariante bajo la transformación.
El punto clave es que el parámetro g debe ser adimensional, de lo contrario se introduce una escala de longitud fija en la teoría: para la teoría φ 4 , este solo es el caso en D = 4. Nótese que bajo estas transformaciones el argumento de la función φ no cambia.
La dependencia de la escala de una teoría cuántica de campos (QFT) se caracteriza por la forma en que sus parámetros de acoplamiento dependen de la escala energética de un proceso físico determinado. Esta dependencia energética se describe mediante el grupo de renormalización y está codificada en las funciones beta de la teoría.
Para que una teoría cuántica de campos sea invariante en cuanto a la escala, sus parámetros de acoplamiento deben ser independientes de la escala de energía, y esto se indica mediante la desaparición de las funciones beta de la teoría. Estas teorías también se conocen como puntos fijos del flujo del grupo de renormalización correspondiente. [6]
Un ejemplo sencillo de una teoría cuántica de campos invariante en la escala es el campo electromagnético cuantizado sin partículas cargadas. Esta teoría en realidad no tiene parámetros de acoplamiento (ya que los fotones no tienen masa y no interactúan) y, por lo tanto, es invariante en la escala, de forma muy similar a la teoría clásica.
Sin embargo, en la naturaleza el campo electromagnético está acoplado a partículas cargadas, como los electrones . La teoría cuántica de campos que describe las interacciones de los fotones y las partículas cargadas es la electrodinámica cuántica (EDQ), y esta teoría no es invariante en la escala. Podemos ver esto a partir de la función beta de la EQQ . Esta nos dice que la carga eléctrica (que es el parámetro de acoplamiento en la teoría) aumenta con el aumento de la energía. Por lo tanto, mientras que el campo electromagnético cuantizado sin partículas cargadas es invariante en la escala, la EQQ no lo es .
La teoría de campos escalares cuantizados , libres y sin masa, no tiene parámetros de acoplamiento. Por lo tanto, al igual que la versión clásica, es invariante en escala. En el lenguaje del grupo de renormalización, esta teoría se conoce como el punto fijo gaussiano .
Sin embargo, aunque la teoría clásica sin masa φ 4 es invariante en la escala en D = 4, la versión cuantificada no lo es. Podemos ver esto a partir de la función beta para el parámetro de acoplamiento, g .
Aunque el φ 4 sin masa cuantificado no es invariante en la escala, existen teorías de campos escalares cuantificados invariantes en la escala distintas del punto fijo gaussiano. Un ejemplo es el punto fijo de Wilson-Fisher , que se muestra a continuación.
Las QFT invariantes en escala son casi siempre invariantes bajo la simetría conforme completa , y el estudio de dichas QFT es la teoría conforme de campos (CFT). Los operadores en una CFT tienen una dimensión de escala bien definida , análoga a la dimensión de escala , ∆ , de un campo clásico discutido anteriormente. Sin embargo, las dimensiones de escala de los operadores en una CFT normalmente difieren de las de los campos en la teoría clásica correspondiente. Las contribuciones adicionales que aparecen en la CFT se conocen como dimensiones de escala anómalas .
El ejemplo de la teoría φ 4 anterior demuestra que los parámetros de acoplamiento de una teoría cuántica de campos pueden ser dependientes de la escala incluso si la teoría clásica de campos correspondiente es invariante de escala (o invariante conforme). Si este es el caso, se dice que la invariancia de escala clásica (o conforme) es anómala . Una teoría de campos clásicamente invariante de escala, donde la invariancia de escala se rompe por efectos cuánticos, proporciona una explicación de la expansión casi exponencial del universo primitivo llamada inflación cósmica , siempre que la teoría pueda estudiarse a través de la teoría de perturbaciones . [7]
En mecánica estadística , cuando un sistema experimenta una transición de fase , sus fluctuaciones se describen mediante una teoría estadística de campos invariante en la escala . Para un sistema en equilibrio (es decir, independiente del tiempo) en D dimensiones espaciales, la teoría estadística de campos correspondiente es formalmente similar a una CFT de D dimensiones. Las dimensiones de escala en tales problemas se denominan habitualmente exponentes críticos y, en principio, se pueden calcular estos exponentes en la CFT adecuada.
Un ejemplo que vincula muchas de las ideas de este artículo es la transición de fase del modelo de Ising , un modelo simple de sustancias ferromagnéticas . Se trata de un modelo de mecánica estadística, que también tiene una descripción en términos de teoría de campos conformes. El sistema consta de una matriz de sitios reticulares, que forman una red periódica de dimensión D. Asociado a cada sitio reticular hay un momento magnético , o espín , y este espín puede tomar el valor +1 o −1. (Estos estados también se denominan arriba y abajo, respectivamente).
El punto clave es que el modelo de Ising tiene una interacción espín-espín, lo que hace que sea energéticamente favorable que dos espines adyacentes estén alineados. Por otro lado, las fluctuaciones térmicas suelen introducir una aleatoriedad en la alineación de los espines. A una temperatura crítica, T c , se dice que se produce magnetización espontánea . Esto significa que por debajo de T c la interacción espín-espín comenzará a dominar y habrá cierta alineación neta de espines en una de las dos direcciones.
Un ejemplo del tipo de magnitudes físicas que se desea calcular a esta temperatura crítica es la correlación entre espines separados por una distancia r . Su comportamiento genérico es el siguiente:
para algún valor particular de , que es un ejemplo de un exponente crítico.
Las fluctuaciones a temperatura T c son invariantes en la escala, por lo que se espera que el modelo de Ising en esta transición de fase se describa mediante una teoría de campo estadística invariante en la escala. De hecho, esta teoría es el punto fijo de Wilson-Fisher , una teoría de campo escalar particular invariante en la escala .
En este contexto, G ( r ) se entiende como una función de correlación de campos escalares,
Ahora podemos unir algunas de las ideas que ya hemos visto.
De lo anterior se desprende que el exponente crítico, η , para esta transición de fase, también es una dimensión anómala . Esto se debe a que la dimensión clásica del campo escalar,
se modifica para convertirse en
donde D es el número de dimensiones de la red del modelo de Ising.
Por lo tanto, esta dimensión anómala en la teoría del campo conforme es la misma que un exponente crítico particular de la transición de fase del modelo de Ising.
Nótese que para la dimensión D ≡ 4− ε , η se puede calcular aproximadamente, utilizando la expansión épsilon , y se encuentra que
En el caso físicamente interesante de tres dimensiones espaciales, tenemos ε = 1, por lo que esta expansión no es estrictamente confiable. Sin embargo, una predicción semicuantitativa es que η es numéricamente pequeño en tres dimensiones.
Por otra parte, en el caso bidimensional el modelo de Ising es exactamente soluble. En particular, es equivalente a uno de los modelos mínimos , una familia de CFT bien entendidas, y es posible calcular η (y los otros exponentes críticos) exactamente,
Las dimensiones anómalas en ciertas CFT bidimensionales pueden relacionarse con las dimensiones fractales típicas de los paseos aleatorios, donde los paseos aleatorios se definen a través de la evolución de Schramm-Loewner (SLE). Como hemos visto anteriormente, las CFT describen la física de las transiciones de fase, y por lo tanto se pueden relacionar los exponentes críticos de ciertas transiciones de fase con estas dimensiones fractales. Algunos ejemplos incluyen el modelo crítico de Ising en 2 d y el modelo crítico de Potts en 2 d más general . Relacionar otras CFT en 2 d con SLE es un área activa de investigación.
En una gran variedad de sistemas físicos se observa un fenómeno conocido como universalidad . Expresa la idea de que diferentes físicas microscópicas pueden dar lugar al mismo comportamiento de escala en una transición de fase. Un ejemplo canónico de universalidad implica los dos sistemas siguientes:
Aunque la física microscópica de estos dos sistemas es completamente diferente, sus exponentes críticos resultan ser los mismos. Además, se pueden calcular estos exponentes utilizando la misma teoría estadística de campos. La observación clave es que en una transición de fase o punto crítico , se producen fluctuaciones en todas las escalas de longitud y, por lo tanto, se debe buscar una teoría estadística de campos invariante en la escala para describir los fenómenos. En cierto sentido, la universalidad es la observación de que hay relativamente pocas teorías invariantes en la escala.
El conjunto de diferentes teorías microscópicas descritas por la misma teoría invariante de escala se conoce como clase de universalidad . Otros ejemplos de sistemas que pertenecen a una clase de universalidad son:
La observación clave es que, para todos estos sistemas diferentes, el comportamiento se asemeja a una transición de fase , y que el lenguaje de la mecánica estadística y la teoría estadística de campos invariantes de escala puede aplicarse para describirlos.
En determinadas circunstancias, la mecánica de fluidos es una teoría de campos clásica invariante de escala. Los campos son la velocidad del flujo de fluido, , la densidad del fluido, , y la presión del fluido, . Estos campos deben satisfacer tanto la ecuación de Navier-Stokes como la ecuación de continuidad . Para un fluido newtoniano, estos campos toman las formas respectivas
¿Dónde está la viscosidad dinámica ?
Para deducir la invariancia de escala de estas ecuaciones especificamos una ecuación de estado , relacionando la presión del fluido con la densidad del mismo. La ecuación de estado depende del tipo de fluido y de las condiciones a las que está sometido. Por ejemplo, consideramos el gas ideal isotérmico , que satisface
donde es la velocidad del sonido en el fluido. Dada esta ecuación de estado, Navier-Stokes y la ecuación de continuidad son invariantes bajo las transformaciones
Dadas las soluciones y , automáticamente tenemos que y también son soluciones.
En la visión artificial y la visión biológica , las transformaciones de escala surgen debido al mapeo de imágenes en perspectiva y debido a que los objetos tienen diferentes tamaños físicos en el mundo. En estas áreas, la invariancia de escala se refiere a los descriptores de imágenes locales o representaciones visuales de los datos de imagen que permanecen invariantes cuando se cambia la escala local en el dominio de la imagen. [8] La detección de máximos locales sobre escalas de respuestas derivadas normalizadas proporciona un marco general para obtener la invariancia de escala a partir de datos de imagen. [9] [10] Los ejemplos de aplicaciones incluyen la detección de manchas , la detección de esquinas , la detección de crestas y el reconocimiento de objetos a través de la transformación de características invariantes de escala .