Soumyadeep Sarma

Motivated by recent advances in digital quantum simulation and the overall prospect of solving correlated many-electron problems using quantum algorithms, we design a gate-based quantum circuit that emulates the dynamics of the Kondo impurity model. We numerically determine the impurity magnetization, entanglement between impurity and fermionic sites, and energy as a function of time (i.e., circuit depth) for various initial states and find universal long-time dynamics. We complement the numerical simulations for moderate system size with an asymptotically exact analytical solution that is effective in the limit of large system sizes and for starting states corresponding to a filled Fermi sea. This work opens up the perspective of studying the dynamics of electronic quantum many-body states on quantum chips of the NISQ era.

Lindbladian quantum master equations (LEs) are the most popular descriptions for quantum systems weakly coupled to baths. But, recent works have established that in many situations such Markovian descriptions are fundamentally limited: they cannot simultaneously capture populations and coherences even to the leading-order in system-bath couplings. This can cause violation of fundamental properties like thermalization and continuity equations associated with local conservation laws, even when such properties are expected in the actual setting. This begs the question: given a physical situation, how do we know if there exists an LE that describes it to a desired accuracy? Here we show that, for both equilibrium and non-equilibrium steady states (NESS), this question can be succinctly formulated as a semidefinite program (SDP), a convex optimization technique. If a solution to the SDP can be found to a desired accuracy, then an LE description is possible for the chosen setting. If not, no LE description is fundamentally attainable, showing that a consistent Markovian treatment is impossible even at weak system-bath coupling for that particular setting. Considering few qubit isotropic XXZ-type models coupled to multiple baths, we find that in most parameter regimes, LE description giving accurate populations and coherences to leading-order is unattainable, leading to rigorous no-go results. However, in some cases, LE description having correct populations but inaccurate coherences, and satisfying local conservation laws, is possible over some of the parameter regimes. Our work highlights the power of semidefinite programming in the analysis of physically consistent LEs, thereby, in understanding the limits of Markovian descriptions at weak system-bath couplings.