Ambigüedad de pedido en hamiltoniano cuántico

Al tratar con modelos General Sigma (Ver, por ejemplo, Ref. 1)

(10.67) S   =   1 2 d t   gramo i j ( X ) X i ˙ X j ˙ ,

donde la métrica de Riemann se puede expandir como,

(10.68) gramo i j ( X )   =   d i j + C i j k yo X k X yo +
El hamiltoniano está dado por,

H   =   1 2 gramo i j ( X ) PAG i PAG j .

Los autores dicen que en teoría cuántica la expresión anterior es ambigua, porque X y PAG no viaje Por lo tanto, hay muchas elecciones cuánticas no equivalentes para H reduce al mismo objeto clásico. No soy capaz de resolver esto.

También este hamiltoniano está relacionado con el laplaciano, que no puedo entender, ¿por qué? Este hamiltoniano se puede relacionar con el laplaciano si gramo i j es lo habitual η i j . ¿Quieren decir los autores que en algún atlas siempre podemos encontrar unas coordenadas locales que se reducen a η i j ¿O hay una definición general de Laplaciano que desconozco?

Referencias:

  1. K. Hori, S. Katz, A. Klemm, R. Pandharipande, R. Thomas, C. Vafa, R. Vakil y E. Zaslow, Mirror Symmetry, 2003, capítulo 10, eqs. 10.67-10.68. El archivo pdf está disponible aquí o aquí .
El operador es claramente "igual" a un laplaciano solo si la métrica gramo es plana y definida positivamente. De lo contrario, es similar, por eso dicen que está "relacionado". Además, hay ambigüedades en el orden porque gramo i j son funciones de X con los que no viajas PAG . ¿Responde a todas tus preguntas?
@LubošMotl: Ok, ahora entiendo la parte "relacionada". Gracias por esa interpretación, pero ¿hay algún ejemplo que muestre que dos definiciones diferentes de hamiltoniano conducen al mismo hamiltoniano clásico? Puede estar considerando diferentes definiciones de momentos que conducen al mismo hamiltoniano clásico. Anteriormente en el texto, el momento conjugado se definió como PAG i = d S d X ˙ i = gramo i j t X j
Estimado Jaswin, los productos de operadores ordenados de manera diferente (aquellos que existen clásicamente) siempre difieren en términos proporcionales a o sus potencias positivas, por lo que en el clásico 0 límite, son lo mismo. Tendría que ir a polinomios de quinto orden más altos para un buen ejemplo.
@LubošMotl: Sí, ahora puedo entenderlo, probablemente quiso decir eso 1 2 gramo i j PAG i PAG j 1 2 PAG i PAG j gramo i j mecánica cuántica, pero clásicamente es cierto.
@Qmechanic: estaba leyendo de METRO i r r o r S y metro metro mi t r y , capítulo 10, ecuación 10.68. Está disponible gratuitamente en la biblioteca Claymath.org. claymath.org/library/monographs/cmim01.pdf
@Jaswin, vea a continuación, pero el reordenamiento de los términos no es la relación de inversión a la que hacen referencia.

Respuestas (2)

Bueno, la métrica en el espacio de destino ( que no debe confundirse con la métrica del espacio-tiempo ) gramo i j parece

gramo i j d i j + ( C i j k yo X k X yo ) + O ( X 4 ) .
Podemos invertir esto, obteniendo ("para pequeños X ")
gramo i j d i j D i j k yo X k X yo + O ( X 4 )
dónde D i j k yo son "algunos coeficientes" que podríamos averiguar si nos vemos obligados a hacerlo.

Realmente, para probar la ambigüedad del orden del operador en el hamiltoniano, solo tienes que demostrar que

H gramo i j PAG i PAG j = d i j PAG i PAG j D i j k yo X k X yo PAG i PAG k + O ( X 4 PAG 2 )
tiene ambigüedades cuando se cuantifica.

¿Cómo? Bueno, considere el caso más simple de una partícula unidimensional. Vemos que los corchetes de Poisson satisfacen

(1) pag 2 X 2 = ( pag X ) 2 = { X 3 , pag 3 } pag 2 X { X 2 , pag } { X 3 , pag } pag 2 .
Woah, ¿cómo conseguimos esta igualdad? Bueno, usamos la propiedad
{ F gramo , h } = F { gramo , h } + gramo { F , h } , y { F , gramo h } = gramo { F , h } + h { F , gramo } .
Entonces consideramos { X 3 , pag 3 } y hacer algo de álgebra. Pero cuando (1) se cuantifica, estas igualdades fallan gravemente. No está claro (o es ambiguo ) qué es importante cuantificar y cómo hacerlo.

