Kuantum optimal taşıma uzaklığı \(W_{C_E,p}\), iki yoğunluk matrisi arasındaki ilişkiyi, belirli marjinallere sahip kuantum coupling durumları üzerinde bir maliyet operatörünün beklenen değerini en aza indirerek ölçmeye çalışan uzaklık-benzeri bir matematiksel niceliktir. Tomasz Miller’ın bu çalışması, Friedland ve çalışma arkadaşlarının 2022’de önerdiği özel kuantum maliyet matrisi için bu niceliğin bütün boyutlarda gerçek bir uzaklık olacağı yönündeki conjecture’ı analitik bir karşı-örnek ailesiyle inceliyor ve üçgen eşitsizliğinin üç boyutlu diagonal density matrices için bozulduğunu gösteriyor.

Çalışmanın merkezindeki özel maliyet matrisi, antisymmetric subspace üzerine projector olan \(C^Q\)’dur. Önceki çalışmada \(C^Q\) kullanıldığında tanımlanan quantum 2-Wasserstein semidistance’ın herhangi bir Hilbert-uzayı boyutunda triangle inequality’yi sağlayacağı conjecture edilmişti. Miller ise belirli \(\rho\), \(\sigma\) ve \(\tau\) diagonal density matrices ailesi için

\[ W(\rho,\tau) > W(\rho,\sigma)+W(\sigma,\tau) \]

olduğunu analitik olarak kanıtlıyor. Bir uzaklığın üçgen eşitsizliğini sağlaması gerektiğinden, bu tek yönlü sıkı eşitsizlik dahi söz konusu niceliğin genel durumda metric olamayacağını gösterir.

Karşı-örnekler yalnız üç boyutla sınırlı kalmaz. Kaynakta verilen üç boyutlu density matrices daha yüksek boyutlara sıfır bloklar eklenerek gömülebildiği için aynı problem bütün \(n>3\) boyutlarına taşınabilir. Buna karşılık çalışma, daha önce kanıtlanmış özel durumları ortadan kaldırmaz: \(n=2\) durumu ve yalnız pure states üzerine kısıtlama altında, gerekli \(p\ge2\) koşuluyla triangle inequality’nin sağlanabildiği özel durumlar korunmaktadır.

Çalışmanın ikinci önemli katkısı, diagonal yani bu bağlamda “classical” density matrices arasındaki quantum transport problemini klasik coupling’ler üzerinde bir minimizasyona indirgeyen genel bir formüldür. Proposition 1 ile elde edilen bu formül, quantum ve classical transport arasındaki farkın neden ortaya çıktığını da görünür kılar: quantum coupling matrisindeki off-diagonal terimler maliyette \(\sqrt{\gamma_{ij}\gamma_{ji}}\) biçiminde bir azaltıcı katkı oluşturabilir.

Buradaki “quantum”, fiziksel bir kuantum bilgisayarda hesaplama yapıldığı anlamına gelmez. Çalışma teorik kuantum bilgisi ve matematiksel fizik düzeyindedir; laboratuvar deneyi, quantum processor veya hardware kullanımı yoktur. Sonuçlar density matrices, tensor-product spaces, partial traces, projectors, classical/quantum couplings ve analitik eşitsizlikler üzerinden türetilmiştir.

Kuantum optimal taşıma problemi nedir?

Kuantum optimal taşıma problemi, klasik optimal transport problemindeki iki olasılık dağılımını birbiriyle eşleştirme fikrini yoğunluk matrislerine taşıyan ve iki kuantum durumuna ait sabit marjinalleri koruyan bipartite kuantum durumları arasında minimum maliyetli coupling’i arayan matematiksel bir optimizasyon problemidir.

Klasik optimal taşıma fikri

Klasik optimal transport probleminde iki probability distribution arasında “kütlenin” bir dağılımdan diğerine nasıl taşınacağı düşünülür. Bir coupling, başlangıç ve hedef dağılımları marjinal olarak koruyan ortak bir olasılık dağılımıdır. Her \(i\rightarrow j\) taşınmasının bir \(E_{ij}\) maliyeti varsa, optimizasyon problemi toplam transport cost’u en küçük yapan coupling’i arar.

Wasserstein distance bu yaklaşımın en bilinen uzaklık ailelerinden biridir. Ancak bu makalede doğrudan klasik Wasserstein teorisinin tamamı incelenmiyor; esas mesele, Friedland ve çalışma arkadaşlarının yoğunluk matrisleri için önerdiği kuantum analoğunun gerçekten metric olup olmadığıdır.

Yoğunluk matrisi nedir?

Yoğunluk matrisi \(\rho\), bir kuantum durumunu temsil eden pozitif yarı-belirli ve izi 1 olan bir operatördür. Saf durumlar rank-1 projector biçiminde temsil edilebilirken mixed states birden fazla olası durumun istatistiksel karışımını içerir.

Bu makaledeki karşı-örneklerin önemli özelliği, kullanılan yoğunluk matrislerinin diagonal olmasıdır. Örneğin:

\[ \rho=\operatorname{diag}(1-s,s,0) \]

ifadesi computational basis’te yalnız diagonal entries içeren bir density matrix’tir. Diagonal entries negatif değildir ve toplamları 1’dir. Bu nedenle aynı entries aynı zamanda bir probability vector gibi okunabilir.

Kaynak bu tür diagonal states’i “classical states” olarak adlandırmaktadır. Bunun nedeni, seçilen basis’te off-diagonal quantum coherence terimlerinin bulunmamasıdır.

Semidistance ile gerçek bir metric arasındaki kritik fark nedir?

Bu çalışma bağlamında \(W_{C_E,p}\) uzaklık-benzeri bir semidistance’tır; gerçek bir metric olabilmesi için diğer gerekli özelliklere ek olarak üçgen eşitsizliğini de sağlaması gerekir. Miller’ın karşı-örneği tam olarak üçgen eşitsizliğinin başarısız olduğunu gösterdiği için genel metric iddiasını ortadan kaldırır.

