{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/bernoulli-randomness-and-biased-normality","title":"Bernoulli Randomness and Biased Normality","arxiv_id":"2007.01854","date":"2020-07-03","proceeding":null,"authors":["Andrew DeLapo"],"abstract":"One can consider $\\mu$-Martin-L\\\"of randomness for a probability measure $\\mu$ on $2^{\\omega}$, such as the Bernoulli measure $\\mu_p$ given $p \\in (0, 1)$. We study Bernoulli randomness of sequences in $n^{\\omega}$ with parameters $p_0, p_1, \\dotsc, p_{n-1}$, and we introduce a biased version of normality. We prove that every Bernoulli random real is normal in the biased sense, and this has the corollary that the set of biased normal reals has full Bernoulli measure in $n^{\\omega}$. We give an algorithm for computing biased normal sequences from normal sequences, so that we can give explicit examples of biased normal reals. We investigate an application of randomness to iterated function systems. Finally, we list a few further questions relating to Bernoulli randomness and biased normality.","url_abs":"https://arxiv.org/abs/2007.01854v1","url_pdf":"https://arxiv.org/pdf/2007.01854v1.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"links_only","authors_date_abstract":"arXiv metadata, CC0 1.0 (https://info.arxiv.org/help/license), from the Kaggle arXiv metadata snapshot of 2026-09-12"},"code_links":[{"paper_slug":"bernoulli-randomness-and-biased-normality","repo_url":"https://github.com/adelapo/biased-normality-ifs","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":1,"framework":"none","reach":null}],"tasks":[],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"atlas_url":null,"mcp":null,"developers":"https://syntology.ai/developers"},"arxiv_metadata":null,"syntology_extracted_results":null}