En otras palabras, si tenemos la cuantización como un mapa

q : C yo a s s i C a yo q tu a norte t tu metro
satisfactorio:

  1. la cuantización "pone sombreros" en la posición y el impulso: q ( X ) = X ^ y q ( pag ) = pag ^ , y están "representados irreductiblemente" (esta es una condición técnica, ¡no se preocupe demasiado por eso!);
  2. q es lineal, entonces q ( C 1 F + C 2 gramo ) = C 1 q ( F ) + C 2 q ( gramo ) dónde F , gramo son funciones de impulso y posición;
  3. Los corchetes venenosos se vuelven q ( { F , gramo } ) = 1 i [ q ( F ) , q ( gramo ) ] ;
  4. El número 1 se asigna al operador de identidad. q ( 1 ) = i d .

Tenemos problemas tratando de evaluar q ( X 2 pag 2 ) . Tenemos

q ( X 2 pag 2 ) = ? ? q ( X ) 2 q ( pag ) 2 = ? ? q ( X pag ) 2 ?
¿Qué sucede con la ecuación (1)? es ambiguo :(

Para obtener más información sobre las ambigüedades en el orden de los operadores, consulte S. Twareque Ali, Miroslav Engliš "Quantization Methods: A Guide for Physicists and Analysts" arXiv:math-ph/0405065 .

También este hamiltoniano está relacionado con el laplaciano, que no puedo entender, ¿por qué?

Cuando trabajamos con un modelo sigma lineal, tenemos gramo i j = d i j y recuperamos el hamiltoniano habitual como el laplaciano (hasta alguna constante).

Esto se puede ver en la fórmula, y observando en este caso particular gramo i j = d i j entonces encontramos

H = 1 2 d i j PAG i PAG j = 1 2 PAG i PAG i
De nuevo, hasta alguna constante. (Vea la ecuación (10.70) del libro que está leyendo y encuentre PAG i = i / X i )

Y nuevamente, no confunda la "métrica del espacio objetivo" gramo i j con la "métrica del espacio-tiempo" que creo que denotas por η i j (más adelante en el libro, creo que los autores usan h i j para la "métrica del espacio-tiempo").

Los autores dicen que en la teoría cuántica la expresión anterior es ambigua, porque X y P no se conmutan. Por lo tanto, hay muchas elecciones cuánticas no equivalentes para H reducido al mismo objeto clásico. No soy capaz de resolver esto.

Si revisa el texto , verá que los autores han proporcionado la relación de conmutación en la ecuación 10.70 como:

[ X i , PAG j ] = i d j i

lo que le dice que X y P no son conmutativos y la operación de conmutación produce un número imaginario (y esta ecuación podría entenderse como 1 X PAG PAG 1 X = i ).

La ecuación a la que hace referencia en realidad está escrita como:

H = 1 2 gramo i j ( X ) PAG i PAG j

La variable de posición X es importante ya que el impulso se entiende clásicamente como metro a s s × v mi yo o C i t y entonces pag 2 = metro 2 v 2 y la energía cinética es 1 2 metro v 2 . Entonces el gramo i j ( X ) está teniendo lugar de un término de masa inversa para mantenerse consistente con la ecuación de energía clásicamente definida.

El problema surge si alguien está tratando de resolver un valor desconocido en la ecuación. Imagina que conoces H y X y quieres resolver para P, podrías obtener alguna respuesta para P y asumir que todo está bien, sin embargo, si por alguna razón tienes el valor de P que acabas de calcular, así como el valor de H , y luego tratas de resolver X, te encuentras con problemas, porque X y P no son conmutativos, no obtendrás el mismo valor de X con el que comenzaste y, como se definió, debes incluir un componente imaginario.

Esto es lo que significa ambigüedad, conocer dos componentes de la ecuación no le dará un valor definitivo para el tercero, solo un rango de valores.

En cuanto a la relación con el laplaciano , si uno observa la ecuación de Schrödinger , puede ver que el término del operador de energía cinética es:

2 metro 2

entonces, si uno compara esto con la ecuación a la que hace referencia, debería quedar claro que los símbolos de momento (P) están tomando el lugar del operador laplaciano.