Kvant optimal daşınma məsafəsi \(W_{C_E,p}\), müəyyən marjinallara malik kvant coupling vəziyyətləri üzərində xərc operatorunun gözlənilən qiymətini minimuma endirməklə iki sıxlıq matrisi arasındakı əlaqəni ölçməyə çalışan məsafəyə-bənzər riyazi kəmiyyətdir. Tomasz Millerin bu işi, Friedland və həmkarlarının 2022-ci ildə təklif etdiyi xüsusi kvant xərc matrisi üçün bu kəmiyyətin bütün ölçülərdə həqiqi məsafə olacağına dair conjecture-u analitik əks-nümunələr ailəsi ilə araşdırır və üçbucaq bərabərsizliyinin üçölçülü diaqonal sıxlıq matrisləri üçün pozulduğunu göstərir.

İşin mərkəzindəki xüsusi xərc matrisi antisymmetric subspace üzərinə projector olan \(C^Q\)-dur. Əvvəlki işdə \(C^Q\) istifadə edilərək müəyyən edilən quantum 2-Wasserstein semidistance-ın Hilbert fəzasının istənilən ölçüsündə triangle inequality-ni ödəyəcəyi conjecture edilmişdi. Miller isə müəyyən \(\rho\), \(\sigma\) və \(\tau\) diaqonal sıxlıq matrisləri ailəsi üçün

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

olduğunu analitik olaraq sübut edir. Məsafə üçbucaq bərabərsizliyini ödəməli olduğuna görə, bu tək istiqamətli ciddi bərabərsizlik belə sözügedən kəmiyyətin ümumi halda metrik ola bilməyəcəyini göstərir.

Əks-nümunələr yalnız üç ölçü ilə məhdudlaşmır. Mənbədə verilən üçölçülü sıxlıq matrisləri daha yüksək ölçülərə sıfır bloklar əlavə etməklə yerləşdirilə bildiyi üçün eyni problem bütün \(n>3\) ölçülərə daşına bilər. Bununla belə, iş əvvəllər sübut olunmuş xüsusi halları aradan qaldırmır: \(n=2\) halı və yalnız pure states ilə məhdudlaşdırıldıqda, zəruri \(p\ge2\) şərti altında triangle inequality-nin ödənilə bildiyi xüsusi hallar qüvvədə qalır.

İşin ikinci mühüm töhfəsi diaqonal, yəni bu kontekstdə “classical” sıxlıq matrisləri arasındakı quantum transport problemini klassik coupling-lər üzərində minimallaşdırmaya endirən ümumi düsturdur. Proposition 1 ilə alınan bu düstur quantum və classical transport arasındakı fərqin niyə yarandığını da aydın göstərir: quantum coupling matrisindəki off-diagonal terminlər xərcə \(\sqrt{\gamma_{ij}\gamma_{ji}}\) şəklində azaldıcı töhfə verə bilər.

Buradakı “quantum” fiziki kvant kompüterində hesablama aparıldığı demək deyil. İş nəzəri kvant informasiyası və riyazi fizika səviyyəsindədir; laboratoriya təcrübəsi, quantum processor və ya hardware istifadəsi yoxdur. Nəticələr sıxlıq matrisləri, tensor-product fəzalar, partial traces, projectors, classical/quantum couplings və analitik bərabərsizliklər əsasında çıxarılmışdır.

Kvant optimal daşınma problemi nədir?

Kvant optimal daşınma problemi klassik optimal transport problemində iki ehtimal paylanmasını bir-biri ilə uyğunlaşdırmaq ideyasını sıxlıq matrislərinə daşıyan və iki kvant vəziyyətinə aid sabit marjinalları qoruyan bipartite kvant vəziyyətləri arasında minimum xərcli coupling-i axtaran riyazi optimallaşdırma problemidir.

Klassik optimal daşınma ideyası

Klassik optimal transport problemində iki probability distribution arasında “kütlənin” bir paylanmadan digərinə necə daşınacağı nəzərdən keçirilir. Coupling başlanğıc və hədəf paylanmalarını marjinal olaraq qoruyan ortaq ehtimal paylanmasıdır. Hər \(i\rightarrow j\) daşınmasının \(E_{ij}\) xərci varsa, optimallaşdırma problemi ümumi transport cost-u minimum edən coupling-i axtarır.

