BDD-Certified Modular Equilibrium Network / results.json
Mechanism confirmed, baseline not beaten
1{
2 "toy": {
3 "rows": [
4 {
5 "r": 0.0,
6 "q": 0.0,
7 "block_q": [
8 0.0,
9 0.0
10 ],
11 "determinant": 1.0,
12 "cond2": 1.0,
13 "converged": true,
14 "iterations": 2
15 },
16 {
17 "r": 0.024999999999999998,
18 "q": 0.024999999999999998,
19 "block_q": [
20 0.024999999999999998,
21 0.024999999999999998
22 ],
23 "determinant": 0.999375,
24 "cond2": 1.051282051282051,
25 "converged": true,
26 "iterations": 6
27 },
28 {
29 "r": 0.049999999999999996,
30 "q": 0.049999999999999996,
31 "block_q": [
32 0.049999999999999996,
33 0.049999999999999996
34 ],
35 "determinant": 0.9975,
36 "cond2": 1.1052631578947367,
37 "converged": true,
38 "iterations": 8
39 },
40 {
41 "r": 0.075,
42 "q": 0.075,
43 "block_q": [
44 0.075,
45 0.075
46 ],
47 "determinant": 0.994375,
48 "cond2": 1.1621621621621625,
49 "converged": true,
50 "iterations": 9
51 },
52 {
53 "r": 0.09999999999999999,
54 "q": 0.09999999999999999,
55 "block_q": [
56 0.09999999999999999,
57 0.09999999999999999
58 ],
59 "determinant": 0.99,
60 "cond2": 1.2222222222222225,
61 "converged": true,
62 "iterations": 9
63 },
64 {
65 "r": 0.12499999999999999,
66 "q": 0.12499999999999999,
67 "block_q": [
68 0.12499999999999999,
69 0.12499999999999999
70 ],
71 "determinant": 0.984375,
72 "cond2": 1.2857142857142858,
73 "converged": true,
74 "iterations": 10
75 },
76 {
77 "r": 0.15,
78 "q": 0.15,
79 "block_q": [
80 0.15,
81 0.15
82 ],
83 "determinant": 0.9775,
84 "cond2": 1.352941176470588,
85 "converged": true,
86 "iterations": 11
87 },
88 {
89 "r": 0.175,
90 "q": 0.175,
91 "block_q": [
92 0.175,
93 0.175
94 ],
95 "determinant": 0.969375,
96 "cond2": 1.4242424242424239,
97 "converged": true,
98 "iterations": 12
99 },
100 {
101 "r": 0.19999999999999998,
102 "q": 0.19999999999999998,
103 "block_q": [
104 0.19999999999999998,
105 0.19999999999999998
106 ],
107 "determinant": 0.96,
108 "cond2": 1.5000000000000004,
109 "converged": true,
110 "iterations": 13
111 },
112 {
113 "r": 0.22499999999999998,
114 "q": 0.22499999999999998,
115 "block_q": [
116 0.22499999999999998,
117 0.22499999999999998
118 ],
119 "determinant": 0.949375,
120 "cond2": 1.5806451612903227,
121 "converged": true,
122 "iterations": 14
123 },
124 {
125 "r": 0.24999999999999997,
126 "q": 0.24999999999999997,
127 "block_q": [
128 0.24999999999999997,
129 0.24999999999999997
130 ],
131 "determinant": 0.9375,
132 "cond2": 1.6666666666666659,
133 "converged": true,
134 "iterations": 15
135 },
136 {
137 "r": 0.27499999999999997,
138 "q": 0.27499999999999997,
139 "block_q": [
140 0.27499999999999997,
141 0.27499999999999997
142 ],
143 "determinant": 0.9243750000000001,
144 "cond2": 1.7586206896551715,
145 "converged": true,
146 "iterations": 16
147 },
148 {
149 "r": 0.3,
150 "q": 0.3,
151 "block_q": [
152 0.3,
153 0.3
154 ],
155 "determinant": 0.91,
156 "cond2": 1.857142857142857,
157 "converged": true,
158 "iterations": 17
159 },
160 {
161 "r": 0.32499999999999996,
162 "q": 0.32499999999999996,
163 "block_q": [
164 0.32499999999999996,
165 0.32499999999999996
166 ],
167 "determinant": 0.894375,
168 "cond2": 1.9629629629629624,
169 "converged": true,
170 "iterations": 18
171 },
172 {
173 "r": 0.35,
174 "q": 0.35,
175 "block_q": [
176 0.35,
177 0.35
178 ],
179 "determinant": 0.8775000000000001,
180 "cond2": 2.076923076923077,
181 "converged": true,
182 "iterations": 19
183 },
184 {
185 "r": 0.37499999999999994,
186 "q": 0.37499999999999994,
187 "block_q": [
188 0.37499999999999994,
189 0.37499999999999994
190 ],
191 "determinant": 0.859375,
192 "cond2": 2.2000000000000006,
193 "converged": true,
194 "iterations": 20
195 },
196 {
197 "r": 0.39999999999999997,
198 "q": 0.39999999999999997,
199 "block_q": [
200 0.39999999999999997,
201 0.39999999999999997
202 ],
203 "determinant": 0.8400000000000001,
204 "cond2": 2.333333333333334,
205 "converged": true,
206 "iterations": 22
207 },
208 {
209 "r": 0.425,
210 "q": 0.425,
211 "block_q": [
212 0.425,
213 0.425
214 ],
215 "determinant": 0.819375,
216 "cond2": 2.4782608695652173,
217 "converged": true,
218 "iterations": 23
219 },
220 {
221 "r": 0.44999999999999996,
222 "q": 0.44999999999999996,
223 "block_q": [
224 0.44999999999999996,
225 0.44999999999999996
226 ],
227 "determinant": 0.7975000000000001,
228 "cond2": 2.6363636363636376,
229 "converged": true,
230 "iterations": 25
231 },
232 {
233 "r": 0.475,
234 "q": 0.475,
235 "block_q": [
236 0.475,
237 0.475
238 ],
239 "determinant": 0.774375,
240 "cond2": 2.8095238095238093,
241 "converged": true,
242 "iterations": 26
243 },
244 {
245 "r": 0.49999999999999994,
246 "q": 0.49999999999999994,
247 "block_q": [
248 0.49999999999999994,
249 0.49999999999999994
250 ],
251 "determinant": 0.75,
252 "cond2": 2.999999999999999,
253 "converged": true,
254 "iterations": 28
255 },
256 {
257 "r": 0.5249999999999999,
258 "q": 0.5249999999999999,
259 "block_q": [
260 0.5249999999999999,
261 0.5249999999999999
262 ],
263 "determinant": 0.7243750000000001,
264 "cond2": 3.2105263157894735,
265 "converged": true,
266 "iterations": 30
267 },
268 {
269 "r": 0.5499999999999999,
270 "q": 0.5499999999999999,
271 "block_q": [
272 0.5499999999999999,
273 0.5499999999999999
274 ],
275 "determinant": 0.6975,
276 "cond2": 3.4444444444444415,
277 "converged": true,
278 "iterations": 32
279 },
280 {
281 "r": 0.575,
282 "q": 0.575,
283 "block_q": [
284 0.575,
285 0.575
286 ],
287 "determinant": 0.669375,
288 "cond2": 3.7058823529411766,
289 "converged": true,
290 "iterations": 35
291 },
292 {
293 "r": 0.6,
294 "q": 0.6,
295 "block_q": [
296 0.6,
297 0.6
298 ],
299 "determinant": 0.64,
300 "cond2": 4.000000000000001,
301 "converged": true,
302 "iterations": 38
303 },
304 {
305 "r": 0.625,
306 "q": 0.625,
307 "block_q": [
308 0.625,
309 0.625
310 ],
311 "determinant": 0.609375,
312 "cond2": 4.333333333333335,
313 "converged": true,
314 "iterations": 41
315 },
316 {
317 "r": 0.6499999999999999,
318 "q": 0.6499999999999999,
319 "block_q": [
320 0.6499999999999999,
321 0.6499999999999999
322 ],
323 "determinant": 0.5775000000000001,
324 "cond2": 4.714285714285713,
325 "converged": true,
326 "iterations": 44
327 },
328 {
329 "r": 0.6749999999999999,
330 "q": 0.6749999999999999,
331 "block_q": [
332 0.6749999999999999,
333 0.6749999999999999
334 ],
335 "determinant": 0.544375,
336 "cond2": 5.153846153846154,
337 "converged": true,
338 "iterations": 48
339 },
340 {
341 "r": 0.7,
342 "q": 0.7,
343 "block_q": [
344 0.7,
345 0.7
346 ],
347 "determinant": 0.51,
348 "cond2": 5.6666666666666625,
349 "converged": true,
350 "iterations": 53
351 },
352 {
353 "r": 0.725,
354 "q": 0.725,
355 "block_q": [
356 0.725,
357 0.725
358 ],
359 "determinant": 0.474375,
360 "cond2": 6.272727272727273,
361 "converged": true,
362 "iterations": 59
363 },
364 {
365 "r": 0.7499999999999999,
366 "q": 0.7499999999999999,
367 "block_q": [
368 0.7499999999999999,
369 0.7499999999999999
370 ],
371 "determinant": 0.4375000000000001,
372 "cond2": 6.999999999999994,
373 "converged": true,
374 "iterations": 66
375 },
376 {
377 "r": 0.7749999999999999,
378 "q": 0.7749999999999999,
379 "block_q": [
380 0.7749999999999999,
381 0.7749999999999999
382 ],
383 "determinant": 0.39937500000000015,
384 "cond2": 7.888888888888881,
385 "converged": true,
386 "iterations": 74
387 },
388 {
389 "r": 0.7999999999999999,
390 "q": 0.7999999999999999,
391 "block_q": [
392 0.7999999999999999,
393 0.7999999999999999
394 ],
395 "determinant": 0.36000000000000015,
396 "cond2": 8.999999999999996,
397 "converged": true,
398 "iterations": 84
399 },
400 {
401 "r": 0.825,
402 "q": 0.825,
403 "block_q": [
404 0.825,
405 0.825
406 ],
407 "determinant": 0.3193750000000001,
408 "cond2": 10.428571428571423,
409 "converged": true,
410 "iterations": 97
411 },
412 {
413 "r": 0.85,
414 "q": 0.85,
415 "block_q": [
416 0.85,
417 0.85
418 ],
419 "determinant": 0.2775000000000001,
420 "cond2": 12.333333333333329,
421 "converged": true,
422 "iterations": 115
423 },
424 {
425 "r": 0.8749999999999999,
426 "q": 0.8749999999999999,
427 "block_q": [
428 0.8749999999999999,
429 0.8749999999999999
430 ],
431 "determinant": 0.23437500000000025,
432 "cond2": 14.999999999999986,
433 "converged": true,
434 "iterations": 139
435 },
436 {
437 "r": 0.8999999999999999,
438 "q": 0.8999999999999999,
439 "block_q": [
440 0.8999999999999999,
441 0.8999999999999999
442 ],
443 "determinant": 0.19000000000000017,
444 "cond2": 18.99999999999998,
445 "converged": true,
446 "iterations": 176
447 },
448 {
449 "r": 0.9249999999999999,
450 "q": 0.9249999999999999,
451 "block_q": [
452 0.9249999999999999,
453 0.9249999999999999
454 ],
455 "determinant": 0.14437500000000014,
456 "cond2": 25.666666666666654,
457 "converged": true,
458 "iterations": 238
459 },
460 {
461 "r": 0.95,
462 "q": 0.95,
463 "block_q": [
464 0.95,
465 0.95
466 ],
467 "determinant": 0.09750000000000002,
468 "cond2": 39.0000000000001,
469 "converged": true,
470 "iterations": 361
471 },
472 {
473 "r": 0.9749999999999999,
474 "q": 0.9749999999999999,
475 "block_q": [
476 0.9749999999999999,
477 0.9749999999999999
478 ],
479 "determinant": 0.049375000000000294,
480 "cond2": 78.99999999999986,
481 "converged": true,
482 "iterations": 729
483 },
484 {
485 "r": 0.9999999999999999,
486 "q": 0.9999999999999999,
487 "block_q": [
488 0.9999999999999999,
489 0.9999999999999999
490 ],
491 "determinant": 2.2204460492503185e-16,
492 "cond2": Infinity,
493 "converged": false,
494 "iterations": 2000
495 },
496 {
497 "r": 1.025,
498 "q": 1.025,
499 "block_q": [
500 1.025,
501 1.025
502 ],
503 "determinant": -0.0506249999999998,
504 "cond2": 81.00000000000033,
505 "converged": false,
506 "iterations": 2000
507 },
508 {
509 "r": 1.0499999999999998,
510 "q": 1.0499999999999998,
511 "block_q": [
512 1.0499999999999998,
513 1.0499999999999998
514 ],
515 "determinant": -0.10249999999999959,
516 "cond2": 41.00000000000033,
517 "converged": false,
518 "iterations": 2000
519 },
520 {
521 "r": 1.075,
522 "q": 1.075,
523 "block_q": [
524 1.075,
525 1.075
526 ],
527 "determinant": -0.15562499999999999,
528 "cond2": 27.66666666666675,
529 "converged": false,
530 "iterations": 2000
531 },
532 {
533 "r": 1.0999999999999999,
534 "q": 1.0999999999999999,
535 "block_q": [
536 1.0999999999999999,
537 1.0999999999999999
538 ],
539 "determinant": -0.20999999999999971,
540 "cond2": 21.000000000000014,
541 "converged": false,
542 "iterations": 2000
543 },
544 {
545 "r": 1.125,
546 "q": 1.125,
547 "block_q": [
548 1.125,
549 1.125
550 ],
551 "determinant": -0.26562500000000006,
552 "cond2": 16.999999999999996,
553 "converged": false,
554 "iterations": 2000
555 },
556 {
557 "r": 1.15,
558 "q": 1.15,
559 "block_q": [
560 1.15,
561 1.15
562 ],
563 "determinant": -0.32249999999999973,
564 "cond2": 14.333333333333341,
565 "converged": false,
566 "iterations": 2000
567 },
568 {
569 "r": 1.1749999999999998,
570 "q": 1.1749999999999998,
571 "block_q": [
572 1.1749999999999998,
573 1.1749999999999998
574 ],
575 "determinant": -0.3806249999999996,
576 "cond2": 12.428571428571454,
577 "converged": false,
578 "iterations": 2000
579 },
580 {
581 "r": 1.2,
582 "q": 1.2,
583 "block_q": [
584 1.2,
585 1.2
586 ],
587 "determinant": -0.4399999999999999,
588 "cond2": 11.000000000000007,
589 "converged": false,
590 "iterations": 2000
591 }
592 ],
593 "predictions": {
594 "q_equals_coupling_max_abs_error": 0.0,
595 "predicted_singularity_q": 1.0,
596 "observed_zero_determinant_r": 0.9999999999999999,
597 "observed_fixed_point_boundary_midpoint": 0.9874999999999998,
598 "predicted_fixed_point_boundary_q": 1.0,
599 "condition_scaled_c_times_1_minus_q_median_q_le_0.9": 1.4500000000000008,
600 "condition_scaled_range_q_le_0.9": [
601 1.0,
602 1.8999999999999995
603 ]
604 }
605 },
606 "random_block_certificate": {
607 "samples": 1000,
608 "worst_q": 0.8500000000000003,
609 "near_singular_count": 0
610 },
611 "fit_unconstrained": {
612 "r_learned": 0.9500012527120318,
613 "q": 0.9500012527120318,
614 "task_loss": 2.2060410379253905e-08,
615 "total_loss": 2.2060410379253905e-08,
616 "target_q": 0.95,
617 "certificate_limit": 0.8,
618 "optimizer_success": true
619 },
620 "fit_bdd_lam_10": {
621 "r_learned": 0.9498965131434333,
622 "q": 0.9498965131434333,
623 "task_loss": 0.00015734900980612695,
624 "total_loss": 0.2248469955354006,
625 "target_q": 0.95,
626 "certificate_limit": 0.8,
627 "optimizer_success": true
628 },
629 "fit_bdd_lam_1000": {
630 "r_learned": 0.8576117443675801,
631 "q": 0.8576117443675801,
632 "task_loss": 15.157600108768255,
633 "total_loss": 18.47671319784365,
634 "target_q": 0.95,
635 "certificate_limit": 0.8,
636 "optimizer_success": true
637 },
638 "fit_bdd_lam_100000": {
639 "r_learned": 0.8003385305863355,
640 "q": 0.8003385305863355,
641 "task_loss": 20.22936546963947,
642 "total_loss": 20.24082576542793,
643 "target_q": 0.95,
644 "certificate_limit": 0.8,
645 "optimizer_success": true
646 }
647}