{
  "identity_max_abs_error": 1.1857187100668868e-16,
  "predictions": [
    {
      "test": "worst_case_bound",
      "K": 1,
      "observed": 0.5,
      "predicted": 0.5,
      "relative_error": 0.0
    },
    {
      "test": "worst_case_bound",
      "K": 3,
      "observed": 0.25,
      "predicted": 0.25,
      "relative_error": 0.0
    },
    {
      "test": "worst_case_bound",
      "K": 7,
      "observed": 0.125,
      "predicted": 0.125,
      "relative_error": 0.0
    },
    {
      "test": "worst_case_bound",
      "K": 15,
      "observed": 0.0625,
      "predicted": 0.0625,
      "relative_error": 0.0
    },
    {
      "test": "worst_case_bound",
      "K": 31,
      "observed": 0.03125,
      "predicted": 0.03125,
      "relative_error": 0.0
    },
    {
      "test": "transition_90pct",
      "K": 15,
      "observed_theta": 0.13997445609697373,
      "predicted_theta": 0.13997118937482927,
      "observed_Ktheta": 2.099616841454606,
      "predicted_Ktheta": 2.099567840622439,
      "relative_error": 2.333853244405281e-05
    }
  ],
  "low_frequency": [
    {
      "K": 3,
      "theta": 0.0025,
      "observed": 0.0012499947916731762,
      "predicted_theta_over_2": 0.00125,
      "ratio": 0.9999958333385409
    },
    {
      "K": 7,
      "theta": 0.00125,
      "observed": 0.0006249973958365881,
      "predicted_theta_over_2": 0.000625,
      "ratio": 0.9999958333385409
    },
    {
      "K": 15,
      "theta": 0.000625,
      "observed": 0.00031249869791829404,
      "predicted_theta_over_2": 0.0003125,
      "ratio": 0.9999958333385409
    },
    {
      "K": 31,
      "theta": 0.0003125,
      "observed": 0.00015624934895914732,
      "predicted_theta_over_2": 0.00015625,
      "ratio": 0.9999958333385428
    }
  ],
  "equal_eval_rotation_theta": 0.35,
  "comparison": [
    {
      "evaluations": 3,
      "fejer_residual": 0.16105442180942278,
      "ppm_residual": 0.16625166276857417,
      "ratio_fejer_over_ppm": 0.968738712909079
    },
    {
      "evaluations": 7,
      "fejer_residual": 0.12318121624855759,
      "ppm_residual": 0.15632504694731683,
      "ratio_fejer_over_ppm": 0.7879813161998982
    },
    {
      "evaluations": 15,
      "fejer_residual": 0.020936759384744107,
      "ppm_residual": 0.13821453218713284,
      "ratio_fejer_over_ppm": 0.15148015952763344
    },
    {
      "evaluations": 31,
      "fejer_residual": 0.019727082433510075,
      "ppm_residual": 0.10804482959003849,
      "ratio_fejer_over_ppm": 0.18258238277909108
    }
  ],
  "notes": "R is a rotation, hence nonexpansive; J=(I+R)/2 is an exact resolvent of a linear maximal monotone skew operator when -1 is absent."
}