💻 computer science
Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
本論文は、クリフォード回路の性質を効率的に検証するためにゴッテスマンのハイゼンベルク表現から導出された軽量なホーア的論理を提示し、それをゲートとマジック状態を取り入れることでユニバーサル量子計算へと拡張し、それによって量子ビット廃棄の証明、分離可能性のチェック、およびゲート複雑性の下界の確立といった応用を可能にするものである。
⚛️ Category
quant-ph
7375 件の論文
量子物理学の不思議な世界は、日常の直感とは全く異なる法則で動いています。ここでは、粒子が同時に複数の場所に存在したり、遠く離れた粒子が瞬時に互いに影響し合ったりする、私たちの理解を覆す現象が研究されています。Gist.Science では、arXiv から公開される最新の量子物理に関するプレプリントをすべて網羅し、専門的な数式や難解な用語を噛み砕いた平易な解説と、技術的な詳細を深く掘り下げた要約の両方を提供しています。
これにより、専門家だけでなく、この魅力的な分野に興味を持つ誰もが、最先端の知見をすばやく把握できるようになります。以下に、arXiv から収集した量子物理学の分野における最新の論文リストを掲載します。
🔬 applied physics
Semiconductor Room-Temperature Maser
本論文は、4H-シリコンカーバイド中のシリコン空孔に基づく室温半導体メーザーの初のデモンストレーションを報告するものであり、これは、連続波動作、高利得増幅、光ポンプ冷却、および超高感度磁気計測を実現するために能動的フィードバックを利用しており、コンパクトで電気駆動可能なメーザーダイオードへの道を開くものである。
⚛️ quantum physics
Automorphism-Assisted QAOA: A Classical-Estimator Speedup for QAOA Simulation on Graphs with Non-Trivial Symmetry
本論文は、非自明な対称性を持つグラフにおけるQAOAの状態ベクトル推定を加速させる古典的シミュレーション手法であるAutomorphism-Assisted QAOA（AA-QAOA）を導入するものであり、これは、最適化のランドスケープや近似比を変えることなく、完全なコストハミルトニアンを軌道削減された観測量に置き換えることによって、集約時間を大幅に削減するものである。
⚛️ quantum physics
One for All: Universal Quantum Conic Programming Framework for Hard-Constrained Combinatorial Optimization Problems
本論文は、実現可能性を単一の制約へとエンコードすることで、任意の硬い制約を持つ組合せ最適化問題を解くために量子円錐計画法を一般化した、統一的な量子・古典フレームワークを導入するものであり、これにより、バリオン・プラトーを回避し、問題固有のハミルトニアンやオラクルを必要とすることなく、一般化された固有値問題を介した効率的なパラメータ最適化を可能にする。
⚛️ quantum physics
Anomalous transport in U(1)-symmetric quantum circuits
本論文は、円環的な統計モーメントを導入することで、局在、拡散、および超拡散の各レジームにおける輸送を特徴付け、特に強い無秩序が存在するにもかかわらず励起がコヒーレントに伝播する特異な前熱的「スワッピー（swappy）」レジームを特定することにより、U(1)対称性を持つ無秩序な量子回路における離散時間輸送を調査するものである。
⚛️ quantum physics
Postmeasurement information and nonlocality of quantum state discrimination
本論文は、量子状態識別における非局所性を生成または消滅させる後測定情報の能力が、元のアンサンブルがいかに部分アンサンブルへと分割されるかに決定的に依存することを示し、この分割依存の現象を説明するための十分条件と具体的な例を提示するものである。
⚛️ quantum physics
End-to-End Quantum Algorithms for the Jones Polynomial
本論文は、エラー緩和と最適化されたベンチマークを用いてノイズのある量子ハードウェア上でジョーンズ多項式を近似するためのエンドツーエンドのパイプラインを提示し実験的に検証すると同時に、結び目理論における近未来の量子優位性を達成するために必要なリソースを精密に推定するための、最先端の古典的テンソルネットワークアルゴリズムを開発するものである。
⚛️ quantum physics
Environment-Assisted Generation of Non-Gaussian Wavepacket Quantum States
本論文は、スケーラブルなフォールトトレラント量子計算に向けて、エンジニアリングされた非線形散逸と線形伝送損失を超伝導回路に用いることで、シュレディンガーの猫状態やGKP状態といった、広範な非ガウス型かつ誤り訂正可能な量子波束状態を決定論的に生成および放出する、ハードウェア効率の高い手法を提案する。
🔬 condensed matter
Quantum Circuits for the Metropolis-Hastings Algorithm
本論文は、可逆計算による高い量子ビットオーバーヘッドを回避しつつ、古典的なシミュレーションに対する期待される二次的なエンドツーエンドの高速化を維持する、メトロポリス・ヘイスティングス法のためのリソース効率の高いセゲディ量子ウォーク構成を導入するものである。
⚛️ quantum physics
Fully Parallelized BP Decoding for Quantum LDPC Codes Can Outperform BP-OSD
本論文は、高コストなガウス消去法を排除することでレイテンシを大幅に削減しつつ、BP-OSDと同等またはそれ以上の論理誤り率を実現するために、信勢伝搬法と投機的なシンドローム反転後処理戦略を組み合わせた、量子LDPC符号のための完全並列化されたハードウェア効率の高いデコーダを提案する。