Probing the excited-state quantum phase transition through statistics of Loschmidt echo and quantum work

By analyzing the probability distributions of the Loschmidt echo (LE) and quantum work, we examine the nonequilibrium effects of a quantum many-body system, which exhibits an excited-state quantum phase transition (ESQPT). We find that depending on the value of the controlling parameter the distribution of the LE displays different patterns. At the critical point of the ESQPT, both the averaged LE and the averaged work show a cusplike shape. Furthermore, by employing the finite-size scaling analysis of the averaged work, we obtain the critical exponent of the ESQPT. Finally, we show that at the critical point of ESQPT the eigenstate is a highly localized state, further highlighting the influence of the ESQPT on the properties of the many-body system.Comment: 10 pages, 13 figures; accepted for publication in Physical Review

A Dynamic Epistemic Framework for Conformant Planning

In this paper, we introduce a lightweight dynamic epistemic logical framework for automated planning under initial uncertainty. We reduce plan verification and conformant planning to model checking problems of our logic. We show that the model checking problem of the iteration-free fragment is PSPACE-complete. By using two non-standard (but equivalent) semantics, we give novel model checking algorithms to the full language and the iteration-free language.Comment: In Proceedings TARK 2015, arXiv:1606.0729