Кванттык оптималдуу ташуу аралыгы \(W_{C_E,p}\) — берилген маргиналдарга ээ кванттык coupling абалдары боюнча чыгым операторунун күтүлгөн маанисин минималдаштыруу аркылуу эки тыгыздык матрицасынын ортосундагы байланышты өлчөөгө аракет кылган аралыкка окшош математикалык чоңдук. Tomasz Millerдин бул эмгеги Friedland жана анын кесиптештери 2022-жылы сунуштаган атайын кванттык чыгым матрицасы үчүн бул чоңдук бардык өлчөмдөрдө чыныгы аралык болот деген conjecture-ду аналитикалык каршы мисалдардын үй-бүлөсү менен изилдеп, үч бурчтук теңсиздиги үч өлчөмдүү диагоналдык тыгыздык матрицалары үчүн бузуларын көрсөтөт.

Эмгектин борборундагы атайын чыгым матрицасы antisymmetric subspace үстүндөгү projector болгон \(C^Q\). Мурунку эмгекте \(C^Q\) колдонулганда аныкталган quantum 2-Wasserstein semidistance Hilbert мейкиндигинин каалаган өлчөмүндө triangle inequality ни аткарат деп conjecture кылынган. Miller болсо белгилүү \(\rho\), \(\sigma\) жана \(\tau\) диагоналдык тыгыздык матрицаларынын үй-бүлөсү үчүн

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

экенин аналитикалык түрдө далилдейт. Аралык үч бурчтук теңсиздигин аткарышы керек болгондуктан, ушул бир багыттагы катуу теңсиздиктин өзү эле бул чоңдук жалпы учурда метрика боло албасын көрсөтөт.

Каршы мисалдар үч өлчөм менен гана чектелбейт. Булактагы үч өлчөмдүү тыгыздык матрицалары жогору өлчөмдөргө нөл блоктор кошулуп киргизиле алгандыктан, ошол эле маселе бардык \(n>3\) өлчөмдөргө өткөрүлөт. Ошол эле учурда эмгек буга чейин далилденген өзгөчө учурларды жокко чыгарбайт: \(n=2\) учуру жана pure states менен гана чектелгенде, талап кылынган \(p\ge2\) шарты менен triangle inequality аткарылышы мүмкүн болгон өзгөчө учурлар сакталат.

Эмгектин экинчи маанилүү салымы — диагоналдык, башкача айтканда бул контекстте “classical” тыгыздык матрицаларынын ортосундагы quantum transport маселесин классикалык coupling-дер боюнча минималдаштырууга келтирген жалпы формула. Proposition 1 аркылуу алынган бул формула quantum жана classical transport ортосундагы айырма эмне үчүн жараларын да көрсөтөт: quantum coupling матрицасындагы off-diagonal мүчөлөр чыгымга \(\sqrt{\gamma_{ij}\gamma_{ji}}\) түрүндөгү азайтуучу салым бере алат.

Бул жердеги “quantum” физикалык кванттык компьютерде эсептөө жүргүзүлгөнүн билдирбейт. Эмгек теориялык кванттык маалымат жана математикалык физика деңгээлинде; лабораториялык тажрыйба, quantum processor же hardware колдонулган эмес. Натыйжалар тыгыздык матрицалары, tensor-product мейкиндиктер, partial traces, projectors, classical/quantum couplings жана аналитикалык теңсиздиктер аркылуу чыгарылган.

Кванттык оптималдуу ташуу маселеси деген эмне?

Кванттык оптималдуу ташуу маселеси — классикалык optimal transport маселесиндеги эки ыктымалдык бөлүштүрүүнү бири-бирине дал келтирүү идеясын тыгыздык матрицаларына өткөрүп, эки кванттык абалдын туруктуу маргиналдарын сактаган bipartite кванттык абалдардын арасынан эң аз чыгымдуу coupling-ди издеген математикалык оптималдаштыруу маселеси.

Классикалык оптималдуу ташуу идеясы

Классикалык optimal transport маселесинде эки probability distribution ортосунда “массанын” бир бөлүштүрүүдөн экинчисине кантип ташылары каралат. Coupling баштапкы жана максаттуу бөлүштүрүүлөрдү маргиналдык түрдө сактаган биргелешкен ыктымалдык бөлүштүрүү. Ар бир \(i\rightarrow j\) ташуунун \(E_{ij}\) чыгымы болсо, оптималдаштыруу маселеси жалпы transport cost эң кичине болгон coupling-ди издейт.