Bir metric \(d\) için üç nokta veya durum \(A,B,C\) seçildiğinde:

\[ d(A,C)\le d(A,B)+d(B,C) \]

olmalıdır.

Sezgisel anlamı şudur: \(A\)’dan \(C\)’ye doğrudan uzaklık, \(B\) üzerinden gidilen yolun toplamından daha uzun olamaz.

Bu çalışmada ise belirli \(\rho,\sigma,\tau\) için ters yönde sıkı eşitsizlik elde edilir:

\[ W(\rho,\tau)> W(\rho,\sigma)+W(\sigma,\tau). \]

Dolayısıyla \(W\), söz konusu durum uzayında gerçek bir metric değildir.

Kuantum coupling nedir?

Kuantum coupling, iki hedef yoğunluk matrisini partial trace yoluyla marjinal olarak geri veren bipartite bir density matrix’tir; makalede \(\Gamma(\rho_1,\rho_2)\), \(\operatorname{Tr}_1\rho_{12}=\rho_2\) ve \(\operatorname{Tr}_2\rho_{12}=\rho_1\) koşullarını sağlayan bütün \(\rho_{12}\) durumlarının kümesidir.

İki \(n\times n\) density matrix:

\[ \rho_1,\rho_2 \]

verildiğinde coupling:

\[ \rho_{12} \]

\(n^2\times n^2\) boyutlu bipartite density matrix’tir.

Kaynağın koşulları:

\[ \operatorname{Tr}_1\rho_{12}=\rho_2, \qquad \operatorname{Tr}_2\rho_{12}=\rho_1. \]

Burada \(\operatorname{Tr}_1\) ve \(\operatorname{Tr}_2\), tensor-product sisteminin sırasıyla birinci ve ikinci alt sistemini trace ederek ortadan kaldıran partial-trace işlemleridir.

Bu yapı klasik coupling fikrinin kuantum karşılığıdır. Classical coupling’de ortak probability matrix’in satır ve sütun toplamları verilen probability vectors’ı geri verirken, quantum coupling’de aynı rolü partial traces üstlenir.

Antisymmetric subspace ve SWAP operator bu çalışmada neden önemlidir?

Çalışmanın merkezindeki özel quantum cost matrix \(C^Q\), iki alt sistemi değiştiren SWAP operatorün antisymmetric subspace üzerindeki projector’üdür ve önceki conjecture tam olarak bu özel maliyet için tanımlanan quantum 2-Wasserstein semidistance’ın bütün boyutlarda triangle inequality sağlayacağı iddiasına dayanır.

Antisymmetric basis state

Kaynak önce:

\[ |i\wedge j\rangle = \frac{1}{\sqrt{2}} \left( |ij\rangle-|ji\rangle \right) \]

durumunu tanımlar.

Burada:

• \(|i\rangle\) ve \(|j\rangle\), sabit computational basis elemanlarıdır.
• \(|ij\rangle=|i\rangle\otimes|j\rangle\) tensor-product basis state’tir.
• \(|i\wedge j\rangle\), \(i\) ve \(j\) yer değiştirdiğinde işaret değiştiren normalized antisymmetric combination’dır.
• \(1/\sqrt{2}\) katsayısı durumun normunu 1 yapmak için gereklidir.

Genel quantum cost matrix

Herhangi bir \(n\times n\) distance matrix \(E=(E_{ij})\) için kaynak Denklem (1)’de:

