[논문 리뷰] Quantum Rényi and $f$-divergences from integral representations

Christoph Hirche, Marco Tomamichel|arXiv (Cornell University)|2023. 06. 21.

Deception detection and forensic psychology인용 수 4

한 줄 요약

이 논문은 양자 하키스틱 분열에 기반한 적분 표현을 사용하여 f-발산과 레니 발산의 새로운 양자 일반화를 제안한다. 주요 기여는 정규화된 버전이 각각 α < 1과 α > 1일 때 페츠와 샌드위치 레니 발산을 통합하고, 연산자 볼록 함수에 대해 수축 계수들이 붕괴함으로써 오랫동안 남아있던 추측을 해결한다는 것이다.

ABSTRACT

Smooth Csiszár $f$-divergences can be expressed as integrals over so-called hockey stick divergences. This motivates a natural quantum generalization in terms of quantum Hockey stick divergences, which we explore here. Using this recipe, the Kullback-Leibler divergence generalises to the Umegaki relative entropy, in the integral form recently found by Frenkel. We find that the Rényi divergences defined via our new quantum $f$-divergences are not additive in general, but that their regularisations surprisingly yield the Petz Rényi divergence for $α&lt; 1$ and the sandwiched Rényi divergence for $α&gt; 1$, unifying these two important families of quantum Rényi divergences. Moreover, we find that the contraction coefficients for the new quantum $f$ divergences collapse for all $f$ that are operator convex, mimicking the classical behaviour and resolving some long-standing conjectures by Lesniewski and Ruskai. We derive various inequalities, including new reverse Pinsker inequalities with applications in differential privacy and explore various other applications of the new divergences.

연구 동기 및 목표

• 양자 하키스틱 발산에 기반한 적분 표현을 사용하여 고전적 f-발산의 자연스러운 양자 일반화를 개발한다.
• 새로운 f-발산의 정규화를 통해 양자 레니 발산의 두 주요 가족인 페츠와 샌드위치 발산을 통합한다.
• 연산자 볼록 함수에 대한 f-발산의 수축 계수에 관한 레스니에프스키와 러스카이의 오랜 추측을 해결한다.
• 차별적 프라이버시에의 응용을 포함한 역 핀스커 부등식을 포함한 새로운 부등식을 수립한다.
• 데이터 처리 부등식과 공동 볼록성과 같은 핵심 성질을 유지하는 양자 발산의 프레임워크를 제공한다.

제안 방법

• 양자 하키스틱 발산을 Eγ(ρ‖σ) = Tr((ρ − γσ)+)로 정의하여 고전적 하키스틱 발산을 양자 상태로 확장한다.
• 적분 표현을 통한 양자 f-발산 구성: Df(ρ‖σ) = Tr(ρ − σ) + ∫₁^∞ [f''(γ)Eγ(ρ‖σ) + γ⁻³f''(γ⁻¹)Eγ(σ‖ρ)] dγ.
• 적분 표현을 사용하여 헬링거 유형의 발산 Hα(ρ‖σ)를 통해 레니 발산을 일반화하고, Dα(ρ‖σ) = (1/(α−1)) log(1 + (α−1)Hα(ρ‖σ))에 의해 Dα와 관련지운다.
• 정규화된 새로운 f-발산의 버전이 α < 1일 때 페츠 레니 발산, α > 1일 때 샌드위치 레니 발산을 유도함을 증명한다.
• 수축 계수를 분석하고, 모든 연산자 볼록 함수 f에 대해 붕괴함을 보이며, 고전적 행동을 그대로 따름을 밝힌다.
• Df(aρ‖bσ)의 척도 법칙을 유도하고, 프레임워크를 사용하여 새로운 역 핀스커 유형의 부등식을 수립한다.

실험 결과

연구 질문

• RQ1 양자 하키스틱 발산의 적분 표현을 통해 고전적 성질을 유지하는 양자 f-발산의 일반화를 구성할 수 있는가?
• RQ2 제안된 양자 f-발산의 정규화가 모든 α ≠ 1에서 페츠와 샌드위치 레니 발산을 통합하는가?
• RQ3 왜 새로운 f-발산의 수축 계수들이 연산자 볼록 함수 f에 대해 붕괴하는가? 이는 레스니에프스키와 러스카이의 추측을 해결하는가?
• RQ4 이 프레임워크에서 유도할 수 있는 새로운 부등식(예: 역 핀스커 부등식)은 무엇이며, 그 응용은 무엇인가?
• RQ5 밀도 행렬의 척도 변환에 대해 새로운 발산은 어떻게 행동하는가? 그리고 단조성과 볼록성은 유지되는가?

주요 결과

• 제안된 양자 f-발산의 정규화된 형태는 α < 1일 때 페츠 레니 발산, α > 1일 때 샌드위치 레니 발산을 유도하여 두 가족을 통합한다.
• 새로운 f-발산의 수축 계수들이 모든 연산자 볼록 함수 f에 대해 붕괴함을 확인하여, 레스니에프스키와 러스카이의 오랜 추측을 확인한다.
• 새로운 발산들은 데이터 처리 부등식과 공동 볼록성을 만족하며, 이 성질들은 양자 하키스틱 발산으로부터 유도된다.
• 역 핀스커 부등식이 도출되었으며, 차별적 프라이버시와 양자 정보 이론에의 응용 가능성이 있다.
• 척도 법칙 Df(aρ‖bσ) = (a−b) + bD_{F_{a,b}}(ρ‖σ) + ∫_{b/a}^1 f''(a/b γ)(a²/b)(1−γ) dγ 가 성립하며, 이는 고전적 척도 행동을 일반화한다.
• f(x) = x log x일 때, Frenkel의 공식에 의한 우메가키 상대 엔트로피의 적분 표현이 특수한 경우로 복원된다.