[논문 리뷰] Access structure in graphs in high dimension and application to secret sharing

Anne Marin, Damian Markham외 1명|arXiv (Cornell University)|2013. 04. 26.

Quantum Computing Algorithms and Architecture참고 문헌 37인용 수 6

한 줄 요약

이 논문은 소수 차원 시스템으로 확장된 이전의 큐비트 기반 결과를 바탕으로, 큼디 그래프 상태에서의 접근 구조를 그림자 형태로 특성화한다. 이는 고전적 및 양자 비밀 공유에 대해 적용된다. 논문은 $((k,n))_q$ 양자 비밀 공유 체계에서 임계 매개변수 $ k $ 에 대한 하한을 확립하며, 어떤 $ \alpha > 0.5 $ 에 대해 $ k > \alpha n $ 이 고확률로 성립함을 증명한다. 또한 이분법 엔트로피 함수를 포함하는 渐近적 하한을 유도하여, 고차원에서 이러한 체계가 존재할 수 있는 최소한의 $ \alpha $ 를 정량화한다.

ABSTRACT

We give graphical characterisation of the access structure to both classical and quantum information encoded onto a multigraph defined for prime dimension $q$, as well as explicit decoding operations for quantum secret sharing based on graph state protocols. We give a lower bound on $k$ for the existence of a $((k,n))_q$ scheme and prove, using probabilistic methods, that there exists $α$ such that a random multigraph has an accessing parameter $k\leq αn$ with high probability.

연구 동기 및 목표

• 그래프 상태의 접근 구조에 대한 그림자 특성화를 큽비트에서 소수 차원의 큼디로 확장한다.
• 그래프 상태를 기반으로 한 CQ 및 QQ 양자 비밀 공유 프로토콜에 대한 명시적 복호화 절차를 제공한다.
• 양자 비밀 공유 체계의 $((k,n))_q$ 체계에서 임계 매개변수 $ k $ 에 대한 하한을 유도한다.
• 확률적 방법을 사용하여 $ k \leq \alpha n $ 인 $((k,n))_q$ 체계가 고확률로 존재함을 증명한다. 이때 $ \alpha > 0.5 $ 이다.
• 그래프 상태 형식을 통해 비밀 공유, 오류 수정, 스터빌라이저 코드 간의 연결 고리를 수립한다.

제안 방법

• 큐드 그래프 상태를 표현하기 위해 $ q $-다중그래프를 사용하며, 간선은 $ \mathbb{F}_q $ 에서의 원소로 레이블링된다. 이는 F*-그래프의 다중그래프 해석을 가능하게 한다.
• 다중집합 연산을 정점과 다중부분그래프에 대해 정의하며, 이는 행렬 곱 $ \Gamma \cdot D $ 를 통해 이웃 다중도를 계산한다.
• 정보 접근 가능성 분석을 위해 커널 차이 $ S_d(B) = \ker(\Gamma_G[B \cup \{d\}]) \setminus \ker(\Gamma_G[B]) $ 의 개념을 도입한다.
• 정보 유량을 특성화하기 위해 컷랭크 함수 $ \text{cutrk}_G(B) $ 를 활용하여, 승인된 집합의 크기를 확률적 방법으로 하한화한다.
• 이분법 엔트로피 함수 $ H_2(p) $ 를 포함하는 엔트로피 기반의 渐近적 분석을 사용하여 $ \alpha $ 의 하한을 도출한다. 이는 접근에 필요한 플레이어 비율을 정량화한다.
• 이전 큽비트 결과에 기반하여, 쌍대성에 의해 양자 정보 접근 문제를 고전적 정보 접근 문제로 환원한다.

실험 결과

연구 질문

• RQ1 큐드 그래프 상태에서 비밀 공유를 위한 승인된 집합과 승인되지 않은 집합의 그림자 특성은 무엇인가?
• RQ2 그래프 상태 형식을 기반으로 하여 CQ 및 QQ 프로토콜에 대한 복호화 연산을 어떻게 명시적으로 구성할 수 있는가?
• RQ3 비밀 공유 체계 $((k,n))_q $ 가 존재할 수 있는 최소 임계값 $ k $ 는 $ n $ 과 $ q $ 의 함수로서 어떻게 표현되는가?
• RQ4 확률적 방법을 사용하여 $ k \leq \alpha n $ 인 체계가 고확률로 존재함을 보일 수 있으며, 이때 최소한의 $ \alpha $ 는 얼마인가?
• RQ5 비밀 공유에 대한 결과는 스터빌라이저 코드와 오류 수정 코드의 존재성과 어떻게 관련이 있는가?

주요 결과

• $((k,n))_q$ 양자 비밀 공유 체계는 $ k \leq \alpha n $ 일 때 고확률로 존재하며, 이때 $ \alpha $ 는 渐近적 부등식 $ H_2\left(\frac{\alpha q + 1}{q + 1}\right) + \alpha H_2\left(\frac{1 - \alpha}{\alpha}\right) \geq H_2(\alpha) $ 를 만족한다.
• $ \alpha $ 의 하한은 큼디 차원 $ q $ 에 따라 달라지며, 모든 $ q $ 에 대해 $ \alpha > 0.5 $ 이고, $ q $ 가 증가함에 따라 하한이 더욱 날카롭게 좁아진다.
• 작은 $ q $ 에 대해 최소 $ \alpha $ 는 그림 2에 도시되어 있으며, $ q = 30 $ 일 때 $ \alpha \approx 0.506 $ 로 나타나 비트리스한 임계값을 가짐을 시사한다.
• $((\alpha n, n))_q$ 체계의 존재성은 스터빌라이저 코드가 유도된 $ \alpha $ 의 하한을 위반할 수 없음을 의미하며, 비밀 공유와 양자 오류 수정 간의 연결 고리를 형성한다.
• 양자 정보 접근 구조는 집합과 그 여집합 간의 쌍대성에 기반하여 고전적 접근으로 환원되며, 이는 CQ 및 QQ 체계를 통합적으로 다룰 수 있게 한다.
• 커널 차이 $ S_d(B) $ 는 정보를 실은 집합의 크기를 하한화하는 데 사용되며, 이는 $ \alpha $, $ n $, $ q $ 를 포함하는 핵심 부등식을 이끈다.