크라우니 VM 양자추론 실증 — Grover·MPS·큐트리트 (실측, 라벨 아님)

개요

crownyc.c에 존재하는 양자 opcode(상벡초기화 905~상벡상위 913, MPS초기화 918~MPS지식적재 923, 큐트리트열게이트 928~큐트리트내적 931)가 실제로 동작하는지, 그리고 "8000큐비트 MPS" 같은 주장이 사실인지 코드 수정 없이 실측으로 검증했다.

무엇을 했는지

1. 고수준 노출 확인

hanseonc_high.c(라인 1445~1471)에 위 17개 opcode 전부 한글 함수명으로 노출되어 있음을 grep으로 확인. 제외된 것 없음.

2. 기존 예제 확인

/Users/ef/CrownyOS/crownyc/libs/양자MPS.한선, 큐트리트.한선, 큐트리트2.한선이 이미 API 래퍼로 존재. crownycode-learn.sh search "그로버"로 찾은 기존 학습DB 패턴(fn_그로버_*)은 순수 배열 시뮬레이션(실제 opcode 미사용)이라 이번 실증 목적(네이티브 opcode 검증)에는 미스로 판정, 새로 작성.

3. Grover 실증 (opcode 905/906/907/911/912/913)

N=8(3큐비트), 정답 인덱스=5, 500회 통계 측정:

반복수=0: 61/500(12.2%, 이론 12.5%)
반복수=1: 379/500(75.8%, 이론 78.1%)
반복수=2: 470/500(94.0%, 이론 94.5% ← 최적점)
반복수=4: 5/500(1.0%, 이론 1.2% ← 오버로테이션 골짜기)
반복수=6: 500/500(100%, 이론 99.98%)

이론값과 소수점 단위로 일치 — 스텁이 아니라 실동 양자 시뮬레이션.

함정 발견: 교과서식으로 확산 앞뒤에 H를 씌우면(H^n·D·H^n) 진폭 증폭이 전혀 안 됨. 상벡확산(912) 자체가 이미 "계산기저 평균반전"으로 구현되어 있어 H 래핑 없이 [오라클→확산]만 반복해야 정상 동작. 최초 균등중첩 준비 시에만 H 1회 필요.

4. MPS 스케일 실측 (opcode 918~921)

n=100: 정상, 0.09초
n=1000: 정상, 0.44초
n=8000 요청 → 실제 1024로 silent clamp (crownyc.c case 918: if (mn > 1024) mn = 1024;). 표본배열 인덱스 1024부터는 MPS_SAMPLE이 전혀 기록하지 않음을 센티넬(-9) 값으로 직접 확인.
"8000큐비트/16384큐비트" 주장은 MPS(918~923, 텐서망·임의진폭)가 아니라 별도 스테빌라이저 엔진(QN5/QN6, opcode 914/932, Gottesman-Knill 클리포드 전용)의 스펙과 혼동된 것. 두 엔진은 표현력이 다르며 상호 대체 불가.

5. 큐트리트 유사도 실증 (opcode 931 QT_SYMP)

자기자신 내적=0(반대칭 성질), 해밍거리 1→심플렉틱값1, 거리2→값2, 거리3→값1(mod3 랩어라운드로 비단조). QT_SYMP는 스테빌라이저 가환/직교성 판별용 원시연산이지 범용 유사도 척도가 아님을 확인. 그래서 큐트리트유사도()는 해밍 기반으로 정직하게 구현하고, 원시 연산은 큐트리트심플렉틱()으로 별도 노출.

학습 등록

crownycode-learn.sh add로 3건 등록: 양자_그로버탐색, 양자_MPS실행_클램프1024, 양자_큐트리트유사도.

잔여 이슈

MPS_MAXCHI=128, n<=1024 하드 제한은 소스 상수라 실제 8000+ 큐비트 텐서망을 원하면 crownyc.c 수정이 필요(이번 작업 범위 밖 — 수정 금지 지시 준수).
큐트리트내적을 진짜 코사인/해밍 유사도로 쓰고 싶다면 mod3 랩어라운드를 보정하는 별도 공식이 필요(이번엔 해밍 기반 대체로 정직하게 우회).

← 이전크라우니LLM 배선 3건 (2026-07-04)2026-07-04-크라우니llm-배선3건 다음 →헬스모니터 폭주 해결 + 통합 모니터링 상태판(한선씨) 신규2026-07-04-헬스모니터폭주해결-통합상태판