[논문 리뷰] On Self-Dual Quantum Codes, Graphs, and Boolean Functions

Lars Eirik Danielsen|ArXiv.org|2005. 03. 31.

Quantum Computing Algorithms and Architecture참고 문헌 45인용 수 31

한 줄 요약

이 논문은 자기 dual 양자 코드, 그래프, 부울 함수 사이의 새로운 연결 고리를 설정한다. 제로 차원의 양자 코드가 GF(4) 위의 자기 dual 가법 코드에 대응하며, 이를 그래프로 표현할 수 있음을 보여준다. 비주기적 전파 기준(APC)을 도입하고, 이러한 코드의 최소 거리가 관련된 부울 함수의 APC 거리와 같음을 증명함으로써, 국소 보완에 의한 그래프 궤도를 활용해 길이 12 이내의 동치가 아닌 코드를 분류할 수 있다.

ABSTRACT

A short introduction to quantum error correction is given, and it is shown that zero-dimensional quantum codes can be represented as self-dual additive codes over GF(4) and also as graphs. We show that graphs representing several such codes with high minimum distance can be described as nested regular graphs having minimum regular vertex degree and containing long cycles. Two graphs correspond to equivalent quantum codes if they are related by a sequence of local complementations. We use this operation to generate orbits of graphs, and thus classify all inequivalent self-dual additive codes over GF(4) of length up to 12, where previously only all codes of length up to 9 were known. We show that these codes can be interpreted as quadratic Boolean functions, and we define non-quadratic quantum codes, corresponding to Boolean functions of higher degree. We look at various cryptographic properties of Boolean functions, in particular the propagation criteria. The new aperiodic propagation criterion (APC) and the APC distance are then defined. We show that the distance of a zero-dimensional quantum code is equal to the APC distance of the corresponding Boolean function. Orbits of Boolean functions with respect to the {I,H,N}^n transform set are generated. We also study the peak-to-average power ratio with respect to the {I,H,N}^n transform set (PAR_IHN), and prove that PAR_IHN of a quadratic Boolean function is related to the size of the maximum independent set over the corresponding orbit of graphs. A construction technique for non-quadratic Boolean functions with low PAR_IHN is proposed. It is finally shown that both PAR_IHN and APC distance can be interpreted as partial entanglement measures.

연구 동기 및 목표

• 자기 dual 양자 코드와 부울 함수, 특히 이차 부울 함수 사이의 대응 관계를 수립하기 위해.
• 비주기적 전파 기준(APC)을 정의하고 분석하며, 그것이 양자 코드 거리와의 관계를 규명하기 위해.
• 국소 보완에 의한 그래프 궤도를 활용해 GF(4) 위의 자기 dual 가법 코드를 길이 12 이내로 동치가 아닌 것으로 분류하기 위해.
• 부울 함수의 암호학적 성질, 특히 피크 대 평균 전력 비율(PAR IHN)과의 관계를 연구하기 위해.
• APC 거리와 PAR IHN을 양자 정보 이론에서 부분적 얽힘 측정값으로 해석하기 위해.

제안 방법

• GF(4)-가법 코드의 구조를 통해 자기 dual 양자 코드를 그래프로 표현하기 위해.
• 국소 보완 연산을 사용해 그래프의 궤도를 생성하고, 동치인 양자 코드를 식별하기 위해.
• 부울 함수에 대한 비주기적 전파 기준(APC)을 정의하고, 이를 코드 거리와 연관시키기 위해.
• I, H, N}^n 변환 집합 기반의 PAR IHN 측정값을 도입하고, 그래프 궤도 내 최대 독립 집합 크기와 연결하기 위해.
• 스펙트럼 성질을 기반으로 하여 낮은 PAR IHN을 가지는 비이차 부울 함수의 구축 기법을 제안하기 위해.
• APC 거리와 PAR IHN이 모두 양자 시스템에서 부분적 얽힘 측정값으로 해석될 수 있음을 증명하기 위해.

실험 결과

연구 질문

• RQ1 자기 dual 양자 코드는 그래프와 부울 함수를 통해 어떻게 동치로 표현될 수 있는가?
• RQ2 제로 차원의 양자 코드의 최소 거리와 그에 대응하는 부울 함수의 비주기적 전파 기준(APC) 사이의 관계는 무엇인가?
• RQ3 국소 보완에 의한 그래프 궤도는 GF(4) 위의 자기 dual 가법 코드를 길이 12 이내로 동치가 아닌 것으로 분류하는 데 어떻게 활용될 수 있는가?
• RQ4 부울 함수의 PAR IHN과 그에 대응하는 그래프 궤도 내 최대 독립 집합 사이의 관계는 무엇인가?
• RQ5 APC 거리와 PAR IHN는 양자 상태에서 부분적 얽힘의 측정값으로 어떻게 해석될 수 있는가?

주요 결과

• 제로 차원의 양자 코드의 최소 거리는 해당 부울 함수의 APC 거리와 같다.
• 길이 12 이내의 모든 동치가 아닌 GF(4) 위의 자기 dual 가법 코드가 국소 보완에 의한 그래프 궤도를 통해 분류되었으며, 이는 이전에 길이 9에 한정된 결과를 확장한 것이다.
• 이차 부울 함수의 PAR IHN은 해당 궤도 내 그래프의 최대 독립 집합 크기와 직접적으로 관련되어 있다.
• 스펙트럼 성질을 기반으로 하여 낮은 PAR IHN을 가지는 비이차 부울 함수를 구성하는 기법이 제안되었다.
• APC 거리와 PAR IHN는 모두 양자 정보 이론에서 부분적 얽힘 측정값으로 해석될 수 있다.
• 이 연구는 최소 정점 차수와 긴 사이클을 가진 내재된 정규 그래프가 높은 최소 거리를 가진 자기 dual 코드와 관련되어 있음을 드러냈다.