1585 Algebraic numbers to be found for Smale's Problem #7

Smale's Problem #7 Solutions Set for n=1..65 (and 2 other force laws)
-----------------------------------------------------------------------

Introduction:
------------

Smale's Problem #7 asks for an arrangement of n-points on a S2 sphere, such that the pairwise sum of all the reciprocals of the logarithm of the distance of any 2 points is minimized. This is equivalent to the J. J. Thomson Problem in physics, or minimizing the potential energy for all points. See https://en.wikipedia.org/wiki/Smale%27s_problems

Smale asks for the global minimal soluion, not just a local minimum solution which can be infinite in number.

In the datasets given, not only was the log force law answers found, but also the Coloumb attraction (1/r) and the inverse square law (1/r^2) force laws solutions for the points N=1..65 also found as very large floating point numbers or the spherical code for that point.

Thus a set of 1585 datafiles consisting of very large spherical codes up to 60,013 digits in length are provided in hopes that an algorithm such as the QLLL or the Lenstra–Lenstra–Lovász lattice basis reduction algorithm can successfully recover the algebraic number associated with its spherical code for these unknown cases.

An example of recovering an algebraic number from a large floating point number:

  n = 1.414213562373095048801688724209698078569671875376948073176679737990732478462107038850387534327641572735013846230912...

Running the GP-Pari algdep() command on this number yields

 ? algdep(n,2)
 %1 = x^2 - 2

This is a successful recovery which went from a floating point number n, to the polynomial mononomial equation x^2-2 of which n is a root. Thus the floating point numbers or spherical codes are roots of a polynomial equation in a single variable.

The polynomial is thus considered the algebraic number completely giving n, the floating point number root.

Motive of the dataset:
---------------------

  By providing these 50,014 digit floats, it is hoped that the algebraic number can be successfully obtained, thus finding the minimal global solution to Smale's Problem #7. The math paper cited shows that these floating point numbers are the approximations to the global minimal solutions. 49 algebraic numbers have been found, it is hoped to complete these 109 algebraic numbers for the whole range of 1-65 points.

  This is a challenge to the currently existing mathematics software as the degree of the algebraic numbers > 420. New faster algorithms are needed to recover them.

-----------------

Description:
-----------

The database contains the following file set:


1. Master index csv file

  Name: parameter_sizes.csv

  This master list gives the size of N points, total count of parameters, the name of each parameter, its digit size, and polynomial degree check.

  There are from 2 to 40 parameters necessary for a given N size. Most of the parameters are 50,014 digits in size.


2. Parameter files - 1585 ASCII text files

  Name of file: law + count + parameter id

  These 1,585 files consisting of 3 basic sets based upon the potential field or force law affecting the points:

     1r for 1/r force law
     2r for 1/r^2 force law
     log for log force law

  Each parameter is named after the law, the count of points and a-z,A-Z suffixed to delineate the parameter itself:

          law       +  point count +  unique id
     (1r, 2r, log)  +    [1..65]   +  [a-z,A-Z]

  Example:

     log law, 13 points, 2nd parameter --> log13b.para

  ---------------------------
  -  parameter file format  -
  ---------------------------

  The ASCII text format of log13b.para: (same format for ALL parameter files)
  This is a very high precision decimal float or spherical code

     ------------------------------------------------------------------------
      0.50004268876.... (usually 50014 digits) ....2100512063619728807073247
     ------------------------------------------------------------------------

  There are 109 distance point sets in 3 force law categories, for a total of 1,585 parameter files.


3. Resolved parameters - 10 ASCII text files

  The following 10 parameters have been successfully resolved to their algebraic number, but are kept in place with the other unresolved parameters for this particular count of N and the force law.

     1r53b.para.resolved
     2r19a.para.resolved
     2r19b.para.resolved
     2r53b.para.resolved
     log24a.para.resolved
     log24b.para.resolved
     log24c.para.resolved
     log24e.para.resolved
     log24i.para.resolved
     log53b.para.resolved

  It is hoped that the other 1,585 parameters in the set can be successfully resolved.

Citation:
--------

  Please see https://arxiv.org/abs/2008.04880

     Some spherical codes in S2 and their algebraic numbers
     Randall L Rathbun, Wesley JM Ridgway

Software:
--------

  The GP-Pari program was used to find some of the algebraic numbers, specifically the algdep() command. See https://pari.math.u-bordeaux.fr/ for this excellent number theory software

Correspondence Author:
---------------------

 Randall L Rathbun (randallrathbun@protonmail.com)