Smooth numbers in large prime gaps
DOI10.5281/zenodo.5914768Zenodo5914768MaRDI QIDQ6695388FDOQ6695388
Dataset published at Zenodo repository.
Robert Guralnick, Russ Woodroofe, John Shareshian
Publication date: 5 February 2022
Copyright license: Creative Commons Attribution 4.0 International
Overview This dataset contains numbers from 25 up to 1 quadrillion (1015)that are smooth relative to the gap to the preceding prime. More precisely, we list all numbersnso that r+pan whereris the largest prime smaller thann- 1, andpais the largest prime-power divisor ofn. Thedataset is the result of a 10 day computation using 15 cores on an Intel Xeon system, runningcode hosted atGitHub(see Related identifiers). The GitHub code checks additional conditions whenrisn- 2 and n - 1 is a power of 2, but it is easy and quick to check that when (up to 1015) n=2k+ 1,the second largest primer2satisfiesr2+pa n. Thus,this additional checkmakesno difference in the output. Our motivations for computing this data are described in our paperOn invariable generation of alternating groups by elements of prime and prime power order(arXiv:2201.12371). Any numbernin the range which is not of the given form has the associated alternating groupAngenerated by any element of orderrtogether with any element having a certain cycle structure (and of order pa). Description / specification The data is stored ascompressed text-based input to a computer algebra system, specifically ingzipped GAPformat. The file out-k.g.gz holds numbers in the range from (k- 1)1012tok1012. The first line of each filesets the variableinvgen_oversmooth_range to be the range (thus, [(k- 1)1012..k1012]). The subsequent lines setinvgen_oversmooth to a list of pairs of numbers [n,pa], wherenis a smooth number as described above, andpais the largest prime-power ofn. The largest prime precedingn- 1 is given in a GAP comment. Thus, the first few lines of out-0.g.gz (when uncompressed) appear as invgen_oversmooth_range:=[25..1000000000000]; invgen_oversmooth := [ [ 30, 5 ], # bp 23 [ 60, 5 ], # bp 53 [ 126, 9 ], # bp 113 [ 210, 7 ], # bp 199 [ 252, 9 ], # bp 241 [ 308, 11 ], # bp 293 [ 330, 11 ], # bp 317 [ 420, 7 ], # bp 409 ... where [25 ..1000000000000] is the range considered, and for example [ 30, 5 ], # bp 23 represents that 23 is the largest prime preceding 30 - 1, 5 is the largest prime-power divisor of 30, and 23 + 5 30. We created the data in GAP files for ease of inputting into a GAP program in our own use of thedata. It is easy to convert theGAP files to another format via standard technique such as regular expression-based search and replace. For example, on macOS or Linux, the following command will convert the list in out-0.g.gz to a CSV file, which it will display on the terminal. zcat out_quadrillion/out-0.g.gz | sed -En 's/ \[ ([0-9]+), ([0-9]+) \], # bp ([0-9]+)/\1,\2,\3/gp' | less
This page was built for dataset: Smooth numbers in large prime gaps
