量子研究ナレッジベース
論文の再現と企業ユースケースを、出典まで辿れる形で。
量子コンピュータの論文と企業の取り組み事例を集め、日本語で探せるようにしたデータベースです。 新しい論文は毎日追加しています。主要な論文は blueqat が実際に計算して再現し、 論文の主張と数値が合うかどうかまで確かめています。
ナレッジベースでできること
論文を日本語で探す
量子計算に関わる arXiv の論文 6,206本を、題名を日本語にして収録しています。 題名(日本語・英語)や著者で検索でき、分野で絞り込めます。 直近7日に出た論文も 87本 入っています。
分野ごと・年ごとのまとめ
誤り訂正・量子機械学習・変分アルゴリズムなど 13分野について、 年ごとの論文数の推移、読んでおくべき論文、近い分野をまとめたページがあります。
主要論文の再現検証
重要な論文 68本を精読し、うち 61本は blueqat で実際に計算して再現しました。 どの主張を確かめ、結果が合ったか、どれだけの計算資源を使ったかを1本ずつ載せています。
企業ユースケース
企業や研究機関の量子計算の取り組み 1,532件。 出典つきの公開された事実と、使われていそうなアルゴリズムの推定(確度つき)を、 混ぜずに分けて載せています。
こんな使い方ができます
- 研究者・学生 … 先行研究を日本語の題名でざっと見渡す。分野ページで、その分野の流れと押さえるべき論文を掴む
- エンジニア … 論文の手法が手元で再現できるのか、どれだけの計算が要るのかを、再現結果で確かめてから手を付ける
- 事業企画・調査 … 同業他社がどんな問題に量子計算を当てているか、どの程度まで進んでいるかを事例で比べる
| 無料 | スタンダード | エンタープライズ | |
|---|---|---|---|
| 論文・事例の検索と一覧(日本語の題名) | ○ | ○ | ○ |
| 分野・年のまとめページ、新着論文 | ○ | ○ | ○ |
| 論文の再現結果(主張・判定・計算資源) | — | ○ | ○ |
| 企業ユースケースの公開事実とアルゴリズムの推定 | — | ○ | ○ |
| 読解ノートと再現の生成物(回路・数式・計算時間) | — | — | ○ |
論文の分野
ユースケースの種別
- 応用事例 78451.5%
- 耐量子暗号 24616.2%
- ハードウェア 16610.9%
- センシング 825.4%
- 研究の成果発表 664.3%
- 企業の動き 603.9%
- 企業間の提携 593.9%
- その他 442.9%
- ソフトウェア 151.0%
検索はどなたでもご利用いただけます。 論文1本ごとの再現結果(検証した主張・判定・使った計算資源)、 企業ユースケースの出典つき公開事実とアルゴリズムの推定は、 プラン加入者向けです。
971件/51〜100件目を表示
| 状態 | 題名 | 著者 | 分野 | 年 | arXiv |
|---|---|---|---|---|---|
| 収集 |
古典的通信に対するトーリック符号の自己検証
Device-independent self-testingはデバイスの内部仮定なしに相関から多部量子状態を認証するが、既存の自己テストは当事者間のメッセージ交換で破綻する。我々は量子ネットワークの緩和設定を考える。
|
Gustavo Fróes, Amanda Wei, Carlos | error-correction | 2026 | 2609.40259 |
| 収集 |
有限群非対称性を含む多リソース理論の一般理論
資源理論は量子状態の性質を資源として定量化する普遍的枠組みであり、現実的な設定では複数の制約が同時に課されるため、多資源理論の研究が重要である。
|
Yosuke Mitsuhashi, Hiroyasu Tajima | error-correction | 2026 | 2609.40255 |
| 収集 |
局所的性質によるランダム量子符号から明示的qLDPC符号へ
ランダム符号のパラメータに一致する明示的符号の構成は符号理論の中心的難問であり、量子設定ではLDPC符号が望ましいため更に困難である。LCL witness (Levi, Mosheiff, Shagrithaya, FOCS 2025) が統一的枠組みを提供する。
|
Fernando Granha Jeronimo, Xiaojuan | error-correction | 2026 | 2609.40252 |
| 収集 |
準安定ダイナミクスのための量子マルコフ状態モデル
開放量子系は急速に微視的情報を失い、少数の自由度が長時間ダイナミクスを支配する。古典Markov state models (MSMs) はメタスタブルダイナミクスを少数の代表相間の遷移として記述する確立手法である。
|
Hao-En Li, Lin Lin, Michael Ragone | error-correction | 2026 | 2609.40214 |
| 収集 |
スタビライザー符号における単一量子ビット測定による論理情報の局在化
Stabiliser path finding (SPF)は、損失を伴うstabiliser code内の論理情報を、1ラウンドの単一qubit測定のみで事前指定された単一ターゲットqubitに局在化させる。限られたリソースとflying qubitsでは、この高速読み出しが有用である。
|
Jelena Mackeprang, Hemant Sharma, | error-correction | 2026 | 2609.39980 |
| 収集 |
量子シンドローム抽出の本質的コスト
stabilizer codeのシンドローム抽出に要する時間について、量子ハードウェアの接続グラフに基づく局所性制約と関連づけた既存研究の境界を踏まえ、この問題に取り組んだ。
|
Chia-Tung Chu | error-correction | 2026 | 2609.39705 |
| 収集 |
Ahn--Doherty--Landahl連続量子誤り訂正の熱力学
Continuous quantum error correction (CQEC)は離散的なシンドローム測定と回復を連続的な抽出とリアルタイムフィードバックに置き換え、測定ベースのCQECを情報エンジンとして定式化し熱力学的資源を調査する。
|
Juan Garcia-Nila, Pedro B. Melo, L | error-correction | 2026 | 2609.39597 |
| 収集 |
Rank-Decomposition Dynamic Programming による木幅を超えた厳密最尤復号
Maximum-likelihood decodingは最適だが正確な計算は難しく、既存の正確なテンソルネットワーク収縮はtreewidthに指数的時間を要する。本論文ではrank-decomposition dynamic programmingに基づく新復号アルゴリズムを導入する。
|
Bin Cheng, Feng Pan | error-correctionsimulation-methods | 2026 | 2609.39556 |
| 収集 |
量子メモリとしてのLayer codes:シンドローム抽出、閾値、アイドル耐性
Layer codes(チェック重み最大6の三次元局所CSSコード)を、回路レベルノイズ下のアクティブメモリとして評価する。既存研究はコード自体の記述に留まり、測定回路の評価は本研究が初めてである。
|
Zhu Sun, Zhenyu Cai | error-correction | 2026 | 2609.39522 |
| 収集 |
ほぼ1の効率での大振幅スクイーズド猫状態の生成
GKP符号化の実現に必要な高品質リソース状態として、近単位効率で大振幅のスクイーズドcat状態を生成する。従来は適度なサイズの光学cat状態しか生成されていなかった。
|
Simon K. Yung, Matthew S. Winnel, | error-correction | 2026 | 2609.39482 |
| 収集 |
Bivariate Bicycle CodesとMetachecks:シンドローム修復、測定フォールトの曖昧性、および論理的障害
誤ったシンドローム測定が正しいQECを破壊しうる問題に対し、Bivariate bicycle (BB) codesのメタチェック(パリティ制約)がシンドローム修復を支援する条件と、logical obstructionsとの相互作用を研究した。
|
Mohammad Rowshan | error-correction | 2026 | 2609.39121 |
| 収集 |
エントロピー閾値:量子誤り訂正の性能の簡便な代理指標
QECプロトコルの性能を予測する単純なentropy-based proxyを開発し、code-capacity設定を含む様々なプロトコルの閾値を予測する。
|
Diego Ruiz, Aleksander Kubica | error-correction | 2026 | 2609.39016 |
| 収集 |
時間積分リークによるマルチモード超伝導量子ビットリセットの動的ベンチマーク
超伝導量子ビットのリセット性能はパルス終了時の残存ポピュレーションで要約されるが、リセット中の挙動は反映されず、小さな最終残存でも軌道の長い部分でリーク状態を保つ場合がある。
|
Sushant Sharma, Aswath Babu H | error-correctionhardware-demos | 2026 | 2609.38354 |
| 収集 |
古典的相関がエンタングルメント回復を証明する場合
Entanglementとstate distinguishabilityは、相補的な基底での測定を通じて関連付けられ、量子・古典相関への洞察を与え、多くの情報処理タスクの基盤となる。
|
Takeru Utsumi, Yota Tachibana, Yos | error-correction | 2026 | 2609.38168 |
| 収集 |
普遍的量子符号化
ノイズのある二部状態のエンタングルメント蒸留とノイズのあるチャネルの量子通信は通常事前知識を要するが、Schur-Weyl dualityにより普遍的な量子誤り訂正原理を確立した。
|
Jacopo Rizzo, Ludovico Lami, Jens | error-correction | 2026 | 2609.38038 |
| 収集 |
decoder disagreementによる量子LDPC符号の適応復号
量子LDPCコードの復号では、より深い後処理探索の利点が少数の復号インスタンスに集中しており、それらはデコーダの不一致(disagreement)によって識別できることを見出した。
|
Maida Wang, Peter V. Coveney | error-correctionhardware-demos | 2026 | 2609.37629 |
| 収集 |
増幅されたqLDPC符号による超長距離量子メモリ
大きな符号距離だけでは量子メモリの保護は保証されず、シンドローム抽出中の障害が相関エラーに伝播する。回路距離の認定が困難なため、distance amplifiersを導入し、符号距離と認定回路距離を増加させる。
|
Zijian Liang, Boren Gu, Yu-An Chen | error-correction | 2026 | 2609.37231 |
| 収集 |
漏洩検出における古典的参照に対する量子の指数関数的優位性
同じエンコーダーが準備した独立な量子参照により、古典的に指定されていない符号化からの漏れ検出が可能になる。コヒーレント測定を用いる。
|
Zheng An | error-correction | 2026 | 2609.36541 |
| 収集 |
GKP連接量子LDPC符号の回路レベルベンチマーク
GKPコードに基づくスケーラブルな量子誤り訂正には、現実的な回路ノイズ下でアナログGKP情報を利用できる有限レートの外部コードが必要だが、qLDPC外部コードは回路レベルGKP連結の候補として体系的に比較されていない。
|
Yuan Yao, Ruipeng Xing, Jianshuo G | error-correction | 2026 | 2609.35282 |
| 収集 |
Cliffordテンプレートコンパイルの計算複雑性:量子コンピュータは量子回路のコンパイルに有用か?
Clifford template compilation problemは、Clifford templateの各演算の適用回数を選び、Pauli演算子の目標変換を実現する問題であり、量子回路のコンパイルなどに現れる。
|
Keisuke Fujii | error-correction | 2026 | 2609.35239 |
| 収集 |
AG-CoT: クリフォード回路におけるLLMプログラム合成のための検証済みアルゴリズム的トレース
科学的コード生成は意図した対象を計算できないプログラムを生む。本研究では古典的検証が可能なClifford回路の合成でこの問題を研究し、各ターゲットが与えられるフレームワークを提案する。
|
Lu Wei, Yufeng Wang, Chenfeng Cao | error-correctionsoftware-stack | 2026 | 2609.33192 |
| 収集 |
誤り訂正の視点からの Measurement-Based Uncomputation
コヒーレントな非計算は計算自体と同等のコストを要し、初期のフォールトトレラント量子コンピュータでは法外な時空オーバーヘッドとなる。我々は量子誤り訂正の視点から、ガベージレジスタの測定を扱うmeasurement-based uncomputation (MBU) の代数的枠組みを開発する。
|
Minjun Jeon, Po-Wei Huang, Zhenyu | error-correction | 2026 | 2609.31605 |
| 収集 |
Oracle蒸留
量子技術の有望な応用である学習とセンシングはノイズで量子優位性が失われうる。そこで、ノイズのあるオラクルへの多数のクエリを高忠実度の単一クエリに蒸留するoracle distillationを提案する。
|
Ruohan Shen, Soonwon Choi | error-correctionhardware-demos | 2026 | 2609.31596 |
| 収集 |
Sipser-Spielman×Dijkgraaf-Witten: ツイスト層ゲージ理論による非アーベルqLDPC符号とほぼ一定オーバーヘッドのマジック状態ファウンテン
Sipser-Spielman codes と Dijkgraaf-Witten twisted gauge theories を sheaf cohomology の言語で統一し、新しい枠組み twisted sheaf guage theories を生成した。
|
Guanyu Zhu, Shi Jie Samuel Tan, Ry | error-correction | 2026 | 2609.31541 |
| 収集 |
状態準備が量子制御の校正コストを変える
エラー訂正記録はノイズを明らかにするが制御情報が遅く、surface codeのGaussian dephasing下ではencoded calibrationが稀なイベントで相関を学習。product probeは同じチェックでそれを頻繁に曝露し、理想記録のサンプル複雑性を削減する。
|
Xiu-Hao Deng | error-correction | 2026 | 2609.30910 |
| 収集 |
長さ54までのGeneralised Triorthogonal Codesの分類
Magic state distillationはフォールトトレラント量子計算における高忠実度非クリフォード資源準備のための広く検討されるプリミティブである。最も一般的なプロトコルであるgeneralised triorthogonal codesは、n個のノイズのある入力T状態を精製された第三レベル対角マジック状態に蒸留する。
|
Adam Wills, Shubham P. Jain, Shrad | error-correction | 2026 | 2609.30860 |
| 収集 |
非可換層量子LDPC符号:良い、そしてマジカル
Non-Abelian量子コードの枠組みを開発し、シーフコードをカップ積でゲージ化してNon-Abelian qLDPCコードを構築。定数符号化レートと線形距離を持つファミリーを得た。
|
Zimu Li, Fuchuan Wei, Zhengyi Han | error-correction | 2026 | 2609.30159 |
| 収集 |
超高符号化率の量子符号の設計原理:少ない量子ビットで誤りを訂正する符号の作り方
量子誤り訂正の量子ビットオーバーヘッド削減が課題であり、ultra-high-rate codesは論理量子ビットあたり最小2つの物理データ量子ビットで実現できるが、トレードオフを導く体系的な設計原理が不足している。
解説記事 →
|
Jong Yeon Lee, Koki Okada, Nishad | error-correction | 2026 | 2609.30069 |
| 収集 |
シンドローム測定が決定的フォールトトレラント$T$ゲートを可能にする
シンドロームの自由度が論理Non-Cliffordゲートを媒介し、1つのスタビライザーチェック解放で追加論理量子ビットが得られることを示した。stabilizer codesのフォールトトレラント実装課題に対処する。
|
Kishor Bharti, Tobias Haug, Andrew | error-correction | 2026 | 2609.29890 |
| 収集 |
MagiCFirm: アルゴリズム・ハードウェア協調設計によるマジック状態培養のためのランタイム
Magic-state cultivationの実用化には、論理ソフトウェアと物理制御間のオープンソースな古典ランタイム層の欠如と遅延制約という2つの課題がある。
|
Jubo Xu, Abbas B. Ziad, Prakash Mu | error-correction | 2026 | 2609.29267 |
| 収集 |
量子コンパイルにおける表現依存の回復可能性
Fault-tolerant compilationは位相をラウンド分割やClifford+$T$語などに分散させ計算を保存するが、下流コンパイラが集約位相を回収するコストが表現依存で変化する。
|
Jinze Yang, Yangyang Li, Xiu-Hao D | error-correctioncompilation | 2026 | 2609.29210 |
| 収集 |
ノイズモデルとのずれを手がかりに:ドリフトする量子ノイズの下で「論理ギャップ」を超えるポストセレクション
量子誤り訂正デコーダは補正と信頼度推定を提供するが、その信頼度はノイズモデルに依存し、デバイスがモデルからドリフトするとlogical gapなどの指標は不正確になる可能性がある。
解説記事 →
|
Aaron C. Hoyt, Chunshu Wu, Shuwen | error-correction | 2026 | 2609.29018 |
| 収集 |
純粋に対数時間・定数空間オーバーヘッドの耐故障性量子計算
定数空間オーバーヘッドの耐故障量子計算を厳密に対数時間オーバーヘッドで達成できることを証明。既存の最良結果(準対数因子付き)を改善し、良好な量子LTC上のpolynomial-subrank横断論理CCZゲートを用いる。
|
Zhengyi Han, Zi-Wen Liu | error-correction | 2026 | 2609.28461 |
| 収集 |
量子LDPC符号のソフト復号と実験的検証
ソフトデコーダーは信頼度スコアを出力し、ポストセレクションと併用することで論理性能を大幅に向上させる。本論文では、ソフトビームサーチを導入する。
解説記事 →
|
Arda Aydin, Edwin Tham, Nicolas De | error-correctionhardware-demos | 2026 | 2609.26958 |
| 収集 |
区別可能性を考慮したモノリシック量子誤り訂正
量子誤り訂正符号は環境が誤り過程を区別できないことを要するが、残留Zeeman、Stark、非調和相互作用により誤りが区別可能となり完全回復条件が弱まる。この効果を解析的に研究した。
|
Shubham P. Jain, Eric R. Hudson, W | error-correction | 2026 | 2609.26946 |
| 収集 |
stabilizer subsystem decomposition におけるガウス状態の論理集合
連続変数系の非ガウス性と離散変数系の非スタビライザー性が必要だが、Gaussian stateをGKP論理部分空間へ写像すると非スタビライザー資源を持つ論理qubitが得られる。
|
Santiago Zamora, Kaustav Chatterje | error-correction | 2026 | 2609.26898 |
| 収集 |
Fluxoniumによるボソニック誤り訂正
Bosonic QECはハードウェア効率的だが、従来の超伝導回路実装は3D空洞と固定周波数transmonを用い、論理寿命がtransmonのbit-flip誤りで制限される。
|
Shantanu R. Jha, Shoumik D. Chowdh | error-correction | 2026 | 2609.26880 |
| 収集 |
不均一距離Lattice Surgeryを用いた分散量子コンピューティングにおける誤り抑制
分散量子計算では、ローカルゲートよりノイズの多いインターQPUリンクに耐障害性操作が必要で、コード距離を均一に増やすとパッチが拡大する。そこで、分散不均一距離ラティス手術を導入する。
|
Daniel Dilley, Anastashia Jebraeil | error-correction | 2026 | 2609.26784 |
| 収集 |
任意の回転曲面符号レイアウトにおける分散型格子手術のためのシンドローム抽出フレームワーク
モジュール型量子計算はスケーラブルなFTQCの候補である。モジュール間のlattice surgeryはノイズの多いゲートを要し、マージレイアウトは複数方向にhook errorを露出させる。
解説記事 →
|
Pritesh Thakur, Daniel Dilley, Zai | error-correction | 2026 | 2609.26736 |
| 収集 |
良い量子局所テスト可能符号上のトランスバーサル非クリフォードゲート
[arXiv:2604.01874]のゲートフレームワークを[arXiv:2609.20780]の良いqLTC構成に適用し、covering spaceを用いて、量子LDPC符号とqLTC上で漸近最適な非自明なtransversal logical multi-controlled-Zゲートを実現した。
|
Yiming Li, Zimu Li, Zi-Wen Liu | error-correction | 2026 | 2609.26691 |
| 収集 |
Covariant Bosonic Encodingsの誤り訂正特性
Bosonic codesはハードウェア効率的なフォールトトレランスへの有望なアプローチで、cat-codeやGKP codeは対称性に基づく。表現論的枠組みでマルチモード対称bosonic codesの構築と解析を形式化する。
|
Frederic St-Amand, Jean-Philippe B | error-correction | 2026 | 2609.26660 |
| 収集 |
時間依存の利得-損失マスター方程式の明示的閉形式伝播子
時間依存の生成子L(t)=α(t)A+β(t)Bを持つマスター方程式において、[A,B]が同時固有オペレータの場合、クロノロジカルおよびアンチクロノロジカルな伝播子の明示的な閉形式の因数分解を導出した。
|
Léonce Dupays | error-correction | 2026 | 2609.24617 |
| 収集 |
フローベースのラティスサージェリー最適化と実行時Tゲートスケジューリング
表面コード上のLattice surgeryは耐故障量子計算の主要経路で、論理回路のコンパイルがリソースコストを決定する。従来のコンパイラは理想化された仮定に基づき、実用的設定で機能するものは未開発である。
|
Raymond Iacobacci, Tianyi Hao, Nee | error-correction | 2026 | 2609.23756 |
| 収集 |
QuWARP: 量子回路シミュレーションのためのワークロード認識型再利用プランナー
量子回路シミュレーションは孤立回路ではなく繰り返し実行されるワークロード(VQEスイープ、ノイズ付きマルチショット、QECサイクル等)であり、既存シミュレータは個別実行を最適化するが実行間の再利用を無視している。
|
Tim Littau, Rihan Hai | variational-algorithmserror-correctionsimulation-methods | 2026 | 2609.23664 |
| 収集 |
非CSS符号におけるモジュール式フォールトトレラント量子計算
モジュール化により大規模量子プロセッサの設計・実装の複雑さを小さなサブタスクに分解し、量子チャネル(物理的再配線や量子テレポーテーション)で複数モジュールを接続、各モジュールが一部の量子ビットを保持する。
|
Robert Freund, Friederike Butt, Cé | error-correctionhardware-demos | 2026 | 2609.22572 |
| 収集 |
量子誤り訂正閾値における臨界指数のアンサンブル依存性
熱力学極限でアンサンブルの選択が物理に影響しないという仮定は臨界指数では成立せず、量子誤り訂正の単純化モデルでその依存性を示した。
|
Idan Dror, Moshe Goldstein | error-correction | 2026 | 2609.21886 |
| 収集 |
多準位緩和下での量子センシングの究極情報レート
無制限のadaptive control下で、緩和する多準位量子センサの究極の情報レートを決定し、それを達成する明示的戦略を構築した。この設定は、弱い場が基底状態を複数の励起状態に結合させ崩壊する場合で、amplitude-damping sensingに帰着する。
|
Changhun Oh, Seok Hyung Lie, Young | error-correction | 2026 | 2609.21418 |
| 収集 |
より密な平面カラーコード
4.8.8 color codeをブリックワークレイアウトで考え、12 CNOT層の周期的superdense回路が距離を保つと見られる。アンシラ込みの物理量子ビット数は(2d^2+5d-5)/2で、漸近的に2/3。
|
Noah Shutty | error-correction | 2026 | 2609.21376 |
| 収集 |
ReFINE: 量子ネットワークにおけるレート・忠実度トレードオフのための蒸留と符号化のスケジューリング
量子ネットワークではEPRペア共有でノード接続し、高忠実度・高レートが理想だが、生成誤差やデコヒーレンスで忠実度が劣化する。Entanglement Distillationは忠実度を高めるが確率的で全破壊の恐れがある。
|
Narges Alavisamani, Matthieu Bloch | error-correction | 2026 | 2609.21152 |
| 収集 |
位相的量子符号に対する正のコヒーレント誤り閾値の証明
確率的エラーモデルに対する閾値解析は確立されているが、実際のデバイスでは不完全制御によるZ回転などのコヒーレントエラーが発生し、確率的モデルでは捕捉されない。
|
Shiro Tamiya, Masato Koashi | error-correction | 2026 | 2609.20708 |
このデータは blueqat の量子ソフトウェア研究から作られています。 最終取り込み 2026-10-11 05:20:01