\[ C_E := \sum_{i

tanımını kullanır.

\(|i\wedge j\rangle\langle i\wedge j|\), ilgili antisymmetric direction üzerine bir rank-1 projector’dür. \(E_{ij}\) katsayıları bu directions için cost weights olarak görev yapar.

\(C_E\) fiziksel enerji Hamiltonian’ı olmak zorunda değildir. Bu çalışmadaki görevi transport optimization içinde maliyeti tanımlayan Hermitian operator olmaktır.

Quantum p-Wasserstein analoğu

Kaynağın Denklem (2)’si:

\[ W_{C_E,p}(\rho_1,\rho_2) := \min_{\rho_{12}\in\Gamma(\rho_1,\rho_2)} \left[ \operatorname{Tr} C_E^p\rho_{12} \right]^{1/p} \]

\[ = \min_{\rho_{12}\in\Gamma(\rho_1,\rho_2)} \left[ \sum_{i

Formülün anlamı adım adım şöyledir:

1. İki hedef state \(\rho_1\) ve \(\rho_2\) sabitlenir.
2. Bu states’i partial traces olarak veren bütün quantum couplings \(\rho_{12}\) dikkate alınır.
3. Her coupling için \(C_E^p\) ile tanımlanan cost hesaplanır.
4. Bütün couplings içindeki minimum değer seçilir.
5. Sonuç \(1/p\) kuvvetine alınır.

Bu büyüklük kaynakta quantum analogue of the \(p\)-Wasserstein distance olarak ele alınmaktadır. Ancak makalenin temel konusu, bu analoğun hangi koşullarda gerçekten metric özelliklerini taşıdığıdır.

Özel antisymmetric projector \(C^Q\)

Önceki conjecture için maliyet matrisi:

\[ C^Q := \sum_{i

olarak seçilir.

Burada \(S\), SWAP operator’dür:

\[ S|ij\rangle=|ji\rangle. \]

\(\mathbf{1}_{n^2}\), \(n^2\)-dimensional tensor-product space üzerindeki identity operator’dür.

Bu özel durumda quantum 2-Wasserstein semidistance:

\[ W_{C^Q,2}(\rho_1,\rho_2) = \min_{\rho_{12}\in\Gamma(\rho_1,\rho_2)} \sqrt{ \sum_{i

Önceki Conjecture I, bu niceliğin her dimension \(n\) için triangle inequality sağlayacağını öne sürüyordu. Conjecture II ise bu özelliğin \(C^Q\) çevresindeki küçük cost-matrix perturbations altında da korunacağını öne sürüyordu.

Proposition 1 neyi kanıtlıyor?

Proposition 1, giriş states’i diagonal olduğunda quantum transport optimizasyonunun tamamen classical coupling matrix \(\gamma\) üzerinden yazılabileceğini ve quantum etkisinin \((\sqrt{\gamma_{ij}}-\sqrt{\gamma_{ji}})^2\) yapısında görünür hale geldiğini kanıtlar.

Probability vectors:

\[ P=(p_1,\ldots,p_n), \qquad Q=(q_1,\ldots,q_n) \]

olsun.

Bunlara karşılık gelen diagonal density matrices:

\[ \operatorname{diag}(P), \qquad \operatorname{diag}(Q) \]

için Proposition 1:

\[ W_{C_E,p} \left( \operatorname{diag}(P), \operatorname{diag}(Q) \right) = \min_{\gamma\in\Gamma_{\mathrm{cl}}(P,Q)} \left[ \frac{1}{2} \sum_{i

sonucunu verir.

\(\Gamma_{\mathrm{cl}}(P,Q)\), \(P\) ve \(Q\)’nun bütün classical couplings kümesidir. Coupling matrix \(\gamma=(\gamma_{ij})\) için:

\[ \sum_j\gamma_{ij}=p_i, \qquad \sum_i\gamma_{ij}=q_j, \qquad \gamma_{ij}\ge0. \]

Dolayısıyla satır toplamları \(P\)’yi, sütun toplamları \(Q\)’yu üretir.

Proposition 1’in kanıtı neden üç adıma ayrılıyor?

Kanıtın temel stratejisi, diagonal giriş states için gereksiz quantum phase information’ı ortalamayla yok etmek, coupling matrix’i küçük block’lara indirgemek ve positivity constraint üzerinden optimum off-diagonal terms’i belirlemektir.

Adım 1 — Diagonal unitary phase averaging

Kaynak:

\[ \theta=(\theta_1,\ldots,\theta_n) \in[0,2\pi)^n \]

için diagonal unitary operator tanımlar:

\[ U_\theta := \sum_{k=1}^{n} e^{i\theta_k} |k\rangle\langle k|. \]

Bir coupling \(\omega\in\Gamma(\rho,\sigma)\) için:

\[ \omega_\theta := \left( U_\theta^\dagger\otimes U_\theta^\dagger \right) \omega \left( U_\theta\otimes U_\theta \right). \]

Daha sonra bütün phase angles üzerinden average alınır:

\[ \widetilde{\omega} := \frac{1}{(2\pi)^n} \int_{[0,2\pi)^n} \omega_\theta\,d\theta. \tag{5} \]

Bu işlem “phase twirling” benzeri bir symmetrization olarak düşünülebilir. Amaç coupling’i değiştirmek değil, diagonal marginals ile ilgisiz phase-dependent matrix elements’i ortalamayla yok etmektir.

Matrix element dönüşümü:

\[ \langle ij| \omega_\theta |kl\rangle = e^{i(\theta_k+\theta_l-\theta_i-\theta_j)} \langle ij| \omega |kl\rangle. \tag{6} \]

Partial traces neden değişmiyor?

\(\rho\) diagonal olduğu için:

\[ \begin{aligned} \langle i| \operatorname{Tr}_2\omega_\theta |k\rangle &= \sum_j \langle ij| \omega_\theta |kj\rangle\\ &= e^{i(\theta_k-\theta_i)} \sum_j \langle ij| \omega |kj\rangle\\ &= e^{i(\theta_k-\theta_i)} \langle i|\rho|k\rangle\\ &= \langle i|\rho|k\rangle. \end{aligned} \tag{7} \]

Son eşitlik diagonal \(\rho\) için off-diagonal \(\langle i|\rho|k\rangle\) entries’in \(i\neq k\) olduğunda zaten sıfır olmasına dayanır.

Aynı şekilde:

\[ \begin{aligned} \langle j| \operatorname{Tr}_1\omega_\theta |l\rangle &= \sum_i \langle ij| \omega_\theta |il\rangle\\ &= e^{i(\theta_l-\theta_j)} \sum_i \langle ij| \omega |il\rangle\\ &= e^{i(\theta_l-\theta_j)} \langle j|\sigma|l\rangle\\ &= \langle j|\sigma|l\rangle. \end{aligned} \tag{8} \]

Dolayısıyla:

\[ \omega_\theta\in\Gamma(\rho,\sigma) \]

ve phase average \(\widetilde{\omega}\) da aynı coupling set içinde kalır.

Cost neden phase averaging altında değişmiyor?

Antisymmetric state:

\[ |i\wedge j\rangle \]

diagonal unitary pair altında yalnız global phase kazanır:

\[ (U_\theta\otimes U_\theta) |i\wedge j\rangle = e^{i(\theta_i+\theta_j)} |i\wedge j\rangle. \]

Global phase projector expectation value’yu değiştirmediği için:

\[ \sum_{i

Bunun sonucu çok önemlidir: optimum coupling aranırken bütün possible quantum couplings yerine yalnız phase-averaged couplings üzerinde minimization yapmak yeterlidir.

Adım 2 — Phase averaging hangi matrix elements’i bırakıyor?

Average matrix element:

\[ \langle ij| \widetilde{\omega} |kl\rangle = \frac{ \langle ij|\omega|kl\rangle }{ (2\pi)^n } \int_{[0,2\pi)^n} e^{i(\theta_k+\theta_l-\theta_i-\theta_j)} d\theta. \tag{10} \]

Bu integral ancak index multisets:

\[ \{i,j\}=\{k,l\} \]

olduğunda nonzero kalabilir.

Dolayısıyla potentially nonzero matrix elements:

\[ \langle ii| \widetilde{\omega} |ii\rangle =:\gamma_{ii}, \]

\[ \langle ij| \widetilde{\omega} |ij\rangle =:\gamma_{ij}, \qquad \langle ji| \widetilde{\omega} |ji\rangle =:\gamma_{ji}, \]

ve:

\[ \langle ij| \widetilde{\omega} |ji\rangle =:z_{ij}, \qquad \langle ji| \widetilde{\omega} |ij\rangle = \overline{z}_{ij}. \tag{11} \]

şeklindedir.

Hermiticity ikinci off-diagonal entry’nin complex conjugate olmasını gerektirir.

Positive semidefiniteness ise her \(2\times2\) block için:

\[ \gamma_{ij}\ge0, \qquad \gamma_{ji}\ge0, \qquad |z_{ij}|^2 \le \gamma_{ij}\gamma_{ji} \]

constraint’ini verir.

\(\gamma\) neden gerçekten classical coupling oluyor?

Phase-averaged coupling’in diagonal entries’i:

\[ \sum_j\gamma_{ij} = \sum_j \langle ij| \widetilde{\omega} |ij\rangle = \langle i|\rho|i\rangle = p_i \]

ve:

\[ \sum_i\gamma_{ij} = \sum_i \langle ij| \widetilde{\omega} |ij\rangle = \langle j|\sigma|j\rangle = q_j \]

koşullarını sağlar.

Bu nedenle \((\gamma_{ij})\), \(P\) ve \(Q\) arasındaki ordinary classical coupling matrix’tir.

Adım 3 — Quantum cost nasıl classical coupling formülüne dönüşüyor?

Phase-averaged coupling için cost:

\[ \sum_{i

Positive-semidefinite constraint:

\[ |z_{ij}| \le \sqrt{\gamma_{ij}\gamma_{ji}} \]

olduğu için:

\[ \operatorname{Re}z_{ij} \le |z_{ij}| \le \sqrt{\gamma_{ij}\gamma_{ji}}. \]

Cost içindeki terim \(-2\operatorname{Re}z_{ij}\) olduğundan cost’u küçültmek için mümkün olan en büyük \(\operatorname{Re}z_{ij}\) istenir. Alt sınır:

\[ \begin{aligned} & \frac{1}{2} \sum_{i

Bu lower bound yalnız formal bir bound olarak kalmaz. Kaynak:

\[ z_{ij} = \sqrt{\gamma_{ij}\gamma_{ji}} \]

seçimiyle bound’un attain edilebildiğini gösterir.

Böylece Proposition 1’deki Denklem (4) tam eşitlik olarak elde edilir.

Quantum transport neden classical transport'tan daha düşük çıkabiliyor?

Kaynağın Remark 2’sine göre diagonal states için quantum transport cost’un classical transport karşılığından küçük olabilmesinin matematiksel kaynağı, quantum coupling’de izin verilen off-diagonal \(z_{ij}\) terimlerinin cost içinde \(-2\sqrt{\gamma_{ij}\gamma_{ji}}\) biçiminde azaltıcı bir interference katkısı oluşturabilmesidir.

Denklem (4) kullanıldığında:

\[ \begin{aligned} &W_{C_E,p} \left( \operatorname{diag}(P), \operatorname{diag}(Q) \right) \\ &= \min_{\gamma\in\Gamma_{\mathrm{cl}}(P,Q)} \left[ \frac{1}{2} \sum_{i

\(E\) gerçek bir distance matrix olduğunda en sağdaki ifade classical \(p\)-Wasserstein distance’ın \(2^{-1/p}\) katsayısıyla ölçeklenmiş biçimidir.

Buradaki “daha ucuz transport” ifadesi fiziksel enerji tüketimi demek değildir. Yalnız tanımlanan mathematical objective function’ın optimum değerinin daha küçük olmasını ifade eder.

Kaynağın normalization önerisi

Miller, bu \(2^{-1/p}\) factor nedeniyle önceki tanımda:

\[ \min_{\rho_{12}\in\Gamma(\rho_1,\rho_2)} \left[ 2\operatorname{Tr} C_E^p\rho_{12} \right]^{1/p} \]

biçiminde bir factor 2 kullanılmasının, classical states ve classical couplings ile sınırlandırıldığında standard classical \(p\)-Wasserstein distance’ın doğrudan geri kazanılmasını sağlayacağını belirtmektedir.

Bu nokta kaynakta yazarın matematiksel normalization değerlendirmesidir. Verianla bunu yeni bir kabul edilmiş standart gibi sunmamaktadır.

İki boyutlu özel durum neden önemlidir?

\(n=2\) durumu önemlidir çünkü önceki çalışmada bu özel boyutta triangle inequality’nin sağlandığı kanıtlanmıştır; Miller’ın Proposition 1 formülü de \(n=2\) için önceki bilinen sonucu yeniden üreterek yeni formül için bir tutarlılık kontrolü sağlar.

Kaynak Remark 3’te:

\[ n=2, \qquad p=2, \qquad E= \begin{bmatrix} 0 & 1\\ 1 & 0 \end{bmatrix} \]

seçimini ele alır.

Kaynak metinde states:

\[ \rho=\operatorname{diag}(r,1-r), \qquad \sigma=\operatorname{diag}(s,1-s) \]

olarak tanıtılır.

Notasyon notu: Hemen sonraki coupling matrix ve Denklem (13) kaynakta \(r,s\) yerine \(p,q\) sembollerini kullanmaktadır. Aşağıda kaynak denkleminin kendi \(p,q\) notasyonu korunmuştur.

Classical couplings tek bir \(\lambda\) parametresiyle:

\[ \gamma= \begin{bmatrix} \lambda & p-\lambda\\ q-\lambda & 1-p-q+\lambda \end{bmatrix}, \]

\[ \max\{0,p+q-1\} \le \lambda \le \min\{p,q\}. \]

şeklindedir.

Denklem (4) kullanıldığında:

\[ W_{C_E,2}(\rho,\sigma) = \frac{1}{\sqrt{2}} \min_{\lambda} \left| \sqrt{p-\lambda} - \sqrt{q-\lambda} \right|. \]

Minimum sonucunda kaynak Denklem (13)’ü elde eder:

\[ W_{C_E,2}(\rho,\sigma) = \begin{cases} \frac{1}{\sqrt{2}} \left| \sqrt{p}-\sqrt{q} \right|, & p+q\le1, \\[6pt] \frac{1}{\sqrt{2}} \left| \sqrt{1-p}-\sqrt{1-q} \right|, & p+q>1. \end{cases} \tag{13} \]

Bu expression aynı zamanda:

\[ \frac{1}{\sqrt{2}} \max \left\{ |\sqrt{p}-\sqrt{q}|, |\sqrt{1-p}-\sqrt{1-q}| \right\} \]

biçimiyle eşdeğerdir.

Kaynak eşdeğerliği:

\[ p+q\le1 \Longleftrightarrow |\sqrt{p}-\sqrt{q}| \ge |\sqrt{1-p}-\sqrt{1-q}| \]

ilişkisine bağlamaktadır.

Çalışmanın Yöntemi ve Bulguları

Üç boyutlu karşı-örnek ailesi nasıl kuruluyor?

Karşı-örnek, üç diagonal \(3\times3\) density matrix’in iki parametreli bir ailesiyle kuruluyor; \(s,t\) admissible region içinde seçildiğinde direct \(\rho\rightarrow\tau\) quantum transport value, \(\sigma\) üzerinden geçen iki transport value’nun toplamından daha büyük oluyor ve triangle inequality bozuluyor.

Üç density matrix

Kaynak Denklem (14)’te:

\[ \rho := \operatorname{diag}(1-s,s,0), \]

\[ \sigma := \operatorname{diag}(s,1-s-t,t), \]

\[ \tau := \operatorname{diag}(t,1-s-t,s) \tag{14} \]

tanımlarını kullanır.

Parameter space:

\[ \Delta := \left\{ (s,t) \ \middle|\ 0\le t\le s\le\frac{1}{2}, \quad 2s+t\le1 \right\}. \]

Bu constraints rastgele değildir. Bütün diagonal entries’in nonnegative olması ve states’in geçerli probability distributions/density matrices olarak kalması gerekir.

Örneğin \(\rho\) için entries:

\[ 1-s,\ s,\ 0 \]

olup toplam:

\[ (1-s)+s+0=1. \]

\(\sigma\) ve \(\tau\) için de entries 1’e toplamlanır.

Üç pairwise transport value

Kaynak, \(W_{C_E,2}\)’yi bu bölümde kısaca \(W\) ile gösterir ve önce şu üç closed-form sonucu kanıtlar:

\[ W(\rho,\sigma) = \sqrt{ \frac{1}{2} - \sqrt{s(1-s-t)} }. \tag{15} \]

\[ W(\rho,\tau) = \sqrt{ \frac{1}{2}(1+t-s) - \sqrt{t(1-2s)} }. \tag{16} \]

\[ W(\sigma,\tau) = \frac{1}{\sqrt{2}} \left( \sqrt{s}-\sqrt{t} \right). \tag{17} \]

\(\Delta\) içinde \(t\le s\) olduğu için \(\sqrt{s}-\sqrt{t}\ge0\), dolayısıyla Denklem (17)’de mutlak değer gerektirmeyen pozitif sıra korunur.

Denklem (15) nasıl türetiliyor?

\(\rho\) ve \(\sigma\)’nın probability vectors’ı:

\[ P=(1-s,s,0), \qquad Q=(s,1-s-t,t) \]

olarak yazılır.

Kaynak classical coupling family’yi:

\[ \gamma= \begin{bmatrix} \lambda & 1-s-t-\lambda+\mu & t-\mu \\ s-\lambda & \lambda-\mu & \mu \\ 0&0&0 \end{bmatrix} \]

şeklinde parametrizes eder.

Nonnegativity constraints:

\[ \lambda\in[0,s], \qquad \mu\in[0,\min\{\lambda,t\}] \]

olarak verilir.

Denklem (4) uygulanınca:

\[ W^2(\rho,\sigma) = \frac{1}{2} \min_{\lambda,\mu} \left[ \left( \sqrt{1-s-t-\lambda+\mu} - \sqrt{s-\lambda} \right)^2 +t \right]. \]

Kaynağın argümanında objective function önce \(\mu\) bakımından nondecreasing olduğundan minimum:

\[ \mu=0 \]

noktasında alınır.

Ardından kalan ifade \(\lambda\) bakımından da nondecreasing olduğu için:

\[ \lambda=0 \]

seçilir.

Böylece:

\[ W^2(\rho,\sigma) = \frac{1}{2} \left[ \left( \sqrt{1-s-t} -\sqrt{s} \right)^2 +t \right]. \]

Kare açıldığında:

\[ \left( \sqrt{1-s-t} -\sqrt{s} \right)^2 = 1-t-2s - 2\sqrt{s(1-s-t)} + 2s \]

ve buna \(t\) eklendiğinde:

\[ 1-2\sqrt{s(1-s-t)} \]

elde edilir.

Dolayısıyla:

\[ W^2(\rho,\sigma) = \frac{1}{2} - \sqrt{s(1-s-t)}, \]

ve pozitif square root alınarak Denklem (15) elde edilir.

Denklem (16) nasıl türetiliyor?

\(\rho\) ve \(\tau\) için:

\[ P=(1-s,s,0), \qquad R=(t,1-s-t,s). \]

Kaynak coupling matrix’i:

\[ \gamma= \begin{bmatrix} \lambda & 1-2s-\lambda+\mu & s-\mu \\ t-\lambda & s-t+\lambda-\mu & \mu \\ 0&0&0 \end{bmatrix}. \]

Admissible parameters:

\[ \lambda\in[0,t], \qquad \mu\in[0,s-t+\lambda]. \]

Denklem (4):

\[ W^2(\rho,\tau) = \frac{1}{2} \min_{\lambda,\mu} \left[ \left( \sqrt{1-2s-\lambda+\mu} - \sqrt{t-\lambda} \right)^2 +s \right]. \]

Kaynak yine objective function’ın \(\mu\) ve ardından \(\lambda\) bakımından nondecreasing olduğunu kullanır. Minimum:

\[ \mu=0, \qquad \lambda=0 \]

noktasındadır.

Böylece:

\[ W^2(\rho,\tau) = \frac{1}{2} \left[ \left( \sqrt{1-2s} -\sqrt{t} \right)^2 +s \right]. \]

Bu ifade düzenlendiğinde:

\[ W^2(\rho,\tau) = \frac{1}{2}(1+t-s) - \sqrt{t(1-2s)} \]

ve dolayısıyla Denklem (16) elde edilir.

Denklem (17) neden daha farklı bir kanıt gerektiriyor?

\(\sigma\) ve \(\tau\) arasındaki bütün classical couplings’i doğrudan parametrizes etmek kaynakta dört parameter gerektireceği için, Miller bunun yerine objective function için lower bound kurar ve daha sonra bu lower bound’u gerçekleştiren açık bir coupling gösterir.

Tanım:

\[ \Phi(\gamma) := \sum_{1\le i

Önce nonnegative olan bir summand ihmal edilerek:

\[ \Phi(\gamma) \ge \left( \sqrt{\gamma_{12}} -\sqrt{\gamma_{21}} \right)^2 + \left( \sqrt{\gamma_{13}} -\sqrt{\gamma_{31}} \right)^2. \]

Bu iki terim:

\[ \sum_{j=1}^{3} \left( \sqrt{\gamma_{1j}} - \sqrt{\gamma_{j1}} \right)^2 \]

olarak yazılır.

Cauchy–Schwarz inequality kullanılarak:

\[ \sum_{j=1}^{3} \left( \sqrt{\gamma_{1j}} - \sqrt{\gamma_{j1}} \right)^2 \ge \left( \sqrt{ \sum_{j=1}^{3}\gamma_{1j} } - \sqrt{ \sum_{j=1}^{3}\gamma_{j1} } \right)^2. \]

Coupling marginals nedeniyle:

\[ \sum_j\gamma_{1j}=s, \qquad \sum_j\gamma_{j1}=t. \]

Dolayısıyla:

\[ \Phi(\gamma) \ge (\sqrt{s}-\sqrt{t})^2. \]

Denklem (4) ile:

\[ W^2(\sigma,\tau) = \frac{1}{2} \min_{\gamma\in\Gamma_{\mathrm{cl}}(Q,R)} \Phi(\gamma) \ge \frac{1}{2} (\sqrt{s}-\sqrt{t})^2. \]

Bu lower bound kaynakta verilen:

\[ \gamma^\ast = \begin{bmatrix} 0&0&s\\ 0&1-s-t&0\\ t&0&0 \end{bmatrix} \]

coupling’i tarafından attain edilir.

Dolayısıyla inequality eşitliğe dönüşür:

\[ W^2(\sigma,\tau) = \frac{1}{2} (\sqrt{s}-\sqrt{t})^2 \]

ve:

\[ W(\sigma,\tau) = \frac{1}{\sqrt{2}} (\sqrt{s}-\sqrt{t}). \]

Bu da Denklem (17)’dir.

Üçgen eşitsizliği tam olarak nasıl bozuluyor?

Kaynak, admissible parameter region \(\Delta\)’nın bütün iç noktalarında \(W(\rho,\tau)-W(\rho,\sigma)-W(\sigma,\tau)>0\) olduğunu gösteriyor; bu nedenle triangle inequality yalnız tek bir tesadüfi parameter seçiminde değil, açık bir iki-parametreli karşı-örnek ailesinde başarısız oluyor.

Denklem (15)–(17), triangle inequality’nin gerekli yönüyle karşılaştırıldığında kaynak şu ters eşitsizliği kanıtlamayı hedefler:

\[ W(\rho,\tau)> W(\rho,\sigma) + W(\sigma,\tau). \]

Kaynağın Denklem (18)’deki eşdeğer biçimi:

\[ \sqrt{ 1+t-s - 2\sqrt{t(1-2s)} } > \sqrt{ 1 - 2\sqrt{s(1-s-t)} } + \sqrt{s} - \sqrt{t}, \tag{18} \]

ve validity region:

\[ 0

Bu koşullar tam olarak \(\Delta\)’nın interior kısmını ifade eder.

Neden yeni \(r\) ve \(a\) değişkenleri tanımlanıyor?

Kaynak proof’un son kısmını daha yönetilebilir hale getirmek için:

\[ r := \frac{\sqrt{t}}{\sqrt{s}} \]

ve:

\[ a := \frac{ \sqrt{1-2s}-\sqrt{t} }{ \sqrt{s} } \]

tanımlarını kullanır.

Interior constraints nedeniyle:

\[ 00. \]

Denklem (18) bu variables ile:

\[ \sqrt{1+a^2} +r-1 > \sqrt{ \left( \sqrt{1+a^2+2ar}-1 \right)^2 +r^2 }. \tag{19} \]

biçimine dönüştürülür.

Her iki taraf pozitif olduğundan squares alınabilir. Algebraic cancellation sonrasında istenen inequality:

\[ (1-r) \sqrt{1+a^2} + r(1+a) < \sqrt{1+a^2+2ar}. \tag{20} \]

olur.

Strict concavity son adımı neden çözüyor?

Kaynak:

\[ f(r) = \sqrt{1+a^2+2ar} \]

function’ını \([0,1]\) interval’ında ele alır.

\(a>0\) için bu function strictly concave’dir.

Strict concavity’nin temel sonucu, \(0

\[ f(r)> (1-r)f(0)+rf(1). \]

Endpoint values:

\[ f(0)=\sqrt{1+a^2} \]

ve:

\[ f(1) = \sqrt{1+a^2+2a} = \sqrt{(1+a)^2} = 1+a \]

olduğundan:

\[ f(r)> (1-r)\sqrt{1+a^2} + r(1+a). \]

Bu tam olarak Denklem (20)’dir.

Böylece:

\[ W(\rho,\tau)> W(\rho,\sigma)+W(\sigma,\tau) \]

interior \(\Delta^\circ\)’nun tamamında kanıtlanmış olur.

Figure 1'in matematiksel mesajı

Kaynak Figure 1,

\[ g(s,t) := W(\rho,\tau) - W(\rho,\sigma) - W(\sigma,\tau) \]

function’ını admissible parameter region \(\Delta\) üzerinde gösterir.

Kaynak caption’ına göre:

• \(g(s,t)=0\), boundary \(\partial\Delta\) üzerinde;
• \(g(s,t)>0\), interior \(\Delta^\circ\) üzerinde.

Dolayısıyla grafik, analitik proof’un görsel karşılığıdır; proof’un yerine geçen numerical evidence değildir.

Karşı-örnek neden bütün \(n>3\) boyutlarına uzanıyor?

Kaynak, üç-dimensional counterexample states’i higher-dimensional space içine:

\[ \rho\oplus\mathbf{0}_{n-3}, \qquad \sigma\oplus\mathbf{0}_{n-3}, \qquad \tau\oplus\mathbf{0}_{n-3} \]

şeklinde gömer.

\(\mathbf{0}_{n-3}\), ek dimensions üzerinde zero block’tur.

Bu embedding ilk üç dimensions’daki probability structure’ı değiştirmez. Bu nedenle \(n=3\)’te var olan triangle-inequality violation daha yüksek dimensions’a da taşınır.

Burada doğru sonuç:

Karşı-örnek \(n=3\) ile başlar ve bütün \(n>3\) dimensions için de counterexample üretir.

Yanlış sonuç ise:

\(n=2\) için de aynı failure kanıtlandı.

olurdu. Kaynak tam tersine \(n=2\)’yi bilinen özel metric durumlarından biri olarak hatırlatmaktadır.

Conjecture I neden çürütülüyor?

Conjecture I, \(C^Q\) cost matrix ile tanımlanan quantum 2-Wasserstein semidistance’ın bütün dimensions için triangle inequality sağlayacağını öne sürüyordu.

Miller’ın family’si \(n=3\) için açık bir violation verdiği anda “bütün \(n\)” iddiası yanlışlanmış olur.

Tek bir geçerli counterexample universal mathematical conjecture’ı çürütmek için yeterlidir. Bu çalışma ise tek bir isolated point yerine \(\Delta^\circ\) içinde geniş bir iki-parametreli family göstermektedir.

Conjecture II neden ayakta kalmıyor?

Conjecture II, söz konusu metric davranışının \(C^Q\)’nun küçük perturbations çevresinde de korunacağı yönündeydi. Çalışma \(C^Q\)’nun kendisi için temel triangle-inequality property’sinin başarısız olduğunu gösterdiği için \(C^Q\) merkezli bu conjectured metric neighborhood’un dayanağı da ortadan kalkmaktadır. Kaynak abstract ve introduction bölümünde iki conjecture’ın da bu analytical counterexamples ile disproved edildiğini açıkça belirtmektedir.

Çalışmanın desteklediği sonuçlar

• Genel \(W_{C_E,p}\) construction bir semidistance olarak ele alınabilir ancak triangle inequality genel durumda garanti değildir.
• Özel antisymmetric projector \(C^Q\) için tanımlanan quantum 2-Wasserstein quantity, \(n=3\)’te triangle inequality’yi ihlal eden diagonal-state counterexamples kabul eder.
• Bu counterexamples zero-block embedding ile bütün \(n>3\) boyutlarına genişletilebilir.
• Diagonal states için \(W_{C_E,p}\), Proposition 1’de verilen classical-coupling minimization formülüne indirgenebilir.
• Quantum/classical transport farkında off-diagonal coupling terms belirleyici matematiksel rol oynar.
• Kaynakta tanımlanan \(\Delta^\circ\) bölgesinin tamamında triangle defect pozitiftir.
• \(n=2\) ve pure-state restrictions gibi daha önce bilinen özel sonuçlar bu counterexample tarafından iptal edilmez.

Çalışmanın desteklemediği sonuçlar

• Çalışma “bütün quantum Wasserstein distances yanlıştır” sonucunu göstermemektedir.
• Bütün quantum optimal transport formulations’ın metric olamayacağını bu makale tek başına kanıtlamamaktadır.
• Çalışma fiziksel quantum transport experiment gerçekleştirmemektedir.
• Çalışma kuantum bilgisayarda bir algorithm benchmark etmiyor.
• “Quantum transport cheaper” ifadesi enerji, zaman veya ekonomik maliyet üstünlüğü anlamına gelmez.
• Karşı-örnek \(n=2\) durumunu çürütmez.
• Kaynak \(p<2\), bütün possible cost operators veya bütün alternatif quantum-transport definitions için tek bir universal no-go theorem ileri sürmemektedir.
• Figure 1 numerical simulation yoluyla teoremi kanıtlamaz; asıl sonuç analytical proof’tan gelir.

Sembol ve kavram tablosu

Boyut ve birim notu

Bu çalışma matematiksel bir quantum-information çalışmasıdır. Density-matrix entries, probabilities, coupling coefficients, \(s,t,r,a\) parameters ve tanımlanan normalized transport quantities fiziksel SI birimleriyle verilmez. Dolayısıyla metre, joule, saniye veya başka dimensional units bu denklemlerde bulunmaz.

Kaynak içi notasyon uyarısı

Remark 3’te kaynak:

\[ \rho=\operatorname{diag}(r,1-r), \qquad \sigma=\operatorname{diag}(s,1-s) \]

tanımından hemen sonra coupling matrix içinde:

\[ p,\ q \]

sembollerine geçmektedir.

Kaynak bu notation change için ayrı bir açıklama vermemektedir. Verianla matematiksel bağlamdan \(p\) ve \(q\)’nun burada ilgili two-state probability parameters rolünde kullanıldığını gösterebilir; ancak özgün kaynaktaki harf değişimini görünmez biçimde yeniden yazıp “kaynak böyle yazmış” izlenimi yaratmaz.

Acknowledgement içindeki yapay zekâ bilgisi

Makalenin Acknowledgements bölümünde yazar, karşı-örneklerin bulunmasında ChatGPT 5.4 Pro desteğinden yararlanıldığını belirtmektedir.

Bu ifade çalışmanın matematiksel kanıtlarının otomatik olarak doğrulanmış olduğu anlamına gelmez. Yayınlanan preprintte analitik proof zinciri açıkça yazılmıştır ve bilimsel değerlendirme bu proof’un matematiksel geçerliliği üzerinden yapılmalıdır.

Kaynak ve Yöntem Notu

Özgün başlık: Comment on ‘Quantum Monge–Kantorovich Problem and Transport Distance between Density Matrices’

Yazar: Tomasz Miller

Yazar sırası: Tek yazarlı çalışma.

Corresponding author: Tomasz Miller; kaynak PDF’de yıldız işaretiyle iletişim yazarı olarak belirtilmiştir.

E-posta: tomasz.miller@uj.edu.pl

Eş katkı: Uygulanabilir değil; çalışma tek yazarlıdır.

Kurum: Copernicus Center for Interdisciplinary Studies, Jagiellonian University, Szczepańska 1/5, 31-011 Kraków, Poland.

Alan: Quantum Physics, Mathematical Physics, quantum optimal transport, density-matrix geometry.

Kaynak türü: Teorik/matematiksel comment preprint.

Hakemlik durumu: Yüklenen kaynak arXiv preprintidir. Verianla incelemesi sırasında doğrulanan resmî kayıt arXiv v1 kaydıdır; yüklenen dosyada ayrı bir hakemli journal publication bilgisi yer almamaktadır.

arXiv: arXiv:2607.07764v1 [quant-ph].

DOI: 10.48550/arXiv.2607.07764.

arXiv gönderim tarihi: 8 Temmuz 2026.

PDF üzerindeki manuscript tarihi: 10 Temmuz 2026.

Platform: arXiv.

Birincil konu kategorisi: Quantum Physics (quant-ph).

İlişkili alan: Mathematical Physics.

Resmî bağlantı: https://arxiv.org/abs/2607.07764

DOI bağlantısı: https://doi.org/10.48550/arXiv.2607.07764

Sayfa sayısı: 7.

Şekil sayısı: 1.

Tablo: Kaynakta ayrı numaralı tablo bulunmamaktadır.

Deney/simülasyon durumu: Fiziksel deney yoktur. Kuantum donanımı kullanılmamıştır. Ana sonuç analytical counterexample ve proof’tur. Figure 1, analitik formüllerden tanımlanan triangle-defect function’ın parameter-space gösterimidir.

Temel problem: Friedland, Eckstein, Cole ve Życzkowski tarafından tanımlanan quantum 2-Wasserstein semidistance’ın özel \(C^Q\) cost matrix için tüm dimensions’da gerçek bir metric olup olmadığının sınanması.

Temel sonuç: \(n=3\) diagonal states için geniş bir counterexample family’sinde triangle inequality ihlal edilmektedir; family \(n>3\)’e zero-block embedding ile genişletilebilir.

Proposition 1: Diagonal density matrices arasındaki \(W_{C_E,p}\), classical couplings üzerinde \(\frac12\sum E_{ij}^p(\sqrt{\gamma_{ij}}-\sqrt{\gamma_{ji}})^2\) objective’iyle ifade edilmektedir.

Önemli özel durum: \(n=2\) ve pure-state restrictions için daha önce bilinen metric sonuçları bu çalışma tarafından çürütülmemektedir; kaynak bunlar için gerekli \(p\ge2\) koşulunu belirtmektedir.

Kaynak içi notasyon sorunu: Remark 3’te two-level states \(r,s\) ile tanımlanırken coupling ve Denklem (13) \(p,q\) sembollerine geçmektedir. Kaynak bunun için ayrı açıklama vermemektedir.

Normalization yorumu: Yazar, classical Wasserstein limitini doğrudan geri kazanmak açısından Denklem (2)’de cost’un factor 2 ile normalize edilmesinin daha uygun olabileceğini Remark 2’de önermektedir. Bu, kaynağın matematiksel yorumu olarak aktarılmıştır.

Lisans: Yüklenen PDF üzerinde açık bir Creative Commons lisans beyanı görünmemektedir. Bu nedenle Verianla içeriğinde kaynak metin veya özgün Figure 1 birebir yeniden yayımlanmamış; bilimsel bilgi bağımsız öğretici metin ve özgün SVG yapısıyla aktarılmıştır.

Finansman: Kaynakta ayrı bir funding statement verilmemiştir.

Çıkar çatışması: Kaynakta ayrı bir conflict-of-interest statement verilmemiştir.

Veri erişilebilirliği: Çalışma deneysel dataset kullanmamaktadır; ayrı bir data-availability statement verilmemiştir.

Yazar katkıları: Tek yazarlı çalışmada ayrı CRediT breakdown verilmemiştir.

Acknowledgement: Yazar, karşı-örneklerin ChatGPT 5.4 Pro yardımıyla bulunduğunu belirtmiştir.

Kaynağın dayandığı temel çalışma: Shmuel Friedland, Michał Eckstein, Sam Cole ve Karol Życzkowski, “Quantum Monge–Kantorovich problem and transport distance between density matrices”, Physical Review Letters 129, 110402 (2022).

İkinci temel kaynak: Sam Cole, Michał Eckstein, Shmuel Friedland ve Karol Życzkowski, “On quantum optimal transport”, Mathematical Physics, Analysis and Geometry 26, 14 (2023).

Üçüncü kaynak: Tomasz Miller ve R. Bistroń, “Distances between pure quantum states induced by a distance matrix”, arXiv:2509.14727 [math-ph] (2025).