arXiv subjects

Adam Brandenburger

Publications and source records attributed to Adam Brandenburger.

15 recordsLinked to original sources

arXiv2026

A Conditional Probability Hierarchy for Stochastic Choice

We introduce point conditional probability spaces (PCPSs) as primitive building blocks for stochastic choice. This concept goes back to R\'enyi (1955), who proposed conditional probability spaces (CPSs) as a basis for probability theory. Luce (1959) noted the connection between CPSs and stochastic choice, and Cerreia-Vioglio et al. (2021) have developed the connection further. A PCPS is a CPS each of whose component probability measures concentrates on a singleton selection. We build a four-level PCPS-based hierarchy of families of stochastic choice rules. Level 1 consists of PCPSs, Level 2 is made up of "conditionally consistent" mixtures of PCPSs, Level 3 comprises all probabilistic mixtures of PCPSs, and Level 4 consists of all signed mixtures of PCPSs. We construct our hierarchy at a general measure-theoretic level that encompasses infinite choice sets. We also connect each level of our hierarchy to well-known axioms for stochastic choice, namely, the Weak Axiom of Stochastic Revealed Preference, Independence of Irrelevant Alternatives, and no Dutch Book. We establish the relationship between total orders and PCPSs and demonstrate a sense in which PCPSs can be a more parsimonious representation of choice.

math.PR↗

arXiv2026

Conditional Probability Spaces and the Structure of Agreement

