{"id":"942c08d6-8031-4053-84a8-2b672ce24016","arxiv_id":"2501.04658","paper_version":5,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Quadratic-form optimal transport is introduced, and for several cost classes including the rectangular cost, the unique minimizer is a new diamond-shaped coupling rather than the usual comonotone or antimonotone couplings.","lead":"Quadratic-form optimal transport is a new optimal transport setting where the cost is a quadratic function of the coupling, and a new diamond-shaped coupling solves the minimization for several important cost classes, including the rectangular cost. The framework links inequality measurement, covariance, Kendall's tau, Gromov-Wasserstein distances, and quadratic assignment problems under one mathematical roof.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 6.9's proof requires moments of order 2q+δ, not the stated 2+δ; the stability argument does not cover the stated marginals.","rationale":"The reader's acceptance is well-supported for Theorem 6.2, whose proof is self-contained and correct: the pointwise minimization of the quadratic integrand is valid and the resulting cdf is exactly the diamond copula. Theorem 6.5 also appears sound, given the acknowledged symmetry and condition (6.5); the proof's convexity and cyclical-monotonicity steps are consistent. However, the strongest_claim explicitly includes Theorem 6.9, and that theorem's proof contains a moment mismatch. The paper states µ,ν∈P_{2+δ}, but the uniform integrability check in the proof requires P_{2q+δ}. This is not a mere technicality: for q>1, there are probability measures in P_{2+δ} that are not in P_{2q+δ}, so the Cauchy–Schwarz bound used to verify (4.1) is invalid for them. The stability argument therefore does not establish the theorem for those marginals. This is a genuine gap in a central claim, not a disagreement with consensus. The correct verdict is conditional acceptance: the paper should either correct the moment assumption to P_{2q+δ} or provide a revised proof that avoids the higher-moment condition. The main rectangular case and the framework remain valuable, so rejection is not warranted.","tokens_in":41010,"tokens_out":14499,"duration_ms":130700,"concrete_test":"Recompute the proof of Theorem 6.9 for a concrete heavy-tailed pair: let µ=ν have density c·x^{-(3+ε)} for x≥1 (so µ∈P_{2+δ} with δ=1−ε) and choose q=1.9. Evaluate E[|X−X'|^{2q+δ}] for these marginals; it is infinite. Then verify whether the supremum in condition (4.1) is finite or infinite over Π(µ,ν). If it is infinite, Proposition 4.5 cannot be invoked and the proof fails as written. The theorem would still be salvageable by strengthening the assumption to P_{2q+δ} or by finding a different approximation argument that avoids the higher-moment estimate.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Theorem 6.9 claims the diamond transport minimizes the q-rectangular cost for q∈(1,2] under the assumption µ,ν∈P_{2+δ}(R) for some δ>0. In the proof, the verification of condition (4.1) for Proposition 4.5 bounds E[|X−X'|^{q+δ/2}|Y−Y'|^{q+δ/2}] by E[|X−X'|^{2q+δ}]^{1/2}E[|Y−Y'|^{2q+δ}]^{1/2}. This requires finite moments of order 2q+δ, but P_{2+δ} only guarantees moments of order 2+δ. Since q>1, 2q+δ > 2+δ, so the stated assumption is insufficient for the Cauchy–Schwarz bound. For heavy-tailed marginals with finite 2+δ moments but infinite 2q moments (e.g., Pareto-type tails), the uniform integrability condition (4.1) cannot be verified by the given argument. Thus the stability step in Theorem 6.9 does not cover the full stated domain of marginals, leaving the theorem unproved for this range. This is a concrete gap in a headline result, distinct from the symmetry caveat already acknowledged in Section 6.3.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a new framework, quadratic-form optimal transport (QOT), where the cost is linear in the product measure π⊗π rather than in π. It develops general existence, stability, lower-bound, and convexity results, and it presents several explicit solution families. The central contribution is the diamond transport π_dia, a coupling whose copula is supported on a diamond, and the proof that it uniquely minimizes the rectangular cost |(x−x′)(y−y′)| for arbitrary one-dimensional marginals in P1 (Theorem 6.2). Further chapters extend diamond optimality to completely monotone costs under symmetric marginals (Theorem 6.5) and to q-rectangular costs for q∈(1,2] (Theorem 6.9), with additional results on V-transports, Gromov–Wasserstein-type costs, and quadratic assignment problems.","tokens_in":41351,"tokens_out":16945,"duration_ms":183251,"significance":"If the main claims are correct, this is a valuable systematic theory of a non-convex transport problem that includes inequality minimization, covariance-type objectives, Gromov–Wasserstein distances, and QAP as special cases. The proof of Theorem 6.2 is elegant and genuinely self-contained: it reduces the problem to pointwise minimization of a convex quadratic function of the coupling cdf A(u,v), and the diamond copula emerges directly from the clamp of the unconstrained minimizer to the feasible interval. The paper is also commendable for giving independent lower bounds, explicit couplings, and no fitted parameters. However, the advertised universality of the diamond coupling is narrower than the abstract suggests: the q>1 results require symmetric marginals, and one headline theorem (Theorem 6.9) has a load-bearing moment-assumption gap; the general stability proposition used there also has a proof gap.","major_comments":[{"comment":"The statement assumes µ,ν∈P_{2+δ}(R), but the proof verifies the uniform integrability condition (4.1) by bounding E[|X−X′|^{q+δ/2}|Y−Y′|^{q+δ/2}] by E[|X−X′|^{2q+δ}]^{1/2}E[|Y−Y′|^{2q+δ}]^{1/2}. Since q>1, the exponent 2q+δ is strictly larger than 2+δ, so finiteness of the (2+δ)-th moments does not imply finiteness of the moments used in the bound. The displayed constant C(p,δ) cannot repair this, and for heavy-tailed marginals with finite 2+δ moments but no finite 2q moments the given Cauchy–Schwarz argument simply does not establish (4.1). Thus Theorem 6.9 is unproved as stated. The fix may be straightforward — strengthening the assumption to µ,ν∈P_{2q+δ}(R), or supplying a different approximation argument that avoids the uniform-in-π bound — but as written this is a concrete gap in a headline result.","section":"Theorem 6.9, verification of (4.1)"},{"comment":"The uniform integrability condition (4.1) is imposed only as a supremum over couplings of the limiting marginals µ,ν. In the proof, the assertion that ∫∫ c dπ_n⊗dπ_n → ∫∫ c dπ⊗dπ (following Van der Vaart [2000, Theorem 2.20]) requires uniform integrability of c along the approximating sequence {π_n}. That does not follow from (4.1) alone: weakly converging marginals can place a vanishing amount of mass at positions tending to infinity so fast that the c-integrals under π_n diverge even though (4.1) holds for the limit. Consequently Proposition 4.5 is not proved as stated. Since Theorem 6.9 invokes this stability result for the passage from compactly supported marginals to the general case, this gap compounds the moment-mismatch issue above. The proposition should either add a uniform integrability condition over ∪_n Π(µ_n,ν_n), or restrict to approximating marginals with controlled moments.","section":"Proposition 4.5, proof of cost convergence"}],"minor_comments":[{"comment":"The row for (|x−x′|+|y−y′|)^2 and the sentence 'π_dia uniquely minimizes the transport cost as shown in Theorem 6.5' cite Theorem 6.5, but the relevant result is Theorem 6.2: Table 2 includes asymmetric marginals such as Exp(1), for which the symmetry assumption of Theorem 6.5 is not satisfied.","section":"Table 2 and following paragraph"},{"comment":"The text refers to 'Theorems 5.9' when listing closed-form results; there is no Theorem 5.9 (Definition 5.9 defines the V-transport). The intended reference is likely Theorem 5.10.","section":"Section 7 and Appendix D"},{"comment":"The abstract says the QOT problem is solved by the diamond transport for 'a wide class of cost functions, including the rectangular cost functions.' For the q-rectangular costs with q>1, the diamond optimality requires both marginals to be symmetric, as the paper itself emphasizes in Section 6.3; the abstract could be qualified to avoid overstating the generality.","section":"Abstract and Section 6.3"},{"comment":"The word 'limitting' appears in the description of Appendix C; it should be 'limiting'.","section":"Introduction, appendix overview"}],"recommendation":"major_revision","confidential_remarks":"The self-citations and the presence of numerical examples are not the issue. The paper's central Theorem 6.2 is strong and appears correct, but the proof of Theorem 6.9 and the general stability proposition need a careful revision of the moment/integrability assumptions. Both gaps seem fixable within the scope of the paper, so reject is not appropriate; nevertheless the current version overstates Theorem 6.9 as proved."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Ruodu and Zhang have written a paper worth reading. The core idea—bundle transport costs that are quadratic in the coupling into a single framework—pays off. It unifies inequality measurement, covariance, Kendall's tau, Gromov-Wasserstein distance, and QAP under one roof, and the diamond transport is a genuinely new object. The proof of Theorem 6.2 (rectangular cost, q=1) is the best part: pointwise minimization of the cdf integrand, self-contained, and robust. That theorem alone justifies the paper.\n\nThe framework sections (4 and 5) are mostly standard but well-executed. The V-transport and X-transport examples are nice. The numerical table is a bit under-supported (no code/data), but that's minor.\n\nWhere the paper actually stumbles is Theorem 6.9, the q-rectangular cost for q∈(1,2]. The statement assumes µ,ν∈P_{2+δ}, but the proof's stability check (verifying condition (4.1) of Proposition 4.5) bounds the integrand by E[|X−X'|^{2q+δ}]^{1/2}, which requires finite moments of order 2q+δ. For q>1, 2q+δ > 2+δ, so the stated assumption is insufficient. You can't just pick a smaller δ because the inequality needs to hold for the same δ in the cost exponent. This isn't a cosmetic issue; heavy-tailed marginals with only 2+δ moments can fail the uniform integrability condition. The theorem may still be true, but the proof as written doesn't cover its stated domain. Fixes are available (strengthen the moment condition to P_{2q+δ}, or replace the stability argument with a direct approximation), so this is a revise-and-resubmit issue, not a reject.\n\nAlso, the abstract's 'wide class' is doing more work than the theorems deliver: outside the rectangular q=1 case, diamond optimality requires symmetric marginals, and the paper says so in Section 6.3. That's honest, but readers should calibrate.\n\nBottom line: an interesting paper with one clean headline result and one proof gap in a secondary headline. It deserves a serious referee; I'd send it out but ask the referee to check the moment condition carefully.","headline":"The diamond transport and the QOT framework are real contributions; Theorem 6.2 is solid, but Theorem 6.9's moment assumption doesn't support the stability step.","tokens_in":41844,"tokens_out":3150,"would_cite":true,"duration_ms":29342,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["49Q22","62H05","91B70","62H20"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper introduces quadratic-form optimal transport, a bilinear analogue of Kantorovich transport, and shows that for rectangular and related costs the unique minimizer is the diamond transport, a coupling supported on a diamond in the…","keywords":["quadratic-form optimal transport","diamond transport","diamond copula","Gromov-Wasserstein distance","quadratic assignment problem","submodularity","completely monotone functions","Kantorovich problem"],"falsifier":"Discretize $\\mu=\\nu$ as the uniform distribution on $\\{0,1/2,1\\}$ and solve the 3 by 3 quadratic program (A.1) for the rectangular cost $c(x,y,x',y')=|(x-x')(y-y')|$. Theorem 6.2 predicts the unique minimizer is the diamond transport; any feasible coupling with strictly smaller cost than the discretized diamond transport would refute the theorem. The same experiment with asymmetric marginals and $q=2$ maps the boundary of Theorem 6.9.","tokens_in":40823,"feed_emoji":"💎","tokens_out":13444,"duration_ms":112952,"temperature":0.7,"pith_summary":"Quadratic-form optimal transport (QOT) replaces the linear cost $\\int c\\,d\\pi$ of classical optimal transport with the bilinear cost $\\int\\!\\!\\int c\\,d\\pi\\otimes d\\pi$, so the planner pays the expected cost between two independent draws from the same coupling. The paper's central claim is that, despite the non-convexity this creates, several natural cost classes have explicit minimizers, the most striking being the diamond transport $\\pi_{\\mathrm{dia}}$, a coupling whose copula is uniform on the diamond $\\{|u-1/2|+|v-1/2|=1/2\\}$. For the rectangular cost $c(x,y,x',y')=|(x-x')(y-y')|$, $\\pi_{\\mathrm{dia}}$ is the unique minimizer for any marginals with finite first moments, which solves the inequality-minimization problem in the introduction. For products of completely monotone functions and for $|(x-x')(y-y')|^q$ with $q\\in(1,2]$, $\\pi_{\\mathrm{dia}}$ minimizes whenever both marginals are symmetric. The paper also solves other QOT classes with comonotone, antimonotone, mixed, and V-shaped couplings, connecting the framework to Gromov-Wasserstein distances, quadratic assignment problems, Kendall's tau, covariance, and quadratically regularized optimal transport.","feed_headline":"Quadratic-form transport has a diamond-shaped minimizer","feed_subtitle":"Closed-form optimal couplings solve bilinear transport costs, including rectangular and Gromov-Wasserstein-type costs.","key_machinery":"The central object is the diamond copula $C_{\\mathrm{dia}}$, the cdf of the uniform distribution on $D=\\{(u,v)\\in[0,1]^2:|u-1/2|+|v-1/2|=1/2\\}$, and the induced diamond transport $\\pi_{\\mathrm{dia}}=(Q_\\mu(U),Q_\\nu(V))$ with $(U,V)\\sim C_{\\mathrm{dia}}$. For the rectangular cost, the proof exploits the identity $|(x-x')(y-y')|=\\int\\!\\!\\int \\mathbf{1}_{\\{(u,v)\\in[(x,y),(x',y')]\\}}\\,du\\,dv$; for fixed $(u,v)$ the inner probability is a quadratic function of $A(u,v)=\\pi((-\\infty,u]\\times(-\\infty,v])$, and its unique minimizer over the feasible interval is exactly $C_{\\mathrm{dia}}(F_\\mu(u),F_\\nu(v))$. For the completely monotone family, Schoenberg's theorem makes $\\phi((x-x')^2)$ a positive definite kernel, so the QOT objective becomes convex by the Schur product theorem; a technical lemma then shows the averaged cost $\\tilde c(x,y)=\\int c(x,y,x',y')\\,d\\pi_{\\mathrm{dia}}(x',y')$ is supermodular on the first and third quadrants and submodular on the second and fourth, forcing the symmetrized minimizer to coincide with $\\pi_{\\mathrm{dia}}$. For the $q$-rectangular costs the proof approximates $|x-x'|^q+|y-y'|^q$ by $\\alpha^{-2}(e^{-\\alpha(|x-x'|^q+|y-y'|^q)}-1+\\alpha(|x-x'|^q+|y-y'|^q))$, applies the exponential case, and passes to the limit using QOT stability.","core_discovery":"The paper establishes that the QOT problem---minimize $\\int\\!\\!\\int c(x,y,x',y')\\,d\\pi(x,y)\\,d\\pi(x',y')$ over couplings $\\pi\\in\\Pi(\\mu,\\nu)$---is a genuinely new optimization structure, not a variant of classical transport: it is generally non-convex, duality is not generally available, and optimizers need not be Monge maps. Its main positive discovery is that the diamond transport $\\pi_{\\mathrm{dia}}$ is a universal optimizer for several type-XX cost families. Theorem 6.2 gives the sharpest statement: for $c(x,y,x',y')=|(x-x')(y-y')|$ and $\\mu,\\nu\\in P_1(\\mathbb{R})$, $\\pi_{\\mathrm{dia}}$ is the unique minimizer; the proof writes the cost as the area of the rectangle spanned by the two points and minimizes a quadratic function of the coupling's cdf pointwise. Theorem 6.5 extends this to $c=\\phi((x-x')^2)\\phi((y-y')^2)$ with $\\phi$ completely monotone and $\\phi'(u)+2u\\phi''(u)\\le 0$, for symmetric marginals, using positive-definite-kernel convexity plus a quadrant-by-quadrant supermodularity lemma; Theorem 6.9 extends it to $|(x-x')(y-y')|^q$, $q\\in(1,2]$, again under symmetry, by a limiting argument from the exponential case. Along the way the paper shows comonotone, antimonotone, X-shaped, and V-shaped couplings solve other explicit QOT classes, and it formulates the framework so that the Gromov-Wasserstein distance and the Koopmans-Beckmann quadratic assignment problem appear as special cases.","pith_inferences":["The paper leaves the completely monotone family without symmetry open; a natural next test is whether a four-piece 'diamond-type' coupling built from two comonotone and two antimonotone pieces minimizes that family, a shape the paper's Appendix D already conjectures.","The pointwise cdf-minimization method behind Theorem 6.2 may also work for other costs that factor as products of one-dimensional increments, such as $\\min\\{|x-x'|,|y-y'|\\}$, which the paper lists as open.","If the diamond transport is the right allocation rule for inequality minimization, it predicts a specific testable pattern: conditional on wealth, the assigned benefit has constant mean, a property unlike comonotone or antimonotone matching.","The explicit $(2,q)$-GW maximizers on the real line could seed closed-form Gromov-Wasserstein solutions on discrete structures whose distance matrices embed into the line, though the paper does not establish that transfer."],"forward_implications":["The inequality-minimization problem from the introduction is solved in closed form: the diamond transport minimizes the average squared weighted discrepancy $(\\theta_1|X-X'|+\\theta_2|Y-Y'|)^2$ between two randomly selected individuals, and for uniform marginals it gives every wealth level the same expected benefit.","The paper explicitly characterizes the maximizers of the $(2,1)$-Gromov-Wasserstein transport cost on the real line for arbitrary marginals with finite first moments, and the $(2,q)$-GW maximizers for $q\\in(1,2]$ under symmetric marginals: in both cases the diamond transport attains them.","QOT optimizers are genuinely non-Monge: the Bernoulli example shows the independent coupling can be the unique minimizer, and the diamond transport is supported on a diamond rather than on a graph, so the Monge assumption used in quadratic assignment problems cannot be relaxed without changing the answer.","For several other cost classes---quadratic products, jointly submodular costs, Gromov-Wasserstein-type costs, and the separable costs of Theorem 5.10---the paper gives explicit minimizers that are comonotone, antimonotone, X-shaped, or V-shaped, providing a complete reference table of solvable QOT problems.","Since QOT contains the Koopmans-Beckmann quadratic assignment problem, the explicit diamond solution offers a benchmark for discrete QAP heuristics and a target for Monge approximations by permutation maps."],"supporting_citations":[{"why":"Defines the Gromov-Wasserstein distance, the application class whose (2,q) transport-cost maximizers the diamond theorems characterize.","marker":"Mémoli [2011a]"},{"why":"Introduces the quadratic assignment problem, the Monge/discrete special case of QOT that motivates the type-XX cost structure.","marker":"Koopmans and Beckmann [1957]"},{"why":"Supplies the discrete anti-Monge assignment lemma that the V-transport proof in Theorem 5.10 relies on.","marker":"Burkard et al. [1998]"},{"why":"Provides Schoenberg's theorem and the Schur product theorem used to prove convexity of the QOT objective in Theorem 6.5.","marker":"Berg et al. [1984]"},{"why":"Gives the strict positive-definiteness criterion that yields uniqueness of the diamond minimizer in Theorem 6.5.","marker":"Schoenberg [1938]"},{"why":"Supplies the classical submodularity/comonotone optimality facts and Monge-Kantorovich density used in the comparison arguments.","marker":"Santambrogio [2015]"}],"fun_headline_variants":["Diamond transport solves quadratic-form optimal transport","Bilinear transport costs yield diamond optimizers","Explicit diamond coupling for non-convex transport","Quadratic-form optimal transport meets diamond","Diamond transport: new minimizer for QOT"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"For the broad non-rectangular diamond-transport theorems, both marginals must be symmetric about a common point, and for the completely monotone family the inequality $\\phi'(u)+2u\\phi''(u)\\le 0$ is also load-bearing; without these, the paper does not claim the diamond transport minimizes.","fun_headline_variants_meta":{"raw":{"variants":["Diamond transport solves quadratic-form optimal transport","Bilinear transport costs yield diamond optimizers","Explicit diamond coupling for non-convex transport","Quadratic-form optimal transport meets diamond","Diamond transport: new minimizer for QOT"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001067,"raw_usage":{"total_tokens":4530,"prompt_tokens":1060,"completion_tokens":3470,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":676,"completion_tokens_details":{"reasoning_tokens":3402}},"tokens_in":676,"tokens_out":3470,"duration_ms":24232,"temperature":1.0,"reasoning_tokens":3402,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T21:28:02.337083+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Discretize $\\mu=\\nu$ as the uniform distribution on $\\{0,1/2,1\\}$ and solve the 3 by 3 quadratic program (A.1) for the rectangular cost $c(x,y,x',y')=|(x-x')(y-y')|$. Theorem 6.2 predicts the unique minimizer is the diamond transport; any feasible coupling with strictly smaller cost than the discretized diamond transport would refute the theorem. The same experiment with asymmetric marginals and $q=2$ maps the boundary of Theorem 6.9.","supporting_citations":[],"review_version":1}