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, entre otras, partículas elementales (como los electrones ), partículas subatómicas compuestas (como los 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 sólo existen en la 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 discutidos por primera vez por Werner Heisenberg y Paul Dirac en 1926. [1]
Hay dos categorías principales de partículas idénticas: bosones , que pueden compartir estados cuánticos , y fermiones , que no pueden (como lo describe el principio de exclusión de Pauli ). Ejemplos de bosones son fotones , gluones , fonones , núcleos de helio-4 y todos los mesones . Ejemplos de fermiones son electrones , neutrinos , quarks , protones , neutrones y núcleos de helio-3 .
El hecho de que las partículas puedan ser idénticas tiene importantes consecuencias 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 idénticos o no. Como resultado, las partículas idénticas exhiben un comportamiento estadístico marcadamente diferente al de las partículas distinguibles. Por ejemplo, la indistinguibilidad de las partículas se ha propuesto como solución a la paradoja de la mezcla de Gibbs .
Hay dos métodos para distinguir entre partículas. El primer método se basa en 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 necesaria ] 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 distinguir entre partículas, que consiste en rastrear la trayectoria de cada partícula. Mientras la posición de cada partícula pueda medirse con precisión infinita (incluso cuando las partículas chocan), no habrá ambigüedad sobre qué 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. En cambio, se rigen 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 extenderse y superponerse. Una vez que esto sucede, resulta 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 una sola partícula (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 de dos partículas que no interactúan entre sí. Supongamos que una partícula está en el estado n 1 y la otra está 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 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 de partículas, generalmente se encuentran 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 por 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 siguientes dos posibilidades: [2] [3] [4]
Los estados donde es una suma se conocen como simétricos , mientras que los estados que involucran la diferencia se llaman antisimétricos . Más completamente, los estados simétricos tienen la forma
mientras que los estados antisimétricos tienen la forma
Tenga en cuenta 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 sólo puede estar ocupado por una partícula). Esto se conoce como 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, existe una excepción a esta regla, que se analizará más adelante. Por otro lado, 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 .
Defina 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 a la vez hermitiano 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 adheridas a las partículas (es decir, a los espacios de Hilbert de una sola partícula).
Claramente, (el operador de identidad), entonces los valores propios de P son +1 y −1. Los vectores propios correspondientes son los estados simétricos y antisimétricos:
En otras palabras, los estados simétricos y antisimétricos esencialmente no cambian bajo el intercambio de etiquetas de partículas: sólo se multiplican por un factor de +1 o −1, en lugar de "rotar" en algún otro lugar del espacio de Hilbert. Esto indica que las etiquetas de las partículas no tienen significado físico, de acuerdo con la discusión anterior sobre la indistinguibilidad.
Se recordará que P es hermitiano. Como resultado, puede considerarse como un observable del sistema, lo que significa que, en principio, se puede realizar una medición para saber si un estado es simétrico o antisimétrico. Además, la equivalencia de las partículas indica que el hamiltoniano se puede escribir 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 tanto, ese espacio propio también podría tratarse como el espacio de Hilbert real del sistema. Ésta es la idea detrás de la definición del 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 importantes consecuencias 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. Las estadísticas de Fermi-Dirac describen sistemas de muchos fermiones idénticos .
Las paraestadísticas son matemáticamente posibles, pero no existen ejemplos en la naturaleza. [5]
En ciertos sistemas bidimensionales, puede ocurrir simetría mixta. Estas partículas exóticas se conocen como anyons y obedecen a estadísticas fraccionarias . Existe evidencia experimental de la existencia de anyones 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 trenzas , que están asociadas a partículas conocidas como plectones .
El teorema de la 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. Cualquiera posee 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 en 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 de normalización . La cantidad m n representa el número de veces que cada uno de los estados de una sola partícula n aparece en el estado de N partícula. Tenga en cuenta que Σ n m n = N .
Del mismo modo, 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). Tenga en cuenta que no existe un término, porque cada estado de una sola partícula puede aparecer sólo una vez en un estado fermiónico. De lo contrario, la suma volvería a ser cero debido a la antisimetría, representando así un estado físicamente imposible. Este es el principio de exclusión de Pauli para muchas partículas.
Estos estados se han normalizado para que
Supongamos que hay un sistema de N bosones (fermiones) en 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 de múltiples partículas no se cuente más de una vez.
Hasta ahora, la discusión ha incluido sólo observables discretos. Se puede extender a observables continuos, como la posición x .
Recuerde que un estado propio de un observable continuo representa un rango infinitesimal de valores del observable, no un valor único como ocurre con los observables discretos. Por ejemplo, si una partícula está en un estado | ψ ⟩, la probabilidad de encontrarlo en una región del volumen d 3 x que rodea alguna posición x es
Como resultado, los estados propios continuos | x ⟩ están normalizados a la función delta en lugar de a la unidad:
Los estados de múltiples partículas simétricos y antisimétricos se pueden construir a partir de estados propios continuos de la misma manera que antes. Sin embargo, se acostumbra utilizar una constante de normalización diferente:
Se puede escribir una función de onda de muchos cuerpos ,
donde las funciones de onda de una sola partícula se definen, como de costumbre, por
La propiedad más importante de estas funciones de onda es que el intercambio de dos variables de coordenadas cambia la función de onda solo en un signo más o menos. Esta es la manifestación de simetría y 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 se encuentra 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,
Debido a que cada integral recorre todos los valores posibles de x , cada estado de múltiples partículas aparece N ! tiempos en la integral. En otras palabras, la probabilidad asociada con cada evento se distribuye uniformemente en N ! puntos equivalentes en el espacio integral. Debido a que normalmente es más conveniente trabajar con integrales no restringidas 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 viene dado por el producto tensorial . El grupo de permutación de actúa en este espacio permutando las entradas. Por definición, los valores esperados para un observable de partículas indistinguibles deberían ser invariantes bajo esta permutación. Esto significa que para todos y
o equivalente para cada
Dos estados son equivalentes siempre que sus valores esperados coincidan para todos los observables. Si nos restringimos a observables de partículas idénticas y, por lo tanto, a 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 under .
Dos subespacios irreducibles obvios son el subespacio unidimensional simétrico/bosónico 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] Los cuadros jóvenes proporcionan una manera 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 s corren 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 las partículas individuales. 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. Considere un estado del sistema, descrito por los estados de una sola partícula [ n 1 , ..., n N ]. En la ecuación de Z , cada permutación posible de n s ocurre una vez en la suma, aunque cada una de estas permutaciones describe el mismo estado de múltiples partículas. Por tanto, se ha sobrecontado 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 así no obedece a los postulados de la termodinámica .
Gibbs también demostró que usar Z = ξ N / N ! altera el resultado a
que es perfectamente extenso. Sin embargo, el motivo de esta corrección de la función de partición permaneció oscuro hasta el descubrimiento de la mecánica cuántica.
Existen diferencias importantes entre el comportamiento estadístico de bosones y 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 tienden a agruparse en el mismo estado cuántico, lo 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, dando lugar a sistemas como el gas Fermi . Esto se conoce como 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 numerosos estados dentro de las capas en lugar de estar todos en el mismo estado de menor energía.
Las diferencias entre el comportamiento estadístico de fermiones, bosones y partículas distinguibles se pueden ilustrar utilizando un sistema de dos partículas. Las partículas se denominan A y B. Cada partícula puede existir en dos estados posibles, etiquetados y , que tienen la misma energía.
El sistema compuesto puede evolucionar con el tiempo, interactuando con un entorno ruidoso. Debido a que los estados y son energéticamente equivalentes, ninguno de los estados se ve 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 algún 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 sólo 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. Tenga en cuenta 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, sólo hay un estado disponible para el sistema compuesto: el estado totalmente antisimétrico . Cuando se realiza el experimento, una partícula siempre está en el estado y la otra está en el estado.
Los resultados se resumen en la Tabla 1:
Como puede verse, incluso un sistema de dos partículas exhibe diferentes comportamientos estadísticos entre partículas, bosones y fermiones distinguibles. En los artículos sobre estadística de Fermi-Dirac y estadística de Bose-Einstein , estos principios se extienden a un gran número de partículas, con resultados cualitativamente similares.
Para comprender por qué las estadísticas de partículas funcionan de la forma en que lo hacen, observemos primero que las partículas son excitaciones puntuales y que las partículas que están separadas como en el espacio no interactúan. En un espacio d -dimensional plano 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úen directamente, entonces sus ubicaciones deben pertenecer al espacio [ M × M ] \ {puntos coincidentes}, el subespacio con los 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 ) hasta ( 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 un número 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 el sentido de las agujas del reloj de media vuelta , etc.). En particular, un intercambio de media vuelta en el sentido contrario a las agujas del reloj no es homotópico a un intercambio de media vuelta en el sentido de las agujas del reloj. Por último, si M es , entonces esta clase de homotopía está vacía.
Supongamos primero que d ≥ 3 . El espacio de cobertura universal de [ M × M ] ∖ {puntos coincidentes} , que no es otro que el propio [ M × M ] ∖ {puntos coincidentes} , sólo tiene dos puntos que son físicamente indistinguibles de ( x , y ) , a saber ( x , y ) en sí mismo y ( y , x ) . Entonces, el único intercambio permitido 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ística de Bose, y si la raíz es –1, los puntos tienen estadística de Fermi.
En el caso del espacio de cobertura universal de [ M × M ] ∖ {puntos coincidentes} tiene 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 tal intercambio puede resultar genéricamente en 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 anyónica . De hecho, incluso con dos partículas distinguibles , aunque ( x , y ) ahora es físicamente distinguible de ( y , x ) , el espacio de cobertura universal todavía contiene infinitos puntos que son físicamente indistinguibles del punto original, ahora generado por un movimiento en sentido antihorario. rotación una vuelta completa. Este generador, entonces, da como resultado una multiplicación por exp( iφ ) . Este factor de fase aquí se llama estadística mutua.
Finalmente, en el caso de que el espacio [ M × M ] ∖ {puntos coincidentes} no esté conexo, incluso si la partícula I y la partícula II son idénticas, aún se pueden distinguir mediante etiquetas como "la partícula de la izquierda" y " la partícula de la derecha". Aquí no hay simetría de intercambio.