arXiv subjects

A. Rubtsov

Publications and source records attributed to A. Rubtsov.

2 recordsLinked to original sources

arXiv2023

Towards out of equilibrium impurity solver for the Dynamical Mean Field Theory

The Dynamical Mean Field Theory (DMFT) is a powerful tool for calculating highly correlated systems (both bosonic and fermionic) in a state of thermodynamic equilibrium. However, in the case of non-equilibrium states, the method has significant limitations that do not allow obtaining correct results. The stumbling block here is the impurity solver: a method for calculating the dynamics of an open system. In this work we present the prototype of a universal impurity solver for the DMFT method which can solve both equilibrium and non-equilibrium problems. We analyse spectral functions of Bose-Hubbard model on the Bethe lattice in different regimes and show that our solver gives correct and physical results.

cond-mat.str-el↗

arXiv2011

Regular realizability problems and models of a generalized nondeterminism

Models of a generalized nondeterminism are defined by limitations on nonde- terministic behavior of a computing device. A regular realizability problem is a problem of verifying existence of a special sort word in a regular language. These notions are closely connected. In this paper we consider regular realizability problems for languages consist- ing of all prefixes of an infinite word. These problems are related to the automata on infinite words and to the decidability of monadic second-order theories. The main contribution is a new decidability condition for regular realizability problems and for monadic-second order theories. We also show that decidability of a regular realizability problem is equivalent to decidability of some prefix realizability problem.

cs.FL↗