Umbali wa quantum optimal transport \(W_{C_E,p}\) ni kiasi cha kihisabati kinachofanana na umbali, kinachojaribu kupima uhusiano kati ya matriki mbili za msongamano kwa kupunguza hadi kiwango cha chini thamani tarajiwa ya operator ya gharama juu ya hali za quantum coupling zenye marginali zilizowekwa. Kazi hii ya Tomasz Miller inachunguza conjecture ya Friedland na wenzake ya mwaka 2022 kwamba kiasi hiki, kwa quantum cost matrix maalumu waliyopendekeza, kingekuwa umbali halisi katika vipimo vyote; kupitia familia ya counterexample za uchanganuzi, inaonyesha kwamba triangle inequality inakiukwa kwa diagonal density matrices za vipimo vitatu.

Quantum cost matrix maalumu iliyo kiini cha kazi ni \(C^Q\), ambayo ni projector kwenye antisymmetric subspace. Katika kazi ya awali iliconjecturewa kwamba quantum 2-Wasserstein semidistance inayofafanuliwa kwa kutumia \(C^Q\) ingekidhi triangle inequality katika dimension yoyote ya Hilbert space. Miller, kwa familia fulani ya diagonal density matrices \(\rho\), \(\sigma\) na \(\tau\), anaonyesha kwamba

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

kwa uthibitisho wa uchanganuzi. Kwa kuwa umbali lazima ukidhi triangle inequality, hata inequality hii kali ya mwelekeo mmoja inaonyesha kwamba kiasi husika hakiwezi kuwa metric katika hali ya jumla.

Counterexample hazikomei kwenye vipimo vitatu. Kwa kuwa density matrices za vipimo vitatu zilizotolewa kwenye chanzo zinaweza kupachikwa katika vipimo vya juu kwa kuongeza zero blocks, tatizo lilelile linaweza kuhamishwa kwa vipimo vyote \(n>3\). Hata hivyo, kazi haibatilishi hali maalumu zilizothibitishwa awali: hali ya \(n=2\), na chini ya kizuizi cha pure states pekee, hali maalumu ambazo triangle inequality inaweza kutimizwa kwa sharti linalohitajika \(p\ge2\) zinaendelea kubaki.

Mchango wa pili muhimu wa kazi ni formula ya jumla inayopunguza tatizo la quantum transport kati ya diagonal, yaani “classical” katika muktadha huu, density matrices kuwa minimization juu ya classical couplings. Formula hii kutoka Proposition 1 pia huonyesha kwa nini tofauti kati ya quantum na classical transport hutokea: terms za off-diagonal katika quantum coupling matrix zinaweza kutoa mchango wa kupunguza gharama kwa umbo la \(\sqrt{\gamma_{ij}\gamma_{ji}}\).

Neno “quantum” hapa halimaanishi kwamba hesabu ilifanywa kwenye kompyuta halisi ya quantum. Kazi iko katika kiwango cha nadharia ya taarifa za quantum na fizikia ya kihisabati; hakuna jaribio la maabara, quantum processor wala hardware iliyotumika. Matokeo yametolewa kupitia density matrices, tensor-product spaces, partial traces, projectors, classical/quantum couplings na inequalities za uchanganuzi.

Tatizo la quantum optimal transport ni nini?

Tatizo la quantum optimal transport ni tatizo la uboreshaji wa kihisabati linalohamisha wazo la kuoanisha probability distributions mbili katika classical optimal transport kwenda kwenye density matrices, na kutafuta coupling yenye gharama ndogo zaidi kati ya hali za quantum za bipartite zinazohifadhi marginali zilizowekwa za hali mbili za quantum.

Wazo la classical optimal transport

Katika tatizo la classical optimal transport, huangaliwa jinsi “wingi” unavyosafirishwa kutoka probability distribution moja kwenda nyingine. Coupling ni probability distribution ya pamoja inayohifadhi usambazaji wa mwanzo na wa lengo kama marginali. Ikiwa kila usafirishaji wa \(i\rightarrow j\) una gharama \(E_{ij}\), tatizo la uboreshaji hutafuta coupling inayofanya total transport cost kuwa ndogo zaidi.

Wasserstein distance ni mojawapo ya familia za umbali zinazojulikana zaidi katika mbinu hii. Hata hivyo, makala hii haichunguzi moja kwa moja nadharia yote ya classical Wasserstein; suala kuu ni kama analojia ya quantum iliyopendekezwa na Friedland na wenzake kwa density matrices ni metric halisi.

