Mana is a measure of the amount of non-Clifford resources required to create a state; the mana of a mixed state on $ell$ qudits bounded by $le frac 1 2 (ell ln d - S_2)$; $S_2$ the states second Renyi entropy. We compute the mana of Haar-random pure
and mixed states and find that the mana is nearly logarithmic in Hilbert space dimension: that is, extensive in number of qudits and logarithmic in qudit dimension. In particular, the average mana of states with less-than-maximal entropy falls short of that maximum by $ln pi/2$. We then connect this result to recent work on near-Clifford approximate $t$-designs; in doing so we point out that mana is a useful measure of non-Clifford resources precisely because it is not differentiable.
We study the category of algebras of substitudes (also known to be equivalent to the regular patterns of Getzler) equipped with a (semi)model structure lifted from the model structure on the underlying presheaves. We are especially interested in the
case when the model structure on presheaves is a Cisinski style localisation with respect to a proper Grothendieck fundamental localiser. For example, for $mathtt{W}=mathtt{W}_{infty}$ the minimal fundamental localiser, the local objects in such a localisation are locally constant presheaves, and local algebras of substitudes are exactly algebras whose underlying presheaves are locally constant. We investigate when this localisation has nice properties. We single out a class of such substitudes which we call left localisable and show that the substitudes for $n$-operads, symmetric, and braided operads are in this class. As an application we develop a homotopy theory of higher braided operads and prove a stabilisation theorem for their $mathtt{W}_k$-localisations. This theorem implies, in particular, a generalisation of the Baez-Dolan Stabilisation Hypothesis for higher categories.
Given a combinatorial (semi-)model category $M$ and a set of morphisms $C$, we establish the existence of a semi-model category $L_C M$ satisfying the universal property of the left Bousfield localization in the category of semi-model categories. Our
main tool is a semi-model categorical version of a result of Jeff Smith, that appears to be of independent interest. Our main result allows for the localization of model categories that fail to be left proper. We give numerous examples and applications, related to the Baez-Dolan stabilization hypothesis, localizations of algebras over operads, chromatic homotopy theory, parameterized spectra, $C^*$-algebras, enriched categories, dg-categories, functor calculus, and Voevodskys work on radditive functors.
A tremendous amount of recent attention has focused on characterizing the dynamical properties of periodically driven many-body systems. Here, we use a novel numerical tool termed `density matrix truncation (DMT) to investigate the late-time dynamics
of large-scale Floquet systems. We find that DMT accurately captures two essential pieces of Floquet physics, namely, prethermalization and late-time heating to infinite temperature. Moreover, by implementing a spatially inhomogeneous drive, we demonstrate that an interplay between Floquet heating and diffusive transport is crucial to understanding the systems dynamics. Finally, we show that DMT also provides a powerful method for quantitatively capturing the emergence of hydrodynamics in static (un-driven) Hamiltonians; in particular, by simulating the dynamics of generic, large-scale quantum spin chains (up to L = 100), we are able to directly extract the energy diffusion coefficient.
For a model category, we prove that taking the category of coalgebras over a comonad commutes with left Bousfield localization in a suitable sense. Then we prove a general existence result for left-induced model structure on the category of coalgebra
s over a comonad in a left Bousfield localization. Next we provide several equivalent characterizations of when a left Bousfield localization preserves coalgebras over a comonad. These results are illustrated with many applications in chain complexes, (localized) spectra, and the stable module category.
We prove the equivalence of several hypotheses that have appeared recently in the literature for studying left Bousfield localization and algebras over a monad. We find conditions so that there is a model structure for local algebras, so that localiz
ation preserves algebras, and so that localization lifts to the level of algebras. We include examples coming from the theory of colored operads, and applications to spaces, spectra, and chain complexes.
