Published February 27, 2025
| Version v1
Publication
Proofs for Folklore Theorems on the Radon-Nikodym Derivative
Contributors
Others:
- Network Engineering and Operations (NEO) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
- Laboratoire de Géométrie Algébrique et Applications à la Théorie de l'Information (GAATI) ; Université de la Polynésie Française (UPF)
- Department of Automatic Control and Systems Engineering [ Sheffield] (ACSE) ; University of Sheffield [Sheffield]
- Department of Electrical and Computer Engineering [Princeton] (ECE) ; Princeton University
- Agence de l'innovation de défense (AID) through the project UK-FR 2024352.
- ANR-21-CE25-0013,PARFAIT,Planification et apprentissage pour AI-Edge Computing (PARFAIT)(2021)
- ANR-22-PEFT-0010,NF-Founds,Foundations of future communication networks(2022)
- European Project: 872172,H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions,TESTBED2(2020)
Description
Rigorous statements and formal proofs are presented for both foundational and advanced folklore theorems on the Radon-Nikodym derivative. The cases of product and marginal measures are carefully considered; and the hypothesis under which the statements hold are rigorously enumerated.
Additional details
Identifiers
- URL
- https://inria.hal.science/hal-04969319
- URN
- urn:oai:HAL:hal-04969319v1
Origin repository
- Origin repository
- UNICA