계산적으로 제한된 채널을 위한 최적 속도 부호 설계

본 논문은 “계산적으로 제한된 채널”이라는 새로운 오류 모델을 제안하고, 두 가지 대표적인 서브클래스에 대해 최적에 가까운 전송 비율을 달성하면서도 다항시간 인코딩·디코딩이 가능한 부호를 명시적으로 구성한다. 서론에서는 샤논의 확률적 채널과 해밍의 최악‑사례 채널 사이의 간극을 메우기 위해, 오류를 일으키는 과정이 회로 크기·시간 등 복잡도 측면에서 제한된 경우를 고려한다. 이러한 모델은 자연 현상이 복잡한 연산을 수행하지 못한다는 직관에 부합하며, i.i.d. 오류, 버스트 오류 등 다양한 실제 상황을 포괄한다. 첫 번째 결과는 **가산 오류(Oblivious/Additive) 채널**에 대한 것이다. 여기서 채널은 사전에 정해진 오류 벡터 e(무게 ≤ pN)를 전송된 코드워드에 더한다. 기존 문헌에서는 용량 1‑H(p)에 도달하는 부호가 존재한다는 비효율적 존재론 증명만 있었으나, 저자들은 선형 리스트 디코딩 부호와 인증 스킴을 결합해, 무작위 인코더를 사용함으로써 다항시간 인코딩·디코딩이 가능한 명시적 부호를 제시한다. 핵심 아이디어는 “제어 정보”(채널이 알지 못하도록 숨겨야 할 메타데이터)를 페이로드 내부에 삽입하고, 이를 t‑wise 독립성 및 의사난수 생성기를 이용해 채널이 구별할 수 없게 만드는 것이다. 이렇게 하면 디코더는 제어 정보를 복원한 뒤 페이로드를 정상적으로 복호화할 수 있다. 결과적으로, p가 0 < p < 1/2인 모든 경우에 전송 비율이 1‑H(p)‑ε에 임의로 가깝게 된다. 두 번째 결과는 **다항시간 제한 채널**에 대한 리스트 디코딩 부호이다. 채널이 입력 길이 N에 대해 O(N^c) 크기의 회로(또는 시간)로 구현된다고 가정한다. 저자들은 Monte Monte 방식으로 무작위 파라미터를 선택해 인코더를 구성하고, 디코더는 수신된 워드에 대해 O(1/ε) 크기의 리스트를 출력한다. 리스트 안에 원본 메시지가 높은 확률(1‑negligible)로 포함되며, 이는 전통적인 “거리 pN 이내의 모든 코드워드”를 모두 찾는 리스트 디코딩과는 달리, 확률적 보장을 제공한다. 이 접근법은 제한된 채널이 제어 정보를 추론하거나, 리스트를 과도하게 확대시키는 것을 방지한다. 인코더 자체는 무작위 선택이므로, 특정 인코더가 요구 조건을 만족하는지 효율적으로 검증할 수 없지만, 전체 확률 공간에서 거의 모든 선택이 성공한다는 보장이 있다. 완전 명시적 구성을 위해서는 강력한 의사난수 생성기 가정이나, 로그스페이스 채널에 대해 Nisan PRG와 같은 도구가 필요할 수 있다. 논문은 또한 **리스트 디코딩이 필수**임을 보이는 불가능성 정리를 제시한다. p > 1/4인 경우, 메모리리스(각 비트를 독립적으로 처리) 채널이라도 전송된 코드워드와 무작위 코드워드를 구별하기 어려운 상황을 만들 수 있어, 고정된 비율의 고유 디코딩은 불가능하다. 따라서 리스트 디코딩을 허용함으로써 샤논 용량에 근접한 비율을 유지할 수 있다. 기술적 기여는 다음과 같이 정리된다. 1) 공유 비밀 없이도 “제어 정보”를 페이로드에 은닉하는 새로운 부호 설계 기법, 2) 선형 리스트 디코딩 부호와 인증 스킴을 결합해 가산 오류에 대한 효율적 용량 달성 부호, 3) 다항시간 제한 채널에 대해 Monte Monte 방식으로 얻은 리스트 디코딩 부호와 그 복잡도 분석, 4) p > 1/4 구간에서 고유 디코딩이 불가능함을 보이는 정보이론적 하한. 전체적으로 이 논문은 암호학·의사난수 이론과 전통적인 코딩 이론을 융합해, 계산 제한을 이용한 새로운 채널 모델에서 최적 비율을 효율적으로 달성하는 최초의 사례를 제시한다. 또한, 제시된 기법들은 공개키 모델, 비밀 공유 설정 등 다양한 통신 시나리오에 적용 가능함을 논의한다.