En mecánica cuántica , las partículas indistinguibles (también llamadas partículas idénticas o indiscernibles ) son partículas que no se pueden distinguir entre sí, ni siquiera en principio. Las especies de partículas idénticas incluyen, pero no se limitan a, partículas elementales (como electrones ), partículas subatómicas compuestas (como núcleos atómicos ), así como átomos y moléculas . Las cuasipartículas también se comportan de esta manera. Aunque todas las partículas indistinguibles conocidas solo existen a escala cuántica, no existe una lista exhaustiva de todos los tipos posibles de partículas ni un límite claro de aplicabilidad, como se explora en la estadística cuántica . Fueron discutidas por primera vez por Werner Heisenberg y Paul Dirac en 1926. [1]
Existen dos categorías principales de partículas idénticas: los bosones , que pueden compartir estados cuánticos , y los fermiones , que no pueden (como se describe en el principio de exclusión de Pauli ). Ejemplos de bosones son los fotones , los gluones , los fonones , los núcleos de helio-4 y todos los mesones . Ejemplos de fermiones son los electrones , los neutrinos , los quarks , los protones , los neutrones y los núcleos de helio-3 .
El hecho de que las partículas puedan ser idénticas tiene consecuencias importantes en la mecánica estadística , donde los cálculos se basan en argumentos probabilísticos , que son sensibles a si los objetos estudiados son o no idénticos. Como resultado, las partículas idénticas muestran un comportamiento estadístico marcadamente diferente al de las partículas distinguibles. Por ejemplo, la indistinguibilidad de las partículas se ha propuesto como una solución a la paradoja de mezcla de Gibbs .
Existen dos métodos para distinguir entre partículas. El primer método se basa en las diferencias en las propiedades físicas intrínsecas de las partículas, como la masa , la carga eléctrica y el espín . Si existen diferencias, es posible distinguir entre las partículas midiendo las propiedades relevantes. Sin embargo, hasta donde se puede determinar, las partículas microscópicas de la misma especie tienen propiedades físicas completamente equivalentes. [ cita requerida ] Por ejemplo, cada electrón tiene la misma carga eléctrica .
Incluso si las partículas tienen propiedades físicas equivalentes, queda un segundo método para distinguirlas, que consiste en seguir la trayectoria de cada una de ellas. Mientras la posición de cada partícula pueda medirse con infinita precisión (incluso cuando colisionen), no habrá ninguna ambigüedad sobre cuál partícula es cuál.
El problema con el segundo enfoque es que contradice los principios de la mecánica cuántica . Según la teoría cuántica, las partículas no poseen posiciones definidas durante los períodos entre mediciones, sino que están regidas por funciones de onda que dan la probabilidad de encontrar una partícula en cada posición. A medida que pasa el tiempo, las funciones de onda tienden a dispersarse y superponerse. Una vez que esto sucede, se vuelve imposible determinar, en una medición posterior, cuál de las posiciones de las partículas corresponde a las medidas anteriormente. Se dice entonces que las partículas son indistinguibles.
Lo que sigue es un ejemplo para concretar la discusión anterior, utilizando el formalismo desarrollado en el artículo sobre la formulación matemática de la mecánica cuántica .
Sea n un conjunto completo de números cuánticos (discretos) para especificar estados de partículas individuales (por ejemplo, para el problema de la partícula en una caja , tome n como el vector de onda cuantificado de la función de onda). Para simplificar, considere un sistema compuesto por dos partículas que no interactúan entre sí. Suponga que una partícula está en el estado n 1 y la otra en el estado n 2. El estado cuántico del sistema se denota por la expresión
donde el orden del producto tensorial importa (si , entonces la partícula 1 ocupa el estado n 2 mientras que la partícula 2 ocupa el estado n 1 ). Esta es la forma canónica de construir una base para un espacio de producto tensorial del sistema combinado a partir de los espacios individuales. Esta expresión es válida para partículas distinguibles, sin embargo, no es apropiada para partículas indistinguibles ya que y como resultado del intercambio las partículas son generalmente estados diferentes.
Dos estados son físicamente equivalentes sólo si difieren como máximo en un factor de fase complejo. Para dos partículas indistinguibles, un estado antes del intercambio de partículas debe ser físicamente equivalente al estado después del intercambio, por lo que estos dos estados difieren como máximo en un factor de fase complejo. Este hecho sugiere que un estado para dos partículas indistinguibles (y que no interactúan) viene dado por las dos posibilidades siguientes: [2] [3] [4]
Los estados en los que se da una suma se conocen como simétricos , mientras que los estados en los que se da la diferencia se denominan antisimétricos . De manera más completa, los estados simétricos tienen la forma
Mientras que los estados antisimétricos tienen la forma
Nótese que si n 1 y n 2 son iguales, la expresión antisimétrica da cero, que no puede ser un vector de estado ya que no puede normalizarse. En otras palabras, más de una partícula idéntica no puede ocupar un estado antisimétrico (un estado antisimétrico puede ser ocupado solo por una partícula). Esto se conoce como el principio de exclusión de Pauli , y es la razón fundamental detrás de las propiedades químicas de los átomos y la estabilidad de la materia .
La importancia de los estados simétricos y antisimétricos se basa, en última instancia, en evidencia empírica. Parece ser un hecho de la naturaleza que partículas idénticas no ocupan estados de simetría mixta, como
En realidad, hay una excepción a esta regla, que se analizará más adelante. Por otra parte, se puede demostrar que los estados simétricos y antisimétricos son, en cierto sentido, especiales, examinando una simetría particular de los estados de múltiples partículas conocida como simetría de intercambio .
Definamos un operador lineal P , llamado operador de intercambio. Cuando actúa sobre un producto tensorial de dos vectores de estado, intercambia los valores de los vectores de estado:
P es hermítico y unitario . Debido a que es unitario, puede considerarse un operador de simetría . Esta simetría puede describirse como la simetría bajo el intercambio de etiquetas asociadas a las partículas (es decir, a los espacios de Hilbert de una sola partícula).
Claramente, (el operador identidad), por lo que los valores propios de P son +1 y -1. Los vectores propios correspondientes son los estados simétrico y antisimétrico:
En otras palabras, los estados simétricos y antisimétricos permanecen esencialmente inalterados ante el intercambio de etiquetas de partículas: sólo se multiplican por un factor de +1 o -1, en lugar de ser "rotados" a algún otro lugar en el espacio de Hilbert. Esto indica que las etiquetas de partículas no tienen significado físico, de acuerdo con la discusión anterior sobre la indistinguibilidad.
Cabe recordar que P es hermítico. Por lo tanto, puede considerarse como un observable del sistema, lo que significa que, en principio, se puede realizar una medición para averiguar si un estado es simétrico o antisimétrico. Además, la equivalencia de las partículas indica que el hamiltoniano puede escribirse en forma simétrica, como
Es posible demostrar que tales hamiltonianos satisfacen la relación de conmutación
Según la ecuación de Heisenberg , esto significa que el valor de P es una constante de movimiento. Si el estado cuántico es inicialmente simétrico (antisimétrico), seguirá siendo simétrico (antisimétrico) a medida que el sistema evolucione. Matemáticamente, esto dice que el vector de estado está confinado a uno de los dos espacios propios de P y no se le permite abarcar todo el espacio de Hilbert. Por lo tanto, ese espacio propio también podría tratarse como el espacio de Hilbert real del sistema. Esta es la idea detrás de la definición de espacio de Fock .
La elección de simetría o antisimetría está determinada por la especie de partícula. Por ejemplo, siempre se deben utilizar estados simétricos al describir fotones o átomos de helio-4 , y estados antisimétricos al describir electrones o protones .
Las partículas que presentan estados simétricos se denominan bosones . La naturaleza de los estados simétricos tiene consecuencias importantes para las propiedades estadísticas de los sistemas compuestos por muchos bosones idénticos. Estas propiedades estadísticas se describen como estadísticas de Bose-Einstein .
Las partículas que presentan estados antisimétricos se denominan fermiones . La antisimetría da lugar al principio de exclusión de Pauli , que prohíbe que fermiones idénticos compartan el mismo estado cuántico. Los sistemas de muchos fermiones idénticos se describen mediante las estadísticas de Fermi-Dirac .
Las paraestadísticas son matemáticamente posibles, pero no existen ejemplos en la naturaleza. [5]
En ciertos sistemas bidimensionales, puede darse una simetría mixta. Estas partículas exóticas se conocen como aniones y obedecen a la estadística fraccionaria . La evidencia experimental de la existencia de aniones existe en el efecto Hall cuántico fraccionario , un fenómeno observado en los gases de electrones bidimensionales que forman la capa de inversión de los MOSFET . Existe otro tipo de estadística, conocida como estadística de trenzado , que se asocia a partículas conocidas como plektones .
El teorema de estadística de espín relaciona la simetría de intercambio de partículas idénticas con su espín . Afirma que los bosones tienen espín entero y los fermiones tienen espín semientero. Los anyones poseen espín fraccionario.
La discusión anterior se generaliza fácilmente al caso de N partículas. Supongamos que hay N partículas con números cuánticos n 1 , n 2 , ..., n N . Si las partículas son bosones, ocupan un estado totalmente simétrico , que es simétrico bajo el intercambio de dos etiquetas de partículas cualesquiera :
Aquí, la suma se toma sobre todos los estados diferentes bajo permutaciones p que actúan sobre N elementos. La raíz cuadrada que queda de la suma es una constante normalizadora . La cantidad m n representa el número de veces que cada uno de los estados de partícula única n aparece en el estado de N partículas. Nótese que Σ n m n = N .
En la misma línea, los fermiones ocupan estados totalmente antisimétricos :
Aquí, sgn( p ) es el signo de cada permutación (es decir, si está compuesta por un número par de transposiciones y si es impar). Nótese que no hay término, porque cada estado de partícula individual puede aparecer solo una vez en un estado fermiónico. De lo contrario, la suma sería nuevamente cero debido a la antisimetría, lo que representaría un estado físicamente imposible. Este es el principio de exclusión de Pauli para muchas partículas.
Estos estados se han normalizado de manera que
Supongamos que hay un sistema de N bosones (fermiones) en el estado simétrico (antisimétrico).
y se realiza una medición en algún otro conjunto de observables discretos, m . En general, esto produce algún resultado m 1 para una partícula, m 2 para otra partícula, y así sucesivamente. Si las partículas son bosones (fermiones), el estado después de la medición debe permanecer simétrico (antisimétrico), es decir
La probabilidad de obtener un resultado particular para la medición m es
Se puede demostrar que
lo que verifica que la probabilidad total es 1. La suma debe restringirse a valores ordenados de m 1 , ..., m N para garantizar que cada estado multipartícula no se cuente más de una vez.
Hasta ahora, el análisis se ha centrado únicamente en observables discretos. Puede extenderse a observables continuos, como la posición x .
Recordemos que un estado propio de un observable continuo representa un rango infinitesimal de valores del observable, no un valor único como sucede con los observables discretos. Por ejemplo, si una partícula está en un estado | ψ ⟩, la probabilidad de encontrarla en una región de volumen d 3 x que rodee alguna posición x es
Como resultado, los estados propios continuos | x ⟩ se normalizan a la función delta en lugar de a la unidad:
Los estados multipartícula simétricos y antisimétricos se pueden construir a partir de estados propios continuos de la misma manera que antes. Sin embargo, se suele utilizar una constante de normalización diferente:
Una función de onda de muchos cuerpos se puede escribir,
donde las funciones de onda de una sola partícula se definen, como es habitual, por
La propiedad más importante de estas funciones de onda es que al intercambiar dos de las variables de coordenadas, la función de onda cambia solo en un signo más o menos. Esta es la manifestación de la simetría y la antisimetría en la representación de la función de onda:
La función de onda de muchos cuerpos tiene el siguiente significado: si el sistema está inicialmente en un estado con números cuánticos n 1 , ..., n N , y se realiza una medición de posición, la probabilidad de encontrar partículas en volúmenes infinitesimales cerca de x 1 , x 2 , ..., x N es
El factor de N ! proviene de nuestra constante de normalización, que ha sido elegida de modo que, por analogía con las funciones de onda de una sola partícula,
Como cada integral se ejecuta sobre todos los valores posibles de x , cada estado de múltiples partículas aparece N ! veces en la integral. En otras palabras, la probabilidad asociada con cada evento se distribuye uniformemente a lo largo de N ! puntos equivalentes en el espacio integral. Como suele ser más conveniente trabajar con integrales sin restricciones que con integrales restringidas, se ha elegido la constante de normalización para reflejar esto.
Finalmente, la función de onda antisimétrica se puede escribir como el determinante de una matriz , conocido como determinante de Slater :
El espacio de Hilbert para partículas está dado por el producto tensorial . El grupo de permutación de actúa sobre este espacio permutando las entradas. Por definición, los valores esperados para un observable de partículas indistinguibles deberían ser invariantes bajo estas permutaciones. Esto significa que para todos y
o equivalentemente para cada uno
Dos estados son equivalentes siempre que sus valores esperados coincidan para todos los observables. Si nos limitamos a los observables de partículas idénticas y, por lo tanto, a los observables que satisfacen la ecuación anterior, encontramos que los siguientes estados (después de la normalización) son equivalentes
Las clases de equivalencia están en relación biyectiva con subespacios irreducibles de bajo .
Dos subespacios irreducibles obvios son el subespacio simétrico/bosónico unidimensional y el subespacio antisimétrico/fermiónico. Sin embargo, existen más tipos de subespacios irreducibles. Los estados asociados con estos otros subespacios irreducibles se denominan estados paraestadísticos . [6] Las tablas de Young proporcionan una forma de clasificar todos estos subespacios irreducibles.
La indistinguibilidad de las partículas tiene un profundo efecto en sus propiedades estadísticas. Para ilustrar esto, considere un sistema de N partículas distinguibles que no interactúan. Una vez más, sea n j el estado (es decir, los números cuánticos) de la partícula j . Si las partículas tienen las mismas propiedades físicas, los n j se encuentran en el mismo rango de valores. Sea ε ( n ) la energía de una partícula en el estado n . Como las partículas no interactúan, la energía total del sistema es la suma de las energías de cada partícula. La función de partición del sistema es
donde k es la constante de Boltzmann y T es la temperatura . Esta expresión se puede factorizar para obtener
dónde
Si las partículas son idénticas, esta ecuación es incorrecta. Consideremos un estado del sistema, descrito por los estados de partículas individuales [ n 1 , ..., n N ]. En la ecuación para Z , cada permutación posible de las n s ocurre una vez en la suma, aunque cada una de estas permutaciones describe el mismo estado de múltiples partículas. Por lo tanto, se ha contado en exceso el número de estados.
Si se desprecia la posibilidad de superposición de estados, lo cual es válido si la temperatura es alta, entonces el número de veces que se cuenta cada estado es aproximadamente N !. La función de partición correcta es
Tenga en cuenta que esta aproximación de "alta temperatura" no distingue entre fermiones y bosones.
La discrepancia en las funciones de partición de partículas distinguibles e indistinguibles se conocía ya en el siglo XIX, antes de la llegada de la mecánica cuántica. Conduce a una dificultad conocida como la paradoja de Gibbs . Gibbs demostró que en la ecuación Z = ξ N , la entropía de un gas ideal clásico es
donde V es el volumen del gas y f es alguna función de T únicamente. El problema con este resultado es que S no es extensivo : si N y V se duplican, S no se duplica en consecuencia. Un sistema de este tipo no obedece los postulados de la termodinámica .
Gibbs también demostró que usar Z = ξ N / N ! altera el resultado a
lo cual es perfectamente extensivo. Sin embargo, la razón de esta corrección de la función de partición permaneció oscura hasta el descubrimiento de la mecánica cuántica.
Existen diferencias importantes entre el comportamiento estadístico de los bosones y los fermiones, que se describen mediante las estadísticas de Bose-Einstein y las estadísticas de Fermi-Dirac respectivamente. En términos generales, los bosones tienen una tendencia a agruparse en el mismo estado cuántico, que subyace a fenómenos como el láser , la condensación de Bose-Einstein y la superfluidez . Los fermiones, por otro lado, tienen prohibido compartir estados cuánticos, lo que da lugar a sistemas como el gas de Fermi . Esto se conoce como el Principio de Exclusión de Pauli y es responsable de gran parte de la química, ya que los electrones de un átomo (fermiones) llenan sucesivamente los muchos estados dentro de las capas en lugar de estar todos en el mismo estado de energía más bajo.
Las diferencias entre el comportamiento estadístico de los fermiones, los bosones y las partículas distinguibles se pueden ilustrar utilizando un sistema de dos partículas. Las partículas se designan A y B. Cada partícula puede existir en dos estados posibles, etiquetados como y , que tienen la misma energía.
El sistema compuesto puede evolucionar en el tiempo, interactuando con un entorno ruidoso. Debido a que los estados y son energéticamente equivalentes, ninguno de los estados es favorecido, por lo que este proceso tiene el efecto de aleatorizar los estados. (Esto se analiza en el artículo sobre entrelazamiento cuántico ). Después de un tiempo, el sistema compuesto tendrá la misma probabilidad de ocupar cada uno de los estados disponibles. Luego se miden los estados de las partículas.
Si A y B son partículas distinguibles, entonces el sistema compuesto tiene cuatro estados distintos: , , y . La probabilidad de obtener dos partículas en el estado es 0,25; la probabilidad de obtener dos partículas en el estado es 0,25; y la probabilidad de obtener una partícula en el estado y la otra en el estado es 0,5.
Si A y B son bosones idénticos, entonces el sistema compuesto tiene solo tres estados distintos: , , y . Cuando se realiza el experimento, la probabilidad de obtener dos partículas en el estado es ahora 0,33; la probabilidad de obtener dos partículas en el estado es 0,33; y la probabilidad de obtener una partícula en el estado y la otra en el estado es 0,33. Nótese que la probabilidad de encontrar partículas en el mismo estado es relativamente mayor que en el caso distinguible. Esto demuestra la tendencia de los bosones a "agruparse".
Si A y B son fermiones idénticos, solo hay un estado disponible para el sistema compuesto: el estado totalmente antisimétrico . Cuando se realiza el experimento, una partícula está siempre en el estado y la otra en el estado.
Los resultados se resumen en la Tabla 1:
Como se puede observar, incluso un sistema de dos partículas exhibe diferentes comportamientos estadísticos entre partículas distinguibles, bosones y fermiones. En los artículos sobre estadísticas de Fermi-Dirac y estadísticas de Bose-Einstein , estos principios se extienden a un gran número de partículas, con resultados cualitativamente similares.
Para entender por qué las estadísticas de partículas funcionan de la manera en que lo hacen, note primero que las partículas son excitaciones localizadas en puntos y que las partículas que están separadas espacialmente no interactúan. En un espacio plano d -dimensional M , en cualquier momento dado, la configuración de dos partículas idénticas se puede especificar como un elemento de M × M . Si no hay superposición entre las partículas, de modo que no interactúan directamente, entonces sus ubicaciones deben pertenecer al espacio [ M × M ] \ {puntos coincidentes}, el subespacio con puntos coincidentes eliminados. El elemento ( x , y ) describe la configuración con la partícula I en x y la partícula II en y , mientras que ( y , x ) describe la configuración intercambiada. Con partículas idénticas, el estado descrito por ( x , y ) debería ser indistinguible del estado descrito por ( y , x ) . Ahora considere la clase de homotopía de caminos continuos desde ( x , y ) a ( y , x ) , dentro del espacio [ M × M ] \ {puntos coincidentes} . Si M es donde d ≥ 3 , entonces esta clase de homotopía solo tiene un elemento. Si M es , entonces esta clase de homotopía tiene una cantidad contable de elementos (es decir, un intercambio en sentido antihorario de media vuelta, un intercambio en sentido antihorario de una vuelta y media, dos vueltas y media, etc., un intercambio en sentido horario de media vuelta, etc.). En particular, un intercambio en sentido antihorario de media vuelta no es homotópico a un intercambio en sentido horario de media vuelta. Por último, si M es , entonces esta clase de homotopía está vacía.
Supongamos primero que d ≥ 3 . El espacio de recubrimiento universal de [ M × M ] ∖ {puntos coincidentes} , que no es otro que [ M × M ] ∖ {puntos coincidentes} en sí mismo, solo tiene dos puntos que son físicamente indistinguibles de ( x , y ) , a saber, ( x , y ) en sí mismo y ( y , x ) . Por lo tanto, el único intercambio permisible es intercambiar ambas partículas. Este intercambio es una involución , por lo que su único efecto es multiplicar la fase por una raíz cuadrada de 1. Si la raíz es +1, entonces los puntos tienen estadísticas de Bose, y si la raíz es –1, los puntos tienen estadísticas de Fermi.
En el caso de que el espacio de recubrimiento universal de [ M × M ] ∖ {puntos coincidentes} tenga infinitos puntos que son físicamente indistinguibles de ( x , y ) . Esto se describe mediante el grupo cíclico infinito generado al realizar un intercambio de media vuelta en sentido antihorario. A diferencia del caso anterior, realizar este intercambio dos veces seguidas no recupera el estado original; por lo que dicho intercambio puede dar como resultado genéricamente una multiplicación por exp( iθ ) para cualquier θ real (por unitaridad , el valor absoluto de la multiplicación debe ser 1). Esto se llama estadística anónica . De hecho, incluso con dos partículas distinguibles , aunque ( x , y ) ahora sea físicamente distinguible de ( y , x ) , el espacio de recubrimiento universal aún contiene infinitos puntos que son físicamente indistinguibles del punto original, ahora generado por una rotación en sentido antihorario de una vuelta completa. Este generador, entonces, da como resultado una multiplicación por exp( iφ ) . Este factor de fase se llama aquí estadística mutua.
Finalmente, en el caso de que el espacio [ M × M ] ∖ {puntos coincidentes} no esté conectado, incluso si la partícula I y la partícula II son idénticas, aún pueden distinguirse mediante etiquetas como "la partícula de la izquierda" y "la partícula de la derecha". No hay simetría de intercambio aquí.