Related papers: From Joint to Single-System Psi-Onticity Without P…
This work explores the connection between logical independence and the algebraic structure of quantum mechanics. Building on results by Brukner et al., it introduces the notion of \textit{onto-epistemic ignorance}: situations in which the…
This paper introduces the Theory of the Unique Latent Pattern (ULP), a formal epistemic framework that redefines the origin of apparent complexity in dynamic systems. Rather than attributing unpredictability to intrinsic randomness or…
A fundamental question in the debate about the interpretations of quantum mechanics (QM) is whether the universe is fundamentally deterministic or fundamentally probabilistic. This self-contained paper shows for a microsystem made up of a…
This paper introduces the notions of independence and conditional independence in valuation-based systems (VBS). VBS is an axiomatic framework capable of representing many different uncertainty calculi. We define independence and…
We reframe the EPR argument through an operational lens, replacing the notion of fixed "elements of reality" with context-indexed conditional states - what's often referred to as a measurement assemblage. This move deliberately sidesteps…
Protective measurements illustrate how Yakir Aharonov's fundamental insights into quantum theory yield new experimental paradigms that allow us to test quantum mechanics in ways that were not possible before. As for quantum theory itself,…
The Ideal Proof System (IPS) of Grochow & Pitassi (FOCS 2014, J. ACM, 2018) is an algebraic proof system that uses algebraic circuits to refute the solvability of unsatisfiable systems of polynomial equations. One potential drawback of IPS…
Just recently, complementarity relations (CRs) have been derived from the basic rules of Quantum Mechanics. The complete CRs are equalities involving quantum coherence, $C$, quantum entanglement, and predictability, $P$. While the first two…
The Bodirsky-Pinsker conjecture asserts a P vs. NP-complete dichotomy for the computational complexity of Constraint Satisfaction Problems (CSPs) of first-order reducts of finitely bounded homogeneous structures. Prominently, two structures…
Private Everlasting Prediction (PEP), recently introduced by Naor et al. [2023], is a model for differentially private learning in which the learner never publicly releases a hypothesis. Instead, it provides black-box access to a…
A compositional Petri net-based semantics is given to a simple language allowing pointer manipulation and parallelism. The model is then applied to give a notion of validity to the judgements made by concurrent separation logic that…
The idea of perturbation independent decay (PID) has appeared in the context of survival-probability studies, and lately has emerged in the context of quantum irreversibility studies. In both cases the PID reflects the Lyapunov instability…
Proof-theoretic semantics (PTS) is normally understood today as Base-Extension Semantics (B-eS), i.e., as a theory of proof-theoretic consequence over atomic proof systems. Intuitionistic logic (IL) has been proved to be incomplete over a…
The common structure of the space of pure states $P$ of a classical or a quantum mechanical system is that of a Poisson space with a transition probability. This is a topological space equipped with a Poisson structure, as well as with a…
We analyse notion of independence in the EPR-Bohm framework by using comparative analysis of independence in conventional and frequency probability theories. Such an analysis is important to demonstrate that Bell's inequality was obtained…
Within the Ontological Models Framework (OMF), Pusey, Barrett, and Rudolph (PBR) have given an argument by which they claimed that the epistemic view on the wavefunction should be ruled out. This study highlights an incorrect conclusion in…
We construct a local $\psi$-epistemic hidden-variable model of Bell correlations by a retrocausal adaptation of the originally superdeterministic model given by Brans. In our model, for a pair of particles the joint quantum state…
Starting from arbitrary sets of quantum states and measurements, referred to as the prepare-and-measure scenario, an operationally noncontextual ontological model of the quantum statistics associated with the prepare-and-measure scenario is…
The Einstein-Podolsky-Rosen (EPR) paradox gives an argument for the incompleteness of quantum mechanics based on the premises of local realism. A general view is that the argument is compromised, because EPR's premises are falsified by…
In the task of quantum state exclusion we consider a quantum system, prepared in a state chosen from a known set. The aim is to perform a measurement on the system which can conclusively rule that a subset of the possible preparation…