2026/10/06 21:31

平方以下の 3SUM および立方未満の ApsP

RSS: https://news.ycombinator.com/rss

要約▶

Japanese Translation:

本研究は、2 つの古典的な計算課題である 3SUM および全対最短経路問題（APSP）、特に整数重量が多項式で有界な有向グラフ上で多項式高速化を実現したことにより、アルゴリズム理論を根本から変革します。数十年間、専門家らはこれら基本的な問題の解決にははるかに長い時間が必要であると信じていましたが、本論文は既知の帰結およびいくつかの他の特定の仮説（包括的三角行列仮説を含む）を通じて、それらの仮説を否定しました。突破口は、「薄い行列積」のための単一の最適化アルゴリズムを中心としており、これは行列積の特定のエントリを効率的に計算し、それぞれ $O(n^{1.9992})$ および $O(n^{2.9995})$ の時間で実行します。Coppersmith の長方形行列乗算アプローチに Schönhage の 10 倍乗法恒等式を適用することで、著者らは不要な計算を行わず特定のデータエントリを対象とするツールを作成し、完全な積を書き出すか個別の内積を計算するよりも大幅に改善を提供しています。さらに、この研究はオンライン操作に関する関連仮説も反証し、事前に知られていないエントリのクエリに対する答えを提供するためのデータ構造バージョンを提供し、これらの利点をグラフ理論にも拡張し、疎なネットワークにおける三角形の検出のためのより速い解決を可能にします。究極的には、これら進歩は経路計画やパターン検出のような重要なタスクに対して決定論的かつ高速なツールを提供し、以前には克服不可能と考えられてきた計算的下限が誤りであることを証明しています。

本文

$3\mathrm{SUM}$ および APSP 問題における多項式型アルゴリズム改善と仮説の反証

主要な成果

教科書的アルゴリズムへの改善: 整数に対するアルゴリズムに初めて多項式型の時間改善を達成しました。
$3\mathrm{SUM}$ 問題の決定論的解法: $n$ 個の整数に対して、時間を $O(n^{1.9992})$ に短縮できます。
APSP 問題の高速解法: 頂点数を $n$、整数重みを多項式型に有界とした有向グラフに対し、全頂点对間の最短経路問題を $O(n^{2.9995})$ の時間で解く方法を提示しました。
仮説の反証: これらの結果により、以下の仮説や推測が反証されました。
- $3\mathrm{SUM}$ 仮説およびその実数値版
- APSP 仮説
- 正確な三角形問題（Exact Triangle）仮説
- ゼロ重みの $k$ クライク（ゼロ・ウェイト $k$-Clique）仮説
- van den Brand, Nanongkai, Saranurak が提案した矩形ヒント付きオンライン行列−ベクトルに関する 3 つの推測

基盤となる技術：新しい薄型行列積アルゴリズム

全ての結果は、新たに設計された**「薄型行列積（thin matrix products）」アルゴリズム**に由来します。

アルゴリズムの詳細定義

入力行列: $X$ ($N \times D$ 整数行列), $Y$ ($D \times N$ 整数行列)
- 条件：$D \le N^{1/18}$
注目する位置の集合: $W$ (至多 $N^2/\sqrt{D}$ 個の位置からなる集合)
計算コスト: $(I,J) \in W$ となる入出力について $(XY)[I,J]$ を計算する操作数は、$O(N^2/D^{0.063})$ で抑えられます。

意義と特徴

劇的な効率化: この計算量は、行列全体を書き出す時間や $N^2/\sqrt{D}$ 個の内積を順に計算する時間を比べて多項式型に短いことを意味します。
設計思想: Schönhage の 10 乗法 identità に基づく Coppersmith の矩形行列積アルゴリズムの変種を変更し、必要な位置のみの操作を遂行するように設計しました。

グラフアルゴリズムへの応用

この技術はグラフ問題への適用にも成功しています。

対象となるグラフ: 疎な非対称三部グラフ（2 つの部分に $n$ 個ずつ、残りの部分に $n^{\varepsilon}$ ($\varepsilon < 0.12$) の頂点を持つ）
解決問題: All-Edges Sparse Triangle 問題
- 処理時間を**真に二次以下（truly subquadratic）**の範囲に収めることができました。
間接的な影響: 既知の還元を用いることで、以下の問題も同様に高速化されます。
- Exact Triangle 問題
- $3\mathrm{SUM}$ 問題
- APSP 問題

データ構造への応用

事前には知られていない**$XY$ の単一要素に関するクエリ**を効率的に扱うためのデータ構造版も提示しました。

提出履歴

著者: Josh Alman
投稿日時: 2026 年 10 月 5 日（月）17:44:29 UTC

同じ日のほかのニュース

一覧に戻る →

2026/10/07 5:57

Decisions API が公開ベータ版を開始しました

