Consider two quantum systems A and B interacting according to a product Hamiltonian H = H_A x H_B. We show that any two such Hamiltonians can be used to simulate each other reversibly (i.e., without efficiency losses) with the help of local unitary operations and local ancillas. Accordingly, all non-local features of a product Hamiltonian -- including the rate at which it can be used to produce entanglement, transmit classical or quantum information, or simulate other Hamiltonians -- depend only upon a single parameter. We identify this parameter and use it to obtain an explicit expression for the entanglement capacity of all product Hamiltonians. Finally, we show how the notion of simulation leads to a natural formulation of measures of the strength of a nonlocal Hamiltonian.
We present a family of tri-partite entangled states that, in an asymptotical sense, can be reversibly converted into EPR states shared by only two of parties (say B and C), and tripartite GHZ states. Thus we show that bipartite and genuine tripartite entanglement can be reversibly combined in several copies of a single tripartite state. For such states the corresponding fractions of GHZ and of EPR states represent a complete quantification of their (asymptotical) entanglement resources. More generally, we show that the three different kinds of bipartite entanglement (AB, AC and BC EPR states) …
We show that Einstein--Podolsky--Rosen--Bohm (EPR) and Greenberger--Horne--Zeilinger--Mermin (GHZ) states can not generate, through local manipulation and in the asymptotic limit, all forms of three--partite pure--state entanglement in a reversible way. The techniques that we use suggest that there may be a connection between this result and the irreversibility that occurs in the asymptotic preparation and distillation of bipartite mixed states.
Bipartite Gaussian Boson Sampling for Hamiltonian Cycles in Directed Graphs
College of Computer Science and Technology, National University of Defense Technology（国防科技大学计算机学院）；College of Advanced Interdisciplinary Studies, National University of Defense Technology（国防科技大学前沿交叉学院）
In this paper, we introduce a discrete quantum walk model called bipartite walks. Bipartite walks include many known discrete quantum walk models, like arc-reversal walks, vertex-face walks. For the transition matrix of a quantum walk, there is a Hamiltonian associated with it. We will study the Hamiltonians of the bipartite walks. Let $S$ be a skew-symmetric matrix. We are mainly interested in the Hamiltonians of the form $iS$. We show that the Hamiltonian can be written as $iS$ if and only if the adjacency matrix of the bipartite graph is invertible. We show that arc-reversal walks and verte…
We discuss upper bounds on the rate at which unitary evolution governed by a non-local Hamiltonian can generate entanglement in a bipartite system. Given a bipartite Hamiltonian H coupling two finite dimensional particles A and B, the entangling rate is shown to be upper bounded by c*log(d)*norm(H), where d is the smallest dimension of the interacting particles, norm(H) is the operator norm of H, and c is a constant close to 1. Under certain restrictions on the initial state we prove analogous upper bound for the ancilla-assisted entangling rate with a constant c that does not depend upon dime…
An exactly soluble non-linear interaction Hamiltonian is proposed to study fundamental properties of the entanglement dynamics for a coupled non-linear oscillators. The time-evolved state is obtained analytically for initial products of two coherent and two number states and relevant informations are extracted from the dynamics of various quantities like subsystem linear and Von Neumann entropies, quadrature mean values, variances and Q-functions. We determined the re-coherence time scales and found among the interaction terms present in the Hamiltonian the one responsible for the entanglement…
The ability to characterise a Hamiltonian with high precision is crucial for the implementation of quantum technologies. In addition to the well-developed approaches utilising optimal probe states and optimal measurements, the method of optimal control can be used to identify time-dependent pulses applied to the system to achieve higher precision in the estimation of Hamiltonian parameters, especially in the presence of noise. Here, we extend optimally controlled estimation schemes for single qubits to non-commuting dynamics as well as two interacting qubits, demonstrating improvements in term…
We analyze the dynamics of a system qubit interacting by means a sequence of pairwise collisions with an environment consisting of just two qubits. We show that the density operator of the qubits approaches a common time averaged equilibrium state, characterized by large fluctuations, only for a random sequence of collisions. For a regular sequence of collisions the qubitstates of the system and of the reservoir undergo instantaneous periodic oscillations and do not relax to a common state. Furthermore we show that pure bipartite entanglement is developed only when at least two qubits are init…
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 this article we investigate the unitary dynamics of squashed entanglement and concurrence measures in Werner state and maximally entangled mixed states (MEMS) under two different Hamiltonians. The aim of the present study is two fold. The first part of the study deals with the dynamics under Heisenberg Hamiltonian and the second part deals under bi-linear bi-quadratic Hamiltonian which is the extension of first Hamiltonian. In both the parts we investigate the dynamical trade off and balancing points for squashed entanglement and concurrence. During the study, we also found the results of e…
We derive quantitative relations among several naturally defined measures of classical and nonclassical correlations in a bipartite quantum state. We also obtain an upper bound of entanglement irreversibility and a sufficient condition for reversible entanglement. The additivity of entanglement of formation is directly related to the additivity of quantum discord as well as a certain measure of classical correlation.
We carry out an exact quantization of a PT symmetric (reversible) Liénard type one dimensional nonlinear oscillator both semiclassically and quantum mechanically. The associated time independent classical Hamiltonian is of non-standard type and is invariant under a combined coordinate reflection and time reversal transformation. We use von Roos symmetric ordering procedure to write down the appropriate quantum Hamiltonian. While the quantum problem cannot be tackled in coordinate space, we show how the problem can be successfully solved in momentum space by solving the underlying Schrödinger e…
Predictions for measurement outcomes in physical theories are usually computed by combining two distinct notions: a state, describing the physical system, and an observable, describing the measurement which is performed. In quantum theory, however, both notions are in some sense identical: outcome probabilities are given by the overlap between two state vectors - quantum theory is self-dual. In this paper, we show that this notion of self-duality can be understood from a dynamical point of view. We prove that self-duality follows from a computational primitive called bit symmetry: every logica…
We report an approach to quantum open system dynamics that leads to novel nonlinear constant relations governing information flow among the participants. Our treatment is for mixed state systems entangled in a pure state fashion with an unspecified party that was involved in preparing the system for an experimental test, but no longer interacts after $t=0$. Evolution due to subsequent interaction with another party is treated as an amplitude flow channel and uses Schmidt-type bipartite decomposition of the evolving state. We illustrate this with three examples, including both reversible and ir…
We show that two interacting physical systems may admit entangled pure or non separable mixed states evolving in time as if the mutual interaction hamiltonian were absent. In this paper we define these states Interaction Free Evolving (IFE) states and characterize their existence for a generic binary system described by a time independent Hamiltonian. A comparison between IFE subspace and the decoherence free subspace is reported. The set of all pure IFE states is explicitly constructed for a non homogeneous spin star system model.
In bipartite quantum systems commutation relations between the Hamiltonian of each subsystem and the interaction impose fundamental constraints on the dynamics of each partition. Here we investigate work, heat and entropy production in bipartite systems characterized by particular commutators between their local Hamiltonians and the interaction operator. We consider the formalism of [Weimer, EPL, 83:30008, 2008], in which heat (work) is identified with energy changes that (do not) alter the local von Neumann entropy, as observed in an effective local measurement basis. We demonstrate the conse…
We show that any unitary operator on the $d_A\times d_B$ system ($d_A\ge 2$) can be decomposed into the product of at most $4d_A-5$ controlled unitary operators. The number can be reduced to $2d_A-1$ when $d_A$ is a power of two. We also prove that three controlled unitaries can implement a bipartite complex permutation operator, and discuss the connection to an analogous result on classical reversible circuits. We further show that any $n$-partite unitary on the space $\mathbb{C}^{d_1}\otimes...\otimes\mathbb{C}^{d_n}$ is the product of at most $[2\prod^{n-1}_{j=1}(2d_j-2)-1]$ controlled unit…
We consider multi-qubit systems and relate quantitatively the problems of generating cluster states with high value of concurrence of assistance, and that of generating states with maximal bipartite entanglement. We prove an upper bound for the concurrence of assistance. We consider dynamics of spin-1/2 systems that model qubits, with different couplings and possible presence of magnetic field to investigate the appearance of the discussed entanglement properties. We find that states with maximal bipartite entanglement can be generated by an XY Hamiltonian, and their generation can be controll…
In recent works we have used quantum tools in the analysis of the time evolution of several macroscopic systems. The main ingredient in our approach is the self-adjoint Hamiltonian $H$ of the system $\Sc$. This Hamiltonian quite often, and in particular for systems with a finite number of degrees of freedom, gives rise to reversible and oscillatory dynamics. Sometimes this is not what physical reasons suggest. We discuss here how to use non self-adjoint Hamiltonians to overcome this difficulty: the time evolution we obtain out of them show a preferable arrow of time, and it is not reversible. …
The notion of capacity of entanglement is the quantum information theoretic counterpart of the heat capacity which is defined as the second cumulant of the entanglement spectrum. Given any bipartite pure state, we can define the capacity of entanglement as the variance of the modular Hamiltonian in the reduced state of any of the subsystems. Here, we study the dynamics of this quantity under non-local Hamiltonian. Specifically, we address the question: Given an arbitrary non-local Hamiltonian what is the capacity of entanglement that the system can possess? As an useful application, we show th…
It is known that any bipartite unitary operator of Schmidt rank three is equivalent to a controlled unitary under local unitaries. We propose a standard form of such operators. Using the form we improve the upper bound for the entanglement cost to implement such operators under local operations and classical communications (LOCC), and provide a corresponding protocol. A part of our protocol is based on a recursive-control protocol which is helpful for implementing other unitary operators. We show that any bipartite permutation unitary of Schmidt rank three can be implemented using LOCC and two…
How to introduce thermodynamics to quantum mechanics ? Among from numerous possibilities of solving this task, the simple choice is here: The conventional von Neumann equation deals with a density operator whose probability weights are time independent. Because there is no reason apart from the reversible quantum mechanics that these weights have to be time independent, this constraint is waived, thus making possible to introduce thermodynamical concepts to quantum mechanics. %\textcolor{green}{ This procedure is similar to that of Lindblad's equation, but different on principle. %\textcolor{r…
We analyze some features of alternative Hermitian and quasi-Hermitian quantum descriptions of simple and bipartite compound systems. We show that alternative descriptions of two interacting subsystems are possible if and only if the metric operator of the compound system can be obtained as tensor product of positive operators on component spaces. Some examples also show that such property could be strictly connected with symmetry properties of the non-Hermitian Hamiltonian.
We consider an open bipartite quantum system with dissipative Lindblad type dynamics. In order to study the entanglement of the stationary states, we develop a perturbative approach and apply it to the physically significant case when a purely dissipative perturbation is added to the unperturbed generator which by itself would produce reversible unitary dynamics.
We provide upper bound on the maximal rate at which irreversible quantum dynamics can generate entanglement in a bipartite system. The generator of irreversible dynamics consists of a Hamiltonian and dissipative terms in Lindblad form. The relative entropy of entanglement is chosen as a measure of entanglement in an ancilla-free system. We provide an upper bound on the entangling rate which has a logarithmic dependence on a dimension of a smaller system in a bipartite cut. We also investigate the rate of change of quantum mutual information in an ancilla-assisted system and provide an upper bo…
An algorithm for quantum computing Hamiltonian cycles of simple, cubic, bipartite graphs is discussed. It is shown that it is possible to evolve a quantum computer into an entanglement of states which map onto the set of all possible paths originating from a chosen vertex, and furthermore to subsequently project out all states not corresponding to Hamiltonian cycles.
Investigating the influence of quantum information (QI) scrambling on quantum correlations in a physical system is an interesting problem. In this article we establish the mathematical connections among the quantifiers known as quantum information scrambling, Uhlmann fidelity, Bures metric and bipartite concurrence. We study these relations via four point out-of-time-order correlation (OTOC) function used for quantum information scrambling. Further we study the dynamics of all the quantifiers and investigate the influence of QI scrambling on entanglement in two qubits prepared in Bell states. …
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.
To gain an advantage, quantum technologies utilize phenomena particular to quantum mechanics. Two such phenomena are squeezing and entanglement. Having generated states that exhibit these features, verification of their generation with local measurements can be a difficult process. Here we consider the states that are generated using the two-qudit single-axis squeezing Hamiltonian, that not only produces entangled two-qudit squeezed states but also results in various forms of interesting entangled states. We show how one can use local measurements to both efficiently verify and directly estima…
It is known from the analysis of the density matrix for bipartite systems that the quantum discord (as a measure of quantum correlations) depends on the particular subsystem chosen for the projective measurements. We study asymmetry of the discord in a simple physical model of two spin-1/2 particles with the dipole-dipole interaction governed by the XY Hamiltonian in the inhomogeneous magnetic field. The dependence of the above discord asymmetry on the Larmour frequencies at both T=0 (the ground state) and $T>0$ has been investigated. It is demonstrated, in particular, that the asymmetry is ne…
Recently, we proposed a method for the local detection of quantum correlations on the basis of local measurements and state tomography at different instances in time [Phys. Rev. Lett. 107, 180402 (2011)]. The method allows for the detection of quantum discord in bipartite systems when access is restricted to only one of the subsystems. Here, we elaborate the details of this method and provide applications to specific physical models. In particular, we discuss the performance of the scheme for generic complex systems by investigating thermal equilibrium states corresponding to randomly generate…
We examine one asymmetric adnd two fully symmetric Gaussian continuous-variable systems in terms of their tripartite and bipartite entanglement properties. We treat pure states and are able to find analytic solutions using the undepleted pump approximation for the Hamiltonian models, and standard beamsplitter relations for a model that mixes the outputs of optical parametric oscillators. Our two symmetric systems exhibit perfect tripartite correlations, but only in the unphysical limit of infinite squeezing. For more realistic squeezing parameters, all three systems exhibit both tripartite and…
We {characterize the multipartite entanglement in a quantum system by the quantity} which vanishes if only the quantum system may be decomposed into two weakly entangled subsystems, unlike measures of multipartite entanglement introduced before. We refer to this {quantity} as the minimal entanglement of bipartite decompositions (MEBD). Big MEBD means that the system may not be decomposed into two weakly entangled subsystems. MEBD allows one to define, for instance, whether the given quantum system may be a candidate for a quantum register, where the above decomposition is undesirable. A method…
We investigate the irreversibility of entanglement distillation for a symmetric d-1 parameter family of mixed bipartite quantum states acting on Hilbert spaces of arbitrary dimension d x d. We prove that in this family the entanglement cost is generically strictly larger than the distillable entanglement, such that the set of states for which the distillation process is asymptotically reversible is of measure zero. This remains true even if the distillation process is catalytically assisted by pure state entanglement and every operation is allowed, which preserves the positivity of the partial…
We examine the problem of determining if a 2-local Hamiltonian is stoquastic by local basis changes. We analyze this problem for two-qubit Hamiltonians, presenting some basic tools and giving a concrete example where using unitaries beyond Clifford rotations is required in order to decide stoquasticity. We report on simple results for $n$-qubit Hamiltonians with identical 2-local terms on bipartite graphs. Our most significant result is that we give an efficient algorithm to determine whether an arbitrary $n$-qubit XYZ Heisenberg Hamiltonian is stoquastic by local basis changes.
We consider a composite open quantum system consisting of a fast subsystem coupled to a slow one. Using the time-scale separation, we develop an adiabatic elimination technique to derive at any order the reduced model describing the slow subsystem. The method, based on an asymptotic expansion and geometric singular perturbation theory, ensures the physical interpretation of the reduced second-order model by giving the reduced dynamics in a Lindblad form and the state reduction in Kraus map form. We give explicit second-order formulas for Hamiltonian or cascade coupling between the two subsyste…
In principle, non-Hermitian quantum equations of motion can be formulated using as a starting point either the Heisenberg's or the Schrödinger's picture of quantum dynamics. Here it is shown in both cases how to map the algebra of commutators, defining the time evolution in terms of a non-Hermitian Hamiltonian, onto a non-Hamiltonian algebra with a Hermitian Hamiltonian. The logic behind such a derivation is reversible, so that any Hermitian Hamiltonian can be used in the formulation of non-Hermitian dynamics through a suitable algebra of generalized (non-Hamiltonian) commutators. These result…
We consider a non-interacting bipartite quantum system $\mathcal H_S^A\otimes\mathcal H_S^B$ undergoing repeated quantum interactions with an environment modeled by a chain of independant quantum systems interacting one after the other with the bipartite system. The interactions are made so that the pieces of environment interact first with $\mathcal H_S^A$ and then with $\mathcal H_S^B$. Even though the bipartite systems are not interacting, the interactions with the environment create an entanglement. We show that, in the limit of short interaction times, the environment creates an effective…
We consider bipartite entangled states that cannot outperform separable states in any linear interferometer. Then, we show that these states can still be more useful metrologically than separable states if several copies of the state are provided or an ancilla is added to the quantum system. We present a general method to find the local Hamiltonian for which a given quantum state performs the best compared to separable states. We obtain analytically the optimal Hamiltonian for some quantum states with a high symmetry. We show that all bipartite entangled pure states outperform separable states…
This paper investigates continuous-time quantum walks on directed bipartite graphs based on a graph's adjacency matrix. We prove that on bipartite graphs, probability transport between the two node partitions can be completely suppressed by tuning a model parameter $α$. We provide analytic solutions to the quantum walks for the star and circulant graph classes that are valid for an arbitrary value of the number of nodes $N$, time $t$ and the model parameter $α$. We discuss quantitative and qualitative aspects of quantum walks based on directed graphs and their undirected counterparts. Numerica…
A pair of two-level systems initially prepared in different thermal states and coupled to an external reversible work source, do not in general reach a common temperature at the end of a unitary work extraction process. We define an effective temperature for the final nonequilibrium but passive state of the bipartite quantum system and analyse its properties.
The Hidden Weighted Bit function plays an important role in the study of classical models of computation. A common belief is that this function is exponentially hard for the implementation by reversible ancilla-free circuits, even though introducing a small number of ancillae allows a very efficient implementation. In this paper, we refute the exponential hardness conjecture by developing a polynomial-size reversible ancilla-free circuit computing the Hidden Weighted Bit function. Our circuit has size $O(n^{6.42})$, where $n$ is the number of input bits. We also show that the Hidden Weighted B…
We study general entanglement properties of the excited states of the one dimensional translational invariant free fermions and coupled harmonic oscillators. In particular, using the integrals of motion, we prove that these Hamiltonians independent of the gap (mass) has infinite excited states that can be described by conformal field theories with integer or half-integer central charges. In the case of free fermions, we also show that because of the huge degeneracy in the spectrum, even a gapless Hamiltonian can have excited states with an area-law. Finally, we study the universal average enta…
Recently it was shown that the growth of entanglement in an initially separable state, as measured by the purity of subsystems, can be characterized by a timescale that takes a universal form for any Hamiltonian. We show that the same timescale governs the growth of entanglement for all Rényi entropies. Since the family of Rényi entropies completely characterizes the entanglement of a pure bipartite state, our timescale is a universal feature of bipartite entanglement. The timescale depends only on the interaction Hamiltonian and the initial state.
We develop a general theory of the relation between quantum phase transitions (QPTs) characterized by nonanalyticities in the energy and bipartite entanglement. We derive a functional relation between the matrix elements of two-particle reduced density matrices and the eigenvalues of general two-body Hamiltonians of $d$-level systems. The ground state energy eigenvalue and its derivatives, whose non-analyticity characterizes a QPT, are directly tied to bipartite entanglement measures. We show that first-order QPTs are signalled by density matrix elements themselves and second-order QPTs by the…
Integer arithmetic is the underpinning of many quantum algorithms, with applications ranging from Shor's algorithm over HHL for matrix inversion to Hamiltonian simulation algorithms. A basic objective is to keep the required resources to implement arithmetic as low as possible. This applies in particular to the number of qubits required in the implementation as for the foreseeable future this number is expected to be small. We present a reversible circuit for integer multiplication that is inspired by Karatsuba's recursive method. The main improvement over circuits that have been previously re…
In a recent Letter [Phys. Rev. Lett. 125, 180604 (2020)], we introduced a closed-form analytic expression for the average bipartite von Neumann entanglement entropy of many-body eigenstates of random quadratic Hamiltonians. Namely, of Hamiltonians whose single-particle eigenstates have random coefficients in the position basis. A paradigmatic Hamiltonian for which the expression is valid is the quadratic Sachdev-Ye-Kitaev (SYK2) model in its Dirac fermion formulation. Here we show that the applicability of our result is much broader. Most prominently, it is also relevant for local Hamiltonians…
We study a bipartite collective spin-$1$ model with exchange interaction between the spins. The bipartite nature of the model manifests itself by the spins being divided into two equal-sized subsystems; within each subsystem the spin-spin interactions are of the same strength, across the subsystems they are also equal, but the two coupling values within and across the subsystem are different. Such a set-up is inspired by recent experiments with ultracold atoms. Using the $\mathrm{SU}(3)$-symmetry of the exchange interaction and the permutation symmetry within the subsystems, we can employ repr…
The classical and quantum dynamics of two particles constrained on $S^1$ is discussed via Dirac's approach. We show that when state is maximally entangled between two subsystems, the product of dispersion in the measurement reduces. We also quantify the upper bound on the external field $\vec{B}$ such that $\vec{B}\geq\vec{B}_{upper}$ implies no reduction in the product of dispersion pertaining to one subsystem. Further, we report on the cut-off value of the external field $\vec{B}_{cutoff}$, above which the bipartite entanglement is lost and there exists a direct relationship between uncertai…
I prove that, if a change happens in a closed quantum system so that its state is perfectly distinguishable from all past or future states, the Hamiltonian is $\widehat{H}=-i\hbar\frac{\partial\ }{\partialτ}$. A time operator $\widehatτ$ can be defined as its canonical conjugate. This Hamiltonian is usually rejected because it has no ground state, but I show that even a weaker form of irreversibility is inconsistent with a ground state. What is the right choice, that the world's Hamiltonian is $-i\hbar\frac{\partial\ }{\partialτ}$, or that changes are reversible?
