Abstract
Solving large polynomial systems with coefficient parameters are ubiquitous and constitute an important class of problems. We demonstrate the computational power of two methods — a symbolic one called the Comprehensive Gröbner basis and a numerical one called coefficient-parameter polynomial continuation — applied to studying both potential energy landscapes and a variety of questions arising from geometry and phenomenology. Particular attention is paid to an example in flux compactification where important physical quantities such as the gravitino and moduli masses and the string coupling can be efficiently extracted.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
D. Wales, Energy landscapes: applications to clusters, biomolecules and glasses, Cambridge Molecular Science, Cambridge University Press, Cambridge U.K. (2004).
D.J. Wales, The energy landscape as a unifying theme in molecular science, Phil. Trans. Roy. Soc. A 363 (2005) 357.
D.J. Wales, Energy landscapes: calculating pathways and rates, Int. Rev. Phys. Chem. 25 (2006) 237.
D.J. Wales and T.V. Bogdan, Potential energy and free energy landscapes, J. Phys. Chem. B 110 (2006) 20765.
T.F. Middleton and D.J. Wales, Energy landscapes of model glasses. II. Results for constant pressure, J. Chem. Phys. 118 (2003) 4583.
D.J. Wales and J.P.K. Doye, Dynamics and thermodynamics of supercooled liquids and glasses from a model energy landscape, Phys. Rev. B 63 (2001) 214204.
K. Binder and A. Young, Spin glasses: experimental facts, theoretical concepts, and open questions, Rev. Mod. Phys. 58 (1986) 801.
M. Kastner, Phase transitions and configuration space topology, Rev. Mod. Phys. 80 (2008) 167 [INSPIRE].
L.E. Ibanez and A.M. Uranga, String theory and particle physics: an introduction to string phenomenology, Phys. Today 66 (2013) 51.
K. Dasgupta, G. Rajesh and S. Sethi, M theory, orientifolds and G-flux, JHEP 08 (1999) 023 [hep-th/9908088] [INSPIRE].
J. McOrist and S. Sethi, M-theory and type IIA flux compactifications, JHEP 12 (2012) 122 [arXiv:1208.0261] [INSPIRE].
S.B. Giddings, S. Kachru and J. Polchinski, Hierarchies from fluxes in string compactifications, Phys. Rev. D 66 (2002) 106006 [hep-th/0105097] [INSPIRE].
M.R. Douglas and S. Kachru, Flux compactification, Rev. Mod. Phys. 79 (2007) 733 [hep-th/0610102] [INSPIRE].
D. Marsh, L. McAllister and T. Wrase, The wasteland of random supergravities, JHEP 03 (2012) 102 [arXiv:1112.3034] [INSPIRE].
M. Graña, Flux compactifications in string theory: a comprehensive review, Phys. Rept. 423 (2006) 91 [hep-th/0509003] [INSPIRE].
R. Blumenhagen, B. Körs, D. Lüst and S. Stieberger, Four-dimensional string compactifications with D-branes, orientifolds and fluxes, Phys. Rept. 445 (2007) 1 [hep-th/0610327] [INSPIRE].
D.J. Wales, Basins of attraction for stationary-points on a potential-energy surface, J. Chem. Soc. Faraday Trans. 88 (1992) 653.
D.J. Wales, Locating stationary-points for clusters in cartesian coordinates, J. Chem. Soc. Faraday Trans. 89 (1993) 1305.
K. Broderix, K. Bhattacharya, A. Cavagna, A. Zippelius and I. Giardina, Energy landscape of a lennard-jones liquid: statistics of stationary points, Phys. Rev. Lett. 85 (2000) 5360 [cond-mat/0007258].
J.P.K. Doye and D.J. Wales, Saddle points and dynamics of Lennard-Jones clusters, solids and supercooled liquids, J. Chem. Phys. 116 (2002) 3777 [cond-mat/0108310].
D. Wales and J. Doye, Stationary points and dynamics in high-dimensional systems, J. Chem. Phys. 119 (2003) 12409.
J. Gray, Y.-H. He, A. Ilderton and A. Lukas, A new method for finding vacua in string phenomenology, JHEP 07 (2007) 023 [hep-th/0703249] [INSPIRE].
Y.-H. He et al., Computational algebraic geometry in string and gauge theory, Special Issue, Advances in High Energy Physics, Hindawi publishing, Egypt (2012).
J. Gray, Y.-H. He, V. Jejjala and B.D. Nelson, Exploring the vacuum geometry of N = 1 gauge theories, Nucl. Phys. B 750 (2006) 1 [hep-th/0604208] [INSPIRE].
J. Gray, A. Hanany, Y.-H. He, V. Jejjala and N. Mekareeya, SQCD: a geometric apercu, JHEP 05 (2008) 099 [arXiv:0803.4257] [INSPIRE].
J. Gray, A simple introduction to Gröbner basis methods in string phenomenology, Adv. High Energy Phys. 2011 (2011) 217035 [arXiv:0901.1662] [INSPIRE].
J. Gray, Y.-H. He and A. Lukas, Algorithmic algebraic geometry and flux vacua, JHEP 09 (2006) 031 [hep-th/0606122] [INSPIRE].
J. Gray, Y.-H. He, A. Ilderton and A. Lukas, STRINGVACUA: a Mathematica package for studying vacuum configurations in string phenomenology, Comput. Phys. Commun. 180 (2009) 107 [arXiv:0801.1508] [INSPIRE].
W. Decker, G.-M. Greuel, G. Pfister and H. Schönemann, Singular 3-1-3 — A computer algebra system for polynomial computations, http://www.singular.uni-kl.de.
D. Mehta, Lattice vs. continuum: Landau gauge fixing and ’t Hooft-Polyakov monopoles, Ph.D. Thesis, University of Adelaide, Adelaide, Australia (2009).
D. Mehta, A. Sternbeck, L. von Smekal and A.G. Williams, Lattice Landau Gauge and Algebraic Geometry, PoS(QCD-TNT09)025 [arXiv:0912.0450] [INSPIRE].
C. Hughes, D. Mehta and J.-I. Skullerud, Enumerating Gribov copies on the lattice, Annals Phys. 331 (2013) 188 [arXiv:1203.4847] [INSPIRE].
D. Mehta, Finding all the stationary points of a potential energy landscape via numerical polynomial homotopy continuation method, Phys. Rev. E 84 (2011) 025702 [arXiv:1104.5497] [INSPIRE].
M. Kastner and D. Mehta, Phase transitions detached from stationary points of the energy landscape, Phys. Rev. Lett. 107 (2011) 160602 [arXiv:1108.2345] [INSPIRE].
D. Mehta, J.D. Hauenstein and M. Kastner, Energy landscape analysis of the two-dimensional nearest-neighbor ϕ 4 model, Phys. Rev. E 85 (2012) 061103 [arXiv:1202.3320] [INSPIRE].
R. Nerattini, M. Kastner, D. Mehta and L. Casetti, Exploring the energy landscape of XY models, Physical Review E 87, 032140 (2013) [arXiv:1211.4800] [INSPIRE].
D. Mehta, D.A. Stariolo and M. Kastner, Energy landscape of the finite-size mean-field 3-spin spherical model, to be published in Phys. Rev. E, arXiv:1303.1520 [INSPIRE].
M. Maniatis and D. Mehta, Minimizing Higgs potentials via numerical polynomial homotopy continuation, Eur. Phys. J. Plus 127 (2012) 91 [arXiv:1203.0409] [INSPIRE].
J. Camargo-Molina, B. O’Leary, W. Porod and F. Staub, The stability of R-parity in supersymmetric models extended by U(1) B−L , arXiv:1212.4146 [INSPIRE].
D. Mehta, Numerical polynomial homotopy continuation method and string vacua, Adv. High Energy Phys. 2011 (2011) 263937 [arXiv:1108.1201] [INSPIRE].
D. Mehta, Y.-H. He and J.D. Hauenstein, Numerical algebraic geometry: a new perspective on string and gauge theories, JHEP 07 (2012) 018 [arXiv:1203.4235] [INSPIRE].
J. Hauenstein, Y.-H. He and D. Mehta, Numerical analyses on moduli space of vacua, arXiv:1210.6038 [INSPIRE].
B. Greene, D. Kagan, A. Masoumi, E.J. Weinberg and X. Xiao, Tumbling through a landscape: evidence of instabilities in high-dimensional moduli spaces, arXiv:1303.4428 [INSPIRE].
D.J. Wales, A microscopic basis for the global appearance of energy landscapes, Science 293 (2001) 2067.
D.J. Wales, Highlights: Energy landscapes of clusters bound by short-ranged potentials, Chem. Phys. Chem 11 (2010) 2491.
D.J. Wales, J.P.K. Doye and D.J. Wales, Energy landscapes of colloidal clusters: Thermodynamics and rearrangement mechanisms, Nanoscale 4 (2012) 1085.
D.J. Wales, Decoding the energy landscape: Extracting structure, dynamics and thermodynamics, Phil. Trans. Roy. Soc. A 370 (2012) 2877.
L. von Smekal, D. Mehta, A. Sternbeck and A.G. Williams, Modified lattice Landau gauge, PoS(LATTICE 2007) 382.
L. von Smekal, A. Jorkowski, D. Mehta and A. Sternbeck, Lattice Landau gauge via stereographic projection, PoS(CONFINEMENT8)048 [arXiv:0812.2992] [INSPIRE].
A.P. Morgan and A.J. Sommese, Coefficient-parameter polynomial continuation, Appl. Math. Comput. 29 (1989) 123.
D.J. Bates, D.A. Brake and M.E. Niemerg., Paramotopy: parameter homotopies in parallel., in preparation.
W. Hanan, D. Mehta, G. Moroz and S. Pouryahya, Stability and bifurcation analysis of coupled Fitzhugh-Nagumo oscillators, extended abstract published in the proceedings of the Joint Conference of ASCM2009 and MACIS2009, Japan (2009), arXiv:1001.5420.
E.A. Hernandez-Vargas, D. Mehta and R.H. Middleton, Towards modeling HIV long term behavior, in the proceedings of the 18th IFAC World Congress, August 28-September 2, Milano, Italy (2011), arXiv:1105.2823.
D.A. Cox, J. Little, and D. O’Shea, Ideals, varieties, and algorithms: an introduction to computational algebraic geometry and commutative algebra, Undergraduate Texts in Mathematics, Springer, U.S.A. (2007).
J.C. Faugère, A new efficient algorithm for computing Groebner bases (F 4 ), J. Pure Appl. Alg. 139 (1999) 61.
J.C. Faugère, A new efficient algorithm for computing Gröbner bases without reduction to zero (F 5 ), in the proceedings of the International symposium on Symbolic and algebraic computation (ISSAC02), July 7-10, New York, U.S.A. (2002).
V.P. Gerdt, Involutive algorithms for computing Groebner bases, math/0501111.
CoCoATeam, CoCoA: a system for doing Computations in Commutative Algebra, http://cocoa.dima.unige.it.
D.R. Grayson and M.E. Stillman, Macaulay2, a software system for research in algebraic geometry, http://www.math.uiuc.edu/Macaulay2/.
W. Bosma, J. Cannon and C. Playoust, The Magma algebra system I: the user language, J. Symb. Comput. 24 (1997) 235.
V. Weispfenning, Comprehensive Gröbner bases, J. Symb. Comp. 14 (1992) 1.
D.A. Cox, J. Little and D. O’Shea, Using algebraic geometry, Springer, U.S.A. (1998).
A.J. Sommese and C.W. Wampler, The numerical solution of systems of polynomials arising in engineering and science, World Scientific Publishing Company, Singapore (2005).
A. Montes, A new algorithm for discussing Gröbner bases with parameters, J. Symb. Comput. 33 (2002) 183.
A. Suzuki and Y. Sato, An alternative approach to comprehensive Gröbner bases, J. Symb. Comput. 36 (2003) 649.
D. Kapur, Y. Sun and D. Wang, An efficient method for computing comprehensive Gröbner bases, J. Symb. Comput. 52 (2013) 124.
T.Y. Li, Solving polynomial systems by the homotopy continuation method, in Handbook of Numerical Analysis XI, P.G. Ciarlet and J.L. Lion eds., Gulf Professional Publishing, U.S.A. (2003).
D.J. Bates, J.D. Hauenstein, A.J. Sommese and C.W. Wampler, Bertini: software for numerical algebraic geometry, http://www.nd.edu/∼sommese/bertini.
J. Verschelde, Algorithm 795: Phcpack: a general-purpose solver for polynomial systems by homotopy continuation, ACM Trans. Math. Soft. 25 (1999) 251.
A.P. Morgan, A.J. Sommese and L.T. Watson, Finding all isolated solutions to polynomial systems using hompack, ACM Trans. Math. Softw. 15 (1989) 93.
T. Gao, T.Y. Li and M. Wu, Algorithm 846: Mixedvol: a software package for mixed-volume computation, ACM Trans. Math. Softw. 31 (2005) 555.
T.L. Lee, T.Y. Li and C.H. Tsai, Hom4ps-2.0, a software package for solving polynomial systems by the polyhedral homotopy continuation method, Computing 83 (2008) 109.
D.N. Bernstein, The number of roots of a system of equations, Funkts. Anal. Pril. 9 (1975) 1.
A.G. Khovanski, Newton polyhedra and the genus of complete intersections, Funkts. Anal. Pril. 12 (1978) 51.
A. G. Kushnirenko, Newton polytopes and the bezout theorem, Funkts. Anal. Pril. 10 (1976) 82.
T. Li, T. Sauer and J. Yorke, The cheater’s homotopy: an efficient procedure for solving systems of polynomial equations, SIAM J. Numer. Anal. 26 (1989) 1241.
J. Wess and J. Bagger, Supersymmetry and supergravity, Princeton University Press, Princeton U.S.A. (1992).
E. Cremmer, S. Ferrara, C. Kounnas and D.V. Nanopoulos, Naturally vanishing cosmological constant in N = 1 supergravity, Phys. Lett. B 133 (1983) 61 [INSPIRE].
J.R. Ellis, A. Lahanas, D.V. Nanopoulos and K. Tamvakis, No-scale supersymmetric standard model, Phys. Lett. B 134 (1984) 429 [INSPIRE].
F. Denef and M.R. Douglas, Distributions of flux vacua, JHEP 05 (2004) 072 [hep-th/0404116] [INSPIRE].
D. Martinez-Pedrera, D. Mehta, M. Rummel and A. Westphal, Finding all flux vacua in an explicit example, arXiv:1212.4530 [INSPIRE].
M. Rummel and A. Westphal, A sufficient condition for de Sitter vacua in type IIB string theory, JHEP 01 (2012) 020 [arXiv:1107.2115] [INSPIRE].
J. Louis, M. Rummel, R. Valandro and A. Westphal, Building an explicit de Sitter, JHEP 10 (2012) 163 [arXiv:1208.3208] [INSPIRE].
P. Candelas, X.C. De La Ossa, P.S. Green and L. Parkes, A pair of Calabi-Yau manifolds as an exactly soluble superconformal theory, Nucl. Phys. B 359 (1991) 21 [INSPIRE].
P. Candelas, A. Dale, C. Lütken and R. Schimmrigk, Complete intersection Calabi-Yau manifolds, Nucl. Phys. B 298 (1988) 493 [INSPIRE].
L.B. Anderson, Y.-H. He and A. Lukas, Heterotic compactification, an algorithmic approach, JHEP 07 (2007) 049 [hep-th/0702210] [INSPIRE].
V. Braun, On free quotients of complete intersection Calabi-Yau manifolds, JHEP 04 (2011) 005 [arXiv:1003.3235] [INSPIRE].
Z.A. Griffin and J.D. Hauenstein, Real solutions to systems of polynomial equations andparameter continuation, http://arxiv.org/abs/http://www4.ncsu.edu/∼jdhauens/preprints/ghRealSolving.pdf
D. Mehta, J.D. Hauenstein and D.J. Wales, Certifying the potential energy landscape, J. Chem. Phys. 138 (2013) 171101 [arXiv:1302.6265] [INSPIRE].
Author information
Authors and Affiliations
Corresponding author
Additional information
ArXiv ePrint: 1301.0946
Rights and permissions
About this article
Cite this article
He, YH., Mehta, D., Niemerg, M. et al. Exploring the potential energy landscape over a large parameter-space. J. High Energ. Phys. 2013, 50 (2013). https://doi.org/10.1007/JHEP07(2013)050
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP07(2013)050