2変数の区分線形・二次関数の凸包絡を高速計算
Computing the convex envelope of bivariate piecewise linear-quadratic functions in linear time
この論文をやさしく読む
ひとことで言うと
非凸な関数を下から包む凸な関数を、2変数の特定の関数群について効率よく計算する数学的研究です。
何に役立つ？
考えられる用途は、非凸最適化で扱いやすい凸緩和を構成することです。要旨はその応用性能の実証までは述べていません。
この研究の面白いところ
共役変換と最大値の計算を組み合わせ、計算手順だけでなく答えが区分有理関数になる構造も示しています。
どこまで分かった？
対象は2変数のPLQ関数です。線形時間との主張はありますが、要旨には計算量の入力尺度や実測ベンチマークの詳細はありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
多面体分割上で定義された2変数の二次関数からなる、非凸な2変数区分線形・二次（PLQ）関数の凸包絡を計算する。アルゴリズムは次の手順からなる。（1）各二次関数片の凸包絡を計算し、多面体分割上で定義された区分有理関数、すなわち二次関数を一次関数で割った関数を得る。（2）得られた各関数片のルジャンドル–フェンシェル共役を計算し、放物線による分割上で定義された区分二次関数を得る。（3）これらすべての関数の最大値を計算し、元のPLQ関数の共役を、放物線による分割上の区分二次関数として得る。（4）得られた各関数片の共役を計算する。（5）最後に、これらすべての関数の最大値を計算し、凸包絡、すなわち双共役を、多面体分割上で定義された有理関数、つまり二次関数を一次関数で割った関数として得る。 本研究の貢献は、線形時間で動作する実用的なアルゴリズムと、凸包絡が区分有理関数になることの証明である。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-16（UTC）
- 最新改訂
- 2026-09-16 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-16 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We compute the convex envelope of (nonconvex) bivariate piecewise linear-quadratic (PLQ) functions (bivariate quadratic functions defined on a polyhedral subdivision). Our algorithm is composed of the following steps: (1) compute the convex envelope of each quadratic piece obtaining piecewise rational functions (quadratic divided by linear function) defined over a polyhedral subdivision; (2) compute the (Legendre-Fenchel) conjugate of each resulting piece to obtain piecewise quadratic functions defined over a parabolic subdivision; (3) compute the maximum of all those functions to obtain the conjugate of the original PLQ function as a piecewise quadratic function defined on a parabolic subdivision; (4) compute the conjugate of each resulting piece; and finally (5) compute the maximum over all those functions to obtain the convex envelope (biconjugate) as rational functions (quadratic divided by linear function) defined over a polyhedral subdivision. Our contribution includes a practical algorithm running in linear time, and proving that the convex envelope is a piecewise rational function.
arXiv ID: 2609.19343 ／ 要約の誤りについて