分散計算、ゲーム理論、情報理論など。
説明カスケード型ポジションオークションのための期待値ベースで真実性を持つ因子6の機構
要約本論文は、広告主を掲示位置に割り当て表示順序を決める広告ポジションオークションを扱います。カスケード型の利用者行動では、前の位置のクリックにより後の位置が見られなくなるため、選ばれた広告のクリック確率が相互に影響します。著者らは、任意の公開されたクリック確率に対して、多項式時間で動作する因子6の福利近似と期待値ベースの真実性を同時に満たす乱択機構を提案しています。
注目点カスケード型位置オークションで定数近似の厚生と真実性を同時に達成する点は新しく、分解と減衰による構成が理論的に重要。
説明極値対角整合二元符号：短縮ハミング核、深い穴、64卦
要約本論文は、易経の64卦と整合する二元符号を研究し、長さ6・次元3・最小距離3の符号が三爻構造の対角部分空間と高々4個の符号語で交わること、またその上限を達成する符号は短縮ハミング符号とその双対の2個に限られることを示す。さらに対角整合符号と極値的な対角整合符号を定義し、その個数、最小距離、被覆半径などの性質を決定し、3つの未解決問題を提示している。
説明Langberg-Médard予想の証明：ネットワーク符号化と分数ルーティングの能力に関する結論
要約本論文は、多重ユニキャストネットワークにおけるネットワーク符号化と分数ルーティングの能力の境界を扱います。著者らは、有向ネットワークで各送信元が同一レートで独立したメッセージを送り、符号化によって全メッセージを復元できる場合、各弧を同容量の無向辺に置き換えると、分数ルーティングで同一レートの同時配送が可能になるという Langberg-Médard 予想を証明しました。さらに無向ネットワークについて、単位レートの同時分数ルーティングが成立するための必要十分な割容量条件も示しています。
注目点多重ユニキャストにおける符号化と分数ルーティングの境界に関する長年の未解決予想を、完全な証明と割容量の必要十分条件で解決し、理論的影響が大きい。
説明Log-Sum-Exp の高速化：メモリウォールでのカーネル融合と、コンピュートウォールでの整数演算
要約本論文は、機械学習で用いられる Log-Sum-Exp（LSE）関数が GPU と CPU で計算効率が低い問題に取り組み、置き換え可能な二つのカーネルを提案しています。FuseLSE は GPU の特殊関数ユニットで exp と log を計算する単一パスの融合カーネル、IntLSE は CPU 上で LSE を近似整数演算に置き換えるカーネルです。実験では、GPU で小規模な負荷では PyTorch より約 10〜11 倍、大規模では約 6 倍高速で、CPU では IntLSE が FuseLSE より約 3〜6 倍高速であることが示されています。
説明Langberg-Médard 多重ユニキャスト予想の証明
要約本論文は、有向ネットワークにおける複数の送信元と受信先の間のマルチユニキャスト問題を扱っています。各送信元から対応する受信先へ、弧素な有向パスが十分な数だけ存在するという条件の下で、単位容量の無向基礎ネットワークに実行可能なマルチフローが存在することを証明しています。これにより、Langberg と Médard が 2009 年に提唱した多重ユニキャスト予想が確立されました。
注目点Langberg と Médard が提唱した多重ユニキャスト予想を証明し、未解決問題を解決した。証明は厳密で、ネットワーク符号化と多重流理論への影響が大きい。
説明非平衡状態の分布統計：制約付き確率分布の参照モデル枠組み
要約本論文は、制約を受けるランダムな確率分布のための参照モデル枠組みを構築する。Crooksのハイパーアンサンブル手法を一般化し、カテゴリ分布の単体上で最大不確実性のヤンズ事前分布を定式化する。平均エネルギーとシャノンエントロピーの制約を中心に検討し、平均および最頻のミクロ状態分布や、ランダム分布の期待自由エネルギーなどの性質を解析と厳密サンプリングで調べる。シャノンエントロピーが最大のときボルツマン・ギブズ統計に帰着し、超統計や非平衡定常状態の生成、ベイズ推論への応用が示される。
説明アクセラレータを第一級の計算要素として扱うOSサポート：ヘテロジニアスシステム向けMEERKATフレームワーク
要約従来のLinuxなどのOSはハードウェアアクセラレータを周辺機器として扱うため、ソフトウェアのオーバーヘッドが加速の効果を損なうと指摘しています。著者らはFPGAベースのMEERKATフレームワークを構築し、仮想メモリ対応の通信、軽量な呼び出しインターフェース、割り込みポリシーの適応、アクセラレータ対応スケジューラなどの手法で四種類のオーバーヘッドを緩和しています。実験では通信が最大260倍速くなり、実時間の性能が2〜6倍向上したと報告しています。
注目点加速器を一級の計算要素とするOS支援を提案し、FPGA上で4種類のOSオーバーヘッドを定量化・緩和する手法を実験で示す。影響は異種システム研究分野が中心。
説明移動盗聴者下における導波路型ピンチングアンテナの秘匿レート解析と最適化
要約本論文は、移動する盗聴者が存在する場合の導波路型ピンチングアンテナシステムにおける物理層セキュリティを扱う。正規ユーザの位置は既知、盗聴者は位置の統計情報のみが既知と仮定し、ガウス信号と有限アルファベット信号の下でのエルゴード秘匿レートを解析する。厳密式は閉形式で扱えないため、Jensenの不等式を用いて閉形式の上界を導出し、アンテナ位置の最適化に利用する。数値結果では上界が良好に近似し、有限アルファベット信号は高SNRで秘匿レートが飽和することが示される。
説明待ち行列システムにおけるサービス深度と優先度の同時設計
要約本論文は、AI支援型サービスシステムにおいて、サーバーが各ジョブの処理深度（サービス深度）と優先度を同時に決める問題を扱います。深い処理は出力品質を高めますが、サーバーの占有時間が延び混雑を増やします。単一サーバー待ち行列で社会厚生の最大化を目標に、集中型の最適解を特徴づけ、遅延感受性が私的情報の場合に、価格メニューによる分権型メカニズムと集中型最適との厚生差を分析しています。
説明Nemo：ストレージ分離型OLTPデータベース向けの効率的なキャッシュとインデックスプッシュダウン手法
要約ストレージ分離型データベースは計算とストレージを分離しますが、ネットワーク往復とページ単位転送がボトルネックになります。本論文のNemoは、インデックスをストレージ側へプッシュダウンし、計算側ではホットなレコードのみをキャッシュします。木構造のレコードバッファでキャッシュとバッファリングを統合し、否定的検索結果もキャッシュします。実験では、正の点クエリでページ型B+木および2-Treeに対し最大11.42倍および2.97倍の高速化を示しています。
説明功利主義を超えた最適投票ルール
要約本論文は、投票ルールの良し悪しを、選ばれた選択肢の社会的厚生によって測る研究です。従来の功利主義的厚生に関する結果を、功利主義・ナッシュ・平等主義の厚生を含む冪平均の厚生関数族へ拡張しています。その結果、この族において決定論的な位置スコアリング規則（PSR）が期待社会厚生について漸近的に最適であることを示し、広いクラスの効用分布についてその形を特徴づけています。さらに、ランダム化されたPSRの中では、単純多数決（plurality）がすべての冪平均で期待社会厚生を唯一最大化することも示されています。
説明LooseLeaf：計算ノートブック向けのサーバーレス GPU 実行
要約計算ノートブックは通常、セッション全体で GPU を占有しますが、GPU が計算するのはセルの実行中だけで、それ以外の時間は遊休状態です。本論文は、対話型ノートブック向けのサーバーレス GPU 基盤 LooseLeaf を提案します。各セルに必要な最小限の変数とパッケージを導出し、ユーザーがセルを編集している間にワーカーを準備することで、セルごとに GPU を解放できるようにします。論文は、5,000 件の実際のノートブックの分析でこれらの閉包が小さいと報告しています。
説明ネットワークシステムの変動低減を狙う介入（第1部：特異的ショック）
要約本論文は、ネットワークゲーム、生産ネットワーク、意見ダイナミクスなどで現れる線形ネットワーク均衡モデルにおいて、システム全体の変動を最小化する最適な介入設計を研究している。まず、各ノードのショックの分散が全体の変動をどれだけ増幅するかを決める一般的な中心性指標を導き、特定の場合にKatz-Bonacich、サイクル、集中中心性に帰着することを示す。予算制約の下で、計画者がノードのショックを抑えると、解析解は注水法型の構造を持ち、予算が小さいと一部のノードに集中し、増えるにつれて対象ノードが広がることを示す。さらに、敵対者が選ぶ最悪ケースのショック分散に対する頑健版も解析し、同様の構造を持つことを示す。
説明ランダム量子状態間の相対エントロピーの分散：平均値周りのゆらぎを測る研究
要約本論文は、ヒルベルト－シュミット系とブレス－ホール系というランダム量子状態の集合において、相対エントロピーの分散を導出し、その平均値の周りでのゆらぎを調べています。同一の系、および二つの異なる系から独立に選んだ状態の間について、分散の厳密な結果を得ています。その結果、考慮した極限の設定では平均相対エントロピーが典型的な値であることが示されています。計算では、行列レベルの計算に加え、帯状多項式を用いて系の固有値相関関数を組み込んでいます。
説明量子支援によるファセット選択を用いた、均一カバレッジのための多面体RISアーキテクチャ
要約本論文は、移動するユーザー端末に対してカバレッジを均一にするため、多面体型の可変インテリジェント反射面（RIS）を検討しています。離散位相制御、ファセット位置の不確かさ、端末の移動といった実用上の課題を扱い、ファセット選択の部分問題を厳密な二次無制約二値最適化（QUBO）問題として定式化しています。シミュレーションでは、STARパネルと比べて垂直平面パネルの不感帯の割合が77%から0.3%に減少し、最小レートは34%向上しました。焼きなまし法は95%の事例で最適解を見つけましたが、量子近似アルゴリズムは見つけられませんでした。
説明遅延最適なタイムスタンプオブジェクトの実装について
要約タイムスタンプオブジェクト（TS）は、厳密に増加する整数を返す単一の操作を提供し、分散アルゴリズムで操作の順序付けに用いられます。本論文は、非同期メッセージ通信システムにおけるTS実装の最大耐障害性と最小遅延（最悪ケースのメッセージ遅延で測定）を検討し、クラッシュ故障と、電子署名の有無によるビザンチン故障を扱います。著者らは下界とアルゴリズムを示し、各故障類型での最適な耐障害性を定め、一つの場合を除き最適遅延を確定しました。また、循環チェーン論証と呼ばれる新しい下界証明手法も導入しています。
注目点循環連鎖論法という新しい下界証明手法を導入し、各種障害下で最適な耐障害性と遅延を確定している。
説明LZ77 と LZ-End・文法圧縮の間の対数的分離
要約本論文は、LZ77 と LZ-End の間、および LZ77 と文法圧縮（grammar compression）の間に対数的な分離が存在することを示している。つまり、これらの圧縮手法の圧縮効率の差が対数オーダーに達することを証明している。
説明条件付き拡散による誤り訂正符号のビームサーチ復号法
要約本論文は、誤り訂正符号の神経復号のための拡散フレームワークを提案します。復号を、通信路の観測を固定の条件として符号語のビットを段階的に予測する条件付き拡散過程として捉えます。マスク拡散に対しては、Meassonらの Maxwell 構成に着想を得た Maxwell ビームサーチ（MBS）を設計し、複数の候補軌跡を保持して、パリティ制約を満たさない候補を除き、逆遷移の対数確率で残りを順位付けします。BPSK-AWGN 通信路上で Polar、LDPC、BCH 符号を評価し、単一軌跡の拡散復号器より改善し、評価したすべての設定で既存の神経復号結果を上回ったと報告しています。
説明夫婦マッチングにおける定員調整：整数計画法と計算研究
要約本論文は、夫婦を含む病院・研修医マッチング問題において、病院の定員と安定マッチングを同時に決定する定員調整を研究しています。この問題に対し、厳密型と打ち切り型の整数計画定式化を開発しています。理論面では、任意の厳密な選好の下で、各病院の定員を最大2まで変更すれば安定マッチングが存在することを示し、その上限が厳密であることを述べています。さらに、計算実験では、原定員で安定マッチングが存在しない場合、小規模な定員変更で存在が回復することが、96,000の合成・再構成市場で示されています。
説明AFRA：マルチエージェントシステムにおける適時通信のための年齢しきい値フレーム型ランダムアクセス
要約本論文は、無線チャネルを共有するマルチエージェントシステムで情報の鮮度（AoI）を高めるための分散型媒体アクセス制御プロトコルAFRAを提案しています。エージェントは情報の年齢がしきい値に達すると、必須の送信を含むローカルフレームを開始し、失敗した場合は残りのスロットから一つを選んで再送を一回試みます。特定のフレーム長としきい値の条件下で衝突のない周期動作へ確率1で収束することを証明し、定常状態のスループット、平均AoI、平均ピークAoIの閉形式式を導出しています。シミュレーションでは、小さなしきい値で速やかに収束し、評価された他の年齢認識型ランダムアクセス方式より窓平均AoIが低いことが示されています。
説明有界ユークリッド空間およびより一般的なコンパクト群上の分極
要約本論文は、単位周長の円周上またはより一般的なコンパクト群上の値をとる無記憶情報源について、Arıkanの極変換のもとで分極が起こることを示している。微分エントロピーが有限な情報源では、逐次キャンセル順序の条件付き微分エントロピーのうち、割合O((log N)^(-1/12))の例外を除き、任意の固定された正の距離内でゼロに近い値になる。ここでNはブロック長である。文中の例は、実際の分極速度が非常に遅いことを示している。
