A discrete formulation of the Kane-Mele $\mathbb{Z}_2$ invariant

Resumen Técnico: Una Formulación Discreta del Invariante $Z_2$ de Kane-Mele

Enunciado del Problema
El cálculo del invariante topológico $Z_2$ de Kane-Mele para aislantes con simetría de inversión temporal (TRS) enfrenta tradicionalmente desafíos relacionados con la dependencia de la gauge y la discretización. Si bien los métodos existentes, como el seguimiento del flujo de los centros de los estados de Wannier híbridos o la extracción de valores propios de bucles de Wilson, ofrecen enfoques libres de fijación de gauge, a menudo dependen de construcciones específicas. Además, muchas formulaciones requieren condiciones explícitas de fijación de gauge (por ejemplo, la condición de gauge TRS) para garantizar que el invariante esté bien definido y cuantizado. El artículo aborda la necesidad de una formulación que sea manifiestamente independiente de la gauge, cuantizada para cualquier aproximación discreta del toro de la zona de Brillouin (BZ) y que no necesite condiciones de fijación de gauge arbitrarias.

Metodología
Los autores proponen una formulación discreta basada en el concepto de polarización de inversión temporal. La metodología procede de la siguiente manera:

1. Configuración del Sistema: Se considera un Hamiltoniano $H(k)$ de dimensión 2N en un toro de BZ 2D que satisface la simetría de inversión temporal (TRS), definido por el operador $T = U_T K$, donde $U_T$ es unitario y antisimétrico. La región independiente se restringe a un cilindro $C$ debido a la TRS.
2. Discretización: El cilindro $C$ se aproxima mediante una red $|C|$ con espaciados $\delta k_x$ y $\delta k_y$, asegurando la inclusión de los puntos de alta simetría $\Gamma \in \{(0,0), (\pi,0), (0,\pi), (\pi,\pi)\}$.
3. Selección de Bandas: La formulación se centra en un conjunto de $2n$ bandas aisladas separadas por un gap de energía finito $\Delta$. Se define un conjunto ortonormal de autostados $U(k)$ para estas bandas en cada punto de la red.
4. Definiciones Invariantes de Gauge:
   • Se introduce una matriz unitaria $w(k) = U(-k)U_T U(k)^*$. En los puntos de alta simetría, se define el Pfaffiano $\text{Pf}[w(\Gamma)]$.
   • Polarización de Inversión Temporal ($P_{T,x}$): Definida en los círculos de frontera ($k_y=0$ y $k_y=\pi$) del cilindro mediante un producto de determinantes de superposiciones entre autostados vecinos y los Pfaffianos en los puntos de alta simetría. Crucialmente, se demuestra que esta cantidad es independiente de la elección de gauge $U(2n)$ de $U(k)$ y está bien definida módulo 1.
   • Relación con la Polarización Estándar: La polarización de Berry estándar $P_x$ está relacionada con la polarización de inversión temporal mediante $P_x(\Gamma_y) = 2P_{T,x}(\Gamma_y) \mod 1$.
   • Flujo de Berry: El flujo de Berry $F(\square k)$ se define para cada celda unitaria en la red a través del argumento del producto de determinantes de superposiciones alrededor de la celda unitaria. Este flujo es invariante de gauge.
5. Construcción del Invariante: El invariante $Z_2$ $\nu \in \{0, 1\}$ se construye combinando la suma de los flujos de Berry sobre todo el cilindro con las polarizaciones de inversión temporal de frontera:
   $$\nu = \frac{1}{2\pi} \sum_{\square k \in |C|} F(\square k) - 2P_{T,x}(0) + 2P_{T,x}(\pi) \mod 2$$

Contribuciones y Resultados Clave

• Independencia de Gauge: La formulación elimina explícitamente la necesidad de condiciones de gauge de inversión temporal (como las requeridas en cálculos de red anteriores, por ejemplo, de Fukui y Hatsugai). El invariante resultante es invariante bajo transformaciones de gauge arbitrarias $U(2n)$ $U(k) \to U(k)V(k)$.
• Cuantización Discreta: El artículo demuestra que el invariante $\nu$ está estrictamente cuantizado a $\{0, 1\}$ para cualquier aproximación discreta del toro de la BZ, siempre que la red incluya los puntos de alta simetría.
• Estructura Matemática: Al utilizar la polarización de inversión temporal, los autores establecen un vínculo directo entre el flujo de Berry del volumen y las condiciones de frontera sin requerir una fijación de gauge continua. La relación $P_x = 2P_{T,x} \mod 1$ permite expresar el invariante $Z_2$ puramente en términos de cantidades invariantes de gauge.

Significado
El artículo afirma que esta formulación proporciona un método robusto y "manifiestamente independiente de la gauge" para calcular el invariante $Z_2$ de Kane-Mele. Su significado principal radica en su aplicabilidad a cálculos numéricos en red donde la fijación de gauge suele ser difícil o introduce inestabilidad numérica. Al asegurar la cuantización para cualquier red discreta y eliminar la necesidad de condiciones de gauge específicas, el método ofrece un enfoque simplificado y teóricamente limpio para identificar el orden topológico $Z_2$ en aislantes de bandas. Los autores presentan esto como una nota breve que proporciona una formulación específica y práctica que resuelve las dependencias de fijación de gauge encontradas en enfoques de red anteriores.