📊 statistics

Reconstruction of finite Quasi-Probability and Probability from Principles: The Role of Syntactic Locality

This paper establishes a principled framework based on Syntactic Locality that derives finite quasi-probabilities and a coherent conditional calculus from structural consistency requirements on valuations across Boolean algebras, thereby elevating quasi-probabilities from mere computational tools to uniquely determined additive representations and recovering classical probabilities as a stable subclass.

Original authors: Jacopo Surace

Published 2026-02-16

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Jacopo Surace

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to describe the weather. In the old, "classical" way of thinking, a statement like "It is raining" is either True or False. If you don't know the answer, you use probability to express your uncertainty (e.g., "There's a 70% chance it's raining"). This is like a weather forecast based on missing information.

But in the quantum world (the world of tiny particles), things are weirder. Even if you know everything about a particle, nature itself seems to say, "I still can't tell you for sure if this particle is here or there." The uncertainty isn't just about your missing information; it's a fundamental property of the universe.

To handle this, physicists use something called Quasi-probabilities. These are like probabilities, but they can be negative or even complex numbers (involving imaginary numbers). They are usually treated as just a handy calculator trick to get the right answer, but nobody really knows what they actually mean.

This paper, written by Jacopo Surace, asks: "Can we build Quasi-probabilities from the ground up, not as a trick, but as a logical necessity?"

Here is the simple breakdown of how he does it, using some everyday analogies.

1. The "Universal Translator" (Universal Valuation)

Imagine you have a giant library of every possible sentence you could ever say. Some sentences are simple ("The cat is on the mat"), and some are complex combinations ("The cat is on the mat AND the dog is barking").

The author starts by imagining a "Universal Translator" (called a Universal Valuation). This translator assigns a specific number to every sentence in the library.

In the classical world, this translator only uses two numbers: 1 (True) and 0 (False).
In this new theory, the translator is allowed to use any number, including negative numbers or complex numbers.

2. The Rule of "Syntactic Locality" (The Neighborhood Analogy)

This is the most important concept in the paper. Imagine you are living in a small neighborhood (a Sub-University). You can talk about your street, your house, and your neighbors.

Now, imagine that neighborhood is actually just a tiny part of a massive city (the Ambient Universe).

The Rule: Whatever rules you use to talk about your street must make sense when you zoom out to look at the whole city. You can't have a rule that works for your street but breaks the laws of the city.
The Metaphor: Think of it like a map. If you draw a map of your street, the distances and directions must match the map of the whole city. If they don't, your map is broken.

The author calls this Syntactic Locality. It means that the "value" (the number) you assign to a statement must be consistent whether you are looking at it in isolation or as part of a bigger picture.

3. The Big Discovery: The "Additive" Secret

The author takes a few basic rules (like "if you know the values of all other sentences, you can figure out the value of this one") and applies the "Neighborhood Rule" (Syntactic Locality).

The Result: He proves that no matter what weird numbers your Universal Translator starts with, you can always re-label them so that they follow a simple addition rule.

The Metaphor: Imagine you have a bag of weird, unrecognizable coins. You can't count them normally. But the paper proves there is a magic exchange rate that turns all those weird coins into standard dollars. Once you do the exchange, you find that 1 Dollar + 1 Dollar = 2 Dollars.
The Math: This "re-labeled" version is called a Pre-Probability. It behaves exactly like a normal probability (you can add them up), but it might still have negative or complex numbers.

4. From "Pre-Probabilities" to "Quasi-Probabilities"

Now, we have these "Pre-Probabilities." They are additive, but they are still a bit messy because there are many ways to do the "exchange rate" (re-labeling).

The Fix: The author says, "Let's pick a standard way to label them." If we force the "Total Universe" statement to equal 1, we get a unique, clean version.
The Name: This clean version is what we call a Quasi-Probability.
The Takeaway: Quasi-probabilities aren't just random math tricks. They are the only logical way to describe a system where you have a "Universal Translator" that must be consistent across different scales (from small neighborhoods to the whole city).

5. The "Bayes' Theorem" Problem Solved

