The moduli space of stable quotients introduced by Marian-Oprea-Pandharipande provides a natural compactification of the space of morphisms from nonsingular curves to a nonsingular projective variety and carries a natural virtual class. We show that the analogue of Givental's J-function for the resulting twisted projective invariants is described by the same mirror hypergeometric series as the corresponding Gromov-Witten invariants (which arise from the moduli space of stable maps), but without the mirror transform (in the Calabi-Yau case). This implies that the stable quotients and Gromov-Witten twisted invariants agree if there is enough "positivity", but not in all cases. As a corollary of the proof, we show that certain twisted Hurwitz numbers arising in the stable quotients theory are also described by a fundamental object associated with this hypergeometric series. We thus completely answer some of the questions posed by Marian-Oprea-Pandharipande concerning their invariants. Our results suggest a deep connection between the stable quotients invariants of complete intersections and the geometry of the mirror families. As in Gromov-Witten theory, computing Givental's J-function (essentially a generating function for genus 0 invariants with 1 marked point) is key to computing stable quotients invariants of higher genus and with more marked points; we exploit this in forthcoming papers.
We explore some mathematical features of the loss landscape of overparameterized neural networks. A priori one might imagine that the loss function looks like a typical function from R n to R -in particular, nonconvex, with discrete global minima. In this paper, we prove that in at least one important way, the loss function of an overparameterized neural network does not look like a typical function. If a neural net has n parameters and is trained on d data points, with n > d, we show that the locus M of global minima of L is usually not discrete, but rather an n − d dimensional submanifold of R n . In practice, neural nets commonly have orders of magnitude more parameters than data points, so this observation implies that M is typically a very high-dimensional subset of R n .
The classical Severi degree counts the number of algebraic curves of fixed
genus and class passing through points in a surface. We express the Severi
degrees of CP1 x CP1 as matrix elements of the exponential of a single operator
M on Fock space. The formalism puts Severi degrees on a similar footing as the
more developed study of Hurwitz numbers of coverings of curves. The pure genus
1 invariants of the product E x CP1 (with E an elliptic curve) are solved via
an exact formula for the eigenvalues of M to initial order. The Severi degrees
of CP2 are also determined by M via the (-1)^(d-1)/d^2 disk multiple cover
formula for Calabi-Yau 3-fold geometries.Comment: 20 pages, 6 figures. Revised in response to referee comments. To
appear in Proceedings of the London Mathematical Societ
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.