{
  "seed": 2273,
  "system": {
    "damping": 0.08,
    "omega": 1.7
  },
  "checks": [
    {
      "prediction": "row append monotonicity for every greedy step",
      "observed_min_increment": 0.05012270163246657,
      "predicted": ">= 0",
      "confirmed": true
    },
    {
      "prediction": "first greedy delay follows quarter-period pi/(2 omega)",
      "sweep": [
        {
          "omega": 0.8,
          "predicted_quarter": 1.9634954084936207,
          "observed_first_delay": 1.925,
          "absolute_error": 0.03849540849362065
        },
        {
          "omega": 1.2,
          "predicted_quarter": 1.3089969389957472,
          "observed_first_delay": 1.3,
          "absolute_error": 0.008996938995747161
        },
        {
          "omega": 1.7,
          "predicted_quarter": 0.9239978392911157,
          "observed_first_delay": 0.925,
          "absolute_error": 0.0010021607088843698
        },
        {
          "omega": 2.4,
          "predicted_quarter": 0.6544984694978736,
          "observed_first_delay": 0.65,
          "absolute_error": 0.004498469497873581
        },
        {
          "omega": 3.2,
          "predicted_quarter": 0.4908738521234052,
          "observed_first_delay": 0.5,
          "absolute_error": 0.009126147876594826
        }
      ],
      "max_absolute_error": 0.03849540849362065,
      "confirmed": true
    },
    {
      "prediction": "reconstruction MSE scales as noise_std^2 / sigma_min^2",
      "sigma_min": 1.3123656942179904,
      "sweep": [
        {
          "noise_std": 0.005,
          "mse": 1.3435098455955322e-05,
          "mse_over_noise2": 0.5374039382382129
        },
        {
          "noise_std": 0.01,
          "mse": 5.374039382382127e-05,
          "mse_over_noise2": 0.5374039382382126
        },
        {
          "noise_std": 0.02,
          "mse": 0.00021496157529528516,
          "mse_over_noise2": 0.5374039382382129
        },
        {
          "noise_std": 0.04,
          "mse": 0.0008598463011811406,
          "mse_over_noise2": 0.5374039382382129
        },
        {
          "noise_std": 0.08,
          "mse": 0.0034393852047245625,
          "mse_over_noise2": 0.5374039382382129
        }
      ],
      "ratio_cv": 2.065900425413393e-16,
      "confirmed": true
    },
    {
      "prediction": "error decreases with inverse stable margin squared",
      "budgets": [
        2,
        3,
        4,
        5,
        6,
        7,
        8
      ],
      "sigma_min": [
        0.9286618982869199,
        0.9999981654863984,
        1.3123656942179904,
        1.4152377515213008,
        1.6045106810965364,
        1.654633382729003,
        1.7911640591219735
      ],
      "mse": [
        0.0009761999609550052,
        0.0007103223956705314,
        0.0004836635444143915,
        0.0004018281999065243,
        0.0003398107780704359,
        0.000305969145626614,
        0.00027899835582955183
      ],
      "inv_sigma2": [
        1.1595373576462789,
        1.0000036690362994,
        0.5806176872760455,
        0.49927657487141136,
        0.3884317978804354,
        0.36525522376653485,
        0.31169459221051166
      ],
      "correlation": 0.9857708001776943,
      "confirmed": true
    }
  ],
  "comparison": [
    {
      "budget": 4,
      "greedy_delays": [
        0.0,
        0.925,
        0.9109173514943193,
        0.01
      ],
      "uniform_delays": [
        0.0,
        1.3333333333333333,
        2.6666666666666665,
        4.0
      ],
      "greedy_sigma_min": 1.3123656942179904,
      "uniform_sigma_min": 1.1092579943318386,
      "greedy_mse": 0.0004836635444143915,
      "uniform_mse": 0.0006178467881762747
    },
    {
      "budget": 8,
      "greedy_delays": [
        0.0,
        0.925,
        0.9109173514943193,
        0.01,
        1.0,
        1.925,
        2.85,
        3.7750000000000004
      ],
      "uniform_delays": [
        0.0,
        0.5714285714285714,
        1.1428571428571428,
        1.7142857142857142,
        2.2857142857142856,
        2.8571428571428568,
        3.4285714285714284,
        4.0
      ],
      "greedy_sigma_min": 1.7911640591219735,
      "uniform_sigma_min": 1.5815832617366312,
      "greedy_mse": 0.00027899835582955183,
      "uniform_mse": 0.00030886890747839057
    },
    {
      "budget": 16,
      "greedy_delays": [
        0.0,
        0.925,
        0.9109173514943193,
        0.01,
        1.0,
        1.925,
        2.85,
        3.7750000000000004,
        8.388166487286595,
        0.06914753510445207,
        0.9785472834415636,
        3.5516728160582933,
        2.625,
        1.7000000000000002,
        0.775,
        3.5500000000000003
      ],
      "uniform_delays": [
        0.0,
        0.26666666666666666,
        0.5333333333333333,
        0.8,
        1.0666666666666667,
        1.3333333333333333,
        1.6,
        1.8666666666666667,
        2.1333333333333333,
        2.4,
        2.6666666666666665,
        2.933333333333333,
        3.2,
        3.466666666666667,
        3.7333333333333334,
        4.0
      ],
      "greedy_sigma_min": 2.4233063383129934,
      "uniform_sigma_min": 2.276142147817071,
      "greedy_mse": 0.00015151751369580968,
      "uniform_mse": 0.00015512739303160728
    }
  ]
}