分散計算、ゲーム理論、情報理論など。
説明国際環境協定の形成と利得配分：各国がどう減排協定に参加し、利益とコストを分けるかを研究する論文です。
要約この論文は、気候変動対策にはすべての国が減排コストを負う必要があるものの、各国は他国に努力させて自らは恩恵だけを得ようとする傾向があることを取り上げています。ゲーム理論は国際環境協定の設計に適した枠組みとされ、環境連合の形成を非協力的に扱う研究と、協力ゲームで気候変動のコストを分担する研究の二つのアプローチが紹介されています。両者にはそれぞれ長所と短所があります。
説明可動アンテナによる耐干渉：局所最適性を保証する設計と統一的なアンテナ位置最適化フレームワーク
要約本論文は、可動アンテナ（MA）を用いて無線通信の耐干渉性能を高める方法を検討しています。アンテナ位置ベクトルと受信ビームフォーマを同時に最適化し、出力の信号対干渉雑音比（SINR）の最大化を図ります。単一の妨害源と単一の見通し経路という基本的な条件に対しては、受信アンテナ数に比例した計算量で動作する減衰付き射影勾配降下法（DPGD）を提案し、ほぼ確実に局所最小解へ収束することを示しています。複数経路や複数妨害源を含む一般的な条件に対しては、低計算量の軟活性射影勾配法（SAPG）を提案し、MVDRおよびZF受信にも適用できることを示しています。数値結果から、両アルゴリズムが耐干渉性能と計算効率の両面で改善をもたらすことが確認されています。
説明数値誤差はハードウェアとともにどう変化するか：同一リソース予算で算法・ハードウェアを比べる短い技術ノート
要約この短い技術ノートは、計算資源に対して数値誤差の上限をどう見積もるかを論じています。既知の計算量推定を持つ並列実行可能なアルゴリズムと、並列化の法則を組み合わせています。著者はこの手法が示された例以外にも一般化できると考えています。各構成に同一のリソースまたはエネルギー予算を課し、得られた数値誤差の評価を比較することで、アルゴリズム、ハードウェア、ソフトウェア実装を公平に比べられるとしています。
説明MNL選択モデルにおけるアソートメント最適化とマッチングの統一フレームワーク
要約本論文は、多項ロジットモデル（MNL）の選択のもとで、商品アソートメントの最適化とマッチングを扱う統一的な枠組みを提案する。中心となるのは、商品の可用性が明らかになる前に企業が候補商品を確定する単一顧客の問題である。簡単な閾値方策により、比較基準に対して厳密な1/2の保証が得られ、基数制約にも対応する。この枠組みは、複数の応用で1/2または1/4の近似保証を与える。
注目点統一的な枠組みを提案し、多数の応用で近似比を改善する厳密な1/2保証を与えるが、影響は主に理論的である。
説明低ランク特異値摂動による辛交錯の逆定理
要約本論文は辛交錯定理の逆を証明する。大域的な辛スペクトルと、2k段の交錯不等式を満たす局所的な辛スペクトルが与えられたとき、指定された大域スペクトルをもち、ある主部分行列が指定された局所スペクトルをもつ実対称正定値行列を構成する。主要な手法は、s主圧縮を秩kの特異値摂動に帰着させることである。ガウス量子周辺問題において、辛交錯不等式は大域と局所モードの周辺問題の完全なスペクトル両立条件であることを示す。
注目点辛スペクトル交錯定理の逆命題を証明し完全な必要十分条件を与え、低ランク特異値摂動を核心手法とする点で理論的に突出している。
説明重みレイヤーとグラフ カット空間から得られる二元符号の極小性
要約本論文は、秘密分散方式に重要な役割を果たす二元線形符号の極小性を研究している。完全ハミング重みレイヤー単体から得られる符号、複数のレイヤーの和集合から得られる符号、グラフのカット空間符号の三種類の既知の構成を扱う。単一レイヤー符号については、t が偶数であるときに限り極小であるという完全な判定を与えている。また、任意のレイヤーの和集合については極小性の必要十分条件を示し、グラフのカット符号の極小性をグラフ理論的条件に言い換えている。
説明平方関数から得られるp元自己直交符号のさらなる研究
要約本論文は、奇数標数の有限体上で、二つの二次トレース条件によって定義される符号族を扱う。これらの条件に対応する二次形式を解析し、対応する指標和を評価することで、符号のパラメータと完全重み分布を求めている。さらに、定義集合の乗法的軌道構造を利用して穴あけ符号を構成し、そのパラメータ、重み分布、双対距離を決定している。また、自己直交性の判定条件を確立し、構成した符号の可除性と射影性についても検討している。
説明思考の代金は誰が払うのか：モデルクラウド契約における非表示の推論トークンの課金
要約トークン単位で課金される言語モデルサービスで、利用者に表示されない内部推論や候補回答への課金が、事業者の判断と社会厚生にどう影響するかを研究した論文です。ユーザー、モデル事業者、計算クラウドの三者モデルを構築し、計算予算の決定と課金方式の関係を分析しています。LiveCodeBench を用いた実験で五つのモデル配備の品質、遅延、資源消費を比較し、追加の推論が社会的価値を生む場合は従量課金が、コストが便益を上回る場合は固定料金が望ましいと結論づけています。
説明BROCADE：多機関モデルのためのブローカー型契約設計
要約本論文は、公共プロジェクトの成功を私的に評価する m 人の依頼人と、観測できない費用のかかる努力を行う n 人のエージェントからなる契約モデルにおける社会厚生最大化を研究している。論文は、依頼人への支払いとエージェントへの支払いを分離するブローカー、優越戦略の誘因両立性（DSIC）を特徴づける Myerson 補題の拡張、予算制約付きの単一依頼人契約設計への黒箱的帰着の三つの手法を提示している。さまざまなベンチマークに対する確定的および確率的契約の近似性能が示され、そのうち一つの確率的契約は n に依存しない O(log m) の近似比を達成する。
説明完全二部差分を避けるグラフ符号の鋭い評価
要約[n] 上のすべてのグラフのうち、どの 2 つの異なるグラフの対称差も完全二部グラフ K_{s,t} にならないような族が占める最大割合を研究している。本論文は正の整数の組 s、t ごとにこの最大密度を決定した。両部のサイズがともに奇数なら密度は 1/2 と知られている。それ以外では、最大の偶数部サイズを 2h とすると、最大密度は Θ(n^{-h}) であることを示した。上界は Frankl–Füredi の禁止交叉定理、下界は BCH 符号を用いた二元線形符号の構成による。
注目点任意の固定s,tについてK_{s,t}対称差禁止族の密度の正確なオーダーΘ(n^{-h})を決定し、Alonの上界を改良、BCH符号による下界も厳密に示す。
説明記号列のエントロピーとその関連量、および推定法の再検討
要約本論文は、系列データ解析に用いられるエントロピー、エントロピー密度、有効測度複雑性、情報距離などの量を再検討し、情報理論とエルゴード理論における数学的基礎を示しています。中心的な結果であるZivの定理は、正規化した異なる単語数とエントロピー密度が漸近的に等価であることを示し、Lempel-Ziv分解による推定の理論的根拠を与えています。有限系列に対する推定手法と、並列計算を用いたオープンソースのライブラリも提示され、fMRIによる脳機能結合、結合非線形振動子、心電図による心房細動分類の3つの事例で有用性が示されています。
説明ねじれReed-Solomon符号から構成される新しい加法的非RS MDS符号とACD符号
要約本論文は有限体上の単一ねじれ加法的一般化ねじれReed-Solomon（GTRS）符号を研究する。任意のhookおよびtwistパラメータに対し、これらの符号がMDS符号となるための必要十分条件を導く。さらにSchur平方を用い、そのような加法的MDS符号が加法的Reed-Solomon符号と単項式同値でないことを示す。また、双対が再び加法的GTRS符号となる符号のクラスを特定し、標数が有限集合を避ける十分大きい素数冪qについて、これらのGTRS符号がACD符号を与えることを示している。
説明サーバーレス関数のプロビジョニングと負荷分散のための優先度認識スケジューラ
要約本論文は、メモリ制約のある分散ワーカーノード向けのルールベース優先度認識スケジューラ SPES-Ext を提案している。呼び出しパターンに基づいて関数を分類し、予測的な関数プロビジョニング、エビクション最適化、動的負荷分散の三つの要素を統合している。報告された実験では、既存手法と比べて第75パーセンタイルのコールドスタートが80%減少し、メモリ浪費が83.92%減少、ワーカー負荷分散が52.49%改善したとされている。
説明制約付き最適化におけるFollow the Regularized Leader（FTRL）の非収束性
要約本論文は、オンライン学習の基礎的アルゴリズムであるFollow the Regularized Leader（FTRL）が、制約付き非凸最適化において一階定常点に収束するかを検討している。無限に滑らかな制約付き最適化問題を構成し、連続時間FTRLのKKTギャップがゼロから離れたまま無期限に残りうることを示している。また、目的関数が解析的である場合、ユークリッド正則化のFTRLは収束することも示している。
注目点無限に滑らかな制約付き最適化問題を構成し、連続時間FTRLのKKTギャップが消えないことを示す。理論的な新規性は高い。
説明線形符号のhull次元を指定した部分符号：列挙、包含、漸近分布
要約本論文は、与えられた親符号の内部で、指定された次元・hull次元・型をもつ部分符号の個数を数え上げる問題を扱う。親符号をLCD補符号とそのhullに分解し、射影を用いてLCD補符号内の問題に帰着させることで、完全型で細分化された明示的な公式を導く。さらに双対包含問題と、部分符号の次元が無限大に近づく場合の漸近分布を調べる。
説明FrontGI：チップレット型マルチコアシステム向けのアーキテクチャ対応並列GNN推論
要約大規模グラフデータに対するグラフニューラルネットワーク（GNN）の推論では、既存のライブラリが百コア超のマルチコアシステムでスケールしにくい問題があります。本論文は、グラフの構造特性とアーキテクチャを考慮して並列化戦略を選ぶFrontGIを提案し、多段キャッシュの活用を高めます。128コアのAMD EPYCシステムでの評価では、DGLに対してGCN、GraphSAGE、GIN、SGCでそれぞれ最大3.35倍、3.20倍、2.89倍、3.10倍の高速化を示し、PyGに対してはさらに大きな改善が報告されています。
説明TMAをいつ、なぜ使うか：Hopper GPUにおけるテンソルメモリアクセラレータの、ワークロードに基づく特性分析
要約本論文は、NVIDIA Hopper世代のテンソルメモリアクセラレータ（TMA）について、カーネル内でいつTMAを使い、クラスタマルチキャストを併用すべきかを検討しています。FlashAttention-3の順伝播におけるTMA、マルチキャスト、分散共有メモリ（DSM）、cp.asyncの選択を整理し、H100上のマイクロベンチマークからロード方式の選択指針を示しています。さらにB200でのCUTLASS GEMM実験により、これらの判断規則がBlackwell（SM100）でも概ね成り立つことを示しています。
説明くじ式の不確実な財の公平配分
要約本論文は、各財の効用が確率変数で、配分が決まった後にのみ実現値が観測される不確実な財の公平配分を研究しています。実現前に評価する事前の公平性と、実現後に評価する事後の公平性を区別し、両者の両立範囲を検討しています。事前に無羨望な配分が事後の無羨望確率を最大化する条件や、近似保証、計算複雑性についての結果を示しています。
説明順序選択プロフェット不等式（ほぼ）独立同分布化の研究
要約本論文は順序選択型のプロフェット不等式を扱います。ギャンブラーは独立な非負の確率変数の分布を知っており、検査順序を選び、値が提示された時点でのみ、取り消し不能な形で最大1つを受け入れられます。独立同分布の場合の最適比Γ⋆≈0.74544を下回る不到4.5×10⁻⁴の差で、競争比0.74500001のアルゴリズムを示します。その保証は解析的評価と計算機支援による厳密な検証を組み合わせて得られています。
説明安全な変換可能符号の構成法
要約本論文は、アクセス最適な安全変換可能符号の二種類の構成を示している。受動的盗聴者モデルの下で秘匿容量を達成し、盗聴者は初期符号語と最終符号語からそれぞれ任意の ℓ 個のシンボルにアクセスできるとする。第一の族は最大ランク距離（MRD）符号に基づき、併合と分割の両領域のすべてのパラメータに対して構成されるが、大きな体サイズを必要とする。第二の族は一般化 Reed-Solomon 符号で構成され、より小さな体を用いるが、併合と分割の領域の一部のパラメータにしか適用できない。
説明HiLO：品質と負荷を考慮した、製品レベルの優雅な縮退のための制御フレームワーク
要約本論文はHiLO（High Load Optimizer）を提案します。これは、観測された負荷を、事前に検証済みで劣化の深刻度により部分順序付けされた製品状態の格子へ対応付ける、自動化された製品レベルの縮退システムです。依存関係は設計時に解決されるため、実行時の依存関係探索なしに決定的で連続的な制御が可能です。Microsoft Bingに展開されており、基準ピーク負荷の2倍を超える持続的負荷下でも、OneDCG（関連性）の低下を0.5ポイント未満に抑えたと報告されています。
説明Lee 球の完全被覆の存在性について
要約本論文は、Z^n 上の完全 r 誤り訂正 Lee 符号の各符号語の周りに現れる、半径 r の互いに素な Lee 球からなる有限構成（完全被覆）を研究している。n≥8 かつ r²+⌊25r/34⌋−3≥2n の場合には完全被覆が存在しないことを証明し、大きな半径に対する完全 Lee 符号の非存在限界も改良している。さらに、三元定重み符号を用いて、次元が無限大に近づくと外側の第一 Lee 殻の 1−o(1) の割合を覆うほぼ完全な被覆を構成している。
注目点完全被覆の概念を導入し、Lee球の完全符号の非存在境界を大きく改善。証明は厳密だが実用的影響は限定的。
説明線形ハッシュはポアソン分布に近い：ランダムF2線形写像下のビン負荷の挙動
要約本論文は、m個のボールをn個のビンにランダムに投入したときのビン負荷分布を扱う。投入をランダムなF2線形写像で行う場合も、負荷分布は平均m/nのポアソン分布に従い、ただし保証はやや弱くなることを示す。その結果、線形写像は期待負荷と集中性の点で完全ランダム写像に近く振る舞うことを示し、最大負荷や部分集合の負荷割合についての評価を与える。
注目点ランダム線形写像の負荷分布がポアソン分布に支配されることを示し、最大負荷の差を3/2+o(1)に抑える厳密な理論的改良である。
説明Z_{2^s}線形アダマール符号のランク
要約本論文は、Z_{2^s}加法的符号をGray写像で二進化した Z_{2^s}線形アダマール符号の、二進線形張の次元（ランク）を扱う。従来、このランクは s≤3 の場合のみ閉じた形で知られ、s≥4 では小さな符号長について計算機で求められるにすぎなかった。著者らは任意の s についてランクを計算する方法を示し、ランクが型パラメータの二項式多項式であり、その係数は符号長に依存しないことを証明した。s≤5 の全係数を計算し、Z_4 と Z_8 の既知の公式を再現するとともに、Z_16 と Z_32 の明示的なランク公式を得ている。
説明極符号用のセマンティックSCL復号法
要約本論文は、自然言語テキストを運ぶ極性符号(polar codes)のための意味的逐次キャンセルリスト(SCL)復号器を提案する。微調整されたバイトレベル言語モデルが次バイトの事前分布を与え、それを条件付きビットコストに変換してSCLのパスメトリックに組み込む。長さ512の極性符号のシミュレーションでは、従来のCRC付きSCL(CA-SCL)に比べてブロック誤り率が大きく改善した。レート0.75、リストサイズ16では、同じLのCA-SCLより1 dB以上の利得が得られた。
説明生成的な率歪み知覚システムの意味的転移可能性
要約本論文は、生成的な有損圧縮システムを新しい条件付き生成タスクへ転用する際に、どの部分が再利用できるかを検討している。完全な再設計と、制約の段階的に強い三つの転移戦略を比較し、有限アルファベットでの速率領域、可制御性条件、圧縮率のペナルティを特徴づけている。スカラーのガウス場合についての閉形式の結果と例も示されている。
説明エッジとクラウドの混合分析向けデータフロー・ストリーム処理のライブ適応
要約論文は、WAN の状況が動的に変わりエッジの資源が限られている場合、すべてをクラウドで処理する方式も静的なエッジへのオフロード方式も、目標レートを安定して維持できないと指摘しています。著者らは、Apache Flink などのデータフローエンジンと互換性を持つ混合クラウド向けの適応型ストリーム処理システム Sluice を提案しました。Sluice は、自動クエリ書き換え器と、実行を止めずにエッジとクラウドの間で計算を移すライブ経路制御機構を備えています。Raspberry Pi の実機環境と 100 台の VM によるシミュレーション環境で、五つの実アプリケーションを評価した結果、Sluice は計算をエッジとクラウドの間でシームレスに移行でき、ベースラインより高いスループットを一貫して達成したと報告しています。
説明構造化環境における競争的探索：一次元格子上で遠方の大きな報酬を争う二匹の採餌者を扱う最小モデルの研究
要約本論文は、近くの小さな報酬は知っているが遠くの大きな報酬は知らない採餌者について、競争によって探索と利用の戦略的バランスがどう変わるかを研究している。一次元格子上で二つのε-greedy型の時間差分学習者を用いた最小モデルを構築した。両者が探索する、両者が留まる、一方が探索し他方が留まる、という組み合わせが納得均衡となり、局所的最適応答の動学では社会的困難が生じることが示されている。単純な発見シグナルがこの困難の多くを解消しうるとされる。
説明テンソル力学系のための動的認識サンプリングと復元手法
要約本論文は、t積のもとで時間発展するテンソル値の力学系について、時間を通じた部分的な空間観測を用いたサンプリングと復元を研究している。初期テンソル状態の決定論的な識別可能性条件を示し、時間－スペクトル分解により二段階の復元手法を導出して、高確率の復元保証と安定性評価を与えている。合成データ、海面水温、乱流速度データでの実験では、学習したt積システム演算子が複数のベースライン手法より概ね高精度な再構成を得られることが示されている。
説明障害耐性と検証可能性を備えた分散近似最近傍検索の論文
要約本論文は、基盤となる近似最近傍（ANN）アルゴリズムを変更せずに、分散ベクトル検索の各クエリに信頼性の判定を付与するミドルウェア TrustANN を提案しています。複数レプリカの認証済みかつ一貫した証拠によって検索結果を検証し、関連する各シャードに十分な独立証拠がある場合のみ「Trusted」とし、それ以外は「Unverified」を返します。AWS 上の分散 FAISS HNSW での試験では、攻撃成功率が 1.000 から 0.000 に低下し、正常時の p95 レイテンシの増加は 9.36% にとどまりました。レプリカの 33% が故障しても信頼できる検索を維持できたと報告されています。
説明異種ストレージシステムにおけるクロスモーダルなデータ共局在化
要約本論文は、クロスモーダルなアクセスの局所性をデータ配置の第一の指標として扱うストレージ管理層 Coloc を提案します。クロスモーダルアクセスグラフで意味的類似性、共同アクセス、時間的挙動を組み合わせ、容量と拓扑の制約の下で頻繁に共同アクセスされるベクトルを配置します。GPU、NUMA-DRAM、NVMe、S3 にまたがる多層 AWS 検証環境で、Coloc はデータ移動とクエリ遅延を大幅に減らし、ANN 検索の結果は変えませんでした。
説明ブロックしない監視：協調型ランタイムのための OTP 式フォールトトレランスの証拠駆動型再設計
要約主流ランタイム上のアクターフレームワークは Erlang/OTP 式の監視機能をうたっているが、OTP の一貫性保証は同期・単一スレッドの監視者を前提としている。著者は OTP の文書とソースコード、さらに三つの Rust アクターフレームワークのソースを照合し、24 種類の欠陥クラスを整理した。そのうち 8 種は同じ根本原因に由来する。論文は明示的な仕組みでこれらを解消する監視ランタイムを提示し、241 件のテストで検証している。加えて、グループ再起動中も監視者が応答し続け、メッセージ処理が途中で取り消されない特性を備える。
説明最大距離分離符号のための挿入・削除復号アルゴリズム
要約本論文は、最大距離分離（MDS）線形ブロック符号を挿入・削除誤りに対して復号する問題を扱う。码率が2分の1以下の任意のMDS符号に使える有界距離復号アルゴリズムを提示し、スライディングウィンドウを用いることで総当たり復号より計算量を抑える。最適なReed-Solomon符号では、既存手法の範囲を超えて、半Singleton限界までの挿入・削除誤りを訂正できる。さらに、挿入のみ、削除のみの特殊な誤りパターンについては、一般的なアルゴリズムより計算量の小さい二つの手法も示している。
説明「前置キーと値は後段で重要になる：ループ型言語モデルの自己投機的デコーディングのための RIPE キャッシュ」
要約本論文は、同じ層群を1トークンあたり複数回繰り返すループ型言語モデルのKVキャッシュの扱いを研究しています。後段のループほど前置のキーと値への感度が高いことを示し、最深層のみを保存し直近の位置だけ全深度で保持する RIPE 手法を提案しています。Huginn と Raven-Llama での実験結果として、推測デコーディングの高速化率とメモリ効率が報告されています。
説明ランダムな非加法的評価下での嫉妬フリー配分
要約本論文は、各エージェントが任意の基本評価を持ち、品目名を一様ランダムに置換する半ランダムモデルにおける公平配分を扱います。エージェント数 n を固定し、品目数 m が n で割り切れる場合、m が無限大に向かうとき嫉妬フリーな配分が確率 1-o(1) で存在することを示し、Benade らが提起した n>2 の未解決問題を肯定的に解決しています。証明には二次モーメント法と一般化ジョンソングラフの（小集合）拡大性が用いられています。
注目点Benadeら提出の未解決問題を任意のエージェント数nへ拡張し、二次モーメント法と一般化Johnsonグラフの拡大性を組み合わせて厳密に証明している。
説明MANTA：非同期 BFT における DAG の柔軟性を引き出す研究
要約本論文は、有向非巡回グラフ（DAG）に基づく非同期ビザンチン障害耐性（BFT）合意プロトコルを扱います。既存の設計は、異種広域網で各ラウンドの同期を待つため、低速ノードの影響で遅延が増えるという問題があります。著者らは、ラウンド同期を緩和し、コミットに必要な連結性を複数ラウンドにわたって蓄積する柔軟な DAG 成長フレームワークを提案します。これを実装した MANTA は、異種広域網での評価で遅延を約30%〜70%削減したと報告しています。
説明28 GHz帯ISAC目標散乱のパス単位幾何・確率チャネルモデル：ロボット、人体、自動車の統一測定に基づく特性化
要約本論文は28 GHzの統一測定実験に基づき、ロボット、人体、自動車といったISAC（統合センシング・通信）目標の散乱チャネルモデルを構築します。九種類の目標について多数の送受信配置で測定し、約117,000回の取得データを集めました。デジタルビームフォーミングと超解像処理によりマルチパスを抽出し、双静的鏡面幾何でパス束の中心を定義して形状を確率的に記述します。測定値と合成値はパスロスの傾向と変動特性でよく一致しています。
説明多項式閾値関数の対数漸近評価
要約本論文は、n次元立方体上で有界次数の実多項式の符号として表されるブール関数の個数を数え上げる。その個数の対数が、古典的な超平面配置の上界の対数と漸近的に一致することを示し、相対誤差は O((log n)^2/n) であり、すべての次数で一様に成り立つ。特定の次数範囲では、より精密な加法的・相対的誤差評価も得られている。証明にはReed–Muller符号に関する確率的評価やエントロピー計数などが用いられている。
注目点多項式閾値関数の計数の対数漸近を超平面配置の上界に一致させ、相対誤差 O((log n)^2/n) を証明し、理論的な改善は明確である。
説明カットセット限界におけるReed-Solomon符号の線形・非線形修復に必要な最小拡大次数
要約本論文は、Reed-Solomon符号がカットセット限界で任意に指定されたd個のヘルパーから正確な修復を行うために必要な最小拡大次数を研究している。3≤k<d<n≤2d-2の場合について、最小次数はsQ_s(n)に一致すると証明されている（s=d-k+1）。さらに、カットセット限界を達成する非線形修復方式からは同じ符号上のF_p線形修復方式が導かれ、素体上の下界は線形性の仮定なしでも成り立つことが示されている。
注目点カットセット限界でのReed-Solomon符号の最小拡大次数を厳密に特定し、非線形修復が線形修復に帰着することを示した点が新しい。
説明非義務的検査を伴う検索における情報価格設定：報告書を購入せずに選択できる検索状況で、プラットフォームがどのように情報に料金を設定するかの研究
要約本論文は、AIエージェントが検索や広告を変える中で、意思決定に役立つ情報をプラットフォームがどのように価格設定できるかを研究しています。購入者は報告書を買わずに任意の選択肢を選べます。同一の事前分布では共通料金が静的収益を最大化すること、異種の二値事前分布では厳密な最適化がNP困難であることを示し、多項式時間の静的価格設定アルゴリズムが情報余剰の3近似を達成すると述べています。
注目点同一事前分布では統一手数料が最適であることを示し予想を解決、異質な場合のNP困難性と対数近似の厳密な界を与え、理論的貢献が際立つ。
