pith. sign in

arxiv: 1907.08425 · v1 · pith:QDVNXLMEnew · submitted 2019-07-19 · 🧮 math.AP · math-ph· math.MP

Relaxed multi-marginal costs and quantization effects

Guy Bouchitt\'e , Giuseppe Buttazzo , Thierry Champion , Luigi De Pascale This is my paper

Pith reviewed 2026-05-24 19:11 UTC · model grok-4.3

classification 🧮 math.AP math-phmath.MP
keywords multi-marginal optimal transportrelaxed costsstratification formuladuality theorymass quantizationdensity functional theoryrepulsive costs
0
0 comments X

The pith

The relaxed N-marginal cost for repulsive interactions equals a stratification sum over all lower-order k-interactions.

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

The paper develops a duality theory for multi-marginal optimal transport with repulsive costs that arise in density functional theory. It characterizes the relaxed N-marginal cost by a stratification formula that incorporates every k-way interaction for k from 1 to N. This handles loss of mass at infinity by allowing sub-probability measures. The authors derive primal-dual optimality conditions using continuous potentials that vanish at infinity, prove existence and regularity of an optimal dual potential, and show that solutions to an associated minimization problem with an external continuous potential exhibit mass quantization. A sympathetic reader cares because the results supply explicit tools for treating unbounded domains and for identifying when optimal configurations concentrate on discrete masses.

Core claim

The N-marginals relaxed cost is characterized in terms of a stratification formula which takes into account all k interactions with k≤N. A duality framework involving continuous functions vanishing at infinity yields necessary and sufficient optimality conditions. Under mild assumptions an optimal dual potential exists and is regular. When the framework is applied to a minimization problem involving a given continuous potential, optimal solutions display a mass quantization effect.

What carries the argument

The stratification formula, which decomposes the relaxed N-marginal cost into additive contributions from all possible interactions of order at most N.

If this is right

  • Minimizing sequences may converge to sub-probabilities rather than full probabilities.
  • Primal-dual optimality conditions hold when dual functions are continuous and vanish at infinity.
  • Existence and regularity of an optimal dual potential follow from mild assumptions on the costs.
  • Minimizers of the problem with an added continuous potential concentrate mass at discrete points.

Where Pith is reading between the lines

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

  • The stratification may permit computing higher-order relaxed costs recursively from lower-order ones.
  • Mass quantization implies that ground states in some regimes consist of finite collections of point masses instead of continuous densities.
  • The same duality and stratification approach could apply to other repulsive multi-body problems in statistical mechanics.

Load-bearing premise

The cost functions are repulsive and dual potentials can be chosen among continuous functions vanishing at infinity.

What would settle it

An explicit repulsive cost and continuous external potential for which a minimizing sub-probability measure has a non-quantized, absolutely continuous density component.

read the original abstract

We propose a duality theory for multi-marginal repulsive cost that appear in optimal transport problems arising in Density Functional Theory. The related optimization problems involve probabilities on the entire space and, as minimizing sequences may lose mass at infinity, it is natural to expect relaxed solutions which are sub-probabilities. We first characterize the $N$-marginals relaxed cost in terms of a stratification formula which takes into account all $k$ interactions with $k\le N$. We then develop a duality framework involving continuous functions vanishing at infinity and deduce primal-dual necessary and sufficient optimality conditions Next we prove the existence and the regularity of an optimal dual potential under very mild assumptions. In the last part of the paper, we apply our results to a minimization problem involving a given continuous potential and we give evidence of a mass quantization effect for optimal solutions.

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 / 0 minor

Summary. The paper develops a duality theory for multi-marginal repulsive costs arising in optimal transport problems from Density Functional Theory. It characterizes the relaxed N-marginal cost via a stratification formula incorporating all k-body interactions for k ≤ N, establishes a duality framework using continuous functions vanishing at infinity (C_0), derives primal-dual optimality conditions, proves existence and regularity of optimal dual potentials under mild assumptions, and applies the framework to a minimization problem with a given continuous external potential V, providing evidence of mass quantization in optimal solutions.

Significance. If the central results hold, the stratification formula and duality framework offer a systematic way to handle mass loss at infinity in repulsive multi-marginal OT, which is relevant for DFT models. The explicit optimality conditions and regularity results for dual potentials are technically substantive contributions. The quantization evidence in the final application, if rigorously justified, would be a notable observation linking the relaxed theory to discrete mass concentrations.

