摘要

Until recently, the preferred strategy to identify stationary points in the scalar potential of SO(8)-gauged N = 8 supergravity in D = 4 has been to consider truncations of the potential to sub-manifolds of E7(+7)/SU(8) that are invariant under some postulated residual gauge group G subset of SO(8). As powerful alternative strategies have been shown to exist that allow one to go far beyond what this method can achieve - and in particular have produced numerous solutions that break the SO(8) gauge group to no continuous residual symmetry - independent verification of results becomes a problem due to both the complexity of the scalar potential and the large number of new solutions. This article introduces a conceptually simple self-contained piece of computer code that allows independent numerical validation of claims on the locations of newly discovered stationary points. %26lt;br%26gt;Program summary %26lt;br%26gt;Program title: e7-vacua %26lt;br%26gt;Catalogue identifier: AELB_v1_0 %26lt;br%26gt;Program summary URL: http://cpc.cs.qub.ac.uk/summaries/AELB_v1_0.html %26lt;br%26gt;Program obtainable from: CPC Program Library, Queen%26apos;s University, Belfast, N. Ireland %26lt;br%26gt;Licensing provisions: Standard CPC licence. http://cpc.cs.qub.ac.uk/licence/licence.html %26lt;br%26gt;No. of lines in distributed program, including test data, etc.: 4447 %26lt;br%26gt;No. of bytes in distributed program, including test data, etc.: 281 689 %26lt;br%26gt;Distribution format: tar.gz %26lt;br%26gt;Programming language: Python %26lt;br%26gt;Computer: Any %26lt;br%26gt;Operating system: Unix/Linux %26lt;br%26gt;RAM: 1 Giga-byte %26lt;br%26gt;Classification: 1.5, 11.1 %26lt;br%26gt;External routines: Scientific Python (SciPy) (http://www.scipy.org/), NumPy (http://numpy.scipy.org) %26lt;br%26gt;Nature of problem: This code allows numerical validation of claims about the existence of critical points in the scalar potential of four-dimensional SO(8)-gauged N = 8 supergravity. %26lt;br%26gt;Solution method: Tensor algebra. %26lt;br%26gt;Running time: Full analysis of a solution (including scalar mass matrices): about 15 minutes. Otherwise, about 1-2 minutes.

  • 出版日期2012-3