The computational complexity of structure-based causality
Gadi Aleksandrowicz, Hana Chockler, et al.
AAAI 2014
We show that, up to Lagrangian isotopy, there is a unique Lagrangian torus inside each of the following uniruled symplectic four-manifolds: the symplectic vector space R4, the projective plane CP2, and the monotone S2× S2. The result is proven by studying pseudoholomorphic foliations while performing the splitting construction from symplectic field theory along the Lagrangian torus. A number of other related results are also shown. Notably, the nearby Lagrangian conjecture is established for T∗T2, i.e. it is shown that every closed exact Lagrangian submanifold in this cotangent bundle is Hamiltonian isotopic to the zero-section.
Gadi Aleksandrowicz, Hana Chockler, et al.
AAAI 2014
Ryan Berryhill, Alexander Ivrii, et al.
FMCAD 2017
Hana Chockler, Alexander Ivrii, et al.
SAC 2013
Gadi Aleksandrowicz, Hana Chockler, et al.
JAIR