分散計算、ゲーム理論、情報理論など。
説明パイプライン処理と結合：集約タスクにおける二つの方式
要約本論文は、集約する値が一つのメッセージに収まらない場合のネットワーク上の集約タスク（convergecast）を研究している。値はパイプライン化されたメッセージの「列車」として転送され、目標は全値の集約にかかる完了時間を最小化することである。超立方体や完全二部グラフなど代表的な並列計算アーキテクチャについて最適アルゴリズムを示し、一般グラフ向けには分割不可能フロー・モデルでの O(log n) 近似法を提示している。
説明アーベル・ガロア拡大上のリード・ミュラー符号の和ランク版
要約本論文は有限アーベル・ガロア拡大上の和ランク計量符号を研究している。多変数斜多項式環の特定の商環が複数個の End_K(L) の直積と同型であることを示し、一つの斜多項式で和ランク計量空間のすべてのブロックを表現できるようにしている。要素の和ランク重みは、ディクソン行列と一般化ムーア行列のランクとして定義される。これに基づき和ランク型リード・ミュラー符号を定義し、その次元と最小距離の公式を与えている。線形化リード・ソロモン符号、ガビドゥーリン符号、ランク計量リード・ミュラー符号はその特別な場合である。
説明列ねじれリード・ソロモン符号の弦による構成：虚割線を用いた非GRS型MDS符号の構成
要約本論文は、従来より長い符号長と広い次元範囲を持つ非GRS型MDS符号の構成法を扱う。有理正規曲線上のn-2個の点と、虚割線上のガロア共役な一対の点からなる射影系を用いて符号を構成する。奇数qの場合、符号長はk+4≤n≤(q+5)/2を満たし、従来のTRSおよびCTRS構成の到達可能な長さと次元範囲を改善する。非GRS性は幾何学的議論により示され、CTRS符号の双対符号の構造も決定される。
説明疎なグラフ族における支配集合問題のほぼ最適な分散近似
要約本論文は、疎なグラフ上の最小支配集合問題の分散近似を扱い、マイナー閉じのグラフに対する近最適な結果を有界拡張グラフへ一般化する。決定的な定数ラウンドのLOCALアルゴリズムを示し、近似比は d+1+ε で、偶数 d≥2 について ε を除いて最適である。平面グラフ・有界オイラー種数グラフでは 7+ε、その三角形なし部分類では 5+ε の近似が得られる。
説明大規模言語モデルとベイズ最適化の融合：自己進化する無線デジタルツインへ
要約本論文は、大規模言語モデル（LLM）とベイズ最適化（BO）を組み合わせ、無線デジタルツインをオンライン適応からアルゴリズムレベルの自己進化へ拡張する手法を検討しています。BOが安定かつサンプル効率の良い最適化の基盤を担い、LLMが現在のタスクと蓄積された最適化経験に基づいて、選択されたBO構成要素を保持するか調整するかを判断します。シミュレーションでは、多ユーザー無線ビーム選択問題のガウス過程カーネル発見に適用され、LLMが発見したカーネルは、最も強力な標準カーネルのベースラインと比べ、訓練タスクでの最終的なBO性能が19.7%向上したと報告されています。
説明f-ダイバージェンスの同質化に関する局所から全体への原理
要約本論文は、独立な統計実験の族をその平均の独立な反復に置き換えたときのダイバージェンスの変化を研究している。この操作によるダイバージェンスの増加が、観測回数や基礎となる可測空間によらず、生成関数のみに依存する定数で抑えられる f-ダイバージェンスを、単純かつ完全に特徴づけている。判定は局所から全体への原理に従い、二値アルファベット上の二回の観測に対する比較だけで一般の不等式の成否が決まる。
説明定常的双方向市場における平衡型固定価格：在庫制約下の静的統一価格
要約本論文は、ランダムに到着する売り手から保存可能な商品を固定価格で買い取り、同じくランダムに到着する買い手へ固定価格で販売する仲介者を分析します。在庫容量に制限があり、作者らはXOS型の買い手評価に対して、多項式時間で計算可能な静的統一価格が基準収益の半分を保証することを示します。単一商品の場合の保証は C/(C+1) で、これは厳密な上界です。
注目点有限在庫の両面市場に対し、均衡価格設定の新原理と XOS 買い手での半分近似保証を提示し、単一品目では C/(C+1) の厳密な界を示す。
説明近傍場ISACにおけるアレイ回転：低複雑度送信構成下での通信・検出・推定
要約本論文は、回転可能な基地局アレイを用いる近傍場統合センシング・通信（ISAC）を、厳密な球面波伝搬モデルのもとで検討しています。送信共分散の一般的な場合についてクラメール・ラオ下限を分解し、単一ストリーム重畳型と二波形分割型の2つの低複雑度構成について、通信・検出・推定それぞれに最適な回転角を解析しています。数値結果では、固定の向きと比べて特に距離推定で明確な利得が示されています。
説明有限体上のMDS符号の拡張
要約本論文は、非Reed–Solomon（非RS）の[n,k,n-k+1]MDS符号を[n+1,k,n-k+2]の非RS MDS符号へ拡張する方法を研究している。暗号解読におけるmeet-in-the-middleアルゴリズムに着想を得た反復アルゴリズムを提案し、非RS構造を保ったまま符号長を伸ばす。位数32以下の有限体上の既知の符号族に適用し、RS符号と非同値な新しいMDS符号を得た。F9とF13上の[9,4,6]符号、F17上の二つの[10,4,7]符号が含まれる。
説明タスクをエージェントに割り当てる：マルチエージェント契約のメカニズム設計
要約本論文は、逆選択とモラルハザードのもとでのタスク割り当て問題を扱います。単一タスクの場合、激励制約は努力コストと成功確率の比のみに依存することを示し、マイヤーソン型の簡潔な特徴づけを与えています。最適機構は多項式時間で計算可能だとされています。また、最適利潤と完全情報ベンチマークの比について厳密な上界を示し、複数タスクでは最適機構が存在しない場合があると述べています。エージェント数が一定の場合には、上限利潤に対する多項式時間近似法も提示されています。
説明知覚調整ルース・モデルにおける品揃え最適化
要約本論文は、知覚調整ルース・モデル（PALM）のもとでの品揃え（assortment）問題を扱います。このモデルは、正則性の違反や選択過多といった、効用最大化の枠組みでは捉えられない行動を表現できます。Flores他（2019）は、層数が2の場合に収益順の最適解が常に存在することを示し、任意の層数でも同様に成り立つと予想しました。本論文はこの予想が正しいことを示し、どのPALMの事例にも、各層で層ごとの収益しきい値以上の全製品を含む最適な品揃えが存在することを証明しています。さらに、層数が固定されている場合、この問題は多項式時間で解けることも示されています。
注目点PALMの多層収益順序最適性に関するFlores等の予想を肯定的に解決し、層数固定時に多項式時間可解であることを証明している。
説明相反（互易）型RISは非相反型RISと同等の性能を発揮できるか？
要約本論文は、再構成可能インテリジェント表面（RIS）における相反型と非相反型の設計の関係を検討しています。結論は、性能指標を最大化する最適な非相反型RISが往復チャネル（送信機-RIS-送信機）を対称にする場合に限り、相反型RISが非相反型RISの性能を実現できるというものです。この条件は、送信機-RIS間チャネルのランクが1である場合、または単一ストリーム伝送が最適である場合に成り立ちます。
説明uGDS：高性能 GPU 直接ストレージ向けのユーザー空間開発キット
要約本論文は、オープンソースのユーザー空間ライブラリ uGDS を提案し、カーネルを経由する I/O の処理オーバーヘッドを減らしつつ、同期と一括転送のハードウェアキューを分けて扱う方式を示している。NVIDIA A100 と Samsung 990 PRO での評価では、NVIDIA GDS と比べて一括読み書き帯域と同期書き込み遅延が改善したと報告されている。LMCache では最初のトークンまでの時間が短縮し、AMD 環境でも比較結果が示されている。
注目点GDSの制御経路をユーザ空間に再設計し同期とバッチのキューを分離する点は既存手法の実質的改良であり、NVIDIA・AMD双方と実アプリでの評価が十分な根拠となる。
説明第II型符号の長さと影の重みに関する整数行列式による手法
要約本論文は、二元第II型符号（Type II codes）の符号長が8で割り切れることを示す。不変式論を用いず、二元直交行列の整数Gram行列の行列式が法8で合同であることから初等的に証明している。これにより、自己双対符号の影に属するベクトルの重みに関するConwayとSloaneの結果も導かれる。
説明両側無差別と総代替性の下での弱群戦略耐性・パレート安定マッチング機構
要約本論文は、双方に無差別選好があり、企業が労働者集合に対して公開の選好を持つ有限の多対一マッチング市場を扱う。各企業の選好が総代替性（GS）表現を持つ広いクラスの市場に対し、弱安定で双方にパレート効率的、労働者に対して弱群戦略耐性を持つ決定論的な一般化延期受諾機構を構成している。この機構は、GS表現の価値オラクルが与えられれば強多項式時間で実装可能である。
注目点両側無差異のマッチングをGS競争均衡と結び付け、安定性・パレート効率・弱群策略耐性を同時に保証する決定的機構を構成しており、理論的貢献は大きいが適用範囲は特定市場に限られる。
説明統計的チャネル情報に基づくピンチングアンテナシステムの二時間スケールアンテナ配置
要約本論文は、ピンチングアンテナシステム（PASS）向けの二時間スケールのアンテナ位置最適化フレームワークを提案する。大時間スケールでは統計的チャネル情報を用いて導波路全体上のアンテナ位置を決定し、小時間スケールでは瞬時チャネル情報により局所領域内で位置を微調整する。シミュレーションでは、提案手法が導出された上界に近く、従来方式より優れていることが示されている。
説明三元・四元の {2,4} 距離符号猜想の証明（長さ n の q 元符号で、任意の異なる2語のハミング距離が 2 または 4 となる最大語数に関する問題）
要約本論文は、任意の異なる2語のハミング距離が2または4となる、長さ n の q 元符号を扱う。q が3または4で n≥6 のとき、最大語数が 1+C(n,2) に等しいことを証明し、Boyvalenkov らの猜想に残っていた2つのアルファベットサイズの場合を解決した。二元の場合は以前に解決済みである。証明は組合せ論的な議論と、有限長に対する完全な計算検証を組み合わせたものである。
説明いつ引き継ぐかを判断する：クラウドとローカルの身体性エージェントのための批評器誘導型適応実行
要約本論文はCAREフレームワークを提案し、軽量な批評器モデルがローカル実行器の信頼性を監視し、信頼できなくなった場合に制御を強力なクラウドモデルへ移します。共有の引き継ぎメモリが実行文脈を保持するため、最初からやり直す必要がありません。複数の身体性ベンチマークで、最強の比較協調ベースラインより課題成功率が6.3〜18.3ポイント向上し、動作間の中央値遅延も大幅に低減されました。
説明二元・三元・四元エルミート線形補完双対（LCD）符号の分類
要約本論文は、線形補完双対（LCD）符号の完全分類の範囲を拡張し、二元の場合は長さ15から19まで、三元の場合は長さ10から15まで、四元エルミートの場合は長さ12から13までを扱っています。分類は、LCD符号の単項式同値性を座標上のグラフ同型問題に帰着させ、正準拡大（canonical augmentation）と組み合わせる方法で行われています。
説明修復により削除すべき層が変わる：言語モデルの深さ剪定における厳密な最適解
要約本論文は、大規模言語モデルを高速化するために層全体を削除し、学習不要の線形写像で置き換える深さ剪定を扱います。著者らは約53,000個の剪定モデルを網羅的に評価し、最適な削除層が修復の有無に依存することを示しました。修復を考慮しない手法は、修復後の最適解から最大189%ずれる場合があるとしています。そのため、適用される修復を前提に層を選択し、ReplaceMeに比べ困惑度を20%から66%低減したと報告しています。
説明エントロピー・複雑度平面におけるコンウェイのライフゲームの時空間ダイナミクス
要約本論文は、順序パターン解析の手法を用いてコンウェイのライフゲーム（Game of Life）の動力学を調べたものです。各世代の状態を一次元の時系列に変換し、そこから順序パターンを抽出して、エントロピー・統計的複雑度（H×C）平面上で系の進化を定量的に分析しています。ブロックサイズや線形化法などの符号化方法の違いが軌跡に与える影響も評価し、収束挙動、軌跡のパターン、統計的複雑度の観点から創発的な動力学を特徴づけています。
説明RIS支援クラスタ型UAV-NOMAネットワークにおける停止確率解析と二段階リソース最適化
要約本論文は、NOMAに基づくRIS支援下りUAV通信を研究する。UAVの増加に伴い従来のNOMAは拡張が難しいため、分割可能なRISを用いてBSが複数のUAVグループにサービスするクラスタ型フレームワークを提案する。Nakagami-mおよび二重Nakagami-m フェージング、不完全SICの下で受信SNRと停止性能を解析し、GRISクラスタリング法と効率-信頼性の二段階最適化問題を提示する。数値結果と比較実験により有効性が示されている。
説明市場が未知のときの価格差別の限界
要約本稿は、価値の分布が分からず、取りうる価値の集合のみが既知の場合に、ある市場とある市場分割によって実現しうる消費者余剰と生産者余剰の組み合わせを特徴づけています。その組み合わせは凸多角形を成します。連続的な価値の区間では、生産者余剰がπのとき消費者余剰は最大π ln(v̄/π)となり、この上限は市場分割なしで達成されると述べられています。
説明「人間が食べるためのケーキ切り：基本的な n 人ケーキ切り分けプロトコル」：n 人で公平にケーキを分ける簡潔な手順の提案
要約本論文は、Robertson–Webb モデルにおいて任意の人数 n の参加者に対応する、有界な無羨望（bounded envy-free）のケーキ切り分けプロトコルを提示します。プロトコルは 2^{O(n log n)} 回のクエリを使用し、簡潔で自己完結的な正当性の証明が付いています。著者によれば、構成要素の多くは公正分配の文献で既に知られており、主な貢献は、それらの考え方を数ページで完全に記述・証明できる形に整理した点にあります。
説明オープンバンキングを用いた付加価値税の分割払いのリアルタイム税務コンプライアンス基盤
要約本論文は、分割払い（VAT split payment）とオープンバンキングを通じて、リアルタイムの付加価値税（VAT）コンプライアンスを既存の決済システムに組み込む、DLT（分散型台帳技術、R3 Corda上で構築）ベースの新アーキテクチャ「MTS-OB（Making Tax Smart with Open Banking）」を提案しています。概念実証アプリケーションとして、既存の決済インフラを変えずに自動化されたリアルタイムのVAT分割払いを実現します。取引量の増加に対するスケーラビリティ試験では、運用の安定性が維持されたと報告されています。著者らは、リアルタイムの税務コンプライアンスには、情報価値を含めて貨幣を再定義する必要があると結論づけています。
説明最適な (v,5,3,1) 光直交符号の論文
要約本論文は (v,5,3,1) 光直交符号（OOC）の大きさについて厳密な上界を確立し、この上界を達成する符号を最適と呼ぶ。さらに、符号語集合の差分リストが Z_v の単位元以外のすべての元を覆う最適符号を完全と定義する。著者は、最適かつ完全な (v,5,3,1)-OOC の無限クラスに対する直接構成と再帰的構成を提示している。
説明多数決が失敗するとき：固定重みの置換誤りにおける系列再構成
要約本論文は、二値系列が通信路を介して複数回送信され、各回がハミング重みちょうど t の置換誤りを受ける場合の系列再構成問題を扱う。最適復号器が一意に再構成できる最小の受信出力数 N_wc を決定し、ビットごとの多数決復号器がこの設定では最適ではないことを示す。また、早期終了に使える条件を提案し、数値実験と全数列挙で有効性を確認している。
説明GPU 上の列挙ベースの三角形カウント
要約本論文は、分散メモリ環境で正確な三角形カウントを行う実装を提案し、グラフ内の閉じた長さ3のサイクルを数える手法を扱います。NVIDIA の Ampere および Hopper アーキテクチャのスケールアウト・スケールアップ型 GPU プラットフォームで、十億エッジ規模の実グラフを用いて性能を評価しています。既存手法との比較では、エンドツーエンドの実行時間について最大10倍の改善が報告されています。
説明対話型セキュア総和の容量
要約本論文は対話型セキュア総和を扱います。K 個の参加者がそれぞれ入力を持ち、最大 T 人の共謀に対して安全に、その和を一人の参加者が計算します。著者らは通信速度と乱数速度の容量領域を特徴づけ、0≤T≤K−2 の場合に最適通信速度 K(K−1)/(K−T)、最適総乱数速度 T(K−1)/(K−T) を示しています。線形方式でこれらの最適値が達成できることも述べられています。
注目点安全和計算を多ラウンド対話の設定へ拡張し容量領域を完全に特徴付けた点が新しい。厳密な情報理論的証明に基づくが、影響は情報理論と安全計算の一分野に限られる。
説明ナッシュトープ（Nashtope）とそのA判別式
要約本論文は、正規形の多人数ゲームにおけるナッシュ均衡の方程式系の混合判別式を研究し、それをA判別式として捉えます。この判別式に対応する凸多面体を「ナッシュトープ（Nashtope）」と呼びます。少なくとも3人のプレイヤーを持つ各平衡ゲーム形式について、その判別式の余次元と次数を求めています。関連文献の結果と組み合わせることで、ナッシュ判別式多様体の既約成分ごとの余次元と次数も得られています。
説明HAWK：GPU-NPU異種環境で段階分離したLLM推論のための、異種性を考慮したKVキャッシュ転送機構
要約大規模言語モデルの推論は、計算負荷の高い前処理（prefill）と、メモリ律速の傾向が強い復号（decode）で特性が異なります。本論文は、前処理をGPU、復号をNPUに割り当てる異種構成を提案し、その実現に必要なKVキャッシュ転送の課題を解決するHAWKという機構を示します。HAWKはRDMAによる直接転送を用い、NPU側で張量レイアウトに合わせたバッファを確保することで追加の再配置を不要にします。商用GPUとNPUで実装した結果、同一のSLO条件でGPUのみの構成の7.88%以内の性能を示し、電力効率は最大1.26倍、コスト効率は最大1.72倍と報告されています。
