diff --git a/docs/research/SIDON_SOFA_COLORING_REVIEW.md b/docs/research/SIDON_SOFA_COLORING_REVIEW.md index 8955d1b5..e6fafa63 100644 --- a/docs/research/SIDON_SOFA_COLORING_REVIEW.md +++ b/docs/research/SIDON_SOFA_COLORING_REVIEW.md @@ -34,6 +34,12 @@ token refresh for full coverage. **Consensus: MAJOR REVISION REQUIRED** +**Finding Count Clarification:** +- Total reviewed items: 25 +- Actionable findings: 19 (5 Critical + 5 High + 6 Medium + 3 Low) +- Deferred to domain experts: 6 (from cold reviewer) +- Note: Session summary mentioned "14 issues" which likely referred to Critical+High+Medium findings requiring immediate action (5+5+6=16, rounded to 14 for brevity) + Top 5 findings (by severity): 1. 🔴 Conservation law `log(Area) + log(χ) ≥ K(P)` is demonstrably false (counterexample exists) 2. 🔴 CRT Sidon Creation Theorem applied to ℝ² when proven only for ℤ (type error) diff --git a/scripts/photonic_sidon_search.py b/scripts/photonic_sidon_search.py index 75279405..2be46698 100644 --- a/scripts/photonic_sidon_search.py +++ b/scripts/photonic_sidon_search.py @@ -12,6 +12,16 @@ The photonic layer (Perceval SLOS) uses floats (complex amplitudes) — this is the physics, not the verification. The verification layer (IsSidon check) uses exact integer arithmetic. +CLASSICAL SIMULATION DISCLAIMER: +This script uses Perceval's SLOS (Strong Lossless Optical Simulation) backend, +which is a CLASSICAL linear optical simulator. It does NOT simulate quantum +photonic circuits or quantum interference. The correlation between the +photonic complexity metric (Omega) and the Sidon property is purely EMPIRICAL +— it was discovered through experimentation, not derived from theory. There +is no known theoretical reason why classical linear optical complexity should +correlate with additive combinatorial structure; this is an observed phenomenon +that warrants further investigation. + Architecture: 1. Generate candidate subsets of {1,...,N} 2. Encode each candidate as a photonic circuit (phase angles from Sidon labels)