Numerical polynomial homotopy continuation method and string vacua

DOI10.1155/2011/263937MaRDI QIDQ765439zbMATH OpenOpenAlexWikidataFDO

Authors Dhagash Mehta

Publication date 19 March 2012

Published in Advances in High Energy Physics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1108.1201

Mathematics Subject Classification ID

Lamé, Mathieu, and spheroidal wave functions (33E10) Symbolic computation and algebraic computation (68W30) Research exposition (monographs, survey articles) pertaining to relativity and gravitational theory (83-02) Kaluza-Klein and other higher-dimensional theories (83E15) String and superstring theories in gravitational theory (83E30) Supergravity (83E50)

Abstract: Finding vacua for the four dimensional effective theories for supergravity which descend from flux compactifications and analyzing them according to their stability is one of the central problems in string phenomenology. Except for some simple toy models, it is, however, difficult to find all the vacua analytically. Recently developed algorithmic methods based on symbolic computer algebra can be of great help in the more realistic models. However, they suffer from serious algorithmic complexities and are limited to small system sizes. In this article, we review a numerical method called the numerical polynomial homotopy continuation (NPHC) method, first used in the areas of lattice field theories, which by construction finds extit{all} of the vacua of a given potential that is known to have only isolated solutions. The NPHC method is known to suffer from no major algorithmic complexities and is extit{embarrassingly parallelizable}, and hence its applicability goes way beyond the existing symbolic methods. We first solve a simple toy model as a warm up example to demonstrate the NPHC method at work and compare the results with the available results from the symbolic methods. We then show that all the vacua of a more complicated model of M theory compactified on the coset $fracSU(3)imesU(1)U(1)imesU(1)$, which has an SU(3) structure, can be obtained by the NPHC method using a desktop machine in just about one hour, a feat which was reported to be prohibitively difficult by the existing symbolic methods. Finally, we compare the various technicalities between the two methods.

Review text

Summary: Finding vacua for the four-dimensional effective theories for supergravity which descend from flux compactifications and analyzing them according to their stability is one of the central problems in string phenomenology. Except for some simple toy models, it is, however, difficult to find all the vacua analytically. Recently developed algorithmic methods based on symbolic computer algebra can be of great help in the more realistic models. However, they suffer from serious algorithmic complexities and are limited to small system sizes. In this paper, we review a numerical method called the numerical polynomial homotopy continuation (NPHC) method, first used in the areas of lattice field theories, which by construction finds \textit{all} of the vacua of a given potential that is known to have only isolated solutions. The NPHC method is known to suffer from no major algorithmic complexities and is \textit{embarrassingly parallelizable}, and hence its applicability goes way beyond the existing symbolic methods. We first solve a simple toy model as a warm-up example to demonstrate the NPHC method at work. We then show that all the vacua of a more complicated model of a compactified M theory model, which has an \(SU(3)\) structure, can be obtained by using a desktop machine in just about an hour, a feat which was reported to be prohibitively difficult by the existing symbolic methods. Finally, we compare the various technicalities between the two methods.

Recommendations

• STRINGVACUA. A Mathematica package for studying vacuum configurations in string phenomenology
• Numerical elimination and moduli space of vacua
• Finding all flux vacua in an explicit example
• A simple introduction to Gröbner basis methods in string phenomenology
• Algorithm 795

Cites work

• A simple introduction to Gröbner basis methods in string phenomenology
• Algorithm 795
• Algorithm 846
• Algorithm 921: alphaCertified: certifying solutions to polynomial systems
• Finding all isolated solutions to polynomial systems using HOMPACK
• HOM4PS-2.0: a software package for solving polynomial systems by the polyhedral homotopy continuation method
• scientific article; zbMATH DE number 2151220 (Why is no real title available?)
• scientific article; zbMATH DE number 2095946 (Why is no real title available?)
• scientific article; zbMATH DE number 2109418 (Why is no real title available?)
• Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra
• PHoM -- a polyhedral homotopy continuation method for polynomial systems
• Stationary point analysis of the one-dimensional lattice Landau gauge fixing functional, aka random phase \(XY\) Hamiltonian
• STRINGVACUA. A Mathematica package for studying vacuum configurations in string phenomenology
• The Magma algebra system. I: The user language
• The Numerical Solution of Systems of Polynomials Arising in Engineering and Science

Cited in

(14)

• Global structure of curves from generalized unitarity cut of three-loop diagrams
• Numerical algebraic geometry: a new perspective on gauge and string theories
• Finding all flux vacua in an explicit example
• Exploring the potential energy landscape over a large parameter-space
• Coulomb, Landau and maximally abelian gauge fixing in lattice QCD with multi-gpus
• Statistics of stationary points of random finite polynomial potentials
• Algebraic geometrization of the Kuramoto model: Equilibria and stability analysis
• Mixed cell computation in HOM4ps
• Parallel degree computation for binomial systems
• Experiments on the zeros of harmonic polynomials using certified counting
• STRINGVACUA. A Mathematica package for studying vacuum configurations in string phenomenology
• Counting \(\mathcal{N} = 8\) black holes as algebraic varieties
• Numerical elimination and moduli space of vacua
• Computational complexity of the landscape. I.

Describes a project that uses

Uses Software

• HOM4PS
• Macaulay2
• PHoM
• alphaCertified
• PHCpack
• STRINGVACUA
• MixedVol
• Magma
• CoCoA
• SINGULAR

This page was built for publication: Numerical polynomial homotopy continuation method and string vacua

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q765439)