files / problems / simon-lieb-thirring / compute / q3 / certs / trial_potentials.json

17 KB · on GitHub

{
  "sobolev_ratio": 1.1547005383792517,
  "CCR": 1.44655,
  "keller": {
    "family": "keller-one-bound",
    "nu": 0.5,
    "n_bound": 1,
    "moment": 0.25,
    "integral": 1.0202621423817475,
    "L_lower": 0.24503506463190758,
    "ratio_over_classical": 1.1547005383792515,
    "note": "V=(3/4) sech^2; ratio/Lcl should be 2/sqrt(3)"
  },
  "best_all": {
    "family": "keller-one-bound",
    "nu": 0.5,
    "n_bound": 1,
    "moment": 0.25,
    "integral": 1.0202621423817475,
    "L_lower": 0.24503506463190758,
    "ratio_over_classical": 1.1547005383792515,
    "note": "V=(3/4) sech^2; ratio/Lcl should be 2/sqrt(3)"
  },
  "best_numeric": {
    "family": "discrete",
    "tag": "two-sech sep=4 amp=0.75",
    "n_grid": 241,
    "h": 0.09999999999999964,
    "n_bound": 2,
    "moment": 0.4982973703897994,
    "integral": 2.040600475780852,
    "L_lower": 0.24419153886510878,
    "ratio_over_classical": 1.1507255168511183,
    "Emin": -0.2609276470298606
  },
  "n_records": 47,
  "n_above_sobolev": 0,
  "beats_sobolev_lower_bound": false,
  "beats_CCR_upper": false,
  "note": "Trial potentials lower-bound L. None of these raise the published one-bound-state ratio 2/sqrt(3). Discrete ratios can sit a little above or below the continuum Keller value because of grid bias; a value slightly above 1.1547 on a coarse grid is not a bound.",
  "records": [
    {
      "family": "keller-one-bound",
      "nu": 0.5,
      "n_bound": 1,
      "moment": 0.25,
      "integral": 1.0202621423817475,
      "L_lower": 0.24503506463190758,
      "ratio_over_classical": 1.1547005383792515,
      "note": "V=(3/4) sech^2; ratio/Lcl should be 2/sqrt(3)"
    },
    {
      "family": "poschl-teller",
      "nu": 1,
      "n_bound": 1,
      "moment": 1,
      "integral": 4.442882938158366,
      "L_lower": 0.22507907903927651,
      "ratio_over_classical": 1.0606601717798212
    },
    {
      "family": "poschl-teller",
      "nu": 2,
      "n_bound": 2,
      "moment": 5,
      "integral": 23.085896942913553,
      "L_lower": 0.21658244478713226,
      "ratio_over_classical": 1.0206207261596576
    },
    {
      "family": "poschl-teller",
      "nu": 3,
      "n_bound": 3,
      "moment": 14,
      "integral": 65.29677711243184,
      "L_lower": 0.21440568155291914,
      "ratio_over_classical": 1.0103629710818451
    },
    {
      "family": "poschl-teller",
      "nu": 4,
      "n_bound": 4,
      "moment": 30,
      "integral": 140.49629462081452,
      "L_lower": 0.2135287630251531,
      "ratio_over_classical": 1.0062305898749053
    },
    {
      "family": "discrete",
      "tag": "square depth=0.3 width=1",
      "n_grid": 241,
      "h": 0.07083333333333286,
      "n_bound": 1,
      "moment": 0.01278059499662127,
      "integral": 0.1745865652047705,
      "L_lower": 0.07320491689398358,
      "ratio_over_classical": 0.3449700436811852,
      "Emin": -0.01278059499662127
    },
    {
      "family": "discrete",
      "tag": "square depth=0.3 width=2",
      "n_grid": 241,
      "h": 0.07499999999999929,
      "n_bound": 1,
      "moment": 0.06355160418753396,
      "integral": 0.33274145368438524,
      "L_lower": 0.1909939488568036,
      "ratio_over_classical": 0.9000377799129583,
      "Emin": -0.06355160418753396
    },
    {
      "family": "discrete",
      "tag": "square depth=0.3 width=4",
      "n_grid": 241,
      "h": 0.08333333333333393,
      "n_bound": 1,
      "moment": 0.1505949041723164,
      "integral": 0.6709601329438332,
      "L_lower": 0.22444687363402988,
      "ratio_over_classical": 1.0576809739947972,
      "Emin": -0.1505949041723164
    },
    {
      "family": "discrete",
      "tag": "square depth=0.3 width=8",
      "n_grid": 241,
      "h": 0.09999999999999964,
      "n_bound": 2,
      "moment": 0.28208065387454695,
      "integral": 1.3309658147375485,
      "L_lower": 0.21193681366652536,
      "ratio_over_classical": 0.9987287052599774,
      "Emin": -0.2304031482040185
    },
    {
      "family": "discrete",
      "tag": "square depth=0.75 width=1",
      "n_grid": 241,
      "h": 0.07083333333333286,
      "n_bound": 1,
      "moment": 0.12362757368986158,
      "integral": 0.6901139936407199,
      "L_lower": 0.17914080112715886,
      "ratio_over_classical": 0.8441811371689085,
      "Emin": -0.12362757368986158
    },
    {
      "family": "discrete",
      "tag": "square depth=0.75 width=2",
      "n_grid": 241,
      "h": 0.07499999999999929,
      "n_bound": 1,
      "moment": 0.29747962794382593,
      "integral": 1.3152760819976037,
      "L_lower": 0.2261727648023694,
      "ratio_over_classical": 1.0658140445178237,
      "Emin": -0.29747962794382593
    },
    {
      "family": "discrete",
      "tag": "square depth=0.75 width=4",
      "n_grid": 241,
      "h": 0.08333333333333393,
      "n_bound": 2,
      "moment": 0.5320452406005436,
      "integral": 2.6522027990898622,
      "L_lower": 0.20060503698402016,
      "ratio_over_classical": 0.9453289656931597,
      "Emin": -0.5187680214717811
    },
    {
      "family": "discrete",
      "tag": "square depth=0.75 width=8",
      "n_grid": 241,
      "h": 0.09999999999999964,
      "n_bound": 3,
      "moment": 1.1056227935137275,
      "integral": 5.261104327990446,
      "L_lower": 0.21015032673492637,
      "ratio_over_classical": 0.990310083929909,
      "Emin": -0.6598061204839651
    },
    {
      "family": "discrete",
      "tag": "square depth=1 width=1",
      "n_grid": 241,
      "h": 0.07083333333333286,
      "n_bound": 1,
      "moment": 0.20735003356050705,
      "integral": 1.062499999999993,
      "L_lower": 0.19515297276283147,
      "ratio_over_classical": 0.9196367183368805,
      "Emin": -0.20735003356050705
    },
    {
      "family": "discrete",
      "tag": "square depth=1 width=2",
      "n_grid": 241,
      "h": 0.07499999999999929,
      "n_bound": 1,
      "moment": 0.45947046310260564,
      "integral": 2.024999999999981,
      "L_lower": 0.22689899412474568,
      "ratio_over_classical": 1.069236319573822,
      "Emin": -0.45947046310260564
    },
    {
      "family": "discrete",
      "tag": "square depth=1 width=4",
      "n_grid": 241,
      "h": 0.08333333333333393,
      "n_bound": 2,
      "moment": 0.857585948325976,
      "integral": 4.083333333333362,
      "L_lower": 0.21002104856962528,
      "ratio_over_classical": 0.9897008749283398,
      "Emin": -0.7418370387614832
    },
    {
      "family": "discrete",
      "tag": "square depth=1 width=8",
      "n_grid": 241,
      "h": 0.09999999999999964,
      "n_bound": 3,
      "moment": 1.73383054706705,
      "integral": 8.099999999999971,
      "L_lower": 0.21405315395889582,
      "ratio_over_classical": 1.008701723932488,
      "Emin": -0.9039382741978526
    },
    {
      "family": "discrete",
      "tag": "square depth=2 width=1",
      "n_grid": 241,
      "h": 0.07083333333333286,
      "n_bound": 1,
      "moment": 0.6649776185704381,
      "integral": 3.005203820042807,
      "L_lower": 0.2212753804369136,
      "ratio_over_classical": 1.0427356644013417,
      "Emin": -0.6649776185704381
    },
    {
      "family": "discrete",
      "tag": "square depth=2 width=2",
      "n_grid": 241,
      "h": 0.07499999999999929,
      "n_bound": 1,
      "moment": 1.2188579029925353,
      "integral": 5.727564927610981,
      "L_lower": 0.21280560210094937,
      "ratio_over_classical": 1.0028227743046427,
      "Emin": -1.2188579029925353
    },
    {
      "family": "discrete",
      "tag": "square depth=2 width=4",
      "n_grid": 241,
      "h": 0.08333333333333393,
      "n_bound": 2,
      "moment": 2.4665126566839177,
      "integral": 11.54941075938036,
      "L_lower": 0.21356177454166927,
      "ratio_over_classical": 1.0063861529815619,
      "Emin": -1.678553282312342
    },
    {
      "family": "discrete",
      "tag": "square depth=2 width=8",
      "n_grid": 241,
      "h": 0.09999999999999964,
      "n_bound": 4,
      "moment": 4.888218052075907,
      "integral": 22.91025971044406,
      "L_lower": 0.2133637118852705,
      "ratio_over_classical": 1.0054528047021225,
      "Emin": -1.8913549712491236
    },
    {
      "family": "discrete",
      "tag": "square depth=4 width=1",
      "n_grid": 241,
      "h": 0.07083333333333286,
      "n_bound": 1,
      "moment": 1.9254606868590352,
      "integral": 8.499999999999943,
      "L_lower": 0.22652478668929976,
      "ratio_over_classical": 1.0674729085786485,
      "Emin": -1.9254606868590352
    },
    {
      "family": "discrete",
      "tag": "square depth=4 width=2",
      "n_grid": 241,
      "h": 0.07499999999999929,
      "n_bound": 2,
      "moment": 3.403817505244493,
      "integral": 16.199999999999847,
      "L_lower": 0.21011219168176082,
      "ratio_over_classical": 0.9901303767256053,
      "Emin": -2.957839073249742
    },
    {
      "family": "discrete",
      "tag": "square depth=4 width=4",
      "n_grid": 241,
      "h": 0.08333333333333393,
      "n_bound": 3,
      "moment": 6.9986830658832195,
      "integral": 32.6666666666669,
      "L_lower": 0.2142453999760154,
      "ratio_over_classical": 1.0096076619450853,
      "Emin": -3.621078269482326
    },
    {
      "family": "discrete",
      "tag": "square depth=4 width=8",
      "n_grid": 241,
      "h": 0.09999999999999964,
      "n_bound": 6,
      "moment": 13.734110212328936,
      "integral": 64.79999999999977,
      "L_lower": 0.21194614525199051,
      "ratio_over_classical": 0.9987726793204929,
      "Emin": -3.8810865872944444
    },
    {
      "family": "discrete",
      "tag": "square depth=8 width=1",
      "n_grid": 241,
      "h": 0.07083333333333286,
      "n_bound": 1,
      "moment": 5.0402643824215545,
      "integral": 24.041630560342455,
      "L_lower": 0.2096473602225489,
      "ratio_over_classical": 0.9879399100794789,
      "Emin": -5.0402643824215545
    },
    {
      "family": "discrete",
      "tag": "square depth=8 width=2",
      "n_grid": 241,
      "h": 0.07499999999999929,
      "n_bound": 2,
      "moment": 9.812384745180394,
      "integral": 45.82051942088785,
      "L_lower": 0.21414826521384428,
      "ratio_over_classical": 1.0091499251622178,
      "Emin": -6.701578650486585
    },
    {
      "family": "discrete",
      "tag": "square depth=8 width=4",
      "n_grid": 241,
      "h": 0.08333333333333393,
      "n_bound": 4,
      "moment": 19.733290631081317,
      "integral": 92.39528607504288,
      "L_lower": 0.2135746472504459,
      "ratio_over_classical": 1.0064468141925484,
      "Emin": -7.572018825416794
    },
    {
      "family": "discrete",
      "tag": "square depth=8 width=8",
      "n_grid": 241,
      "h": 0.09999999999999964,
      "n_bound": 8,
      "moment": 39.001128897664586,
      "integral": 183.28207768355247,
      "L_lower": 0.21279292220269555,
      "ratio_over_classical": 1.002763021691839,
      "Emin": -7.873025320280086
    },
    {
      "family": "discrete",
      "tag": "two-sech sep=0 amp=0.75",
      "n_grid": 241,
      "h": 0.09999999999999964,
      "n_bound": 1,
      "moment": 0.6773690280978513,
      "integral": 2.885737117864182,
      "L_lower": 0.23472998420562707,
      "ratio_over_classical": 1.1061389909364692,
      "Emin": -0.6773690280978513
    },
    {
      "family": "discrete",
      "tag": "two-sech sep=0 amp=2",
      "n_grid": 241,
      "h": 0.09999999999999964,
      "n_bound": 2,
      "moment": 2.7562464441258068,
      "integral": 12.56637061435912,
      "L_lower": 0.21933512298104177,
      "ratio_over_classical": 1.033592416547182,
      "Emin": -2.4395408694870895
    },
    {
      "family": "discrete",
      "tag": "two-sech sep=0.5 amp=0.75",
      "n_grid": 241,
      "h": 0.09999999999999964,
      "n_bound": 1,
      "moment": 0.6059884312297645,
      "integral": 2.6612154196035167,
      "L_lower": 0.22771115286865737,
      "ratio_over_classical": 1.0730635274889544,
      "Emin": -0.6059884312297645
    },
    {
      "family": "discrete",
      "tag": "two-sech sep=0.5 amp=2",
      "n_grid": 241,
      "h": 0.09999999999999964,
      "n_bound": 2,
      "moment": 2.543246943967643,
      "integral": 11.58865755316488,
      "L_lower": 0.2194600135779384,
      "ratio_over_classical": 1.0341809496197514,
      "Emin": -2.1105342119391155
    },
    {
      "family": "discrete",
      "tag": "two-sech sep=1 amp=0.75",
      "n_grid": 241,
      "h": 0.09999999999999964,
      "n_bound": 2,
      "moment": 0.49185298398424027,
      "integral": 2.314238846472451,
      "L_lower": 0.21253337127840638,
      "ratio_over_classical": 1.00153991677637,
      "Emin": -0.47790492004465146
    },
    {
      "family": "discrete",
      "tag": "two-sech sep=1 amp=2",
      "n_grid": 241,
      "h": 0.09999999999999964,
      "n_bound": 2,
      "moment": 2.2233130981070155,
      "integral": 10.077696563172697,
      "L_lower": 0.22061719006620537,
      "ratio_over_classical": 1.0396340153514207,
      "Emin": -1.5588893318840984
    },
    {
      "family": "discrete",
      "tag": "two-sech sep=1.5 amp=0.75",
      "n_grid": 241,
      "h": 0.09999999999999964,
      "n_bound": 2,
      "moment": 0.4678399039290975,
      "integral": 2.1288582988354765,
      "L_lower": 0.21976094143279254,
      "ratio_over_classical": 1.0355990387268568,
      "Emin": -0.383493926368309
    },
    {
      "family": "discrete",
      "tag": "two-sech sep=1.5 amp=2",
      "n_grid": 241,
      "h": 0.09999999999999964,
      "n_bound": 2,
      "moment": 2.0627147167649804,
      "integral": 9.270429452153502,
      "L_lower": 0.2225047639282575,
      "ratio_over_classical": 1.0485289976186174,
      "Emin": -1.2203089315709483
    },
    {
      "family": "discrete",
      "tag": "two-sech sep=2 amp=0.75",
      "n_grid": 241,
      "h": 0.09999999999999964,
      "n_bound": 2,
      "moment": 0.47547059770983907,
      "integral": 2.0646479865044287,
      "L_lower": 0.23029136241032494,
      "ratio_over_classical": 1.0852224785001923,
      "Emin": -0.328594393255354
    },
    {
      "family": "discrete",
      "tag": "two-sech sep=2 amp=2",
      "n_grid": 241,
      "h": 0.09999999999999964,
      "n_bound": 2,
      "moment": 2.0142519537625776,
      "integral": 8.990816116267629,
      "L_lower": 0.22403438438898438,
      "ratio_over_classical": 1.0557371642219178,
      "Emin": -1.0794729133679706
    },
    {
      "family": "discrete",
      "tag": "two-sech sep=3 amp=0.75",
      "n_grid": 241,
      "h": 0.09999999999999964,
      "n_bound": 2,
      "moment": 0.4930556566185924,
      "integral": 2.041962335882069,
      "L_lower": 0.2414616802447566,
      "ratio_over_classical": 1.1378613611705624,
      "Emin": -0.2790010784071613
    },
    {
      "family": "discrete",
      "tag": "two-sech sep=3 amp=2",
      "n_grid": 241,
      "h": 0.09999999999999964,
      "n_bound": 2,
      "moment": 2.001220857638269,
      "integral": 8.892028083364812,
      "L_lower": 0.22505786518849943,
      "ratio_over_classical": 1.0605602038631878,
      "Emin": -1.0105175389821819
    },
    {
      "family": "discrete",
      "tag": "two-sech sep=4 amp=0.75",
      "n_grid": 241,
      "h": 0.09999999999999964,
      "n_bound": 2,
      "moment": 0.4982973703897994,
      "integral": 2.040600475780852,
      "L_lower": 0.24419153886510878,
      "ratio_over_classical": 1.1507255168511183,
      "Emin": -0.2609276470298606
    },
    {
      "family": "discrete",
      "tag": "two-sech sep=4 amp=2",
      "n_grid": 241,
      "h": 0.09999999999999964,
      "n_bound": 2,
      "moment": 2.00078990965146,
      "integral": 8.88609766141097,
      "L_lower": 0.22515956788772978,
      "ratio_over_classical": 1.0610394665423162,
      "Emin": -1.0017369363780997
    },
    {
      "family": "discrete",
      "tag": "two-sech sep=6 amp=0.75",
      "n_grid": 241,
      "h": 0.09999999999999964,
      "n_bound": 2,
      "moment": 0.49720053522146634,
      "integral": 2.0405244342362496,
      "L_lower": 0.24366311271717955,
      "ratio_over_classical": 1.1482353672946695,
      "Emin": -0.25022163401933567
    },
    {
      "family": "discrete",
      "tag": "two-sech sep=6 amp=2",
      "n_grid": 241,
      "h": 0.09999999999999964,
      "n_bound": 2,
      "moment": 2.000738679255929,
      "integral": 8.885766527218026,
      "L_lower": 0.2251621931689808,
      "ratio_over_classical": 1.061051837888754,
      "Emin": -1.0003939464419522
    },
    {
      "family": "discrete",
      "tag": "gauss-sum k=2",
      "n_grid": 201,
      "h": 0.09999999999999964,
      "n_bound": 1,
      "moment": 0.710224059648584,
      "integral": 2.9375282692241385,
      "L_lower": 0.2417760765366758,
      "ratio_over_classical": 1.1393429187920763,
      "Emin": -0.710224059648584,
      "params": [
        1.9316439904696272,
        1.7820276379524018,
        -0.4616758250241176,
        -0.06799040025666045,
        4.417951079989817,
        -1.588669879657742
      ],
      "walk_steps": 400,
      "seed": 1
    },
    {
      "family": "discrete",
      "tag": "hist",
      "n_grid": 129,
      "h": 0.125,
      "n_bound": 4,
      "moment": 4.974784982073988,
      "integral": 21.54965082395725,
      "L_lower": 0.2308522315611445,
      "ratio_over_classical": 1.087865512105952,
      "Emin": -1.5694074132004758,
      "heights": [
        0.02,
        0.22474402582328157,
        3.445482359053219,
        0.33541033447263735,
        0.3140079780371865,
        2.65903050372839,
        0.30533205444546524,
        0.02,
        0.35119750113702947,
        2.44062493590535,
        0.34786373942832205,
        0.02,
        0.31661477062230403,
        3.1626802681206603,
        0.2595651939231236,
        0.02
      ],
      "nbins": 16,
      "walk_steps": 500
    }
  ]
}