Wasserstein distance бул ыкманын эң белгилүү аралык үй-бүлөлөрүнүн бири. Бирок бул макалада классикалык Wasserstein теориясынын баары түздөн-түз изилденбейт; негизги маселе Friedland жана кесиптештери тыгыздык матрицалары үчүн сунуштаган кванттык аналог чындап метрикабы же жокпу деген суроо.

Тыгыздык матрицасы деген эмне?

Тыгыздык матрицасы \(\rho\) — кванттык абалды көрсөткөн, оң жарым-аныкталган жана изи 1ге барабар оператор. Таза абалдар rank-1 projector түрүндө берилсе, mixed states бир нече мүмкүн болгон абалдардын статистикалык аралашмасын камтыйт.

Бул макаладагы каршы мисалдардын маанилүү өзгөчөлүгү — колдонулган тыгыздык матрицаларынын диагоналдык болушу. Мисалы:

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

туюнтмасы computational basis ичинде диагоналдык entries гана камтыган density matrix. Диагоналдык entries терс эмес жана алардын суммасы 1. Ошондуктан ошол entries ошол эле учурда probability vector катары да окулушу мүмкүн.

Булак мындай диагоналдык states-ти “classical states” деп атайт. Себеби тандалган basis ичинде off-diagonal quantum coherence мүчөлөрү жок.

Semidistance менен чыныгы метриканын негизги айырмасы эмнеде?

Бул эмгектин контекстинде \(W_{C_E,p}\) аралыкка окшош semidistance; чыныгы метрика болушу үчүн башка зарыл касиеттер менен катар үч бурчтук теңсиздигин да аткарышы керек. Millerдин каршы мисалы үч бурчтук теңсиздиги иштебей турганын так көрсөткөндүктөн, жалпы метрика тууралуу дооматты жокко чыгарат.

Метрика \(d\) үчүн үч чекит же абал \(A,B,C\) тандалганда:

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

болушу керек.

Интуитивдүү мааниси: \(A\) дан \(C\) ге түз аралык \(B\) аркылуу өткөн жолдун суммасынан узун боло албайт.

Бул эмгекте болсо белгилүү \(\rho,\sigma,\tau\) үчүн тескери багыттагы катуу теңсиздик алынат:

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

Демек, \(W\) ошол абалдар мейкиндигинде чыныгы метрика эмес.

Кванттык coupling деген эмне?

Кванттык coupling — эки максаттуу тыгыздык матрицасын partial trace аркылуу маргиналдык түрдө кайтарып берген bipartite density matrix; макалада \(\Gamma(\rho_1,\rho_2)\) — \(\operatorname{Tr}_1\rho_{12}=\rho_2\) жана \(\operatorname{Tr}_2\rho_{12}=\rho_1\) шарттарын аткарган бардык \(\rho_{12}\) абалдарынын жыйындысы.

Эки \(n\times n\) density matrix:

\[ \rho_1,\rho_2 \]

берилгенде coupling:

\[ \rho_{12} \]

\(n^2\times n^2\) өлчөмдүү bipartite density matrix.

Булактын шарттары:

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

Бул жерде \(\operatorname{Tr}_1\) жана \(\operatorname{Tr}_2\) tensor-product системасында тиешелүүлүгүнө жараша биринчи жана экинчи подсистеманы trace кылып жок кылган partial-trace операциялары.

Бул түзүлүш классикалык coupling идеясынын кванттык аналогу. Classical coupling-де биргелешкен probability matrixтин сап жана мамыча суммалары берилген probability vectors-ти кайтарса, quantum coupling-де ошол эле ролду partial traces аткарат.

Antisymmetric subspace жана SWAP operator бул эмгекте эмне үчүн маанилүү?

Эмгектин борборундагы атайын quantum cost matrix \(C^Q\) — эки подсистеманы алмаштырган SWAP operatorдун antisymmetric subspace үстүндөгү projector-у; мурунку conjecture дал ушул атайын чыгым үчүн аныкталган quantum 2-Wasserstein semidistance бардык өлчөмдөрдө triangle inequality ни аткарат деген дооматка негизделген.

