We obtain an algorithm for the skew-Takagi factorization based on the singular value decomposition. As an example application of such an algorithm, we consider the computation of Heisenberg evolution of the fermionic creation and annihilation operators in the case of the quadratic Hamiltonian of a special form
The Bloch-Messiah (BM) reduction allows the decomposition of an arbitrarily complicated Gaussian unitary into a very simple scheme in which linear optical components are separated from nonlinear ones. The nonlinear part is due to the squeezing possibly present in the Gaussian unitary. The reduction is usually obtained by exploiting the singular value decomposition (SVD) of the matrices appearing in the Bogoliubov transformation of the given Gaussian unitary. This paper discusses a different approach, where the BM reduction is obtained in a straightforward way. It is based on the Takagi factorization of the (complex and symmetric) squeeze matrix and has the advantage of avoiding several matrix operations of the previous approach (polar decomposition, eigendecomposition, SVD, and Takagi factorization). The theory is illustrated with an application example in which the previous and present approaches are compared.
The well-known Schmidt decomposition, or equivalently, the complex singular value decomposition, states that a pure quantum state of a bipartite system can always be brought into a "diagonal" form using local unitary transformations. In this work we consider a finite-dimensional closed bipartite system with fast local unitary control. In this setting one can define a reduced control system on the singular values of the state which is equivalent to the original control system. We explicitly describe this reduced control system and prove equivalence to the original system. Moreover, using the reduced control system, we prove that the original system is controllable and stabilizable and we deduce quantum speed limits. We also treat the fermionic and bosonic cases in parallel, which are related to the Autonne-Takagi and Hua factorization respectively.
Nonautonomous linear ordinary differential equations of the form v˙(t)=A(t)v(t), where A(t) is non-skew-symmetric, are often used to describe nonunitary dynamics in a variety of fields that range from open quantum system dynamics to economic modeling. Because quantum computing hardware is designed to natively implement unitary transformations, existing algorithms for solving such equations on quantum hardware are based on the assumption that the nonunitary propagator is known, and use dilation techniques to embed the nonunitary dynamics within the unitary dynamics of a larger system. However, with the exception of cases where the nonunitary propagator is known in closed form, it needs to be calculated and manipulated on a classical computer at each time step. In this paper, we propose a quantum algorithm that does not require a priori knowledge of the explicit nonunitary propagator and effectively performs the dilation on the quantum hardware. Our algorithm combines a dilation scheme that uses singular value decomposition (SVD) to write the nonunitary propagator as a sum of unitaries with simulating the dynamics of the SVD factors on the quantum hardware. The population-only time-convolutionless quantum master equation describing photoinduced charge transfer in a solvated molecular triad is used as a demonstrative example of the applicability of the algorithm and its sensitivity to noise.
In this tutorial, we summarize four important matrix decompositions commonly used in quantum optics, namely the Takagi/Autonne, Bloch–Messiah/Euler, Iwasawa, and Williamson decompositions. The first two of these decompositions are specialized versions of the singular-value decomposition when applied to symmetric or symplectic matrices. The third factors any symplectic matrix in a unique way in terms of matrices that belong to different subgroups of the symplectic group. The last one instead gives the symplectic diagonalization of real, positive definite matrices of even size. While proofs of the existence of these decompositions exist in the literature, we review explicit constructions to implement these decompositions using standard linear algebra packages and functionalities such as singular-value, polar, Schur, and QR decompositions, and matrix square roots and inverses.