Related papers: Can Laplace's formula model a deterministic univer…
There are several theories or processes which may underlie quantum mechanics and make it deterministic. Some references are given in the main text. Any such theory, plus a number of reasonable assumptions, implies the existence of what I…
The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several points of view that emphasize the importance and the…
We generalize the classical probability frame by adopting a wider family of random variables that includes nondeterministic ones. The frame that emerges is known to host a ''classical'' extension of quantum mechanics. We discuss the notion…
When can a model of a physical system be regarded as computable? We provide the definition of a computable physical model to answer this question. The connection between our definition and Kreisel's notion of a mechanistic theory is…
We establish an assume-guarantee (AG) framework for compositional reasoning about multi-objective queries in parametric probabilistic automata (pPA) - an extension to probabilistic automata (PA), where transition probabilities are functions…
In this paper, we investigate the theoretical possibility that a Lagrangian fixed point, when applied to cosmological models, can drive dynamical evolution towards a bouncing universe. We analyze the physics of a Lagrangian fixed point…
An extension of the Born rule, the {\it quantum typicality rule}, has recently been proposed [B. Galvan: Found. Phys. 37, 1540-1562 (2007)]. Roughly speaking, this rule states that if the wave function of a particle is split into…
We discuss the construction of relational observables in time-reparametrization invariant quantum mechanics and we argue that their physical interpretation can be understood in terms of conditional probabilities, which are defined from the…
This article describes a Turing machine which can solve for $\beta^{'}$ which is RE-complete. RE-complete problems are proven to be undecidable by Turing's accepted proof on the Entscheidungsproblem. Thus, constructing a machine which…
Two integrals along the world trajectory of its curvature and torsion are added to the standard action for the point-like spinless relativistic particle. Since here the three-dimensional space-time is considered at the beginning, the…
We consider a Kepler problem in dimension two or three, with a time-dependent $T$-periodic perturbation. We prove that for any prescribed positive integer $N$, there exist at least $N$ periodic solutions (with period $T$) as long as the…
The `classical' model for a massive spinning particle, which was recently proposed, is derived from the isotropic rotator model. Through this derivation, we note that the spin can be understood as the relativistic extension of the isotropic…
Quantum superposition, a cornerstone of quantum mechanics, enables systems to exist in multiple states simultaneously, giving rise to probabilistic outcomes. In quantum information science, conditional entropy has become a key metric for…
This expository paper advocates an approach to physics in which ``typicality" is identified with a suitable form of algorithmic randomness. To this end various theorems from mathematics and physics are reviewed. Their original versions…
Inspired by its fundamental importance in quantum mechanics, we define and study the notion of entanglement for abstract physical theories, investigating its profound connection with the concept of superposition. We adopt the formalism of…
We consider a localized quantum system living in a curved spacetimes. By translating into this scenario the paradgmatic two-point measument scheme in quantum statistical mechanics we are able to prove a relativistic version of the quantum…
It has been shown that quantum paradoxes have followed from one special assumption, i.e., from attributing basic physical meaning to Hamiltonian eigenfunctions and representing all physical states by vectors of the Hilbert space spanned on…
We study existence, uniqueness and regularity of solutions for linear equations in infinitely many derivatives. We develop a natural framework based on Laplace transform as a correspondence between appropriate $L^p$ and Hardy spaces: this…
Little effort has been devoted to studying generalised notions or models of (un)predictability, yet is an important concept throughout physics and plays a central role in quantum information theory, where key results rely on the supposed…
This paper resolves a famous and longstanding open question in automata theory, i.e., the {\it linear-bounded automata question} (or shortly, LBA question), which can also be phrased succinctly in the language of computational complexity…