Concept
Série formelle
Publications associées (33)
The ABCD of topological recursion
Kontsevich and Soibelman reformulated and slightly generalised the topological recursion of [43], seeing it as a quantisation of certain quadratic Lagrangians in T*V for some vector space V. KS topological recursion is a procedure which takes as initial da ...
San Diego2024Multiplicative chaos of the Brownian loop soup
Antoine Pierre François Jego, Titus Lupu
We construct a measure on the thick points of a Brownian loop soup in a bounded domain D of the plane with given intensity theta>0, which is formally obtained by exponentiating the square root of its occupation field. The measure is construct ...
WILEY2023A DONALDSON-THOMAS CREPANT RESOLUTION CONJECTURE ON CALABI-YAU 4-FOLDS
Let G be a finite subgroup of SU(4) such that its elements have age at most one. In the first part of this paper, we define K-theoretic stable pair invariants on a crepant resolution of the affine quotient C4/G, and conjecture a closed formula for their ge ...
Providence2023On Verified Scala for STIX File System Embedded Code using Stainless
We present an approach for using formal methods in embedded systems and its evaluation on a case study. In our approach, the developers describe the system in a restricted subset of the high-level programming language Scala. We then use 1) a verification s ...
2022