{"entities":{"Q1300544":{"pageid":1311294,"ns":120,"title":"Item:Q1300544","lastrevid":43014213,"modified":"2025-07-16T21:47:16Z","type":"item","id":"Q1300544","labels":{"en":{"language":"en","value":"Random partitions by semigroup methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1330657"}},"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":"Q1300544$E7B2B25A-9681-434F-A61D-AAC9B52A6E2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe425adfcbd1d90318ae3d65356feb09308d78c6","datavalue":{"value":{"text":"Random partitions by semigroup methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1300544$007C300E-F37D-4E36-95FE-EAA01187BE7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a564f0abe774ef311a6c8103a73b929236c6dd04","datavalue":{"value":"0952.60041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300544$112B894B-F7D7-4407-86B0-861BCABD6BF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40878497e0f1bfbc88ed088c093ec76abb3d88a3","datavalue":{"value":{"entity-type":"item","numeric-id":360420,"id":"Q360420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1300544$6B5E8EF7-A8BE-41AE-8BAB-76E2AD92FC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecad45ba21460ef4e6086be2df64b0c939efab8e","datavalue":{"value":{"entity-type":"item","numeric-id":1363403,"id":"Q1363403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1300544$4A8ADD9C-62C5-47C3-9415-83A4336E8FD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1300544$3C033FE2-D31D-4532-BF85-D4A0DFD34FDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e90d9727c7c0359738d181e5acebafe0bee7f66f","datavalue":{"value":{"time":"+2001-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1300544$57601EF8-0E69-4680-A44B-36F674B53F28","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4b69a7234094801f6fd27d7438b1a95dba6946eb","datavalue":{"value":"Let \\({\\mathcal P}\\) be the set of all partitions of \\(\\mathbb{N}\\). For \\(U,V \\in {\\mathcal P}\\), the maximum partition \\(U\\vee V\\in {\\mathcal P}\\) is defined by ``joining'' \\(U\\) with \\(V\\). Then \\(({\\mathcal P},\\vee)\\) is an Abelian idempotent semigroup with neutral element \\(U_0=\\{\\{j\\}: j\\in\\mathbb{N}\\}\\) and absorbing element \\(U_\\infty= \\{\\mathbb{N}\\}\\). Each \\(U\\in {\\mathcal P}\\) may be identified with an element of the set \\(\\{0,1\\}^{\\mathbb{N} \\times\\mathbb{N}}\\), namely \\((j,k)\\mapsto 1\\) if \\(j\\) and \\(k\\) belong to the same class of \\(U\\), and \\((j,k)\\mapsto 0\\) otherwise. With this identification, \\({\\mathcal P}\\) inherits a topological structure as a subspace of the compact metric space \\(\\{0,1\\}^{\\mathbb{N} \\times\\mathbb{N}}\\). Being closed, \\({\\mathcal P}\\) becomes a compact metric space. Let \\({\\mathfrak B}(P)\\) stand for the \\(\\sigma\\)-algebra generated by the open subsets of \\({\\mathcal P}\\). Further, for \\(u\\subset \\mathbb{N}\\), let \\({\\mathcal P}_u\\) denote the set of all partitions \\(V\\in {\\mathcal P}\\) such that \\(u\\) is included in some class of \\(V\\). For \\(U\\in{\\mathcal P}\\), set \\({\\mathcal P}_U= \\bigcap_{u\\in U}{\\mathcal P}_u\\). An important result of the paper is as follows: Let \\({\\mathcal U}=\\{U\\in {\\mathcal P}\\): there are only finitely many nontrivial (i.e. having at least 2 elements) classes in \\(U\\}\\). Then a function \\(\\varphi:(U,\\vee)\\to\\mathbb{R}\\) is positively defined and normalized (i.e. \\(\\varphi (U_0)=1)\\) if and only if \\(\\varphi(U)= \\mu({\\mathcal P}_U)\\), \\(U\\in {\\mathcal U}\\), for a (uniquely determined) probability measure \\(\\mu\\) on \\({\\mathfrak B}(P)\\).   Now let \\(\\Sigma_\\infty\\) denote the group of all permutations of \\(\\mathbb{N}\\) which permute in fact only a finite subset of \\(\\mathbb{N}\\). Every \\(\\sigma\\in \\Sigma_\\infty\\) induces a map \\(\\overline\\sigma: {\\mathcal P}\\to {\\mathcal P}\\) by \\(\\overline\\sigma (U)=\\{\\sigma (u):u\\in U\\}\\), \\(U\\in {\\mathcal P}\\). A probability measure \\(\\mu\\) on \\({\\mathfrak B}({\\mathcal P})\\) is said to be exchangeable if \\(\\mu\\circ \\overline\\sigma^{-1} =\\mu\\) for each \\(\\sigma\\in \\Sigma_\\infty\\). Further, put \\(\\nabla=\\{{\\mathbf x}=(x_1,x_2, \\dots): x_1\\geq x_1\\geq 0\\), \\(\\sum_{i\\geq 1}x_i\\leq 1\\}\\). For \\({\\mathbf x}\\in \\nabla\\), consider the probability measure \\(\\kappa({\\mathbf x})= \\sum_{i\\geq 0} x_i\\varepsilon_i\\) on \\(\\mathbb{N}_0\\), where \\(x_0=1- \\sum_{i\\geq 1}x_i\\), and the product probability measure \\(\\kappa({\\mathbf x})^\\infty\\) on \\(\\mathbb{N}_0^\\mathbb{N}\\). Finally, let \\(F:\\mathbb{N}^\\mathbb{N}_0 \\to {\\mathcal P}\\) be defined by \\(f\\mapsto\\{\\{f=c\\}: 1\\leq c\\in f(\\mathbb{N})\\} \\cup\\{\\{i\\}: f(i)=0\\}\\), and consider the probability measure \\(\\kappa({\\mathbf x})^\\infty \\circ F^{-1}\\). Another main result of the paper is a new proof of the following theorem due to Kingman (Theorem 2): The set of exchangeable probability measures on \\({\\mathfrak B}({\\mathcal P})\\) is a Bauer simplex whose extreme points are precisely the probability measures \\(\\kappa({\\mathbf x})^\\infty\\circ F^{-1}\\), \\({\\mathbf x}\\in \\nabla\\).   Reviewer's remarks: Sometimes the authors use awkward notation instead of simply describing by words some mathematical objects. Moreover, there is a gap in the proof of Theorem 2. Namely, to identify the extreme points, the authors appeal to the method of moments applied to a suitable random measure on \\([0,1]\\). Unfortunately, they are able to handle only the first and the second moment. For the other moments, they claim that ``it is only notationally more cumbersome to prove the general case''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300544$0CA0EC12-3326-4BD6-9F62-9A4F4F927E56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2225915d01d780db14f9223403b6b9652fb15b9a","datavalue":{"value":"60G09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300544$578332C2-5075-43CB-970D-F3C49318D357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"739e004674139c2b61782ece3788a457e8d3f5b8","datavalue":{"value":"60E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300544$30863E26-78F9-4614-BD17-BC70BD182367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e7430e460999274065e3fd12819322967d343f81","datavalue":{"value":"43A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300544$E3D78F4C-E837-4B6F-9BB6-ECB6073B9851","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfd1b30f0b443cb8c51c8dfb0000f752e0701da6","datavalue":{"value":"1330657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300544$E2B8A210-2A8D-4BAE-A2BF-8E0339B317D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"719929f16d467e84b58f53ca3cc93fcb55540ad6","datavalue":{"value":"Abelian idempotent semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300544$F2DEF28E-70FF-4B44-9129-734230B656B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd82669ed6b754d34372a7d476c171f480699c5b","datavalue":{"value":"exchangeable probability measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300544$D1415D81-596A-470F-972F-237BD2F71EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27afaf66a9efd29a8249d9cbe8b62db541c3dadf","datavalue":{"value":"Bauer simplex","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300544$E6FAC75F-C459-48B1-AFA5-3357FB3F6166","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5461fe0dd59e3e24a4332766398f504153590769","datavalue":{"value":{"entity-type":"item","numeric-id":270216,"id":"Q270216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1300544$46AA483A-52A8-45C9-BAF9-156D9F8B404F","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":"Q1300544$818D11DA-ABCB-4942-90B8-D1EFF3D3589B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2c21b6e5f561c39c51a1b145e19b674543c0454","datavalue":{"value":"https://doi.org/10.1007/s002339900026","type":"string"},"datatype":"url"},"type":"statement","id":"Q1300544$94C4F4DC-623B-4F50-B635-655C4988C709","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0bd8892ef75e1ab8ebc46721adb452786382fbde","datavalue":{"value":"W2014610199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300544$3FD7D01A-0C6A-4C8F-B813-1D0790E4DF65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3465f15fc3bc0860c1098778e470d80d612e9c5d","datavalue":{"value":"10.1007/S002339900026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300544$664DBBFE-47FA-45F8-80B1-2818052C8714","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39e06032a0d71152cbf3e4ee256c2d16c84a1288","datavalue":{"value":{"entity-type":"item","numeric-id":2002063,"id":"Q2002063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8da0d075a91ec184dd77b30b8651ccfc4a16bb1","datavalue":{"value":{"amount":"+0.9071861","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1300544$893B2EEC-DC13-4B86-9792-257B7E5E04D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415a404acb143503c7970ec9b2c3a093ef3daafa","datavalue":{"value":{"entity-type":"item","numeric-id":2644304,"id":"Q2644304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6071b819e0c7d3668a08f4c39cab6cff2afd425","datavalue":{"value":{"amount":"+0.9064311","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1300544$BA28E54A-2C4A-4354-B012-FC8EB4F55567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60aaa22f6f271f648053b4e00dd03386cf67187e","datavalue":{"value":{"entity-type":"item","numeric-id":4307049,"id":"Q4307049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ab96fa96fcc57fd4aab21050f1abef1d980ccbb","datavalue":{"value":{"amount":"+0.9063005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1300544$5D79176F-CC9E-41D7-810A-32618CB7C9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65d7f474bb6e3b3d273d841b478535ea89034e94","datavalue":{"value":{"entity-type":"item","numeric-id":4823320,"id":"Q4823320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7fdae430fd37445424d9aa52475d2db2a79999c","datavalue":{"value":{"amount":"+0.9030262","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1300544$081D97C8-5CFE-4D5E-925E-C1F1E1A59094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0bd425989c214911688807421da017c83fe705","datavalue":{"value":{"entity-type":"item","numeric-id":3514699,"id":"Q3514699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3581e571a25cc2c7c56d8ce85608155caf099d0","datavalue":{"value":{"amount":"+0.9025836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1300544$B6DC338D-4F69-4DB3-AF3D-DB0993ABB7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e0785039d875530e2f060d07b66e891e82fcc0a","datavalue":{"value":{"entity-type":"item","numeric-id":1901178,"id":"Q1901178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b32011a5e53589f3b5fdc3071ff335b917fbfec","datavalue":{"value":{"amount":"+0.90194887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1300544$ABE87560-FD37-4B68-AE0B-802B5435AA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31f45e4a0d485b415296d32e5a2529f1766342e5","datavalue":{"value":{"entity-type":"item","numeric-id":1375178,"id":"Q1375178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a61cf9578fd81d018a2e23db6601308464ad3ceb","datavalue":{"value":{"amount":"+0.8996666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1300544$051FF6F9-0CE0-4A5D-A4F3-0CE2556EA806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a09ff01b98c64e4cc4411a29c0779ee591c53467","datavalue":{"value":{"entity-type":"item","numeric-id":3364843,"id":"Q3364843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a61cf9578fd81d018a2e23db6601308464ad3ceb","datavalue":{"value":{"amount":"+0.8996666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1300544$3B9114A5-44C3-4522-8DB5-A171DCAB30AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1300544","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1300544"}}}}}