## Japanese Translation: Decisions API は、テキストまたは画像の評価において Responses API より 10 倍の高速化を実現し、gpt-6-luna モデルを専有して動作する専用 POST /v1/decisions エンドポイントを通じて型付けされた結果を返します。現在公開ベータ版で提供中であり、General Availability は近日を予定しています。対応する具体的な回答タイプは 3 つあり、predicates（条件の確率）、choices（固定セットからの選択）、scores（ルーブリック評価）です。機能的には、API は単一のリクエスト内での独立した質問間で入力共有を可能にし、ワークフローを簡略化する一方で、依存関係のある決断は別々の順序実行呼び出しによって取り扱う必要があります。リクエストではテキスト入力またはインライン base64 エンコードされた画像を受け付けるが、ホスト URL および file_id 入力はサポートされていません。コスト効率の向上は、入力トークンのみに対して課金される（100 万トークンあたり 0.1 ドル）モデル採用と出力トークン料金の非課金化を通じて達成されます。また、HIPAA 準拠を米国、欧州、スイスデータセンターで確保するためのゼロデータ保持ポリシーも備わっています。開発者は、偽陽性と偽陰性の間のトレードオフに基づいてルーティング閾値を設定するためにラベル付けされた例を使用することで、コストと精度の最適化が可能です。これにより、条件チェック、固定選択、詳細な評価に対する高速かつ自動化された決定が最小の遅延で可能になります。

2026/10/07 1:03

EmbeddingGemma 2：オープンで軽量なマルチモーダル埋め込みモデル

## Japanese Translation: EmbeddingGemma 2 は、オンデバイス多模态埋め込みにおいて最も高性能なモデルとして、テキスト、画像、音声、ビデオ、コードを統一空間にネイティブにマッピングする画期的なローカル AI 機能の飛躍を示しています。7.4 億パラメータを有し、商用許諾の Apache 2.0 ライセンス下にある堅牢な Gemma 4 アーキテクチャを基礎とすることで、軽量さを維持しつつもベンチマークスコアで業界トップレベルの成績を収めます。その特徴は、Matryoshka Representation Learning（MRL）によるストレージ効率化であり、ベクトル次元を動的に削減することで最大 6 倍までのスペース削減を可能にします。オンデバイス性能向けに最適化されており（テキストのみウェイトの場合 Google Pixel 11 Pro で約 191MB の RAM を必要とする）、ローカルハードウェア上で直接長形式メディアを処理できる impressive な 8K トークンコンテキストウィンドウを搭載しています。ローカル索引付けにおけるコード性能に著しい向上をもたらすと同時に、埋め込みをローカルで生成することでオフラインクロスモーダル検索を実現しデータプライバシーを確保します。開発者はすぐに Hugging Face や Kaggle を介してモデルを利用でき、MediaPipe、LiteRT、WebGPU などのデプロイメントツールや vLLM、Ollama などのサービングフレームワークを活用し、外部クラウドサーバーに依存せず既存のワークフローへのシームレスな統合が可能です。この進展は、効率的かつオフライン AI リトリバルのための新たな業界標準を確立します。

2026/10/07 5:33

パラマウント・スカイダンスがワーナー・ブラザーズ・ディスカバリーとの1,110億ドル合併を完了しました。

## Japanese Translation: パラマウント・グローバルは、ワーナー・ブラザース・ディスカバリーとの歴史的な 1,110 億ドル規模の合併を正式に完了させ、去年別の取引で買収した企業であるスカイダンスという名前の新しいメディア会社を創設しました。この組み合わせには、2 つの最大の映画スタジオ、広範なライブ・スポーツ関連資産（CBS スポーツおよび TNT スポーツを含む）、主要なストリーミングプラットフォーム（パラマウント+ および HBO マックス）ならびに CBS や CNN などの主要ニュース事業、さらに深いコンテンツライブラリとブランドが統合されています。この取引は、合併が競争を著しく減少させ反トラスト法に違反すると主張するカリフォルニア州およびその他の 11 の州からの法的な課題に直面しました。米国地方裁判所の裁判官は 7 月に合併が競争を害する可能性が高いと裁定し、これを受けて各州から和解案の提議が行われました。言論自由およびメディア擁護団体は、和解を拒否するよう裁判所に要請しましたが（和解は訴追した州の住民に対して「実質的な何ら物事もないものを与えるに過ぎない」と主張）、9 月 30 日にアラセリ・マルティネス・オルギン裁判官は、訴訟回避を実現し合理的な事実および法的解決として合意を批准しました。和解に基づき、パラマウントは国内映画に対する最低限の投資額および配給閾値を満たす必要があり、基本ケーブルチャネルのライセンスリングは各実体の保有に対して個別交渉の下で継続されます。エレン・ケイガン法務長官は差し止め申請を行わず、裁判プロセスは州側の訴訟とマルティネス・オルギン裁判官が和解を受諾したことに中心を置きました。スカイダンスの将来の成功は、これらの投資要件を満たし、さらなる法的混乱なく継続的なライセンス交渉を管理することによって左右されます。