SearcharxivSearch

arXiv subjects

Michail Savvas

Publications and source records attributed to Michail Savvas.

12 recordsLinked to original sources

Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning

In reinforcement learning, conducting task composition by forming cohesive, executable sequences from multiple tasks remains challenging. However, the ability to (de)compose tasks is a linchpin in developing robotic systems capable of learning complex behaviors. Yet, compositional reinforcement learning is beset with difficulties, including the high dimensionality of the problem space, scarcity of rewards, and absence of system robustness after task composition. To surmount these challenges, we view task composition through the prism of category theory -- a mathematical discipline exploring structures and their compositional relationships. The categorical properties of Markov decision processes untangle complex tasks into manageable sub-tasks, allowing for strategical reduction of dimensionality, facilitating more tractable reward structures, and bolstering system robustness. Experimental results support the categorical theory of reinforcement learning by enabling skill reduction, reuse, and recycling when learning complex robotic arm tasks.

cs.AI

Good Moduli Spaces in Derived Algebraic Geometry

We develop a theory of good moduli spaces for derived Artin stacks, which naturally generalizes the classical theory of good moduli spaces introduced by Alper. As such, many of the fundamental results and properties regarding good moduli spaces for classical Artin stacks carry over to the derived context. In fact, under natural assumptions, often satisfied in practice, we show that the derived theory essentially reduces to the classical theory. As applications, we establish derived versions of the \'{e}tale slice theorem for good moduli spaces and the partial desingularization procedure of good moduli spaces.

math.AG

Cosection Localization for D-Manifolds and $(-2)$-Shifted Symplectic Derived Schemes, Revisited

This is a continuation of prior work of the author on cosection localization for d-manifolds. We construct reduced virtual fundamental classes for derived manifolds with surjective cosections and cosection localized virtual fundamental classes for $(-2)$-shifted symplectic derived schemes in larger generality. Moreover, using recent results of Oh-Thomas, we show that the algebraic and differential geometric constructions of reduced and cosection localized virtual fundamental classes of $(-2)$-shifted symplectic derived schemes yield the same result in homology. We obtain applications towards the construction and integrality of reduced invariants in Donaldson-Thomas theory of Calabi-Yau fourfolds.

math.AG

Stabilizer Reduction for Derived Stacks and Applications to Sheaf-Theoretic Invariants

We construct a canonical stabilizer reduction $\widetilde{X}$ for any derived $1$-algebraic stack $X$ over $\mathbb{C}$ as a sequence of derived Kirwan blow-ups, under mild natural conditions that include the existence of a good moduli space for the classical truncation $X_{\mathrm{cl}}$. Our construction has several desired features: it naturally generalizes Kirwan's classical partial desingularization algorithm to the context of derived algebraic geometry, preserves quasi-smoothness, and is a derived enhancement of the intrinsic stabilizer reduction constructed by Kiem, Li and the third author. Moreover, if $X$ is $(-1)$-shifted symplectic, we show that the semi-perfect and almost perfect obstruction theory of $\widetilde{X}_{\mathrm{cl}}$ and the associated virtual fundamental cycle and virtual structure sheaf, constructed by the same authors, are naturally induced by $\widetilde{X}$ and its derived tangent complex. As corollaries, we define virtual classes for moduli stacks of semistable sheaves on surfaces, give a fully derived perspective on generalized Donaldson-Thomas invariants of Calabi-Yau threefolds and define new generalized Vafa-Witten invariants for surfaces via Kirwan blow-ups.

math.AG

Categorical semantics of compositional reinforcement learning

Compositional knowledge representations in reinforcement learning (RL) facilitate modular, interpretable, and safe task specifications. However, generating compositional models requires the characterization of minimal assumptions for the robustness of the compositionality feature, especially in the case of functional decompositions. Using a categorical point of view, we develop a knowledge representation framework for a compositional theory of RL. Our approach relies on the theoretical study of the category MDP, whose objects are Markov decision processes (MDPs) acting as models of tasks. The categorical semantics models the compositionality of tasks through the application of pushout operations akin to combining puzzle pieces. As a practical application of these pushout operations, we introduce zig-zag diagrams that rely on the compositional guarantees engendered by the category MDP. We further prove that properties of the category MDP unify concepts, such as enforcing safety requirements and exploiting symmetries, generalizing previous abstraction theories for RL.

cs.AI

Virtual Riemann-Roch Theorems for Almost Perfect Obstruction Theories

This is the third in a series of works devoted to constructing virtual structure sheaves and $K$-theoretic invariants in moduli theory. The central objects of study are almost perfect obstruction theories, introduced by Y.-H. Kiem and the author as the appropriate notion in order to define invariants in $K$-theory for many moduli stacks of interest, including generalized $K$-theoretic Donaldson-Thomas invariants. In this paper, we prove virtual Riemann-Roch theorems in the setting of almost perfect obstruction theory in both the non-equivariant and equivariant cases, including cosection localized versions. These generalize and remove technical assumptions from the virtual Riemann-Roch theorems of Fantechi-G\"{o}ttsche and Ravi-Sreedhar. The main technical ingredients are a treatment of the equivariant $K$-theory and equivariant Gysin map of sheaf stacks and a formula for the virtual Todd class.

math.AG

The d-critical structure on the Quot scheme of points of a Calabi-Yau 3-fold

