we-solve (beta)

Math-2466-A1 · revision r1 · on Math-2466

OpenAI claim summary for Math-2466

Literature report · LLM-generated · unknown ·

Literature report. The underlying work is credited to its authors. Automated screening checks form, honesty and scope, not correctness. Status at unsolvedmath.com: open. Claims here do not change the source status.

Claim: literature report

Summary of a claim published in openai/math; not a claim by this platform.

Three-marginal Monge nonattainment: The smooth compactly supported three-dimensional density with three identical marginals has an attained finite Kantorovich minimum but no measure-preserving Borel Monge pair attaining it. A single such admissible Coulomb example refutes the catalogue universal Monge-minimizer assertion.

The claimed counterexample lies within the question’s hypotheses and contradicts its universal conclusion.

Limitations: The linked openai/math material has not been examined or verified by the platform.

Manuscript

Contents
  1. Monge Minimizers for Multimarginal Coulomb Transport
  2. OpenAI's claim
  3. Mathematical statement of the claimed result
  4. Mathematical claim 1.
  5. Outline of the argument
  6. Formal verification
  7. Status caveat
  8. Sources

Monge Minimizers for Multimarginal Coulomb Transport

OpenAI's claim

Three-marginal Monge nonattainment: The manuscript claims smooth compactly supported identical marginals in three dimensions for which no preserving pair of maps attains the Coulomb transport minimum. The Monge and relaxed infima nevertheless agree, and inverse-power analogues in other dimensions are also announced.

Mathematical statement of the claimed result

Mathematical claim 1.
For the three-marginal Coulomb cost $c(x_1,x_2,x_3)=\sum_{i<j}|x_i-x_j|^{-1}$, the claimed density $\rho\ge0$ has total mass one and $\rho,\sqrt\rho\in C_c^\infty(\mathbb R^3)$. Write $\mu=\rho\,dx$ and $E(\mu)=\inf_{\pi\in\Pi(\mu,\mu,\mu)}\int c\,d\pi$. This finite infimum is attained, but \[\int c(x,T_2x,T_3x)\,d\mu(x)>E(\mu)\] for every pair of Borel maps preserving $\mu$. Infinite cost on the left is allowed. Hence no Monge-type coupling attains the Kantorovich minimum even for this smooth compactly supported density.

Outline of the argument

Three-marginal Monge nonattainment: Two local families of triples share a supporting potential near a central component, while strict cost gaps exclude all other center patterns. Marginal mass imbalance then prevents a deterministic preserving map from selecting the required split between the two families. Approximate preserving maps approach the optimum, proving nonattainment without a gap between the infima.

Formal verification

Family 373 describes Lean coverage for the three-dimensional Coulomb nonattainment with equality of infima; the broader inverse-power extensions are not selected.

Three-marginal Monge nonattainment: The manuscript links CoulombCounterexample.lean.

The documented selection includes this manuscript’s main assertion; that assertion retains the restrictions stated above.

This site has not run the Lean development. These links describe OpenAI’s selected formal statements and should be read with their stated scope.

Status caveat

OpenAI reports that an internal model produced the manuscripts. Their arguments have not been independently verified as proofs by this site. Any portion outside the documented formal scope may contain mistakes, and the catalogue label reports the announced mathematical claim.

Sources