Eigenlogic and Probabilistic Inference; when Bayes meets Born

• URL: http://arxiv.org/abs/2506.10045v1
• Date: Wed, 11 Jun 2025 06:58:04 GMT
• Title: Eigenlogic and Probabilistic Inference; when Bayes meets Born
• Authors: François Dubois, Zeno Toffano,
• Abstract summary: We show how inference is treated within the context of Eigenlogic projection operators in linear algebra.<n>By extension, a probabilistic interpretation is proposed using vectors outside the eigensystem of the Eigenlogic operators.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: This paper shows how inference is treated within the context of Eigenlogic projection operators in linear algebra. In Eigenlogic operators represent logical connectives, their eigenvalues the truth-values and the associated eigenvectors the logical models. By extension, a probabilistic interpretation is proposed using vectors outside the eigensystem of the Eigenlogic operators. The probability is calculated by the quantum mean value (Born rule) of the logical projection operators. We look here for possible connections between the Born rule in quantum mechanics and Bayes' theorem from probability theory and show that Eigenlogic offers an innovative approach to address the probabilistic version of logical inference (material implication) in a quantum context.

Related papers

• Propositional Measure Logic [0.0]
  We present a propositional logic with fundamental probabilistic semantics.<n>This semantics replaces the binarity of classical logic, while preserving its deductive structure.<n>We demonstrate the soundness theorem, establishing that the proposed system is sound and suitable for reasoning under uncertainty.
  arXiv  Detail & Related papers  (2025-04-24T16:21:16Z)
• Connecting classical finite exchangeability to quantum theory [45.76759085727843]
  Exchangeability is a fundamental concept in probability theory and statistics.<n>It allows to model situations where the order of observations does not matter.<n>It is well known that both theorems do not hold for finitely exchangeable sequences.
  arXiv  Detail & Related papers  (2023-06-06T17:15:19Z)
• The Transformation Logics [58.35574640378678]
  We introduce a new family of temporal logics designed to balance the trade-off between expressivity and complexity. Key feature is the possibility of defining operators of a new kind that we call transformation operators. We show them to yield logics capable of creating hierarchies of increasing expressivity and complexity.
  arXiv  Detail & Related papers  (2023-04-19T13:24:04Z)
• Quantum Bayesian Inference in Quasiprobability Representations [0.0]
  Bayes' rule plays a crucial piece of logical inference in information and physical sciences alike. quantum versions of Bayes' rule have been expressed in the language of Hilbert spaces.
  arXiv  Detail & Related papers  (2023-01-05T08:16:50Z)
• Spectral theorem for dummies: A pedagogical discussion on quantum probability and random variable theory [0.0]
  John von Neumann's spectral theorem for self-adjoint operators is a cornerstone of quantum mechanics. This paper presents a plain-spoken formulation of this theorem in terms of Dirac's bra and ket notation.
  arXiv  Detail & Related papers  (2022-11-23T07:05:47Z)
• A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit [73.70667578066775]
  Faults are by nature while most man-made systems, and especially computers, work deterministically. This paper provides such a connecting via quantum information theory which is an intuitive approach as quantum physics obeys probability laws.
  arXiv  Detail & Related papers  (2022-09-08T17:55:30Z)
• Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System [0.0]
  Derivability in TPTND is interpreted as the process of extracting $n$ samples with a certain frequency from a given categorical distribution.<n>We present a computational semantics for the terms over which we reason and then the semantics of TPTND.<n>We illustrate structural and metatheoretical properties, with particular focus on the ability to establish under which term evolutions and logical rules applications the notion of trustworhtiness can be preserved.
  arXiv  Detail & Related papers  (2022-06-26T17:55:32Z)
• Why we should interpret density matrices as moment matrices: the case of (in)distinguishable particles and the emergence of classical reality [69.62715388742298]
  We introduce a formulation of quantum theory (QT) as a general probabilistic theory but expressed via quasi-expectation operators (QEOs) We will show that QT for both distinguishable and indistinguishable particles can be formulated in this way. We will show that finitely exchangeable probabilities for a classical dice are as weird as QT.
  arXiv  Detail & Related papers  (2022-03-08T14:47:39Z)
• Logical Credal Networks [87.25387518070411]
  This paper introduces Logical Credal Networks, an expressive probabilistic logic that generalizes many prior models that combine logic and probability. We investigate its performance on maximum a posteriori inference tasks, including solving Mastermind games with uncertainty and detecting credit card fraud.
  arXiv  Detail & Related papers  (2021-09-25T00:00:47Z)
• The Logic of Quantum Programs [77.34726150561087]
  We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound quantum systems.
  arXiv  Detail & Related papers  (2021-09-14T16:08:37Z)
• Logical Neural Networks [51.46602187496816]
  We propose a novel framework seamlessly providing key properties of both neural nets (learning) and symbolic logic (knowledge and reasoning) Every neuron has a meaning as a component of a formula in a weighted real-valued logic, yielding a highly intepretable disentangled representation. Inference is omni rather than focused on predefined target variables, and corresponds to logical reasoning.
  arXiv  Detail & Related papers  (2020-06-23T16:55:45Z)
• At the Interface of Algebra and Statistics [0.0]
  This thesis takes inspiration from quantum physics to investigate mathematical structure that lies at the interface of algebra and statistics. Every joint probability distribution on a finite set can be modeled as a rank one density operator. We show it is akin to conditional probability, and then investigate the extent to which the eigenvectors capture "concepts" inherent in the original joint distribution.
  arXiv  Detail & Related papers  (2020-04-12T15:22:07Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.