mirror of
https://github.com/ruvnet/RuVector.git
synced 2026-05-29 19:33:34 +00:00
Complete proof of Deutsch's theorem with phase kickback lemma and step-by-step derivation. Compares five major formulations: - Deutsch (1985): original probabilistic version (p=1/2) - Deutsch-Jozsa (1992): deterministic n-bit, 2 queries - Cleve-Ekert-Macchiavello-Mosca (1998): deterministic, single query - Nielsen-Chuang (2000): canonical textbook presentation - Calude (2006): de-quantization using higher-dimensional classical bits Includes de-quantization critique (Abbott et al.), classical wave analogies, and analysis of when quantum advantage is genuine vs artifactual. Adds 6 verification tests to ruqu-algorithms confirming all four oracles produce deterministic correct results via the ruqu-core simulator, including a phase-kickback amplitude-level check. https://claude.ai/code/session_01B1NkbLDWYPaacS9miKsnvW |
||
|---|---|---|
| .. | ||
| coherence-engine | ||
| delta-behavior | ||
| quantum-engine | ||
| ADR-001-ruvector-core-architecture.md | ||
| ADR-002-ruvllm-integration.md | ||
| ADR-003-simd-optimization-strategy.md | ||
| ADR-004-kv-cache-management.md | ||
| ADR-005-wasm-runtime-integration.md | ||
| ADR-006-memory-management.md | ||
| ADR-007-security-review-technical-debt.md | ||
| ADR-008-mistral-rs-integration.md | ||
| ADR-009-structured-output.md | ||
| ADR-010-function-calling.md | ||
| ADR-011-prefix-caching.md | ||
| ADR-012-security-remediation.md | ||
| ADR-013-huggingface-publishing.md | ||
| ADR-014-coherence-engine.md | ||
| ADR-015-coherence-gated-transformer.md | ||
| ADR-016-delta-behavior-ddd-architecture.md | ||
| ADR-0027-hnsw-parameterized-query-fix.md | ||