197 research outputs found
Stable maps to Looijenga pairs
A log Calabi-Yau surface with maximal boundary, or Looijenga pair, is a pair
with a smooth rational projective complex surface and an anticanonical singular nodal curve. Under some positivity
conditions on the pair, we propose a series of correspondences relating five
different classes of enumerative invariants attached to :
1) the log Gromov-Witten theory of the pair ,
2) the Gromov-Witten theory of the total space of ,
3) the open Gromov-Witten theory of special Lagrangians in a Calabi-Yau
3-fold determined by ,
4) the Donaldson-Thomas theory of a symmetric quiver specified by ,
and
5) a class of BPS invariants considered in different contexts by
Klemm-Pandharipande, Ionel-Parker, and Labastida-Marino-Ooguri-Vafa.
We furthermore provide a complete closed-form solution to the calculation of
all these invariants.Comment: v1: 114 pages (80pp+appendices), 40 figures. v2: minor changes,
references added. v3: 94 pages, exposition streamlined and shortened, typos
fixed, references added. v4: introduction substantially revised, 98 page
Programming Languages and Systems
This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems
Foundations of Software Science and Computation Structures
This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems
Tools and Algorithms for the Construction and Analysis of Systems
This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems
Foundations of Software Science and Computation Structures
This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems
- …