Recorded data and provenance for the associated calculation.
| timestamp | 20260914T015610_251309Z |
|---|---|
| scope | Full normal oscillator domain, discarded component and tower convergence. |
| passed | true |
View complete data
{
"timestamp": "20260914T015610_251309Z",
"scope": "Full normal oscillator domain, discarded component and tower convergence.",
"passed": true,
"checks": [
{
"name": "exact complete triangular inverse b=1.0,G=4.0,n=6",
"error": 6.788075520296971e-18,
"tolerance": 2e-14,
"passed": true
},
{
"name": "independent high precision frequency b=1.0,G=4.0,n=6",
"error": 0.0,
"tolerance": 3e-11,
"passed": true
},
{
"name": "complete singular vectors b=1.0,G=4.0,n=6",
"error": 4.277984256228593e-16,
"tolerance": 4e-11,
"passed": true
},
{
"name": "finite physical lower equation b=1.0,G=4.0,n=6",
"error": 1.3612973387514856e-17,
"tolerance": 3e-12,
"passed": true
},
{
"name": "full omitted normal component b=1.0,G=4.0,n=6",
"error": 0.0,
"tolerance": 2e-11,
"passed": true
},
{
"name": "exact complete triangular inverse b=3.0,G=4.0,n=12",
"error": 6.315607946466375e-17,
"tolerance": 2e-14,
"passed": true
},
{
"name": "independent high precision frequency b=3.0,G=4.0,n=12",
"error": 0.0,
"tolerance": 3e-11,
"passed": true
},
{
"name": "complete singular vectors b=3.0,G=4.0,n=12",
"error": 1.3694078964464355e-15,
"tolerance": 4e-11,
"passed": true
},
{
"name": "finite physical lower equation b=3.0,G=4.0,n=12",
"error": 4.317337177735487e-17,
"tolerance": 3e-12,
"passed": true
},
{
"name": "full omitted normal component b=3.0,G=4.0,n=12",
"error": 0.0,
"tolerance": 2e-11,
"passed": true
},
{
"name": "exact complete triangular inverse b=13.0,G=4.0,n=20",
"error": 1.0114418316700806e-15,
"tolerance": 2e-14,
"passed": true
},
{
"name": "independent high precision frequency b=13.0,G=4.0,n=20",
"error": 0.0,
"tolerance": 3e-11,
"passed": true
},
{
"name": "complete singular vectors b=13.0,G=4.0,n=20",
"error": 5.275802953154128e-13,
"tolerance": 4e-11,
"passed": true
},
{
"name": "finite physical lower equation b=13.0,G=4.0,n=20",
"error": 4.354680575494297e-16,
"tolerance": 3e-12,
"passed": true
},
{
"name": "full omitted normal component b=13.0,G=4.0,n=20",
"error": 0.0,
"tolerance": 2e-11,
"passed": true
},
{
"name": "exact complete triangular inverse b=35.0,G=4.0,n=40",
"error": 3.6107082073175725e-15,
"tolerance": 2e-14,
"passed": true
},
{
"name": "independent high precision frequency b=35.0,G=4.0,n=40",
"error": 1.021405182655144e-14,
"tolerance": 3e-11,
"passed": true
},
{
"name": "complete singular vectors b=35.0,G=4.0,n=40",
"error": 7.35120755442166e-13,
"tolerance": 4e-11,
"passed": true
},
{
"name": "finite physical lower equation b=35.0,G=4.0,n=40",
"error": 2.1490819263551556e-15,
"tolerance": 3e-12,
"passed": true
},
{
"name": "full omitted normal component b=35.0,G=4.0,n=40",
"error": 0.0,
"tolerance": 2e-11,
"passed": true
},
{
"name": "exact complete triangular inverse b=13.0,G=10000.0,n=6",
"error": 7.483000162760435e-19,
"tolerance": 2e-14,
"passed": true
},
{
"name": "independent high precision frequency b=13.0,G=10000.0,n=6",
"error": 2.1316282072803006e-14,
"tolerance": 3e-11,
"passed": true
},
{
"name": "complete singular vectors b=13.0,G=10000.0,n=6",
"error": 1.4210859362305263e-14,
"tolerance": 4e-11,
"passed": true
},
{
"name": "finite physical lower equation b=13.0,G=10000.0,n=6",
"error": 1.651109024904393e-18,
"tolerance": 3e-12,
"passed": true
},
{
"name": "full omitted normal component b=13.0,G=10000.0,n=6",
"error": 0.0,
"tolerance": 2e-11,
"passed": true
},
{
"name": "exact complete triangular inverse b=35.0,G=10000.0,n=6",
"error": 6.183109650615099e-18,
"tolerance": 2e-14,
"passed": true
},
{
"name": "independent high precision frequency b=35.0,G=10000.0,n=6",
"error": 0.0,
"tolerance": 3e-11,
"passed": true
},
{
"name": "complete singular vectors b=35.0,G=10000.0,n=6",
"error": 3.552719244088533e-15,
"tolerance": 4e-11,
"passed": true
},
{
"name": "finite physical lower equation b=35.0,G=10000.0,n=6",
"error": 6.054105993753629e-18,
"tolerance": 3e-12,
"passed": true
},
{
"name": "full omitted normal component b=35.0,G=10000.0,n=6",
"error": 0.0,
"tolerance": 2e-11,
"passed": true
},
{
"name": "actual ordinary spatial oscillator norm",
"error": 5.340172748447003e-14,
"tolerance": 2e-12,
"passed": true
},
{
"name": "actual full normal differential equation",
"error": 2.785978444519723e-15,
"tolerance": 3e-12,
"passed": true
},
{
"name": "complete displaced-oscillator coherent zero",
"error": 1.8521222377125497e-16,
"tolerance": 2e-14,
"passed": true
},
{
"name": "complete coherent canonical norm",
"error": 1.1102230246251565e-16,
"tolerance": 2e-14,
"passed": true
},
{
"name": "normal tower independent extension b=1.0,G=4.0",
"error": 0.0,
"tolerance": 4e-10,
"passed": true
},
{
"name": "full singular residual b=1.0,G=4.0",
"error": 8.620224010072697e-33,
"tolerance": 4e-11,
"passed": true
},
{
"name": "remaining infinite tower bound b=1.0,G=4.0",
"error": 3.12155169549566e-11,
"tolerance": 1e-09,
"passed": true
},
{
"name": "normal tower independent extension b=3.0,G=10.0",
"error": 0.0,
"tolerance": 4e-10,
"passed": true
},
{
"name": "full singular residual b=3.0,G=10.0",
"error": 1.4213898703255e-14,
"tolerance": 4e-11,
"passed": true
},
{
"name": "remaining infinite tower bound b=3.0,G=10.0",
"error": 1.0370291401012918e-38,
"tolerance": 1e-09,
"passed": true
},
{
"name": "normal tower independent extension b=13.0,G=10.0",
"error": 0.0,
"tolerance": 4e-10,
"passed": true
},
{
"name": "full singular residual b=13.0,G=10.0",
"error": 1.2445438831647742e-14,
"tolerance": 4e-11,
"passed": true
},
{
"name": "remaining infinite tower bound b=13.0,G=10.0",
"error": 3.5504076827411815e-17,
"tolerance": 1e-09,
"passed": true
},
{
"name": "normal tower independent extension b=13.0,G=30.0",
"error": 0.0,
"tolerance": 4e-10,
"passed": true
},
{
"name": "full singular residual b=13.0,G=30.0",
"error": 1.1368445720000001e-13,
"tolerance": 4e-11,
"passed": true
},
{
"name": "remaining infinite tower bound b=13.0,G=30.0",
"error": 4.1774644484329485e-105,
"tolerance": 1e-09,
"passed": true
},
{
"name": "normal tower independent extension b=35.0,G=30.0",
"error": 0.0,
"tolerance": 4e-10,
"passed": true
},
{
"name": "full singular residual b=35.0,G=30.0",
"error": 1.1368841833319037e-13,
"tolerance": 4e-11,
"passed": true
},
{
"name": "remaining infinite tower bound b=35.0,G=30.0",
"error": 6.146323895892186e-117,
"tolerance": 1e-09,
"passed": true
},
{
"name": "normal tower independent extension b=13.0,G=60.0",
"error": 0.0,
"tolerance": 4e-10,
"passed": true
},
{
"name": "full singular residual b=13.0,G=60.0",
"error": 6.821134709103844e-13,
"tolerance": 4e-11,
"passed": true
},
{
"name": "remaining infinite tower bound b=13.0,G=60.0",
"error": 1.0255392133754728e-97,
"tolerance": 1e-09,
"passed": true
},
{
"name": "normal tower independent extension b=35.0,G=60.0",
"error": 0.0,
"tolerance": 4e-10,
"passed": true
},
{
"name": "full singular residual b=35.0,G=60.0",
"error": 4.547542793182336e-13,
"tolerance": 4e-11,
"passed": true
},
{
"name": "remaining infinite tower bound b=35.0,G=60.0",
"error": 7.676999548248155e-104,
"tolerance": 1e-09,
"passed": true
}
],
"results": [
{
"kind": "finite chain",
"offset": 1.0,
"coupling": 4.0,
"count": 6,
"log_frequency": -3.0472580993325433,
"product_log": -2.7459664649803748,
"omitted_normal_source": 5.307799000033216
},
{
"kind": "finite chain",
"offset": 3.0,
"coupling": 4.0,
"count": 12,
"log_frequency": -0.9874105058956865,
"product_log": 0.4976821069229995,
"omitted_normal_source": 3.2947745231707524
},
{
"kind": "finite chain",
"offset": 13.0,
"coupling": 4.0,
"count": 20,
"log_frequency": 2.2166674731364013,
"product_log": 15.561210005575472,
"omitted_normal_source": 0.039151350629703166
},
{
"kind": "finite chain",
"offset": 35.0,
"coupling": 4.0,
"count": 40,
"log_frequency": 3.4359157123137045,
"product_log": 51.61072633999171,
"omitted_normal_source": 3.3360938794666994e-09
},
{
"kind": "finite chain",
"offset": 13.0,
"coupling": 10000.0,
"count": 6,
"log_frequency": -32.03721818790103,
"product_log": -32.037217018900776,
"omitted_normal_source": 17320.502463842877
},
{
"kind": "finite chain",
"offset": 35.0,
"coupling": 10000.0,
"count": 6,
"log_frequency": -26.70564328371792,
"product_log": -26.70563555871222,
"omitted_normal_source": 17320.48036283696
},
{
"kind": "restored normal tower",
"offset": 1.0,
"coupling": 4.0,
"count": 196,
"log_frequency": -5.297248346131835,
"asymptotic_log": -5.227411277760218,
"log_frequency_error_bound": 3.12155169549566e-11,
"relative_cross_bound": 7.901331143111798e-06,
"relative_tail_bound": 3.551689115793008e-05,
"tail_coercivity": 140.9286623047636,
"left_mean_degree": 13.92080828043469,
"right_mean_degree": 0.07935226785014379
},
{
"kind": "restored normal tower",
"offset": 3.0,
"coupling": 10.0,
"count": 400,
"log_frequency": -36.970999390376306,
"asymptotic_log": -36.87763662259567,
"log_frequency_error_bound": 1.0370291401012918e-38,
"relative_cross_bound": 1.4401591162793726e-19,
"relative_tail_bound": 4.329824309712833e-19,
"tail_coercivity": 202.87507802749604,
"left_mean_degree": 93.90304192895373,
"right_mean_degree": 0.09695807104662867
},
{
"kind": "restored normal tower",
"offset": 13.0,
"coupling": 10.0,
"count": 400,
"log_frequency": -12.113817578339322,
"asymptotic_log": -10.12000207781669,
"log_frequency_error_bound": 3.5504076827411815e-17,
"relative_cross_bound": 8.426633589685953e-09,
"relative_tail_bound": 2.5757935466308185e-08,
"tail_coercivity": 212.87507802749604,
"left_mean_degree": 71.5890782955195,
"right_mean_degree": 2.410921704585332
},
{
"kind": "restored normal tower",
"offset": 13.0,
"coupling": 30.0,
"count": 1600,
"log_frequency": -381.74675090160486,
"asymptotic_log": -381.5560825724458,
"log_frequency_error_bound": 4.1774644484329485e-105,
"relative_cross_bound": 9.140530015740825e-53,
"relative_tail_bound": 3.9240969515531665e-169,
"tail_coercivity": 412.81252928772346,
"left_mean_degree": 873.8063647348803,
"right_mean_degree": 0.1936352651244785
},
{
"kind": "restored normal tower",
"offset": 35.0,
"coupling": 30.0,
"count": 1600,
"log_frequency": -301.915688801377,
"asymptotic_log": -300.49701082584676,
"log_frequency_error_bound": 6.146323895892186e-117,
"relative_cross_bound": 1.1087221379491063e-58,
"relative_tail_bound": 1.7433328092446033e-134,
"tail_coercivity": 434.81252928772346,
"left_mean_degree": 828.5195117459168,
"right_mean_degree": 1.4804882541061353
},
{
"kind": "restored normal tower",
"offset": 13.0,
"coupling": 60.0,
"count": 4900,
"log_frequency": -1713.581377489989,
"asymptotic_log": -1713.5342558778873,
"log_frequency_error_bound": 1.0255392133754728e-97,
"relative_cross_bound": 4.528883335603762e-49,
"relative_tail_bound": 0.0,
"tail_coercivity": 712.7857252175436,
"left_mean_degree": 3573.952700084443,
"right_mean_degree": 0.04729991496690445
},
{
"kind": "restored normal tower",
"offset": 35.0,
"coupling": 60.0,
"count": 4900,
"log_frequency": -1602.3203981321085,
"asymptotic_log": -1601.9767081866507,
"log_frequency_error_bound": 7.676999548248155e-104,
"relative_cross_bound": 3.918417932852022e-52,
"relative_tail_bound": 0.0,
"tail_coercivity": 734.7857252175436,
"left_mean_degree": 3529.6528400179795,
"right_mean_degree": 0.34715998253443825
},
{
"kind": "cutoff scan",
"offset": 13.0,
"coupling": 30.0,
"count": 6,
"log_frequency": -3.1245754650688977
},
{
"kind": "cutoff scan",
"offset": 13.0,
"coupling": 30.0,
"count": 7,
"log_frequency": -4.4742807685618
},
{
"kind": "cutoff scan",
"offset": 13.0,
"coupling": 30.0,
"count": 8,
"log_frequency": -5.850820908263378
},
{
"kind": "cutoff scan",
"offset": 13.0,
"coupling": 30.0,
"count": 10,
"log_frequency": -8.653916360656996
},
{
"kind": "cutoff scan",
"offset": 13.0,
"coupling": 30.0,
"count": 20,
"log_frequency": -22.848138165359295
},
{
"kind": "cutoff scan",
"offset": 13.0,
"coupling": 30.0,
"count": 50,
"log_frequency": -62.20345723600871
},
{
"kind": "cutoff scan",
"offset": 13.0,
"coupling": 30.0,
"count": 100,
"log_frequency": -116.6931511709185
},
{
"kind": "cutoff scan",
"offset": 13.0,
"coupling": 30.0,
"count": 500,
"log_frequency": -334.21383858530294
},
{
"kind": "cutoff scan",
"offset": 13.0,
"coupling": 30.0,
"count": 1600,
"log_frequency": -381.74675090160486
},
{
"kind": "cutoff scan",
"offset": 35.0,
"coupling": 30.0,
"count": 6,
"log_frequency": 1.4117577074266723
},
{
"kind": "cutoff scan",
"offset": 35.0,
"coupling": 30.0,
"count": 7,
"log_frequency": 0.8519250230156825
},
{
"kind": "cutoff scan",
"offset": 35.0,
"coupling": 30.0,
"count": 8,
"log_frequency": 0.2379786134149564
},
{
"kind": "cutoff scan",
"offset": 35.0,
"coupling": 30.0,
"count": 10,
"log_frequency": -1.1255285437392324
},
{
"kind": "cutoff scan",
"offset": 35.0,
"coupling": 30.0,
"count": 20,
"log_frequency": -9.356600411985783
},
{
"kind": "cutoff scan",
"offset": 35.0,
"coupling": 30.0,
"count": 50,
"log_frequency": -36.99487706786583
},
{
"kind": "cutoff scan",
"offset": 35.0,
"coupling": 30.0,
"count": 100,
"log_frequency": -80.00917032378743
},
{
"kind": "cutoff scan",
"offset": 35.0,
"coupling": 30.0,
"count": 500,
"log_frequency": -265.75618999903696
},
{
"kind": "cutoff scan",
"offset": 35.0,
"coupling": 30.0,
"count": 1600,
"log_frequency": -301.915688801377
}
],
"raw_data": {
"path": "normal-oscillator-carrier-20260914T015610_251309Z.npz",
"sha256": "97bf32ced7cb785d5a23a0315478a29420c50001d75564a3d8d9a5b7c7d0ece5"
},
"sources": {
"normal_oscillator_carrier.py": "40e49c61843556f643bc8a601bf3a2443d802dfa60b38ac6c92dff12289c273d",
"normal_oscillator_carrier_checks.py": "138f09c750db492d24bdfa3b63ad44923df1ea4bfdc2f2cc2bc8b9c196f6e23b"
}
}