Related papers: Linear Logic and the Hilbert Scheme

Tempered Exponential Measures (TEMs) are a parametric generalization of the exponential family of distributions maximizing the tempered entropy function among positive measures subject to a probability normalization of their power…

I introduce PEDAL -- a probabilistic epistemic logic meant to capture, in propositional dynamic terms, the epistemic state of an agent engaged in checking whether a program meets its specification. Semantically, PEDAL is built `on top of'…

This work is the first exploration of proof-theoretic semantics for a substructural logic. It focuses on the base-extension semantics (B-eS) for intuitionistic multiplicative linear logic (IMLL). The starting point is a review of…

Marginal problems naturally arise in a variety of different fields: basically, the question is whether some marginal/partial information is compatible with a joint probability distribution. To this aim, the characterization of marginal sets…

Probabilistic Latent Variable Models (LVMs) excel at modeling complex, high-dimensional data through lower-dimensional representations. Recent advances show that equipping these latent representations with a Riemannian metric unlocks…

We study an irreducible component H(X) of the Hilbert scheme Hilb^{2t+2}(X) of a smooth cubic hypersurface X containing two disjoint lines. For cubic threefolds, H(X) is always smooth, as shown in arXiv:2010.11622. We provide a second proof…

An involutive Stone algebra (IS-algebra) is a structure that is simultaneously a De Morgan algebra and a Stone algebra (i.e. a pseudo-complemented distributive lattice satisfying the well-known Stone identity ~xv~~x=1). IS-algebras have…

We characterize type isomorphisms in the multiplicative-additive fragment of linear logic (MALL), and thus in *-autonomous categories with finite products, extending a result for the multiplicative fragment by Balat and Di Cosmo. This…

Symmetries impose structure on the Hilbert space of a quantum mechanical model. The mathematical units of this structure are the irreducible representations of symmetry groups and I consider how they function as conceptual units of…

We study scattered piecewise interpretable Hilbert spaces from a model theoretic point of view. We establish strong connections between the Hilbert space structure theorems of [Chevalier Hrushovski 2021] and the model theoretic notions of…

The space of smooth rational cubic curves in projective space $\PP^r$ ($r\ge 3$) is a smooth quasi-projective variety, which gives us an open subset of the corresponding Hilbert scheme, the moduli space of stable maps, or the moduli space…

We construct the derived version of the Hilbert scheme parametrizing subschemes in a given projective scheme X with given Hilbert polynomial h. This is a dg-manifold (smooth dg-scheme) RHilb_h(X) which carries a natural family of…

We extend a semantic verification framework for hybrid systems with the Isabelle/HOL proof assistant by an algebraic model for hybrid program stores, a shallow expression model for hybrid programs and their correctness specifications, and…

Let $S$ be a smooth projective surface with $p_g=q=0$. We show how to use derived categorical methods to study the geometry of certain special iterated Hilbert schemes associated to $S$ by showing that they contain a smooth connected…

Hilbert schemes of suitable smooth, projective 3-fold scrolls over the Hirzebruch surface F_e, with e > 1, are studied. An irreducible component of the Hilbert scheme parametrizing such varieties is shown to be generically smooth of the…

In this paper, a novel parallel hybrid iterative method is proposed for finding a common element of the set of solutions of a system of equilibrium problems, the set of solutions of variational inequalities for inverse strongly monotone…

We prove a boundedness-theorem for families of abelian varieties with real multiplication. More generally, we study curves in Hilbert modular varieties from the point of view of the Green Griffiths-Lang conjecture claiming that entire…

The performance of reproducing kernel Hilbert space-based methods is known to be sensitive to the choice of the reproducing kernel. Choosing an adequate reproducing kernel can be challenging and computationally demanding, especially in…

Using nonlinear projections and preserving structure in model order reduction (MOR) are currently active research fields. In this paper, we provide a novel differential geometric framework for model reduction on smooth manifolds, which…

Consider a rational map from a projective space to a product of projective spaces, induced by a collection of linear projections. Motivated by the the theory of limit linear series and Abel-Jacobi maps, we study the basic properties of the…