files / problems / cosine-zeros / compute / bedert_ratios.json

15 KB · on GitHub

{
  "c_littlewood_01": 0.005305164769729845,
  "max_ratio_d_ge_4": 183.3624821291954,
  "max_ratio_at": 4,
  "rows": [
    {
      "d": 2,
      "m": 42,
      "log_X": 299.03264304714673,
      "log_F": 402.9112574040353,
      "logF_over_d_logd": 290.63903648756923,
      "two_X_covers": true
    },
    {
      "d": 3,
      "m": 75,
      "log_X": 520.1471879101571,
      "log_F": 696.8218953915928,
      "logF_over_d_logd": 211.42487438596345,
      "two_X_covers": true
    },
    {
      "d": 4,
      "m": 111,
      "log_X": 760.7795642497473,
      "log_F": 1016.7775000666011,
      "logF_over_d_logd": 183.3624821291954,
      "two_X_covers": true
    },
    {
      "d": 5,
      "m": 150,
      "log_X": 1020.8986401317868,
      "log_F": 1362.770656021547,
      "logF_over_d_logd": 169.34740327578143,
      "two_X_covers": true
    },
    {
      "d": 6,
      "m": 191,
      "log_X": 1294.042436123231,
      "log_F": 1726.1548103636035,
      "logF_over_d_logd": 160.56422378941335,
      "two_X_covers": true
    },
    {
      "d": 7,
      "m": 233,
      "log_X": 1573.7544893850466,
      "log_F": 2098.2838272661647,
      "logF_over_d_logd": 154.0435115219055,
      "two_X_covers": true
    },
    {
      "d": 8,
      "m": 276,
      "log_X": 1860.0200878273567,
      "log_F": 2479.1478655695887,
      "logF_over_d_logd": 149.02726380365436,
      "two_X_covers": true
    },
    {
      "d": 9,
      "m": 320,
      "log_X": 2152.8274203729516,
      "log_F": 2868.738440033635,
      "logF_over_d_logd": 145.0687921694942,
      "two_X_covers": true
    },
    {
      "d": 10,
      "m": 365,
      "log_X": 2452.166820808141,
      "log_F": 3267.0482566287587,
      "logF_over_d_logd": 141.88610299655087,
      "two_X_covers": true
    },
    {
      "d": 11,
      "m": 411,
      "log_X": 2758.03024380579,
      "log_F": 3674.0710215608638,
      "logF_over_d_logd": 139.29151130764097,
      "two_X_covers": true
    },
    {
      "d": 12,
      "m": 457,
      "log_X": 3063.97314307475,
      "log_F": 4081.1662940949636,
      "logF_over_d_logd": 136.86517809576293,
      "two_X_covers": true
    },
    {
      "d": 13,
      "m": 505,
      "log_X": 3382.865210627919,
      "log_F": 4505.599249332425,
      "logF_over_d_logd": 135.12335307234346,
      "two_X_covers": true
    },
    {
      "d": 14,
      "m": 552,
      "log_X": 3695.388166417737,
      "log_F": 4921.460753128532,
      "logF_over_d_logd": 133.20396908126335,
      "two_X_covers": true
    },
    {
      "d": 15,
      "m": 600,
      "log_X": 4014.4131265587785,
      "log_F": 5346.017031502849,
      "logF_over_d_logd": 131.60802384256525,
      "two_X_covers": true
    },
    {
      "d": 16,
      "m": 649,
      "log_X": 4339.936228292,
      "log_F": 5779.2647621473625,
      "logF_over_d_logd": 130.27682206772397,
      "two_X_covers": true
    },
    {
      "d": 17,
      "m": 698,
      "log_X": 4665.516293385454,
      "log_F": 6212.565989944131,
      "logF_over_d_logd": 128.98607123910136,
      "two_X_covers": true
    },
    {
      "d": 18,
      "m": 747,
      "log_X": 4991.1502618260265,
      "log_F": 6645.918029895449,
      "logF_over_d_logd": 127.74054663344414,
      "two_X_covers": true
    },
    {
      "d": 19,
      "m": 797,
      "log_X": 5323.273136206421,
      "log_F": 7087.953426437041,
      "logF_over_d_logd": 126.69652282772074,
      "two_X_covers": true
    },
    {
      "d": 20,
      "m": 847,
      "log_X": 5655.444681826206,
      "log_F": 7530.034991087807,
      "logF_over_d_logd": 125.67937157739634,
      "two_X_covers": true
    },
    {
      "d": 21,
      "m": 898,
      "log_X": 5994.100396576204,
      "log_F": 7980.7956792975865,
      "logF_over_d_logd": 124.82676586037547,
      "two_X_covers": true
    },
    {
      "d": 22,
      "m": 949,
      "log_X": 6332.800474063737,
      "log_F": 8431.598661991839,
      "logF_over_d_logd": 123.9887482682741,
      "two_X_covers": true
    },
    {
      "d": 23,
      "m": 1000,
      "log_X": 6671.543033377066,
      "log_F": 8882.442234363734,
      "logF_over_d_logd": 123.16818786095848,
      "two_X_covers": true
    },
    {
      "d": 24,
      "m": 1051,
      "log_X": 7010.326346318028,
      "log_F": 9333.324822743363,
      "logF_over_d_logd": 122.36688081472693,
      "two_X_covers": true
    },
    {
      "d": 25,
      "m": 1103,
      "log_X": 7355.586571214173,
      "log_F": 9792.879946374143,
      "logF_over_d_logd": 121.69316841261026,
      "two_X_covers": true
    },
    {
      "d": 26,
      "m": 1154,
      "log_X": 7694.446731150699,
      "log_F": 10243.8363000828,
      "logF_over_d_logd": 120.92757205058011,
      "two_X_covers": true
    },
    {
      "d": 27,
      "m": 1207,
      "log_X": 8046.21871418765,
      "log_F": 10712.097553362742,
      "logF_over_d_logd": 120.37742459906345,
      "two_X_covers": true
    },
    {
      "d": 28,
      "m": 1259,
      "log_X": 8391.587994040416,
      "log_F": 11171.757602556801,
      "logF_over_d_logd": 119.73795177639882,
      "two_X_covers": true
    },
    {
      "d": 29,
      "m": 1311,
      "log_X": 8736.991136909193,
      "log_F": 11631.45032499874,
      "logF_over_d_logd": 119.11174848189232,
      "two_X_covers": true
    },
    {
      "d": 30,
      "m": 1364,
      "log_X": 9088.864786472037,
      "log_F": 12099.809666983225,
      "logF_over_d_logd": 118.58382317768812,
      "two_X_covers": true
    },
    {
      "d": 31,
      "m": 1417,
      "log_X": 9440.770153238811,
      "log_F": 12568.199685047133,
      "logF_over_d_logd": 118.06269859197918,
      "two_X_covers": true
    },
    {
      "d": 32,
      "m": 1470,
      "log_X": 9792.706263053098,
      "log_F": 13036.619469118907,
      "logF_over_d_logd": 117.54916411283973,
      "two_X_covers": true
    },
    {
      "d": 33,
      "m": 1523,
      "log_X": 10144.672199761093,
      "log_F": 13505.06816138887,
      "logF_over_d_logd": 117.04378799267182,
      "two_X_covers": true
    },
    {
      "d": 34,
      "m": 1577,
      "log_X": 10503.104851835553,
      "log_F": 13982.17992817636,
      "logF_over_d_logd": 116.6189852830198,
      "two_X_covers": true
    },
    {
      "d": 35,
      "m": 1631,
      "log_X": 10861.565652964602,
      "log_F": 14459.319027358531,
      "logF_over_d_logd": 116.19773750326033,
      "two_X_covers": true
    },
    {
      "d": 36,
      "m": 1685,
      "log_X": 11220.053833025904,
      "log_F": 14936.484733570178,
      "logF_over_d_logd": 115.78070629341656,
      "two_X_covers": true
    },
    {
      "d": 37,
      "m": 1739,
      "log_X": 11578.568662884232,
      "log_F": 15413.676358851744,
      "logF_over_d_logd": 115.36840704071108,
      "two_X_covers": true
    },
    {
      "d": 38,
      "m": 1793,
      "log_X": 11937.10945120655,
      "log_F": 15890.893249836621,
      "logF_over_d_logd": 114.96123609150334,
      "two_X_covers": true
    },
    {
      "d": 39,
      "m": 1847,
      "log_X": 12295.67554159849,
      "log_F": 16368.1347852127,
      "logF_over_d_logd": 114.55949271845564,
      "two_X_covers": true
    },
    {
      "d": 40,
      "m": 1901,
      "log_X": 12654.266310022726,
      "log_F": 16845.400373425684,
      "logF_over_d_logd": 114.16339692693974,
      "two_X_covers": true
    },
    {
      "d": 41,
      "m": 1956,
      "log_X": 13019.318914115158,
      "log_F": 17331.324426823187,
      "logF_over_d_logd": 113.82981731055102,
      "two_X_covers": true
    },
    {
      "d": 42,
      "m": 2011,
      "log_X": 13384.395036121114,
      "log_F": 17817.271431080044,
      "logF_over_d_logd": 113.49872826745028,
      "two_X_covers": true
    },
    {
      "d": 43,
      "m": 2066,
      "log_X": 13749.494135923895,
      "log_F": 18303.240872154543,
      "logF_over_d_logd": 113.1704645792875,
      "two_X_covers": true
    },
    {
      "d": 44,
      "m": 2121,
      "log_X": 14114.615697646559,
      "log_F": 18789.23225848655,
      "logF_over_d_logd": 112.8452977216517,
      "two_X_covers": true
    },
    {
      "d": 45,
      "m": 2176,
      "log_X": 14479.759228056762,
      "log_F": 19275.245119556967,
      "logF_over_d_logd": 112.52344582312674,
      "two_X_covers": true
    },
    {
      "d": 46,
      "m": 2231,
      "log_X": 14844.92425510849,
      "log_F": 19761.279004567405,
      "logF_over_d_logd": 112.20508199915594,
      "two_X_covers": true
    },
    {
      "d": 47,
      "m": 2286,
      "log_X": 15210.110326606318,
      "log_F": 20247.333481227924,
      "logF_over_d_logd": 111.89034134600168,
      "two_X_covers": true
    },
    {
      "d": 48,
      "m": 2342,
      "log_X": 15581.754760629328,
      "log_F": 20742.043110868966,
      "logF_over_d_logd": 111.6257969879377,
      "two_X_covers": true
    },
    {
      "d": 49,
      "m": 2398,
      "log_X": 15953.419389454924,
      "log_F": 21236.772518732705,
      "logF_over_d_logd": 111.36267545571646,
      "two_X_covers": true
    },
    {
      "d": 50,
      "m": 2453,
      "log_X": 16318.666061820435,
      "log_F": 21722.886345479004,
      "logF_over_d_logd": 111.05704805588981,
      "two_X_covers": true
    },
    {
      "d": 51,
      "m": 2509,
      "log_X": 16690.369896914883,
      "log_F": 22217.654174990137,
      "logF_over_d_logd": 110.79847344072884,
      "two_X_covers": true
    },
    {
      "d": 52,
      "m": 2565,
      "log_X": 17062.09277359597,
      "log_F": 22712.440676197024,
      "logF_over_d_logd": 110.54182845200266,
      "two_X_covers": true
    },
    {
      "d": 53,
      "m": 2621,
      "log_X": 17433.834336170436,
      "log_F": 23207.24550723533,
      "logF_over_d_logd": 110.28724493674206,
      "two_X_covers": true
    },
    {
      "d": 54,
      "m": 2677,
      "log_X": 17805.5942419857,
      "log_F": 23702.06833852009,
      "logF_over_d_logd": 110.03483251133211,
      "two_X_covers": true
    },
    {
      "d": 55,
      "m": 2733,
      "log_X": 18177.372160725845,
      "log_F": 24196.908852096567,
      "logF_over_d_logd": 109.78468147647295,
      "two_X_covers": true
    },
    {
      "d": 56,
      "m": 2790,
      "log_X": 18555.60552540711,
      "log_F": 24700.401717263096,
      "logF_over_d_logd": 109.57517155809799,
      "two_X_covers": true
    },
    {
      "d": 57,
      "m": 2846,
      "log_X": 18927.41852517012,
      "log_F": 25195.27668509965,
      "logF_over_d_logd": 109.32891242335164,
      "two_X_covers": true
    },
    {
      "d": 58,
      "m": 2903,
      "log_X": 19305.68636626079,
      "log_F": 25698.80342153184,
      "logF_over_d_logd": 109.1217919970244,
      "two_X_covers": true
    },
    {
      "d": 59,
      "m": 2959,
      "log_X": 19677.53325830329,
      "log_F": 26193.711697023486,
      "logF_over_d_logd": 108.87973962503558,
      "two_X_covers": true
    },
    {
      "d": 60,
      "m": 3016,
      "log_X": 20055.834427003694,
      "log_F": 26697.271195934005,
      "logF_over_d_logd": 108.67539679922437,
      "two_X_covers": true
    },
    {
      "d": 61,
      "m": 3073,
      "log_X": 20434.151852139727,
      "log_F": 27200.846682499076,
      "logF_over_d_logd": 108.472196938814,
      "two_X_covers": true
    },
    {
      "d": 62,
      "m": 3130,
      "log_X": 20812.485273727103,
      "log_F": 27704.437905335963,
      "logF_over_d_logd": 108.27022601587203,
      "two_X_covers": true
    },
    {
      "d": 63,
      "m": 3187,
      "log_X": 21190.83443996444,
      "log_F": 28208.04462083843,
      "logF_over_d_logd": 108.06955833735918,
      "two_X_covers": true
    },
    {
      "d": 64,
      "m": 3244,
      "log_X": 21569.199106853008,
      "log_F": 28711.666592821697,
      "logF_over_d_logd": 107.87025783625309,
      "two_X_covers": true
    },
    {
      "d": 65,
      "m": 3301,
      "log_X": 21947.57903783965,
      "log_F": 29215.303592188637,
      "logF_over_d_logd": 107.6723792140712,
      "two_X_covers": true
    },
    {
      "d": 66,
      "m": 3358,
      "log_X": 22325.974003481195,
      "log_F": 29718.95539661571,
      "logF_over_d_logd": 107.47596895328753,
      "two_X_covers": true
    },
    {
      "d": 67,
      "m": 3416,
      "log_X": 22710.821532778446,
      "log_F": 30231.256766484246,
      "logF_over_d_logd": 107.31171774093272,
      "two_X_covers": true
    },
    {
      "d": 68,
      "m": 3473,
      "log_X": 23089.24590627992,
      "log_F": 30734.937539693306,
      "logF_over_d_logd": 107.11779837000223,
      "two_X_covers": true
    },
    {
      "d": 69,
      "m": 3530,
      "log_X": 23467.684665700035,
      "log_F": 31238.632488759038,
      "logF_over_d_logd": 106.92546436735813,
      "two_X_covers": true
    },
    {
      "d": 70,
      "m": 3588,
      "log_X": 23852.57535870555,
      "log_F": 31750.976391885048,
      "logF_over_d_logd": 106.76377192036867,
      "two_X_covers": true
    },
    {
      "d": 71,
      "m": 3646,
      "log_X": 24237.48003536655,
      "log_F": 32263.334080273522,
      "logF_over_d_logd": 106.60269341539065,
      "two_X_covers": true
    },
    {
      "d": 72,
      "m": 3703,
      "log_X": 24615.96075122007,
      "log_F": 32767.07039035734,
      "logF_over_d_logd": 106.41424586373367,
      "two_X_covers": true
    },
    {
      "d": 73,
      "m": 3761,
      "log_X": 25000.892821996367,
      "log_F": 33279.45509227119,
      "logF_over_d_logd": 106.25504161564713,
      "two_X_covers": true
    },
    {
      "d": 74,
      "m": 3819,
      "log_X": 25385.838313509423,
      "log_F": 33791.85303229008,
      "logF_over_d_logd": 106.09659768378711,
      "two_X_covers": true
    },
    {
      "d": 75,
      "m": 3877,
      "log_X": 25770.797048056076,
      "log_F": 34304.26403754899,
      "logF_over_d_logd": 105.93895689794657,
      "two_X_covers": true
    },
    {
      "d": 76,
      "m": 3935,
      "log_X": 26155.76885257684,
      "log_F": 34816.68793963682,
      "logF_over_d_logd": 105.78215720040906,
      "two_X_covers": true
    },
    {
      "d": 77,
      "m": 3993,
      "log_X": 26540.753558476274,
      "log_F": 35329.12457442659,
      "logF_over_d_logd": 105.62623209583825,
      "two_X_covers": true
    },
    {
      "d": 78,
      "m": 4051,
      "log_X": 26925.751001452492,
      "log_F": 35841.573781914085,
      "logF_over_d_logd": 105.47121105808176,
      "two_X_covers": true
    },
    {
      "d": 79,
      "m": 4109,
      "log_X": 27310.761021335224,
      "log_F": 36354.03540606452,
      "logF_over_d_logd": 105.317119898361,
      "two_X_covers": true
    },
    {
      "d": 80,
      "m": 4167,
      "log_X": 27695.78346193192,
      "log_F": 36866.509294666714,
      "logF_over_d_logd": 105.1639810988118,
      "two_X_covers": true
    },
    {
      "d": 120,
      "m": 6541,
      "log_X": 43453.0813478582,
      "log_F": 57840.41966858011,
      "logF_over_d_logd": 100.67975531547798,
      "two_X_covers": true
    },
    {
      "d": 200,
      "m": 11466,
      "log_X": 76144.0028185515,
      "log_F": 101353.17969701675,
      "logF_over_d_logd": 95.64657294495973,
      "two_X_covers": true
    },
    {
      "d": 400,
      "m": 24324,
      "log_X": 161506.23896240376,
      "log_F": 214968.02011277736,
      "logF_over_d_logd": 89.69761000110574,
      "two_X_covers": true
    },
    {
      "d": 800,
      "m": 51167,
      "log_X": 339762.27884978865,
      "log_F": 452204.8512291182,
      "logF_over_d_logd": 84.56079231898778,
      "two_X_covers": true
    },
    {
      "d": 1600,
      "m": 106925,
      "log_X": 710166.8592371695,
      "log_F": 945122.9721223778,
      "logF_over_d_logd": 80.06521559246396,
      "two_X_covers": true
    }
  ]
}