Related papers: Formal Verification using Second-Quantized Horn Cl…
To solve the probability problem of the Many Worlds Interpretation of Quantum Mechanics, D.Wallace has presented a formal proof of the Born rule via decision theory, as proposed by D.Deutsch. The idea is to get subjective probabilities from…
This note is sketching a simple and natural mathematical construction for explaining the probabilistic nature of quantum mechanics. It employs nonstandard analysis and is based on Feynman's interpretation of the Heisenberg uncertainty…
Systems of neutral kaons can be used to observe entanglement and the violation of Bell inequalities. The decay of these particles poses some problems, however, and recently an effective formalism for treating such systems has been derived.…
Quantum computing technology may soon deliver revolutionary improvements in algorithmic performance, but these are only useful if computed answers are correct. While hardware-level decoherence errors have garnered significant attention, a…
The measurement processes that are traditionally described within the realm of non-relativistic quantum mechanics are transcribed into the covariant framework of Cartan's space, the four-valued representation space of the restricted…
We present a general formalism with the aim of describing the situation of an entity, how it is, how it reacts to experiments, how we can make statistics with it, and how it changes under the influence of the rest of the universe. Therefore…
The mechanism of describing quantum states by standard probability (tomographic one) instead of wave function or density matrix is elucidated. Quantum tomography is formulated in an abstract Hilbert space framework, by means of the identity…
It is the matter of fact that quantum mechanics operates with notions that are not determined in the frame of the mechanics' formalism. Among them we can call the notion of "wave-particle" (that, however, does not appear in both classical…
Verifying programs that manipulate tree data structures often requires complex, ad-hoc proofs that are hard to generalize and automate. This paper introduces an automatic technique for analyzing such programs. Our approach combines automata…
Physics is based on probabilities as fundamental entities of a mathematical description. Expectation values of observables are computed according to the classical statistical rule. The overall probability distribution for one world covers…
We develop a proof-theoretic semantics (P-tS) for second-order logic (S-oL), providing an inferentialist alternative to both full and Henkin model-theoretic interpretations. Our approach is grounded in base-extension semantics (B-eS), a…
Let ${\cal S}(\mathcal{H})$ denote the set of all self-adjoint operators (not necessarily bounded) on a Hilbert space $\mathcal{H}$, which is the set of all physical quantities on a quantum system $\mathcal{H}$. We introduce a binary…
The theory of canonical linearized gravity is quantized using the Projection Operator formalism, in which no gauge or coordinate choices are made. The ADM Hamiltonian is used and the canonical variables and constraints are expanded around a…
Computational chemistry at the atomic level has largely branched into two major fields, one based on quantum mechanics and the other on molecular mechanics using classical force fields. Because of high computational costs, quantum…
We outline refined versions of two major quantum algorithms for performing principal component analysis and solving linear equations. Our methods are exponentially faster than their classical counterparts and even previous quantum…
On the basis of the general character and operation of the process of perception, a formalism is sought to mathematically describe the subjective or abstract/mental process of perception. It is shown that the formalism of orthodox quantum…
Based on the {\it nonlinear coherent states} method, a general and simple algebraic formalism for the construction of \textit{`$f$-deformed intelligent states'} has been introduced. The structure has the potentiality to apply to systems…
We apply the notion of quantum predicate proposed by D'Hondt and Panangaden to analyze a purely quantum language fragment which describes the quantum part of a future quantum computer in Knill's architecture. The denotational semantics,…
The proof of a program property can be reduced to the proof of satisfiability of a set of constrained Horn clauses (CHCs) which can be automatically generated from the program and the property. In this paper we have conducted a case study…
A normal form transformation is carried out on the operators of a complete set of commuting observables in a multidimensional, integrable quantum system, mapping them by unitary conjugation into functions of the harmonic oscillators in the…