Recorded data and provenance for the associated calculation.

Download recorded JSON

timestamp20260914T140452_065760Z
scopeIndependent checks of the linked, bounded normal operator and simplex branch.
passedtrue
View complete data
{
  "timestamp": "20260914T140452_065760Z",
  "scope": "Independent checks of the linked, bounded normal operator and simplex branch.",
  "passed": true,
  "checks": [
    {
      "name": "radial profile residual n3",
      "error": 9.965608716151072e-10,
      "tolerance": 1.2e-09,
      "passed": true
    },
    {
      "name": "complete square positive constant n3",
      "error": 2.220446049250313e-16,
      "tolerance": 4e-15,
      "passed": true
    },
    {
      "name": "off-diagonal square cancellation n3",
      "error": 0.0,
      "tolerance": 4e-15,
      "passed": true
    },
    {
      "name": "finite geometric integral n3",
      "error": 3.4193758935430196e-11,
      "tolerance": 2e-09,
      "passed": true
    },
    {
      "name": "refined actual hopping n3",
      "error": 1.3722356584366935e-13,
      "tolerance": 3e-09,
      "passed": true
    },
    {
      "name": "refined actual radii n3",
      "error": 2.648659069848236e-12,
      "tolerance": 3e-09,
      "passed": true
    },
    {
      "name": "all canonical norms n3",
      "error": 2.220446049250313e-16,
      "tolerance": 3e-13,
      "passed": true
    },
    {
      "name": "exact weighted polarization n3",
      "error": 9.766476516404055e-11,
      "tolerance": 1e-09,
      "passed": true
    },
    {
      "name": "zero projected covariant momentum n3",
      "error": 3.765557310408951e-11,
      "tolerance": 2e-10,
      "passed": true
    },
    {
      "name": "canonical momentum distinct n3",
      "error": 0.0,
      "tolerance": 1e-15,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n3,l0,point0",
      "error": 8.906303015898928e-12,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n3,l0,point0",
      "error": 5.189214608238071e-12,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n3,l0,point1",
      "error": 4.545285366208619e-12,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n3,l0,point1",
      "error": 6.30657764215528e-12,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n3,l0,point2",
      "error": 1.1270443679306e-11,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n3,l0,point2",
      "error": 2.8519220648766867e-11,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n3,l0,point3",
      "error": 1.1569657966110371e-11,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n3,l0,point3",
      "error": 4.4320939415782685e-11,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n3,l1,point0",
      "error": 5.651391593554446e-12,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n3,l1,point0",
      "error": 2.7455806620568898e-12,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n3,l1,point1",
      "error": 1.0677222945239506e-11,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n3,l1,point1",
      "error": 1.3898994554784425e-11,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n3,l1,point2",
      "error": 4.122338580365848e-12,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n3,l1,point2",
      "error": 9.907132926001856e-12,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n3,l1,point3",
      "error": 4.215356094872052e-12,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n3,l1,point3",
      "error": 1.598127177134382e-11,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n3,l2,point0",
      "error": 8.906303015898928e-12,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n3,l2,point0",
      "error": 5.189214608238071e-12,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n3,l2,point1",
      "error": 4.545285366208619e-12,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n3,l2,point1",
      "error": 6.30657764215528e-12,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n3,l2,point2",
      "error": 1.1270443679306e-11,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n3,l2,point2",
      "error": 2.8519220648766867e-11,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n3,l2,point3",
      "error": 1.1569657966110371e-11,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n3,l2,point3",
      "error": 4.4320939415782685e-11,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full positive-chiral square n3,point0",
      "error": 1.0329529194237914e-09,
      "tolerance": 8e-07,
      "passed": true
    },
    {
      "name": "full positive-chiral square n3,point1",
      "error": 1.260861343040821e-09,
      "tolerance": 8e-07,
      "passed": true
    },
    {
      "name": "full positive-chiral square n3,point2",
      "error": 1.0852184113294263e-09,
      "tolerance": 8e-07,
      "passed": true
    },
    {
      "name": "exact assigned simplex numerator n3,beta2.0",
      "error": 0.0,
      "tolerance": 2e-15,
      "passed": true
    },
    {
      "name": "full high precision projected frequency n3,beta2.0",
      "error": 2.7921142145376415e-16,
      "tolerance": 5e-13,
      "passed": true
    },
    {
      "name": "finite hopping correction order n3,beta2.0",
      "error": 1.2817963024325252e-08,
      "tolerance": 5e-05,
      "passed": true
    },
    {
      "name": "full complementary gap controls the branch n3,beta2.0",
      "error": 7.860295211632466e-34,
      "tolerance": 1e-17,
      "passed": true
    },
    {
      "name": "exact assigned simplex numerator n3,beta5.0",
      "error": 0.0,
      "tolerance": 2e-15,
      "passed": true
    },
    {
      "name": "full high precision projected frequency n3,beta5.0",
      "error": 1.3031350099351408e-16,
      "tolerance": 5e-13,
      "passed": true
    },
    {
      "name": "finite hopping correction order n3,beta5.0",
      "error": 1.1872210770036418e-08,
      "tolerance": 5e-05,
      "passed": true
    },
    {
      "name": "full complementary gap controls the branch n3,beta5.0",
      "error": 3.931327931545802e-35,
      "tolerance": 1e-17,
      "passed": true
    },
    {
      "name": "exact assigned simplex numerator n3,beta17.0",
      "error": 0.0,
      "tolerance": 2e-15,
      "passed": true
    },
    {
      "name": "full high precision projected frequency n3,beta17.0",
      "error": 1.2872758959743936e-16,
      "tolerance": 5e-13,
      "passed": true
    },
    {
      "name": "finite hopping correction order n3,beta17.0",
      "error": 1.1974557456717605e-08,
      "tolerance": 5e-05,
      "passed": true
    },
    {
      "name": "full complementary gap controls the branch n3,beta17.0",
      "error": 9.647216459894563e-37,
      "tolerance": 1e-17,
      "passed": true
    },
    {
      "name": "exact assigned simplex numerator n3,beta18.0",
      "error": 0.0,
      "tolerance": 2e-15,
      "passed": true
    },
    {
      "name": "full high precision projected frequency n3,beta18.0",
      "error": 1.908864226036108e-16,
      "tolerance": 5e-13,
      "passed": true
    },
    {
      "name": "finite hopping correction order n3,beta18.0",
      "error": 1.1976847236194743e-08,
      "tolerance": 5e-05,
      "passed": true
    },
    {
      "name": "full complementary gap controls the branch n3,beta18.0",
      "error": 8.124788662519344e-37,
      "tolerance": 1e-17,
      "passed": true
    },
    {
      "name": "radial profile residual n4",
      "error": 9.98984908217898e-10,
      "tolerance": 1.2e-09,
      "passed": true
    },
    {
      "name": "complete square positive constant n4",
      "error": 2.220446049250313e-16,
      "tolerance": 4e-15,
      "passed": true
    },
    {
      "name": "off-diagonal square cancellation n4",
      "error": 0.0,
      "tolerance": 4e-15,
      "passed": true
    },
    {
      "name": "finite geometric integral n4",
      "error": 2.5629387501169276e-11,
      "tolerance": 2e-09,
      "passed": true
    },
    {
      "name": "refined actual hopping n4",
      "error": 4.898303984646191e-13,
      "tolerance": 3e-09,
      "passed": true
    },
    {
      "name": "refined actual radii n4",
      "error": 2.5052182550666657e-12,
      "tolerance": 3e-09,
      "passed": true
    },
    {
      "name": "all canonical norms n4",
      "error": 2.220446049250313e-16,
      "tolerance": 3e-13,
      "passed": true
    },
    {
      "name": "exact weighted polarization n4",
      "error": 9.867306971500511e-11,
      "tolerance": 1e-09,
      "passed": true
    },
    {
      "name": "zero projected covariant momentum n4",
      "error": 3.600494902222806e-11,
      "tolerance": 2e-10,
      "passed": true
    },
    {
      "name": "canonical momentum distinct n4",
      "error": 0.0,
      "tolerance": 1e-15,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n4,l0,point0",
      "error": 1.21587119919719e-11,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n4,l0,point0",
      "error": 6.2109917446339955e-12,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n4,l0,point1",
      "error": 1.1555906332660229e-11,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n4,l0,point1",
      "error": 1.4420180496635841e-11,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n4,l0,point2",
      "error": 7.512297949093766e-12,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n4,l0,point2",
      "error": 1.5966588040733148e-11,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n4,l0,point3",
      "error": 1.2340420307968366e-11,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n4,l0,point3",
      "error": 4.5809194873695164e-11,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n4,l1,point0",
      "error": 1.7330058296465765e-11,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n4,l1,point0",
      "error": 8.197018777962588e-12,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n4,l1,point1",
      "error": 7.312584047809891e-12,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n4,l1,point1",
      "error": 8.393288031560762e-12,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n4,l1,point2",
      "error": 7.760177601094255e-12,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n4,l1,point2",
      "error": 2.0448152410458165e-11,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n4,l1,point3",
      "error": 1.6946974080953515e-11,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n4,l1,point3",
      "error": 6.571561475455566e-11,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n4,l2,point0",
      "error": 1.7330058296465765e-11,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n4,l2,point0",
      "error": 8.197018777962588e-12,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n4,l2,point1",
      "error": 7.312584047809891e-12,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n4,l2,point1",
      "error": 8.393288031560762e-12,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n4,l2,point2",
      "error": 7.760177601094255e-12,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n4,l2,point2",
      "error": 2.0448152410458165e-11,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n4,l2,point3",
      "error": 1.6946974080953515e-11,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n4,l2,point3",
      "error": 6.571561475455566e-11,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n4,l3,point0",
      "error": 1.21587119919719e-11,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n4,l3,point0",
      "error": 6.2109917446339955e-12,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n4,l3,point1",
      "error": 1.1555906332660229e-11,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n4,l3,point1",
      "error": 1.4420180496635841e-11,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n4,l3,point2",
      "error": 7.512297949093766e-12,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n4,l3,point2",
      "error": 1.5966588040733148e-11,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full Cartesian Dirac zero n4,l3,point3",
      "error": 1.2340420307968366e-11,
      "tolerance": 2e-08,
      "passed": true
    },
    {
      "name": "full weighted source inverse n4,l3,point3",
      "error": 4.5809194873695164e-11,
      "tolerance": 3e-08,
      "passed": true
    },
    {
      "name": "full positive-chiral square n4,point0",
      "error": 1.3537683609941587e-09,
      "tolerance": 8e-07,
      "passed": true
    },
    {
      "name": "full positive-chiral square n4,point1",
      "error": 1.1266088340702986e-09,
      "tolerance": 8e-07,
      "passed": true
    },
    {
      "name": "full positive-chiral square n4,point2",
      "error": 1.0725781252725648e-09,
      "tolerance": 8e-07,
      "passed": true
    },
    {
      "name": "exact assigned simplex numerator n4,beta4.5",
      "error": 0.0,
      "tolerance": 2e-15,
      "passed": true
    },
    {
      "name": "full high precision projected frequency n4,beta4.5",
      "error": 2.7274798279008104e-18,
      "tolerance": 5e-13,
      "passed": true
    },
    {
      "name": "finite hopping correction order n4,beta4.5",
      "error": 2.9918616306634505e-08,
      "tolerance": 5e-05,
      "passed": true
    },
    {
      "name": "full complementary gap controls the branch n4,beta4.5",
      "error": 1.0746657457574343e-31,
      "tolerance": 1e-17,
      "passed": true
    },
    {
      "name": "exact assigned simplex numerator n4,beta21.5",
      "error": 0.0,
      "tolerance": 2e-15,
      "passed": true
    },
    {
      "name": "full high precision projected frequency n4,beta21.5",
      "error": 1.0887221871397859e-16,
      "tolerance": 5e-13,
      "passed": true
    },
    {
      "name": "finite hopping correction order n4,beta21.5",
      "error": 3.5397068021136846e-07,
      "tolerance": 5e-05,
      "passed": true
    },
    {
      "name": "full complementary gap controls the branch n4,beta21.5",
      "error": 1.8235477677584323e-34,
      "tolerance": 1e-17,
      "passed": true
    },
    {
      "name": "exact assigned simplex numerator n4,beta73.5",
      "error": 0.0,
      "tolerance": 2e-15,
      "passed": true
    },
    {
      "name": "full high precision projected frequency n4,beta73.5",
      "error": 1.1235743246323803e-16,
      "tolerance": 5e-13,
      "passed": true
    },
    {
      "name": "finite hopping correction order n4,beta73.5",
      "error": 3.969315201302059e-06,
      "tolerance": 5e-05,
      "passed": true
    },
    {
      "name": "full complementary gap controls the branch n4,beta73.5",
      "error": 1.335546920439185e-36,
      "tolerance": 1e-17,
      "passed": true
    }
  ],
  "results": [
    {
      "label": "down",
      "particle_index": 1,
      "degree": 0,
      "surface_degree": 2,
      "beta": 2.0,
      "simplex_count": 1,
      "role": "assigned mode",
      "winding": 3,
      "frequency": 1.2732348761502636e-07,
      "leading_frequency": 1.2732350112442062e-07,
      "finite_hopping_relative": -1.0610291212298506e-07,
      "whole_complement_bound": 1.0008002000287372e-40,
      "normal_gap_lower_bound": 1.0,
      "hopping": 10000.0,
      "normal_frequency_ratio": 1e+26
    },
    {
      "label": "strange",
      "particle_index": 4,
      "degree": 3,
      "surface_degree": 5,
      "beta": 5.0,
      "simplex_count": 20,
      "role": "assigned mode",
      "winding": 3,
      "frequency": 2.546468617511424e-06,
      "leading_frequency": 2.5464700224884123e-06,
      "finite_hopping_relative": -5.51735137577225e-07,
      "whole_complement_bound": 1.0011003202827486e-40,
      "normal_gap_lower_bound": 1.0,
      "hopping": 10000.0,
      "normal_frequency_ratio": 1e+26
    },
    {
      "label": "bottom lower component",
      "particle_index": 16,
      "degree": 15,
      "surface_degree": 17,
      "beta": 17.0,
      "simplex_count": 816,
      "role": "component",
      "winding": 3,
      "frequency": 0.00010389533754492374,
      "leading_frequency": 0.00010389597691752723,
      "finite_hopping_relative": -6.1539688297473916e-06,
      "whole_complement_bound": 1.00230081046969e-40,
      "normal_gap_lower_bound": 1.0,
      "hopping": 10000.0,
      "normal_frequency_ratio": 1e+26
    },
    {
      "label": "bottom upper component",
      "particle_index": 17,
      "degree": 16,
      "surface_degree": 18,
      "beta": 18.0,
      "simplex_count": 969,
      "role": "component",
      "winding": 3,
      "frequency": 0.00012337562170037687,
      "leading_frequency": 0.00012337647258956359,
      "finite_hopping_relative": -6.896689205504458e-06,
      "whole_complement_bound": 1.0024008524224976e-40,
      "normal_gap_lower_bound": 1.0,
      "hopping": 10000.0,
      "normal_frequency_ratio": 1e+26
    },
    {
      "winding": 3,
      "weighted_polarization": [
        1.9999999999023352,
        0.0,
        -1.9999999999023352
      ],
      "unweighted_polarization": [
        0.6757812101608269,
        0.0,
        -0.6757812101608269
      ],
      "hoppings": [
        0.6864696467692722,
        0.6864696467692722
      ],
      "mean_squared_radii": [
        1.9782935884679993,
        2.8642389531014993,
        1.9782935884679993
      ],
      "geometric_integral": 18.849555920894222
    },
    {
      "label": "up",
      "particle_index": 3,
      "degree": 2,
      "surface_degree": 4,
      "beta": 4.5,
      "simplex_count": 15,
      "role": "assigned mode",
      "winding": 4,
      "frequency": 9.316388993474318e-10,
      "leading_frequency": 9.316393237109464e-10,
      "finite_hopping_relative": -4.5550193494836577e-07,
      "whole_complement_bound": 1.001200412543843e-40,
      "normal_gap_lower_bound": 1.0,
      "hopping": 10000.0,
      "normal_frequency_ratio": 1e+26
    },
    {
      "label": "charm",
      "particle_index": 20,
      "degree": 19,
      "surface_degree": 21,
      "beta": 21.5,
      "simplex_count": 8855,
      "role": "assigned mode",
      "winding": 4,
      "frequency": 5.499725756774803e-07,
      "leading_frequency": 5.499777474306953e-07,
      "finite_hopping_relative": -9.40356812451082e-06,
      "whole_complement_bound": 1.0029012627050247e-40,
      "normal_gap_lower_bound": 1.0,
      "hopping": 10000.0,
      "normal_frequency_ratio": 1e+26
    },
    {
      "label": "top",
      "particle_index": 72,
      "degree": 71,
      "surface_degree": 73,
      "beta": 73.5,
      "simplex_count": 1215450,
      "role": "assigned mode",
      "winding": 4,
      "frequency": 7.54824750144693e-05,
      "leading_frequency": 7.549073440029798e-05,
      "finite_hopping_relative": -0.00010940926584301902,
      "whole_complement_bound": 1.0081038705270219e-40,
      "normal_gap_lower_bound": 1.0,
      "hopping": 10000.0,
      "normal_frequency_ratio": 1e+26
    },
    {
      "winding": 4,
      "weighted_polarization": [
        2.999999999901327,
        0.999999999999138,
        -0.999999999999138,
        -2.999999999901327
      ],
      "unweighted_polarization": [
        0.8134196351715749,
        0.32169562945733166,
        -0.32169562945733166,
        -0.8134196351715749
      ],
      "hoppings": [
        0.7028232366561561,
        0.7822804303624357,
        0.7028232366561561
      ],
      "mean_squared_radii": [
        2.055031106477479,
        3.5119979456804664,
        3.5119979456804664,
        2.055031106477479
      ],
      "geometric_integral": 25.13274122807421
    }
  ],
  "sources": {
    "experiments/mass_operator_sectors.py": "c61bc3b54dd0807c6b457217038dc171756aca07b96f655f5ca7dfc1af50ffbe",
    "experiments/connected_normal_profile.py": "3a33251acb55326386e70a9386022bd786fb6551c8b3db5169c59c63124864a6",
    "experiments/connected_normal_carrier.py": "4ab332d22723a9bd822c07365fe5fe4b45117ebd552ade405df0cf66c477f479",
    "experiments/connected_normal_checks.py": "9a3402bedbd4a9aa592c301e5cfbaec4754513410e020bfb9f133f325e28f783",
    "experiments/bounded_radial_carrier.py": "efa816058bac9140f2db8ef56d5461eb904edfa1f561f24df49bb4def5032a66",
    "experiments/holomorphic_normal_dirac.py": "cbad4bac29e247f7949392bee2c86100d7196c8dcf4b8c6be19e1c4d226bc7b8"
  },
  "raw_data": {
    "path": "connected-normal-20260914T140452_065760Z.npz",
    "sha256": "5abf205189c891f52d55f067f7445e4551701f8ba8c7bdd59e99b2b0708a8e7b"
  }
}