Wasserstein distance bu yanaşmanın ən tanınmış məsafə ailələrindən biridir. Lakin bu məqalədə klassik Wasserstein nəzəriyyəsinin hamısı birbaşa araşdırılmır; əsas məsələ Friedland və həmkarlarının sıxlıq matrisləri üçün təklif etdiyi kvant analoqunun həqiqətən metrik olub-olmamasıdır.

Sıxlıq matrisi nədir?

Sıxlıq matrisi \(\rho\), kvant vəziyyətini təmsil edən müsbət yarı-müəyyən və izi 1 olan operatordur. Saf vəziyyətlər rank-1 projector şəklində təmsil edilə bildiyi halda, mixed states bir neçə mümkün vəziyyətin statistik qarışığını ehtiva edir.

Bu məqalədəki əks-nümunələrin mühüm xüsusiyyəti istifadə olunan sıxlıq matrislərinin diaqonal olmasıdır. Məsələn:

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

ifadəsi computational basis-də yalnız diaqonal entries ehtiva edən density matrix-dir. Diaqonal entries mənfi deyil və cəmləri 1-dir. Buna görə həmin entries eyni zamanda probability vector kimi də oxuna bilər.

Mənbə bu tip diaqonal states-i “classical states” adlandırır. Bunun səbəbi seçilmiş basis-də off-diagonal quantum coherence terminlərinin olmamasıdır.

Semidistance ilə həqiqi metrik arasındakı kritik fərq nədir?

Bu iş kontekstində \(W_{C_E,p}\) məsafəyə-bənzər semidistance-dır; həqiqi metrik olmaq üçün digər zəruri xüsusiyyətlərlə yanaşı üçbucaq bərabərsizliyini də ödəməlidir. Millerin əks-nümunəsi məhz üçbucaq bərabərsizliyinin uğursuz olduğunu göstərdiyinə görə ümumi metrik iddiasını aradan qaldırır.

Bir metrik \(d\) üçün üç nöqtə və ya vəziyyət \(A,B,C\) seçildikdə:

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

olmalıdır.

İntuitiv mənası budur: \(A\)-dan \(C\)-yə birbaşa məsafə, \(B\) üzərindən gedilən yolun cəmindən daha uzun ola bilməz.

Bu işdə isə müəyyən \(\rho,\sigma,\tau\) üçün əks istiqamətdə ciddi bərabərsizlik alınır:

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

Beləliklə, \(W\) sözügedən vəziyyət fəzasında həqiqi metrik deyil.

Kvant coupling nədir?

Kvant coupling iki hədəf sıxlıq matrisini partial trace vasitəsilə marjinal olaraq geri verən bipartite density matrix-dir; məqalədə \(\Gamma(\rho_1,\rho_2)\), \(\operatorname{Tr}_1\rho_{12}=\rho_2\) və \(\operatorname{Tr}_2\rho_{12}=\rho_1\) şərtlərini ödəyən bütün \(\rho_{12}\) vəziyyətlərinin çoxluğudur.

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

\[ \rho_1,\rho_2 \]

verildikdə coupling:

\[ \rho_{12} \]

\(n^2\times n^2\) ölçülü bipartite density matrix-dir.

Mənbənin şərtləri:

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

Burada \(\operatorname{Tr}_1\) və \(\operatorname{Tr}_2\), tensor-product sisteminin müvafiq olaraq birinci və ikinci altsistemini trace edərək aradan qaldıran partial-trace əməliyyatlarıdır.

Bu quruluş klassik coupling ideyasının kvant qarşılığıdır. Classical coupling-də ortaq probability matrix-in sətir və sütun cəmləri verilmiş probability vectors-u qaytararkən, quantum coupling-də eyni rolu partial traces yerinə yetirir.

Antisymmetric subspace və SWAP operator bu işdə niyə vacibdir?

İşin mərkəzindəki xüsusi quantum cost matrix \(C^Q\), iki altsistemi dəyişdirən SWAP operatorun antisymmetric subspace üzərindəki projector-udur və əvvəlki conjecture məhz bu xüsusi xərc üçün müəyyən edilən quantum 2-Wasserstein semidistance-ın bütün ölçülərdə triangle inequality-ni ödəyəcəyi iddiasına əsaslanır.

Antisymmetric basis state

Mənbə əvvəlcə:

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

vəziyyətini müəyyən edir.

Burada:

