We establish the eventual periodicity of the spectrum of any monadic second-order formula where (i) all relation symbols, except equality, are unary, and (ii) there is only one function symbol and that symbol is unary. Eighteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2003) Microsoft Research, One Microsoft Way, Redmond, WA 98052 Publication 536, partially supported by US–Isra...

In a replicated database, the consistency level defines whether and how the values of the replicas of a logical object may diverge in the presence of updates. Eventual consistency is the weakest consistency level that guarantees convergence. Informally, it requires that all replicas of an object will eventually reach the same, correct, final value, assuming that no new updates are submitted to ...

Driven quantum systems may realize novel phenomena absent in static systems, but driving-induced heating can limit the time-scale on which these persist. We study interacting many-body driven by random sequences with $n-$multipolar correlations, corresponding to a polynomially suppressed low frequency spectrum. For $n\geq1$, we find prethermal regime, lifetime of grows algebraically driving rat...