{"entities":{"Q1192995":{"pageid":1203744,"ns":120,"title":"Item:Q1192995","lastrevid":66820398,"modified":"2026-04-12T13:04:43Z","type":"item","id":"Q1192995","labels":{"en":{"language":"en","value":"Iterating von Neumann's procedure for extracting random bits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 61860"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192995$77D62715-54A4-44BC-8D77-88A044477331","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f6c4924072c13b1ecd1833f56bfadc17388eb36","datavalue":{"value":{"text":"Iterating von Neumann's procedure for extracting random bits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1192995$6D0147DA-CF5D-4857-AEF8-901EC63E3B2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6c8dcc8be43a93ae263611e41fda2a482d7ad63","datavalue":{"value":"0754.60040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192995$142F1579-4B94-4ABC-A2AD-5037B8257F6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9024582b6f18c41996d656ab2683c902fa1e29f8","datavalue":{"value":{"entity-type":"item","numeric-id":187941,"id":"Q187941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192995$DFE38018-1708-4911-9CA6-2382A6922B4D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b73f6da78562727d9e1c290db85e0053cdeb667","datavalue":{"value":{"entity-type":"item","numeric-id":60819,"id":"Q60819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192995$661B7D79-539C-4333-8119-919ADA471F91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1192995$3BD19AD2-AD67-4EFA-9593-6132DB663E91","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"07534277ab29621d73b3ee8812aabd3f8f0bfb1d","datavalue":{"value":"Let \\(\\{X_ i\\}_{i=1,2,\\dots,n}\\) be a sequence of independent random variables with \\(p=P(X_ i=0)\\neq 1/2\\) and \\(q=1-p=P(X_ i=1)\\), where \\(p\\) is unknown. The \\(X_ i\\)'s are so-called random biased bits. Without assuming prior knowledge of \\(p\\) the first consideration is to extract from the \\(X_ i\\)'s as many as possible independent unbiased bits by the help of a simple procedure by von Neumann (1951). Given \\(n\\) biased bits, this procedure extracts approximately \\(np(1-p)\\) unbiased bits.   The aim of this paper is to show that the number of unbiased bits produced by iterating this procedure is arbitrarily close to the entropy bound. The proof is based on a functional equation satisfied by the entropy function. In the last section an extension to exchangeable processes and a discussion on the relationship to the Keane-Smorodinsky finitary codes are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192995$8B2B7E1E-8BEA-4443-BCB7-7C59606B0313","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d3c102b5b56d5cea4c8f850db3444fbb0a19fba","datavalue":{"value":"60G35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192995$5D991ABF-9303-4451-94A8-E6B3E3888CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e30d62051793251cdb7305d492b252b2239dfb5e","datavalue":{"value":"94A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192995$1C42DD9E-937F-49AF-97EE-0883097939E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2225915d01d780db14f9223403b6b9652fb15b9a","datavalue":{"value":"60G09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192995$9C5EC9CC-1958-44D1-AC56-A142A1283BCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71ea8e12e533cb1f6233418cc889276949dca287","datavalue":{"value":"61860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192995$D7236CED-695A-4507-8A16-3AE982C23CC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9bdc769f55adc4a9946c31ccaf9bcadf74c5121","datavalue":{"value":"exchangeability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192995$FBFE455E-5863-463A-B318-F3EF8B9E924B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e3e923afe7fd913af892d9f95fe32366c49606b","datavalue":{"value":"random biased bits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192995$F29FDEDF-304F-4E59-963D-AA1B2BD408D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6b78ecc3061af84a5fd2913681a31f3d28b6c2e","datavalue":{"value":"number of unbiased bits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192995$908C776E-5AAC-4C89-B064-B3E1AF1F46FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1b894f4dca9493ee35760011c366175b1f992c1","datavalue":{"value":"exchangeable processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192995$03F3398D-41EE-4451-A33E-FDDFFCFFF86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce88aeaf2e25b19b45c5a243962c5e657f4b9680","datavalue":{"value":"Keane-Smorodinsky finitary codes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192995$5DD6EB6A-E18D-431F-84E9-7970559FE6D8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2bb62cae48af1cf22bb1781669e40f558cb72d99","datavalue":{"value":"Q55924085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192995$606E213A-1789-4B74-B187-48176250D6CE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"950a7d485e42e1ac66e78949d35ae3ced01f87f1","datavalue":{"value":{"entity-type":"item","numeric-id":587176,"id":"Q587176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192995$1343D4BD-1120-41C2-AB56-051DAF950C66","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192995$2637A075-4A0C-4470-8080-9587573F9D9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ced661c10be7d9d6930a0d73340ea2ad0c4fd39","datavalue":{"value":"https://doi.org/10.1214/aos/1176348543","type":"string"},"datatype":"url"},"type":"statement","id":"Q1192995$DABC1819-9208-4B27-A17E-31AB9AEFFC18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bee9e3f14822d9a21b877275a6b7b949eefbaf3","datavalue":{"value":"W1987434335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192995$E314298B-0B4E-4A87-BCF7-F43CBF395281","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be625be2b7895e7c6158d3e27c093e83ba6551b7","datavalue":{"value":"10.1214/AOS/1176348543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192995$FD1FDB94-1AF0-4E0D-8908-EE8D2513985D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e92bc835a4bcfd5da40f21aa4c2d1f3a93c07b50","datavalue":{"value":{"entity-type":"item","numeric-id":4503565,"id":"Q4503565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d57eb0d95774d61bdfcd116001a46e3c93a00518","datavalue":{"value":{"amount":"+0.8142856359481812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1192995$DF546D19-9982-4B08-9994-71EFFF50D954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9f008724e9268d20b922c3b8a90919c13210895","datavalue":{"value":{"entity-type":"item","numeric-id":4503566,"id":"Q4503566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8efcc550364e67aedfebd14adffe24a365add700","datavalue":{"value":{"amount":"+0.814271092414856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1192995$41E73014-564B-483A-A82D-0C881354790F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"234ac3fd4257a06d215c7969b479bacbb8aa414f","datavalue":{"value":{"entity-type":"item","numeric-id":2986791,"id":"Q2986791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ac68036bb5361c487f5495447b466b84121a9a","datavalue":{"value":{"amount":"+0.8075634241104126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1192995$ABA4A38B-2FF5-401F-B75A-B68316BA0B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b399f328037e458233a927324b52bd22468c3159","datavalue":{"value":{"entity-type":"item","numeric-id":5496602,"id":"Q5496602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af3ec849d170db5a6d7da371c453afd1aa833301","datavalue":{"value":{"amount":"+0.7769148945808411","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1192995$0DA569AA-32EE-4709-80C6-892B11F4BE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2f5369393a45131d5e2c6d15c05a27acbf994a5","datavalue":{"value":{"entity-type":"item","numeric-id":1822415,"id":"Q1822415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21867241299ea2296281e511cf98a066b2774df8","datavalue":{"value":{"amount":"+0.7707554697990417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1192995$9BAF8B4D-55D2-4BBE-8AB8-4D97F0727AAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Iterating von Neumann's procedure for extracting random bits","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Iterating_von_Neumann%27s_procedure_for_extracting_random_bits"}}}}}