A Remarkable Application of Zassenhaus Formula to Strongly Correlated Electron Systems

We show that the Zassenhaus decomposition for the exponential of the sum of two non-commuting operators, simplifies drastically when these operators satisfy a simple condition, called the no-mixed adjoint property. An important application to a Unitary Coupled Cluster method for strongly correlated electron systems is presented. This ansatz requires no Trotterization and is exact on a quantum computer with a finite number of Givens gate equals to the number of free parameters. The formulas obtained in this work also shed light on why and when optimization after Trotterization gives exact solutions in disentangled forms of unitary coupled cluster.