A Table-Based Representation for Probabilistic Logic: Preliminary Results
Authors:
Simon Vandevelde,
Victor Verreet,
Luc De Raedt,
Joost Vennekens
Abstract:
We present Probabilistic Decision Model and Notation (pDMN), a probabilistic extension of Decision Model and Notation (DMN). DMN is a modeling notation for deterministic decision logic, which intends to be user-friendly and low in complexity. pDMN extends DMN with probabilistic reasoning, predicates, functions, quantification, and a new hit policy. At the same time, it aims to retain DMN's user-fr…
▽ More
We present Probabilistic Decision Model and Notation (pDMN), a probabilistic extension of Decision Model and Notation (DMN). DMN is a modeling notation for deterministic decision logic, which intends to be user-friendly and low in complexity. pDMN extends DMN with probabilistic reasoning, predicates, functions, quantification, and a new hit policy. At the same time, it aims to retain DMN's user-friendliness to allow its usage by domain experts without the help of IT staff. pDMN models can be unambiguously translated into ProbLog programs to answer user queries. ProbLog is a probabilistic extension of Prolog flexibly enough to model and reason over any pDMN model.
△ Less
Submitted 5 October, 2021;
originally announced October 2021.
Very slow heating for weakly driven quantum many-body systems
Authors:
Wojciech De Roeck,
Victor Verreet
Abstract:
It is well understood that many-body systems driven at high frequency heat up only exponentially slowly and exhibit a long prethermalization regime. We prove rigorously that a certain relevant class of systems heat very slowly under weak periodic driving at intermediate frequency as well. This class of systems are those whose time-dependent, possibly translation-invariant, Hamiltonian is a weak pe…
▽ More
It is well understood that many-body systems driven at high frequency heat up only exponentially slowly and exhibit a long prethermalization regime. We prove rigorously that a certain relevant class of systems heat very slowly under weak periodic driving at intermediate frequency as well. This class of systems are those whose time-dependent, possibly translation-invariant, Hamiltonian is a weak perturbation of a sum of mutually commuting terms. This condition covers several periodically kicked systems that have been considered in the literature recently, in particular kicked Ising models. In contrast to the high-frequency regime, the prethermalization dynamics of our systems is in general not related to any time-independent effective Floquet Hamiltonian. Our results also have non-trivial implications for closed (time-independent) systems. We use the example of an Ising model with transversal and longitudinal field to show how they imply confinement of excitations. More generally, they show how "glassy" kinetically constrained models emerge naturally from simple many-body Hamiltonians, thus connecting to the topic of 'translation-invariant localization'.
△ Less
Submitted 5 November, 2019;
originally announced November 2019.