We consider quantum computational models defined via a Lie-algebraic theory. In these models, specified initial states are acted on by Lie-algebraic quantum gates and the expectation values of Lie algebra elements are measured at the end. We show that these models can be efficiently simulated on a classical computer in time polynomial in the dimension of the algebra, regardless of the dimension of the Hilbert space where the algebra acts. Similar results hold for the computation of the expectation value of operators implemented by a gate-sequence. We introduce a Lie-algebraic notion of generalized mean-field Hamiltonians and show that they are efficiently ("exactly") solvable by means of a Jacobi-like diagonalization method. Our results generalize earlier ones on fermionic linear optics computation and provide insight into the source of the power of the conventional model of quantum computation.
There is currently much interest in the two-axis countertwisting spin squeezing Hamiltonian suggested originally by Kitagawa and Ueda, since it is useful for interferometry and metrology. No analytical solution valid for arbitrary spin values seems to be available. In this article we systematically consider the issue of the analytical solvability of this Hamiltonian for various specific spin values. We show that the spin squeezing dynamics can be considered to be analytically solved for angular momentum values upto $21/2$, i.e. for $21$ spin half particles. We also identify the properties of t…
A complexified von Roos Hamiltonian is considered and a Hermitian first-order intertwining differential operator is used to obtain the related position dependent mass $η$-weak-pseudo-Hermitian Hamiltonians. Using a Liouvillean-type change of variables, the $η$-weak-pseudo-Hermitian von Roos Hamiltonians H(x) are mapped into the traditional Schrodinger Hamiltonian form H(q), where exact isospectral correspondence between H(x) and H(q) is obtained. Under a user-friendly position dependent mass settings, it is observed that for each exactly-solvable $η$-weak-pseudo-Hermitian reference-Hamiltonian…
We present a method of obtaining the quasi exact solution of the Jahn Teller systems in the framework of osp(2,2) superalgebra. The hamiltonian have been solved in the Bargmann-Fock space by obtaining an expression as linear and bilinear combinations of the generators of osp(2,2). In particulare, we have discussed quasi exact solvability of Exe Jahn-Teller Hamiltonian.
Exact solvability of some non-Hermitian $η$-weak-pseudo-Hermitian Hamiltonians is explored as a byproduct of $η$-weak-pseudo-Hermiticity generators. A class of V_{eff}(x)=V(x)+iW(x) potentials is considered, where the imaginary part W(x) is used as an $η$-weak-pseudo-Hermiticity generator to obtain exactly solvable $η$-weak-pseudo-Hermitian Hamiltonian models.
Exact spectrum of the two-photon Rabi Hamiltonian is found, proceeding in full analogy with the solution of standard (one-photon) Rabi Hamiltonian, published by Braak in Phys. Rev. Lett. 107, 100401 (2011). The Hamiltonian is rewritten as a set of two differential equations. Symmetries that get hidden after further treatment are found. One can plainly see, how the Hilbert space splits into four disjunct subspaces, categorized by four values of the symmetry parameter $c=\pm1,\pm i$. There were only two values $\pm1$ for the standard Rabi model. Four analytic functions are introduced by a recurr…
In a pre-selected Hilbert space of quantum states the unitarity of the evolution is usually guaranteed via a pre-selection of the generator (i.e., of the Hamiltonian operator) in self-adjoint form. In fact, the simultaneous use of both of these pre-selections is overrestrictive. One should be allowed to make a given Hamiltonian self-adjoint only after an {\em ad hoc} generalization of Hermitian conjugation. We argue that in the generalized, hidden-Hermiticity scenario with nontrivial metric, the current concept of solvability (meaning, most often, the feasibility of a non-numerical diagonaliza…
The original Jaynes-Cummings model is described by a Hamiltonian which is exactly solvable. Here we extend this model by several types of interactions leading to a nonhermitian operator which doesn't satisfy the physical condition of space-time reflection symmetry (PT symmetry). However the new Hamiltonians are either exactly solvable admitting an entirely real spectrum or quasi exactly solvable with a real algebraic part of their spectrum.
An implicit formula for the spectrum of the two-photon Rabi model was presented by Travenec in Phys. Rev. A 85, 043805 (2012) in analogy to the method of Braak [Phys. Rev. Lett. 107, 100401 (2011)]. The spectrum is given by common zeros of four functions $G_c(z, E)$ taken with a fixed value of $z\in\mathbb{C}$. We point out that all the $G_c(z,E)$ functions defined by Travenec are identically zero, thus the spectrum is not in fact given by their roots.
Within the frame of a novel treatment we make a complete mathematical analysis of exactly solvable one-dimensional quantum systems with non-constant mass, involving their ordering ambiguities. This work extends the results recently reported in the literature and clarifies the relation between physically acceptable effective mass Hamiltonians.
We introduce a new class of quantum models with time-dependent Hamiltonians of a special scaling form. By using a couple of time-dependent unitary transformations, the time evolution of these models is expressed in terms of related systems with time-independent Hamiltonians. The mapping of dynamics can be performed in any dimension, for an arbitrary number of interacting particles and for any type of the scaling interaction potential. The exact solvability of a "dual" time-independent Hamiltonian automatically means the exact solvability of the original problem with model time-dependence.
We propose the notion of $E_{2}$-quasi-exact solvability and apply this idea to find explicit solutions to the eigenvalue problem for a non-Hermitian Hamiltonian system depending on two parameters. The model considered reduces to the complex Mathieu Hamiltonian in a double scaling limit, which enables us to compute the exceptional points in the energy spectrum of the latter as a limiting process of the zeros for some algebraic equations. The coefficient functions in the quasi-exact eigenfunctions are univariate polynomials in the energy obeying a three-term recurrence relation. The latter prop…
We have found the algebraic structure of the two-qubit quantum Rabi model behind the possibility of its novel quasi-exact solutions with finite photon numbers by analyzing the Hamiltonian in the photon number space. The quasi-exact eigenstates with at most $1$ photon exist in the whole qubit-photon coupling regime with constant eigenenergy equal to single photon energy \hbarω, which can be clear demonstrated from the Hamiltonian structure. With similar method, we find these special "dark states"-like eigenstates commonly exist for the two-qubit Jaynes-Cummings model, with $E=N\hbarω$ (N=-1,0,1…
Inverse Feshbach's problem: Solvability and solutions
The Czech Academy of Sciences, Nuclear Physics Institute（捷克科学院核物理研究所）；University of Hradec Králové（赫拉德茨-克拉洛韦大学）；Stellenbosch University（斯泰伦博斯大学）；Durban University of Technology（德班理工大学）
We develop a method to determine the eigenvalues and eigenfunctions of two-boson Hamiltonians include a wide class of quantum optical models. The quantum Hamiltonians have been transformed in the form of the one variable differential equation and the conditions for its solvability have been discussed. Applicability of the method is demonstrated on some simple physical systems.
In this paper, we discuss the quantum dynamics of a nonlinear system that admits temporally localized solutions at the classical level. We consider a general ordered position-dependent mass Hamiltonian in which the ordering parameters of the mass term are treated as arbitrary. The mass function here is singular at the origin. We observe that the quantum system admits bounded solutions but importantly the coupling parameter of the system gets quantized which has also been confirmed by the semiclassical study as well.
We consider position-dependent mass (PDM) Lagrangians/Hamiltonians in their standard textbook form, where the long-standing \emph{gain-loss balance} between the kinetic and potential energies is kept intact to allow conservation of total energy (i.e., $L=T-V$, $H=T+V$, and $dH/dt=dE/dt=0$). Under such standard settings, we discuss and report on $n$-dimensional PDM damped harmonic oscillators (DHO). We use some $n$-dimensional point canonical transformation to facilitate the linearizability of their $n$-PDM dynamical equations into some $n$-linear DHOs' dynamical equations for constant mass set…
We propose a more direct approach to constructing differential operators that preserve polynomial subspaces than the one based on considering elements of the enveloping algebra of sl(2). This approach is used here to construct new exactly solvable and quasi-exactly solvable quantum Hamiltonians on the line which are not Lie-algebraic. It is also applied to generate potentials with multiple algebraic sectors. We discuss two illustrative examples of these two applications: an interesting generalization of the Lamé potential which posses four algebraic sectors, and a quasi-exactly solvable deform…
Recently, a new quantum model - two-dimensional generalization of the Scarf II - was completely solved analytically by SUSY method for the integer values of parameter. Now, the same integrable model, but with arbitrary values of parameter, will be studied by means of supersymmetrical intertwining relations. The Hamiltonian does not allow the conventional separation of variables, but the supercharge operator does allow, leading to the partial solvability of the model. This approach, which can be called as the first variant of SUSY-separation, together with shape invariance of the model, provide…
We have subjected the planar pendulum eigenproblem to a symmetry analysis with the goal of explaining the relationship between its conditional quasi-exact solvability (C-QES) and the topology of its eigenenergy surfaces, established in our earlier work [Frontiers in Physical Chemistry and Chemical Physics 2, 1-16, (2014)]. The present analysis revealed that this relationship can be traced to the structure of the tridiagonal matrices representing the symmetry-adapted pendular Hamiltonian, as well as enabled us to identify many more -- forty in total to be exact -- analytic solutions. Furthermor…
The noisy binary linear problem (NBLP) is known as a computationally hard problem, and therefore, it offers primitives for post-quantum cryptography. An efficient quantum NBLP algorithm that exhibits a polynomial quantum sample and time complexities has recently been proposed. However, the algorithm requires a large number of samples to be loaded in a highly entangled state and it is unclear whether such a precondition on the quantum speedup can be obtained efficiently. Here, we present a complete analysis of the quantum solvability of the NBLP by considering the entire algorithm process, name…
In position dependent mass (PDM) problems, the quantum dynamics of the associated systems have been understood well in the literature for particular orderings. However, no efforts seem to have been made to solve such PDM problems for general orderings to obtain a global picture. In this connection, we here consider the general ordered quantum Hamiltonian of an interesting position dependent mass problem, namely the Mathews-Lakshmanan oscillator, and try to solve the quantum problem for all possible orderings including Hermitian and non-Hermitian ones. The other interesting point in our study i…
Topology identification comprises reconstructing the interaction Hamiltonian of a quantum network by properly processing measurements of its density operator within a fixed time interval. It finds application in several quantum technology contexts, ranging from quantum communication to quantum computing or sensing. In this paper, we provide analytical conditions for the solvability of the topology identification problem for autonomous quantum dynamical networks. The solvability condition is then converted in an algorithm for quantum network reconstruction that is easily implementable on standa…
In this paper, we investigate the quantum dynamics of underlying two one-dimensional quadratic Li'enard type nonlinear oscillators which are classified under the category of maximal (eight parameter) Lie point symmetry group (J. Math. Phys.54 , 053506 (2013)). Classically, both the systems were also shown to be linearizable as well as isochronic. In this work, we study the quantum dynamics of the nonlinear oscillators by considering a general ordered position dependent mass Hamiltonian. The ordering parameters of the mass term are treated to be arbitrary to start with. We observe that the quan…
The relation between certain Hamiltonians, known as dual, or partner Hamiltonians, under the transformation $x{\rightarrow}\bar{x}^{\barα}$ has long been used as a method of simplifying spectral problems in quantum mechanics. This paper seeks to examine this further by expressing such Hamiltonians in terms of the generators of SL(2) algebra, which provides another method of solving spectral problems. It appears that doing so greatly restricts the set of allowable potentials, with the only non-trivial potentials allowed being the Coulomb $\frac{1}{r}$ potential and the Harmonic Oscillator $r^2$…
We study aspects of the quantum and classical dynamics of a $3$-body system in 3D space with interaction depending only on mutual distances. The study is restricted to solutions in the space of relative motion which are functions of mutual distances only. It is shown that the ground state (and some other states) in the quantum case and the planar trajectories in the classical case are of this type. The quantum (and classical) system for which these states are eigenstates is found and its Hamiltonian is constructed. It corresponds to a three-dimensional quantum particle moving in a curved space…
Noisy linear problems have been studied in various science and engineering disciplines. A class of "hard" noisy linear problems can be formulated as follows: Given a matrix $\hat{A}$ and a vector $\mathbf{b}$ constructed using a finite set of samples, a hidden vector or structure involved in $\mathbf{b}$ is obtained by solving a noise-corrupted linear equation $\hat{A}\mathbf{x} \approx \mathbf{b} + \boldsymbolη$, where $\boldsymbolη$ is a noise vector that cannot be identified. For solving such a noisy linear problem, we consider a quantum algorithm based on a divide-and-conquer strategy, whe…
We outline a general method for obtaining exact solutions of Schrödinger equations with a position dependent effective mass and compare the results with those obtained within the frame of supersymmetric quantum theory. We observe that the distinct effective mass Hamiltonians proposed in the literature in fact describe exactly equivalent systems having identical spectra and wave functions as far as exact solvability is concerned. This observation clarifies the Hamiltonian dependence of the band-offset ratio for quantum wells.
We present an algebraic procedure for constructing Hamiltonians with several distinct partial dynamical symmetries (PDSs), of relevance to shape-coexistence phenomena. The procedure relies on a spectrum generating algebra encompassing several dynamical symmetry (DS) chains and a coherent state which assigns a particular shape to each chain. The PDS Hamiltonian maintains the DS solvability and quantum numbers in selected bands, associated with each shape, and mixes other states. The procedure is demonstrated for a variety of multiple quadrupole shapes in the framework of the interacting boson m…
A comprehensive review of the discrete quantum mechanics with the pure imaginary shifts and the real shifts is presented in parallel with the corresponding results in the ordinary quantum mechanics. The main subjects to be covered are the factorised Hamiltonians, the general structure of the solution spaces of the Schroedinger equation (Crum's theorem and its modification), the shape invariance, the exact solvability in the Schroedinger picture as well as in the Heisenberg picture, the creation/annihilation operators and the dynamical symmetry algebras, the unified theory of exact and quasi-ex…
Quantum Hamiltonian identification is important for characterizing the dynamics of quantum systems, calibrating quantum devices and achieving precise quantum control. In this paper, an effective two-step optimization (TSO) quantum Hamiltonian identification algorithm is developed within the framework of quantum process tomography. In the identification method, different probe states are inputted into quantum systems and the output states are estimated using the quantum state tomography protocol via linear regression estimation. The time-independent system Hamiltonian is reconstructed based on …
The quantum approximate optimization algorithm (QAOA) applies two Hamiltonians to a quantum system in alternation. The original goal of the algorithm was to drive the system close to the ground state of one of the Hamiltonians. This paper shows that the same alternating procedure can be used to perform universal quantum computation: the times for which the Hamiltonians are applied can be programmed to give a computationally universal dynamics. The Hamiltonians required can be as simple as homogeneous sums of single-qubit Pauli X's and two-local ZZ Hamiltonians on a one-dimensional line of qubi…
A new family of non-Hermitian PT-symmetric quantum models is proposed in which the Hamiltonians $H=T+V$ are finite-dimensional and in which the dynamical-input potential $V$ is multi-parametric and non-local. The choice is supported by the exact solvability of Schrödinger equation and by the well known fact that in PT-symmetric models a non-locality is already present due to the generic kinematical non-diagonality of the Hermitizing metrics $Θ$. For a subfamily of our $H$s, also {\em all\,} of the eligible metrics $Θ$ appear obtainable in closed form.
We present a new scheme to perform noise resilient universal adiabatic quantum computation using two-body interactions. To achieve this, we introduce a new family of error detecting subsystem codes whose gauge generators and a set of their logical operators - capable of encoding universal Hamiltonian computations - can be implemented using two-body interactions. Logical operators of the code are used to encode any given computational Hamiltonian, and the gauge operators are used to construct a penalty Hamiltonian whose ground subspace is protected against local-errors. In contrast to previous …
The presence of symmetries, be they discrete or continuous, in a physical system typically leads to a reduction in the problem to be solved. Here we report that neither translational invariance nor rotational invariance reduce the computational complexity of simulating Hamiltonian dynamics; the problem is still BQP complete, and is believed to be hard on a classical computer. This is achieved by designing a system to implement a Universal Quantum Interface, a device which enables control of an entire computation through the control of a fixed number of spins, and using it as a building-block t…
We construct a simple translationally invariant, nearest-neighbor Hamiltonian on a chain of 10-dimensional qudits that makes it possible to realize universal quantum computing without any external control during the computational process. We only require the ability to prepare an initial computational basis state which encodes both the quantum circuit and its input. The computational process is then carried out by the autonomous Hamiltonian time evolution. After a time polynomially long in the size of the quantum circuit has passed, the result of the computation is obtained with high probabili…
Adiabatic quantum computation starts from embedding a computational problem into a Hamiltonian whose ground state encodes the solution to the problem. This problem Hamiltonian, $H_{\rm p}$, is normally chosen to be diagonal in the computational basis, that is a product basis for qubits. We point out that $H_{\rm p}$ can be chosen to be non-diagonal in the computational basis. To be more precise, we show how to construct $H_{\rm p}$ in such a way that all its excited states are entangled with respect to the qubit tensor product structure, while the ground state is still of the product form and …
The potential of the $A_2$ quantum elliptic model (3-body Calogero-Moser elliptic model) is defined by the pairwise three-body interaction through Weierstrass $\wp$-function and has a single coupling constant. A change of variables has been found, which are $A_2$ elliptic invariants, such that the potential becomes a rational function, while the flat space metric as well as its associated vector are polynomials in two variables. It is shown that the model possesses the hidden $sl(3)$ algebra - the Hamiltonian is an element of the universal enveloping algebra $U_{sl(3)}$ for arbitrary coupling …
The quantum dynamics of the Josephson junction system in the computational subspace is investigated. A scheme for the controlled not operation is given for two capasitively coupled SQUIDs. In this system, there is no systematic error for the two qubit operation. For the inductively coupled SQUIDs, the effective Hamiltonian causes systematic errors in the computational subspace for the two qubit operation. Using the purterbation theory, we construct a more precise effective Hamiltonian. This new effective Hamiltonian reduces the systematic error to the level much lower than the threshold of the…
We classify two-qubit commuting Hamiltonians in terms of their computational complexity. Suppose one has a two-qubit commuting Hamiltonian H which one can apply to any pair of qubits, starting in a computational basis state. We prove a dichotomy theorem: either this model is efficiently classically simulable or it allows one to sample from probability distributions which cannot be sampled from classically unless the polynomial hierarchy collapses. Furthermore, the only simulable Hamiltonians are those which fail to generate entanglement. This shows that generic two-qubit commuting Hamiltonians…
Simple Hamiltonian dynamics is a powerful quantum processing resource
Okinawa Institute of Science and Technology Graduate University（冲绳科学技术大学院大学）；SOKENDAI (the Graduate University for Advanced Studies)（综合研究大学院大学）；National Institute of Informatics（信息学国立研究所）
Accurately treating electron correlation in the wavefunction is a key challenge for both classical and quantum computational chemistry. Classical methods have been developed which explicitly account for this correlation by incorporating inter-electronic distances into the wavefunction. The transcorrelated method transfers this explicit correlation from the wavefunction to a transformed, non-Hermitian Hamiltonian, whose right-hand eigenvectors become easier to obtain than those of the original Hamiltonian. In this work, we show that the transcorrelated method can reduce the resources required t…
Algebraic-rational nature of the four-dimensional, $F_4$-invariant integrable quantum Hamiltonians, both rational and trigonometric, is revealed and reviewed. It was shown that being written in $F_4$ Weyl invariants, polynomial and exponential, respectively, both similarity-transformed Hamiltonians are in algebraic form, they are quite similar the second order differential operators with polynomial coefficients; the flat metric in the Laplace-Beltrami operator has polynomial (in invariants) matrix elements. Their potentials are calculated for the first time: they are meromorphic (rational) fun…
We use an n-spin system with permutation symmetric zz-interaction for simulating arbitrary pair-interaction Hamiltonians. The calculation of the required time overhead is mathematically equivalent to a separability problem of n-qubit density matrices. We derive lower and upper bounds in terms of chromatic index and the spectrum of the interaction graph. The complexity measure defined by such a computational model is related to gate complexity and a continuous complexity measure introduced in a former paper. We use majorization of graph spectra for classifying Hamiltonians with respect to their…
We analyze Hamiltonians linear in the time variable for which the multistate Landau-Zener problem is known to have an exact solution. We show that they either belong to families of mutually commuting Hamiltonians polynomial in time or reduce to the 2 x 2 Landau-Zener problem, which is considered trivially integrable. The former category includes the equal slope, bow-tie, and generalized bow-tie models. For each of these models we explicitly construct the corresponding families of commuting matrices. The equal slope model is a member of an integrable family that consists of the maximum possible…
Density functional theory is a successful branch of numerical simulations of quantum systems. While the foundations are rigorously defined, the universal functional must be approximated resulting in a `semi'-ab initio approach. The search for improved functionals has resulted in hundreds of functionals and remains an active research area. This chapter is concerned with understanding fundamental limitations of any algorithmic approach to approximating the universal functional. The results based on Hamiltonian complexity presented here are largely based on \cite{Schuch09}. In this chapter, we ex…
Understanding commuting local Hamiltonians (CLHs) is at the heart of many questions in quantum computational complexity and quantum physics: quantum error correcting codes, quantum NP, the PCP conjecture, topological order and more.
Dirac particle dynamics is encoded as a unitary path summation rule and implemented on a qubit array, where the qubit array represents both spacetime and the fermions contained therein. The unitary path summation rule gives a quantum algorithm to model a many-body system of Dirac particles in a gauge field with Lorentz invariance down to the grid scale (Planck scale)--the lattice-based model neither suffers the Fermi-sign problem nor breaks Lorentz invariance. Yet, for the Dirac Hamiltonian to generate the unitary evolution of the 4-spinor field at the Planck scale, there is time dilation betw…
Quantum fluctuations driven by non-stoquastic Hamiltonians have been conjectured to be an important and perhaps essential missing ingredient for achieving a quantum advantage with adiabatic optimization. We introduce a transformation that maps every non-stoquastic adiabatic path ending in a classical Hamiltonian to a corresponding stoquastic adiabatic path by appropriately adjusting the phase of each matrix entry in the computational basis. We compare the spectral gaps of these adiabatic paths and find both theoretically and numerically that the paths based on non-stoquastic Hamiltonians have …
Traditional computational methods for studying quantum many-body systems are "forward methods," which take quantum models, i.e., Hamiltonians, as input and produce ground states as output. However, such forward methods often limit one's perspective to a small fraction of the space of possible Hamiltonians. We introduce an alternative computational "inverse method," the Eigenstate-to-Hamiltonian Construction (EHC), that allows us to better understand the vast space of quantum models describing strongly correlated systems. EHC takes as input a wave function $|ψ_T\rangle$ and produces as output H…
We study the computational difficulty of computing the ground state degeneracy and the density of states for local Hamiltonians. We show that the difficulty of both problems is exactly captured by a class which we call #BQP, which is the counting version of the quantum complexity class QMA. We show that #BQP is not harder than its classical counting counterpart #P, which in turn implies that computing the ground state degeneracy or the density of states for classical Hamiltonians is just as hard as it is for quantum Hamiltonians.