Antisymmetric basis state

Булак адегенде:

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

абалын аныктайт.

Бул жерде:

• \(|i\rangle\) жана \(|j\rangle\) — туруктуу computational basis элементтери.
• \(|ij\rangle=|i\rangle\otimes|j\rangle\) — tensor-product basis state.
• \(|i\wedge j\rangle\) — \(i\) жана \(j\) орун алмаштырганда белгиси өзгөргөн normalized antisymmetric combination.
• \(1/\sqrt{2}\) коэффициенти абалдын нормасын 1 кылуу үчүн керек.

Жалпы quantum cost matrix

Каалаган \(n\times n\) distance matrix \(E=(E_{ij})\) үчүн булак Теңдеме (1) де:

\[ C_E := \sum_{i

аныктамасын колдонот.

\(|i\wedge j\rangle\langle i\wedge j|\) тиешелүү antisymmetric direction үстүндөгү rank-1 projector. \(E_{ij}\) коэффициенттери бул directions үчүн cost weights болуп кызмат кылат.

\(C_E\) физикалык энергия Hamiltonian болушу шарт эмес. Бул эмгектеги ролу transport optimization ичинде чыгымды аныктаган Hermitian operator болуу.

Quantum p-Wasserstein аналогу

Булактын Теңдеме (2) си:

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

Формуланын мааниси этап-этабы менен мындай:

1. Эки максаттуу state \(\rho_1\) жана \(\rho_2\) бекитилет.
2. Бул states-ти partial traces катары берген бардык quantum couplings \(\rho_{12}\) каралат.
3. Ар бир coupling үчүн \(C_E^p\) менен аныкталган cost эсептелет.
4. Бардык couplings ичинен минималдуу маани тандалат.
5. Натыйжа \(1/p\) даражага көтөрүлөт.

Бул чоңдук булакта quantum analogue of the \(p\)-Wasserstein distance катары каралат. Бирок макаланын негизги темасы — бул аналог кайсы шарттарда чындап метрикалык касиеттерге ээ болоору.

Атайын antisymmetric projector \(C^Q\)

Мурунку conjecture үчүн чыгым матрицасы:

\[ C^Q := \sum_{i

болуп тандалат.

Бул жерде \(S\) — SWAP operator:

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

\(\mathbf{1}_{n^2}\) — \(n^2\)-dimensional tensor-product space үстүндөгү identity operator.

Бул атайын учурда 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 бул чоңдук ар бир dimension \(n\) үчүн triangle inequality ни аткарат деп сунуштаган. Conjecture II болсо бул касиет \(C^Q\) айланасындагы чакан cost-matrix perturbations шартында да сакталат деп сунуштаган.

Proposition 1 эмнени далилдейт?

Proposition 1 кирүү states диагоналдык болгондо quantum transport оптималдаштыруу толугу менен classical coupling matrix \(\gamma\) аркылуу жазыларын жана quantum таасир \((\sqrt{\gamma_{ij}}-\sqrt{\gamma_{ji}})^2\) түзүмүндө көрүнөрүн далилдейт.

Probability vectors:

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

болсун.

Аларга туура келген диагоналдык density matrices:

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

үчүн 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

натыйжасын берет.

\(\Gamma_{\mathrm{cl}}(P,Q)\) — \(P\) жана \(Q\) нун бардык classical couplings жыйындысы. Coupling matrix \(\gamma=(\gamma_{ij})\) үчүн:

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

Демек, сап суммалары \(P\) ни, мамыча суммалары \(Q\) ну берет.

Proposition 1дин далили эмне үчүн үч этапка бөлүнөт?

Далилдин негизги стратегиясы — диагоналдык кирүү states үчүн керексиз quantum phase information ды орточолоо менен жок кылуу, coupling matrixти чакан block-торго кыскартуу жана positivity constraint аркылуу оптималдуу off-diagonal terms-ти аныктоо.

1-этап — Diagonal unitary phase averaging

Булак:

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

үчүн diagonal unitary operator аныктайт:

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

Бир 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). \]

Андан кийин бардык phase angles боюнча average алынат:

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

Бул операцияны “phase twirling” сыяктуу symmetrization катары кароого болот. Максат coupling-ди өзгөртүү эмес, диагоналдык marginals менен байланышы жок phase-dependent matrix elements-ти орточолоо аркылуу жок кылуу.

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

Partial traces эмне үчүн өзгөрбөйт?

\(\rho\) диагоналдык болгондуктан:

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

Акыркы теңдик диагоналдык \(\rho\) үчүн off-diagonal \(\langle i|\rho|k\rangle\) entries \(i\neq k\) болгондо эле нөл экенине негизделет.

Ошол сыяктуу:

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

Демек:

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

жана phase average \(\widetilde{\omega}\) да ошол эле coupling set ичинде калат.

Cost эмне үчүн phase averaging учурунда өзгөрбөйт?

Antisymmetric state:

\[ |i\wedge j\rangle \]

diagonal unitary pair астында global phase гана алат:

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

Global phase projector expectation valueну өзгөртпөгөндүктөн:

\[ \sum_{i

Мунун натыйжасы абдан маанилүү: оптималдуу coupling изделгенде бардык possible quantum couplings ордуна phase-averaged couplings гана боюнча minimization кылуу жетиштүү.

2-этап — Phase averaging кайсы matrix elements-ти калтырат?

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

Бул интеграл index multisets:

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

болгондо гана nonzero бойдон калышы мүмкүн.

Демек 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}, \]

жана:

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

түрүндө.

Hermiticity экинчи off-diagonal entry complex conjugate болушун талап кылат.

Positive semidefiniteness болсо ар бир \(2\times2\) block үчүн:

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

constraint берет.

\(\gamma\) эмне үчүн чындап classical coupling болот?

Phase-averaged couplingдин diagonal entries-и:

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

жана:

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

шарттарын аткарат.

Ошондуктан \((\gamma_{ij})\) — \(P\) менен \(Q\) ортосундагы ordinary classical coupling matrix.

3-этап — Quantum cost кантип classical coupling формуласына айланат?

Phase-averaged coupling үчүн cost:

\[ \sum_{i

Positive-semidefinite constraint:

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

болгондуктан:

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

Cost ичиндеги мүчө \(-2\operatorname{Re}z_{ij}\) болгондуктан costту азайтуу үчүн мүмкүн болушунча чоң \(\operatorname{Re}z_{ij}\) керек. Төмөнкү чек:

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

Бул lower bound жөн гана formal bound болуп калбайт. Булак:

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

тандоосу менен bound attain боло аларын көрсөтөт.

Ошентип, Proposition 1деги Теңдеме (4) так теңдик катары алынат.

Quantum transport эмне үчүн classical transportтон төмөн чыгышы мүмкүн?

Булактын Remark 2сине ылайык, диагоналдык states үчүн quantum transport cost classical transport аналогуна караганда төмөн болушунун математикалык себеби — quantum couplingде уруксат берилген off-diagonal \(z_{ij}\) мүчөлөрү cost ичинде \(-2\sqrt{\gamma_{ij}\gamma_{ji}}\) түрүндөгү азайтуучу interference салымын түзө алат.

Теңдеме (4) колдонулганда:

\[ \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\) чыныгы distance matrix болгондо эң оң жактагы туюнтма classical \(p\)-Wasserstein distanceтын \(2^{-1/p}\) коэффициенти менен масштабдалган түрү.

Бул жердеги “арзаныраак transport” деген сөз физикалык энергия сарптоону билдирбейт. Ал аныкталган mathematical objective functionдын оптималдуу мааниси кичирээк экенин гана билдирет.

Булактын normalization сунушу

Miller ушул \(2^{-1/p}\) factor себептүү мурунку аныктамада:

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

түрүндөгү factor 2 колдонуу classical states жана classical couplings менен чектелгенде standard classical \(p\)-Wasserstein distanceты түздөн-түз кайтарып берерин белгилейт.

Бул жагдай булакта автордун математикалык normalization баалоосу. Verianla муну жаңы кабыл алынган стандарт катары көрсөтпөйт.

Эки өлчөмдүү өзгөчө учур эмне үчүн маанилүү?

\(n=2\) учуру маанилүү, анткени мурунку эмгекте ушул өзгөчө өлчөмдө triangle inequality аткарылары далилденген; Millerдин Proposition 1 формуласы да \(n=2\) үчүн мурунку белгилүү натыйжаны кайра чыгарып, жаңы формула үчүн шайкештик текшерүүсүн берет.

Булак Remark 3тө:

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

тандоосун карайт.

Булак текстинде states:

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

түрүндө берилет.

Нотация боюнча эскертүү: Дароо кийинки coupling matrix жана Теңдеме (13) булакта \(r,s\) ордуна \(p,q\) белгилерин колдонот. Төмөндө булак теңдемесинин өзүнүн \(p,q\) нотациясы сакталды.

Classical couplings бир \(\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\}. \]

түрүндө.

Теңдеме (4) колдонулганда:

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

Минимумдун натыйжасында булак Теңдеме (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 ошол эле учурда:

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

түрүнө эквиваленттүү.

Булак эквиваленттүүлүктү:

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

байланышына негиздейт.

Изилдөөнүн Ыкмасы жана Жыйынтыктары

Үч өлчөмдүү каршы мисалдардын үй-бүлөсү кантип курулат?

Каршы мисал үч диагоналдык \(3\times3\) density matrixтин эки параметрлүү үй-бүлөсү менен курулат; \(s,t\) admissible region ичинде тандалганда direct \(\rho\rightarrow\tau\) quantum transport value, \(\sigma\) аркылуу өткөн эки transport valueнун суммасынан чоң болуп, triangle inequality бузулат.

Үч density matrix

Булак Теңдеме (14)тө:

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

аныктамаларын колдонот.

Parameter space:

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

Бул constraints кокус эмес. Бардык diagonal entries nonnegative болушу жана states жарактуу probability distributions/density matrices катары калышы керек.

Мисалы, \(\rho\) үчүн entries:

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

болуп, суммасы:

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

\(\sigma\) жана \(\tau\) үчүн да entries 1ге суммаланат.

Үч pairwise transport value

Булак бул бөлүмдө \(W_{C_E,2}\) ни кыскача \(W\) деп белгилеп, адегенде төмөнкү үч closed-form натыйжаны далилдейт:

\[ 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\) ичинде \(t\le s\) болгондуктан \(\sqrt{s}-\sqrt{t}\ge0\); демек Теңдеме (17)де абсолюттук маанини талап кылбаган оң тартип сакталат.

Теңдеме (15) кантип чыгарылат?

\(\rho\) жана \(\sigma\)нын probability vectors-у:

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

түрүндө жазылат.

Булак classical coupling familyни:

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

түрүндө parametrizes кылат.

Nonnegativity constraints:

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

түрүндө берилет.

Теңдеме (4) колдонулганда:

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

Булактын аргументинде objective function адегенде \(\mu\) боюнча nondecreasing болгондуктан минимум:

\[ \mu=0 \]

чекитинде алынат.

Андан кийин калган туюнтма \(\lambda\) боюнча да nondecreasing болгондуктан:

\[ \lambda=0 \]

тандалат.

Ошентип:

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

Квадрат ачылганда:

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

жана ага \(t\) кошулганда:

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

алынат.

Демек:

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

жана оң square root алынып Теңдеме (15) чыгат.

Теңдеме (16) кантип чыгарылат?

\(\rho\) жана \(\tau\) үчүн:

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

Булак coupling matrixти:

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

Теңдеме (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]. \]

Булак кайрадан objective function \(\mu\), андан соң \(\lambda\) боюнча nondecreasing экенин колдонот. Минимум:

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

чекитинде.

Ошентип:

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

Бул туюнтма иретке келтирилгенде:

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

жана ошентип Теңдеме (16) алынат.

Теңдеме (17) эмне үчүн башкача далилди талап кылат?

\(\sigma\) менен \(\tau\) ортосундагы бардык classical couplings-ти түздөн-түз parametrizes кылуу булакта төрт parameter талап кылгандыктан, Miller анын ордуна objective function үчүн lower bound түзүп, андан соң ошол lower boundга жеткен ачык coupling көрсөтөт.

Аныктама:

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

Адегенде nonnegative болгон бир summand эске алынбай:

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

Бул эки мүчө:

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

түрүндө жазылат.

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

Coupling marginals себептүү:

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

Демек:

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

Теңдеме (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 булакта берилген:

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

coupling аркылуу attain болот.

Демек inequality теңдикке айланат:

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

жана:

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

Бул Теңдеме (17).

Үч бурчтук теңсиздиги так кантип бузулат?

Булак admissible parameter region \(\Delta\)нын бардык ички чекиттеринде \(W(\rho,\tau)-W(\rho,\sigma)-W(\sigma,\tau)>0\) экенин көрсөтөт; ошондуктан triangle inequality бир гана кокустук parameter тандоосунда эмес, ачык эки параметрлүү каршы мисалдар үй-бүлөсүндө аткарылбайт.

Теңдеме (15)–(17) triangle inequalityнин талап кылынган багыты менен салыштырылганда, булак төмөнкү тескери теңсиздикти далилдөөнү көздөйт:

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

Булактын Теңдеме (18)деги эквиваленттүү түрү:

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

жана validity region:

\[ 0

Бул шарттар так \(\Delta\)нын interior бөлүгүн билдирет.

Эмне үчүн жаңы \(r\) жана \(a\) өзгөрмөлөрү аныкталат?

Булак proofтун акыркы бөлүгүн башкарууга жеңил кылуу үчүн:

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

жана:

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

аныктамаларын колдонот.

Interior constraints себептүү:

\[ 00. \]

Теңдеме (18) бул variables менен:

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

түрүнө келтирилет.

Эки тарап тең оң болгондуктан squares алууга болот. Algebraic cancellationдан кийин талап кылынган inequality:

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

болот.

Strict concavity акыркы кадамды эмне үчүн чечет?

Булак:

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

functionды \([0,1]\) intervalында карайт.

\(a>0\) үчүн бул function strictly concave.

Strict concavityнин негизги натыйжасы, \(0

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

Endpoint values:

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

жана:

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

болгондуктан:

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

Бул так Теңдеме (20).

Ошентип:

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

бардык interior \(\Delta^\circ\) үчүн далилденет.

Figure 1дин математикалык билдирүүсү

Булак Figure 1де:

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

functionды admissible parameter region \(\Delta\) үстүндө көрсөтөт.

Булактын captionына ылайык:

• \(g(s,t)=0\), boundary \(\partial\Delta\) үстүндө;
• \(g(s,t)>0\), interior \(\Delta^\circ\) үстүндө.

Демек график аналитикалык proofтун визуалдык эквиваленти; proofтун ордуна өткөн numerical evidence эмес.

Каршы мисал эмне үчүн бардык \(n>3\) өлчөмдөргө жайылат?

Булак үч-dimensional counterexample statesти higher-dimensional space ичине:

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

түрүндө киргизет.

\(\mathbf{0}_{n-3}\) — кошумча dimensions үстүндөгү zero block.

Бул embedding алгачкы үч dimensionsтагы probability structureду өзгөртпөйт. Ошондуктан \(n=3\)төгү triangle-inequality violation жогорку dimensionsга да өтөт.

Бул жерде туура жыйынтык:

Каршы мисал \(n=3\)төн башталат жана бардык \(n>3\) dimensions үчүн да counterexample берет.

Туура эмес жыйынтык болсо:

\(n=2\) үчүн да ошол эле failure далилденди.

болмок. Булак тескерисинче \(n=2\)ни белгилүү өзгөчө метрикалык учурлардын бири катары эскертет.

Conjecture I эмне үчүн четке кагылат?

Conjecture I, \(C^Q\) cost matrix менен аныкталган quantum 2-Wasserstein semidistance бардык dimensions үчүн triangle inequalityни аткарат деп сунуштаган.

Millerдин familyси \(n=3\) үчүн ачык violation берери менен “бардык \(n\)” деген доомат четке кагылат.

Бир жарактуу counterexample universal mathematical conjectureду четке кагуу үчүн жетиштүү. Бул эмгек болсо бир isolated point ордуна \(\Delta^\circ\) ичинде кеңири эки параметрлүү family көрсөтөт.

Conjecture II эмне үчүн күчүндө калбайт?

Conjecture II ошол метрикалык жүрүм-турум \(C^Q\)нын чакан perturbations айланасында да сакталат деп сунуштаган. Эмгек \(C^Q\)нын өзү үчүн негизги triangle-inequality property аткарылбай турганын көрсөткөндүктөн, \(C^Q\) борборундагы бул conjectured metric neighborhoodдун негизи да жоголот. Булак abstract жана introduction бөлүмдөрүндө эки conjecture тең ушул analytical counterexamples менен disproved болгонун ачык айтат.

Изилдөө колдогон жыйынтыктар

• Жалпы \(W_{C_E,p}\) construction semidistance катары каралышы мүмкүн, бирок triangle inequality жалпы учурда кепилденбейт.
• Атайын antisymmetric projector \(C^Q\) үчүн аныкталган quantum 2-Wasserstein quantity \(n=3\)тө triangle inequalityни бузган diagonal-state counterexamplesке жол берет.
• Бул counterexamples zero-block embedding аркылуу бардык \(n>3\) өлчөмдөргө кеңейтилет.
• Диагоналдык states үчүн \(W_{C_E,p}\) Proposition 1де берилген classical-coupling minimization формуласына келтирилет.
• Quantum/classical transport айырмасында off-diagonal coupling terms чечүүчү математикалык роль ойнойт.
• Булакта аныкталган \(\Delta^\circ\) аймагынын баарында triangle defect оң.
• \(n=2\) жана pure-state restrictions сыяктуу мурда белгилүү өзгөчө натыйжалар бул counterexample менен жокко чыгарылбайт.

Изилдөө колдобогон жыйынтыктар

• Эмгек “бардык quantum Wasserstein distances туура эмес” деген жыйынтыкты көрсөтпөйт.
• Бул макала жалгыз өзү бардык quantum optimal transport formulations метрика боло албасын далилдебейт.
• Эмгек физикалык quantum transport experiment жүргүзбөйт.
• Эмгек кванттык компьютерде algorithm benchmark кылбайт.
• “Quantum transport cheaper” деген сөз энергия, убакыт же экономикалык чыгым артыкчылыгын билдирбейт.
• Каршы мисал \(n=2\) учурун четке какпайт.
• Булак \(p<2\), бардык possible cost operators же бардык альтернативдүү quantum-transport definitions үчүн бир universal no-go theorem сунуштабайт.
• Figure 1 numerical simulation аркылуу теореманы далилдебейт; негизги натыйжа analytical proofтан чыгат.

Белгилер жана түшүнүктөр таблицасы

Өлчөм жана бирдик боюнча эскертүү

Бул эмгек математикалык quantum-information изилдөөсү. Density-matrix entries, probabilities, coupling coefficients, \(s,t,r,a\) parameters жана аныкталган normalized transport quantities физикалык SI бирдиктери менен берилбейт. Ошондуктан метр, джоуль, секунда же башка dimensional units бул теңдемелерде жок.

Булактагы нотация боюнча эскертүү

Remark 3тө булак:

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

аныктамасынан кийин дароо coupling matrix ичинде:

\[ p,\ q \]

белгилерине өтөт.

Булак бул notation change үчүн өзүнчө түшүндүрмө бербейт. Verianla математикалык контексттен \(p\) жана \(q\) бул жерде тиешелүү two-state probability parameters ролунда колдонулганын көрсөтө алат; бирок түпнуска булактагы тамга алмашуусун көрүнбөй кайра жазып, “булак ушундай жазган” деген таасир жаратпайт.

Acknowledgement ичиндеги жасалма интеллект маалыматы

Макаланын Acknowledgements бөлүмүндө автор каршы мисалдарды табууда ChatGPT 5.4 Pro колдоосун пайдаланганын айтат.

Бул билдирүү эмгектин математикалык далилдери автоматтык түрдө текшерилгенин билдирбейт. Жарыяланган preprintте аналитикалык proof чынжыры ачык жазылган жана илимий баалоо ошол proofтун математикалык жарактуулугу аркылуу жүргүзүлүшү керек.

Булак жана Ыкма Жөнүндө Эскертүү

Түпнуска аталышы: Comment on ‘Quantum Monge–Kantorovich Problem and Transport Distance between Density Matrices’

Автор: Tomasz Miller

Авторлор тартиби: Бир авторлуу эмгек.

Corresponding author: Tomasz Miller; булак PDFте жылдызча менен байланыш автору катары көрсөтүлгөн.

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

Тең салым: Колдонулбайт; эмгек бир авторлуу.

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

Тармак: Quantum Physics, Mathematical Physics, quantum optimal transport, density-matrix geometry.

Булак түрү: Теориялык/математикалык comment preprint.

Рецензия статусу: Жүктөлгөн булак arXiv preprint. Verianla кароосунда текшерилген расмий жазуу arXiv v1 жазуусу; жүктөлгөн файлда өзүнчө рецензияланган journal publication маалыматы жок.

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

DOI: 10.48550/arXiv.2607.07764.

arXiv тапшыруу күнү: 8 Июль 2026.

PDFтеги manuscript күнү: 10 Июль 2026.

Платформа: arXiv.

Негизги тема категориясы: Quantum Physics (quant-ph).

Байланыштуу тармак: Mathematical Physics.

Расмий шилтеме: https://arxiv.org/abs/2607.07764

DOI шилтемеси: https://doi.org/10.48550/arXiv.2607.07764

Барак саны: 7.

Сүрөт саны: 1.

Таблица: Булакта өзүнчө номерленген таблица жок.

Эксперимент/симуляция абалы: Физикалык эксперимент жок. Кванттык жабдуу колдонулган эмес. Негизги натыйжа analytical counterexample жана proof. Figure 1 аналитикалык формулалардан аныкталган triangle-defect functionдын parameter-space көрсөтүлүшү.

Негизги маселе: Friedland, Eckstein, Cole жана Życzkowski аныктаган quantum 2-Wasserstein semidistance атайын \(C^Q\) cost matrix үчүн бардык dimensionsда чыныгы метрикабы же жокпу — ошону текшерүү.

Негизги натыйжа: \(n=3\) диагоналдык states үчүн кең counterexample familyде triangle inequality бузулат; family \(n>3\)ке zero-block embedding аркылуу кеңейтилет.

Proposition 1: Диагоналдык density matrices ортосундагы \(W_{C_E,p}\) classical couplings үстүндө \(\frac12\sum E_{ij}^p(\sqrt{\gamma_{ij}}-\sqrt{\gamma_{ji}})^2\) objective менен берилет.

Маанилүү өзгөчө учур: \(n=2\) жана pure-state restrictions үчүн мурда белгилүү метрикалык натыйжалар бул эмгек тарабынан жокко чыгарылбайт; булак алар үчүн талап кылынган \(p\ge2\) шартын белгилейт.

Булактагы нотация маселеси: Remark 3тө two-level states \(r,s\) менен аныкталып, coupling жана Теңдеме (13) \(p,q\) белгилерине өтөт. Булак муну өзүнчө түшүндүрбөйт.

Normalization боюнча комментарий: Автор classical Wasserstein limitин түз кайтарып алуу үчүн Теңдеме (2)деги costту factor 2 менен нормалдаштыруу ылайыктуураак болушу мүмкүн деп Remark 2де сунуштайт. Бул булактын математикалык пикири катары берилген.

Лицензия: Жүктөлгөн PDFте ачык Creative Commons лицензия билдирүүсү көрүнбөйт. Ошондуктан Verianla мазмунунда булак тексти же түпнуска Figure 1 түз көчүрүлүп кайра жарыяланган эмес; илимий маалымат өз алдынча түшүндүрмө текст жана оригиналдуу SVG түзүмү менен берилген.

Каржылоо: Булакта өзүнчө funding statement берилген эмес.

Кызыкчылыктардын кагылышы: Булакта өзүнчө conflict-of-interest statement берилген эмес.

Маалыматтардын жеткиликтүүлүгү: Эмгек эксперименттик dataset колдонбойт; өзүнчө data-availability statement берилген эмес.

Автордун салымы: Бир авторлуу эмгекте өзүнчө CRediT breakdown берилген эмес.

Acknowledgement: Автор каршы мисалдар ChatGPT 5.4 Pro жардамы менен табылганын айткан.

Булак таянган негизги эмгек: Shmuel Friedland, Michał Eckstein, Sam Cole жана Karol Życzkowski, “Quantum Monge–Kantorovich problem and transport distance between density matrices”, Physical Review Letters 129, 110402 (2022).

Экинчи негизги булак: Sam Cole, Michał Eckstein, Shmuel Friedland жана Karol Życzkowski, “On quantum optimal transport”, Mathematical Physics, Analysis and Geometry 26, 14 (2023).

Үчүнчү булак: Tomasz Miller жана R. Bistroń, “Distances between pure quantum states induced by a distance matrix”, arXiv:2509.14727 [math-ph] (2025).