We use the machinery of a conditional probability space (R\'enyi, 1955) to obtain an Agreement Theorem (Aumann, 1976) under general conditions. A conditional probability space (CPS) is a family of probability measures defined relative to a family of conditioning events that satisfies concentration and a chain rule. Using this apparatus, we derive an Agreement Theorem that dispenses with the traditional assumptions of a common prior, information partitions, positivity of measure, and knowledge operators. Our treatment can be viewed as "deconstructing" the classic Agreement Theorem, by showing how it can be built up from local probabilistic-epistemic ingredients. The main technical contribution is to define an augmentation procedure for CPSs that adds into the conditioning family all (sub)events that receive probability $1$ -- thereby achieving consistency between an agent's information and subjective certainty of events.

math.PR↗

arXiv2025

The Quantum Agreement Theorem

We formulate and prove an Agreement Theorem for quantum mechanics (QM), describing when two agents, represented by separate laboratories, can or cannot maintain differing probability estimates of a shared quantum property of interest. Building on the classical framework (Aumann, 1976), we define the modality of ``common certainty" through a hierarchy of certainty operators acting on each agent's Hilbert space. In the commuting case -- when all measurements and event projectors commute -- common certainty leads to equality of the agents' conditional probabilities, recovering a QM analog of the classical theorem. By contrast, when non-commuting operators are allowed, the certainty recursion can stabilize with different probabilities. This yields common certainty of disagreement (CCD) as a distinctive QM phenomenon. We show that agreement will nevertheless re-emerge if measurement outcomes are recorded in a classical register. We also establish an impossibility result stating that QM forbids a scenario where one agent is certain that a property of interest occurs, and is also certain that the other agent is certain that the property does not occur. In this sense, QM admits non-classical disagreement, but disagreement is still bounded in a disciplined way. We argue that our analysis offers a rigorous approach to the longstanding issue of how to understand intersubjectivity across agents in QM.

quant-ph↗

arXiv2025

Delayed Arrow-of-Time Detection in Signed Laplacian Dynamics

We study how rapidly the direction of time becomes operationally detectable from mesoscopic data when state-weights may be positive or negative. In contrast with classical Markov processes -- where forward evolution is instantly distinguishable from its reverse -- signed dynamics can render the arrow of time undetectable during an initial interval. Assume the generator of the signed dynamics is a symmetric signed Laplacian with a single linear invariant and a phase-space Second Law holds in the form of non-decreasing R\'enyi-$2$ entropy. Drawing on recent results on eventual exponential positivity of signed Laplacians (Chen et al., 2021), we define a test that correctly identifies the direction of thermodynamic time if conducted over a time interval of length at least $\tau$. We go on to prove that the test cannot deliver an incorrect conclusion if conducted over a shorter interval. Dropping symmetry, we exhibit a superquantum example where $\tau = +\infty$, so that the arrow of time remains permanently undetectable under our test.

quant-ph↗

arXiv2025

Classical Simulation of Non-Classical Systems: A Large Deviation Analysis

Any quasi-probability representation of a no-signaling system -- including quantum systems -- can be simulated via a purely classical scheme by allowing signed events and a cancellation procedure. This raises a fundamental question: What properties of the non-classical system does such a classical simulation fail to replicate? We answer by using large deviation theory to show that the probability of a large fluctuation under the classical simulation can be strictly greater than under the actual non-classical system. The key finding driving our result is that negativity in probability relaxes the data processing inequality of information theory. We propose this potential large deviation stability of quantum (and no-signaling) systems as a novel form of quantum advantage.

quant-ph↗

arXiv2024

Axiomatization of R\'enyi Entropy on Quantum Phase Space

Phase-space versions of quantum mechanics -- from Wigner's original distribution to modern discrete-qudit constructions -- represent some states with negative quasi-probabilities. Conventional Shannon and R\'enyi entropies become complex-valued in this setting and lose their operational meaning. Building on the axiomatic treatments of R\'enyi (1961) and Dar\'oczy (1963), we develop a conservative extension that applies to signed finite phase spaces and identify a single admissible entropy family, which we call signed R\'enyi $\alpha$-entropy (for a free parameter $\alpha \ge 0$). The obvious signed Shannon candidate is ruled out because it violates extensivity. We prove four results that bolster the usefulness of the new measure. (i) It serves as a witness of the presence of cancellation, detecting the coexistence of positive and negative weight in a signed measure. (ii) For $\alpha > 1$, it is Schur-concave, delivering the intuitive property that mixing increases entropy (iii) The same parametric family obeys a quantum H-theorem, namely, that under de-phasing dynamics entropy cannot decrease. (iv) The $2$-entropy is conserved under discrete Moyal-bracket dynamics, mirroring conservation of von Neumann entropy under unitary evolution on Hilbert space. We also comment on interpreting the R\'enyi order parameter as an inverse temperature. Overall, we believe that our investigation provides good evidence that our axiomatically derived signed R\'enyi entropy may be a useful addition to existing entropy measures employed in quantum information, foundations, and thermodynamics.

quant-ph↗

arXiv2021

Observers of quantum systems cannot agree to disagree

Is the world quantum? An active research line in quantum foundations is devoted to exploring what constraints can rule out the postquantum theories that are consistent with experimentally observed results. We explore this question in the context of epistemics, and ask whether agreement between observers can serve as a physical principle that must hold for any theory of the world. Aumann's seminal Agreement Theorem states that two observers (of classical systems) cannot agree to disagree. We propose an extension of this theorem to no-signaling settings. In particular, we establish an Agreement Theorem for observers of quantum systems, while we construct examples of (postquantum) no-signaling boxes where observers can agree to disagree. The PR box is an extremal instance of this phenomenon. These results make it plausible that agreement between observers might be a physical principle, while they also establish links between the fields of epistemics and quantum information that seem worthy of further exploration.

quant-ph↗

arXiv2014

No-Signalling Is Equivalent To Free Choice of Measurements

No-Signalling is a fundamental constraint on the probabilistic predictions made by physical theories. It is usually justified in terms of the constraints imposed by special relativity. However, this justification is not as clear-cut as is usually supposed. We shall give a different perspective on this condition by showing an equivalence between No-Signalling and Lambda Independence, or "free choice of measurements", a condition on hidden-variable theories which is needed to make no-go theorems such as Bell's theorem non-trivial. More precisely, we shall show that a probability table describing measurement outcomes is No-Signalling if and only if it can be realized by a Lambda-Independent hidden-variable theory of a particular canonical form, in which the hidden variables correspond to non-contextual deterministic predictions of measurement outcomes. The key proviso which avoids contradiction with Bell's theorem is that we consider hidden-variable theories with signed probability measures over the hidden variables - i.e. negative probabilities. Negative probabilities have often been discussed in the literature on quantum mechanics. We use a result proved previously in "The Sheaf-theoretic Structure of Locality and Contextuality" by Abramsky and Brandenburger, which shows that they give rise to, and indeed characterize, the entire class of No-Signalling behaviours. In the present paper, we put this result in a broader context, which reveals the surprising consequence that the No-Signalling condition is equivalent to the apparently completely different notion of free choice of measurements.

quant-ph↗

arXiv2014

Fiber Products of Measures and Quantum Foundations

With a view to quantum foundations, we define the concepts of an empirical model (a probabilistic model describing measurements and outcomes), a hidden-variable model (an empirical model augmented by unobserved variables), and various properties of hidden-variable models, for the case of infinite measurement spaces and finite outcome spaces. Thus, our framework is general enough to include, for example, quantum experiments that involve spin measurements at arbitrary relative angles. Within this framework, we use the concept of the fiber product of measures to prove general versions of two determinization results about hidden-variable models. Specifically, we prove that: (i) every empirical model can be realized by a deterministic hidden-variable model; (ii) for every hidden-variable model satisfying locality and lambda-independence, there is a realization-equivalent hidden-variable model satisfying determinism and lambda-independence.

quant-ph↗

arXiv2014

A Canonical Hidden-Variable Space

The hidden-variable question is whether or not various properties --- randomness or correlation, for example --- that are observed in the outcomes of an experiment can be explained via introduction of extra (hidden) variables which are unobserved by the experimenter. The question can be asked in both the classical and quantum domains. In the latter, it is fundamental to the interpretation of the quantum formalism (Bell [1964], Kochen and Specker [1967], and others). In building a suitable mathematical model of an experiment, the physical set-up will guide us on how to model the observable variables --- i.e., the measurement and outcome spaces. But, by definition, we cannot know what structure to put on the hidden-variable space. Nevertheless, we show that, under a measure-theoretic condition, the hidden-variable question can be put into a canonical form. The condition is that the $\sigma$-algebras on the measurement and outcome spaces are countably generated. An argument using a classical result on isomorphisms of measure algebras then shows that the hidden-variable space can always be taken to be the unit interval equipped with the Lebesgue measure on the Borel sets.

quant-ph↗

arXiv2014

An Operational Interpretation of Negative Probabilities and No-Signalling Models

Negative probabilities have long been discussed in connection with the foundations of quantum mechanics. We have recently shown that, if signed measures are allowed on the hidden variables, the class of probability models which can be captured by local hidden-variable models are exactly the no-signalling models. However, the question remains of how negative probabilities are to be interpreted. In this paper, we present an operational interpretation of negative probabilities as arising from standard probabilities on signed events. This leads, by virtue of our previous result, to a systematic scheme for simulating arbitrary no-signalling models.

quant-ph↗

arXiv2013

Deriving the Qubit from Entropy Principles

The Heisenberg uncertainty principle is one of the most famous features of quantum mechanics. However, the non-determinism implied by the Heisenberg uncertainty principle --- together with other prominent aspects of quantum mechanics such as superposition, entanglement, and nonlocality --- poses deep puzzles about the underlying physical reality, even while these same features are at the heart of exciting developments such as quantum cryptography, algorithms, and computing. These puzzles might be resolved if the mathematical structure of quantum mechanics were built up from physically interpretable axioms, but it is not. We propose three physically-based axioms which together characterize the simplest quantum system, namely the qubit. Our starting point is the class of all no-signaling theories. Each such theory can be regarded as a family of empirical models, and we proceed to associate entropies, i.e., measures of information, with these models. To do this, we move to phase space and impose the condition that entropies are real-valued. This requirement, which we call the Information Reality Principle, arises because in order to represent all no-signaling theories (including quantum mechanics itself) in phase space, it is necessary to allow negative probabilities (Wigner [1932]). Our second and third principles take two important features of quantum mechanics and turn them into deliberately chosen physical axioms. One axiom is an Uncertainty Principle, stated in terms of entropy. The other axiom is an Unbiasedness Principle, which requires that whenever there is complete certainty about the outcome of a measurement in one of three mutually orthogonal directions, there must be maximal uncertainty about the outcomes in each of the two other directions.

quant-ph↗

arXiv2011

Team Decision Problems with Classical and Quantum Signals

We study team decision problems where communication is not possible, but coordination among team members can be realized via signals in a shared environment. We consider a variety of decision problems that differ in what team members know about one another's actions and knowledge. For each type of decision problem, we investigate how different assumptions on the available signals affect team performance. Specifically, we consider the cases of perfectly correlated, i.i.d., and exchangeable classical signals, as well as the case of quantum signals. We find that, whereas in perfect-recall trees (Kuhn [1950], [1953]) no type of signal improves performance, in imperfect-recall trees quantum signals may bring an improvement. Isbell [1957] proved that in non-Kuhn trees, classical i.i.d. signals may improve performance. We show that further improvement may be possible by use of classical exchangeable or quantum signals. We include an example of the effect of quantum signals in the context of high-frequency trading.

quant-ph↗

arXiv2011

The Sheaf-Theoretic Structure Of Non-Locality and Contextuality

We use the mathematical language of sheaf theory to give a unified treatment of non-locality and contextuality, in a setting which generalizes the familiar probability tables used in non-locality theory to arbitrary measurement covers; this includes Kochen-Specker configurations and more. We show that contextuality, and non-locality as a special case, correspond exactly to obstructions to the existence of global sections. We describe a linear algebraic approach to computing these obstructions, which allows a systematic treatment of arguments for non-locality and contextuality. We distinguish a proper hierarchy of strengths of no-go theorems, and show that three leading examples --- due to Bell, Hardy, and Greenberger, Horne and Zeilinger, respectively --- occupy successively higher levels of this hierarchy. A general correspondence is shown between the existence of local hidden-variable realizations using negative probabilities, and no-signalling; this is based on a result showing that the linear subspaces generated by the non-contextual and no-signalling models, over an arbitrary measurement cover, coincide. Maximal non-locality is generalized to maximal contextuality, and characterized in purely qualitative terms, as the non-existence of global sections in the support. A general setting is developed for Kochen-Specker type results, as generic, model-independent proofs of maximal contextuality, and a new combinatorial condition is given, which generalizes the `parity proofs' commonly found in the literature. We also show how our abstract setting can be represented in quantum mechanics. This leads to a strengthening of the usual no-signalling theorem, which shows that quantum mechanics obeys no-signalling for arbitrary families of commuting observables, not just those represented on different factors of a tensor product.

quant-ph↗

arXiv2008

A Classification of Hidden-Variable Properties

Hidden variables are extra components added to try to banish counterintuitive features of quantum mechanics. We start with a quantum-mechanical model and describe various properties that can be asked of a hidden-variable model. We present six such properties and a Venn diagram of how they are related. With two existence theorems and three no-go theorems (EPR, Bell, and Kochen-Specker), we show which properties of empirically equivalent hidden-variable models are possible and which are not. Formally, our treatment relies only on classical probability models, and physical phenomena are used only to motivate which models to choose.

quant-ph↗