In standard math, if you try to calculate a "conditional probability" (e.g., "What is the chance of rain given that it is cloudy?") and the chance of "cloudy" is zero, the math breaks (you can't divide by zero).

In the world of Quasi-probabilities, this happens all the time. Standard math fails here.

The Paper's Solution:
Because the author built the theory from the ground up using "Neighborhoods" (Syntactic Locality), they created a new version of Bayes' Theorem (the rule for updating beliefs).

Instead of dividing by zero, the new rule uses a "synchronization" method. It's like two people trying to agree on a map. Even if one person's map has a blank spot (zero probability), they can still figure out the relationship between the two maps by looking at how they fit into the bigger city.
This allows physicists to calculate things that were previously impossible or undefined.

6. The "Rational" Surprise

Finally, the paper makes a fascinating point about numbers.

If you don't add extra "smoothness" rules to the math, the theory naturally prefers Rational Numbers (fractions like 1/2, 3/4) over Irrational Numbers (like $\pi$ or $\sqrt{2}$ ).
Why? Because irrational numbers introduce "hidden structure" that the logic of the system doesn't actually need. The author argues that, fundamentally, the universe might be built on simple fractions, and irrational numbers are just a mathematical convenience we added later.

Summary: What does this mean for you?

This paper takes a confusing, "weird" tool used in quantum physics (Quasi-probabilities) and shows that it isn't magic. It is a logical necessity.

Consistency is King: If you want a system where statements have values that make sense at every level (from small parts to the whole), you must use additive rules.
Quasi-Probabilities are Real: They aren't just calculator tricks; they are the natural language for describing systems where "True" and "False" aren't the only options.
New Rules for Old Problems: This framework fixes the math errors that happen when dealing with "impossible" conditions (like dividing by zero), giving us a clearer way to understand the quantum world.

In short: The author built a bridge between the rigid logic of "True/False" and the fuzzy reality of Quantum Mechanics, showing that Quasi-probabilities are the sturdy pillars holding that bridge together.

1. Problem Statement

The paper addresses two fundamental issues in the foundations of probability and quantum mechanics:

Conceptual Ambiguity of Quasi-Probabilities: While quasi-probabilities (distributions allowing negative or complex values) are ubiquitous in quantum theory, they are often treated merely as computational tools. Their conceptual foundations are unclear, and standard operations like conditioning and Bayes' theorem become ill-defined or ambiguous when applied to them (e.g., division by zero when a marginal quasi-probability is zero).
The Nature of Probability: The standard classical paradigm views probability as a measure of epistemic uncertainty (missing information). However, quantum mechanics suggests intrinsic randomness where no "missing information" exists. The paper seeks to reconstruct probability and quasi-probability not as measures of ignorance, but as structural properties of statements themselves, independent of the classical epistemic interpretation.

2. Methodology

The author employs a principled reconstruction approach based on structural consistency rather than physical postulates. The core methodology involves:

Syntactic Universes: The framework models the "world of discourse" as finite Boolean algebras of statements (propositions). A "Universe" ( $L$ ) is a finite Boolean lattice.
Syntactic Locality: This is the central concept. It posits that any universe is a local fragment of a larger ambient universe. A statement's valuation must be consistent when the universe is embedded into a larger one or restricted to a sub-universe (relative universe). This mirrors the physical concept of subsystems and dilations but is purely syntactic.
Universal Valuation ( $V$ ): Instead of starting with probabilities, the paper introduces a Universal Valuation $V: L \to \mathbb{C}$ , which assigns a definite (possibly complex) value to every statement. This value is treated as a property of the statement, not a measure of ignorance.
Axiomatic Principles: The structure of $V$ $V$ is constrained by five principles:
1. Compatibility with Classical Logic: $V$ must reduce to standard True/False valuations in the appropriate limit.
2. Local Deducibility: The value of any statement is uniquely determined by the values of all other statements in the universe.
3. Universality: Deduction rules depend only on the logical structure (isomorphism class) of the universe, not on specific labels.
4. Maximum Realisability: The set of admissible valuations is the largest possible set consistent with the other principles (no hidden constraints).
5. Symmetry Removes Valuational Freedom: If atomic statements are indistinguishable (symmetric), the valuation is fixed uniquely by the value of a single statement.

3. Key Contributions and Results

A. The Additivity Theorem (Theorem 1)

The primary result is a representation theorem proving that every admissible universal valuation admits a finitely additive representation.

There exists a bijection (reparametrization) $\phi: \mathbb{C} \to \mathbb{C}$ such that $R = \phi \circ V$ is a pre-probability.
$R$ satisfies finite additivity: $R(\bigvee s_i) = \sum R(s_i)$ for disjoint statements.
$R(\bot) = 0$ and $R(\neg s) = R(\top) - R(s)$ .
Significance: This elevates quasi-probability from a heuristic tool to a mathematically necessary additive structure derived from logical consistency.

B. Gauge Freedom and Semantic Frames

The representation $R$ is not unique; it is unique only up to an additive gauge transformation (an "a-function" satisfying the Cauchy functional equation $a(x+y)=a(x)+a(y)$ ).

Semantic Frames: The paper introduces "semantic frames" as minimal sets of statements whose values form a basis for the valuation's degrees of freedom.
Semantic Dimension ( $m$ ): The size of the semantic frame determines the dimensionality of the valuation.
- If $m=1$ , all values are rationally proportional.
- If $m>1$ , the valuation has independent components that cannot be simultaneously normalized.

C. Definition of Quasi-Probabilities

A Quasi-Probability is defined as a canonical representative of a pre-probability.

In the case of semantic dimension $m=1$ , the gauge freedom can be fixed canonically by normalizing the top element: $Q(\top) = 1$ .
This yields a unique quasi-probability distribution (values in $\mathbb{Q}$ or $\mathbb{C}$ depending on regularity assumptions) that satisfies the standard quasi-probability axioms (finite additivity, normalization, but not necessarily non-negativity).

D. Coherent Theory of Conditionals and Bayes' Theorem

The framework resolves the ambiguity of conditioning in quasi-probabilities:

Relative Universes: Conditioning is defined as restricting the valuation to a relative universe $L_t = \{s \in L \mid s \le t\}$ .
Stability Issue: Quasi-probabilities are not stable under relativization. If $Q(t)=0$ , the restriction cannot be normalized to a quasi-probability; it remains a pre-probability.
Generalized Bayes' Theorem: The paper derives a generalized Bayes' theorem that works for both pre-probabilities and quasi-probabilities. It is formulated as a synchronization identity:
$R(B|A) = a_A^{-1}(a_B(R(A|B)))$
where $a_A$ and $a_B$ are the gauge functions synchronizing the local pre-probabilities to the ambient one. This formulation remains well-defined even when standard ratios (like $P(A,B)/P(A)$ ) are undefined (e.g., $P(A)=0$ ).

E. Recovery of Classical Probability

Classical Probability is identified as the specific subclass of quasi-probabilities that are stable under relativization.

If a quasi-probability $Q$ is non-negative ( $Q(s) \ge 0$ for all $s$ ), then its restriction to any sub-universe (where the top element is non-zero) can be re-normalized to a valid probability.
If the top element is zero, the restriction is the invariant zero valuation.
Thus, classical probability emerges naturally as the "stable" regime of the more general quasi-probability theory.

F. Rational vs. Irrational Probabilities

The reconstruction naturally favors rational probabilities.

Without additional regularity assumptions (like continuity or holomorphicity), the gauge freedom allows for irrational components to act as independent "semantic coordinates" that cannot be normalized.
The paper argues that irrational probabilities require extra structure (regularity conditions) to be meaningful, whereas rational probabilities are the natural outcome of the finite additive structure alone. This aligns with de Finetti's arguments for finite probability.

4. Significance

Foundational Clarity: It provides the first principled derivation of quasi-probabilities as a necessary consequence of logical consistency and syntactic locality, rather than an ad-hoc extension of classical probability.
Resolution of Conditioning Paradoxes: It solves the long-standing problem of defining conditionals for quasi-probabilities (especially when marginals are zero) by shifting the focus from ratios to the synchronization of local pre-probabilities.
Unification: It unifies pre-probabilities, quasi-probabilities, and classical probabilities into a single hierarchy based on stability and normalization.
Interpretational Shift: It suggests that quantum probabilities are not "missing information" but intrinsic properties of statements, characterized by a universal valuation that is additive but not necessarily positive.
Future Directions: The framework opens avenues for developing Bayesian inference for quasi-probabilities and studying constrained quasi-probability theories relevant to quantum contextuality.

In summary, Surace demonstrates that the strange features of quantum probability (complex values, negative probabilities, conditioning difficulties) are not bugs but features arising from the structural requirements of a universal valuation on syntactic universes. By introducing "Syntactic Locality," the paper reconstructs probability theory from the ground up, revealing classical probability as a special, stable case of a broader, additive quasi-probabilistic structure.