Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2605.01523

Optimal transport of signed measures: existence, uniqueness and fractal structure part I: the separated-support case research announcement, with a numerical validation report

Bwo'Nyahre Baidi Barthelemy·Kouakep Tchaptche Yannick·Houpa Danga Duplex Elvies
View original source ↗Read source document ↗Export metadata ↓

Abstract

We announce a rigorous theory of optimal transport for signed (real) measures on Rd in the separated-support regime: the supports of the positive and negative parts of measures are assumed spatially disjoint. Under this structural hypothesis, together with regularity and non-degeneracy conditions on the absolutely continuous, discrete, and fractal singular components of the underlying Jordan and Lebesgue decompositions, we obtain existence and uniqueness of an optimal transport map for a cost that distinguishes same-sign and opposite-sign transports via a positional penalty, a coupled Monge-Ampere system together with a double Legendre transform characterising the solution, and exact preservation of Hausdorff dimension on the fractal singular components, the latter via a novel adaptive regularisation kernel and a direct measure-theoretic argument requiring no continuity of the transport map. This note states the results and outlines the two main proof techniques, full proofs, uniform estimates, and technical lemmas appear in the complete version of this work. We further report, in full and exhaustive summary, a complete numerical validation of this theory in ambient dimension one, two, and three: an entropic Sinkhorn solver for the single combined transport problem underlying the existence proof, applied to an explicit test case in which inter-sign transport is forced by mass imbalance and calibrated to occur with a large, robust cost margin, recovers exactly the predicted four-region structure with zero measured crossing of fractal mass between signs, and an exact-assignment refinement confirms pointwise-exact preservation of Hausdorff dimension under transport, with box-counting estimates converging to the theoretical dimension as resolution increases. The case of overlapping supports and the fully general unbalanced setting are the subject of Part II, in preparation.

Explore related subjects

math.AP

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Bwo'Nyahre Baidi Barthelemy, Kouakep Tchaptche Yannick, Houpa Danga Duplex Elvies. 2026-07-19. Optimal transport of signed measures: existence, uniqueness and fractal structure part I: the separated-support case research announcement, with a numerical validation report. https://arxiv.org/abs/2605.01523

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Blow-Up Dynamics for the $L^2$ critical case of the $2$D Zakharov-Kuznetsov equation

We study blow-up dynamics for the $L^2$-critical cubic Zakharov--Kuznetsov equation in two dimensions, \[ \partial_tu+\partial_{x_1}(Δu+u^3)=0 \qquad\text{on }\mathbb R^2. \] For a class of localized $H^1$ perturbations of the ground state $Q$, we establish a trichotomy near the soliton manifold: exit from a small $L^2$-tube, global asymptotic stability, or finite-time blow-up. In the stable blow-up regime, the solution concentrates a single bubble and \[ λ(t)\sim \ell_0(T-t)^{1/(3-c)}, \] where $\ell_0>0$ depends on the initial datum and $c\in(1,2)$ is an explicit constant determined by the transverse tail of the first-order approximate profile. Consequently, \[ \|\nabla u(t)\|_{L^2} \sim \frac{\|\nabla Q\|_{L^2}} {\ell_0(T-t)^{1/(3-c)}}. \] After subtraction of the concentrating soliton, the radiation converges strongly in $L^p(\mathbb R^2)$ for every $2\leq p<\infty$ to a common nonzero profile $u^*$, while \[ u^*\notin H^s(\mathbb R^2) \qquad\text{for every }s\geq\frac c2. \] The stable blow-up branch is open in the relative $H^1$ topology of the localized class. Finally, every non-soliton datum in this class with non-positive energy blows up in finite time. Interval-arithmetic computer-assisted proofs certify the numerical inputs to the virial coercivity argument. They also yield a rigorous enclosure of $c$, justifying the polynomial moment of order $21$ imposed on the initial data.

math.AP↗
arXiv2026

Propagation of wave packets close to conical intersections

In this paper, we study the propagation of wave packets close to conical intersections with respect to a system of two Schr{ö}dinger equations presenting a codimension 2 crossing. We focus on the dynamics that occur when the wave packets pass through an area close to the crossing, and our main results provide an explicit formula for the outgoing wave packet in terms of the incoming one, with a complete description of its phase and of the classical trajectories it follows, including a drift.

math.AP↗
arXiv2026

A Volterra Calculus for Lie Groupoids

A pseudodifferential Volterra calculus for inverting parabolic differential equations on Lie groupoids is introduced. This enables the study of fundamental solutions of various cases of heat flows on singular manifolds with corners with non-resonant boundary indicial symbols, such as the $b$-manifolds, as well as other geometric bisection covariant heat flows. We also establish the short time asymptotic expansion for the heat kernel of a positive, elliptic differential operator on a Lie groupoid that acts on suitable Sobolev Hilbert modules and is positive definite with respect to the appropriate $L^2$ inner product.

math.AP↗