Recorded data and provenance for the associated calculation.
| generated_at | 2026-09-22T11:54:28.536775+00:00 |
|---|---|
| status | pass |
| checks | 48 |
| scope | infinite-harmonic biased-source orthogonality and amplitude curvature |
View complete data
{
"generated_at": "2026-09-22T11:54:28.536775+00:00",
"status": "pass",
"checks": 48,
"scope": "infinite-harmonic biased-source orthogonality and amplitude curvature",
"method": {
"summation": "mpmath.nsum over harmonic ell=2k, k=1..infinity",
"precision_cross_check_digits": [
50,
80
],
"source_components": "(i+ell+d)/(i+2ell+d+1)",
"inverse_weight": "d/((ell-1)(ell+d))"
},
"environment": {
"mpmath": "1.3.0"
},
"sources": {
"experiments/biased_source_infinite_checks.py": "b2a67d68d4d5748621c33d09f5475f07e053b8fe52e0a356aa773d1009a62cd7"
},
"records": [
{
"depth": 2,
"indices": [
76,
81,
95
],
"digits": 80,
"minimum_bias_norm": "4.97618064900007247649920217783511393760213176597687656336180091804080197262",
"gram_condition_estimate": "1185463869.34655070827209640604656460009659551662294887113581176806581038836",
"bias_coefficients": [
"21239.482775684711799444083653190468544303971194718079210441778095315955147",
"-29397.529509741418085554959510077909662274422983297656645755036005930432554",
"8164.00784176067612732178138815303903750557476753616574718924557254792647839"
],
"source_norms": [
"0.697490123554727113901019237764687359676018696394487275589643887403367989033",
"0.701827090046728237623487723781124819313528615682697800494768870884399603033",
"0.711988162793243005407384185839773819924286068441446538015578702418302032597"
],
"stationary_relative_response_energies": [
"0.348745061777363556950509618882343679838009348197243637794821943701683994517",
"0.350913545023364118811743861890562409656764307841348900247384435442199801517",
"0.355994081396621502703692092919886909962143034220723269007789351209151016299"
],
"real_amplitude_curvatures": [
"-2.78996049421890845560407695105874943870407478557794910235857554961347195613",
"-2.80730836018691295049395089512449927725411446273079120197907548353759841213",
"-2.84795265117297202162953674335909527969714427376578615206231480967320813039"
],
"selected_residuals": [
"1.85858949739e-78",
"1.50036561128e-77",
"-1.33285008596e-77"
],
"unselected_extra_index": 96,
"unselected_extra_residual": "0.00000111384682091369598343901997867292600623602977764061074566207253779607211858"
},
{
"depth": 3,
"indices": [
1,
4,
16,
17
],
"digits": 80,
"minimum_bias_norm": "79.766698436990285473695944929709587333683988328614287900252780558646899439",
"gram_condition_estimate": "421015148.934670804562333415063165310724240734110384444303238993482654587375",
"bias_coefficients": [
"3815.59850361241821248275321022811620415747283024704909426804660487659327875",
"-7457.91030472994283157746792518320087407615819797895897436438311051040644079",
"59945.4330545547978662697795380226083316729684911635059300373730889543504465",
"-56140.4331493207891905501792711443549534934386041245087937399423456536353941"
],
"source_norms": [
"0.399837569970986362248867902463959557908501497730212602424114468162649624333",
"0.496559352550214242578015172668428549811135253069451232351637278489025593897",
"0.681799279459514160619877533542641332857512892309344053126997203003791451427",
"0.690640276682032235820898604886968246377579979680766890104246410148034644867"
],
"stationary_relative_response_energies": [
"0.199918784985493181124433951231979778954250748865106301212057234081324812167",
"0.248279676275107121289007586334214274905567626534725616175818639244512796949",
"0.340899639729757080309938766771320666428756446154672026563498601501895725713",
"0.345320138341016117910449302443484123188789989840383445052123205074017322434"
],
"real_amplitude_curvatures": [
"-1.59935027988394544899547160985583823163400599092085040969645787265059849733",
"-1.98623741020085697031206069067371419924454101227780492940654911395610237559",
"-2.72719711783805664247951013417056533143005156923737621250798881201516580571",
"-2.76256110672812894328359441954787298551031991872306756041698564059213857947"
],
"selected_residuals": [
"5.1445925963e-79",
"4.88493826095e-77",
"-6.21768292494e-77",
"4.83032967561e-77"
],
"unselected_extra_index": 18,
"unselected_extra_residual": "0.0000243434165573608154403295120662519110438062365961102697239689718801476775473"
},
{
"depth": 4,
"indices": [
3,
20,
72
],
"digits": 80,
"minimum_bias_norm": "43.4310328095309925794055393664628995870670190332277743166126141337962841845",
"gram_condition_estimate": "18678.2092574890246152790450112721150293290059608247887778594722495350079318",
"bias_coefficients": [
"356.045970214414065615232815672946807972960708574253801732625950060916422895",
"-281.562754542807332630828194485386457251709967839606349801630272456309267529",
"-13.4609058711127638045861239490951062861395534962718761212074482236301727638"
],
"source_norms": [
"0.567529267164974973982439844854560331137143691545187050989659355454401024689",
"0.82432116938975218928104242423516566085628653792564935922124228263758752522",
"0.995430947168902105853112642171703126640515269438652442100193676108393076389"
],
"stationary_relative_response_energies": [
"0.283764633582487486991219922427280165568571845772593525494829677727200512345",
"0.41216058469487609464052121211758283042814326896282467961062114131879376261",
"0.497715473584451052926556321085851563320257634719326221050096838054196538195"
],
"real_amplitude_curvatures": [
"-2.27011706865989989592975937941824132454857476618074820395863742181760409876",
"-3.29728467755900875712416969694066264342514615170259743688496913055035010088",
"-3.98172378867560842341245056868681250656206107775460976840077470443357230556"
],
"selected_residuals": [
"1.06476199227e-79",
"1.05421979432e-81",
"-1.48644991e-79"
],
"unselected_extra_index": 73,
"unselected_extra_residual": "0.000446067882280155034157241105503001234907211903944368086425662743161091504586"
},
{
"depth": 5,
"indices": [
10,
15,
22
],
"digits": 80,
"minimum_bias_norm": "35.0232927564610507155227546120809502110759889419860222937697522220623492185",
"gram_condition_estimate": "2973364.95376111321141424359657921455764335353105961132936752854888031771709",
"bias_coefficients": [
"2177.24574427523865455290847295607312222450600928308766975686847734929407796",
"-3222.61566676705867661830131395942878606336408304865155400653886325071985889",
"1088.50524351689977305246252829181034626080851303022569840152168358846883502"
],
"source_norms": [
"0.801392989007448088076483345403933927594709447928912907751129964323579787402",
"0.865891133562039257281583986295741446960120185415600901828905428320245970891",
"0.928412215913303436316115490907911887529001459420915821913299095277520274221"
],
"stationary_relative_response_energies": [
"0.400696494503724044038241672701966963797354723964456453875564982161789893701",
"0.432945566781019628640791993147870723480060092707800450914452714160122985446",
"0.464206107956651718158057745453955943764500729710457910956649547638760137111"
],
"real_amplitude_curvatures": [
"-3.20557195602979235230593338161573571037883779171565163100451985729431914961",
"-3.46356453424815702912633594518296578784048074166240360731562171328098388357",
"-3.71364886365321374526446196363164755011600583768366328765319638111008109688"
],
"selected_residuals": [
"-1.60873940614e-78",
"-4.89157984566e-79",
"-2.10633114906e-78"
],
"unselected_extra_index": 23,
"unselected_extra_residual": "0.000121131941950498495500393189927774834243028667252283290565591783399556642156"
},
{
"depth": 6,
"indices": [
13,
35
],
"digits": 80,
"minimum_bias_norm": "13.3677164333573869608001683957603048698799244442792517149032431774322663438",
"gram_condition_estimate": "7497.52977783890750912303089418665600099945083657019729929246961416215722779",
"bias_coefficients": [
"158.10138311797080736918350630640331002443607588501732892500064918260762982",
"-146.651978200933006631415031252253873775040147919002067851202155628288972549"
],
"source_norms": [
"0.915661330119101047581398203774747912578415517310998614506607372048973115427",
"1.07830143945390067228826500400904570338211296310579624127162852416475323009"
],
"stationary_relative_response_energies": [
"0.457830665059550523790699101887373956289207758655499307253303686024486557713",
"0.539150719726950336144132502004522851691056481552898120635814262082376615043"
],
"real_amplitude_curvatures": [
"-3.66264532047640419032559281509899165031366206924399445802642948819589246171",
"-4.31320575781560268915306001603618281352845185242318496508651409665901292035"
],
"selected_residuals": [
"-6.43074074537e-80",
"5.48194293048e-80"
],
"unselected_extra_index": 36,
"unselected_extra_residual": "-0.000702411175544740834562977331403289946887654302109292558943736417012807994525"
},
{
"depth": 10,
"indices": [
23
],
"digits": 80,
"minimum_bias_norm": "1.22497506221676116105884723522006784671451854923398028364878548833835680885",
"gram_condition_estimate": "1.0",
"bias_coefficients": [
"-1.0"
],
"source_norms": [
"1.22497506221676116105884723522006784671451854923398028364878548833835680885"
],
"stationary_relative_response_energies": [
"0.612487531108380580529423617610033923357259274616990141824392744169178404426"
],
"real_amplitude_curvatures": [
"-4.89990024886704464423538894088027138685807419693592113459514195335342723541"
],
"selected_residuals": [
"0.0"
],
"unselected_extra_index": 24,
"unselected_extra_residual": "0.00361044022890621980587624078647416813455583266002343146398930151847911675862"
}
]
}