[논문 리뷰] Estimating the decoherence time using non-commutative Functional Inequalities

Ivan Bardet|arXiv (Cornell University)|2017. 10. 03.

Matrix Theory and Algorithms참고 문헌 40인용 수 21

한 줄 요약

이 논문은 비원자적 양자 마코프 세미군(group)에 대해 비가환 Poincaré 및 수정된 로그 Sobolev 부등식을 일반화하여 개방계 양자 시스템에서 디코herence 시간을 추정하는 데 기여한다. 디코herence-free 대수의 구조와 Dirichlet 형식의 $\mathbb{L}_1$-정규성 조건이 수정된 로그 Sobolev 상수의 양성 보장에 기여하며, 이는 향상된 지수 감쇠 추정을 이끌어낸다. 주요 결과로는 최적 조건 하에서 디코herence 시간의 척도가 $\Omega(\log \log d)$임을 보여준다.

ABSTRACT

We generalize the notions of the non-commutative Poincaré and modified log-Sobolev inequalities for primitive quantum Markov semigroups (QMS) to not necessarily primitive ones. These two inequalities provide estimates on the decoherence time of the evolution. More precisely, we focus on an algebraic definition of environment-induced decoherence in open quantum systems which happens to be generic on finite dimensional systems and describes the asymptotic behavior of any QMS. An essential tool in our analysis is the explicit structure of the decoherence-free algebra generated by the QMS, a central object in the study of passive quantum error correction schemes. The Poincaré constant corresponds to the spectral gap of the QMS, which implies its positivity, while we prove that the modified log-Sobolev constant is positive under the $\mathbb L_1$-regularity of the Dirichlet form, a condition that also appears in the primitive case. We furthermore prove that strong $\mathbb L_p$-regularity holds for QMS that satisfy a strong form of detailed balance condition for $p\geq1$. The latter condition includes all known cases where this strong regularity was proved. Finally and to emphasize the mathematical interest of this study compared to the classical case, we focus on two truly quantum scenarios, one exhibiting quantum coherence, and the other, quantum correlations.

연구 동기 및 목표

• 비원자적 양자 마코프 세미군(QMS)에 대해 비가환 기능적 부등식—Poincaré 및 수정된 로그 Sobolev—을 일반화함으로써, 디코herence-free(DF) 대수가 비자명한 경우를 다루는 것.
• 특히 유일한 불변 상태로 수렴하지 않는 경우에 개방계 양자 시스템에서의 디코herence 시간에 대한 정량적 추정을 제공하는 것.
• 비원자적 설정에서 수정된 로그 Sobolev 상수가 양수임을 보장하는 조건을 확립하여 빠른 디코herence 추정을 가능하게 하는 것.
• 이러한 부등식이 수동 양자 오류 수정 및 디코herence-free 하위계와 같은 양자 정보 프로토콜에 어떻게 관련되는지 보여주는 것.

제안 방법

• 디코herence-free(DF) 대수의 구조를 통합하여, 원자적일 필요가 없는 QMS에 대해 비가환 Poincaré 및 수정된 로그 Sobolev 부등식을 일반화함.
• 원자적 경우의 유일한 불변 상태를 대체하여, QMS의 점근적 행동을 기술하기 위해 DF 대수를 중심적인 객체로 사용함.
• 수정된 로그 Sobolev 상수의 양성 보장에 충분한 조건으로서 Dirichlet 형식의 $\mathbb{L}_1$-정규성 조건을 도입함.
• 모든 $p \geq 1$에 대해 강한 세부 균형 조건을 만족하는 QMS에 대해 강한 $\mathbb{L}_p$-정규성을 증명함으로써, 기존에 알려진 정규성 사례들을 포함함.
• 이중계 시스템에서 QMS의 정보 생산성을 정의하고 분석하여 DF 로그 Sobolev 상수를 추정함.
• Lindbladian $\mathcal{L}_{\mathcal{N}}^{\gamma}(X) = \gamma(E_{\mathcal{N}}(X) - X)$를 갖는 모델 QMS에 이러한 부등식을 적용함. 여기서 $E_{\mathcal{N}}$는 $*$-대수 $\mathcal{N}$ 위에 정의된 충실한 조건부 기대이다.

실험 결과

연구 질문

• RQ1 디코herence-free 대수가 비자명한 비원자적 양자 마코프 세미군(QMS)에 대해 Poincaré 및 수정된 로그 Sobolev 부등식을 일반화할 수 있는가?
• RQ2 비원자적 QMS에서 수정된 로그 Sobolev 상수가 양수가 되는 조건은 무엇이며, 이는 DF 대수의 구조와 어떻게 관련되는가?
• RQ3 비원자적 QMS에서의 기능적 부등식은 원자적 경우에 비해 디코herence 시간 추정을 얼마나 향상시키는가?
• RQ4 Dirichlet 형식의 $\mathbb{L}_1$-정규성이 비원자적 시스템에서의 빠른 디코herence를 보장하는 데 어떤 역할을 하는가?
• RQ5 부분적 디코herence를 갖는 시스템에서 QMS의 정보 생산성은 DF 로그 Sobolev 상수 추정에 어떤 도구로 활용될 수 있는가?

주요 결과

• Dirichlet 형식이 $\mathbb{L}_1$-정규성을 만족하면 수정된 로그 Sobolev 상수가 양수가 되며, 이는 원자적 경우를 일반화하는 조건이자 빠른 디코herence를 보장하는 조건이다.
• 스펙트럼 간격(Poincaré 상수)은 여전히 양수이며, 리프레시안의 0이 아닌 가장 작은 고유값에 해당하여 DF 대수로의 지수 수렴을 보장한다.
• Lindbladian $\mathcal{L}_{\mathcal{N}}^{\gamma}$를 갖는 QMS의 경우, 스펙트럼 간격을 사용하여 디코herence 시간은 $\tau_{\text{deco}} \geq \frac{1}{2\gamma} \log(d \varepsilon^{-2})$로 추정되며, 이는 $\Omega(\log d)$ 척도를 갖는다.
• 수정된 로그 Sobolev 상수를 사용하면 디코herence 시간 추정이 $\tau_{\text{deco}} \geq \frac{1}{\gamma} \log(2 \log d \cdot \varepsilon^{-2})$로 향상되며, 이는 $\Omega(\log \log d)$ 척도를 갖는다. 이는 상당한 향상이다.
• 강한 세부 균형 조건을 만족하는 QMS에 대해 강한 $\mathbb{L}_p$-정규성이 성립하며, 이는 모든 알려진 정규성 사례를 포함한다.
• 한 개의 하위계만 비가역적 진화를 겪는 이중계 시스템에서 QMS의 정보 생산성은 DF 로그 Sobole브 상수 추정에 관련된 양으로서, 양자 상관관계가 디코herence 역학에 미치는 영향을 부각시킨다.