• \(|i\rangle\) və \(|j\rangle\) sabit computational basis elementləridir.
• \(|ij\rangle=|i\rangle\otimes|j\rangle\) tensor-product basis state-dir.
• \(|i\wedge j\rangle\), \(i\) və \(j\) yerlərini dəyişdikdə işarəsi dəyişən normalized antisymmetric combination-dır.
• \(1/\sqrt{2}\) əmsalı vəziyyətin normasını 1 etmək üçün lazımdır.

Ümumi quantum cost matrix

İstənilən \(n\times n\) distance matrix \(E=(E_{ij})\) üçün mənbə Tənlik (1)-də:

\[ C_E := \sum_{i

tərifindən istifadə edir.

\(|i\wedge j\rangle\langle i\wedge j|\), müvafiq antisymmetric direction üzərinə rank-1 projector-dur. \(E_{ij}\) əmsalları bu directions üçün cost weights rolunu oynayır.

\(C_E\) fiziki enerji Hamiltonian-ı olmaq məcburiyyətində deyil. Bu işdə onun rolu transport optimization daxilində xərci müəyyən edən Hermitian operator olmaqdır.

Quantum p-Wasserstein analoqu

Mənbənin Tənlik (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

Düsturun mənası addım-addım belədir:

1. İki hədəf state \(\rho_1\) və \(\rho_2\) sabitlənir.
2. Bu states-i partial traces kimi verən bütün quantum couplings \(\rho_{12}\) nəzərə alınır.
3. Hər coupling üçün \(C_E^p\) ilə müəyyən edilən cost hesablanır.
4. Bütün couplings içində minimum qiymət seçilir.
5. Nəticə \(1/p\) qüvvətinə yüksəldilir.

Bu kəmiyyət mənbədə quantum analogue of the \(p\)-Wasserstein distance kimi nəzərdən keçirilir. Lakin məqalənin əsas mövzusu bu analoqun hansı şərtlərdə həqiqətən metrik xüsusiyyətlərini daşımasıdır.

Xüsusi antisymmetric projector \(C^Q\)

Əvvəlki conjecture üçün xərc matrisi:

\[ C^Q := \sum_{i

olaraq seçilir.

Burada \(S\), SWAP operator-dur:

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

\(\mathbf{1}_{n^2}\), \(n^2\)-dimensional tensor-product space üzərində identity operator-dur.

Bu xüsusi halda quantum 2-Wasserstein semidistance:

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

Əvvəlki Conjecture I bu kəmiyyətin hər dimension \(n\) üçün triangle inequality-ni ödəyəcəyini irəli sürürdü. Conjecture II isə bu xüsusiyyətin \(C^Q\) ətrafındakı kiçik cost-matrix perturbations altında da qorunacağını irəli sürürdü.

Proposition 1 nəyi sübut edir?

Proposition 1 giriş states diaqonal olduqda quantum transport optimallaşdırmasının tamamilə classical coupling matrix \(\gamma\) üzərindən yazıla bildiyini və quantum təsirinin \((\sqrt{\gamma_{ij}}-\sqrt{\gamma_{ji}})^2\) quruluşunda görünən olduğunu sübut edir.

Probability vectors:

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

olsun.

Bunlara uyğun diaqonal density matrices:

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

üçün 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

nəticəsini verir.

\(\Gamma_{\mathrm{cl}}(P,Q)\), \(P\) və \(Q\)-nun bütün classical couplings çoxluğudur. Coupling matrix \(\gamma=(\gamma_{ij})\) üçün:

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

Beləliklə, sətir cəmləri \(P\)-ni, sütun cəmləri isə \(Q\)-nu verir.

Proposition 1-in sübutu niyə üç addıma bölünür?

Sübutun əsas strategiyası diaqonal giriş states üçün lazımsız quantum phase information-u ortalama yolu ilə aradan qaldırmaq, coupling matrix-i kiçik block-lara endirmək və positivity constraint vasitəsilə optimal off-diagonal terms-i müəyyən etməkdir.

Addım 1 — Diagonal unitary phase averaging

Mənbə:

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

üçün diagonal unitary operator müəyyən edir:

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

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

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

Sonra bütün phase angles üzrə average alınır:

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

Bu əməliyyat “phase twirling” tipli symmetrization kimi düşünülə bilər. Məqsəd coupling-i dəyişdirmək deyil, diaqonal marginals ilə əlaqəsiz phase-dependent matrix elements-i ortalama yolu ilə aradan qaldırmaqdır.

Matrix element çevrilməsi:

\[ \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 niyə dəyişmir?

\(\rho\) diaqonal olduğuna görə:

\[ \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 bərabərlik ona əsaslanır ki, diaqonal \(\rho\) üçün off-diagonal \(\langle i|\rho|k\rangle\) entries \(i\neq k\) olduqda onsuz da sıfırdır.

Eyni qaydada:

\[ \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} \]

Beləliklə:

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

və phase average \(\widetilde{\omega}\) də eyni coupling set daxilində qalır.

Cost niyə phase averaging altında dəyişmir?

Antisymmetric state:

\[ |i\wedge j\rangle \]

diagonal unitary pair altında yalnız global phase qazanı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-nu dəyişmədiyi üçün:

\[ \sum_{i

Bunun nəticəsi çox mühümdür: optimal coupling axtarılarkən bütün possible quantum couplings əvəzinə yalnız phase-averaged couplings üzərində minimization aparmaq kifayətdir.

Addım 2 — Phase averaging hansı matrix elements-i saxlayır?

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 yalnız index multisets:

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

olduqda nonzero qala bilər.

Beləliklə, 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}, \]

və:

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

şəklindədir.

Hermiticity ikinci off-diagonal entry-nin complex conjugate olmasını tələb edir.

Positive semidefiniteness isə hər \(2\times2\) block üçün:

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

constraint-i verir.

\(\gamma\) niyə həqiqətən classical coupling olur?

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 \]

və:

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

şərtlərini ödəyir.

Buna görə \((\gamma_{ij})\), \(P\) və \(Q\) arasındakı ordinary classical coupling matrix-dir.

Addım 3 — Quantum cost necə classical coupling düsturuna çevrilir?

Phase-averaged coupling üçün cost:

\[ \sum_{i

Positive-semidefinite constraint:

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

olduğuna görə:

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

Cost daxilindəki termin \(-2\operatorname{Re}z_{ij}\) olduğuna görə cost-u azaltmaq üçün mümkün olan ən böyük \(\operatorname{Re}z_{ij}\) tələb olunur. Aşağı hədd:

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

Bu lower bound yalnız formal bound olaraq qalmır. Mənbə:

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

seçimi ilə bound-un attain edilə bildiyini göstərir.

Beləliklə, Proposition 1-dəki Tənlik (4) tam bərabərlik kimi əldə edilir.

Quantum transport niyə classical transport-dan daha aşağı çıxa bilər?

Mənbənin Remark 2-sinə görə diaqonal states üçün quantum transport cost-un classical transport qarşılığından kiçik ola bilməsinin riyazi mənbəyi quantum coupling-də icazə verilən off-diagonal \(z_{ij}\) terminlərinin cost daxilində \(-2\sqrt{\gamma_{ij}\gamma_{ji}}\) formasında azaldıcı interference töhfəsi yarada bilməsidir.

Tənlik (4) istifadə edildikdə:

\[ \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\) həqiqi distance matrix olduqda ən sağdakı ifadə classical \(p\)-Wasserstein distance-ın \(2^{-1/p}\) əmsalı ilə miqyaslanmış formasıdır.

Buradakı “daha ucuz transport” ifadəsi fiziki enerji sərfi demək deyil. Yalnız müəyyən edilmiş mathematical objective function-ın optimal qiymətinin daha kiçik olmasını ifadə edir.

Mənbənin normalization təklifi

Miller bu \(2^{-1/p}\) factor səbəbindən əvvəlki tərifdə:

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

şəklində factor 2 istifadə edilməsinin classical states və classical couplings ilə məhdudlaşdırıldıqda standard classical \(p\)-Wasserstein distance-ın birbaşa geri alınmasını təmin edəcəyini bildirir.

Bu məqam mənbədə müəllifin riyazi normalization qiymətləndirməsidir. Verianla bunu yeni qəbul edilmiş standart kimi təqdim etmir.

İkiölçülü xüsusi hal niyə vacibdir?

\(n=2\) halı vacibdir, çünki əvvəlki işdə bu xüsusi ölçüdə triangle inequality-nin ödənildiyi sübut edilmişdir; Millerin Proposition 1 düsturu da \(n=2\) üçün əvvəlki məlum nəticəni yenidən hasil edərək yeni düstur üçün uyğunluq yoxlaması verir.

Mənbə Remark 3-də:

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

seçimini nəzərdən keçirir.

Mənbə mətnində states:

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

şəklində təqdim olunur.

Notasiya qeydi: Dərhal sonrakı coupling matrix və Tənlik (13) mənbədə \(r,s\) əvəzinə \(p,q\) simvollarını istifadə edir. Aşağıda mənbə tənliyinin öz \(p,q\) notasiyası qorunub.

Classical couplings tək \(\lambda\) parametri ilə:

\[ \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\}. \]

şəklindədir.

Tənlik (4) istifadə edildikdə:

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

Minimum nəticəsində mənbə Tənlik (13)-ü əldə edir:

\[ 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 eyni zamanda:

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

forması ilə ekvivalentdir.

Mənbə ekvivalentliyi:

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

əlaqəsinə bağlayır.

Tədqiqatın Metodu və Nəticələri

Üçölçülü əks-nümunə ailəsi necə qurulur?

Əks-nümunə üç diaqonal \(3\times3\) density matrix-in iki parametrli ailəsi ilə qurulur; \(s,t\) admissible region daxilində seçildikdə direct \(\rho\rightarrow\tau\) quantum transport value, \(\sigma\) üzərindən keçən iki transport value-nun cəmindən böyük olur və triangle inequality pozulur.

Üç density matrix

Mənbə Tənlik (14)-də:

\[ \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} \]

təriflərindən istifadə edir.

Parameter space:

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

Bu constraints təsadüfi deyil. Bütün diaqonal entries-in nonnegative olması və states-in etibarlı probability distributions/density matrices kimi qalması lazımdır.

Məsələn, \(\rho\) üçün entries:

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

olub cəmi:

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

\(\sigma\) və \(\tau\) üçün də entries 1-ə cəmlənir.

Üç pairwise transport value

Mənbə bu bölmədə \(W_{C_E,2}\)-ni qısaca \(W\) ilə göstərir və əvvəlcə aşağıdakı üç closed-form nəticəni sübut edir:

\[ 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\) daxilində \(t\le s\) olduğuna görə \(\sqrt{s}-\sqrt{t}\ge0\), buna görə Tənlik (17)-də mütləq qiymət tələb etməyən müsbət sıra qorunur.

Tənlik (15) necə çıxarılır?

\(\rho\) və \(\sigma\)-nın probability vectors-u:

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

şəklində yazılır.

Mənbə classical coupling family-ni:

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

şəklində parametrizes edir.

Nonnegativity constraints:

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

şəklində verilir.

Tənlik (4) tətbiq edildikdə:

\[ 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]. \]

Mənbənin arqumentində objective function əvvəlcə \(\mu\) baxımından nondecreasing olduğuna görə minimum:

\[ \mu=0 \]

nöqtəsində alınır.

Ardınca qalan ifadə \(\lambda\) baxımından da nondecreasing olduğuna görə:

\[ \lambda=0 \]

seçilir.

Beləliklə:

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

Kvadrat açıldıqda:

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

və buna \(t\) əlavə edildikdə:

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

alınır.

Beləliklə:

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

və müsbət square root alınaraq Tənlik (15) əldə edilir.

Tənlik (16) necə çıxarılır?

\(\rho\) və \(\tau\) üçün:

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

Mənbə 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]. \]

Tənlik (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]. \]

Mənbə yenə objective function-ın əvvəlcə \(\mu\), sonra isə \(\lambda\) baxımından nondecreasing olmasından istifadə edir. Minimum:

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

nöqtəsindədir.

Beləliklə:

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

Bu ifadə sadələşdirildikdə:

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

və nəticədə Tənlik (16) əldə edilir.

Tənlik (17) niyə daha fərqli sübut tələb edir?

\(\sigma\) və \(\tau\) arasındakı bütün classical couplings-i birbaşa parametrizes etmək mənbədə dörd parameter tələb edəcəyi üçün Miller bunun əvəzinə objective function üçün lower bound qurur və sonra həmin lower bound-u gerçəkləşdirən açıq coupling göstərir.

Tərif:

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

Əvvəlcə nonnegative olan bir summand nəzərə alınmayaraq:

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

Bu iki termin:

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

şəklində yazılır.

Cauchy–Schwarz inequality istifadə edilərək:

\[ \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 səbəbilə:

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

Beləliklə:

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

Tənlik (4) ilə:

\[ 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 mənbədə verilən:

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

coupling-i tərəfindən attain edilir.

Beləliklə, inequality bərabərliyə çevrilir:

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

və:

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

Bu da Tənlik (17)-dir.

Üçbucaq bərabərsizliyi dəqiq necə pozulur?

Mənbə admissible parameter region \(\Delta\)-nın bütün daxili nöqtələrində \(W(\rho,\tau)-W(\rho,\sigma)-W(\sigma,\tau)>0\) olduğunu göstərir; buna görə triangle inequality yalnız bir təsadüfi parameter seçimində deyil, açıq iki-parametrli əks-nümunə ailəsində pozulur.

Tənlik (15)–(17) triangle inequality-nin zəruri istiqaməti ilə müqayisə edildikdə, mənbə aşağıdakı tərs bərabərsizliyi sübut etməyi hədəfləyir:

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

Mənbənin Tənlik (18)-dəki ekvivalent forması:

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

və validity region:

\[ 0

Bu şərtlər tam olaraq \(\Delta\)-nın interior hissəsini ifadə edir.

Niyə yeni \(r\) və \(a\) dəyişənləri müəyyən edilir?

Mənbə proof-un son hissəsini daha idarəolunan etmək üçün:

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

və:

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

təriflərindən istifadə edir.

Interior constraints səbəbindən:

\[ 00. \]

Tənlik (18) bu variables ilə:

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

formasına çevrilir.

Hər iki tərəf müsbət olduğuna görə squares almaq olar. Algebraic cancellation-dan sonra tələb olunan inequality:

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

olur.

Strict concavity son addımı niyə həll edir?

Mənbə:

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

function-ı \([0,1]\) intervalında nəzərdən keçirir.

\(a>0\) üçün bu function strictly concave-dir.

Strict concavity-nin əsas nəticəsi, \(0

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

Endpoint values:

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

və:

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

olduğuna görə:

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

Bu, tam olaraq Tənlik (20)-dir.

Beləliklə:

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

bütün interior \(\Delta^\circ\) boyunca sübut edilmiş olur.

Figure 1-in riyazi mesajı

Mənbə Figure 1,

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

function-ı admissible parameter region \(\Delta\) üzərində göstərir.

Mənbənin caption-ına görə:

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

Beləliklə, qrafik analitik proof-un vizual qarşılığıdır; proof-u əvəz edən numerical evidence deyil.

Əks-nümunə niyə bütün \(n>3\) ölçülərə uzanır?

Mənbə üç-dimensional counterexample states-i higher-dimensional space daxilinə:

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

şəklində yerləşdirir.

\(\mathbf{0}_{n-3}\), əlavə dimensions üzərində zero block-dur.

Bu embedding ilk üç dimensions-dakı probability structure-ı dəyişdirmir. Buna görə \(n=3\)-də mövcud olan triangle-inequality violation daha yüksək dimensions-a da daşınır.

Burada düzgün nəticə:

Əks-nümunə \(n=3\) ilə başlayır və bütün \(n>3\) dimensions üçün də counterexample yaradır.

Yanlış nəticə isə:

\(n=2\) üçün də eyni failure sübut edildi.

olardı. Mənbə əksinə, \(n=2\)-ni məlum xüsusi metrik hallarından biri kimi xatırladır.

Conjecture I niyə təkzib edilir?

Conjecture I, \(C^Q\) cost matrix ilə müəyyən edilən quantum 2-Wasserstein semidistance-ın bütün dimensions üçün triangle inequality-ni ödəyəcəyini irəli sürürdü.

Millerin family-si \(n=3\) üçün açıq violation verdiyi anda “bütün \(n\)” iddiası yanlışlanmış olur.

Tək bir etibarlı counterexample universal mathematical conjecture-u təkzib etmək üçün kifayətdir. Bu iş isə tək isolated point əvəzinə \(\Delta^\circ\) daxilində geniş iki-parametrli family göstərir.

Conjecture II niyə qüvvədə qalmır?

Conjecture II sözügedən metrik davranışın \(C^Q\)-nun kiçik perturbations ətrafında da qorunacağını nəzərdə tuturdu. İş \(C^Q\)-nun özü üçün əsas triangle-inequality property-sinin uğursuz olduğunu göstərdiyinə görə, \(C^Q\) mərkəzli bu conjectured metric neighborhood-un əsası da aradan qalxır. Mənbə abstract və introduction bölməsində hər iki conjecture-un bu analytical counterexamples ilə disproved edildiyini açıq şəkildə bildirir.

Tədqiqatın dəstəklədiyi nəticələr

• Ümumi \(W_{C_E,p}\) construction semidistance kimi nəzərdən keçirilə bilər, lakin triangle inequality ümumi halda təmin edilmir.
• Xüsusi antisymmetric projector \(C^Q\) üçün müəyyən edilən quantum 2-Wasserstein quantity, \(n=3\)-də triangle inequality-ni pozan diagonal-state counterexamples qəbul edir.
• Bu counterexamples zero-block embedding vasitəsilə bütün \(n>3\) ölçülərə genişləndirilə bilər.
• Diaqonal states üçün \(W_{C_E,p}\), Proposition 1-də verilən classical-coupling minimization düsturuna endirilə bilər.
• Quantum/classical transport fərqində off-diagonal coupling terms həlledici riyazi rol oynayır.
• Mənbədə müəyyən edilən \(\Delta^\circ\) bölgəsinin hamısında triangle defect müsbətdir.
• \(n=2\) və pure-state restrictions kimi əvvəldən məlum xüsusi nəticələr bu counterexample tərəfindən ləğv edilmir.

Tədqiqatın dəstəkləmədiyi nəticələr

• İş “bütün quantum Wasserstein distances yanlışdır” nəticəsini göstərmir.
• Bu məqalə təkbaşına bütün quantum optimal transport formulations-ın metrik ola bilməyəcəyini sübut etmir.
• İş fiziki quantum transport experiment aparmır.
• İş kvant kompüterində algorithm benchmark etmir.
• “Quantum transport cheaper” ifadəsi enerji, zaman və ya iqtisadi xərc üstünlüyü demək deyil.
• Əks-nümunə \(n=2\) halını təkzib etmir.
• Mənbə \(p<2\), bütün possible cost operators və ya bütün alternativ quantum-transport definitions üçün vahid universal no-go theorem irəli sürmür.
• Figure 1 numerical simulation yolu ilə teoremi sübut etmir; əsas nəticə analytical proof-dan gəlir.

Simvol və anlayış cədvəli

Ölçü və vahid qeydi

Bu iş riyazi quantum-information tədqiqatıdır. Density-matrix entries, probabilities, coupling coefficients, \(s,t,r,a\) parameters və müəyyən edilən normalized transport quantities fiziki SI vahidləri ilə verilmir. Buna görə metr, coul, saniyə və ya digər dimensional units bu tənliklərdə yoxdur.

Mənbədaxili notasiya xəbərdarlığı

Remark 3-də mənbə:

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

tərifindən dərhal sonra coupling matrix daxilində:

\[ p,\ q \]

simvollarına keçir.

Mənbə bu notation change üçün ayrıca izah vermir. Verianla riyazi kontekstdən \(p\) və \(q\)-nun burada müvafiq two-state probability parameters rolunda istifadə edildiyini göstərə bilər; lakin orijinal mənbədəki hərf dəyişikliyini görünməz şəkildə yenidən yazıb “mənbə belə yazıb” təəssüratı yaratmır.

Acknowledgement daxilində süni intellekt məlumatı

Məqalənin Acknowledgements bölməsində müəllif əks-nümunələrin tapılmasında ChatGPT 5.4 Pro dəstəyindən istifadə edildiyini bildirir.

Bu ifadə işin riyazi sübutlarının avtomatik olaraq yoxlanıldığını göstərmir. Yayımlanmış preprintdə analitik proof zənciri açıq şəkildə yazılıb və elmi qiymətləndirmə həmin proof-un riyazi etibarlılığı əsasında aparılmalıdır.

Mənbə və Metod Qeydi

Orijinal başlıq: Comment on ‘Quantum Monge–Kantorovich Problem and Transport Distance between Density Matrices’

Müəllif: Tomasz Miller

Müəllif sırası: Tək müəllifli iş.

Corresponding author: Tomasz Miller; mənbə PDF-də ulduz işarəsi ilə əlaqə müəllifi kimi göstərilib.

E-poçt: tomasz.miller@uj.edu.pl

Bərabər töhfə: Tətbiq edilmir; iş tək müəlliflidir.

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

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

Mənbə növü: Nəzəri/riyazi comment preprint.

Resenziya statusu: Yüklənmiş mənbə arXiv preprintidir. Verianla baxışı zamanı təsdiqlənmiş rəsmi qeyd arXiv v1 qeydidir; yüklənmiş faylda ayrıca resenziyalı journal publication məlumatı yoxdur.

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

DOI: 10.48550/arXiv.2607.07764.

arXiv göndərilmə tarixi: 8 İyul 2026.

PDF üzərindəki manuscript tarixi: 10 İyul 2026.

Platforma: arXiv.

Əsas mövzu kateqoriyası: Quantum Physics (quant-ph).

Əlaqəli sahə: Mathematical Physics.

Rəsmi keçid: https://arxiv.org/abs/2607.07764

DOI keçidi: https://doi.org/10.48550/arXiv.2607.07764

Səhifə sayı: 7.

Şəkil sayı: 1.

Cədvəl: Mənbədə ayrıca nömrələnmiş cədvəl yoxdur.

Təcrübə/simulyasiya vəziyyəti: Fiziki təcrübə yoxdur. Kvant avadanlığı istifadə edilməyib. Əsas nəticə analytical counterexample və proof-dur. Figure 1 analitik düsturlardan müəyyən edilən triangle-defect function-ın parameter-space təsviridir.

Əsas problem: Friedland, Eckstein, Cole və Życzkowski tərəfindən müəyyən edilən quantum 2-Wasserstein semidistance-ın xüsusi \(C^Q\) cost matrix üçün bütün dimensions-da həqiqi metrik olub-olmadığının yoxlanılması.

Əsas nəticə: \(n=3\) diaqonal states üçün geniş counterexample family-də triangle inequality pozulur; family \(n>3\)-ə zero-block embedding ilə genişləndirilə bilər.

Proposition 1: Diaqonal density matrices arasındakı \(W_{C_E,p}\), classical couplings üzərində \(\frac12\sum E_{ij}^p(\sqrt{\gamma_{ij}}-\sqrt{\gamma_{ji}})^2\) objective-i ilə ifadə edilir.

Mühüm xüsusi hal: \(n=2\) və pure-state restrictions üçün əvvəlcədən məlum metrik nəticələri bu iş tərəfindən təkzib edilmir; mənbə bunlar üçün zəruri \(p\ge2\) şərtini göstərir.

Mənbədaxili notasiya problemi: Remark 3-də two-level states \(r,s\) ilə müəyyən edilərkən coupling və Tənlik (13) \(p,q\) simvollarına keçir. Mənbə bunun üçün ayrıca izah vermir.

Normalization şərhi: Müəllif classical Wasserstein limitini birbaşa geri almaq baxımından Tənlik (2)-də cost-un factor 2 ilə normallaşdırılmasının daha uyğun ola biləcəyini Remark 2-də təklif edir. Bu, mənbənin riyazi şərhi kimi çatdırılıb.

Lisenziya: Yüklənmiş PDF-də açıq Creative Commons lisenziya bəyanı görünmür. Buna görə Verianla məzmununda mənbə mətni və ya orijinal Figure 1 pikselbapiksel yenidən yayımlanmayıb; elmi məlumat müstəqil tədris mətni və orijinal SVG quruluşu ilə çatdırılıb.

Maliyyələşdirmə: Mənbədə ayrıca funding statement verilməyib.

Maraqların toqquşması: Mənbədə ayrıca conflict-of-interest statement verilməyib.

Məlumat əlçatanlığı: İş eksperimental dataset istifadə etmir; ayrıca data-availability statement verilməyib.

Müəllif töhfələri: Tək müəllifli işdə ayrıca CRediT breakdown verilməyib.

Acknowledgement: Müəllif əks-nümunələrin ChatGPT 5.4 Pro köməyi ilə tapıldığını bildirib.

Mənbənin əsaslandığı əsas iş: Shmuel Friedland, Michał Eckstein, Sam Cole və Karol Życzkowski, “Quantum Monge–Kantorovich problem and transport distance between density matrices”, Physical Review Letters 129, 110402 (2022).

İkinci əsas mənbə: Sam Cole, Michał Eckstein, Shmuel Friedland və Karol Życzkowski, “On quantum optimal transport”, Mathematical Physics, Analysis and Geometry 26, 14 (2023).

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