English
Related papers

Related papers: Modal logic approach to preferred bases in the qua…

200 papers

The no-boundary proposal is a theory of the initial conditions of the universe formulated in semi-classical gravity, and relying on the existence of regular (complex) solutions of the equations of motion. We show by explicit computation…

High Energy Physics - Theory · Physics 2021-02-12 Caroline Jonas , Jean-Luc Lehners

Some mathematical theories in physics justify their explanatory superiority over earlier formalisms by the clarity of their postulates. In particular, axiomatic reconstructions drive home the importance of the composition rule and the…

Quantum Physics · Physics 2015-10-26 Alexei Grinbaum

Inhomogeneous quantum cosmology is modeled as a dynamical system of discrete patches, whose interacting many-body equations can be mapped to a non-linear minisuperspace equation by methods analogous to Bose-Einstein condensation.…

General Relativity and Quantum Cosmology · Physics 2012-12-18 Martin Bojowald , Alexander L. Chinchilli , Christine C. Dantas , Matthew Jaffe , David Simpson

Understanding the core content of quantum mechanics requires us to disentangle the hidden logical relationships between the postulates of this theory. Here we show that the mathematical structure of quantum measurements, the formula for…

Quantum Physics · Physics 2019-04-02 Lluís Masanes , Thomas D. Galley , Markus P. Müller

Extending and generalizing the approach of 2-sequents (Masini, 1992), we present sequent calculi for the classical modal logics in the K, D, T, S4 spectrum. The systems are presented in a uniform way-different logics are obtained by tuning…

Logic in Computer Science · Computer Science 2020-01-08 Simone Martini , Andrea Masini , Margherita Zorzi

We give an introduction into quantum cosmology with emphasis on its conceptual parts. After a general motivation we review the formalism of canonical quantum gravity on which discussions of quantum cosmology are usually based. We then…

General Relativity and Quantum Cosmology · Physics 2022-09-23 Claus Kiefer , Barbara Sandhoefer

We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies…

Logic in Computer Science · Computer Science 2015-07-01 Dirk Pattinson , Lutz Schröder

Subsystems of composite quantum systems are described by reduced density matrices, or quantum marginals. Important physical properties often do not depend on the whole wave function but rather only on the marginals. Not every collection of…

Quantum Physics · Physics 2014-10-31 Michael Walter

Mutually unbiased bases determine an optimal set of measurements to extract complete information about the quantum state of a system. However, quite often a priori information about the state exist, making some of the measurement bases…

Quantum Physics · Physics 2015-06-12 A. B. Klimov , G. Bjork , L. L. Sanchez-Soto

It is usually believed that a picture of Quantum Mechanics in terms of true probabilities cannot be given due to the uncertainty relations. Here we discuss a tomographic approach to quantum states that leads to a probability representation…

Quantum Physics · Physics 2007-05-23 Michele Caponigro , Stefano Mancini , Vladimir I. Man'ko

The interpretation of quantum mechanics has been a problem since its founding days. A large contribution to the discussion of possible interpretations of quantum mechanics is given by the so-called impossibility proofs for hidden variable…

Quantum Physics · Physics 2010-02-09 Ronnie Hermens

The decidability of axiomatic extensions of the modal logic K with modal reduction principles, i.e. axioms of the form $\Diamond^{k} p \rightarrow \Diamond^{n} p$, has remained a long-standing open problem. In this paper, we make…

Logic in Computer Science · Computer Science 2024-06-06 Piotr Ostropolski-Nalewaja , Tim S. Lyon

We study a quantum theory based on two assumptions: In the intrinsic frame of reference of an isolated, macroscopic system, (i) the system has no global motion and is not entangled with any other system, (ii) time evolution of statevectors…

Quantum Physics · Physics 2016-09-08 Wen-ge Wang

In quantum cosmology, one has to select a specific wave function solution of the quantum state equations under consideration in order to obtain concrete results. The simplest choices have been already explored, in different frameworks,…

General Relativity and Quantum Cosmology · Physics 2021-09-06 P. C. M. Delgado , N. Pinto-Neto

The theories known as doubly special relativity are introduced in order to take into account an observer-independent length scale and the speed of light in the framework of special relativity. These theories can be generally formulated on…

General Relativity and Quantum Cosmology · Physics 2016-03-23 M. A. Gorji , V. Hosseinzadeh , K. Nozari , B. Vakili

The objective of the consistent-amplitude approach to quantum theory has been to justify the mathematical formalism on the basis of three main assumptions: the first defines the subject matter, the second introduces amplitudes as the tools…

Quantum Physics · Physics 2014-11-18 Ariel Caticha

A non-relativistic quantum mechanical theory is proposed that describes the universe as a continuum of worlds whose mutual interference gives rise to quantum phenomena. A logical framework is introduced to properly deal with propositions…

Quantum Physics · Physics 2015-08-18 Kim Joris Boström

Quantum mechanics is an extremely successful theory of nature and yet it lacks an intuitive axiomatization. In contrast, the special theory of relativity is well understood and is rooted into natural or experimentally justified postulates.…

Quantum Physics · Physics 2015-10-27 Florin Moldoveanu

Deeper insight leads to better practice. We show how the study of the foundations of quantum mechanics has led to new pictures of open systems and to a method of computation which is practical and can be used where others cannot. We…

Quantum Physics · Physics 2009-09-25 Nicolas Gisin , Ian C Percival

Quantum embedding theories are powerful tools for approximately solving large-scale strongly correlated quantum many-body problems. The main idea of quantum embedding is to glue together a highly accurate quantum theory at the local scale…

Computational Physics · Physics 2020-01-23 Lin Lin , Michael Lindsey