論文の概要: Vector logic allows counterfactual virtualization by The Square Root of NOT

• arxiv url: http://arxiv.org/abs/2003.11519v3
• Date: Tue, 1 Sep 2020 21:59:24 GMT
• ステータス: 処理完了
• システム内更新日: 2022-12-25 09:18:29.702066
• Title: Vector logic allows counterfactual virtualization by The Square Root of NOT
• Title（参考訳）: ベクトル論理はNOTのSquare Rootによる反ファクト仮想化を可能にする
• Authors: Eduardo Mizraji
• Abstract要約: 本稿では, ベクトル論理, 行列ベクトルの論理関数と真理値に対する定式化法を用いて, 対実条件の表現について検討する。 この基本的表現の後、与えられた反事実の妥当性の判断は、決定を受理または拒絶へとシフトさせることができる。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: In this work we investigate the representation of counterfactual conditionals using the vector logic, a matrix-vectors formalism for logical functions and truth values. Inside this formalism, the counterfactuals can be transformed in complex matrices preprocessing an implication matrix with one of the square roots of NOT, a complex matrix. This mathematical approach puts in evidence the virtual character of the counterfactuals. This happens because this representation produces a valuation of a counterfactual that is the superposition of the two opposite truth values weighted, respectively, by two complex conjugated coefficients. This result shows that this procedure gives an uncertain evaluation projected on the complex domain. After this basic representation, the judgment of the plausibility of a given counterfactual allows us to shift the decision towards an acceptance or a refusal. This shift is the result of applying for a second time one of the two square roots of NOT.
• Abstract（参考訳）: 本研究では, ベクトル論理, 行列ベクトル形式, 論理関数, 真理値を用いた対実条件の表現について検討する。 この形式論の中では、反事実は複素行列に変換され、複素行列であるNOTの平方根の1つで含意行列を前処理する。 この数学的アプローチは、反事実の仮想的特徴を証明している。 これは、この表現が2つの複素共役係数によって重み付けされた2つの反対真理値の重み付けである反事実の値を生成するためである。 この結果は、この手順が複素領域に投影された不確定な評価を与えることを示している。 この基本的な表現の後、与えられた反事実の可能性の判断は、決定を受容または拒絶に移すことができる。 このシフトは、2つのNOTの平方根のうちの1つを2回適用した結果である。

関連論文リスト

• Geometric structure and transversal logic of quantum Reed-Muller codes [51.11215560140181]
  本稿では,量子リード・ミュラー符号(RM)のゲートを,古典的特性を利用して特徴付けることを目的とする。 RM符号のための安定化器生成器のセットは、特定の次元のサブキューブに作用する$X$と$Z$演算子によって記述することができる。
  論文  参考訳（メタデータ） (2024-10-10T04:07:24Z)
• Unsupervised Representation Learning from Sparse Transformation Analysis [79.94858534887801]
  本稿では,潜在変数のスパース成分への変換を分解し,シーケンスデータから表現を学習することを提案する。 入力データは、まず潜伏活性化の分布として符号化され、その後確率フローモデルを用いて変換される。
  論文  参考訳（メタデータ） (2024-10-07T23:53:25Z)
• Efficient conversion from fermionic Gaussian states to matrix product states [48.225436651971805]
  フェミオンガウス状態から行列積状態に変換する高効率なアルゴリズムを提案する。 翻訳不変性のない有限サイズ系に対しては定式化できるが、無限系に適用すると特に魅力的になる。 この手法のポテンシャルは、2つのキラルスピン液体の数値計算によって示される。
  論文  参考訳（メタデータ） (2024-08-02T10:15:26Z)
• On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning [87.73401758641089]
  CoT推論による現代言語モデル(LM)の性能向上 LMは弦上の分布の族を確率的チューリングマシンと同一に表現できることを示す。
  論文  参考訳（メタデータ） (2024-06-20T10:59:02Z)
• EulerFormer: Sequential User Behavior Modeling with Complex Vector Attention [88.45459681677369]
  複素ベクトル注意を持つ新しい変圧器変圧器(EulerFormer)を提案する。 意味的差と位置的差の両方を定式化するための統一的な理論的枠組みを提供する。 意味的変動に対してより堅牢であり、原理上はより上述の理論的性質を持つ。
  論文  参考訳（メタデータ） (2024-03-26T14:18:43Z)
• From port-based teleportation to Frobenius reciprocity theorem: partially reduced irreducible representations and their applications [1.024113475677323]
  我々は、$n$システムに作用するポートベースのテレポーテーション作用素のスペクトルが、対称群 $S(n-1)subset S(n)$ に対して、Jucys-Murphy作用素のスペクトルと非常に単純な方法で連結されていることを示す。 このことは、対称群の表現論の観点から、テレポーレーションと基本対象の1つの間の技術的なレベルの関係を示す。
  論文  参考訳（メタデータ） (2023-10-25T07:22:54Z)
• Generalized "Square roots of Not" matrices, their application to the unveiling of hidden logical operators and to the definition of fully matrix circular Euler functions [0.0]
  Notの平方根は量子コンピューティング理論において重要な論理演算子である。 物理学では、次元 2 の平方複素行列である。 演算子の2つの平方根に対する一般表現がどのように得られるかを示す。
  論文  参考訳（メタデータ） (2021-06-22T03:43:53Z)
• Finite dimensional systems of free Fermions and diffusion processes on Spin groups [0.0]
  有限次元フェルミオン(英: finite dimensional Fermions)は、外部代数自身に埋め込まれた有限次元複素空間のベクトルである。 リー群 $mathrmSpin(2n+1)$ 上の不変複素ベクトル場をフェルミオン生成および消滅作用素に関連付ける。 確率論的解釈は、第二次作用素に付随する拡散過程に関して、ファインマン・カック風の公式の観点で与えられる。
  論文  参考訳（メタデータ） (2021-02-01T17:25:08Z)
• A Study of Continuous Vector Representationsfor Theorem Proving [2.0518509649405106]
  我々は,論理特性の保存と可逆性を考慮したエンコードを開発した。 これは、すべての記号を含む公式のツリー形状が密度ベクトル表現から再構築できることを意味する。 これらの構文的および意味的特性のトレーニングに使用できるデータセットを提案する。
  論文  参考訳（メタデータ） (2021-01-22T15:04:54Z)
• Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
  我々は、本質的にすべての実数値論理をカバーするためにパラメータ化できる、音と強完全公理化を与える。 文のクラスは非常に豊かであり、各クラスは実数値論理の式の集合に対して可能な実値の集合を記述する。
  論文  参考訳（メタデータ） (2020-08-06T02:13:11Z)
• J-matrix method of scattering in one dimension: The relativistic theory [0.0]
  散乱の一次元J行列法の相対論的拡張を行う。 相対論的ポテンシャル行列はベクトル、スカラー、擬スカラー成分の組み合わせである。
  論文  参考訳（メタデータ） (2020-01-14T19:02:15Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。