{"entities":{"Q1121937":{"pageid":1132686,"ns":120,"title":"Item:Q1121937","lastrevid":66815001,"modified":"2026-04-12T13:02:50Z","type":"item","id":"Q1121937","labels":{"en":{"language":"en","value":"Proof of a conjecture of Erd\u0151s and Tur\u00e1n"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4105071"}},"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":"Q1121937$E6A23C73-A4AA-4ACD-8796-0D29745291BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bddbadcf3670c2e552b849031e19360a959deab6","datavalue":{"value":{"text":"Proof of a conjecture of Erd\u0151s and Tur\u00e1n","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1121937$6EACFC6F-3F19-4A59-AF58-2539B7A9943F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49bcb56de28a252c6cf3cd6e6202a4e6f14c8515","datavalue":{"value":"0675.10033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121937$FCD52DB7-E427-42DE-BC58-E63CF42FA0BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b09219ce14760ab99d3e5092030a304a015c66d","datavalue":{"value":"10.1016/0022-314X(89)90073-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121937$F548990D-F294-4020-A596-122FED60DD54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ab8b6c9c5b2e782eaa966476a7a4b1eb2b01cf1","datavalue":{"value":{"entity-type":"item","numeric-id":866954,"id":"Q866954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121937$734492DF-A937-49AF-8709-A3DDE12057BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121937$3D0C07A7-4A81-46DB-9D1E-0930A7E689F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1121937$8B80EF9E-A0B0-453D-BEB3-FE2222BA037F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"75898cd6b58158ee5aa50d6e900728cb90d79bc0","datavalue":{"value":"Let \\(S_ n\\) be the symmetric group on n letters, and let N(\\(\\sigma)\\) denote the group-theoretic order of \\(\\sigma\\), for \\(\\sigma \\in S_ n\\). \\textit{P. Erd\u0151s} and \\textit{P. Tur\u00e1n} [Acta Math. Acad. Sci. Hung. 18, 309-320 (1967; Zbl 0235.20003)] proved that log N(\\(\\sigma)\\) has an asymptotically normal distribution with mean \\(2^{-1} \\log^ 2n\\) and standard deviation \\(3^{-1/2} \\log^{3/2}n\\). For new proofs, see \\textit{M. R. Best} [Indagationes Math. 32, 385-402 (1970; Zbl 0208.033)] and \\textit{J. D. Bovey} [Bull. Lond. Math. Soc. 12, 41-46 (1980; Zbl 0436.20001)]. For a refined version, see \\textit{J.-L. Nicolas} [Acta Math. Acad. Sci. Hung. 45, 69-84 (1985; Zbl 0574.10044)].    Let \\(\\mu_ n\\) denote the expectation of N, i.e., \\(\\mu_ n=\\sum_{\\sigma \\in S_ n}N(\\sigma)/n!\\). \\textit{P. Erd\u0151s} and \\textit{P. Tur\u00e1n} [Acta Math. Acad. Sci. Hung. 19, 413-435 (1968; Zbl 0235.20004)] estimated the number of different values of N(\\(\\sigma)\\) in \\(S_ n\\). They promised a proof of the estimation log \\(\\mu_ n=O((n/\\log n)^{1/2})\\) but this proof never materialized.    In the paper under review the author proves the conjecture of Erd\u0151s and Tur\u00e1n in the following form:  \\[  \\log \\mu_ n\\quad <\\quad 7.7(n/\\log n)^{1/2}.  \\]  The proof uses the result of P. Erd\u0151s and P. Tur\u00e1n on the number of different values of N(\\(\\sigma)\\), a theorem of D. H. Lehmer about reciprocally weighted partitions and a logarithmically asymptotic result of the author for the number of partitions of n into parts that are pairwise relatively prime. The paper is closed with the following problem:    Prove or disprove that log \\(\\mu_ n \\sim 2\\pi 6^{-1/2}(n/\\log n)^{1/2}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121937$056543EF-114D-40DC-97A5-0B6E3241BDAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24e354df7b2f0fbe3ac3516d0b90d0eef64fcc3f","datavalue":{"value":"11P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121937$ADE510DF-FE78-42E6-A1E5-1FB4C9A11164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef9852cdcd91e46926999d497f49e0eb30ab1aec","datavalue":{"value":"20P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121937$2760DEDE-BFA9-49DF-BE06-F6A5B99568F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa3a0cd38ea582d702916ee49599e832f201d954","datavalue":{"value":"20B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121937$4C7C9AA3-D915-4E8F-9E58-A600C556F716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"679ddfba371ea56c373d120bb6ab79b1a5d003aa","datavalue":{"value":"11P81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121937$4303BAE1-414D-42CD-BE95-FE6F9A703134","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d26fe6de9353230e379af161676f78610f7b92c","datavalue":{"value":"4105071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121937$D3A150BF-A5ED-4874-AD14-DD96F3ABAA45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7178a6d0a8e685a23ebb6add5a9901bc069b698e","datavalue":{"value":"upper estimation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121937$35E129B3-714B-4B53-8426-1259530D878C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eec56018c13efe1664b3348e7b7afa81abc7fe0d","datavalue":{"value":"expected order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121937$94D1D751-F9B0-42A0-B841-EF3A421EA805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"389a5cd618f82735a490f722313a2ed2c428d806","datavalue":{"value":"random permutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121937$38667238-33A7-46FE-B580-A99EA1B73401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38d830dae6f5ce906f6d20604a81e37d7574c069","datavalue":{"value":"symmetric group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121937$25E90098-BA5E-45FF-A445-E598872255D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c69f23796180a2b27abca549849078020b89fb23","datavalue":{"value":"group-theoretic order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121937$51248EBD-11D5-46FD-B88D-2B10555A9AD9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3f062c867f0042c1fd5b955487c6c8979f194efc","datavalue":{"value":"Q122967633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121937$DD23FAB5-FF70-49C7-8B72-BD7BD0A8DD3D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b577403a77914f65e4a072b0a74df9bf9f5c9877","datavalue":{"value":{"entity-type":"item","numeric-id":587090,"id":"Q587090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121937$BCFA3A84-BA9B-4955-B6CD-5D3090C8878E","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":"Q1121937$97F1CAAB-2719-4CE5-BDD5-305EB30920CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dd3bcbea49bd5ebe051c7e515512e405f0697ad","datavalue":{"value":{"entity-type":"item","numeric-id":5644144,"id":"Q5644144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121937$C06F3F0B-AACC-49B0-A8C8-455C6467CEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d676b9b95c2c193e6ad574c69e99fc5dbe6226","datavalue":{"value":{"entity-type":"item","numeric-id":5618440,"id":"Q5618440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121937$08881B09-ABAB-4609-BEE9-C35EF9EDDAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d7ae76af3d095f8a56bdae9c544e4ba15be70d","datavalue":{"value":{"entity-type":"item","numeric-id":1063629,"id":"Q1063629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121937$D861EF68-2AC7-42A4-866E-728A4D77B12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb37f1177ef1c3656357079c1180aa76bbdc88e4","datavalue":{"value":{"entity-type":"item","numeric-id":3671391,"id":"Q3671391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121937$FC303009-4FBC-43FB-B1D2-A8FDB71DA476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1127e35a8dc5c0d29a2bce13d6afb20bd06f773b","datavalue":{"value":{"entity-type":"item","numeric-id":911599,"id":"Q911599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121937$8189F0A9-E3DA-409C-826D-2FDF9815BCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932383d1ac997ed208ef47dcb574b592efaf75b3","datavalue":{"value":{"entity-type":"item","numeric-id":4065031,"id":"Q4065031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121937$2ECFCD2C-3E76-4882-9F4D-5F6E06EBA809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"951965886b9926845588a747e4760aebed5d0214","datavalue":{"value":{"entity-type":"item","numeric-id":1050342,"id":"Q1050342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121937$EF352134-5A58-4F9E-85C3-3BB078CA8783","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22bfd1e0a2c09ea8ef456a82b1055e6a4b68a8df","datavalue":{"value":{"entity-type":"item","numeric-id":3978865,"id":"Q3978865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d4537edd389b1b24b8009866d1d37e49156ec6","datavalue":{"value":{"amount":"+0.9081026911735536","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":"Q1121937$EE10A001-9051-40CE-8C00-B1484F7455B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f617863d8f28d49effb2587ca9a4e1e6b22e9075","datavalue":{"value":{"entity-type":"item","numeric-id":5644144,"id":"Q5644144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ded96dda790061fb666cb52f566fc1bc63bd145e","datavalue":{"value":{"amount":"+0.905547261238098","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":"Q1121937$851D39A0-FABD-47E7-BEF5-8BAFAD2FFDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"095c809cf670f889539a4e9607f93122ba63c1dd","datavalue":{"value":{"entity-type":"item","numeric-id":1266751,"id":"Q1266751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92341c4a5705b12f730165d2bd2d74928430b8f8","datavalue":{"value":{"amount":"+0.8937177658081055","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":"Q1121937$B27EE1B3-D0ED-4C9C-B45A-EED2821014CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7250b7216b730255841e251c9214295b80c85ba5","datavalue":{"value":{"entity-type":"item","numeric-id":4305314,"id":"Q4305314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92341c4a5705b12f730165d2bd2d74928430b8f8","datavalue":{"value":{"amount":"+0.8937177658081055","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":"Q1121937$37123CC5-1329-4198-91D8-7566C9FADC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"902bcd8865d8e48572e20df05d92ae99c8936db2","datavalue":{"value":{"entity-type":"item","numeric-id":1385864,"id":"Q1385864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c0b30dd03a7438e81770ff1ba5fab0ad6450edc","datavalue":{"value":{"amount":"+0.86574387550354","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":"Q1121937$89F585EF-8412-4800-9351-2B94F39ACAEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof of a conjecture of Erd\u0151s and Tur\u00e1n","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_of_a_conjecture_of_Erd%C5%91s_and_Tur%C3%A1n"}}}}}