Fuente verificadaNivel 4

Trotterización

La trotterización aproxima la evolución continua bajo una suma de generadores no conmutantes A + B alternando muchos pasos diminutos bajo A y B por separado, con un error que se reduce de forma predecible a medida que la rebanada de tiempo Δt se hace más pequeña.

Qué significa

Muchos hamiltonianos y liouvillianos se dividen naturalmente como A + B, donde las dos partes no conmutan, de modo que e^{(A+B)t} ≠ e^{At}e^{Bt} y la evolución exacta es difícil de calcular directamente.La fórmula del producto de Hale Trotter (1959) muestra que alternar pasos diminutos — (e^{AΔt} e^{BΔt})^n con n = t/Δt — converge a la verdadera evolución cuando Δt → 0.Para la división de primer orden, el error escala como O(Δt): reducir el paso a la mitad debería reducir el error a la mitad, y extrapolar dt → 0 debería converger hacia la respuesta exacta — una propiedad que se puede medir y verificar.Masuo Suzuki extendió después la fórmula a órdenes superiores (descomposición de Suzuki–Trotter).La trotterización sustenta tanto la simulación clásica de la dinámica cuántica (dividiendo un generador de Lindblad en partes coherente y disipativa) como los algoritmos de simulación cuántica, como el simulador cuántico universal de Lloyd (1996).Un teorema de 1959 sigue soportando carga 67 años después, a fecha de 2026.Una advertencia estructural: dos simuladores que comparten la misma familia de discretización temporal son ciegos al error de clase Trotter del otro — comprobarlo exige un método que no rebane el tiempo en absoluto: la exponencial de matriz exacta.

Analogía cotidiana

Imagina una cámara que no puede grabar vídeo pero sí puede tomar fotos. Toma fotos MUY rápidamente y únelas: obtienes casi-vídeo — cuanto más finas las rebanadas de tiempo (Δt más pequeño), más cerca del movimiento continuo real. Eso es la trotterización: evolucionar alternadamente bajo A y B en pasos diminutos aproxima evolucionar bajo A + B de una sola vez.
Etimología: Trotter es una PERSONA — el matemático Hale Trotter demostró la fórmula del producto de semigrupos en 1959, y Masuo Suzuki la extendió después a órdenes superiores (descomposición de Suzuki–Trotter). Las ecuaciones con nombre de persona son la cultura de citación de la ciencia: el nombre es una nota al pie permanente que señala a quien la demostró.

Errores comunes

  • El error de Trotter NO es un fallo — es una aproximación controlada y predecible: el error de primer orden escala como O(Δt), y extrapolar dt → 0 debería converger, una propiedad que se puede verificar.
  • Dos simuladores que comparten la misma familia de discretización temporal NO PUEDEN detectar el error de clase Trotter del otro (error de modo común) — comprobarlo exige un método que no rebane el tiempo en absoluto, como la exponencial de matriz exacta.

Puntos clave

  • e^{(A+B)t} ≈ (e^{AΔt} e^{BΔt})^n con error de primer orden O(Δt): rebanadas más finas significan un error más pequeño y predecible.
  • La trotterización sustenta tanto la simulación clásica de la dinámica cuántica como los algoritmos de simulación cuántica (Lloyd 1996).
  • El teorema de Trotter de 1959 sigue soportando carga 67 años después, a fecha de 2026 — desde los solvers de Lindblad hasta el hardware cuántico.

Comprueba tu comprensión

Para la división de Trotter de primer orden (e^{AΔt}e^{BΔt})^n, ¿cómo escala el error de aproximación con la rebanada de tiempo Δt?

  1. A.O(Δt²) — cuadráticamente
  2. B.O(Δt) — linealmente
  3. C.O(1/Δt) — inversamente
  4. D.El error es independiente de Δt
Ver la respuesta

Respuesta: B. O(Δt) — linealmente

Por qué: La división de Trotter de primer orden tiene error O(Δt): reducir el tamaño del paso a la mitad reduce el error a la mitad, y extrapolar dt → 0 converge hacia la evolución exacta — una firma verificable.

Dos simuladores independientes usan ambos la división de Trotter de primer orden y coinciden entre sí hasta 14 decimales. ¿Qué NO puede descartar esta coincidencia?

  1. A.Un error de signo presente en solo una de las dos bases de código
  2. B.Un error de discretización de clase Trotter compartido por ambos (error de modo común)
  3. C.Una diferencia en la semilla del generador de números aleatorios
  4. D.Una diferencia de redondeo en coma flotante entre las dos máquinas
Ver la respuesta

Respuesta: B. Un error de discretización de clase Trotter compartido por ambos (error de modo común)

Por qué: Ambos simuladores rebanan el tiempo de la misma manera, así que comparten el mismo error de aproximación de la familia Trotter y no pueden verlo el uno en el otro. Detectarlo exige un método que nunca rebane el tiempo — la exponencial de matriz exacta.

Se apoya en

Unitariedad

Fuente primaria: H. F. Trotter, On the product of semi-groups of operators, Proc. Amer. Math. Soc. 10, 545 (1959)

Product formula theorem 1959; higher-order per Suzuki, Commun. Math. Phys. 51, 183 (1976); quantum-simulation use per Lloyd, Science 273, 1073 (1996).

Apréndelo con la práctica

Este concepto forma parte de un plan de 46 niveles, con un simulador interactivo y Lumen, un tutor cuyas respuestas se verifican antes de mostrarse. Los niveles 1–5 son gratuitos.

Empezar gratisVer el plan de estudios