Related papers: Modal logic approach to preferred bases in the qua…
We suggest solving the measurement problem by postulating the existence of a special future final boundary condition for the universe. Although this is an extension of the way boundary conditions are usually chosen (in terrestrial…
Recently, it has been argued that quantum mechanics is complete, and that quantum states vectors are necessarily in one-to-one correspondence with the elements of reality, under the assumptions that quantum theory is correct and that…
A Bayesian approach is developed to determine quantum mechanical potentials from empirical data. Bayesian methods, combining empirical measurements and "a priori" information, provide flexible tools for such empirical learning problems. The…
The quantum marginal problem consists in deciding whether a given set of marginal reductions is compatible with the existence of a global quantum state or not. In this work, we formulate the problem from the perspective of dynamical systems…
We propose a quantum-inspired framework to model subjective evaluation processes using state vectors in Hilbert space. In this approach, individual preferences are represented as cognitive states polarized between 'like' and 'dislike',…
We develop a theory of quantum rational decision making in the tradition of Anscombe and Aumann's axiomatisation of preferences on horse lotteries. It is essentially the Bayesian decision theory generalised to the space of Hermitian…
We propose a way of reasoning about minimal and maximal values of the weights of transitions in a weighted transition system (WTS). This perspective induces a notion of bisimulation that is coarser than the classic bisimulation: it relates…
A probabilistic propositional logic, endowed with an epistemic component for asserting (non-)compatibility of diagonizable and bounded observables, is presented and illustrated for reasoning about the random results of projective…
Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebras for an endofunctor on some full subcategory of the…
Environment induced decoherence, and other quantum processes, have been proposed in the literature to explain the apparent spontaneous selection - out of the many mathematically eligible bases - of a privileged measurement basis that…
In quantum mechanics, mutually unbiased bases (MUBs) represent orthonormal bases that are as "far apart" as possible, and their classification reveals rich underlying geometric structure. Given a complex inner product space, we construct…
A logical system derived from linear logic and called QMLL is introduced and shown able to capture all unitary quantum circuits. Conversely, any proof is shown to compute, through a concrete GoI interpretation, some quantum circuits. The…
We argue about a conceptual approach to quantum formalism. Starting from philosophical conjectures (Platonism, Idealism and Realism) as basic ontic elements (namely: math world, data world, and state of matter), we will analyze the quantum…
What is the quantum state of the universe? Although there have been several interesting suggestions, the question remains open. In this paper, I consider a natural choice for the universal quantum state arising from the Past Hypothesis, a…
Intuitionistic logic, in which the double negation law not-not-P = P fails, is dominant in categorical logic, notably in topos theory. This paper follows a different direction in which double negation does hold. The algebraic notions of…
The issue of whether we make decisions freely has vexed philosophers for millennia, Resolving this is vital for solving a diverse range of problems, from the physiology of how the brain makes decisions (and how we assign moral…
In a quantum universe with a strong arrow of time, we postulate a low-entropy boundary condition (the Past Hypothesis) to account for the temporal asymmetry. In this paper, I show that the Past Hypothesis also contains enough information to…
Essential elements of quantum theory are derived from an epistemic point of view, i.e., the viewpoint that thetheory has to do with what can be said about nature. This gives a relationship to statistical reasoning and to other areas of…
The cognitive state of mind concerning a range of choices to be made can effectively be modelled in terms of an element of a high-dimensional Hilbert space. The dynamics of the state of mind resulting form information acquisition is…
Quantum computation has suggested new forms of quantum logic, called quantum computational logics. The basic semantic idea is the following: the meaning of a sentence is identified with a quregister, a system of qubits, representing a…