We study necessary conditions for the efficient simulation of both bipartite and multipartite Hamiltonians, which are independent of the eigenvalues and based on the algebraic-geometric invariants introduced in [1-2]. Our results indicate that the problem of efficient simulation of Hamiltonians for arbitrary and multipartite quantum systems cannot be described by using only eigenvalues, unlike that in the two-qubit case.
We present a new approach to simulating Hamiltonian dynamics based on implementing linear combinations of unitary operations rather than products of unitary operations. The resulting algorithm has superior performance to existing simulation algorithms based on product formulas and, most notably, scales better with the simulation error than any known Hamiltonian simulation technique. Our main tool is a general method to nearly deterministically implement linear combinations of nearby unitary operations, which we show is optimal among a large class of methods.
We present a systematic construction of effective Hamiltonians of periodically driven quantum systems. Because of an equivalence between the time dependence of a Hamiltonian and an interaction in its Floquet operator, flow equations, that permit to decouple interacting quantum systems, allow us to identify time-independent Hamiltonians for driven systems. With this approach, we explain the experimentally observed deviation of expected suppression of tunneling in ultracold atoms.
When can a quantum system of finite dimension be used to simulate another quantum system of finite dimension? What restricts the capacity of one system to simulate another? In this paper we complete the program of studying what simulations can be done with entangling many-qudit Hamiltonians and local unitary control. By entangling we mean that every qudit is coupled to every other qudit, at least indirectly. We demonstrate that the only class of finite-dimensional entangling Hamiltonians that aren't universal for simulation is the class of entangling Hamiltonians on qubits whose Pauli operator…
We show that several Hamiltonians that are $\mathcal{PT}$ symmetric may be taken to Hermitian Hamiltonians via a non-unitary transformation and vice versa. We also show that for some specific Hamiltonians such non-unitary transformations may be associated, via a fractional-Wick rotation, to complex time.
We present general methods for simulating black-box Hamiltonians using quantum walks. These techniques have two main applications: simulating sparse Hamiltonians and implementing black-box unitary operations. In particular, we give the best known simulation of sparse Hamiltonians with constant precision. Our method has complexity linear in both the sparseness D (the maximum number of nonzero elements in a column) and the evolution time t, whereas previous methods had complexity scaling as D^4 and were superlinear in t. We also consider the task of implementing an arbitrary unitary operation gi…
It has been argued that it is incompatible to maintain unitary time-evolution for time-dependent non-Hermitian Hamiltonians when the metric operator is explicitly time-dependent. We demonstrate here that the time-dependent Dyson equation and the time-dependent quasi-Hermiticity relation can be solved consistently in such a scenario for a time-dependent Dyson map and time-dependent metric operator, respectively. These solutions are obtained at the cost of rendering the non-Hermitian Hamiltonian to be a non-observable operator as it ceases to be quasi-Hermitian when the metric becomes time-depen…
Recently, the problem of discriminating multipartite unitary operations by local operations and classical communication (LOCC) has attracted significant attention. The latest work in the literature on this problem showed that two multipartite unitary operations can always be perfectly distinguished by LOCC when a finite number of runs are allowable. However, in these schemes, local entanglement (an entangled state holden by one party) was required, which seems to imply that local entanglement is necessary for perfect discrimination between unitary operations by LOCC. In this article, we show t…
I point out that if one defines the operator $U_R(t)$ as done by M. Znojil in his reply [arXiv:0711.0514v1] to my comment [arXiv:0711.0137v1] and also accepts the validity of the defining relation of $U_R(t)$ as given in his paper [arXiv:0710.5653v1], one finds that the time-evolution of the associated quantum system is not governed by the Schrödinger equation for the Hamiltonian operator $H$ but an operator $H'$ which differs from $H$ if the metric operator is time-dependent. In the latter case this effective Hamiltonian $H'$ is not observable. This is consistent with the conclusions of my pa…
In this paper we outline the extension of recently introduced the sub-system embedding sub-algebras coupled cluster (SES-CC) formalism to the unitary CC formalism. In analogy to the standard single-reference SES-CC formalism, its unitary CC extension allows one to include the dynamical (outside the active space) correlation effects in an SES induced complete active space (CAS) effective Hamiltonian. In contrast to the standard single-reference SES-CC theory, the unitary CC approach results in a Hermitian form of the effective Hamiltonian. Additionally, for the double unitary CC formalis (DUCC)…
We show that a unitary operation (quantum circuit) secretely chosen from a finite set of unitary operations can be determined with certainty by sequentially applying only a finite amount of runs of the unknown circuit. No entanglement or joint quantum operations is required in our scheme. We further show that our scheme is optimal in the sense that the number of the runs is minimal when discriminating only two unitary operations.
Estimating the eigenvalues of a unitary transformation U by standard phase estimation requires the implementation of controlled-U-gates which are not available if U is only given as a black box. We show that a simple trick allows to measure eigenvalues of U\otimes U^\dagger even in this case. Running the algorithm several times allows therefore to estimate the autocorrelation function of the density of eigenstates of U. This can be applied to find periodicities in the energy spectrum of a quantum system with unknown Hamiltonian if it can be coupled to a quantum computer.
We derive necessary and sufficient conditions for the LU-equivalence of two general (pure or mixed) $n$-qubit states as well as we determine the local unitary operators connecting them. Almost all relevant information is contained in the $1$-qubit reduced matrices of the multiqubit states under investigation Our technique relies on identifying {\it ab initio} all local symmetries and the corresponding local cyclic unitary operators. To derive the above conditions we use the reference forms of the multiqubit states whose definition requires the diagonalization of the 1-qubit reduced matrices. B…
We in this paper demonstrate that the $PT$-symmetric non-Hermitian Hamiltonian for a periodically driven system can be generated from a kernel Hamiltonian by a generalized gauge transformation. The kernel Hamiltonian is Hermitian and static, while the time-dependent transformation operator has to be $PT$ symmetric and non-unitary in general. Biorthogonal sets of eigenstates appear necessarily as a consequence of non-Hermitian Hamiltonian. We obtain analytically the wave functions and associated non-adiabatic Berry phase $γ_{n}$ for the $n$th eigenstate. The classical version of the non-Hermiti…
A central result in the study of Quantum Hamiltonian Complexity is that the k-Local hamiltonian problem is QMA-complete. In that problem, we must decide if the lowest eigenvalue of a Hamiltonian is bounded below some value, or above another, promised one of these is true. Given the ground state of the Hamiltonian, a quantum computer can determine this question, even if the ground state itself may not be efficiently quantum preparable. Kitaev's proof of QMA-completeness encodes a unitary quantum circuit in QMA into the ground space of a Hamiltonian. However, we now have quantum computing models…
We consider interactions as bidirectional channels. We investigate the capacities for interaction Hamiltonians and nonlocal unitary gates to generate entanglement and transmit classical information. We give analytic expressions for the entanglement generating capacity and entanglement-assisted one-way classical communication capacity of interactions, and show that these quantities are additive, so that the asymptotic capacities equal the corresponding 1-shot capacities. We give general bounds on other capacities, discuss some examples, and conclude with some open questions.
In arXiv:0710.5653v1 M. Znojil claims that he has found and corrected an error in my paper: [Phys. Lett. B \textbf{650}, 208 (2007), arXiv:0706.1872v2] and that it is possible to escape its main conclusion, namely that the unitarity of the time-evolution and observability of the Hamiltonian imply time-independence of the metric operator. In this note I give a very short calculation showing that the analysis given by M. Znojil also leads to the same conclusion as of my above-mentioned paper. This is actually a reconfirmation of the validity of the results of the latter paper.
We study a deformation of the counterdiabatic-driving Hamiltonian as a systematic strategy for an adiabatic control of quantum states. Using a unitary transformation, we design a convenient form of the driver Hamiltonian. We apply the method to a particle in a confining potential and discrete systems to find explicit forms of the Hamiltonian and discuss the general properties. The method is derived by using the quantum brachistochrone equation, which shows the existence of a nontrivial dynamical invariant in the deformed system.
We introduce a twisted Heisenberg-type interaction Hamiltonian, a Heisenberg-type spin interaction where the coordinates of the second qubit are twisted according to a unitary gate. We develop parallelizable adiabatic gate teleportation (PAGT) where a sequence of unitary gates is performed in a single step of the adiabatic process. In PAGT, numeric calculations suggest the necessary time for the adiabatic evolution implementing a sequence of $L$ unitary gates increases at most as $O(L^5)$. However, we show that it has the interesting property that it can map the temporal order of gates to the …
We decompose the quantum adiabatic evolution as the products of gauge invariant unitary operators and obtain the exact nonadiabatic correction in the adiabatic approximation. A necessary and sufficient condition that leads to adiabatic evolution with geometric phases is provided and we determine that in the adiabatic evolution, while the eigenstates are slowly varying, the eigenenergies and degeneracy of the Hamiltonian can change rapidly. We exemplify this result by the example of the adiabatic evolution driven by parametrized pulse sequences. For driving fields that are rotating slowly with …
We analyze several non-Hermitian Hamiltonians with antiunitary symmetry from the point of view of their point-group symmetry. It enables us to predict the degeneracy of the energy levels and to reduce the dimension of the matrices necessary for the diagonalization of the Hamiltonian in a given basis set. We can also classify the solutions according to the irreducible representations of the point group and thus analyze their properties separately. One of the main results of this paper is that some PT-symmetric Hamiltonians with point-group symmetry $C_{2v}$ exhibit complex eigenvalues for all v…
Unitary designs from perturbed time evolutions of a chaotic Hamiltonian
International Center for Quantum Materials, School of Physics, Peking University（北京大学物理学院量子材料中心）；Wilczek Quantum Center, Shanghai Institute for Advanced Studies, University of Science and Technology of China（中国科学院大学上海高等研究院吴文俊亚洲数学中心）；Hefei National Laboratory（合肥国家实验室）；Beijing Key Laboratory of Quantum Devices, Peking University（北京大学量子器件北京市重点实验室）
Quantum Hamiltonians containing nonseparable products of non-commuting operators, such as $\hat{\bf x}^m \hat{\bf p}^n$, are problematic for numerical studies using split-operator techniques since such products cannot be represented as a sum of separable terms, such as $T(\hat{\bf p}) + V(\hat{\bf x})$. In the case of classical physics, Chin [Phys. Rev. E $\bf 80$, 037701 (2009)] developed a procedure to approximately represent nonseparable terms in terms of separable ones. We extend Chin's idea to quantum systems. We demonstrate our findings by numerically evolving the Wigner distribution of …
We present a way of treating the problem of the interaction of a single trapped ion with laser beams based on successive aplications of unitary transformations onto the Hamiltonian. This allows the diagonalization of the Hamiltonian, by means of recursive relations, without performing the Lamb-Dicke approximation.
Continuous Variable Hamiltonian Learning at Heisenberg Limit via Displacement-Random Unitary Transformation
School of Stomatology, Peking University（北京大学口腔医学院）；Department of Chemistry and Biochemistry, University of California, Los Angeles（加州大学洛杉矶分校化学与生物化学系）；Department of Physics, Tsinghua University（清华大学物理系）；Institute of Advanced Study, Tsinghua University（清华大学高等研究院）
We consider the local unitary equivalence of a class of quantum states in bipartite case and multipartite case. The necessary and sufficient condition is presented. As special cases, the local unitary equivalent classes of isotropic state and werner state are provided. Then we study the local unitary similar equivalence of this class of quantum states and analyze the necessary and sufficient condition.
It is shown that, in the framework of non-relativistic quantum mechanics, any conserved Hermitian operator (which may depend explicitly on the time) is the generator of a one-parameter group of unitary symmetries of the Hamiltonian and that, conversely, any one-parameter family of unitary symmetries of the Hamiltonian is generated by a conserved Hermitian operator.
Based on recently introduced efficient quantum state tomography schemes, we propose a scalable method for the tomography of unitary processes and the reconstruction of one-dimensional local Hamiltonians. As opposed to the exponential scaling with the number of subsystems of standard quantum process tomography, the method relies only on measurements of linearly many local observables and either (a) the ability to prepare eigenstates of locally informationally complete operators or (b) access to an ancilla of the same size as the to-be-characterized system and the ability to prepare a maximally …
We investigate the synthesis of continuous-variable two-mode unitary gates in the setting where two modes A and B are coupled by a fixed quadratic Hamiltonian H. The gate synthesis consists of a sequence of evolutions governed by Hamiltonian H interspaced by local phase shifts applied to A and B. We concentrate on protocols that require the minimum necessary number of steps and we show how to implement the beam splitter and the two-mode squeezer in just three steps. Particular attention is paid to the Hamiltonian x_A p_B that describes the effective off-resonant interaction of light with the c…
We present a novel approach for studying the dynamics of a superconducting qubit in a cavity. We succeed in linearizing the Hamiltonian through the application of an appropriate unitary transformation followed by a rotating wave approximation (RWA). For certain values of the parameters involved, we show that it is possible to obtain a a Jaynes-Cummings type Hamiltonian. As an example, we show the existence of super-revivals for the qubit inversion.
An ensemble of 2 x 2 pseudo-Hermitian random matrices is constructed that possesses real eigenvalues with level-spacing distribution exactly as for the Gaussian Unitary Ensemble found by Wigner. By a re-interpretation of Connes' spectral interpretation of the zeros of the Riemann zeta function, we propose to enlarge the scope of search of the Hamiltonian connected with the celebrated Riemann Hypothesis by suggesting that the Hamiltonian could also be PT-symmetric (or pseudo-Hermitian).
The contextual subspace variational quantum eigensolver (CS-VQE) is a hybrid quantum-classical algorithm that approximates the ground-state energy of a given qubit Hamiltonian. It achieves this by separating the Hamiltonian into contextual and noncontextual parts. The ground-state energy is approximated by classically solving the noncontextual problem, followed by solving the contextual problem using VQE, constrained by the noncontextual solution. In general, computation of the contextual correction needs fewer qubits and measurements compared with solving the full Hamiltonian via traditional …
Minimal, open quantum systems that are governed by non-Hermitian Hamiltonians have been realized across multiple platforms in the past two years. Here we investigate the dynamics of open systems with Hermitian or anti-Hermitian Hamiltonians, both of which can be implemented in such platforms. For a single system subject to unitary and thermal dynamics in a periodic manner, we show that the corresponding Floquet Hamiltonian has a rich phase diagram with numerous exceptional-point (EP) degeneracy contours. This protocol can be used to realize a quantum Hatano-Nelson model that is characterized b…
In his fresh "Comment" (arXiv:0711.0137v1), A. Mostafazadeh reacts on my very recent letter (arXiv:0710.5653v1) where I tried to clarify certain misunderstandings which occurred in A. M., Phys. Lett. B \textbf{650}, 208 (2007) [arXiv:0706.1872v2, "Paper"]. As long as the "Comment" offers a new support of the original assertions made in the "Paper", I feel obliged to re-clarify the matter by extending my argumentation. I insist that it is possible to escape the main conclusion of the "Paper", indeed. In particular, I point out a gap in the new calculations in "Comment", add a few remarks on the…
The Bloch sphere is a familiar and useful geometrical picture of the dynamics of a single spin or two-level system's quantum evolution. The analogous geometrical picture for three-level systems is presented, with several applications. The relevant SU(3) group and su(3) algebra are eight-dimensional objects and are realized in our picture as two four-dimensional manifolds describing the time evolution operator. The first, called the base manifold, is the counterpart of the S^2 Bloch sphere, whereas the second, called the fiber, generalizes the single U(1) phase of a single spin. Now four-dimens…
In this paper we discuss the utilization of Variational Quantum Solver (VQE) and recently introduced Generalized Unitary Coupled Cluster (GUCC) formalism for the diagonalization of downfolded/effective Hamiltonians in active spaces. In addition to effective Hamiltonians defined by the downfolding of a subset of virtual orbitals we also consider their form defined by freezing core orbitals, which enables us to deal with larger systems. We also consider various solvers to identify solutions of the GUCC equations. We use N$_2$, H$_2$O, and C$_2$H$_4$, and benchmark systems to illustrate the perfo…
We present a superconvergent Kolmogorov-Arnold-Moser type of perturbation theory for time-dependent Hamiltonians. It is strictly unitary upon truncation at an arbitrary order and not restricted to periodic or quasiperiodic Hamiltonians. Moreover, for pulse-driven systems we construct explicitly the KAM transformations involved in the iterative procedure. The technique is illustrated on a two-level model perturbed by a pulsed interaction for which we obtain convergence all the way from the sudden regime to the opposite adiabatic regime.
We present a simple derivation of the formula for the Hamiltonian operator(s) that achieve the fastest possible unitary evolution between given initial and final states. We discuss how this formula is modified in pseudo-Hermitian quantum mechanics and provide an explicit expression for the most general optimal-speed quasi-Hermitian Hamiltonian. Our approach allows for an explicit description of the metric- (inner product-) dependence of the lower bound on the travel time and the universality (metric-independence) of the upper bound on the speed of unitary evolutions.
For the tensor of coherences parametrization of a multiqubit density operator, we provide an explicit formulation of the corresponding unitary dynamics at infinitesimal level. The main advantage of this formalism (clearly reminiscent of the idea of ``coherences'' and ``coupling Hamiltonians'' of spin systems) is that the pattern of correlation between qubits and the pattern of infinitesimal correlation are highlighted simultaneously and can be used constructively for qubit manipulation. For example, it allows to compute explicitly a Rodrigues' formula for the one-parameter orbits of nonlocal H…
The unitary generation of coherence from an incoherent thermal state is investigated. We consider a completely controllable Hamiltonian allowing to generate all possible unitary transformations. Optimizing the unitary control to achieve maximum coherence leads to a micro-canonical energy distribution on the diagonal energy representation. We demonstrate such a control scenario starting from a Hamiltonian utilizing optimal control theory for unitary targets. Generating coherence from an incoherent initial state always costs external work. By constraining the amount of work invested by the contr…
The relation between Bell-CHSH violation and factorization of Hilbert space is considered here. That is, a state which is local in the sense of the Bell-CHSH inequality under a certain factorization of the underlying Hilbert space can be Bell-CHSH non-local under a different factorization. While this question has been addressed with respect to separability , the relation of the factorization with Bell-CHSH violation has remained hitherto unexplored. We find here, that there is a set containing density matrices which do not exhibit Bell-CHSH violation under any factorization of the Hilbert spac…
Stoquastic Hamiltonians play a role in the computational complexity of the local Hamiltonian problem as well as the study of classical simulability. In particular, stoquastic Hamiltonians can be straightforwardly simulated using Monte Carlo techniques. We address the question of whether two or more Hamiltonians may be made simultaneously stoquastic via a unitary transformation. This question has important implications for the complexity of simulating quantum annealing where quantum advantage is related to the stoquasticity of the Hamiltonians involved in the anneal. We find that for almost all…
We discuss the dynamical quantum systems which turn out to be bi-unitary with respect to the same alternative Hermitian structures in a infinite-dimensional complex Hilbert space. We give a necessary and sufficient condition so that the Hermitian structures are in generic position. Finally the transformations of the bi-unitary group are explicitly obtained.
We present a general method which expresses a unitary operator by the product of operators allowed by the Hamiltonian of spin-1/2 systems. In this method, the generator of an operator is found first, and then the generator is expanded by the base operators of the product operator formalism. Finally, the base operators disallowed by the Hamiltonian, including more than two-body interaction operators, are replaced by allowed ones by the axes transformation and coupling order reduction technique. This method directly provides pulse sequences for the nuclear magnetic resonance quantum computer, an…
To obtain estimates of electronic energies, the Variational Quantum Eigensolver (VQE) technique performs separate measurements for multiple parts of the system Hamiltonian. Current quantum hardware is restricted to projective single-qubit measurements, and thus, only parts of the Hamiltonian which form mutually qubit-wise commuting groups can be measured simultaneously. The number of such groups in the electronic structure Hamiltonians grows as $N^4$, where $N$ is the number of qubits, and thus puts serious restrictions on the size of the systems that can be studied. Using a partitioning of th…
Variational quantum algorithms are promising applications of noisy intermediate-scale quantum (NISQ) computers. These algorithms consist of a number of separate prepare-and-measure experiments that estimate terms in a Hamiltonian. The number of terms can become overwhelmingly large for problems at the scale of NISQ hardware that may soon be available. We approach this problem from the perspective of contextuality, and use unitary partitioning (developed independently by Izmaylov et al. [J. Chem. Theory Comput. 16, 190 (2020)]) to define variational quantum eigensolver procedures in which addit…
The system whose Hamiltonian is a linear combination of the generators of SU(1,1) group with time-dependent coefficients is studied. It is shown that there is a unitary relation between the system and a system whose Hamiltonian is simply proportional to the generator of the compact subgroup of the SU(1,1). The unitary relation is described by the classical solutions of a time-dependent (harmonic) oscillator. Making use of the relation, the wave functions satisfying the Schrödinger equation are given for a general unitary representation in terms of the matrix elements of a finite group transfor…
Optimal realizations of quantum technology tasks lead to the necessity of a detailed analytical study of the behavior of a $d$-level quantum system (qudit) under a time-dependent Hamiltonian. In the present article, we introduce a new general formalism describing the unitary evolution of a qudit $(d\geq2)$ in terms of the Bloch-like vector space and specify how in a general case this formalism is related to finding time-dependent parameters in the exponential representation of the evolution operator under an arbitrary time-dependent Hamiltonian. Applying this new general formalism to a qubit c…
We introduce the informational correlation $E^{AB}$ between two interacting quantum subsystems $A$ and $B$ of a quantum system as the number of arbitrary parameters $φ_i$ of a unitary transformation $U^A$ (locally performed on the subsystem $A$) which may be detected in the subsystem $B$ by the local measurements. This quantity indicates whether the state of the subsystem $B$ may be effected by means of the unitary transformation applied to the subsystem $A$. Emphasize that $E^{AB}\neq E^{BA}$ in general. The informational correlations in systems with tensor product initial states are studied …
