En física , la propiedad de descomposición en cúmulos establece que los experimentos realizados lejos unos de otros no pueden influirse entre sí. Generalmente aplicada a la teoría cuántica de campos , requiere que los valores esperados del vacío de los operadores localizados en regiones acotadas se factoricen siempre que estas regiones se distancien lo suficiente entre sí. Formulada por primera vez por Eyvind Wichmann y James H. Crichton en 1963 en el contexto de la matriz S , [1] Steven Weinberg conjeturó que en el límite de baja energía la propiedad de descomposición en cúmulos, junto con la invariancia de Lorentz y la mecánica cuántica , conducen inevitablemente a la teoría cuántica de campos. La teoría de cuerdas satisface las tres condiciones y, por lo tanto, proporciona un contraejemplo de que esto no sea cierto en todas las escalas de energía. [2]
La matriz S describe la amplitud de un proceso con un estado inicial que evoluciona hacia un estado final . Si los estados inicial y final consisten en dos grupos, con y cerca uno del otro pero lejos del par y , entonces la propiedad de descomposición del grupo requiere que la matriz S factorice
a medida que aumenta la distancia entre los dos cúmulos. La interpretación física de esto es que dos experimentos bien separados espacialmente no pueden influirse entre sí. [3] Esta condición es fundamental para la capacidad de hacer física sin tener que conocer el estado de todo el universo . Al expandir la matriz S en una suma de un producto de elementos de la matriz S conectados , que a nivel perturbativo son equivalentes a diagramas de Feynman conectados , la propiedad de descomposición del cúmulo puede reformularse como exigiendo que los elementos de la matriz S conectados deben desaparecer siempre que algunos de sus cúmulos de partículas estén muy separados entre sí.
Esta formulación del espacio de posición también se puede reformular en términos de la matriz S del espacio de momento . [4] Dado que su transformación de Fourier da la matriz S conectada con el espacio de posición , esto solo depende de la posición a través de los términos exponenciales. Por lo tanto, realizar una traslación uniforme en una dirección en un subconjunto de partículas cambiará efectivamente la matriz S del espacio de momento como
Por invariancia traslacional , una traslación de todas las partículas no puede cambiar la matriz S , por lo tanto debe ser proporcional a una función delta que conserva el momento para asegurar que el factor exponencial de traslación se anule. Si hay una función delta adicional de solo un subconjunto de momentos correspondientes a algún grupo de partículas, entonces este grupo se puede mover arbitrariamente lejos a través de una traslación sin cambiar la matriz S , lo que violaría la descomposición del grupo. Esto significa que en el espacio de momento la propiedad requiere que la matriz S solo tenga una única función delta.
La descomposición en clústeres también se puede formular en términos de funciones de correlación , donde para dos operadores cualesquiera y localizados en alguna región, los valores esperados del vacío se factorizan a medida que los dos operadores se separan distantemente.
Esta formulación permite que la propiedad se aplique a teorías que carecen de una matriz S , como las teorías de campos conformes . Es en términos de estas funciones de Wightman que la propiedad se formula generalmente en la teoría cuántica de campos axiomática . [5] En algunas formulaciones, como la teoría de campos constructiva euclidiana , se introduce explícitamente como un axioma . [6]
Si se construye una teoría a partir de operadores de creación y aniquilación , entonces la propiedad de descomposición en grupos se cumple automáticamente. Esto se puede ver al expandir la matriz S como una suma de diagramas de Feynman que permite la identificación de elementos de matriz S conectados con diagramas de Feynman conectados. Los vértices surgen siempre que los operadores de creación y aniquilación se conmutan entre sí dejando atrás una única función delta de momento. En cualquier diagrama conectado con V vértices, I líneas internas y L bucles, IL de las funciones delta pasan a fijar momentos internos, dejando V-(IL) funciones delta sin fijar. Una forma de la fórmula de Euler establece que cualquier grafo con C componentes conectados disjuntos satisface C = V-I+L. Dado que los elementos de matriz S conectados corresponden a diagramas C=1, estos solo tienen una única función delta y, por lo tanto, se cumple la propiedad de descomposición en grupos, como se formuló anteriormente en el espacio de momento en términos de funciones delta.
La microcausalidad, la condición de localidad que requiere que las relaciones de conmutación de los operadores locales desaparezcan para las separaciones espaciales , es una condición suficiente para que la matriz S satisfaga la descomposición en cúmulos. En este sentido, la descomposición en cúmulos cumple un propósito similar para la matriz S al que cumple la microcausalidad para los campos , evitando que la influencia causal se propague entre regiones que están distantes. [7] Sin embargo, la descomposición en cúmulos es más débil que no tener causalidad superlumínica , ya que también se puede formular para las teorías clásicas. [8]
Un requisito clave para la descomposición en cúmulos es que requiere un estado de vacío único , y falla si el estado de vacío es un estado mixto . [9] La velocidad a la que se factorizan las funciones de correlación depende del espectro de la teoría, donde si tiene una brecha de masa , entonces hay una caída exponencial , mientras que si hay partículas sin masa presentes, puede ser tan lenta como . [10]