Model Checking Matrix Product States against Linear Chain Logic
本論文は、周期的な行列積状態と完全正写像との間の関係を活用して、一次元量子多体系におけるサイズ依存性および漸近的性質のスケーラブルな近似モデル検査を可能にする空間論理フレームワークである線形連鎖論理(LCL)を導入する。
6120 件の論文
量子物理学の不思議な世界は、日常の直感とは全く異なる法則で動いています。ここでは、粒子が同時に複数の場所に存在したり、遠く離れた粒子が瞬時に互いに影響し合ったりする、私たちの理解を覆す現象が研究されています。Gist.Science では、arXiv から公開される最新の量子物理に関するプレプリントをすべて網羅し、専門的な数式や難解な用語を噛み砕いた平易な解説と、技術的な詳細を深く掘り下げた要約の両方を提供しています。
これにより、専門家だけでなく、この魅力的な分野に興味を持つ誰もが、最先端の知見をすばやく把握できるようになります。以下に、arXiv から収集した量子物理学の分野における最新の論文リストを掲載します。
本論文は、周期的な行列積状態と完全正写像との間の関係を活用して、一次元量子多体系におけるサイズ依存性および漸近的性質のスケーラブルな近似モデル検査を可能にする空間論理フレームワークである線形連鎖論理(LCL)を導入する。
本論文は、多経路干渉計における対干渉可視性の測定が、導出された重なり不等式の破れを通じて準備文脈依存性を検出する、操作論的かつトモグラフィー不要な手法を提供することを示し、純粋なキュービット状態が同時対角化可能な記述が課す限界を超えていることを明らかにする。
本論文は特異学習理論を用いて、整合された SPADE が近接した非コヒーレント源の弁別において量子最適な漸近挙動を実現する一方で、モデルの特異性と非整合性が有限光子性能を根本的に変化させ、実用的な領域では直接撮像が非整合 SPADE よりも優位となり、かつ各手法に対して固有の検出スケールが異なることを示す。
本論文は、実験的に非現実的な連続位相ランダム化を数ビットの乱数で済む離散版に置き換えることで実用的な安全性を確保しつつ、約14の離散位相を用いることで連続の場合と同等の鍵生成速度を達成する離散位相ランダム化モードペアリング量子鍵配送(DPR-MP-QKD)プロトコルを提案する。
本論文は、量子状態のコピー間のスピンカイラリティ相関が隠れた量子もつれを検出するための精密な物理的メカニズムを提供することを示し、従来の単一コピー基準では検出不可能な束縛もつれ状態を識別する高精度なマルチチャンネル分光分類器を実現し、IBM 量子プロセッサによる実験的検証を示す。
本論文は、少数の量子ビットと学習可能パラメータを用いて複数のベンチマークにわたる堅牢な音声感情認識を実現する構造化された接続を備えた MPS に着想を得た量子テンソルネットワークを活用するハイブリッド量子古典フレームワークである HQTN-SER を紹介する。
本論文は、Pusey–Barrett–Rudolph 定理に基づく拡張されたウィグナーの友人シナリオにおいて、特定の局所性の概念の下では自由な選択の絶対性が維持できず、これは観測結果の絶対性に対する最近の挑戦を反映していると主張する。
本論文は、標準的な量子ビットパラダイムを超えた量子計算のためのリーケージ耐性プラットフォームを提供し、保護されたクディットを自然に符号化する「フラクソン」状態を創出するためにフーリエ設計されたジョセフソンポテンシャルを利用する超伝導回路アーキテクチャを提案する。
本論文は、量子情報理論における未解決問題に対処しつつ、柔軟な構造的制約の下で正の非分解写像を体系的に生成する微分可能な半正定値計画枠組みを導入し、新たな数値例、パラメータ化された族、および実写像の発見を可能にする。
本論文は、データ管理問題に対する量子アニーリング過程の体系的な数値解析を可能にする物理情報に基づく計算ツールボックスを導入し、量子デバイスの物理とデータベース研究の間の隔たりを埋めることで、計算の困難性をより深く理解し、将来の共設計の取り組みを導くものである。