major comments (1)
  1. [final section on minimization with continuous potential] § on application to continuous potential V (final section): the duality, stratification formula, and optimality conditions are derived under the assumption that dual potentials belong to C_0 (continuous functions vanishing at infinity). The quantization evidence for optimal solutions of the problem with arbitrary continuous V is obtained by applying these conditions, but no explicit argument is given showing that the C_0 duality and optimality conditions extend when V does not vanish at infinity. This extension is load-bearing for the quantization claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying this important point concerning the final section. We address the comment below and will revise the paper accordingly.

read point-by-point responses

  1. Referee: [final section on minimization with continuous potential] § on application to continuous potential V (final section): the duality, stratification formula, and optimality conditions are derived under the assumption that dual potentials belong to C_0 (continuous functions vanishing at infinity). The quantization evidence for optimal solutions of the problem with arbitrary continuous V is obtained by applying these conditions, but no explicit argument is given showing that the C_0 duality and optimality conditions extend when V does not vanish at infinity. This extension is load-bearing for the quantization claim.

    Authors: We agree that the duality, stratification formula, and optimality conditions are established under the C_0 assumption on the dual potentials, while the application considers an arbitrary continuous external potential V. The manuscript applies the derived conditions directly to obtain the quantization evidence without an explicit justification for this extension. We will revise the final section to include a short argument showing how the C_0 framework extends: specifically, by approximating V with a sequence of functions V_n in C_0 (via cut-off) and passing to the limit using the continuity of V together with the repulsive nature of the cost, which controls mass escape at infinity uniformly. This addition will make the quantization claim fully rigorous under the paper's hypotheses. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper develops duality, stratification formula, and optimality conditions from first principles under explicit assumptions on repulsive costs and C_0 dual potentials. No step equates a claimed result to its inputs by construction, renames a fitted quantity as a prediction, or relies on a load-bearing self-citation whose content reduces to the present work. The final application to quantization is presented as an extension of the derived framework rather than a reduction. This matches the default expectation for a pure theoretical math paper.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard properties of Radon measures, lower semicontinuous costs, and duality in optimal transport; no free parameters, ad-hoc entities, or non-standard axioms are introduced in the abstract.

axioms (1)
  • standard math Lower semicontinuity and coercivity properties of the multi-marginal cost functional on spaces of measures
    Invoked to guarantee existence of relaxed minimizers and to justify the duality pairing with continuous functions vanishing at infinity.

