論文の概要: Two Simple Proofs of M\"uller's Theorem
- arxiv url: http://arxiv.org/abs/2402.05328v2
- Date: Fri, 23 Feb 2024 15:36:23 GMT
- ステータス: 処理完了
- システム内更新日: 2024-02-26 17:19:07.390232
- Title: Two Simple Proofs of M\"uller's Theorem
- Title(参考訳): m\\ullerの定理の2つの単純な証明
- Authors: Samuel Epstein
- Abstract要約: ミュラーの定理はアルゴリズム情報理論と物理学の交わりにおける最も重要な結果である。
本論文は、この定理の2つの簡単な証明を含む。
- 参考スコア(独自算出の注目度): 6.5268245109828005
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Due to M\"{u}ller's theorem, the Kolmogorov complexity of a string was shown
to be equal to its quantum Kolmogorov complexity. Thus there are no benefits to
using quantum mechanics to compress classical information. The quantitative
amount of information in classical sources is invariant to the physical model
used. These consequences make this theorem arguably the most important result
in the intersection of algorithmic information theory and physics. The original
proof is quite extensive. This paper contains two simple proofs of this
theorem.
- Abstract(参考訳): M\"{u}ller の定理により、弦のコルモゴロフ複雑性はその量子コルモゴロフ複雑性と等しいことが示されている。
したがって、量子力学を使って古典情報を圧縮する利点はない。
古典的な情報源の量的な情報は、使用する物理モデルに不変である。
これらの結果から、この定理はアルゴリズム情報理論と物理学の交叉において最も重要な結果となっている。
元々の証明は非常に広範である。
本論文はこの定理の2つの単純な証明を含む。
関連論文リスト
- The Power of Unentangled Quantum Proofs with Non-negative Amplitudes [55.90795112399611]
非負の振幅を持つ非絡み合った量子証明のパワー、つまり $textQMA+(2)$ を表すクラスについて研究する。
特に,小集合拡張,ユニークなゲーム,PCP検証のためのグローバルプロトコルを設計する。
QMA(2) が $textQMA+(2)$ に等しいことを示す。
論文 参考訳(メタデータ) (2024-02-29T01:35:46Z) - Taming Quantum Time Complexity [50.10645865330582]
時間複雑性の設定において、正確さと遠心性の両方を達成する方法を示します。
我々は、トランスデューサと呼ばれるものに基づく量子アルゴリズムの設計に新しいアプローチを採用する。
論文 参考訳(メタデータ) (2023-11-27T14:45:19Z) - Connecting classical finite exchangeability to quantum theory [69.62715388742298]
交換性は確率論と統計学の基本的な概念である。
有限交換可能な列に対するデ・フィネッティのような表現定理は、量子論と正式に等価な数学的表現を必要とすることを示す。
論文 参考訳(メタデータ) (2023-06-06T17:15:19Z) - Noncommutative integration, quantum mechanics, Tannaka's theorem for
compact groupoids and examples [0.0]
位相群を有限かつコンパクトな設定で考える。
最初の節では、典型的な可観測物の定義を導入し、統計力学と量子力学の文脈でそれらを研究した。
我々は明示的な例を示し、そのうちの1つはいわゆる量子ラチェットである。
論文 参考訳(メタデータ) (2023-03-21T11:18:20Z) - Connes implies Tsirelson: a simple proof [91.3755431537592]
コンヌ埋め込み問題は同期的ツィレルソン予想を意味することを示す。
また、コンネスの代数 $mathcalRomega$ の異なる構成もコンネス埋め込み問題に現れる。
論文 参考訳(メタデータ) (2022-09-16T13:59:42Z) - Quantum-inspired permanent identities [0.0]
量子コンピューティングにおいて、永久性は線形光学計算の出力振幅の式に現れる。
我々は、多くの存在の量子にインスパイアされた証明と、新しい顕著な永続的なアイデンティティを与える。
論文 参考訳(メタデータ) (2022-07-31T00:24:17Z) - Generalized Gleason theorem and finite amount of information for the
context [0.0]
量子プロセスは、測定手順の記述のコンテキストを指定せずに、古典的なプロセスに還元することはできない。
我々は、測定コンテキストに関する情報の量が有限であると仮定して、隠れ変数理論のクラスを考える。
論文 参考訳(メタデータ) (2022-06-23T16:55:50Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳(メタデータ) (2021-07-05T17:45:41Z) - On the paper "Quantum theory cannot consistently describe the use of
itself" [0.0]
どちらの量子論も、マクロシステムにも普遍的に適用できないことを証明している。
論文の結果を簡潔に説明し、その証明の詳細を明らかにする。
論文 参考訳(メタデータ) (2021-06-14T11:33:55Z) - Proof of the Peres conjecture for contextuality [0.0]
簡単に言えば、量子力学は理想的な測度に対して非コンテキストの古典的なモデルと整合できない。
コーシェン・スペクターの定理の最小のハーディ型とグリーンベルガー・ホーネ・ザイリンガー型(GHZ型)を求める体系的なアプローチを提案する。
論文 参考訳(メタデータ) (2020-01-21T17:13:52Z) - A refinement of Reznick's Positivstellensatz with applications to
quantum information theory [72.8349503901712]
ヒルベルトの17番目の問題において、アルティンはいくつかの変数の任意の正定値が2つの平方和の商として書けることを示した。
レズニックはアルティンの結果の分母は常に変数の平方ノルムの$N$-次パワーとして選択できることを示した。
論文 参考訳(メタデータ) (2019-09-04T11:46:26Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。