Related papers: Peacock's Principle as a Conservative Strategy
This article critically reappraises arguments in support of Cantor's theory of transfinite numbers. The following results are reported: i) Cantor's proofs of nondenumerability are refuted by analyzing the logical inconsistencies in…
Hamiltonian Monte Carlo (HMC) is arguably the dominant statistical inference algorithm used in most popular "first-order differentiable" Probabilistic Programming Languages (PPLs). However, the fact that HMC uses derivative information…
Carl Bender and collaborators have developed a quantum theory governed by Hamiltonians that are PT-symmetric rather than Hermitian. To implement this theory, the inner product was redefined to guarantee positive norms of eigenstates of the…
We show that any matrix-polynomial combination of free noncommutative random variables each having an algebraic law has again an algebraic law. Our result answers a question raised by a recent paper of Shlyakhtenko and Skoufranis. The…
We develop a synthesis of Turing's paradigm of computation and von Neumann's quantum logic to serve as a model for quantum computation with recursion, such that potentially non-terminating computation can take place, as in a quantum Turing…
A quantum theory of noncommutative fields was recently proposed by Carmona, Cortez, Gamboa and Mendez (hep-th/0301248). The implications of the noncommutativity of the fields, intended as the requirements…
Hamiltonian systems are a classical example in the ergodic theory of flows with an invariant measure. In this matter, we present a brief introduction to measure theory and prove the Poincare recurrence theorem to present the conditions for…
A standard tenet of canonical quantum gravity is that evolution generated by a Hamiltonian constraint is just a gauge transformation on the phase space and therefore does not change the physical state. The basis for this belief is a theorem…
We review the development and practical uses of a generalized Maupertuis least action principle in classical mechanics, in which the action is varied under the constraint of fixed mean energy for the trial trajectory. The original…
Atmospheric systems incorporating thermal dynamics must be stable with respect to both energy and entropy. While energy conservation can be enforced via the preservation of the skew-symmetric structure of the Hamiltonian form of the…
Einstein was deeply puzzled by the success of natural science, and thought that we would never be able to explain it. He came to this conclusion on the ground that we cannot extract the basic laws of physics from experience using induction…
We offer a new proof of the Furstenberg-Katznelson multiple recurrence theorem for several commuting probability-preserving transformations T_1, T_2, >..., T_d: \bbZ\curvearrowright (X,\S,\mu), and so, via the Furstenberg correspondence…
The extended persistence diagram is an invariant of piecewise linear functions, which is known to be stable under perturbations of functions with respect to the bottleneck distance as introduced by Cohen-Steiner, Edelsbrunner, and Harer. We…
We discuss the problem of finding non-trivial invariants of non-deterministic, symmetric cut-reduction procedures in the classical sequent calculus. We come to the conclusion that (an enriched version of) the propositional fragment of GS4…
Mechanics can be founded in a principle stating the uncertainty in the position of an observable particle delta-q as a function of its motion relative to the observer, expressed in a trajectory representation . From this principle,…
We study the properties of roots of a polynomial system of equations which define a set of identical point particles located on a Unique Worldline (UW), in the spirit of the old Wheeler-Feynman's conception. As a consequence of the Vieta's…
This Paper investigate sequent calculi for certain weak subintuitionistic logics. We establish that weakening and contraction are height-preserving admissible for each of these calculi, and we provide a syntactic proof for the admissibility…
In an overall framework of quantum mechanics of unitary systems a rather sophisticated new version of perturbation theory is developed. What is assumed is, firstly, that the perturbed Hamiltonians $H=H_0+\lambda V$ are non-Hermitian and lie…
An explicit numerical strategy that practically preserves invariants is derived for conservative systems by combining an explicit high-order Runge-Kutta (RK) scheme with a simple modification of the standard projection approach, which is…
Without Niels Bohr, QBism would be nothing. But QBism is not Bohr. This paper attempts to show that, despite a popular misconception, QBism is no minor tweak to Bohr's interpretation of quantum mechanics. It is something quite distinct.…