Recorded data and provenance for the associated calculation.
| experiment | complex-comb-sector-response |
|---|---|
| created_utc | 2026-10-09T23:30:41.566328+00:00 |
| status | passed |
| checks | 2831 |
| scope | Conditional real versus positive-frequency combs at occupied sectors; signed conservative receiver diagnostics, not charges or rates. |
View complete data
{
"experiment": "complex-comb-sector-response",
"created_utc": "2026-10-09T23:30:41.566328+00:00",
"status": "passed",
"checks": 2831,
"check_counts": {
"finite_derivative_identity": 40,
"partial_harmonic_square_identity": 40,
"harmonic_convolution_identity": 40,
"density_mean_independent_fft": 40,
"density_coefficients_independent_fft": 40,
"derivative_norm_independent_fft": 40,
"finite_variance_deficit_bound": 40,
"telescoping_density_coefficient": 780,
"limiting_coefficient_deficit": 780,
"coefficient_deficit_bound": 780,
"numeric_derivative_identity": 4,
"large_finite_variance_bound": 4,
"variance_response_bound_vs_full_sum": 10,
"external_euler_sum_independent_partial_bound": 1,
"large_cutoff_coefficients_high_precision": 156,
"fundamental_matches_real_preparation": 13,
"equal_mean_source": 14,
"omitted_frequencies_above_poles": 3,
"response_tail_and_variance_intervals_overlap": 3,
"slow_comb_derivative_sandwich": 3
},
"scope": "Conditional real versus positive-frequency combs at occupied sectors; signed conservative receiver diagnostics, not charges or rates.",
"finite_cases": [
{
"cutoff": 1,
"density_derivative_norm_exact": "0",
"variance_exact": "0"
},
{
"cutoff": 2,
"density_derivative_norm_exact": "1/8",
"variance_exact": "1/4"
},
{
"cutoff": 3,
"density_derivative_norm_exact": "4/9",
"variance_exact": "5/9"
},
{
"cutoff": 4,
"density_derivative_norm_exact": "283/288",
"variance_exact": "481/576"
},
{
"cutoff": 5,
"density_derivative_norm_exact": "697/400",
"variance_exact": "69/64"
},
{
"cutoff": 6,
"density_derivative_norm_exact": "19577/7200",
"variance_exact": "20867/16200"
},
{
"cutoff": 7,
"density_derivative_norm_exact": "43046/11025",
"variance_exact": "13339/9072"
},
{
"cutoff": 8,
"density_derivative_norm_exact": "829471/156800",
"variance_exact": "165601201/101606400"
},
{
"cutoff": 9,
"density_derivative_norm_exact": "1744387/254016",
"variance_exact": "64764113/36578304"
},
{
"cutoff": 10,
"density_derivative_norm_exact": "109581541/12700800",
"variance_exact": "884478749/466560000"
},
{
"cutoff": 11,
"density_derivative_norm_exact": "1352943371/128066400",
"variance_exact": "504943994911/251475840000"
},
{
"cutoff": 12,
"density_derivative_norm_exact": "19470437963/1536796800",
"variance_exact": "729288569087/345779280000"
},
{
"cutoff": 13,
"density_derivative_norm_exact": "39584914337/2650190400",
"variance_exact": "201909217769/91737360000"
},
{
"cutoff": 14,
"density_derivative_norm_exact": "300575636423/17314577280",
"variance_exact": "13084221112041769/5726796435360000"
},
{
"cutoff": 15,
"density_derivative_norm_exact": "40445105959/2029052025",
"variance_exact": "300536696584921/127262143008000"
},
{
"cutoff": 16,
"density_derivative_norm_exact": "23531907418231/1038874636800",
"variance_exact": "1800955707290479/740434286592000"
},
{
"cutoff": 17,
"density_derivative_norm_exact": "47277402817823/1853301049600",
"variance_exact": "115278103985061191/46153737197568000"
},
{
"cutoff": 18,
"density_derivative_norm_exact": "8557875550789973/300234770035200",
"variance_exact": "487784132124035325221/190661088363153408000"
},
{
"cutoff": 19,
"density_derivative_norm_exact": "171407533086724679/5419237599135360",
"variance_exact": "728658081759766270523/278658513761531904000"
},
{
"cutoff": 20,
"density_derivative_norm_exact": "36006877969070443/1032235733168640",
"variance_exact": "918047554235009969437549/344143264495491901440000"
},
{
"cutoff": 21,
"density_derivative_norm_exact": "3427030788866513/89574175192320",
"variance_exact": "7727663952118559069269/2844159210706544640000"
},
{
"cutoff": 22,
"density_derivative_norm_exact": "905146044884877869/21676950396541440",
"variance_exact": "115071782906204654035453429/41641335003954520074240000"
},
{
"cutoff": 23,
"density_derivative_norm_exact": "21677705791672139887/477796114990434240",
"variance_exact": "2688445499874047075634956867/957750705090953961707520000"
},
{
"cutoff": 24,
"density_derivative_norm_exact": "112602897380749396007/2293421351954084352",
"variance_exact": "7842601547807818386674215727/2753533277136492639909120000"
},
{
"cutoff": 25,
"density_derivative_norm_exact": "224496192823836125723/4240793920033440000",
"variance_exact": "2767035147608957252617759/958417430259830365440000"
},
{
"cutoff": 26,
"density_derivative_norm_exact": "1006640772494256302933/17696152407053120000",
"variance_exact": "272126770493890756519331320297/93069424767213451228928256000"
},
{
"cutoff": 27,
"density_derivative_norm_exact": "4010862238204587011513/65818852575212880000",
"variance_exact": "12391987515878844349801669026157/4188124114524605305301771520000"
},
{
"cutoff": 28,
"density_derivative_norm_exact": "839749365505184651566339/12900495104741724480000",
"variance_exact": "1319049534429062834123207579147/440855169949958453189660160000"
},
{
"cutoff": 29,
"density_derivative_norm_exact": "25080642398770739551440071/361643879436259676256000",
"variance_exact": "734467051806787196515059804220381/242911198642427107707502748160000"
},
{
"cutoff": 30,
"density_derivative_norm_exact": "799680599346600616485191801/10849316383087790287680000",
"variance_exact": "537788466960797247804751975205397821/176110619015759653087939492416000000"
},
{
"cutoff": 31,
"density_derivative_norm_exact": "3183276065862856501197675007/40727316578700650259611250",
"variance_exact": "16828231352349093418762274142076356851/5459429189488549245726124264896000000"
},
{
"cutoff": 32,
"density_derivative_norm_exact": "104524943825483297713958452199/1263780975048165632298240000",
"variance_exact": "33684455930779758630456424275784534222409/10831507511945281703520630541553664000000"
},
{
"cutoff": 33,
"density_derivative_norm_exact": "6302486967923434214343717847/72153585080604612224640000",
"variance_exact": "117539246430624065398658858616543824681/37479264747215507624638860005376000000"
},
{
"cutoff": 34,
"density_derivative_norm_exact": "109718316828898032755481542279/1191564919331127596166912000",
"variance_exact": "430248681094074073103066857033827691479487/136100246563138539665976618543869952000000"
},
{
"cutoff": 35,
"density_derivative_norm_exact": "112254465579343585443235479479/1158465893794151829606720000",
"variance_exact": "398848405471970777459362412214113990434193/125212226838087456492698489060360355840000"
},
{
"cutoff": 36,
"density_derivative_norm_exact": "4245826331359151216687599393523/41704772176589465865841920000",
"variance_exact": "401747034227149607938758072215217045373249/125212226838087456492698489060360355840000"
},
{
"cutoff": 37,
"density_derivative_norm_exact": "8445460638227534767712652529829/79077331176940413809331840000",
"variance_exact": "41461759740224787364917227309416582815901/12833386130219490000636687244413665280000"
},
{
"cutoff": 38,
"density_derivative_norm_exact": "163782557263187558164890141735551/1463944438711563558213784320000",
"variance_exact": "201247438677583843405610076913423810479172029313/61881009413424363785800027580031631099330560000"
},
{
"cutoff": 39,
"density_derivative_norm_exact": "167053571220944978857776209584631/1427345827743774469258439712000",
"variance_exact": "202521961971623653216939157358628648576690022017/61881009413424363785800027580031631099330560000"
},
{
"cutoff": 40,
"density_derivative_norm_exact": "6981410352975931274584845124676671/57093833109750978770337588480000",
"variance_exact": "5093749527407677245291078007961191744581217915141/1547025235335609094645000689500790777483264000000"
}
],
"particle_cases": [
{
"particle": "W",
"real_depth": 2,
"mode_index": 76,
"cutoff": 2926,
"fundamental_over_depth6": 997976.8822172185,
"complex": {
"density_response": -6.12955286131927e-13,
"density_tail_bound": 0.0,
"derivative_response": -2.2692159964432452,
"derivative_tail_bound": 0.0,
"static_source_term": 0.2930074372662251,
"evaluated_harmonics": 2925,
"derivative_interval_lower": -2.2692159964432452,
"derivative_interval_upper": -2.2692159964432452,
"variance_deficit_bound": 0.10419003184690137,
"density_derivative_norm": 64001.051226946416
},
"real": {
"density_response": -5.103646885186104e-13,
"density_tail_bound": 0.0,
"derivative_source_response": -0.5414410422786011,
"derivative_tail_bound": 0.0,
"static_source_term": 0.2930074372662251,
"evaluated_source_harmonics": 5852
}
},
{
"particle": "Z",
"real_depth": 2,
"mode_index": 81,
"cutoff": 3321,
"fundamental_over_depth6": 997976.8822172185,
"complex": {
"density_response": -6.130104964318553e-13,
"density_tail_bound": 0.0,
"derivative_response": -2.272135897199846,
"derivative_tail_bound": 0.0,
"static_source_term": 0.2930219173153557,
"evaluated_harmonics": 3320,
"derivative_interval_lower": -2.272135897199846,
"derivative_interval_upper": -2.272135897199846,
"variance_deficit_bound": 0.09446117307589436,
"density_derivative_norm": 75422.6215495044
},
"real": {
"density_response": -5.104088427720626e-13,
"density_tail_bound": 0.0,
"derivative_source_response": -0.5414079644840168,
"derivative_tail_bound": 0.0,
"static_source_term": 0.2930219173153557,
"evaluated_source_harmonics": 6642
}
},
{
"particle": "Higgs",
"real_depth": 2,
"mode_index": 95,
"cutoff": 4560,
"fundamental_over_depth6": 997976.8822172185,
"complex": {
"density_response": -6.131216222677637e-13,
"density_tail_bound": 0.0,
"derivative_response": -2.2783204096590297,
"derivative_tail_bound": 0.0,
"static_source_term": 0.2930510644913504,
"evaluated_harmonics": 4559,
"derivative_interval_lower": -2.2783204096590297,
"derivative_interval_upper": -2.2783204096590297,
"variance_deficit_bound": 0.0737750563768462,
"density_derivative_norm": 113446.69877110975
},
"real": {
"density_response": -5.104977207004798e-13,
"density_tail_bound": 0.0,
"derivative_source_response": -0.5413412653124063,
"derivative_tail_bound": 0.0,
"static_source_term": 0.2930510644913504,
"evaluated_source_harmonics": 9120
}
},
{
"particle": "down",
"real_depth": 3,
"mode_index": 1,
"cutoff": 1,
"fundamental_over_depth6": 170813.0545187998,
"complex": {
"density_response": 0.0,
"density_tail_bound": 0.0,
"derivative_response": 0.0,
"derivative_tail_bound": 0.0,
"static_source_term": 0.10833333333333334,
"evaluated_harmonics": 0,
"derivative_interval_lower": 0.0,
"derivative_interval_upper": 0.0,
"variance_deficit_bound": 4.599873743272338,
"density_derivative_norm": 0.0
},
"real": {
"density_response": -1.0710454580969868e-12,
"density_tail_bound": 0.0,
"derivative_source_response": -0.1250000000025705,
"derivative_tail_bound": 0.0,
"static_source_term": 0.10833333333333334,
"evaluated_source_harmonics": 2
}
},
{
"particle": "strange",
"real_depth": 3,
"mode_index": 4,
"cutoff": 20,
"fundamental_over_depth6": 170813.0545187998,
"complex": {
"density_response": -1.864727514003411e-11,
"density_tail_bound": 0.0,
"derivative_response": -1.3338159554156241,
"derivative_tail_bound": 0.0,
"static_source_term": 0.27600485263205243,
"evaluated_harmonics": 19,
"derivative_interval_lower": -1.3338159554156241,
"derivative_interval_upper": -1.3338159554156241,
"variance_deficit_bound": 2.8923088813828537,
"density_derivative_norm": 34.8824176610711
},
"real": {
"density_response": -1.56534175706646e-11,
"density_tail_bound": 0.0,
"derivative_source_response": -0.5661043903543734,
"derivative_tail_bound": 0.0,
"static_source_term": 0.27600485263205243,
"evaluated_source_harmonics": 40
}
},
{
"particle": "up",
"real_depth": 4,
"mode_index": 3,
"cutoff": 15,
"fundamental_over_depth6": 5271.40530590165,
"complex": {
"density_response": -1.879462297168444e-08,
"density_tail_bound": 0.0,
"derivative_response": -1.1807781205086245,
"derivative_tail_bound": 0.0,
"static_source_term": 0.270594078033031,
"evaluated_harmonics": 14,
"derivative_interval_lower": -1.1807781205086245,
"derivative_interval_upper": -1.1807781205086245,
"variance_deficit_bound": 3.3101564455311316,
"density_derivative_norm": 19.933005886825402
},
"real": {
"density_response": -1.5850537135090832e-08,
"density_tail_bound": 0.0,
"derivative_source_response": -0.5694487098515483,
"derivative_tail_bound": 0.0,
"static_source_term": 0.270594078033031,
"evaluated_source_harmonics": 30
}
},
{
"particle": "charm",
"real_depth": 4,
"mode_index": 20,
"cutoff": 8855,
"fundamental_over_depth6": 5271.40530590165,
"complex": {
"density_response": -2.1980478113489328e-08,
"density_tail_bound": 0.0,
"derivative_response": -2.287255876457329,
"derivative_tail_bound": 0.0,
"static_source_term": 0.29308896406801194,
"evaluated_harmonics": 8854,
"derivative_interval_lower": -2.287255876457329,
"derivative_interval_upper": -2.287255876457329,
"variance_deficit_bound": 0.043652832749740494,
"density_derivative_norm": 263374.5250691595
},
"real": {
"density_response": -1.830123048509257e-08,
"density_tail_bound": 0.0,
"derivative_source_response": -0.5412543395458383,
"derivative_tail_bound": 0.0,
"static_source_term": 0.29308896406801194,
"evaluated_source_harmonics": 17710
}
},
{
"particle": "top",
"real_depth": 4,
"mode_index": 72,
"cutoff": 1215450,
"fundamental_over_depth6": 5271.40530590165,
"complex": {
"density_response": -2.1985936186135585e-08,
"density_tail_bound": 1.101777887695322e-20,
"derivative_response": -2.29864813768939,
"derivative_tail_bound": 0.001314982537223023,
"static_source_term": 0.29312891590360324,
"evaluated_harmonics": 65536,
"derivative_interval_lower": -2.2999369244024157,
"derivative_interval_upper": -2.2995797627278334,
"variance_deficit_bound": 0.0007143233491643059,
"derivative_interval_method": "limiting variance plus exact finite coefficients",
"density_derivative_norm": 96727956.02881806
},
"real": {
"density_response": -1.8305596701094053e-08,
"density_tail_bound": 2.7214271004649436e-22,
"derivative_source_response": -0.5411603302433488,
"derivative_tail_bound": 3.2480494965483416e-05,
"static_source_term": 0.29312891590360324,
"evaluated_source_harmonics": 65536
}
},
{
"particle": "nu1",
"real_depth": 5,
"mode_index": 10,
"cutoff": 2002,
"fundamental_over_depth6": 2.7813921180875695e-08,
"complex": {
"density_response": 0.9787225900588117,
"density_tail_bound": 0.0,
"derivative_response": 1.3060078996418373e-11,
"derivative_tail_bound": 0.0,
"static_source_term": 0.2929512574323704,
"evaluated_harmonics": 2001,
"derivative_interval_lower": 1.3060078996418373e-11,
"derivative_interval_upper": 1.3060078996418373e-11,
"variance_deficit_bound": 0.1394191586046011,
"density_derivative_norm": 38958.23445105402,
"slow_derivative_leading": 1.3060078990646476e-11,
"slow_derivative_relative_upper": 1.3899275064233052e-09
},
"real": {
"density_response": 0.23467991214492692,
"density_tail_bound": 0.0,
"derivative_source_response": 1.3392546064223185e-12,
"derivative_tail_bound": 0.0,
"static_source_term": 0.2929512574323704,
"evaluated_source_harmonics": 4004
}
},
{
"particle": "nu2",
"real_depth": 5,
"mode_index": 15,
"cutoff": 11628,
"fundamental_over_depth6": 2.7813921180875695e-08,
"complex": {
"density_response": 0.9922352730358652,
"density_tail_bound": 0.0,
"derivative_response": 1.2422322548975586e-10,
"derivative_tail_bound": 0.0,
"static_source_term": 0.2930985608895927,
"evaluated_harmonics": 11627,
"derivative_interval_lower": 1.2422322548975586e-10,
"derivative_interval_upper": 1.2422322548975586e-10,
"variance_deficit_bound": 0.03510005523758015,
"density_derivative_norm": 370558.05508703965,
"slow_derivative_leading": 1.2422322362008715e-10,
"slow_derivative_relative_upper": 4.692813004858465e-08
},
"real": {
"density_response": 0.23453396537159715,
"density_tail_bound": 0.0,
"derivative_source_response": 7.792567565236512e-12,
"derivative_tail_bound": 0.0,
"static_source_term": 0.2930985608895927,
"evaluated_source_harmonics": 23256
}
},
{
"particle": "nu3",
"real_depth": 5,
"mode_index": 22,
"cutoff": 65780,
"fundamental_over_depth6": 2.7813921180875695e-08,
"complex": {
"density_response": 0.9955912667461677,
"density_tail_bound": 0.0,
"derivative_response": 1.0391361584623414e-09,
"derivative_tail_bound": 0.0,
"static_source_term": 0.29312379109992004,
"evaluated_harmonics": 65779,
"derivative_interval_lower": 1.0391361584623414e-09,
"derivative_interval_upper": 1.0391361584623414e-09,
"variance_deficit_bound": 0.008504257042454739,
"density_derivative_norm": 3099743.1557011893,
"slow_derivative_leading": 1.0391356547493142e-09,
"slow_derivative_relative_upper": 1.5020109063179632e-06
},
"real": {
"density_response": 0.23450878352571458,
"density_tail_bound": 0.0,
"derivative_source_response": 4.409911082982454e-11,
"derivative_tail_bound": 0.0,
"static_source_term": 0.29312379109992004,
"evaluated_source_harmonics": 131560
}
},
{
"particle": "electron",
"real_depth": 6,
"mode_index": 13,
"cutoff": 18564,
"fundamental_over_depth6": 1.0,
"complex": {
"density_response": 0.15251134182577325,
"density_tail_bound": 0.0,
"derivative_response": -2.0220484046413905,
"derivative_tail_bound": 0.0,
"static_source_term": 0.293110011384642,
"evaluated_harmonics": 18563,
"derivative_interval_lower": -2.0220484046413905,
"derivative_interval_upper": -2.0220484046413905,
"variance_deficit_bound": 0.024058030782052955,
"density_derivative_norm": 662543.0760960502
},
"real": {
"density_response": 0.376952654977006,
"density_tail_bound": 0.0,
"derivative_source_response": 0.2997002729085455,
"derivative_tail_bound": 0.0,
"static_source_term": 0.293110011384642,
"evaluated_source_harmonics": 37128
}
},
{
"particle": "muon",
"real_depth": 6,
"mode_index": 35,
"cutoff": 3838380,
"fundamental_over_depth6": 1.0,
"complex": {
"density_response": 0.15251535377363967,
"density_tail_bound": 3.0615888745003493e-13,
"derivative_response": -2.0277294952791856,
"derivative_tail_bound": 0.0013149825381414996,
"static_source_term": 0.29312911627782723,
"evaluated_harmonics": 65536,
"derivative_interval_lower": -2.0289793550807103,
"derivative_interval_upper": -2.0288479602010465,
"variance_deficit_bound": 0.00026278975785784406,
"derivative_interval_method": "limiting variance plus exact finite coefficients",
"density_derivative_norm": 363565016.5238429
},
"real": {
"density_response": 0.37698479949540487,
"density_tail_bound": 2.3946312986543502e-15,
"derivative_source_response": 0.2998140202898259,
"derivative_tail_bound": 1.0285176985206652e-05,
"static_source_term": 0.29312911627782723,
"evaluated_source_harmonics": 65536
}
},
{
"particle": "tau",
"real_depth": 10,
"mode_index": 23,
"cutoff": 64512240,
"fundamental_over_depth6": 1.0,
"complex": {
"density_response": 0.1525153721187042,
"density_tail_bound": 3.0615888745003493e-13,
"derivative_response": -2.0277464048615657,
"derivative_tail_bound": 0.0013149825381414996,
"static_source_term": 0.29312920360553,
"evaluated_harmonics": 65536,
"derivative_interval_lower": -2.028979363630491,
"derivative_interval_upper": -2.028968526966386,
"variance_deficit_bound": 2.1673326740029747e-05,
"derivative_interval_method": "limiting variance plus exact finite coefficients",
"density_derivative_norm": 8868170757.584587
},
"real": {
"density_response": 0.3769849464196103,
"density_tail_bound": 1.4247691447170004e-16,
"derivative_source_response": 0.29981393515891913,
"derivative_tail_bound": 6.119523629675514e-07,
"static_source_term": 0.29312920360553,
"evaluated_source_harmonics": 65536
}
}
],
"limiting_variance": {
"exact": "17*zeta(4)/4",
"value": 4.599873743272338,
"partial_sum": 4.5974099615651,
"tail_bound": 0.002629965074446046
},
"limiting_response_r1": {
"density_response": 0.15251537327926032,
"derivative_response": -2.028979364170633,
"derivative_tail_bound": 7.347813298800838e-13
},
"sources": {
"experiments/complex-comb-response-checks.py": "9284c202bbe84106f132a75407714adab0cb1c367728f1e2d78d1489043b1552",
"experiments/sawtooth-sector-coupling-checks.py": "4b76b045f19240c04e8cf1be656643d8594a68423dd1292d29624e5106e584b9"
}
}