pith. sign in

arxiv: 2510.26326 · v2 · submitted 2025-10-30 · 🧮 math-ph · math.MP· math.OA· quant-ph

Strong Kantorovich duality for quantum optimal transport with generic cost and optimal couplings on quantum bits

Pith reviewed 2026-05-18 03:44 UTC · model grok-4.3

classification 🧮 math-ph math.MPmath.OAquant-ph
keywords quantum optimal transportKantorovich dualityquantum Wasserstein divergencequantum bitstriangle inequalityoptimal couplingsquantum channels
0
0 comments X

The pith

Kantorovich duality holds for linearized quantum optimal transport realized by quantum channels

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves Kantorovich duality for a linearized version of a non-quadratic quantum optimal transport problem in which quantum channels realize the transport maps. This duality is then applied to quantum bits with distinguished cost operators and under restrictions on the states to obtain explicit optimal solutions for both the primal and dual problems. The same restrictions allow an analytical proof that the square of the induced quantum Wasserstein divergence satisfies the triangle inequality. A sympathetic reader would care because the results supply concrete analytical tools for distances between quantum states when standard quadratic costs are replaced by generic ones.

Core claim

We prove Kantorovich duality for the linearized quantum optimal transport problem with generic cost, where quantum channels realize the transport. As an application, we determine optimal solutions of both the primal and the dual problem using this duality in the case of quantum bits and distinguished cost operators, with certain restrictions on the states involved. Finally, keeping the same restrictions regarding the states involved, we use this information on optimal solutions to give an analytical proof of the triangle inequality even for the square of the induced quantum Wasserstein divergences.

What carries the argument

The linearized formulation of the non-quadratic quantum optimal transport problem with quantum-channel couplings, for which strong Kantorovich duality is established and then used to extract optimal solutions

If this is right

  • Explicit optimal primal and dual solutions become available for qubit states under the given restrictions and distinguished costs.
  • The square of the induced quantum Wasserstein divergence satisfies the triangle inequality under the same state restrictions.
  • Analytical verification of metric properties is possible for this channel-based quantum transport setting.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The duality and triangle inequality might extend to higher-dimensional systems if analogous state restrictions can be identified.
  • Numerical checks on small quantum systems outside the restricted class could test whether the results survive relaxation of the assumptions.
  • The linearized channel formulation may suggest approximation schemes that connect to classical optimal transport computations.

Load-bearing premise

The restrictions placed on the states involved are sufficient to determine explicit optimal solutions for both primal and dual problems and to carry the triangle inequality proof for the squared divergence.

What would settle it

A concrete counterexample consisting of two qubit states satisfying the stated restrictions, a distinguished cost operator, and a quantum channel for which either the duality equality fails or the squared Wasserstein divergence violates the triangle inequality would disprove the central results.

read the original abstract

We prove Kantorovich duality for a linearized version of a recently proposed non-quadratic quantum optimal transport problem, where quantum channels realize the transport. As an application, we determine optimal solutions of both the primal and the dual problem using this duality in the case of quantum bits and distinguished cost operators, with certain restrictions on the states involved. Finally, keeping the same restrictions regarding the states involved, we use this information on optimal solutions to give an analytical proof of the triangle inequality even for the square of the induced quantum Wasserstein divergences.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 3 minor

Summary. The manuscript proves Kantorovich duality for a linearized version of a non-quadratic quantum optimal transport problem in which quantum channels realize the transport maps. As an application, explicit optimal solutions for both the primal and dual problems are derived in the qubit case for distinguished cost operators under stated restrictions on the input states. These optima are then used to give an analytical proof of the triangle inequality for the square of the induced quantum Wasserstein divergence, again under the same state restrictions.

Significance. If the duality and the subsequent derivations hold, the work supplies a concrete duality theorem for a linearized quantum OT problem with generic costs and yields explicit optima on qubits together with a direct analytical verification of the triangle inequality for the squared divergence. The analytical (non-numerical) character of the triangle-inequality argument is a clear strength. No machine-checked proofs or parameter-free derivations are claimed, but the explicit construction of optima and their use in the inequality proof constitute a useful contribution to the quantum optimal transport literature.

