Molena Nguyen | arXiv Science

arXiv2026

Zassenhaus Expansion in Solving the Schrödinger Equation

A fundamental challenge in quantum simulation is approximating the time-evolution operator $U(t)=e^{-i\mathcal{H}t}$ generated by a large sum of typically non-commuting Hamiltonians using resource-efficient circuits compatible with near-term devices. We present a refinement of fixed-depth Lie-theoretic simulation that incorporates second-order Zassenhaus commutator corrections into a Cartan/KAK decomposition template. The resulting approximation retains constant circuit depth while achieving local error $\mathcal{O}(t^3)$ in operator norm under standard boundedness assumptions, and it substantially reduces gate counts relative to first-order product formulas when time is large and depth is constrained. The method leverages closure of Pauli commutators inside Pauli-generated Lie algebras, enabling symbolic commutator evaluation and avoiding explicit matrix exponentiation in classical preprocessing. This yields a structured pathway to compile lattice and chemistry-inspired Hamiltonians with locality constraints into fixed-depth circuits suitable for noisy intermediate-scale quantum hardware.

quant-ph↗

arXiv2026

Complexity Bounds for Hamiltonian Simulation in Unitary Representations

For any unitary representation $ρ$ on a finite-dimensional Hilbert space $V$ with differential $dρ: \mathfrak{g} \to \mathfrak{u}(V)$ for the Lie algebra $\mathfrak g$, we consider the Hamiltonian evolution \[ U_X(t) \coloneqq ρ(\exp(tX)) = e^{t\,dρ(X)}, \qquad t\in\mathbb{R}. \] For any complexification $ X_\mathbb{C} = X_0 + \sum\limits_{α\inΔ} x_αE_α$ associated with the root system $Δ$, we introduce the numerical invariants %\emph{root activity} and \emph{root curvature} functionals \begin{align*} \mathcal{A}_p(X) &\coloneqq \Bigl(\sum_{α\inΔ} |x_α|^p \,\|dρ(E_α)\|_{\mathrm{op}}^p\Bigr)^{1/p}, \quad 1\le p<\infty\\ \mathcal{C}(X) &\coloneqq \Bigl(\sum_{α\inΔ} |α(X_0)|^2\,|x_α|^2 \,\|dρ(E_α)\|_{\mathrm{op}}^2\Bigr)^{1/2}, \end{align*} where $\|\cdot\|_{\mathrm{op}}$ is the operator norm on $\mathrm{End}(V)$. We first describe how the Hamiltonian $dρ(X)$ is distributed along the directions of root spaces $\mathfrak{g}_α$. Our main result shows that for each fixed $X\in\mathfrak{g}$ there exists a constant $C_X>0$ such that \[ \bigl\| e^{t(dρ(X_0)+dρ(X_{\mathrm{root}}))} - e^{\frac{t}{2}dρ(X_0)} e^{t dρ(X_{\mathrm{root}})} e^{\frac{t}{2}dρ(X_0)} \bigr\|_{\mathrm{op}} \le C_X\,t^{3}\,\bigl(\mathcal{C}(X)+\mathcal{A}_1(X_{\mathrm{root}})\bigr) \] for all sufficiently small $|t|$. We also introduce a root-gate circuit model and test this on spin$-$chain Hamiltonians on $(\mathbb{C}^2)^{\otimes n}\subset\mathfrak{su}(2^n)$, where root spaces are spanned by matrix units, $\mathcal{A}_p$, and $\mathcal{C}$, which gives sharper complexity bounds and dimension$-$free representation$-$theoretic invariants.

quant-ph↗