pith-pipeline@v0.9.0 · 5672 in / 1222 out tokens · 20020 ms · 2026-05-24T19:11:56.126797+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [1]

    Bindini, L

    U. Bindini, L. De Pascale: Optimal transport with Coulomb cost and the semiclassical limit of density functional theory. J. Éc. Polytech. Math., 4 (2017), 909–934. 32 GUY BOUCHITTÉ, GIUSEPPE BUTTAZZO, THIERRY CHAMPION, LUI GI DE PASCALE

    work page 2017

  2. [2]

    Bouchitté, G

    G. Bouchitté, G. Buttazzo, T. Champion, L. De Pascale: Dissociating limit in Density Functional Theory with Coulomb optimal transport cos t. Preprint, available at http://cvgmt.sns.it and at http://www.arxiv.org

    work page

  3. [3]

    Buttazzo, T

    G. Buttazzo, T. Champion, L. De Pascale: Continuity and estimates for multi- marginal optimal transportation problems with singular cos ts. Appl. Math. Optim., 78 (1) (2018), 185–200

    work page 2018

  4. [4]

    Buttazzo, L

    G. Buttazzo, L. De Pascale, P. Gori-Giorgi: Optimal-transport formulation of elec- tronic density-functional theory. Phys. Rev. A, 85 (2012), 062502 1–11

    work page 2012

  5. [5]

    H. Chen, G. Friesecke, C.B. Mendl: Numerical methods for a Kohn-Sham density functional model based on optimal transport. J. Chem. Theory Comput., 10 (2014), 4360– 4368

    work page 2014

  6. [6]

    Colombo, S

    M. Colombo, S. Di Marino, F. Stra: Continuity of multi-marginal optimal transport with repulsive cost. Preprint 2019. A vailable at http://cvgmt.sns.it/paper/4190/

    work page 2019

  7. [7]

    Cotar, G

    C. Cotar, G. Friesecke, C. Klüppelberg: Density functional theory and optimal trans- portation with Coulomb cost. Comm. Pure Appl. Math., 66 (4) (2013), 548–599

    work page 2013

  8. [8]

    Cotar, G

    C. Cotar, G. Friesecke, C. Klüppelberg: Smoothing of transport plans with fixed marginals and rigorous semiclassical limit of the Hohenberg -Kohn functional. Arch. Ration. Mech. Anal., 228 (3) (2018), 891–922

    work page 2018

  9. [9]

    Cotar, M

    C. Cotar, M. Petrache: Next-order asymptotic expansion for N -marginal optimal transport with Coulomb and Riesz costs. Adv. Math. (to appear), preprint available at http://www.arxiv.org

    work page

  10. [10]

    De Pascale: Optimal transport with Coulomb cost

    L. De Pascale: Optimal transport with Coulomb cost. Approximation and dual ity. ESAIM Math. Model. Numer. Anal., 49 (6) (2015), 1643–1657

    work page 2015

  11. [11]

    Di Marino, M

    S. Di Marino, M. Lewin, L. Nenna: Paper in preparation and Personal Communication. 2019

    work page 2019

  12. [12]

    Mathematical problems in quantum physics

    R.L. Frank, P.T. Nam, H. V an Den Bosch: A short proof of the ionization conjecture in Müller theory. In “Mathematical problems in quantum physics”, Contemp. Ma th. of Amer. Math. Soc., 717 (2018), 1–12

    work page 2018

  13. [13]

    Frank, P.T

    R.L. Frank, P.T. Nam, H. V an Den Bosch: The ionization conjecture in Thomas- Fermi-Dirac-von Weizsäcker theory. Comm. Pure Appl. Math., 71 (3) (2018), 577–614

    work page 2018

  14. [14]

    Kellerer: Duality theorems for marginal problems

    H.G. Kellerer: Duality theorems for marginal problems. Probability Theory and Related Fields, 67 (4) (1984) 399–432

    work page 1984

  15. [15]

    Leblé, S

    T. Leblé, S. Serf aty: Large deviation principle for empirical fields of Log and Riesz gases. Invent. math. (2017) 210:645Ð757

    work page 2017

  16. [16]

    Lewin: Semi-classical limit of the Levy-Lieb functional in Densit y Functional Theory

    M. Lewin: Semi-classical limit of the Levy-Lieb functional in Densit y Functional Theory. C. R. Math. Acad. Sci. Paris, 356 (4) (2018), 449–455

    work page 2018

  17. [17]

    Lewin, E.H

    M. Lewin, E.H. Lieb, R. Seiringer: Statistical mechanics of the Uniform Electron Gas. J. Éc. Polytech. Math., 5 (2018), 79–116

    work page 2018

  18. [18]

    Lieb: Density functionals for Coulomb systems

    E.H. Lieb: Density functionals for Coulomb systems. Internat. J. Quantum Chem., 24 (3) (1983), 243–277

    work page 1983

  19. [19]

    Serf aty: Systems of points with Coulomb interactions

    S. Serf aty: Systems of points with Coulomb interactions. Eur. Math. Soc. Newsl. No. 110 (2018), 16Ð21

    work page 2018

  20. [20]

    Petrache, S

    M. Petrache, S. Serf aty: Next order asymptotics and renormalized energy for Riesz interactions. J. Inst. Math. Jussieu 16 (2017), no. 3, 501Ð569

    work page 2017

  21. [21]

    Solovej: The ionization conjecture in Hartree-Fock theory

    J.P. Solovej: The ionization conjecture in Hartree-Fock theory. Ann. of Math., 158 (2) (2003), 509–576

    work page 2003

  22. [22]

    Solovej: Proof of the ionization conjecture in a reduced Hartree-Fock model

    J.P. Solovej: Proof of the ionization conjecture in a reduced Hartree-Fock model. Invent. Math., 104 (2) (1991), 291–311

    work page 1991

  23. [23]

    Villani: Topics in optimal transportation

    C. Villani: Topics in optimal transportation. Graduate Studies in Mathematics 58, Amer- ican Mathematical Society, Providence (2003). Guy Bouchitté: Laboratoire IMATH, Université de Toulon BP 20132, 83957 La Garde Cedex - FRANCE bouchitte@univ-tln.fr https://sites.google.com/site/gbouchitte/home RELAXED MULTI-MARGINAL COSTS AND QUANTIZATION EFFECTS 33 Giu...

    work page 2003