Finding Exponential Product Formulas of Higher Orders
Naomichi Hatano, Masuo Suzuki
备注：
22 pages, 9 figures. To be published in the conference proceedings ''Quantum Annealing and Other Optimization Methods," eds. B.K.Chakrabarti and A.Das (Springer, Heidelberg)
发表信息：
"Quantum Annealing and Other Optimization Methods," Eds. A. Das and B.K. Chakrabarti (Springer, Berlin, 2005) pp. 37-68
In the present article, we review a continual effort on generalization of the Trotter formula to higher-order exponential product formulas. The exponential product formula is a good and useful approximant, particularly because it conserves important symmetries of the system dynamics. We focuse on two algorithms of constructing higher-order exponential product formulas. The first is the fractal decomposition, where we construct higher-order formulas recursively. The second is to make use of the quantum analysis, where we compute higher-order correction terms directly. As interludes, we also have described the decomposition of symplectic integrators, the approximation of time-ordered exponentials, and the perturbational composition.
We provide a recursive method for constructing product formula approximations to exponentials of commutators, giving the first approximations that are accurate to arbitrarily high order. Using these formulas, we show how to approximate unitary exponentials of (possibly nested) commutators using exponentials of the elementary operators, and we upper bound the number of elementary exponentials needed to implement the desired operation within a given error tolerance. By presenting an algorithm for quantum search using evolution according to a commutator, we show that the scaling of the number of …
In a noncommutative algebra there is no canonical way to express elements in univalent way, which is often called "ordering problem". In this note we give product formula of the Weyl algebra in generic ordered expression. In particular, the generic product formula of *-exponential functions of quadratic forms will be given.
In the present paper, we derive a renormalization formula "à la Hardy-Littlewood" for the Gaussian exponential sums with an exact formula for the remainder term. We use this formula to describe the typical growth of the Gaussian exponential sums.
We present a decomposition formula for $U_n$, an integral of time-ordered products of operators, in terms of sums of products of the more primitive quantities $C_m$, which are the integrals of time-ordered commutators of the same operators. The resulting factorization enables a summation over $n$ to be carried out to yield an explicit expression for the time-ordered exponential, an expression which turns out to be an exponential function of $C_m$. The Campbell-Baker-Hausdorff formula and the nonabelian eikonal formula obtained previously are both special cases of this result.
We present a decomposition scheme based on Lie-Trotter-Suzuki product formulae to represent an ordered operator exponential as a product of ordinary operator exponentials. We provide a rigorous proof that does not use a time-displacement superoperator, and can be applied to non-analytic functions. Our proof provides explicit bounds on the error and includes cases where the functions are not infinitely differentiable. We show that Lie-Trotter-Suzuki product formulae can still be used for functions that are not infinitely differentiable, but that arbitrary order scaling may not be achieved.
For the last one and a half decades it has been known that the exponential product formula holds also {\it in norm} in nontrivial cases. In this note, we review the results on its convergence in norm as well as pointwise of the integral kernels in the case for Schrödinger operators, with error bounds. Optimality of the error bounds is elaborated.
The time-ordered exponential representation of a complex time evolution operator in the interaction picture is studied. Using the complex time evolution, we prove the Gell-Mann -- Low formula under certain abstract conditions, in mathematically rigorous manner. We apply the abstract results to quantum electrodynamics with cutoffs.
Formulas to calculate multivector exponentials in a base-free representation and in a orthonormal basis are presented for an arbitrary Clifford geometric algebra Cl(p,q). The formulas are based on the analysis of roots of characteristic polynomial of a multivector. Elaborate examples how to use the formulas in practice are presented. The results may be useful in the quantum circuits or in the problems of analysis of evolution of the entangled quantum states.
This paper is devoted to the analysis of Steklov eigenvalues and Steklov eigenfunctions on a class of warped product Riemannian manifolds $(M,g)$ whose boundary $\partial M$ consists in two distinct connected components $Γ_0$ and $Γ_1$. First, we show that the Steklov eigenvalues can be divided into two families $(λ_m^\pm)_{m \geq 0}$ which satisfy accurate asymptotics as $m \to \infty$. Second, we consider the associated Steklov eigenfunctions which are the harmonic extensions of the boundary Dirichlet to Neumann eigenfunctions. In the case of symmetric warped product, we prove that the Stekl…
For a commutative cocommutative Hopf algebra we study the relationship between a certain linear map defined via a bicharacter, an exponential of a quadratic differential operator and a $\bullet$ product obtained via twisting by a bicharacter. This new relationship between $\bullet$ products and exponentials of quadratic differential operators was inspired by studying the exponential of a particular quadratic differential operator introduced by I. Frenkel, Lepowsky and Meurman in "Vertex operator algebras and the Monster", and used in the theory of twisted modules of lattice vertex algebras.
As discussed in a previous article, any (real) Lorentz algebra element possess a unique orthogonal decomposition as a sum of two mutually annihilating decomposable Lorentz algebra elements. In this article, this concept is extended to the spin representation of the Lorentz algebra. As an application, a formula for the exponential of the spin representation is obtained, as well as a formula for the spin representation of a proper orthochronous Lorentz transformation.
Star-exponential for Fermi systems and the Feynman-Kac formula
Facultad de Ciencias, Universidad Autónoma de San Luis Potosí（圣路易斯波托西自治大学理学院）；Departamento de Física, Centro de Investigación y de Estudios Avanzados del IPN（墨西哥国立理工学院高级研究中心物理系）
We consider a class of exponentials in the Weyl-Heisenberg algebra with exponents of type at most linear in coordinates and arbitrary functions of momenta. They are expressed in terms of normal ordering where coordinates stand to the left from momenta. Exponents appearing in normal ordered form satisfy differential equations with boundary conditions that could be solved perturbatively order by order. Two propositions are presented for the Weyl-Heisenberg algebra in 2 dimensions and their generalizations in higher dimensions. These results can be applied to arbitrary noncommutative spaces for c…
We give a novel characterization of the Euclidean quantum field theory with exponential interaction $ν$ on $\mathbb{R}^2$ through a renormalized integration by parts (IbP) formula, or otherwise said via an Euclidean Dyson-Schwinger equation for expected values of observables. In order to obtain the well-posedness of the singular IbP problem, we import some ideas used to analyse singular SPDEs and we require the measure to "look like" the Gaussian free field (GFF) in the sense that a suitable Wasserstein distance from the GFF is finite. This guarantees the existence of a nice coupling with the …
Given formal differential operators $F_i$ on polynomial algebra in several variables $x_1,...,x_n$, we discuss finding expressions $K_l$ determined by the equation $\exp(\sum_i x_i F_i)(\exp(\sum_j q_j x_j)) = \exp(\sum_l K_l x_l)$ and their applications. The expressions for $K_l$ are related to the coproducts for deformed momenta for the noncommutative space-times of Lie algebra type and also appear in the computations with a class of star products. We find combinatorial recursions and derive formal differential equations for finding $K_l$. We elaborate an example for a Lie algebra $su(2)$, r…
We prove some variants of the exponential formula and apply them to the multivariate Tutte polynomials (also known as Potts-model partition functions) of graphs. We also prove some further identities for the multivariate Tutte polynomial, which generalize an identity for counting connected graphs found by Riordan, Nijenhuis, Wilf and Kreweras and in more general form by Leroux and Gessel, and an identity for the inversion enumerator of trees found by Mallows, Riordan and Kreweras. Finally, we prove a generalization of Mobius inversion on the partition lattice.
Closed form expressions to calculate the exponential of a general multivector (MV) in Clifford geometric algebras (GAs) Cl(p,q) are presented for n=p+q=3. The obtained exponential formulas were applied to find exact GA trigonometric and hyperbolic functions of MV argument. We have verified that the presented exact formulas are in accord with series expansion of MV hyperbolic and trigonometric functions. The exponentials may be applied to solve GA differential equations, in signal and image processing, automatic control and robotics.
For a sequence $P=(p_n(x))_{n=0}^{\infty}$ of polynomials $p_n(x)$, we study the $K$-tuple and $L$-shifted exponential lacunary generating functions $\mathcal{G}_{K,L}(λ;x):=\sum_{n=0}^{\infty}\frac{λ^n}{n!} p_{n\cdot K+L}(x)$, for $K=1,2\dotsc$ and $L=0,1,2\dotsc$. We establish an algorithm for efficiently computing $\mathcal{G}_{K,L}(λ;x)$ for generic polynomial sequences $P$. This procedure is exemplified by application to the study of Hermite polynomials, whereby we obtain closed-form expressions for $\mathcal{G}_{K,L}(λ;x)$ for arbitrary $K$ and $L$, in the form of infinite series involvi…
Katriel, Rasetti and Solomon introduced a $q$-analogue of the Zassenhaus formula written as $e_q^{(A+B)}$ $=$ $e_q^Ae_q^Be_q^{c_2}e_q^{c_3}e_q^{c_4}e_q^{c_5}...$, where $A$ and $B$ are two generally noncommuting operators and $e_q^z$ is the Jackson $q$-exponential, and derived the expressions for $c_2$, $c_3$ and $c_4$. It is shown that one can also write $e_q^{(A+B)}$ $=$ $e_q^Ae_q^Be_{q^2}^{\C_2}e_{q^3}^{\C_3}e_{q^4}^{\C_4}e_{q^5}^{\C_5}...$. Explicit expressions for $\C_2$, $\C_3$ and $\C_4$ are given.
We introduce a formula for translating any upper bound on the percolation threshold of a lattice \g into a lower bound on the exponential growth rate of lattice animals $a(G)$ and vice-versa. We exploit this to improve on the best known asymptotic bounds on $a(\mathbb{Z}^d)$ as $d\to \infty$. Our formula remains valid if instead of lattice animals we enumerate certain sub-species called interfaces. Enumerating interfaces leads to functional duality formulas that are tightly connected to percolation and are not valid for lattice animals, as well as to strict inequalities for the percolation thr…
We revisit the q-deformed counterpart of the Zassenhaus formula, expressing the Jackson $q$-exponential of the sum of two non-$q$-commuting operators as an (in general) infinite product of $q$-exponential operators involving repeated $q$-commutators of increasing order, $E_q(A+B) = E_{q^{α_0}}(A) E_{q^{α_1}}(B) \prod_{i=2}^{\infty} E_{q^{α_i}}(C_i)$. By systematically transforming the $q$-exponentials into exponentials of series and using the conventional Baker-Campbell-Hausdorff formula, we prove that one can make any choice for the bases $q^{α_i}$, $i=0$, 1, 2, ..., of the $q$-exponentials i…
In this paper, we exhibit the non-formal star-exponential of the Lie group SL(2,R) realized geometrically on the curvature contraction of its one-sheeted hyperboloid orbits endowed with its natural non-formal star-product. It is done by a direct resolution of the defining equation of the star-exponential and produces an expression with Bessel functions. This yields a continuous group homomorphism from SL(2,R) into the von Neumann algebra of multipliers of the Hilbert algebra underlied by this natural star-product. As an application, we prove a new identity on Bessel functions.
