[论文解读] A multi-material transport problem and its convex relaxation via rectifiable $G$-currents

Andrea Marchese, Annalisa Massaccesi+1 more|arXiv (Cornell University)|Dec 24, 2017

Point processes and geometric inequalities参考文献 29被引用 12

一句话总结

本文提出了一类多材料输运问题，其中多种物资在共享网络上同时运输，且成本取决于每种材料的独立流量。通过使用具有群系数的可变曲面，建立了凸松弛，实现了基于校准的最优性证明，并将变分方法扩展至多物资场景。

ABSTRACT

In this paper we study a variant of the branched transportation problem, that we call multi-material transport problem. This is a transportation problem, where distinct commodities are transported simultaneously along a network. The cost of the transportation depends on the network used to move the masses, as it is common in models studied in branched transportation. The main novelty is that in our model the cost per unit length of the network does not depend only on the total flow, but on the actual quantity of each commodity. This allows to take into account different interactions between the transported goods. We propose an Eulerian formulation of the discrete problem, describing the flow of each commodity through every point of the network. We provide minimal assumptions on the cost, under which existence of solutions can be proved. Moreover, we prove that, under mild additional assumptions, the problem can be rephrased as a mass minimization problem in a class of rectifiable currents with coefficients in a group, allowing to introduce a notion of calibration. The latter result is new even in the well studied framework of the "single-material" branched transportation.

研究动机与目标

• 建模多种不同材料同时运输的运输网络，其中网络成本取决于每种物资的特定流量。
• 将此前仅限于单材料问题的分枝输运框架扩展至具有非加法、相互依赖成本的多物资系统。
• 使用系数在群上的可变曲面，对离散多材料输运问题建立凸松弛。
• 为松弛问题引入校准理论，实现在多物资场景下对候选网络最优性的严格验证。
• 证明松弛保持了最优网络的结构，并可在非平凡情况下构造显式校准。

提出的方法

• 在欧拉框架下表述多材料输运问题，将每种物资的流量表示为具有指定散度的向量值测度。
• 将网络表示为 $ E \subset \mathbb{R}^d $ 中的 1-可变曲面，每种物资 $ i $ 分配一个重数 $ \theta_i \in \mathbb{Z} $，使得 $ T_i = \theta_i \tau \mathscr{H}^1 \llcorner E_i $。
• 定义总能量为 $ \mathds{E}(T) = \int_E \mathcal{C}(\theta) \, d\mathscr{H}^1 $，其中 $ \mathcal{C}: \mathbb{Z}^m \to [0,\infty) $ 是依赖于重数向量的代价函数。
• 将最小化问题重新表述为系数在 $ \mathbb{Z}^m $ 上的可变曲面 $ G $-当前的质质量最小化问题，从而启用凸分析工具。
• 构造校准 $ \omega $ 为有界、共闭的微分形式，使得对所有 $ g \in \mathbb{Z}^m $，有 $ \langle \omega; (v, g) \rangle \leq \mathcal{C}(g) $，且在当前的支撑上取等。
• 利用 $ \omega $ 的共范数及其与当前和形式之间的对偶性，通过校准准则验证最优性。

实验结果

研究问题

• RQ1 分枝输运框架能否推广至处理具有物资特异性成本依赖关系的多种相互作用材料？
• RQ2 是否存在基于具有群系数的可变曲面的离散多材料输运问题的凸松弛？
• RQ3 能否为多材料输运问题构造校准，以验证候选网络的最优性？
• RQ4 与单材料情形相比，材料之间的相互作用如何影响最优网络的结构？
• RQ5 在何种条件下，多材料问题退化为独立的单材料问题，而何时相互作用会导致非平凡的网络构型？

主要发现

• 在代价函数 $ \mathcal{C} $ 的最小假设下，多材料输运问题存在解，包括非加法、相互依赖的代价。
• 该问题可等价地重述为系数在 $ \mathbb{Z}^m $ 上的可变曲面 $ G $-当前的质量最小化问题，从而实现凸松弛。
• 松弛问题存在校准，其存在性使得能够对候选网络的最优性进行严格验证。
• 当代价函数可分时，即 $ \mathcal{C}(z_1,\dots,z_m) = \sum_i \mathcal{C}_i(z_i) $，最优网络为每种物资各自最小化器的和。
• 为非平凡构型（如含混合材料的 Y 形网络）构造了显式校准，使用由代价函数导出的范数。
• 校准形式 $ \omega $ 的共范数不超过 1，且在当前的支撑上取等，通过对偶性确认了最优性。