Algorithmic Randomness and Probabilistic Laws
- URL: http://arxiv.org/abs/2303.01411v2
- Date: Tue, 02 Sep 2025 00:45:49 GMT
- Title: Algorithmic Randomness and Probabilistic Laws
- Authors: Jeffrey A. Barrett, Eddy Keming Chen,
- Abstract summary: We develop two ways to use algorithmic randomness to characterize probabilistic laws of nature.<n>The first, a generative chance* law, employs a nonstandard notion of chance.<n>The second, a probabilistic* constraining law, impose relative frequency and constraints that every physically possible world must satisfy.
- Score: 0.0
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: We apply recent ideas about complexity and randomness to the philosophy of laws and chances. We develop two ways to use algorithmic randomness to characterize probabilistic laws of nature. The first, a generative chance* law, employs a nonstandard notion of chance. The second, a probabilistic* constraining law, impose relative frequency and randomness constraints that every physically possible world must satisfy. The constraining notion removes a major obstacle to a unified governing account of non-Humean laws, on which laws govern by constraining physical possibilities; it also provides independently motivated solutions to familiar problems for the Humean best-system account (the Big Bad Bug and the zero-fit problem). On either approach, probabilistic laws are tied more tightly to corresponding sets of possible worlds: some histories permitted by traditional probabilistic laws are now ruled out as physically impossible. Consequently, the framework avoids one variety of empirical underdetermination while bringing to light others that are typically overlooked.
Related papers
- Algorithmic Randomness, Exchangeability, and the Principal Principle [0.0]
We show how one might use the framework to derive the Principal Principle.<n>The Principal Principle emerges as a mathematical consequence of the alignment between nomological constraints and inductive learning.
arXiv Detail & Related papers (2025-10-28T04:26:19Z) - Simple and Provable Scaling Laws for the Test-Time Compute of Large Language Models [70.07661254213181]
We propose two principled algorithms for the test-time compute of large language models.
We prove theoretically that the failure probability of one algorithm decays to zero exponentially as its test-time compute grows.
arXiv Detail & Related papers (2024-11-29T05:29:47Z) - Can a Bayesian Oracle Prevent Harm from an Agent? [48.12936383352277]
We consider estimating a context-dependent bound on the probability of violating a given safety specification.
Noting that different plausible hypotheses about the world could produce very different outcomes, we derive on the safety violation probability predicted under the true but unknown hypothesis.
We consider two forms of this result, in the iid case and in the non-iid case, and conclude with open problems towards turning such results into practical AI guardrails.
arXiv Detail & Related papers (2024-08-09T18:10:42Z) - Algorithmic Fairness with Feedback [0.0]
We first show that statistical notions of fairness algorithms might satisfy in decisions based on noisy data are disconnected from welfare-based notions of fairness.
We then discuss two individual welfare-based notions of fairness, envy freeness and prejudice freeness, and establish conditions under which they are equivalent to error rate balance and predictive parity.
arXiv Detail & Related papers (2023-12-05T21:42:14Z) - A Measure-Theoretic Axiomatisation of Causality [55.6970314129444]
We argue in favour of taking Kolmogorov's measure-theoretic axiomatisation of probability as the starting point towards an axiomatisation of causality.
Our proposed framework is rigorously grounded in measure theory, but it also sheds light on long-standing limitations of existing frameworks.
arXiv Detail & Related papers (2023-05-19T13:15:48Z) - Machine Learning with Probabilistic Law Discovery: A Concise
Introduction [77.34726150561087]
Probabilistic Law Discovery (PLD) is a logic based Machine Learning method, which implements a variant of probabilistic rule learning.
PLD is close to Decision Tree/Random Forest methods, but it differs significantly in how relevant rules are defined.
This paper outlines the main principles of PLD, highlight its benefits and limitations and provide some application guidelines.
arXiv Detail & Related papers (2022-12-22T17:40:13Z) - Reconciling Individual Probability Forecasts [78.0074061846588]
We show that two parties who agree on the data cannot disagree on how to model individual probabilities.
We conclude that although individual probabilities are unknowable, they are contestable via a computationally and data efficient process.
arXiv Detail & Related papers (2022-09-04T20:20:35Z) - Pushing the limits of fairness impossibility: Who's the fairest of them
all? [6.396013144017572]
We present a framework that pushes the limits of the impossibility theorem in order to satisfy all three metrics to the best extent possible.
We show experiments demonstrating that our post-processor can improve fairness across the different definitions simultaneously with minimal model performance reduction.
arXiv Detail & Related papers (2022-08-24T22:04:51Z) - Random Rank: The One and Only Strategyproof and Proportionally Fair
Randomized Facility Location Mechanism [103.36492220921109]
We show that although Strong Proportionality is a well-motivated and basic axiom, there is no deterministic strategyproof mechanism satisfying the property.
We then identify a randomized mechanism called Random Rank which satisfies Strong Proportionality in expectation.
Our main characterizes Random Rank as the unique mechanism that achieves universal truthfulness, universal anonymity, and Strong Proportionality in expectation.
arXiv Detail & Related papers (2022-05-30T00:51:57Z) - Law of Total Probability in Quantum Theory and Its Application in
Wigner's Friend Scenario [0.0]
It is well-known that the law of total probability does not hold in general in quantum theory.
In this work, the definition of conditional probability in quantum theory is extended to POVM measurements.
Applying the theory developed here to analyze several quantum no-go theorems related to the extended Wigner's friend scenario reveals logical loopholes in these no-go theorems.
arXiv Detail & Related papers (2022-04-24T18:59:55Z) - Role of nonclassical temporal correlation in powering quantum random
access codes [0.0]
We show that any non-zero quantum advantage of n bits encoded to 1-bit random access code is equivalent to the violation of the corresponding temporal inequality.
We then show that any non-zero violation of the corresponding temporal inequality can certify genuine randomness.
arXiv Detail & Related papers (2022-04-12T05:46:59Z) - Group Fairness Is Not Derivable From Justice: a Mathematical Proof [0.0]
'Group fairness' involves ensuring the same chances of acquittal or convictions to all innocent defendants independently of their morally arbitrary features.
We show mathematically that only a perfect procedure (involving no mistake), a non-deterministic one, or a degenerate one can guarantee group fairness.
arXiv Detail & Related papers (2022-02-08T14:10:47Z) - Bayesianism, Conditional Probability and Laplace Law of Succession in
Quantum Mechanics [0.0]
We show that as with the classical probability, all these issues can be resolved affirmatively in the quantum probability.
This implies that the relation between the Bayesian probability and the relative frequency in quantum mechanics is the same as that in the classical probability theory.
arXiv Detail & Related papers (2021-12-16T04:55:10Z) - Logical Credal Networks [87.25387518070411]
This paper introduces Logical Credal Networks, an expressive probabilistic logic that generalizes many prior models that combine logic and probability.
We investigate its performance on maximum a posteriori inference tasks, including solving Mastermind games with uncertainty and detecting credit card fraud.
arXiv Detail & Related papers (2021-09-25T00:00:47Z) - The principle of majorization: application to random quantum circuits [68.8204255655161]
Three classes of circuits were considered: (i) universal, (ii) classically simulatable, and (iii) neither universal nor classically simulatable.
We verified that all the families of circuits satisfy on average the principle of majorization.
Clear differences appear in the fluctuations of the Lorenz curves associated to states.
arXiv Detail & Related papers (2021-02-19T16:07:09Z) - Public Bayesian Persuasion: Being Almost Optimal and Almost Persuasive [57.47546090379434]
We study the public persuasion problem in the general setting with: (i) arbitrary state spaces; (ii) arbitrary action spaces; (iii) arbitrary sender's utility functions.
We provide a quasi-polynomial time bi-criteria approximation algorithm for arbitrary public persuasion problems that, in specific settings, yields a QPTAS.
arXiv Detail & Related papers (2020-02-12T18:59:18Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.