Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits
本論文は、量子ビットの抽象化とビットベクトル論理を用いることで、1,024 個の位相量子ビットを含む大規模な量子位相推定回路の機能的正当性を効率的に検証するスケーラブルな形式検証手法を提案しています。
⚛️ Category
quant-ph
1134 件の論文
Distributed g(2) Retrieval with Atomic Clocks: Eliminating Conventional Sync Protocols
この論文は、集積化された原子時計を用いることで従来の同期プロトコルを不要にし、遠隔地に分配された偏光もつれ光子間の一致計測を実現する手法を提案しています。
Efficient training of photonic quantum generative models
この論文は、中間複雑度回路の古典的シミュレーション可能性と量子ハードウェアでのサンプリング必要性という特性を活用し、最大平均不一致（MMD）を用いてボソンサンプリングを部署タスクとする光子ネイティブな量子生成モデルの効率的な訓練手法を提案し、数値結果やデータセット、初期化戦略やアンサツの選択が訓練に与える影響を調査したものである。
Quantum algorithm for anisotropic diffusion and convection equations with vector norm scaling
この論文は、量子コンピュータにおける異方性拡散・対流方程式の数値解法を提案し、従来の演算子ノルム解析に比べ、時間ステップ数を指数関数的に削減できることをベクトルノルム解析を用いて証明したものである。
Large Language Model-Assisted Superconducting Qubit Experiments
この論文は、大規模言語モデル（LLM）を活用して、超伝導量子ビットの制御と測定を自動化し、標準プロトコルの迅速な展開や新規実験手順の実装を可能にするフレームワークを提案し、共振器特性評価や量子非破壊測定の実証を通じてその有効性を示したものである。
Quantum Simulation of Massive Relativistic Fields in 2 + 1 Dimensions
この論文は、一様 2 次元ボース・アインシュタイン凝縮体の 2 つのコヒーレント結合スピン成分を用いて、相対論的分散関係やトポロジカルなドメインウォールなどの現象を含む、2 次元空間＋1 次元時間の質量を持つ相対論的場の量子シミュレーションを実現し、宇宙論的な現象の研究への道を開いたことを報告しています。
Universal Non-stabilizerness Dynamics Across Quantum Phase Transitions
この論文は、量子相転移を横断する時間依存駆動下において、非安定化性（量子マジック）が駆動速度に対して普遍的なべき乗則スケーリングを示し、パウルイスペクトルが対数正規分布に従うことを、横磁場イジングモデルや長距離キタエフモデルを用いて明らかにしたものである。
Time delocalization and causality across temporal quantum reference frames
この論文は、相対的量子力学における異なる時間参照系間の因果関係を調べる際、介入を制約方程式の解の選択として扱う従来のアプローチでは複数の時計間で因果関係が一貫しないのに対し、介入を制約方程式自体に組み込むアプローチが因果関係の一貫性を保ちながら時間的な非局所性や不定の因果順序を自然に記述できることを示しています。
The Structure of Circle Graph States
本論文は、円グラフ状態が局所ユニタリ変換に対して閉じていること、2 色可能円グラフ状態と平面符号状態の対応関係を用いて MBQC の古典的シミュレーション可能性を再証明したこと、および一般のグラフ状態の局所ユニタリ同値な状態の数を数える問題が#P 困難であることを示しています。
Quantum Sensing of Birefringence Beyond the Classical Limit with a Hyper-Entangled SU(1,1) Interferometer
この論文は、偏光超エンタングルした SU(1,1) 干渉計を用いることで、現実的な利得と内部損失の条件下でもショットノイズ限界を 3〜15dB 上回る感度で未知の微小複屈折を検出できることを理論的に示しています。
Parallel iQCC Enables 200 Qubit Scale Quantum Chemistry on Accelerated Computing Platforms Surpassing Classical Benchmarks in Ruthenium Catalysts
この論文は、GPU 並列化と Direct Interaction Space の活用により、バーレン・プレート現象を回避しつつ 100〜124 量子ビット規模のルテニウム触媒の電子構造計算を高速かつ高精度に実行し、古典計算を超える量子優位性の到達点が 200 量子ビットを超える可能性を示唆する新しい iQCC 手法を提案しています。
The uncloneable bit exists
この論文は、量子もつれの単一性や情報理論的原理を用いて、鍵を共有しても二人の非通信する攻撃者が同時に暗号文を解読できない「複製不可能なビット」の存在を無条件の安全性で証明し、古典的設定では実現不可能な物理的に強制された暗号プリミティブを確立したことを示しています。
Random layers for quantum optimal control with exponential expressivity
本論文は、ランダムなパルス層を最適化パラメータを最小限に抑えた構造で組み合わせた「RALLY」手法を提案し、ユニタリ空間の効率的な探索と量子最適制御における情報理論的下限に近い性能達成を実現したことを示しています。
Rényi exponent landscape of multipartite entanglement in free-fermion systems
この論文は、自由フェルミオン系において、整数レニー指数が非整数の場合と異なり分数モーメントチャネルが閉じることで多部体エンタングルメントのレニー指数依存性スケーリングが劇的に変化し、整数レニーデータからはフォン・ノイマン信号を再構成できないという「レプリカ障害」が存在することを示しています。
Quantum nonlocality: no, yes, how and why
この論文は、ベルの不等式違反を統計的観点から説明する「ソフトな問題」では量子非局所性を否定する一方で、検出結果の系列における反事実的な依存性を示す「ハードな問題」では非局所性が存在し、それは相対論的共変性によって説明可能であると論じています。
High-optical-depth, sub-Doppler-width absorption lines at telecom wavelengths in hot, optically driven rubidium vapor
この論文は、室温のルビジウム蒸気において中間準位を強力な制御光でドープし、上段遷移でドップラー幅に比べて約 10 分の 1 の狭い幅かつ高い光学的深さを持つ吸収線を実現する手法を報告したものである。
Experimental demonstration of optimal measurement for unambiguously discriminating asymmetric qudit states
この論文は、非直交量子状態の誤りなし識別を最大化する理論的な測定手法を実験的に実現可能にするプロジェクト測定方式を確立し、偏光軌道角運動量状態を用いた非対称な多次元量子状態（qudit）の識別を実証したものである。
Genuinely entangled subspaces and strongly nonlocal unextendible biseparable bases in four-partite systems
この論文は、局所次元が 3 以上の 4 量子系において、強非局所性を示す未拡張分離基底（UBB）の構成法を提案し、それによって得られる真の絡み合い部分空間の全二分切目における蒸留可能性を証明するものである。
Universal Family-Vicsek scaling in quantum gases far from equilibrium
この論文は、古典的な表面成長で知られるユニバーサルなファミリー・ビクセク（Family-Vicsek）スケーリングが、光格子中の一次元ボース気体における非平衡量子多体系でも観測され、古典系と量子系を統一的に記述する枠組みが確立されたことを報告しています。
Toda-like Hamiltonian as a probe for quantized prey-predator dynamics
本論文は、Toda 型ハミルトニアンを用いて捕食者 - 被食者モデル（ロトカ・ヴォルテラ方程式）を量子力学の枠組みで解析し、古典的安定性に加えて量子歪みに対しても安定性が存在することを示すことで、微小生物系における競争的量子パターンの予測的理論的枠組みの構築に向けた第一歩を提唱しています。