The Artin stack $\mathcal M_n$ of $0$-dimensional sheaves of length $n$ on $\mathbb A^3$ carries two natural d-critical structures in the sense of Joyce. One comes from its description as a quotient stack $[\textrm{crit}(f_n)/\textrm{GL}_n]$, another comes from derived deformation theory of sheaves. We show that these d-critical structures agree. We use this result to prove the analogous statement for the Quot scheme of points $\textrm{Quot}_{\mathbb A^3}(\mathscr O^{\oplus r},n) = \textrm{crit}(f_{r,n})$, which is a global critical locus for every $r>0$, and also carries a derived-in-flavour d-critical structure besides the one induced by the potential $f_{r,n}$. Again, we show these two d-critical structures agree. Moreover, we prove that they locally model the d-critical structure on $\textrm{Quot}_X(F,n)$, where $F$ is a locally free sheaf of rank $r$ on a projective Calabi-Yau $3$-fold $X$. Finally, we prove that the perfect obstruction theory on $\textrm{Hilb}^n\mathbb A^3=\textrm{crit}(f_{1,n})$ induced by the Atiyah class of the universal ideal agrees with the critical obstruction theory induced by the Hessian of the potential $f_{1,n}$.

math.AG

Cosection Localization and Vanishing for Virtual Fundamental Classes of D-Manifolds

We establish cosection localization and vanishing results for virtual fundamental classes of derived manifolds, combining the theory of derived differential geometry by Joyce with the theory of cosection localization by Kiem-Li. As an application, we show that the stable pair invariants of hyperk\"{a}hler fourfolds, defined by Cao-Maulik-Toda, are zero.

math.AG

Localizing Virtual Structure Sheaves for Almost Perfect Obstruction Theories

Almost perfect obstruction theories were introduced in an earlier paper by the authors as the appropriate notion in order to define virtual structure sheaves and $K$-theoretic invariants for many moduli stacks of interest, including $K$-theoretic Donaldson-Thomas invariants of sheaves and complexes on Calabi-Yau threefolds. The construction of virtual structure sheaves is based on the $K$-theory and Gysin maps of sheaf stacks. In this paper, we generalize the virtual torus localization and cosection localization formulas and their combination to the setting of almost perfect obstruction theory. To this end, we further investigate the $K$-theory of sheaf stacks and its functoriality properties. As applications of the localization formulas, we establish a $K$-theoretic wall crossing formula for simple $\mathbb{C}^\ast$-wall crossings and define $K$-theoretic invariants refining the Jiang-Thomas virtual signed Euler characteristics.

math.AG

Intrinsic Stabilizer Reduction and Generalized Donaldson-Thomas Invariants

Let $\sigma$ be a stability condition on the bounded derived category $D^b({\mathop{\rm Coh}\nolimits} W)$ of a Calabi-Yau threefold $W$ and $\mathcal{M}$ a moduli stack parametrizing $\sigma$-semistable objects of fixed topological type. We define generalized Donaldson-Thomas invariants which act as virtual counts of objects in $\mathcal{M}$, fully generalizing the approach introduced by Kiem, Li and the author in the case of semistable sheaves. We construct an associated proper Deligne-Mumford stack $\widetilde{\mathcal{M}}^{\mathbb{C}^\ast}$, called the $\mathbb{C}^\ast$-rigidified intrinsic stabilizer reduction of $\mathcal{M}$, with an induced semi-perfect obstruction theory of virtual dimension zero, and define the generalized Donaldson-Thomas invariant via Kirwan blowups to be the degree of the associated virtual cycle $[\widetilde{\mathcal{M}}^{\mathbb{C}^\ast}]^{\mathrm{vir}} \in A_0 (\widetilde{\mathcal{M}}^{\mathbb{C}^\ast})$. This stays invariant under deformations of the complex structure of $W$. Examples of applications include Bridgeland stability, polynomial stability, Gieseker and slope stability.

math.AG

K-Theoretic Generalized Donaldson-Thomas Invariants

We introduce the notion of almost perfect obstruction theory on a Deligne-Mumford stack and show that stacks with almost perfect obstruction theories have virtual structure sheaves which are deformation invariant. The main components in the construction are an induced embedding of the coarse moduli sheaf of the intrinsic normal cone into the associated obstruction sheaf stack and the construction of a $K$-theoretic Gysin map for sheaf stacks. We show that many stacks of interest admit almost perfect obstruction theories. As a result, we are able to define virtual structure sheaves and $K$-theoretic classical and generalized Donaldson-Thomas invariants of sheaves and complexes on Calabi-Yau threefolds.

math.AG

Generalized Donaldson-Thomas Invariants via Kirwan Blowups

We develop a virtual cycle approach towards generalized Donaldson-Thomas theory of Calabi-Yau threefolds. Let $\mathcal{M}$ be the moduli stack of Gieseker semistable sheaves of fixed topological type on a Calabi-Yau threefold $W$. We construct an associated Deligne-Mumford stack $\widetilde{\mathcal{M}}$ with an induced semi-perfect obstruction theory of virtual dimension zero and define the generalized Donaldson-Thomas invariant of $W$ via Kirwan blowups to be the degree of the virtual cycle $[\widetilde{\mathcal{M}}]^{\mathrm{vir}}$. We show that it is invariant under deformations of the complex structure of $W$.

math.AG