major comments (1)
  1. [Section 2 (duality theorem) and Section 4 (triangle inequality)] The duality theorem is stated for generic costs, yet the explicit optima and the triangle-inequality argument are derived only after imposing restrictions on the states. The manuscript should clarify, with a precise statement (e.g., in the paragraph following the duality theorem), whether the duality itself requires any of these restrictions or holds without them; otherwise the scope of the central claim remains ambiguous.
minor comments (3)
  1. [Section 3] The precise definition of the 'distinguished cost operators' and the exact form of the state restrictions should be collected in a single displayed assumption box or numbered list for easy reference.
  2. [Introduction] Notation for the quantum channels realizing transport and for the linearized cost functional is introduced gradually; a short table summarizing all symbols at the end of the introduction would improve readability.
  3. [Abstract] The abstract claims a 'strong' Kantorovich duality; a brief sentence relating this terminology to the classical or quantum literature would help readers situate the result.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive evaluation and for identifying the need to clarify the scope of the duality result. We address the single major comment below and will incorporate the requested clarification.

read point-by-point responses
  1. Referee: [Section 2 (duality theorem) and Section 4 (triangle inequality)] The duality theorem is stated for generic costs, yet the explicit optima and the triangle-inequality argument are derived only after imposing restrictions on the states. The manuscript should clarify, with a precise statement (e.g., in the paragraph following the duality theorem), whether the duality itself requires any of these restrictions or holds without them; otherwise the scope of the central claim remains ambiguous.

    Authors: The Kantorovich duality (Theorem 2.1) is formulated and proved for arbitrary cost operators on finite-dimensional quantum systems; its statement and proof impose no restrictions on the input states. The restrictions on the states appear only from Section 3 onward, where we specialize to qubits and distinguished costs in order to obtain explicit primal and dual optima. The same restrictions are retained in Section 4 solely to obtain an analytical proof of the triangle inequality for the squared divergence. We agree that the distinction should be stated explicitly. In the revised version we will add, immediately after the statement of Theorem 2.1, a short paragraph clarifying that the duality holds for generic costs and without state restrictions, while the subsequent explicit constructions and the triangle-inequality argument are subject to the stated assumptions on the states. revision: yes

Circularity Check

0 steps flagged

No circularity: direct analytical proofs of duality and triangle inequality under explicitly maintained restrictions

full rationale

The paper states it proves Kantorovich duality for a linearized version of a prior quantum OT problem, then applies the duality to obtain explicit primal/dual optima for qubits with distinguished costs under stated state restrictions, and finally uses those optima to prove the triangle inequality for the squared divergence while keeping the identical restrictions. No quoted step shows a result reducing by construction to a fitted input, a self-citation chain, or a renamed ansatz; the derivation chain consists of stated proofs and applications that remain self-contained within the given restrictions without invoking unverified load-bearing prior results as substitutes for the new arguments.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the standard mathematical framework of quantum states, channels, and convex optimization; no free parameters, invented entities, or ad-hoc axioms are mentioned in the abstract.

axioms (2)
  • domain assumption Quantum states are density operators and transport is realized by completely positive trace-preserving maps
    Invoked throughout the abstract as the setting for the optimal transport problem.
  • domain assumption The cost operator is a fixed self-adjoint operator on the tensor product space
    Used to define the linearized transport cost.

pith-pipeline@v0.9.0 · 5636 in / 1346 out tokens · 29334 ms · 2026-05-18T03:44:42.634696+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Relations between different definitions of the quantum Wasserstein distance for qubits

    quant-ph 2026-05 unverdicted novelty 5.0

    Two quantum Wasserstein distance definitions coincide for qubits with single-operator cost functions, implying the self-distance equals the Wigner-Yanase skew information.

Reference graph

