Related papers: Properties of Consistent Histories
The inherent difficulty in talking about quantum decoherence in the context of quantum cosmology is that decoherence requires subsystems, and cosmology is the study of the whole Universe. Consistent histories gave a possible answer to this…
A method to construct a geometric structure with the same solutions as a given variational principle is presented. The method applies to large families of variational principles. In particular, the known results that assign cosymplectic…
We show that Quillen's formalism for computing the Chern character of the index using superconnections extends to arbitrary operators with functional calculus. We thus remove the condition that the operators have, up to homotopy, a gap in…
Non-classical probability (along with its underlying logic) is a defining feature of quantum mechanics. A formulation that incorporates them, inherently and directly, would promise a unified description of seemingly different prescriptions…
We argue here that, as it happens in Classical and Quantum Mechanics, where it has been proven that alternative Hamiltonian descriptions can be compatible with a given set of equations of motion, the same holds true in the realm of…
A class of models intended to be as minimal and structureless as possible is introduced. Even in cases with simple rules, rich and complex behavior is found to emerge, and striking correspondences to some important core known features of…
The compactness phenomenon is one of the featured aspects of structuralism in mathematics. In simple and broad words, a compactness property holds in a structure if a related property is satisfied by sufficiently many substructures of that…
Consistency is the theoretical property of a meta learning algorithm that ensures that, under certain assumptions, it can adapt to any task at test time. An open question is whether and how theoretical consistency translates into practice,…
Driven by the interest of reasoning about probabilistic programming languages, we set out to study a notion of unicity of normal forms for them. To provide a tractable proof method for it, we define a property of distribution confluence…
Statistical mechanics for states with complex eigenvalues, which are described by Gel'fand triplet and represent unstable states like resonances, are discussed on the basis of principle of equal ${\it a priori}$ probability. A new entropy…
Essential properties of semiclassical approximation for quantum mechanics are viewed as axioms of an abstract semiclassical mechanics. Its symmetry properties are discussed. Semiclassical systems being invariant under Lie groups are…
Following the formalism of Gell-Mann and Hartle, phenomenological equations of motion are derived from the decoherence functional formalism of quantum mechanics, using a path-integral description. This is done explicitly for the case of a…
We introduce a new notion of consistency for 2-events quantum histories, based on the concept of mirror projection. Contrary to all notions of consistency so far introduced, our consistency, named self-decoherence, is an individual…
In much discussed work Artemov has recently shown that, for $\mathrm{PA}$, the consistency schema admits a form of uniform verification via selector proofs, despite the unprovability of the corresponding uniform consistency sentence…
The special relativity laws emerge as one-parameter (light speed) generalizations of the corresponding laws of classical physics. These generalizations, imposed by the Lorentz transformations, affect both the definition of the various…
We study linear recurrence relations in the character solutions of $Q$-systems obtained from the Kirillov-Reshetikhin modules. We explain how known results on difference $L$-operators lead to a uniform construction of linear recurrences in…
In this paper we propose to use elements of the mathematical formalism of Quantum Mechanics to capture the idea that agents' preferences, in addition to being typically uncertain, can also be indeterminate. They are determined (i.e.,…
We study non-orthogonality of symmetric, regular types and show that it preserves generic stability and is an equivalence relation on the set of all generically stable, regular types. We will also prove that some of the nice properties from…
In scientific inference problems, the underlying statistical modeling assumptions have a crucial impact on the end results. There exist, however, only a few automatic means for validating these fundamental modelling assumptions. The…
In this paper we formulate and prove a general theorem of stability of exactness properties under the pro-completion, which unifies several such theorems in the literature and gives many more. The theorem depends on a formal approach to…