Fugu-MT 論文翻訳(概要): Two Simple Proofs of M\"uller's Theorem

論文の概要: 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)
Connecting classical finite exchangeability to quantum theory [69.62715388742298]
交換性は確率論と統計学の基本的な概念である。有限交換可能な列に対するデ・フィネッティのような表現定理は、量子論と正式に等価な数学的表現を必要とすることを示す。
論文参考訳（メタデータ） (2023-06-06T17:15:19Z)
On Kirkwood--Dirac quasiprobabilities and unravelings of quantum channel assigned to a tight frame [0.0]
与えられた強フレームのベクトルを使って主クラウス作用素を構築すると、興味深い性質を持つ準確率が生成される。固有値の位置を特徴付けるための新しい不等式が導出される。提示された不等式の効用は、次元2における対称的な情報的完備な測定で例示される。
論文参考訳（メタデータ） (2023-04-27T09:11:11Z)
Quantum Worst-Case to Average-Case Reductions for All Linear Problems [66.65497337069792]
量子アルゴリズムにおける最悪のケースと平均ケースの削減を設計する問題について検討する。量子アルゴリズムの明示的で効率的な変換は、入力のごく一部でのみ正し、全ての入力で正しくなる。
論文参考訳（メタデータ） (2022-12-06T22:01:49Z)
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)
How smooth is quantum complexity? [0.0]
ユニタリ作用素の「量子複雑性」は、基本量子ゲートの集合から構成の難しさを測定する。本稿では、ユニタリ作用素の空間上の関数と見なされる様々な量子複雑性の概念について統一的な視点を示す。
論文参考訳（メタデータ） (2021-06-15T17:58:08Z)
A refinement of Reznick's Positivstellensatz with applications to quantum information theory [72.8349503901712]
ヒルベルトの17番目の問題において、アルティンはいくつかの変数の任意の正定値が2つの平方和の商として書けることを示した。レズニックはアルティンの結果の分母は常に変数の平方ノルムの$N$-次パワーとして選択できることを示した。
論文参考訳（メタデータ） (2019-09-04T11:46:26Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。