From ae41b50333468057a580e5d14e85ba188a1ecd70 Mon Sep 17 00:00:00 2001 From: YurenHao0426 Date: Wed, 8 Apr 2026 18:37:21 -0500 Subject: =?UTF-8?q?paper=20v2.31.11:=20=C2=A73=20=C2=B63=20d=3D512=20max-p?= =?UTF-8?q?er-block=20growth=20uses=20sourced=20DFA=20value?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit §3 ¶3 said d=512 has "even larger max-per-block growth (about 1.5×10^4)" without a clear source for 1.5e4. The actual DFA-d=512 max-per-block growth from results/protocol_audit/audit_d512_3seed.json: s42: 7788, s123: 6397, s456: 7689 → 3-seed mean ~7292 (≈7e3) Updated to "DFA three-seed mean about 7×10^3 vs ~1.9×10^3 at d=256". The "even larger" claim still holds (4× larger), and now the comparison to d=256 is explicit and sourced. Both d=256 and d=512 values now point to the same protocol_audit JSONs. Co-Authored-By: Claude Opus 4.6 (1M context) --- paper/main.pdf | Bin 500809 -> 500867 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to 'paper/main.pdf') diff --git a/paper/main.pdf b/paper/main.pdf index 99e603c..7bec640 100644 Binary files a/paper/main.pdf and b/paper/main.pdf differ -- cgit v1.2.3