{ "schema": "ghu-small-angle-bound-v1", "conventions": { "mWGeV": 80.4, "g4": 0.63, "mhWindowGeV": [ 123, 127 ] }, "inputSHA256": "17b8d5d7c92310c3646a54486d41c8bffc3327551cd0cb5135a34c82fe6427f8", "seeds": { "published": { "base": { "A4": "-18", "k8D": "-27" }, "denominatorLowerInterval": [ "447.593339420585608814176973650710865592344027304", "447.593339420585608814176973650710865592344027305" ], "rows": [ { "k8D": 1, "A4cap": 215.0, "upperGeV": 10034.021039019788, "massIntervalGeV": [ "10034.021039019785586721666851724206634653312134568", "10034.021039019785586721666851724206634653312134569" ], "firstExcludedA4": "218", "dual": [ "-2760913347279289022424017578967/3000000000000000000000000000000", "231049060186648436472410707153/2000000000000000000000000000000" ], "gapInterval": [ "-2.402112308469139289000315320149798408165775939", "-2.402112308469139289000315320149798408165775938" ], "derivativeInterval": [ "-1.473227562018438512163644151785794681782202776", "-1.473227562018438512163644151785794681782202775" ], "allLargerA4Excluded": true, "attainmentEstablished": false, "fullPotentialBound": false }, { "k8D": 3, "A4cap": 336.0, "upperGeV": 6266.497849142762, "massIntervalGeV": [ "6266.497849142760909965904997634094896652831621695", "6266.497849142760909965904997634094896652831621696" ], "firstExcludedA4": "339", "dual": [ "-2760913347279289022424017578967/3000000000000000000000000000000", "231049060186648436472410707153/2000000000000000000000000000000" ], "gapInterval": [ "-2.738800095625319088961773519043922723983743722", "-2.738800095625319088961773519043922723983743721" ], "derivativeInterval": [ "-1.052480608408599306893517148505410670130713981", "-1.05248060840859930689351714850541067013071398" ], "allLargerA4Excluded": true, "attainmentEstablished": false, "fullPotentialBound": false }, { "k8D": 5, "A4cap": 436.0, "upperGeV": 5137.318665568311, "massIntervalGeV": [ "5137.31866556831052954948691135250328785521663289", "5137.318665568310529549486911352503287855216632891" ], "firstExcludedA4": "439", "dual": [ "-2760913347279289022424017578967/3000000000000000000000000000000", "231049060186648436472410707153/2000000000000000000000000000000" ], "gapInterval": [ "-0.619583492347327503000271445857583283585826211", "-0.61958349234732750300027144585758328358582621" ], "derivativeInterval": [ "-0.885364033301286539146519433145778268591582465", "-0.885364033301286539146519433145778268591582464" ], "allLargerA4Excluded": true, "attainmentEstablished": false, "fullPotentialBound": false }, { "k8D": 7, "A4cap": 533.0, "upperGeV": 4562.093002617043, "massIntervalGeV": [ "4562.093002617041491539160157511464055724266025329", "4562.09300261704149153916015751146405572426602533" ], "firstExcludedA4": "536", "dual": [ "-2760913347279289022424017578967/3000000000000000000000000000000", "231049060186648436472410707153/2000000000000000000000000000000" ], "gapInterval": [ "-0.237362109601133744349087610409333133027762164", "-0.237362109601133744349087610409333133027762163" ], "derivativeInterval": [ "-0.791393477188793998193413498119777454842882933", "-0.791393477188793998193413498119777454842882932" ], "allLargerA4Excluded": true, "attainmentEstablished": false, "fullPotentialBound": false }, { "k8D": 9, "A4cap": 630.0, "upperGeV": 4208.68784705321, "massIntervalGeV": [ "4208.687847053209169333720730601234691030398814838", "4208.687847053209169333720730601234691030398814839" ], "firstExcludedA4": "633", "dual": [ "-2760913347279289022424017578967/3000000000000000000000000000000", "231049060186648436472410707153/2000000000000000000000000000000" ], "gapInterval": [ "-0.93426506386756682367474405201836581028141255", "-0.934265063867566823674744052018365810281412549" ], "derivativeInterval": [ "-0.731285631605341199362915684218472291494833612", "-0.731285631605341199362915684218472291494833611" ], "allLargerA4Excluded": true, "attainmentEstablished": false, "fullPotentialBound": false }, { "k8D": 11, "A4cap": 727.0, "upperGeV": 3967.4369232438994, "massIntervalGeV": [ "3967.436923243898990864777085754859095901080656439", "3967.43692324389899086477708575485909590108065644" ], "firstExcludedA4": "730", "dual": [ "-2760913347279289022424017578967/3000000000000000000000000000000", "231049060186648436472410707153/2000000000000000000000000000000" ], "gapInterval": [ "-1.746980007507408701946401929201256410594413735", "-1.746980007507408701946401929201256410594413734" ], "derivativeInterval": [ "-0.689531241707758457669754951180245503721967899", "-0.689531241707758457669754951180245503721967898" ], "allLargerA4Excluded": true, "attainmentEstablished": false, "fullPotentialBound": false }, { "k8D": 13, "A4cap": 821.0, "upperGeV": 3787.125445795333, "massIntervalGeV": [ "3787.125445795332458766002374143261645089218474063", "3787.125445795332458766002374143261645089218474064" ], "firstExcludedA4": "824", "dual": [ "-2760913347279289022424017578967/3000000000000000000000000000000", "231049060186648436472410707153/2000000000000000000000000000000" ], "gapInterval": [ "-0.418416550859237283860467442972594400783408181", "-0.41841655085923728386046744297259440078340818" ], "derivativeInterval": [ "-0.657338366420764089543680539765015684289967016", "-0.657338366420764089543680539765015684289967015" ], "allLargerA4Excluded": true, "attainmentEstablished": false, "fullPotentialBound": false }, { "k8D": 15, "A4cap": 918.0, "upperGeV": 3653.1153959525677, "massIntervalGeV": [ "3653.115395952567152740092872178363701921836897213", "3653.115395952567152740092872178363701921836897214" ], "firstExcludedA4": "921", "dual": [ "-2760913347279289022424017578967/3000000000000000000000000000000", "231049060186648436472410707153/2000000000000000000000000000000" ], "gapInterval": [ "-0.891401282335138427139396362338507398897091276", "-0.891401282335138427139396362338507398897091275" ], "derivativeInterval": [ "-0.634097271886333351470249282730452067471253589", "-0.634097271886333351470249282730452067471253588" ], "allLargerA4Excluded": true, "attainmentEstablished": false, "fullPotentialBound": false }, { "k8D": 17, "A4cap": 1015.0, "upperGeV": 3547.222725025163, "massIntervalGeV": [ "3547.222725025162734951376082966715053896951094855", "3547.222725025162734951376082966715053896951094856" ], "firstExcludedA4": "1018", "dual": [ "-2760913347279289022424017578967/3000000000000000000000000000000", "231049060186648436472410707153/2000000000000000000000000000000" ], "gapInterval": [ "-1.100790568132367857224958512676385641085379901", "-1.1007905681323678572249585126763856410853799" ], "derivativeInterval": [ "-0.615829807931323171780152141295772951697927389", "-0.615829807931323171780152141295772951697927388" ], "allLargerA4Excluded": true, "attainmentEstablished": false, "fullPotentialBound": false }, { "k8D": 19, "A4cap": 1112.0, "upperGeV": 3461.3356611939244, "massIntervalGeV": [ "3461.335661193923843453422754715359605331967139775", "3461.335661193923843453422754715359605331967139776" ], "firstExcludedA4": "1115", "dual": [ "-2760913347279289022424017578967/3000000000000000000000000000000", "231049060186648436472410707153/2000000000000000000000000000000" ], "gapInterval": [ "-1.068564070158249151444514934890536915403339376", "-1.068564070158249151444514934890536915403339375" ], "derivativeInterval": [ "-0.601125151955449361910749976248986063232701191", "-0.60112515195544936191074997624898606323270119" ], "allLargerA4Excluded": true, "attainmentEstablished": false, "fullPotentialBound": false }, { "k8D": 21, "A4cap": 1209.0, "upperGeV": 3390.2147650983748, "massIntervalGeV": [ "3390.214765098374514466090963002728060855628680832", "3390.214765098374514466090963002728060855628680833" ], "firstExcludedA4": "1212", "dual": [ "-2760913347279289022424017578967/3000000000000000000000000000000", "231049060186648436472410707153/2000000000000000000000000000000" ], "gapInterval": [ "-0.821925951991316158634221599988857714657672658", "-0.821925951991316158634221599988857714657672657" ], "derivativeInterval": [ "-0.589056122878406061424498951878781450469591321", "-0.58905612287840606142449895187878145046959132" ], "allLargerA4Excluded": true, "attainmentEstablished": false, "fullPotentialBound": false } ] }, "candidate": { "base": { "A4": "-27/2", "k8D": "-18" }, "denominatorLowerInterval": [ "452.093339420585608814176973650710865592344027304", "452.093339420585608814176973650710865592344027305" ], "rows": [ { "k8D": 2, "A4cap": 272.5, "upperGeV": 7376.30277176075, "massIntervalGeV": [ "7376.302771760748878339311079847173493751073666583", "7376.302771760748878339311079847173493751073666584" ], "firstExcludedA4": "551/2", "dual": [ "-2760913347279289022424017578967/3000000000000000000000000000000", "231049060186648436472410707153/2000000000000000000000000000000" ], "gapInterval": [ "-2.995154366179900869509285459174723720022357061", "-2.99515436617990086950928545917472372002235706" ], "derivativeInterval": [ "-1.191242347622040936666118434904357801868496796", "-1.191242347622040936666118434904357801868496795" ], "allLargerA4Excluded": true, "attainmentEstablished": false, "fullPotentialBound": false }, { "k8D": 4, "A4cap": 375.5, "upperGeV": 5554.221626919529, "massIntervalGeV": [ "5554.221626919527456475923913255811353443319453142", "5554.221626919527456475923913255811353443319453143" ], "firstExcludedA4": "757/2", "dual": [ "-2760913347279289022424017578967/3000000000000000000000000000000", "231049060186648436472410707153/2000000000000000000000000000000" ], "gapInterval": [ "-0.069709088031089313891864472712889870764032067", "-0.069709088031089313891864472712889870764032066" ], "derivativeInterval": [ "-0.945153659972348714083752080171116205134255245", "-0.945153659972348714083752080171116205134255244" ], "allLargerA4Excluded": true, "attainmentEstablished": false, "fullPotentialBound": false }, { "k8D": 6, "A4cap": 475.5, "upperGeV": 4788.018744773471, "massIntervalGeV": [ "4788.018744773470109480414930721311214574159240669", "4788.01874477347010948041493072131121457415924067" ], "firstExcludedA4": "957/2", "dual": [ "-2760913347279289022424017578967/3000000000000000000000000000000", "231049060186648436472410707153/2000000000000000000000000000000" ], "gapInterval": [ "-2.070563973093818765674562794900383032113334646", "-2.070563973093818765674562794900383032113334645" ], "derivativeInterval": [ "-0.825635114742222771925939011178663979879212335", "-0.825635114742222771925939011178663979879212334" ], "allLargerA4Excluded": true, "attainmentEstablished": false, "fullPotentialBound": false }, { "k8D": 8, "A4cap": 569.5, "upperGeV": 4342.4471313877275, "massIntervalGeV": [ "4342.447131387726644155242548315095601772970674793", "4342.447131387726644155242548315095601772970674794" ], "firstExcludedA4": "1145/2", "dual": [ "-2760913347279289022424017578967/3000000000000000000000000000000", "231049060186648436472410707153/2000000000000000000000000000000" ], "gapInterval": [ "-0.843313386211759578909363695471531782419277992", "-0.843313386211759578909363695471531782419277991" ], "derivativeInterval": [ "-0.750209589267875895674438055603432846802354549", "-0.750209589267875895674438055603432846802354548" ], "allLargerA4Excluded": true, "attainmentEstablished": false, "fullPotentialBound": false }, { "k8D": 10, "A4cap": 663.5, "upperGeV": 4051.651668400768, "massIntervalGeV": [ "4051.651668400767633865017542215057589071113188371", "4051.651668400767633865017542215057589071113188372" ], "firstExcludedA4": "1333/2", "dual": [ "-2760913347279289022424017578967/3000000000000000000000000000000", "231049060186648436472410707153/2000000000000000000000000000000" ], "gapInterval": [ "-0.147029782160683162018826859402196367181090448", "-0.147029782160683162018826859402196367181090447" ], "derivativeInterval": [ "-0.699551676797724037589937560958896942385039552", "-0.699551676797724037589937560958896942385039551" ], "allLargerA4Excluded": true, "attainmentEstablished": false, "fullPotentialBound": false }, { "k8D": 12, "A4cap": 760.5, "upperGeV": 3850.1887942265903, "massIntervalGeV": [ "3850.188794226589813243677700636796843652919182025", "3850.188794226589813243677700636796843652919182026" ], "firstExcludedA4": "1527/2", "dual": [ "-2760913347279289022424017578967/3000000000000000000000000000000", "231049060186648436472410707153/2000000000000000000000000000000" ], "gapInterval": [ "-1.420358343775895986204989535891913294870572079", "-1.420358343775895986204989535891913294870572078" ], "derivativeInterval": [ "-0.664881670871766271447835154526419665783668779", "-0.664881670871766271447835154526419665783668778" ], "allLargerA4Excluded": true, "attainmentEstablished": false, "fullPotentialBound": false }, { "k8D": 14, "A4cap": 854.5, "upperGeV": 3695.4748459976922, "massIntervalGeV": [ "3695.474845997691746316394430863143764600236662817", "3695.474845997691746316394430863143764600236662818" ], "firstExcludedA4": "1715/2", "dual": [ "-2760913347279289022424017578967/3000000000000000000000000000000", "231049060186648436472410707153/2000000000000000000000000000000" ], "gapInterval": [ "-0.427738748881062967034502992828329930272585299", "-0.427738748881062967034502992828329930272585298" ], "derivativeInterval": [ "-0.637462986329355473943044875709585112467000434", "-0.637462986329355473943044875709585112467000433" ], "allLargerA4Excluded": true, "attainmentEstablished": false, "fullPotentialBound": false }, { "k8D": 16, "A4cap": 951.5, "upperGeV": 3578.7577568666557, "massIntervalGeV": [ "3578.757756866655301295929364535459744546458980868", "3578.757756866655301295929364535459744546458980869" ], "firstExcludedA4": "1909/2", "dual": [ "-2760913347279289022424017578967/3000000000000000000000000000000", "231049060186648436472410707153/2000000000000000000000000000000" ], "gapInterval": [ "-1.070315151747220885606897610060263395226711885", "-1.070315151747220885606897610060263395226711884" ], "derivativeInterval": [ "-0.617551233944443344576682090719187912142671556", "-0.617551233944443344576682090719187912142671555" ], "allLargerA4Excluded": true, "attainmentEstablished": false, "fullPotentialBound": false }, { "k8D": 18, "A4cap": 1048.5, "upperGeV": 3485.2765386140286, "massIntervalGeV": [ "3485.27653861402803520458232644968123510568367186", "3485.276538614028035204582326449681235105683671861" ], "firstExcludedA4": "2103/2", "dual": [ "-2760913347279289022424017578967/3000000000000000000000000000000", "231049060186648436472410707153/2000000000000000000000000000000" ], "gapInterval": [ "-1.396824817724977943555593205784402993943589202", "-1.396824817724977943555593205784402993943589201" ], "derivativeInterval": [ "-0.601737690033121580302376067666535367228975027", "-0.601737690033121580302376067666535367228975026" ], "allLargerA4Excluded": true, "attainmentEstablished": false, "fullPotentialBound": false }, { "k8D": 20, "A4cap": 1145.5, "upperGeV": 3408.6462012414086, "massIntervalGeV": [ "3408.646201241408007679491204083596569816843215151", "3408.646201241408007679491204083596569816843215152" ], "firstExcludedA4": "2297/2", "dual": [ "-2760913347279289022424017578967/3000000000000000000000000000000", "231049060186648436472410707153/2000000000000000000000000000000" ], "gapInterval": [ "-1.449916574660409483088515845061634390676394451", "-1.44991657466040948308851584506163439067639445" ], "derivativeInterval": [ "-0.588903662088609955530897856106405095626362582", "-0.588903662088609955530897856106405095626362581" ], "allLargerA4Excluded": true, "attainmentEstablished": false, "fullPotentialBound": false } ] } }, "checks": [ { "name": "dual 0: eight exact generator inequalities", "passed": true, "slacks": [ [ "8.23431924499865E-31", "8.23431924499866E-31" ], [ "2.079441541679835928251696364376999999999999999", "2.079441541679835928251696364377000000000000001" ], [ "35.350506208557210780278838194425468638489997312", "35.350506208557210780278838194425468638489997313" ], [ "1.3998342716497715E-29", "1.3998342716497716E-29" ], [ "37.429947750237046708530534558805762366187996775", "37.429947750237046708530534558805762366187996776" ], [ "8.317766166719343713006785457522821774640997581", "8.317766166719343713006785457522821774640997582" ], [ "83.177661667193437130067854575222453722938476755", "83.177661667193437130067854575222453722938476756" ], [ "170.94259732786260602844718135646958620521125353", "170.942597327862606028447181356469586205211253531" ] ] }, { "name": "dual 1: eight exact generator inequalities", "passed": true, "slacks": [ [ "1.663553233343868742601357091502423431924499865", "1.663553233343868742601357091502423431924499866" ], [ "0", "0" ], [ "33.271064666877374852027141830048468638489997312", "33.271064666877374852027141830048468638489997313" ], [ "1.3998342716497715E-29", "1.3998342716497716E-29" ], [ "39.925277600252849822432570196058162366187996775", "39.925277600252849822432570196058162366187996776" ], [ "1.663553233343868742601357091516421774640997581", "1.663553233343868742601357091516421774640997582" ], [ "89.831874600568912100473282941228853722938476755", "89.831874600568912100473282941228853722938476756" ], [ "163.87249608615116387239141371758778620521125353", "163.872496086151163872391413717587786205211253531" ] ] }, { "name": "published rung 1: archived cap 215", "passed": true }, { "name": "published rung 3: archived cap 336", "passed": true }, { "name": "candidate rung 2: archived cap 272.5", "passed": true }, { "name": "candidate rung 4: archived cap 375.5", "passed": true } ], "proof": { "zeta3": [ "1.202056903159594285399738161511449990764986292", "1.202056903159594285399738161511449990764986293" ], "precisionDigits": 60, "tail": "For one feasible dual, f=G_required-G_lower has f<0 and df/dA4<0 at the first excluded lattice point. Its second derivative is -1/(2*(6*mu+A4))-3*mu/(6*mu+A4)^2<0. Hence every larger A4 is excluded.", "massWindow": "dG_required/dmu=18*mu/(6*mu+A4)>0; using mh=127 bounds the whole [123,127] GeV window.", "zeroRung": "6*mu+A4 >= 6*mu_min+A4_gauge >0. Identity II therefore forbids k<=0 at any finite nonzero x in this mass window, within the small-angle model.", "missing": "No remainder enclosure relating identities I/II to the full Fourier potential; no global-vacuum, anomaly, or collider certificate. No bound for unlisted rungs." }, "sources": [ "https://arxiv.org/abs/2503.04090", "Part VII identities I/II and the archived exact rational moment-cone duals" ] }