相关论文: The G\"odelizing Quantum-Mechanical Automata

Based on new experiments about the "macroscopic Schrodinger's cat state" etc., a self-consistent interpretation on quantum mechanics is presented from the new point of view combining physics, philosophy and mathematics together.

Attempting to reconcile general relativity with quantum mechanics is one of the great undertakings of contemporary physics. Here we present how the incompatibility between the two theories arises in the simple thought experiment of…

The classical mechanics of a finite number of degrees of freedom requires a symplectic structure on phase space C, but it is independent of any complex structure. On the contrary, the quantum theory is intimately linked with the choice of a…

The question of whether quantum real-time one-counter automata (rtQ1CAs) can outperform their probabilistic counterparts has been open for more than a decade. We provide an affirmative answer to this question, by demonstrating a…

This article is an attempt to generalize the classical theory of reversible computing, principally developed by Bennet [IBM J. Res. Develop., 17(1973)] and by Fredkin and Toffoli [Internat. J. Theoret. Phys., 21(1982)], to the quantum case.…

We formulate quantum mechanics in the two-dimensional torus without using position operators. We define an algebra with only momentum operators and shift operators and construct irreducible representation of the algebra. We show that it…

Difficulties and discomfort with the interpretation of quantum mechanics are due to differences in language between it and classical physics. Analogies to The Special Theory of Relativity, which also required changes in the basic worldview…

Incompatibility between conjugate variables and complementary pictures comes in two kinds, exclusive of one another. The first kind is unconditional, and the second conditional on quantum's indivisibility. We employ this distinction to…

We present a heuristic derivation of Born's rule and unitary transforms in Quantum Mechanics, from a simple set of axioms built upon a physical phenomenology of quantization. This approach naturally leads to the usual quantum formalism,…

The aim of this work is to show how Einstein's quantum hypothesis leads immediately and necessarily to a departure from classical mechanics. First we note that the classical description and predictions are in terms of idealized measurements…

It is shown that the restrictions of what can be inferred from classically-recorded observational outcomes that are imposed by the no-cloning theorem, the Kochen-Specker theorem and Bell's theorem also follow from restrictions on inferences…

Coalgebra is a currently quite active field, which aims to look at generic state-based systems (most prominently automata) from a very abstract point of view, mainly using tools from category theory. One of its achievements is to give a…

Here we show that the concepts behind such terms as entanglement, qubits, quantum gates, quantum error corrections, unitary time evolution etc., which are usually ascribed to quantum systems, can be adequately realized on a set of coupled…

We use automated theorem provers to significantly shorten a formal development in higher order set theory. The development includes many standard theorems such as the fundamental theorem of arithmetic and irrationality of square root of…

In this work we present an intuitive construction of the quantum logical axiomatic system provided by George Mackey. The goal of this work is a detailed discussion of the results from the paper 'Physical justification for using the tensor…

We introduce the category of dependency automata. A dependency automaton consists of two nondeterministic finite automata, with a relation between their states satisfying conditions. This category is equivalent to deterministic finite…

The laws of quantum mechanics are couched in subtle mathematical language. The laws are not usually stated in a compact pedagogical form. Here I present a possible way to correct this. Essential facts can be distilled into seven statements…

The non-individuals interpretation of quantum mechanics is presented with the aim of clarifying it and highflying some of its salient features. Alternative formulations of it are proposed and examined.

The two ways of constrained systems quantization are considered from the point of view of their self-consistency at the quantum level. With a transparent example of a particle in the external electromagnetic field we demonstrate that the…

The formal structure of Penrose's gravitationally induced reduction of the wave function mechanism is analyzed. It is shown that pushing Penrose's argument forward leads to the interpretation of quantum coherence in microscopic systems as…