🤖 AI
Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution
本論文は、習熟度によって制御されたベンチマークと共進化する自己修正型のLean証明エージェントを紹介するものであり、すべての自己改善が信頼されたLeanによる検証に基づいた状態を維持することで、シードモデルおよび固定ベンチマークを用いたモデルの両方を大幅に上回る45.1%の解法率を保持テストにおいて達成している。
⚛️ Category
quant-ph
9662 件の論文
量子物理学の不思議な世界は、日常の直感とは全く異なる法則で動いています。ここでは、粒子が同時に複数の場所に存在したり、遠く離れた粒子が瞬時に互いに影響し合ったりする、私たちの理解を覆す現象が研究されています。Gist.Science では、arXiv から公開される最新の量子物理に関するプレプリントをすべて網羅し、専門的な数式や難解な用語を噛み砕いた平易な解説と、技術的な詳細を深く掘り下げた要約の両方を提供しています。
これにより、専門家だけでなく、この魅力的な分野に興味を持つ誰もが、最先端の知見をすばやく把握できるようになります。以下に、arXiv から収集した量子物理学の分野における最新の論文リストを掲載します。
🔬 physics
The History of Hilbert-Space Formulations of Classical Physics
本論文は、クープマン・フォン・ノイマンの定式化と古典物理学における「古典的」波動関数の手法を区別しており、後者がクープマンやフォン・ノイマンによるものではなく、マリオ・シェンベルク、アンジェロ・ロインガー、ジャコモ・デッラ・リッチャ、ノーバート・ウィーナー、およびE. C. ジョージ・スダルシャンといった後世の研究者らによって独立して開発されたものであることを明らかにしている。
🤖 machine learning
Grounded verification of chemical and materials reasoning: detection is the bottleneck
本論文は、化学および材料に関する大規模言語モデルにおいて、一律的な検索よりも特定の事実誤認の検出を優先する階層的なデータベースに基づく検証システムが、標的を絞った修正を可能にすることで、作り話（コンファビュレーション）の発生率を大幅に減少させることを示しており、それによって、モデルの精度向上における主要なボトルネックは修正ではなくエラー検出であることを特定している。
🔬 applied physics
Single-atom sensor for low-frequency electric field
本論文は、表面電極トラップ内の注入同期された40Ca+フォノンレーザーを用いて、サイドバンド冷却を必要とせずに従来のアンテナのサイズ制約を克服し、低周波電場信号（30–300 kHz）を高精度かつ同時に検出するための、感度404 µV/(m·Hz¹/²)および検出限界61.5 µV/mを実現する堅牢な単一イオンセンサを実証するものである。
🔬 optics
Spatial nonlocality imaging via metasurface
本論文は、メタ表面による並列偏光投影と量子適応型ニューラルネットワークを組み合わせることで、マルチモード光場におけるベル不等式の破れの二次元的な空間分布を直接可視化し、かつ証明することを可能にする、リソース効率の高い空間非局所イメージング手法を提案するものである。
⚛️ quantum physics
Fully-connected three-mode squeezed vacuum: Gaussian entanglement, steering, and collective photon subtraction
本論文は、完全結合した3モードスクイーズド真空状態を調査し、その三角形トポロジーが真の三者間もつれおよび集団的な1対2ステアリングを生成する一方で、すべてのペアワイズなガウス型ステアリングおよびウィグナー負値を抑制することを示し、それによってペアワイズな非古典的リソースと集団的な非古典的リソースを区別し、それらの損失に対する堅牢性を確立している。
⚛️ quantum physics
Formal Verification of Continuous-Variable Quantum Programs
本論文は、無限次元ヒルベルト空間や非有界な測定結果によって生じる課題を克服するために、連続変数量子コンピューティング（CQC）に対する初の形式的意味論およびホーア論理を確立し、新たに実装された記号的最弱前件条件計算機を通じて、CQCプログラム、ゲート分解、およびリソース要件の検証を可能にするものである。
🔬 mesoscale physics
Depth Determination of Individual Shallow NV-Centers via Spin-Lock NMR
本論文は、ハートマン・ハーン共鳴を利用して高調波の曖昧性を排除し、精密な定量的深さ推定を可能にすることで、ダイヤモンド中の個々の浅い窒素空孔中心の深さを正確に決定するための、従来のダイナミカルデカップリング法に代わる堅牢で高分解能な代替手法として、スピンロックNMRを導入するものである。
⚛️ quantum physics
Stochastic Pauli-path simulator for large-scale quantum optimization
本論文は、大規模な量子最適化タスクに対して不偏な勾配推定と証明可能な収束を可能にする新しいフレームワークであるStochastic Pauli-path Simulator（SPPS）を導入しており、これによりPauliベースのシミュレーション能力を、前方推定から最大100量子ビットを伴う変分アルゴリズムへと効果的に拡張している。
⚛️ quantum physics
Unifying Charge-Learnability Transitions in U(1)-Symmetric Quantum Circuits through Informational Power of Local Measurement
本論文は、局所測定の情報力が、U(1)対称性を持つ量子回路における電荷学習可能性の転移を統一する原理であることを確立し、その解析を確率的な弱測定へと拡張するとともに、デコーダーの性能および基礎的な情報の可用性を特徴付けるための、クロスエントロピーや相互情報量といった新たな診断手法を導入するものである。