Works this paper leans on

76 extracted references · 76 canonical work pages · cited by 1 Pith paper · 3 internal anchors

  1. [1]

    Lectures in Mathematics ETH Z¨ urich

    Luigi Ambrosio, Nicola Gigli, and Giuseppe Savar´ e.Gradient flows in metric spaces and in the space of probability measures. Lectures in Mathematics ETH Z¨ urich. Birkh¨ auser Verlag, Basel, second edition, 2008

  2. [2]

    Wasserstein Distances on Quantum Structures: an Overview

    Emily Beatty. Wasserstein distances on quantum structures: an overview.arXiv preprint arXiv:2506.09794, 2025

  3. [3]

    Beatty and D

    Emily Beatty and Daniel Stilck Fran¸ ca. Orderpquantum Wasserstein distances from couplings.Ann. Henri Poincar´ e, 2025. doi:10.1007/s00023-025-01557-z

  4. [4]

    A free probability an alogue of the Wasserstein metric on the trace-state space

    Philippe Biane and Dan Voiculescu. A free probability analogue of the Wasserstein metric on the trace-state space.Geom. Funct. Anal., 11(6):1125–1138, 2001.doi:10.1007/s00039-001-8226-4

  5. [5]

    Monotonicity of the quantum 2-Wasserstein distance, 2023.doi:DOI10

    Rafa l Bistro´ n, Micha l Eckstein, and Karol˙Zyczkowski. Monotonicity of the quantum 2-Wasserstein distance, 2023.doi:DOI10. 1088/1751-8121/acb9c8

  6. [6]

    Distribution’s template estimate with W asserstein m et- rics

    Emmanuel Boissard, Thibaut Le Gouic, and Jean-Michel Loubes. Distribution’s template estimate with Wasserstein metrics. Bernoulli, 21(2):740–759, 2015.doi:10.3150/13-BEJ585

  7. [7]

    D´ ecomposition polaire et r´ earrangement monotone des champs de vecteurs.C

    Yann Brenier. D´ ecomposition polaire et r´ earrangement monotone des champs de vecteurs.C. R. Acad. Sci. Paris S´ er. I Math., 305(19):805–808, 1987

  8. [8]

    , TITLE =

    Yann Brenier. Polar factorization and monotone rearrangement of vector-valued functions.Comm. Pure Appl. Math., 44(4):375–417, 1991.doi:10.1002/cpa.3160440402

  9. [9]

    Universitext

    Haim Brezis.Functional analysis, Sobolev spaces and partial differential equations. Universitext. Springer, New York, 2011

  10. [10]

    Metric property of quantum wasserstein diver gences

    Gergely Bunth, J´ ozsef Pitrik, Tam´ as Titkos, and D´ aniel Virosztek. Metric property of quantum Wasserstein divergences.Phys. Rev. A, 110:022211, Aug 2024.doi:10.1103/PhysRevA.110.022211. KANTOROVICH DUALITY AND OPTIMAL COUPLINGS OF QUBITS 17

  11. [11]

    Wasserstein distances and divergences of order $p$ by quantum channels

    Gergely Bunth, J´ ozsef Pitrik, Tam´ as Titkos, and D´ aniel Virosztek. Wasserstein distances and divergences of orderpby quantum channels, 2025.arXiv:2501.08066

  12. [12]

    Subgeometric rates of convergence of Ma rkov processes in the Wasserstein metric

    Oleg Butkovsky. Subgeometric rates of convergence of Markov processes in the Wasserstein metric.Ann. Appl. Probab., 24(2):526– 552, 2014.doi:10.1214/13-AAP922

  13. [13]

    Q uantum optimal transport is cheaper

    Emanuele Caglioti, Fran¸ cois Golse, and Thierry Paul. Quantum optimal transport is cheaper.J. Stat. Phys., 181(1):149–162, 2020. doi:10.1007/s10955-020-02571-7

  14. [14]

    Towards optimal transport for quantum densities.Ann

    Emanuele Caglioti, Fran¸ cois Golse, and Thierry Paul. Towards optimal transport for quantum densities.Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 24(4):1981–2045, 2023.doi:10.2422/2036-2145.202106\_011

  15. [15]

    Carlen and Jan Maas

    Eric A. Carlen and Jan Maas. An analog of the 2-Wasserstein metric in non-commutative probability under which the fermionic Fokker-Planck equation is gradient flow for the entropy.Comm. Math. Phys., 331(3):887–926, 2014.doi:10.1007/ s00220-014-2124-8

  16. [16]

    Carlen and Jan Maas

    Eric A. Carlen and Jan Maas. Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance.J. Funct. Anal., 273(5):1810–1869, 2017.doi:10.1016/j.jfa.2017.05.003

  17. [17]

    Carlen and Jan Maas

    Eric A. Carlen and Jan Maas. Correction to: Non-commutative calculus, optimal transport and functional inequalities in dissipative quantum systems.J. Stat. Phys., 181(6):2432–2433, 2020.doi:10.1007/s10955-020-02671-4

  18. [18]

    Carlen and Jan Maas

    Eric A. Carlen and Jan Maas. Non-commutative calculus, optimal transport and functional inequalities in dissipative quantum systems.J. Stat. Phys., 178(2):319–378, 2020.doi:10.1007/s10955-019-02434-w

  19. [19]

    On Quantum Optimal Transport

    Sam Cole, Micha lEckstein, Shmuel Friedland, and Karol ˙Zyczkowski. On Quantum Optimal Transport.Mathematical Physics, Analysis and Geometry, 26:Article No. 14, 2023.doi:10.1007/s11040-023-09456-7

  20. [20]

    Springer US, Boston, MA, 1992

    Alain Connes and John Lott.The Metric Aspect of Noncommutative Geometry, pages 53–93. Springer US, Boston, MA, 1992. doi:10.1007/978-1-4615-3472-3_3

  21. [21]

    Free transport for convex potentials.New Zealand J

    Yoann Dabrowski, Alice Guionnet, and Dima Shlyakhtenko. Free transport for convex potentials.New Zealand J. Math., 52:259– 359, 2021 [2021–2022].doi:10.53733/102

  22. [22]

    Concentration of q uantum states from quantum functional and transportation c ost inequalities

    Nilanjana Datta and Cambyse Rouz´ e. Concentration of quantum states from quantum functional and transportation cost inequal- ities.J. Math. Phys., 60(1):012202, 22, 2019.doi:10.1063/1.5023210

  23. [23]

    Relating relative entropy, optimal transport and Fisher information: a quant um HWI inequality

    Nilanjana Datta and Cambyse Rouz´ e. Relating relative entropy, optimal transport and Fisher information: a quantum HWI inequality.Ann. Henri Poincar´ e, 21(7):2115–2150, 2020.doi:10.1007/s00023-020-00891-8

  24. [24]

    Quantum optimal tr ansport with quantum channels

    Giacomo De Palma and Dario Trevisan. Quantum optimal transport with quantum channels.Ann. Henri Poincar´ e, 22(10):3199– 3234, 2021.doi:10.1007/s00023-021-01042-3

  25. [25]

    Quantum optimal transport: quantum channels and qubits

    Giacomo De Palma and Dario Trevisan. Quantum optimal transport: quantum channels and qubits. In Jan Maas, Simone Rademacher, Tam´ as Titkos, and D´ aniel Virosztek, editors,Optimal Transport on Quantum Structures. Springer Nature, 2024. arXiv:2307.16268

  26. [26]

    Optimal quantum channels.Phys

    Rocco Duvenhage. Optimal quantum channels.Phys. Rev. A, 104(3):Paper No. 032604, 8, 2021.doi:10.1103/physreva.104. 032604

  27. [27]

    Quadratic Wasserstein metrics for vo n Neumann algebras via transport plans

    Rocco Duvenhage. Quadratic Wasserstein metrics for von Neumann algebras via transport plans.J. Operator Theory, 88(2):289– 308, 2022.arXiv:2012.03564

  28. [28]

    Wasserstein distance between noncommutative dynamical systems

    Rocco Duvenhage. Wasserstein distance between noncommutative dynamical systems, 2023. URL:https://www.sciencedirect. com/science/article/pii/S0022247X23003566,doi:10.1016/j.jmaa.2023.127353

  29. [29]

    E xtending quantum detailed balance through optimal transpo rt

    Rocco Duvenhage, Samuel Skosana, and Machiel Snyman. Extending quantum detailed balance through optimal transport.Reviews in Mathematical Physics, 2024.arXiv:2206.15287,doi:10.1142/S0129055X24500405

  30. [30]

    Figalli and F

    A. Figalli and F. Maggi. On the shape of liquid drops and crystals in the small mass regime.Arch. Ration. Mech. Anal., 201(1):143– 207, 2011.doi:10.1007/s00205-010-0383-x

  31. [31]

    Figalli, F

    A. Figalli, F. Maggi, and A. Pratelli. A mass transportation approach to quantitative isoperimetric inequalities.Invent. Math., 182(1):167–211, 2010.doi:10.1007/s00222-010-0261-z

  32. [32]

    EMS Textbooks in Mathematics

    Alessio Figalli and Federico Glaudo.An invitation to optimal transport, Wasserstein distances, and gradient flows. EMS Textbooks in Mathematics. EMS Press, Berlin, [2021].doi:10.4171/ETB/22

  33. [33]

    Quantum Monge-Kantorovich Prob- lem and Transport Distance between Density Matrices

    Shmuel Friedland, Micha lEckstein, Sam Cole, and Karol ˙Zyczkowski. Quantum Monge-Kantorovich Problem and Transport Dis- tance between Density Matrices.Phys. Rev. Lett., 129(11):Paper No. 110402, 2022.doi:10.1103/physrevlett.129.110402

  34. [34]

    Princeton University Press, 1 edition, 2016

    Alfred Galichon.Optimal Transport Methods in Economics. Princeton University Press, 1 edition, 2016. URL:https://EconPapers. repec.org/RePEc:pup:pbooks:10870

  35. [36]

    Onthe mean field and classical limits of quantum mechanics

    Fran¸ cois Golse, Cl´ ement Mouhot, and Thierry Paul. On the mean field and classical limits of quantum mechanics.Comm. Math. Phys., 343(1):165–205, 2016.doi:10.1007/s00220-015-2485-7

  36. [37]

    The Schr¨ odinger equation in the mean-field and semiclassical regime

    Fran¸ cois Golse and Thierry Paul. The Schr¨ odinger equation in the mean-field and semiclassical regime.Arch. Ration. Mech. Anal., 223(1):57–94, 2017.doi:10.1007/s00205-016-1031-x

  37. [38]

    W ave packets and the q uadratic Monge-Kantorovich distance in quantum mechanics

    Fran¸ cois Golse and Thierry Paul. Wave packets and the quadratic Monge-Kantorovich distance in quantum mechanics.C. R. Math. Acad. Sci. Paris, 356(2):177–197, 2018.doi:10.1016/j.crma.2017.12.007

  38. [39]

    Empirical measures and quantum mechanics: applications to the mean-field limit

    Fran¸ cois Golse and Thierry Paul. Empirical measures and quantum mechanics: applications to the mean-field limit.Comm. Math. Phys., 369(3):1021–1053, 2019.doi:10.1007/s00220-019-03357-z

  39. [40]

    Mean-field and classi cal limit for the N -body quantum dynamics with Coulomb interac- tion

    Fran¸ cois Golse and Thierry Paul. Mean-field and classical limit for theN-body quantum dynamics with Coulomb interaction. Comm. Pure Appl. Math., 75(6):1332–1376, 2022.doi:10.1002/cpa.21986

  40. [41]

    Optimal transport ps eudometrics for quantum and classical densities

    Fran¸ cois Golse and Thierry Paul. Optimal transport pseudometrics for quantum and classical densities.J. Funct. Anal., 282(9):Pa- per No. 109417, 53, 2022.doi:10.1016/j.jfa.2022.109417

  41. [42]

    Quantitative observ ability for the Schr¨ odinger and Heisenberg equations: an o ptimal transport approach

    Fran¸ cois Golse and Thierry Paul. Quantitative observability for the Schr¨ odinger and Heisenberg equations: an optimal transport approach.Math. Models Methods Appl. Sci., 32(5):941–963, 2022.doi:10.1142/S021820252250021X. 18 GERGELY BUNTH, J ´OZSEF PITRIK, TAM ´AS TITKOS, AND D ´ANIEL VIROSZTEK

  42. [43]

    Guionnet and D

    A. Guionnet and D. Shlyakhtenko. Free monotone transport.Invent. Math., 197(3):613–661, 2014.doi:10.1007/ s00222-013-0493-9

  43. [44]

    Mattingly

    Martin Hairer and Jonathan C. Mattingly. Spectral gaps in Wasserstein distances and the 2D stochastic Navier-Stokes equations. Ann. Probab., 36(6):2050–2091, 2008.doi:10.1214/08-AOP392

  44. [45]

    Hairer, J

    Martin Hairer, Jonathan C. Mattingly, and Michael Scheutzow. Asymptotic coupling and a general form of Harris’ theorem with ap- plications to stochastic delay equations.Probab. Theory Related Fields, 149(1-2):223–259, 2011.doi:10.1007/s00440-009-0250-6

  45. [46]

    Holevo.Quantum systems, channels, information

    Alexander S. Holevo.Quantum systems, channels, information. Texts and Monographs in Theoretical Physics. De Gruyter, Berlin, second edition, [2019]. A mathematical introduction

  46. [47]

    Tracial smooth functions of non-commuting variables and the free Wasserstein manifold.Dissertationes Math., 580:150, 2022.doi:10.4064/dm843-10-2021

    David Jekel, Wuchen Li, and Dimitri Shlyakhtenko. Tracial smooth functions of non-commuting variables and the free Wasserstein manifold.Dissertationes Math., 580:150, 2022.doi:10.4064/dm843-10-2021

  47. [48]

    Free energy and the Fokker-Planck equation.Phys

    Richard Jordan, David Kinderlehrer, and Felix Otto. Free energy and the Fokker-Planck equation.Phys. D, 107(2-4):265–271, 1997.doi:10.1016/S0167-2789(97)00093-6

  48. [49]

    The route to stability through Fokker-Planck dynamics

    Richard Jordan, David Kinderlehrer, and Felix Otto. The route to stability through Fokker-Planck dynamics. InDifferential equations and applications (Hangzhou, 1996), pages 108–126. Int. Press, Cambridge, MA, [1997]

  49. [50]

    SIAM Journal on Mathematical Analysis , volume =

    Richard Jordan, David Kinderlehrer, and Felix Otto. The variational formulation of the Fokker-Planck equation.SIAM J. Math. Anal., 29(1):1–17, 1998.doi:10.1137/S0036141096303359

  50. [51]

    On the translocation of masses.Doklady Akademii Nauk SSSR, 37(7-8):227–229, 1942

    Leonid V Kantorovich. On the translocation of masses.Doklady Akademii Nauk SSSR, 37(7-8):227–229, 1942. Also published in Comptes Rendus de l’Acad´ emie des Sciences de l’URSS

  51. [52]

    On a problem of Monge (in Russian).Uspekhi Matematicheskikh Nauk, 3(2):225–226, 1948

    Leonid V Kantorovich. On a problem of Monge (in Russian).Uspekhi Matematicheskikh Nauk, 3(2):225–226, 1948. English trans- lation available in Journal of Mathematical Sciences (New York), 2004, 133(1), 15–16

  52. [53]

    Learning elastic costs to shape monge displacements, 2024

    Michal Klein, Aram-Alexandre Pooladian, Pierre Ablin, Eug` ene Ndiaye, Jonathan Niles-Weed, and Marco Cuturi. Learning elastic costs to shape Monge displacements, 2024. URL:https://arxiv.org/abs/2306.11895,arXiv:2306.11895

  53. [54]

    Soheil Kolouri, Se Rim Park, and Gustavo K. Rohde. The radon cumulative distribution transform and its application to image classification.IEEE Trans. Image Process., 25(2):920–934, 2016.doi:10.1109/TIP.2015.2509419

  54. [55]

    Tosun, John A

    Soheil Kolouri, Akif B. Tosun, John A. Ozolek, and Gustavo K. Rohde. A continuous linear optimal transport approach for pattern analysis in image datasets.Pattern Recognition, 51:453–462, 2016. URL:https://www.sciencedirect.com/science/article/pii/ S0031320315003507,doi:10.1016/j.patcog.2015.09.019

  55. [56]

    Wasserstein task embedding for measuring task similarities

    Xinran Liu, Yikun Bai, Yuzhe Lu, Andrea Soltoggio, and Soheil Kolouri. Wasserstein task embedding for measuring task similarities. Neural Networks, 181:106796, 2025. URL:https://www.sciencedirect.com/science/article/pii/S0893608024007202,doi:10. 1016/j.neunet.2024.106796

  56. [57]

    and Villani, C

    John Lott and C´ edric Villani. Ricci curvature for metric-measure spaces via optimal transport.Ann. of Math. (2), 169(3):903–991, 2009.doi:10.4007/annals.2009.169.903

  57. [58]

    Optimal transport on quantum structures

    Jan Maas, Simone Rademacher, Tam´ as Titkos, and D´ aniel Virosztek, editors.Optimal transport on quantum structures. Springer, Cham, 2024.doi:10.1007/978-3-031-50466-2

  58. [59]

    Gaspard Monge. M´ emoire sur la th´ eorie des d´ eblais et des remblais.Histoire de l’Acad´ emie Royale des Sciences de Paris, avec les M´ emoires de Math´ ematique et de Physique, 1781:666–705, 1781. Published in 1784, covering the year 1781

  59. [60]

    Se Rim Park, Soheil Kolouri, Shinjini Kundu, and Gustavo K. Rohde. The cumulative distribution transform and linear pat- tern classification.Applied and Computational Harmonic Analysis, 45(3):616–641, 2018. URL:https://www.sciencedirect.com/ science/article/pii/S1063520317300076,doi:10.1016/j.acha.2017.02.002

  60. [61]

    Computational Optimal Transport: With Ap- plications to Data Science

    Gabriel Peyr´ e and Marco Cuturi. Computational optimal transport: With applications to data science.Foundations and Trends® in Machine Learning, 11(5-6):355–607, 2019. URL:http://dx.doi.org/10.1561/2200000073,doi:10.1561/2200000073

  61. [62]

    On Wasserstein two-sample testing and related famili es of nonparametric tests

    Aaditya Ramdas, Nicol´ as Garc´ ıa Trillos, and Marco Cuturi. On Wasserstein two-sample testing and related families of nonpara- metric tests.Entropy, 19(2):Paper No. 47, 15, 2017.doi:10.3390/e19020047

  62. [63]

    Geoffrey Schiebinger, Jian Shu, Marcin Tabaka, Brian Cleary, Vidya Subramanian, Aryeh Solomon, Joshua Gould, Siyan Liu, Stacie Lin, Peter Berube, Lia Lee, Jenny Chen, Justin Brumbaugh, Philippe Rigollet, Konrad Hochedlinger, Rudolf Jaenisch, Aviv Regev, and Eric S. Lander. Optimal-transport analysis of single-cell gene expression identifies developmental ...

  63. [64]

    Sanvesh Srivastava, Cheng Li, and David B. Dunson. Scalable bayes via barycenter in wasserstein space.J. Mach. Learn. Res., 19(1):312–346, January 2018

  64. [65]

    On the geometry of metric measure spaces

    Karl-Theodor Sturm. On the geometry of metric measure spaces. I.Acta Math., 196(1):65–131, 2006.doi:10.1007/ s11511-006-0002-8

  65. [66]

    On the geometry of metric measure spaces

    Karl-Theodor Sturm. On the geometry of metric measure spaces. II.Acta Math., 196(1):133–177, 2006.doi:10.1007/ s11511-006-0003-7

  66. [67]

    Quantum Wasserstein distance based on an optimization over separable states

    G´ eza T´ oth and J´ ozsef Pitrik. Quantum Wasserstein distance based on an optimization over separable states.Quantum, 7:1143, October 2023.doi:10.22331/q-2023-10-16-1143

  67. [68]

    Quantum Wasserstein distance and its relation to several types of fidelities

    G´ eza T´ oth and J´ ozsef Pitrik. Several types of quantum Wasserstein distance based on an optimization over separable states.arXiv preprint arXiv:2506.14523, 2025

  68. [69]

    Quantum optimal transport: an invitation.Bollettino dell’Unione Matematica Italiana, 18:347–360, 2025.doi: 10.1007/s40574-024-00428-5

    Dario Trevisan. Quantum optimal transport: an invitation.Bollettino dell’Unione Matematica Italiana, 18:347–360, 2025.doi: 10.1007/s40574-024-00428-5

  69. [70]

    American Mathematical Society, Providence, RI, 2003.doi:10.1090/gsm/058

    C´ edric Villani.Topics in optimal transportation, volume 58 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2003.doi:10.1090/gsm/058

  70. [71]

    , year =

    C´ edric Villani.Optimal transport, volume 338 ofGrundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 2009. Old and new.doi:10.1007/978-3-540-71050-9

  71. [72]

    von Renesse and Karl-Theodor Sturm

    Max-K. von Renesse and Karl-Theodor Sturm. Transport inequalities, gradient estimates, entropy, and Ricci curvature.Comm. Pure Appl. Math., 58(7):923–940, 2005.doi:10.1002/cpa.20060. KANTOROVICH DUALITY AND OPTIMAL COUPLINGS OF QUBITS 19

  72. [73]

    Ozolek, and Gustavo K

    Wei Wang, Dejan Slepˇ cev, Saurav Basu, John A. Ozolek, and Gustavo K. Rohde. A linear optimal transportation frame- work for quantifying and visualizing variations in sets of images.Int. J. Comput. Vis., 101(2):254–269, 2013.doi:10.1007/ s11263-012-0566-z

  73. [74]

    A dual formula for the noncommutative t ransport distance

    Melchior Wirth. A dual formula for the noncommutative transport distance.J. Stat. Phys., 187(2):Paper No. 19, 18, 2022.doi: 10.1007/s10955-022-02911-9

  74. [75]

    The Monge metric onthe sphere and geometry of quantum states

    Karol ˙Zyczkowski and Wojciech S lomczy´ nski. The Monge metric on the sphere and geometry of quantum states.J. Phys. A, 34(34):6689–6722, 2001.doi:10.1088/0305-4470/34/34/311

  75. [76]

    The Monge distance between quantum states

    Karol ˙Zyczkowski and Wojeciech S lomczy´ nski. The Monge distance between quantum states.J. Phys. A, 31(45):9095–9104, 1998. doi:10.1088/0305-4470/31/45/009

  76. [77]

    Saurav Basu and Soheil Kolouri and Gustavo K. Rohde. Detecting and visualizing cell phenotype differences from microscopy images using transport-based morphometry.Proceedings of the National Academy of Sciences, 111(9):3448–3453, 2014. URL:https: //www.pnas.org/doi/abs/10.1073/pnas.1319779111,arXiv:https://www.pnas.org/doi/pdf/10.1073/pnas.1319779111,doi:...