整数選択関数による安定配分を単純な安定性モデルに埋め込む
On splitting properties of the stability problem with integer choice functions
この論文をやさしく読む
ひとことで言うと
複雑な選び方と整数容量をもつ安定配分の問題を、より単純な安定マッチングや安定配分の構造の中で表せるようにする数学研究です。
何に役立つ？
安定解の集合を理解し、既知のより扱いやすいモデルとの対応を調べるために役立ちます。
この研究の面白いところ
安定解を個別に対応させるだけでなく、解集合がもつ分配束の構造を部分束として保つ埋め込みを作っています。
どこまで分かった？
有限二部グラフ、非負整数容量、代替可能性とサイズ単調性を満たす選択関数という前提があります。任意の選好で安定解が存在すると述べているわけではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
本研究では、二者間市場の安定性に関するAlkan–Galeモデルの整数版である、安定一般化配分モデルを考える。このモデルは三つ組(G,b,C)で与えられる。G=(V,E)は有限二部グラフであり、各辺e∈Eは非負整数の容量b(e)をもつ。各頂点、すなわち各エージェントv∈Vでは、それに接続する辺の集合E_vに対する選好が選択関数C_vに依存する。この関数は、容量で上から抑えられた非負整数ベクトルの集合に作用し、代替可能性とサイズ単調性という標準的な公理を満たす。 Alkan–Galeの著名な定理によれば、この場合の安定性問題には必ず非負整数値の安定解xが存在し、さらに、これらの安定一般化配分の集合𝒮_G,b,Cは分配束をなす。しかし、この束は構成も取り扱いもかなり複雑であるため、より単純な安定性モデルによって表現できるかという問いを立てる。この問いに答えるため、ある種の分割手法を構成し、𝒮_G,b,Cを部分束として安定マッチングの束へ埋め込む。さらに、Baiou–Balinskiの安定性モデルにおける安定配分の束へ、よりコンパクトに埋め込む。これは、すべての容量が1である特別な場合についてのFleinerの分離に関する結果を一般化する。 キーワード：安定結婚、安定配分、選択関数、回転、分配束、半順序集合による表現。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We consider the integer version of Alkan--Gale's model on stability in a two-sided market, called the stable generalized allocation one. It is given by a triple $(G,b,C)$, where $G=(V,E)$ is a finite bipartite graph with nonnegative integer capacities $b(e)\in{\mathbb Z}_+$ of edges $e\in E$, and for each vertex (``agent'') $v\in V$, the preferences on the set $E_v$ of its incident edges depend on a choice function $C_v$. The latter acts on the set of vectors in ${\mathbb Z}_+^{E_v}$ bounded by the capacities and obeys the standard axioms of substitutability and size monotonicity. Alkan--Gale's prominent theorem implies that the stability problem in this case always has a stable solution $x\in{\mathbb Z}_+^E$ and, moreover, the set ${\cal S}_{G,b,C}$ of these solutions (``stable generalized allocations'') forms a distributive lattice. However, this lattice is rather intricate to construct and work with, and we wonder whether it can be represented via a ``simpler'' stability model. Answering this issue, we arrange a sort of splitting techniques to embed ${\cal S}_{G,b,C}$, as a sublattice, in the lattice of stable matchings and, more compactly, in the lattice of stable allocations (as in Baiou--Balinski's stability model). This generalizes Fleiner's result on a detachment in the special case with all-unit capacities. Keywords: stable marriage, stable allocation, choice function, rotation, distributive lattice, poset representation
著者のコメント
19 pages
arXiv ID: 2609.24581 ／ 要約の誤りについて