Numerical Algebraic Geometry: A New Perspective on String and Gauge Theories

The interplay rich between algebraic geometry and string and gauge theories has recently been immensely aided by advances in computational algebra. However, these symbolic (Gr\"{o}bner) methods are severely limited by algorithmic issues such as exponential space complexity and being highly sequential. In this paper, we introduce a novel paradigm of numerical algebraic geometry which in a plethora of situations overcomes these short-comings. Its so-called 'embarrassing parallelizability' allows us to solve many problems and extract physical information which elude the symbolic methods. We describe the method and then use it to solve various problems arising from physics which could not be otherwise solved.Comment: 36 page

Likelihood Geometry

We study the critical points of monomial functions over an algebraic subset of the probability simplex. The number of critical points on the Zariski closure is a topological invariant of that embedded projective variety, known as its maximum likelihood degree. We present an introduction to this theory and its statistical motivations. Many favorite objects from combinatorial algebraic geometry are featured: toric varieties, A-discriminants, hyperplane arrangements, Grassmannians, and determinantal varieties. Several new results are included, especially on the likelihood correspondence and its bidegree. These notes were written for the second author's lectures at the CIME-CIRM summer course on Combinatorial Algebraic Geometry at Levico Terme in June 2013.Comment: 45 pages; minor changes and addition

Algorithms to Compute Characteristic Classes

In this thesis we develop several new algorithms to compute characteristics classes in a variety of settings. In addition to algorithms for the computation of the Euler characteristic, a classical topological invariant, we also give algorithms to compute the Segre class and Chern-Schwartz-MacPherson (CSM) class. These invariants can in turn be used to compute other common invariants such as the Chern-Fulton class (or the Chern class in smooth cases). We begin with subschemes of a projective space over an algebraically closed field of characteristic zero. In this setting we give effective algorithms to compute the CSM class, Segre class and the Euler characteristic. The algorithms can be implemented using either symbolic or numerical methods. The algorithms are based on a new method for calculating the projective degrees of a rational map defined by a homogeneous ideal. Running time bounds are given for these algorithms and the algorithms are found to perform favourably compared to other applicable algorithms. Relations between our algorithms and other existing algorithms are explored. In the special case of a complete intersection subcheme we develop a second algorithm to compute CSM classes and Euler characteristics in a more direct and efficient manner. Each of these algorithms are generalized to subschemes of a product of projective spaces. Running time bounds for the generalized algorithms to compute the CSM class, Segre class and the Euler characteristic are given. Our Segre class algorithm is tested in comparison to another applicable algorithm and is found to perform favourably. To the best of our knowledge there are no other algorithms in the literature which compute the CSM class and Euler characteristic in the multi-projective setting. For complete simplical toric varieties defined by a fan we give a strictly combinatorial algorithm to compute the CSM class and Euler characteristic and a second combinatorial algorithm with reduced running time to compute only the Euler characteristic. We also prove several Bezout type bounds in multi-projective space. An application of these bounds to obtain a sharper degree bound on a certain system with a natural bi-projective structure is demonstrated