{
  "entry": {
    "theory": "compact U(N)_k x U(N)_(-k), round, undeformed, fixed finite N and k",
    "level": 1,
    "digits": 50,
    "prescription": "positive Gaussian Abel damping, then epsilon -> 0",
    "direct_N1": {
      "limit": "0.25",
      "finite_epsilon": [
        {
          "epsilon": "0.1",
          "Z1_regulated": "0.2288487331087065364387",
          "relative_regulator_bias": "0.08460506756517385424522",
          "bias_upper_bound": "0.1005066059182116888572"
        },
        {
          "epsilon": "0.03",
          "Z1_regulated": "0.2429049864032364182351",
          "relative_regulator_bias": "0.02838005438705432705962",
          "bias_upper_bound": "0.03004559453263905199715"
        },
        {
          "epsilon": "0.01",
          "Z1_regulated": "0.2475474030824184652186",
          "relative_regulator_bias": "0.009810387670326139125602",
          "bias_upper_bound": "0.01000506605918211688857"
        }
      ],
      "precision_repeat_difference": "1.720968456671119420453e-53"
    },
    "spectral_checks": null,
    "checks_pass": true
  },
  "spectral": {
    "theory": "compact U(N)_k x U(N)_(-k), round, undeformed, fixed finite N and k",
    "level": 1,
    "digits": 50,
    "prescription": "positive Gaussian Abel damping, then epsilon -> 0",
    "direct_N1": {
      "limit": "0.25",
      "finite_epsilon": [
        {
          "epsilon": "0.1",
          "Z1_regulated": "0.2288487331087065364387",
          "relative_regulator_bias": "0.08460506756517385424522",
          "bias_upper_bound": "0.1005066059182116888572"
        },
        {
          "epsilon": "0.03",
          "Z1_regulated": "0.2429049864032364182351",
          "relative_regulator_bias": "0.02838005438705432705962",
          "bias_upper_bound": "0.03004559453263905199715"
        },
        {
          "epsilon": "0.01",
          "Z1_regulated": "0.2475474030824184652186",
          "relative_regulator_bias": "0.009810387670326139125602",
          "bias_upper_bound": "0.01000506605918211688857"
        }
      ],
      "precision_repeat_difference": "1.720968456671119420453e-53"
    },
    "spectral_checks": {
      "measure": "L2(R, dx), hbar=2*pi*k; rho is not trace normalized",
      "trace1_exact": "0.25",
      "trace2": "0.02271126422702616605778",
      "Z2_positive_integral": "0.01989436788648691697111",
      "analytic_Z2": "0.01989436788648691697111",
      "precision_repeat_difference": "2.204362269845304527969e-53",
      "difference_cutoffs": [
        {
          "D": 16,
          "truncated_Z2": "0.0198178915857702728582",
          "actual_omission": "0.00007647630071664411290925",
          "tail_bound": "0.00007647631729169188453466"
        },
        {
          "D": 32,
          "truncated_Z2": "0.01989431942714922517307",
          "actual_omission": "4.845933769179804411269e-8",
          "tail_bound": "4.845933769179924744028e-8"
        },
        {
          "D": 64,
          "truncated_Z2": "0.0198943678864763309981",
          "actual_omission": "1.058597300703309129409e-14",
          "tail_bound": "1.058597300703309129409e-14"
        }
      ],
      "finite_box_kernel_checks": [
        {
          "L": 16,
          "nodes": 32,
          "trace1": "0.2498901173203371980736",
          "trace2": "0.0227148476453891148087",
          "kernel_Z2": "0.01986511154449138705302",
          "quadrature_error_vs_same_box": "0.0000025741005456097799864",
          "box_Z2": "0.01986768564503699683301",
          "box_omission": "0.00002668224144992013810541",
          "box_omission_bound": "0.00002668956562713123413074",
          "trace_vs_pair_roundoff": "1.670477943807622278838e-52"
        },
        {
          "L": 16,
          "nodes": 64,
          "trace1": "0.2498932189213803947875",
          "trace2": "0.02271124960902903995349",
          "kernel_Z2": "0.01986768562692995430329",
          "quadrature_error_vs_same_box": "1.810704252971811248364e-11",
          "box_Z2": "0.01986768564503699683301",
          "box_omission": "0.00002668224144992013810541",
          "box_omission_bound": "0.00002668956562713123413074",
          "trace_vs_pair_roundoff": "8.770009204990016963899e-52"
        },
        {
          "L": 16,
          "nodes": 128,
          "trace1": "0.2498932189330989780222",
          "trace2": "0.02271124957867174386651",
          "kernel_Z2": "0.01986768564503699683257",
          "quadrature_error_vs_same_box": "4.322313600361120598886e-22",
          "box_Z2": "0.01986768564503699683301",
          "box_omission": "0.00002668224144992013810541",
          "box_omission_bound": "0.00002668956562713123413074",
          "trace_vs_pair_roundoff": "1.002286766284573367303e-51"
        },
        {
          "L": 24,
          "nodes": 32,
          "trace1": "0.2497916188537530654909",
          "trace2": "0.02284589273033132280661",
          "kernel_Z2": "0.01977498005962366056257",
          "quadrature_error_vs_same_box": "0.0001188988903503552768343",
          "box_Z2": "0.01989387894997401583941",
          "box_omission": "4.889365129011317030339e-7",
          "box_omission_bound": "4.889389712075809163943e-7",
          "trace_vs_pair_roundoff": "3.340955887615244557676e-52"
        },
        {
          "L": 24,
          "nodes": 64,
          "trace1": "0.2499979955910674499269",
          "trace2": "0.0227113543957568738177",
          "kernel_Z2": "0.01989382170189725315732",
          "quadrature_error_vs_same_box": "5.724807676268208322371e-8",
          "box_Z2": "0.01989387894997401583941",
          "box_omission": "4.889365129011317030339e-7",
          "box_omission_bound": "4.889389712075809163943e-7",
          "trace_vs_pair_roundoff": "9.187628690941922533608e-52"
        },
        {
          "L": 24,
          "nodes": 128,
          "trace1": "0.2499980442364624493152",
          "trace2": "0.02271126422212042467342",
          "kernel_Z2": "0.01989387894996790549949",
          "quadrature_error_vs_same_box": "6.110339919225351255341e-15",
          "box_Z2": "0.01989387894997401583941",
          "box_omission": "4.889365129011317030339e-7",
          "box_omission_bound": "4.889389712075809163943e-7",
          "trace_vs_pair_roundoff": "2.380431069925861747344e-51"
        },
        {
          "L": 32,
          "nodes": 32,
          "trace1": "0.2482939844592282416501",
          "trace2": "0.02330721932703425038222",
          "kernel_Z2": "0.01917134169580261259897",
          "quadrature_error_vs_same_box": "0.0007230172354211064842594",
          "box_Z2": "0.01989435893122371908322",
          "box_omission": "8.955263197887885654938e-9",
          "box_omission_bound": "8.955264022565932077638e-9",
          "trace_vs_pair_roundoff": "3.758575373567150127385e-52"
        },
        {
          "L": 32,
          "nodes": 64,
          "trace1": "0.2499967394798284447964",
          "trace2": "0.02271545603175661390062",
          "kernel_Z2": "0.01989145685939430014336",
          "quadrature_error_vs_same_box": "0.000002902071829418939868919",
          "box_Z2": "0.01989435893122371908322",
          "box_omission": "8.955263197887885654938e-9",
          "box_omission_bound": "8.955264022565932077638e-9",
          "trace_vs_pair_roundoff": "8.352389719038111394189e-53"
        },
        {
          "L": 32,
          "nodes": 128,
          "trace1": "0.249999964167465196412",
          "trace2": "0.02271126426296662138817",
          "kernel_Z2": "0.01989435891038363039418",
          "quadrature_error_vs_same_box": "2.084008868904463112894e-11",
          "box_Z2": "0.01989435893122371908322",
          "box_omission": "8.955263197887885654938e-9",
          "box_omission_bound": "8.955264022565932077638e-9",
          "trace_vs_pair_roundoff": "2.923336401663338987966e-52"
        }
      ],
      "mode": "fermionic exchange included",
      "reported_Z2": "0.01989436788648691697111",
      "intentional_error_detected": false
    },
    "checks_pass": true
  }
}