Investigadores han desarrollado una estrategia general para determinar límites de error rigurosos y constantes de error explícitas para las fórmulas de Baker-Campbell-Hausdorff (BCH) y Zassenhaus. Estas fórmulas son herramientas matemáticas fundamentales en diversas ramas de la física y las matemáticas, especialmente en problemas que involucran operadores no conmutativos, como la evolución cuántica. La capacidad de cuantificar el error en sus aproximaciones truncadas es crucial para la fiabilidad de los cálculos.

La fórmula BCH expresa el logaritmo del producto de exponenciales de operadores no conmutativos como una serie infinita de conmutadores anidados. Por otro lado, la fórmula de Zassenhaus, su dual, escribe la exponencial de una suma de operadores como un producto infinito de exponenciales que involucran a los operadores y sus conmutadores. En la práctica, estas series deben truncarse para realizar cálculos, lo que introduce un error. La comprensión y acotación de este error es de suma importancia para garantizar la precisión de las aproximaciones.

El nuevo trabajo se centra en el caso donde los operadores involucrados son antihermíticos (skew-adjoint), una condición que se cumple en numerosos problemas de evolución cuántica. Al proporcionar una metodología para derivar límites de error explícitos, esta investigación mejora la confianza en las aplicaciones computacionales de estas fórmulas en campos como la mecánica cuántica, donde la precisión en la descripción de la evolución temporal de los sistemas es fundamental. Esto permitirá una evaluación más robusta de los resultados obtenidos mediante aproximaciones truncadas.