Matriki ya msongamano ni nini?

Matriki ya msongamano \(\rho\) ni operator chanya nusu-fafanuzi yenye trace sawa na 1 inayowakilisha hali ya quantum. Pure states zinaweza kuwakilishwa kama rank-1 projector, ilhali mixed states zina mchanganyiko wa kitakwimu wa hali kadhaa zinazowezekana.

Sifa muhimu ya counterexample katika makala hii ni kwamba density matrices zinazotumika ni diagonal. Kwa mfano:

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

ni density matrix yenye diagonal entries pekee katika computational basis. Diagonal entries si hasi na jumla yake ni 1. Kwa hiyo entries hizo zinaweza pia kusomwa kama probability vector.

Chanzo kinaziita diagonal states za aina hii “classical states”. Sababu ni kwamba katika basis iliyochaguliwa hakuna terms za off-diagonal quantum coherence.

Tofauti muhimu kati ya semidistance na metric halisi ni nini?

Katika muktadha wa kazi hii \(W_{C_E,p}\) ni semidistance inayofanana na umbali; ili iwe metric halisi, pamoja na sifa nyingine muhimu lazima pia ikidhi triangle inequality. Counterexample ya Miller inaondoa dai la metric ya jumla kwa kuonyesha moja kwa moja kwamba triangle inequality inashindwa.

Kwa metric \(d\), zikichaguliwa pointi au hali tatu \(A,B,C\):

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

lazima itimie.

Kwa ufahamu wa kawaida, maana yake ni kwamba umbali wa moja kwa moja kutoka \(A\) hadi \(C\) hauwezi kuwa mrefu kuliko jumla ya njia inayopita kupitia \(B\).

Katika kazi hii, kwa \(\rho,\sigma,\tau\) fulani, inequality kali katika mwelekeo kinyume hupatikana:

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

Kwa hiyo \(W\) si metric halisi katika nafasi hiyo ya hali.

Quantum coupling ni nini?

Quantum coupling ni bipartite density matrix inayorudisha density matrices mbili lengwa kama marginali kupitia partial trace; katika makala, \(\Gamma(\rho_1,\rho_2)\), masharti \(\operatorname{Tr}_1\rho_{12}=\rho_2\) na \(\operatorname{Tr}_2\rho_{12}=\rho_1\) yakitimizwa, ni mkusanyiko wa hali zote \(\rho_{12}\).

Density matrices mbili za \(n\times n\):

\[ \rho_1,\rho_2 \]

zikitolewa, coupling:

\[ \rho_{12} \]

ni bipartite density matrix yenye dimension \(n^2\times n^2\).

Masharti ya chanzo:

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

Hapa \(\operatorname{Tr}_1\) na \(\operatorname{Tr}_2\) ni operesheni za partial-trace zinazofuta kwa trace, mtawalia, mfumo mdogo wa kwanza na wa pili wa tensor-product system.

Muundo huu ni analojia ya quantum ya wazo la classical coupling. Katika classical coupling, jumla za safu na nguzo za probability matrix ya pamoja hurudisha probability vectors zilizotolewa; katika quantum coupling, partial traces hufanya jukumu hilo hilo.

Kwa nini antisymmetric subspace na SWAP operator ni muhimu katika kazi hii?

Quantum cost matrix maalumu \(C^Q\) iliyo kiini cha kazi ni projector ya SWAP operator kwenye antisymmetric subspace, ambapo SWAP operator hubadilishana mifumo midogo miwili; conjecture ya awali ilitegemea madai kwamba quantum 2-Wasserstein semidistance inayofafanuliwa kwa gharama hii maalumu ingekidhi triangle inequality katika vipimo vyote.

Antisymmetric basis state

Chanzo kwanza kinafafanua:

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

hali hii.

Hapa:

• \(|i\rangle\) na \(|j\rangle\) ni elementi za computational basis iliyowekwa.
• \(|ij\rangle=|i\rangle\otimes|j\rangle\) ni tensor-product basis state.
• \(|i\wedge j\rangle\) ni normalized antisymmetric combination inayobadilisha ishara wakati \(i\) na \(j\) zinapobadilishana nafasi.
• Kigezo \(1/\sqrt{2}\) kinahitajika kufanya norm ya hali kuwa 1.

