1{
  2  "quadratic_verification": {
  3    "L": 4.0,
  4    "lambda_min": 0.15,
  5    "sweep": [
  6      {
  7        "alphaL": 0.1,
  8        "lipschitz": 0.99625,
  9        "firm_gap": -0.0037359375000000083,
 10        "repeat10_ratio": 0.9631265257170253,
 11        "firm": true,
 12        "nonexpansive": true
 13      },
 14      {
 15        "alphaL": 0.2,
 16        "lipschitz": 0.9925,
 17        "firm_gap": -0.007443749999999971,
 18        "repeat10_ratio": 0.927481283510263,
 19        "firm": true,
 20        "nonexpansive": true
 21      },
 22      {
 23        "alphaL": 0.249,
 24        "lipschitz": 0.9906625,
 25        "firm_gap": -0.009250311093749963,
 26        "repeat10_ratio": 0.9104523842627101,
 27        "firm": true,
 28        "nonexpansive": true
 29      },
 30      {
 31        "alphaL": 0.251,
 32        "lipschitz": 0.9905875,
 33        "firm_gap": -0.009323904843750008,
 34        "repeat10_ratio": 0.9097633436411974,
 35        "firm": true,
 36        "nonexpansive": true
 37      },
 38      {
 39        "alphaL": 0.5,
 40        "lipschitz": 0.98125,
 41        "firm_gap": -0.01839843750000003,
 42        "repeat10_ratio": 0.8275546771109836,
 43        "firm": true,
 44        "nonexpansive": true
 45      },
 46      {
 47        "alphaL": 0.9,
 48        "lipschitz": 0.96625,
 49        "firm_gap": -0.03261093749999999,
 50        "repeat10_ratio": 0.7094063462055531,
 51        "firm": true,
 52        "nonexpansive": true
 53      },
 54      {
 55        "alphaL": 0.99,
 56        "lipschitz": 0.962875,
 57        "firm_gap": -0.00990000000000001,
 58        "repeat10_ratio": 0.6850134656087912,
 59        "firm": true,
 60        "nonexpansive": true
 61      },
 62      {
 63        "alphaL": 1.0,
 64        "lipschitz": 0.9625,
 65        "firm_gap": 0.0,
 66        "repeat10_ratio": 0.6823502921113933,
 67        "firm": true,
 68        "nonexpansive": true
 69      },
 70      {
 71        "alphaL": 1.01,
 72        "lipschitz": 0.962125,
 73        "firm_gap": 0.010100000000000008,
 74        "repeat10_ratio": 0.6796964406603462,
 75        "firm": false,
 76        "nonexpansive": true
 77      },
 78      {
 79        "alphaL": 1.5,
 80        "lipschitz": 0.94375,
 81        "firm_gap": 0.75,
 82        "repeat10_ratio": 0.5604922944564094,
 83        "firm": false,
 84        "nonexpansive": true
 85      },
 86      {
 87        "alphaL": 2.01,
 88        "lipschitz": 1.0099999999999998,
 89        "firm_gap": 2.030099999999999,
 90        "repeat10_ratio": 1.104622125411202,
 91        "firm": false,
 92        "nonexpansive": false
 93      },
 94      {
 95        "alphaL": 2.5,
 96        "lipschitz": 1.5,
 97        "firm_gap": 3.75,
 98        "repeat10_ratio": 57.6650390625,
 99        "firm": false,
100        "nonexpansive": false
101      }
102    ],
103    "prediction_firm_boundary_alphaL<=1": {
104      "predicted": 1.0,
105      "last_pass": 1.0,
106      "first_fail": 1.01
107    },
108    "prediction_divergence_boundary_alphaL>2": {
109      "predicted": 2.0,
110      "first_observed": 2.01
111    },
112    "prediction_repeated_ratio_alphaL=.9": {
113      "steps": [
114        1,
115        2,
116        5,
117        10,
118        20
119      ],
120      "predicted": [
121        0.96625,
122        0.9336390625000001,
123        0.8422626349337557,
124        0.7094063462055531,
125        0.5032573640367131
126      ],
127      "observed": [
128        0.96625,
129        0.9336390625000001,
130        0.8422626349337557,
131        0.7094063462055531,
132        0.5032573640367131
133      ],
134      "formula": "max_i |1-alpha*lambda_i|^K; worst mode is lambda_min here"
135    }
136  },
137  "mini_experiment": {
138    "device": "cuda",
139    "test_mse_idea": 0.24191606044769287,
140    "test_mse_baseline": 0.27104777097702026,
141    "paired_repeat10_sensitivity_idea": 0.3385774493217468,
142    "paired_repeat10_sensitivity_baseline": 0.4089341163635254,
143    "learned_A_max_eigenvalue": 4.0843987464904785
144  }
145}