Unbiased Canonical Set-Valued Oracles Via Lattice Theory
A non-agentic "oracle" that reports probabilities of future events is performative: once its answer is learned and acted upon, it can change the very probability it was asked to report. Performativity is not in itself the difficulty -- one consults an oracle precisely in order to be informed, and hence influenced, by it. The difficulty is agency. The requirement that a report be self-consistent, still holding once announced, may be met by many different values -- the classical non-uniqueness of self-fulfilling prophecies -- and any rule the system uses to choose among them is a lever for goal-directed steering. We remove the choice rather than the performativity. Reporting a credal set instead of a single probability distribution, we lift the reaction to an isotone operator on the complete lattice of closed credal sets, whose fixed points are self-consistent, and report its Knaster--Tarski least fixed point as a canonical, rule-determined answer; a variant reports instead the least fixed point that contains every self-consistent point estimate. We prove existence, self-consistency, and nonemptiness; show that the construction reduces to the classical point answer when the question is non-performative; and show that for a binary event the answer is, under a natural hull-factoring assumption, an interval.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Order-theoretical fixed point theorems for correspondences and application in game theory
For an ascending correspondence $F:X\to 2^X$ with chain-complete values on a complete lattice $X$, we prove that the set of fixed points is a complete lattice. This strengthens Zhou's fixed point theorem. For chain-compl…
Normalizing flows for lattice gauge theory in arbitrary space-time dimension
Applications of normalizing flows to the sampling of field configurations in lattice gauge theory have so far been explored almost exclusively in two space-time dimensions. We report new algorithmic developments of gauge…
Clearing Sections of Lattice Liability Networks
Modern financial networks involve complex obligations that transcend simple monetary debts: multiple currencies, prioritized claims, supply chain dependencies, and more. We present a mathematical framework that unifies a…
DescriptiveVariance reduction in lattice QCD observables via normalizing flows
Normalizing flows can be used to construct unbiased, reduced-variance estimators for lattice field theory observables that are defined by a derivative with respect to action parameters. This work implements the approach …
Combining Semilattices and Semimodules
We describe the canonical weak distributive law $\delta \colon \mathcal S \mathcal P \to \mathcal P \mathcal S$ of the powerset monad $\mathcal P$ over the $S$-left-semimodule monad $\mathcal S$, for a class of semirings…