Quantum cost matrix ya jumla

Kwa distance matrix yoyote ya \(n\times n\), \(E=(E_{ij})\), chanzo katika Mlinganyo (1) kinatumia:

\[ C_E := \sum_{i

ufafanuzi huu.

\(|i\wedge j\rangle\langle i\wedge j|\) ni rank-1 projector kwenye antisymmetric direction husika. Coefficients \(E_{ij}\) hufanya kazi kama cost weights kwa directions hizi.

\(C_E\) si lazima iwe Hamiltonian ya nishati ya kimwili. Jukumu lake katika kazi hii ni kuwa Hermitian operator inayofafanua gharama ndani ya transport optimization.

Analojia ya Quantum p-Wasserstein

Mlinganyo (2) ya chanzo:

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

Maana ya formula hatua kwa hatua ni hii:

1. Hali mbili lengwa \(\rho_1\) na \(\rho_2\) zinawekwa.
2. Quantum couplings zote \(\rho_{12}\) zinazotoa states hizi kama partial traces huzingatiwa.
3. Kwa kila coupling, cost inayofafanuliwa kwa \(C_E^p\) huhesabiwa.
4. Thamani ya chini kabisa kati ya couplings zote huchaguliwa.
5. Matokeo huinuliwa kwa nguvu ya \(1/p\).

Kiasi hiki kinachukuliwa katika chanzo kama quantum analogue of the \(p\)-Wasserstein distance. Hata hivyo, mada kuu ya makala ni katika masharti gani analojia hii hubeba kweli sifa za metric.

Projector maalumu ya antisymmetric \(C^Q\)

Kwa conjecture ya awali, cost matrix:

\[ C^Q := \sum_{i

huchaguliwa.

Hapa \(S\) ni SWAP operator:

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

\(\mathbf{1}_{n^2}\) ni identity operator kwenye \(n^2\)-dimensional tensor-product space.

Katika hali hii maalumu quantum 2-Wasserstein semidistance:

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

Conjecture I ya awali ilidai kwamba kiasi hiki kingekidhi triangle inequality kwa kila dimension \(n\). Conjecture II ilidai kwamba sifa hii ingeendelea kuhifadhiwa chini ya cost-matrix perturbations ndogo karibu na \(C^Q\).

Proposition 1 inathibitisha nini?

Proposition 1 inathibitisha kwamba states za kuingiza zikiwa diagonal, quantum transport optimization inaweza kuandikwa kikamilifu kupitia classical coupling matrix \(\gamma\), na athari ya quantum kuonekana katika muundo \((\sqrt{\gamma_{ij}}-\sqrt{\gamma_{ji}})^2\).

Probability vectors:

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

ziwe.

Density matrices za diagonal zinazolingana nazo:

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

kwa 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

hutoa matokeo.

\(\Gamma_{\mathrm{cl}}(P,Q)\) ni mkusanyiko wa classical couplings zote za \(P\) na \(Q\). Kwa coupling matrix \(\gamma=(\gamma_{ij})\):

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

Kwa hiyo jumla za safu huzalisha \(P\), na jumla za nguzo huzalisha \(Q\).

Kwa nini uthibitisho wa Proposition 1 umegawanywa katika hatua tatu?

Mkakati mkuu wa uthibitisho ni kuondoa quantum phase information isiyohitajika kwa states za kuingiza zilizo diagonal kupitia wastani, kupunguza coupling matrix kuwa block ndogo, na kubainisha optimal off-diagonal terms kupitia positivity constraint.

Hatua ya 1 — Diagonal unitary phase averaging

Chanzo:

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

kinafafanua diagonal unitary operator:

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

Kwa coupling \(\omega\in\Gamma(\rho,\sigma)\):

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

Kisha average huchukuliwa juu ya phase angles zote:

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

Operesheni hii inaweza kuonekana kama symmetrization inayofanana na “phase twirling”. Lengo si kubadilisha coupling, bali kuondoa kwa wastani phase-dependent matrix elements zisizohusiana na diagonal marginals.

Mabadiliko ya matrix element:

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

Kwa nini partial traces hazibadiliki?

Kwa sababu \(\rho\) ni diagonal:

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

Usawa wa mwisho unategemea kwamba kwa \(\rho\) ya diagonal, off-diagonal \(\langle i|\rho|k\rangle\) entries tayari ni sifuri wakati \(i\neq k\).

Vivyo hivyo:

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

Kwa hiyo:

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

na phase average \(\widetilde{\omega}\) pia hubaki ndani ya coupling set hiyo hiyo.

Kwa nini cost haibadiliki chini ya phase averaging?

Antisymmetric state:

\[ |i\wedge j\rangle \]

chini ya diagonal unitary pair hupata global phase pekee:

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

Kwa kuwa global phase haibadilishi projector expectation value:

\[ \sum_{i

Matokeo yake ni muhimu sana: wakati wa kutafuta coupling bora, inatosha kufanya minimization juu ya phase-averaged couplings badala ya possible quantum couplings zote.

Hatua ya 2 — Phase averaging inaacha matrix elements zipi?

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

Integral hii inaweza kubaki nonzero tu wakati index multisets:

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

zinapolingana.

Kwa hiyo potentially nonzero matrix elements ni:

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

na:

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

kwa namna hiyo.

Hermiticity inahitaji entry ya pili ya off-diagonal iwe complex conjugate.

Positive semidefiniteness hutoa constraint kwa kila block ya \(2\times2\):

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

hii.

Kwa nini \(\gamma\) ni classical coupling kweli?

Diagonal entries za phase-averaged coupling:

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

na:

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

zinakidhi masharti hayo.

Kwa hiyo \((\gamma_{ij})\) ni ordinary classical coupling matrix kati ya \(P\) na \(Q\).

Hatua ya 3 — Quantum cost inabadilikaje kuwa formula ya classical coupling?

Cost kwa phase-averaged coupling:

\[ \sum_{i

Positive-semidefinite constraint:

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

kwa hiyo:

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

Kwa kuwa term katika cost ni \(-2\operatorname{Re}z_{ij}\), ili kupunguza cost tunahitaji \(\operatorname{Re}z_{ij}\) kubwa zaidi inayowezekana. Lower bound ni:

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

Lower bound hii haibaki tu formal bound. Chanzo kinaonyesha:

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

uchaguzi huu unafanya bound iwe attain.

Kwa hiyo Mlinganyo (4) katika Proposition 1 hupatikana kama usawa kamili.

Kwa nini quantum transport inaweza kuwa ndogo kuliko classical transport?

Kulingana na Remark 2 ya chanzo, sababu ya kihisabati inayofanya quantum transport cost kwa diagonal states iwe ndogo kuliko classical transport inayolingana ni kwamba terms za off-diagonal \(z_{ij}\) zinazoruhusiwa katika quantum coupling zinaweza kutoa mchango wa interference unaopunguza cost kwa umbo \(-2\sqrt{\gamma_{ij}\gamma_{ji}}\).

Mlinganyo (4) ikitumika:

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

Wakati \(E\) ni distance matrix halisi, usemi wa kulia kabisa ni classical \(p\)-Wasserstein distance iliyopimwa kwa coefficient \(2^{-1/p}\).

Neno “transport ya gharama ndogo” hapa halimaanishi matumizi madogo ya nishati ya kimwili. Linamaanisha tu kwamba thamani bora ya mathematical objective function iliyofafanuliwa ni ndogo zaidi.

Pendekezo la normalization la chanzo

Miller anasema kwamba kutokana na factor hii ya \(2^{-1/p}\), kutumia factor 2 katika ufafanuzi wa awali kama:

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

kunaweza kufanya standard classical \(p\)-Wasserstein distance ipatikane moja kwa moja inapowekewa kikomo kwenye classical states na classical couplings.

Hoja hii ni tathmini ya kihisabati ya normalization ya mwandishi katika chanzo. Verianla haiwasilishi kama kiwango kipya kilichokubaliwa.

Kwa nini hali maalumu ya vipimo viwili ni muhimu?

Hali ya \(n=2\) ni muhimu kwa sababu katika kazi ya awali ilithibitishwa kwamba triangle inequality inatimizwa katika dimension hii maalumu; formula ya Proposition 1 ya Miller pia huzalisha tena matokeo yaliyokuwa yanajulikana kwa \(n=2\), hivyo kutoa ukaguzi wa uthabiti kwa formula mpya.

Katika Remark 3, chanzo kinazingatia:

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

uchaguzi huu.

Katika maandishi ya chanzo states zinaelezwa kama:

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

hivi.

Dokezo la notasheni: Katika coupling matrix inayofuata na Mlinganyo (13), chanzo hutumia badala ya \(r,s\) alama \(p,q\). Hapa chini notasheni ya chanzo yenye \(p,q\) imehifadhiwa.

Classical couplings zinaweza kuandikwa kwa parameter moja \(\lambda\):

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

kwa namna hiyo.

Mlinganyo (4) ikitumika:

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

Baada ya minimization, chanzo hupata Mlinganyo (13):

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

Expression hii pia ni sawia na:

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

umbo hili.

Chanzo kinaunganisha usawa huu na uhusiano:

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

huu.

Mbinu na Matokeo ya Utafiti

Familia ya counterexample ya vipimo vitatu inajengwaje?

Counterexample inajengwa kwa familia ya parameters mbili ya diagonal density matrices tatu za \(3\times3\); \(s,t\) zikichaguliwa ndani ya admissible region, direct \(\rho\rightarrow\tau\) quantum transport value huwa kubwa kuliko jumla ya transport value mbili zinazopita kupitia \(\sigma\), na triangle inequality inavunjika.

Density matrices tatu

Chanzo katika Mlinganyo (14) kinatumia:

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

fafanuzi hizi.

Parameter space:

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

Constraints hizi si za kubahatisha. Diagonal entries zote lazima ziwe nonnegative na states zibaki probability distributions/density matrices halali.

Kwa mfano, entries za \(\rho\):

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

na jumla yake:

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

Entries za \(\sigma\) na \(\tau\) pia hujumlisha hadi 1.

Pairwise transport values tatu

Katika sehemu hii chanzo huandika \(W_{C_E,2}\) kwa kifupi kama \(W\) na kuthibitisha kwanza matokeo matatu ya closed-form yafuatayo:

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

Kwa kuwa ndani ya \(\Delta\), \(t\le s\), basi \(\sqrt{s}-\sqrt{t}\ge0\); kwa hiyo mpangilio chanya ambao hauhitaji absolute value katika Mlinganyo (17) unahifadhiwa.

Mlinganyo (15) inatolewaje?

Probability vectors za \(\rho\) na \(\sigma\) ni:

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

na huandikwa hivyo.

Chanzo kina-parametrize classical coupling family kama:

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

hivi.

Nonnegativity constraints:

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

zinatolewa.

Mlinganyo (4) ikitumika:

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

Katika hoja ya chanzo, objective function kwanza ni nondecreasing kwa \(\mu\), kwa hiyo minimum:

\[ \mu=0 \]

hupatikana katika pointi hiyo.

Kisha kwa kuwa expression iliyobaki pia ni nondecreasing kwa \(\lambda\):

\[ \lambda=0 \]

huchaguliwa.

Kwa hiyo:

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

Mraba ukipanuliwa:

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

na \(t\) ikiongezwa:

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

hupatikana.

Kwa hiyo:

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

na square root chanya ikichukuliwa, Mlinganyo (15) hupatikana.

Mlinganyo (16) inatolewaje?

Kwa \(\rho\) na \(\tau\):

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

Chanzo kinaandika coupling matrix kama:

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

Mlinganyo (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]. \]

Chanzo hutumia tena kwamba objective function ni nondecreasing kwanza kwa \(\mu\) na kisha kwa \(\lambda\). Minimum iko katika:

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

pointi hiyo.

Kwa hiyo:

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

Expression hii ikipangwa upya:

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

na hivyo Mlinganyo (16) hupatikana.

Kwa nini Mlinganyo (17) inahitaji uthibitisho tofauti?

Kwa kuwa ku-parametrize moja kwa moja classical couplings zote kati ya \(\sigma\) na \(\tau\) kungehitaji parameters nne katika chanzo, Miller badala yake hujenga lower bound kwa objective function na kisha kuonyesha coupling ya wazi inayofikia lower bound hiyo.

Ufafanuzi:

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

Kwanza, summand moja iliyo nonnegative inaachwa:

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

Terms hizi mbili huandikwa kama:

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

hivi.

Kwa kutumia Cauchy–Schwarz inequality:

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

Kwa sababu ya coupling marginals:

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

Kwa hiyo:

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

Kwa Mlinganyo (4):

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

Lower bound hii inafikiwa na coupling iliyotolewa katika chanzo:

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

hiyo.

Kwa hiyo inequality hubadilika kuwa usawa:

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

na:

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

Hii ndiyo Mlinganyo (17).

Triangle inequality inavunjikaje hasa?

Chanzo kinaonyesha kwamba katika pointi zote za ndani za admissible parameter region \(\Delta\), \(W(\rho,\tau)-W(\rho,\sigma)-W(\sigma,\tau)>0\); kwa hiyo triangle inequality haishindwi kwa uchaguzi mmoja wa bahati nasibu wa parameter tu, bali katika familia wazi ya counterexample yenye parameters mbili.

Mlinganyo (15)–(17) zikilinganishwa na mwelekeo unaotakiwa wa triangle inequality, chanzo kinalenga kuthibitisha inequality ya kinyume ifuatayo:

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

Umbo sawia la chanzo katika Mlinganyo (18):

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

na validity region:

\[ 0

Masharti haya yanafafanua hasa sehemu ya interior ya \(\Delta\).

Kwa nini variables mpya \(r\) na \(a\) zinafafanuliwa?

Ili kufanya sehemu ya mwisho ya proof iwe rahisi kudhibiti, chanzo hutumia:

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

na:

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

fafanuzi hizi.

Kwa sababu ya interior constraints:

\[ 00. \]

Mlinganyo (18) hubadilishwa kwa variables hizi kuwa:

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

hivi.

Kwa kuwa pande zote mbili ni chanya, squares zinaweza kuchukuliwa. Baada ya algebraic cancellation, inequality inayotakiwa ni:

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

hii.

Kwa nini strict concavity inamaliza hatua ya mwisho?

Chanzo kinaangalia:

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

function kwenye interval \([0,1]\).

Kwa \(a>0\), function hii ni strictly concave.

Matokeo ya msingi ya strict concavity ni kwamba kwa \(0

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

Endpoint values:

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

na:

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

kwa hiyo:

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

Hii ni Mlinganyo (20) hasa.

Kwa hiyo:

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

inathibitishwa katika interior yote \(\Delta^\circ\).

Ujumbe wa kihisabati wa Figure 1

Katika Figure 1, chanzo kinaonyesha:

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

function juu ya admissible parameter region \(\Delta\).

Kulingana na caption ya chanzo:

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

Kwa hiyo grafu ni mwakilishi wa kuona wa analytical proof; si numerical evidence inayochukua nafasi ya proof.

Kwa nini counterexample inaenea kwa vipimo vyote \(n>3\)?

Chanzo kinaingiza three-dimensional counterexample states katika higher-dimensional space kama:

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

kwa umbo hilo.

\(\mathbf{0}_{n-3}\) ni zero block kwenye dimensions za ziada.

Embedding hii haibadilishi probability structure katika dimensions tatu za kwanza. Kwa hiyo triangle-inequality violation iliyopo kwa \(n=3\) pia huhamishwa kwenda kwenye dimensions za juu.

Hapa hitimisho sahihi ni:

Counterexample inaanza kwa \(n=3\) na pia hutoa counterexample kwa dimensions zote \(n>3\).

Hitimisho lisilo sahihi lingekuwa:

Failure hiyo hiyo imethibitishwa pia kwa \(n=2\).

Chanzo, kinyume chake, kinakumbusha \(n=2\) kama mojawapo ya hali maalumu za metric zinazojulikana.

Kwa nini Conjecture I inabatilishwa?

Conjecture I ilidai kwamba quantum 2-Wasserstein semidistance inayofafanuliwa kwa \(C^Q\) cost matrix ingekidhi triangle inequality kwa dimensions zote.

Mara family ya Miller inapotoa violation ya wazi kwa \(n=3\), dai la “\(n\) zote” linakuwa limebatilishwa.

Counterexample moja halali inatosha kubatilisha universal mathematical conjecture. Kazi hii, hata hivyo, inaonyesha family pana yenye parameters mbili ndani ya \(\Delta^\circ\) badala ya isolated point moja.

Kwa nini Conjecture II haisimami?

Conjecture II ilidai kwamba tabia hiyo ya metric ingehifadhiwa pia karibu na perturbations ndogo za \(C^Q\). Kwa kuwa kazi inaonyesha kwamba triangle-inequality property ya msingi inashindwa kwa \(C^Q\) yenyewe, msingi wa conjectured metric neighborhood inayozunguka \(C^Q\) pia unaondoka. Chanzo kinaeleza wazi katika abstract na introduction kwamba conjecture zote mbili zimekuwa disproved kwa analytical counterexamples hizi.

Matokeo yanayoungwa mkono na utafiti

• Construction ya jumla ya \(W_{C_E,p}\) inaweza kuchukuliwa kama semidistance, lakini triangle inequality haijahakikishwa katika hali ya jumla.
• Quantum 2-Wasserstein quantity inayofafanuliwa kwa antisymmetric projector maalumu \(C^Q\) inakubali diagonal-state counterexamples zinazokiuka triangle inequality kwa \(n=3\).
• Counterexamples hizi zinaweza kupanuliwa kwa dimensions zote \(n>3\) kupitia zero-block embedding.
• Kwa diagonal states, \(W_{C_E,p}\) inaweza kupunguzwa hadi formula ya classical-coupling minimization iliyotolewa katika Proposition 1.
• Off-diagonal coupling terms zina jukumu muhimu la kihisabati katika tofauti ya quantum/classical transport.
• Triangle defect ni chanya katika eneo lote \(\Delta^\circ\) lililofafanuliwa katika chanzo.
• Matokeo maalumu yaliyokuwa yanajulikana kama \(n=2\) na pure-state restrictions hayabatilishwi na counterexample hii.

Matokeo ambayo utafiti hauungi mkono

• Kazi haionyeshi hitimisho kwamba “quantum Wasserstein distances zote ni batili”.
• Makala hii peke yake haithibitishi kwamba quantum optimal transport formulations zote haziwezi kuwa metric.
• Kazi haifanyi quantum transport experiment ya kimwili.
• Kazi haifanyi algorithm benchmark kwenye kompyuta ya quantum.
• Kauli “Quantum transport cheaper” haimaanishi ubora wa nishati, muda au gharama za kiuchumi.
• Counterexample haibatilishi hali ya \(n=2\).
• Chanzo hakitoi universal no-go theorem moja kwa \(p<2\), possible cost operators zote au alternative quantum-transport definitions zote.
• Figure 1 haithibitishi theorem kupitia numerical simulation; matokeo makuu yanatokana na analytical proof.

Jedwali la alama na dhana

Dokezo la dimension na unit

Kazi hii ni utafiti wa kihisabati wa quantum-information. Density-matrix entries, probabilities, coupling coefficients, parameters \(s,t,r,a\), na normalized transport quantities zilizofafanuliwa hazipewi katika units za kimwili za SI. Kwa hiyo mita, joule, sekunde au dimensional units nyingine hazipo katika equations hizi.

Onyo la notasheni ndani ya chanzo

Katika Remark 3, chanzo kinaandika:

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

na mara baada ya ufafanuzi huo hubadilika katika coupling matrix kwenda kwenye alama:

\[ p,\ q \]

hizo.

Chanzo hakitoi maelezo tofauti kwa notation change hii. Verianla inaweza kuonyesha kutoka katika muktadha wa kihisabati kwamba \(p\) na \(q\) zinatumika hapa kama two-state probability parameters husika; lakini haibadilishi kimyakimya herufi za chanzo asili na kuunda hisia kwamba “chanzo kiliandika hivi”.

Taarifa kuhusu akili bandia katika Acknowledgement

Katika sehemu ya Acknowledgements ya makala, mwandishi anaeleza kwamba katika kupata counterexamples alitumia msaada wa ChatGPT 5.4 Pro .

Kauli hii haimaanishi kwamba uthibitisho wa kihisabati wa kazi umehakikiwa kiotomatiki. Katika preprint iliyochapishwa, mlolongo wa analytical proof umeandikwa wazi na tathmini ya kisayansi inapaswa kufanywa kwa uhalali wa kihisabati wa proof hiyo.

Maelezo ya Chanzo na Mbinu

Kichwa asili: Comment on ‘Quantum Monge–Kantorovich Problem and Transport Distance between Density Matrices’

Mwandishi: Tomasz Miller

Mpangilio wa waandishi: Kazi ya mwandishi mmoja.

Corresponding author: Tomasz Miller; katika PDF ya chanzo ameonyeshwa kwa alama ya nyota kama mwandishi wa mawasiliano.

Barua pepe: tomasz.miller@uj.edu.pl

Mchango sawa: Haitumiki; kazi ina mwandishi mmoja.

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

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

Aina ya chanzo: Theoretical/mathematical comment preprint.

Hali ya mapitio ya wenzao: Chanzo kilichopakiwa ni arXiv preprint. Rekodi rasmi iliyothibitishwa wakati wa ukaguzi wa Verianla ni rekodi ya arXiv v1; faili iliyopakiwa haina taarifa tofauti ya journal publication iliyopitiwa na wenzao.

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

DOI: 10.48550/arXiv.2607.07764.

Tarehe ya kuwasilishwa arXiv: 8 Julai 2026.

Tarehe ya manuscript kwenye PDF: 10 Julai 2026.

Jukwaa: arXiv.

Kategoria kuu ya mada: Quantum Physics (quant-ph).

Uwanja unaohusiana: Mathematical Physics.

Kiungo rasmi: https://arxiv.org/abs/2607.07764

Kiungo cha DOI: https://doi.org/10.48550/arXiv.2607.07764

Idadi ya kurasa: 7.

Idadi ya vielelezo: 1.

Jedwali: Chanzo hakina jedwali tofauti lenye nambari.

Hali ya jaribio/simulation: Hakuna jaribio la kimwili. Hakuna hardware ya quantum iliyotumika. Matokeo makuu ni analytical counterexample na proof. Figure 1 ni uwasilishaji wa parameter-space wa triangle-defect function inayofafanuliwa kutokana na formula za uchanganuzi.

Tatizo kuu: Kupima kama quantum 2-Wasserstein semidistance iliyofafanuliwa na Friedland, Eckstein, Cole na Życzkowski ni metric halisi katika dimensions zote kwa \(C^Q\) cost matrix maalumu.

Matokeo makuu: Kwa diagonal states za \(n=3\), triangle inequality inakiukwa katika counterexample family pana; family inaweza kupanuliwa hadi \(n>3\) kwa zero-block embedding.

Proposition 1: \(W_{C_E,p}\) kati ya diagonal density matrices inaelezwa juu ya classical couplings kwa objective ya \(\frac12\sum E_{ij}^p(\sqrt{\gamma_{ij}}-\sqrt{\gamma_{ji}})^2\).

Hali maalumu muhimu: Matokeo ya metric yaliyokuwa yanajulikana kwa \(n=2\) na pure-state restrictions hayabatilishwi na kazi hii; chanzo kinaonyesha sharti linalohitajika \(p\ge2\).

Tatizo la notasheni ndani ya chanzo: Katika Remark 3 two-level states zinafafanuliwa kwa \(r,s\), kisha coupling na Mlinganyo (13) hubadilika kwenda kwenye alama \(p,q\). Chanzo hakitoi maelezo tofauti kwa hili.

Maoni kuhusu normalization: Mwandishi anapendekeza katika Remark 2 kwamba kwa lengo la kurejesha moja kwa moja classical Wasserstein limit, inaweza kufaa zaidi ku-normalize cost kwa factor 2 katika Mlinganyo (2). Hili limetolewa kama maoni ya kihisabati ya chanzo.

Leseni: Hakuna taarifa wazi ya Creative Commons license inayoonekana kwenye PDF iliyopakiwa. Kwa hiyo katika maudhui ya Verianla, maandishi ya chanzo au Figure 1 asili hayajachapishwa tena moja kwa moja; taarifa ya kisayansi imetolewa kupitia maandishi huru ya kielimu na muundo asili wa SVG.

Ufadhili: Chanzo hakitoi funding statement tofauti.

Mgongano wa maslahi: Chanzo hakitoi conflict-of-interest statement tofauti.

Upatikanaji wa data: Kazi haitumii experimental dataset; hakuna data-availability statement tofauti iliyotolewa.

Michango ya mwandishi: Katika kazi ya mwandishi mmoja hakuna CRediT breakdown tofauti iliyotolewa.

Acknowledgement: Mwandishi amesema kwamba counterexamples zilipatikana kwa msaada wa ChatGPT 5.4 Pro.

Kazi kuu ambayo chanzo kinategemea: Shmuel Friedland, Michał Eckstein, Sam Cole na Karol Życzkowski, “Quantum Monge–Kantorovich problem and transport distance between density matrices”, Physical Review Letters 129, 110402 (2022).

Chanzo kikuu cha pili: Sam Cole, Michał Eckstein, Shmuel Friedland na Karol Życzkowski, “On quantum optimal transport”, Mathematical Physics, Analysis and Geometry 26, 14 (2023).

Chanzo cha tatu: Tomasz Miller na R. Bistroń, “Distances between pure quantum states induced by a distance matrix”, arXiv:2509.14727 [math-ph] (2025).