{"entities":{"Q2564048":{"pageid":2574791,"ns":120,"title":"Item:Q2564048","lastrevid":46810689,"modified":"2025-12-25T15:39:50Z","type":"item","id":"Q2564048","labels":{"en":{"language":"en","value":"In the random graph \\(G(n,p), p=n^{-a}\\): If \\(\\psi\\) has probability \\(O(n^{-\\varepsilon})\\) for every \\(\\varepsilon >0\\) then it has probability \\(O(e^{-n^ \\varepsilon})\\) for some \\(\\varepsilon >0\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 961247"}},"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":"Q2564048$F684E678-1273-4294-BECA-430308D18910","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45cbbe5c69d4e4d8438b016d9eed502ba0698bd7","datavalue":{"value":{"text":"In the random graph \\(G(n,p), p=n^{-a}\\): If \\(\\psi\\) has probability \\(O(n^{-\\varepsilon})\\) for every \\(\\varepsilon >0\\) then it has probability \\(O(e^{-n^ \\varepsilon})\\) for some \\(\\varepsilon >0\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2564048$C2505D33-8E1F-4D9D-BE28-D3A2C4EEE453","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5708aac31640da74ce4909dc1e761d1c76d87f58","datavalue":{"value":"0858.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2564048$0154BD1E-4DC5-48C1-A17E-D6EE1C4FF96B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"702bba6528d7af2c3b9618059b8b36eab9db94a1","datavalue":{"value":"10.1016/0168-0072(95)00071-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2564048$7443B184-F0CB-4506-ABEC-0B1D23324D52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564048$9CCD4261-66A1-4C4B-A7D4-B33F63A3EE1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564048$4ADFBF14-F051-4427-9B46-2EC4658C3456","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"67f85cf71ecf4e4f8b75e8f9c41b44de26d27c15","datavalue":{"value":{"time":"+1997-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2564048$AFABC776-CEDB-4802-A00A-7E79A42E36AA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5df7d013380c6354efca86bd03676cb066da362e","datavalue":{"value":"The author and \\textit{J. Spencer} [J. Am. Math. Soc. 1, No. 1, 97-115 (1988; Zbl 0647.05051)] proved the 0-1 law for the random graphs \\(G(n,p_n)\\), \\(p_n = n^{-\\alpha}\\), \\(\\alpha \\in (0,1)\\) irrational (set of nodes is \\([n] = \\{1, \\dots, n\\}\\), the edges are drawn independently, probability of edge is \\(p_n)\\). One may wonder what can we say on sentences \\(\\psi\\) for which \\(\\text{Prob} (G(n,p_n) \\models \\psi)\\) converge to zero; \\textit{J. F. Lynch} [Random. Struct. Algorithms 3, No. 1, 33-53 (1992; Zbl 0754.05061)] asked the question and did the analysis, getting (for every \\(\\psi)\\)   \\((\\alpha) \\text{ Prob} (G(n,p_n) \\models \\psi) = cn^{-\\beta} + O(n^{-\\beta - \\varepsilon})\\) for some \\(\\beta, \\varepsilon\\) such that \\(\\beta > \\varepsilon > 0\\) or    \\((\\beta) \\text{ Prob} (G(n,p_n) \\models \\psi) = O(n^{-\\varepsilon})\\) for every \\(\\varepsilon > 0\\).   Lynch conjectured that in case \\((\\beta)\\) we have   \\((\\beta^+) \\text{ Prob} (G(n,p_n) \\models \\psi) = O(e^{-n^\\varepsilon})\\) for some \\(\\varepsilon > 0\\).   We prove it here.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2564048$DD142849-1FD7-4076-A4A1-2A4752A03AEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2564048$C4BBDB9C-AA6F-40E6-9830-0E80DB01721E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd6b8847e09c706889ad9ef05dc0040f1c9f982","datavalue":{"value":"05C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2564048$83967B81-5519-4BBF-87C4-362E33A0357D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a32f712c79015b687f7f241de30d834dac3619b3","datavalue":{"value":"961247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2564048$64DE769C-C420-497C-9B5C-01099418B6F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2564048$27460606-327E-46D0-9078-B142EB4D642E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5240403fac8f26de3ea521ec2b65adbeec545cd","datavalue":{"value":"0--1 law","type":"string"},"datatype":"string"},"type":"statement","id":"Q2564048$AB73E5BB-7FCD-4542-AA5F-3B45737DD8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4f51776dadcb1bfead92cdaa8c678dc729e342b","datavalue":{"value":"random graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2564048$658E5A70-F06F-4122-B1D5-8E99A660156A","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":"Q2564048$A4D934DC-F841-48F1-9C1C-9D9012625974","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19c3d079b397225278ee82b33730c7b99326cc5d","datavalue":{"value":"https://doi.org/10.1016/0168-0072(95)00071-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2564048$6D048544-9D99-48F6-AF51-CD0729276AE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"030597783bb0a9e3bbb1945fb0c6558281dc1772","datavalue":{"value":"W1538076976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2564048$DC63356F-7982-44C6-BE1E-ED4AEDE78257","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ed5cf1250814a5e584c109ec7d15def62f14cf","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564048$4CA15EF0-FA20-407B-A428-4F7F4DE07619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e7bb11d350cee12c21a4b543ba2faa91555525e","datavalue":{"value":{"entity-type":"item","numeric-id":4790195,"id":"Q4790195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564048$DDF0D948-7313-4B40-9968-292DD9B75629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"977f79e25621a7cdd24d8b5a4dba4b34a561a0aa","datavalue":{"value":{"entity-type":"item","numeric-id":3791190,"id":"Q3791190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564048$5C462E4F-74D9-4334-BE3B-B0F8CBB0DE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4a76783189027a8d943499be6d5cc06194fc11","datavalue":{"value":{"entity-type":"item","numeric-id":3123117,"id":"Q3123117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564048$A96F6339-6594-4088-8E75-8376D57C2127","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b868dc4d2e312f98be47dd5866383ab72e57bb4","datavalue":{"value":{"entity-type":"item","numeric-id":3979555,"id":"Q3979555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a811861c790d24c223ff6636d471efa26f1c78e1","datavalue":{"value":{"amount":"+0.8281846642494202","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":"Q2564048$A56A61BD-4246-47F4-8705-249D63699841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"076dd00cb8aec257afca9c2df50b48a228351bff","datavalue":{"value":{"entity-type":"item","numeric-id":3989740,"id":"Q3989740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f6d0e69c104a5b538353113a4c30d823f25bb17","datavalue":{"value":{"amount":"+0.8260354995727539","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":"Q2564048$D97F9229-FC49-4453-8D79-D0E9D24743E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc07477abd634550dd1fda65338a2121c6df09b9","datavalue":{"value":{"entity-type":"item","numeric-id":5287675,"id":"Q5287675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2c61927f6f72cbbc5cec2b111c261b072a4a85","datavalue":{"value":{"amount":"+0.8246414065361023","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":"Q2564048$BB18D5A7-8D48-4205-A3A4-0552A3B908F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8258a9f0d1e6df4d78d0429f470a251032525cad","datavalue":{"value":{"entity-type":"item","numeric-id":418871,"id":"Q418871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7916bc810b13b1484b7ac6890a3137f49ed9d3dd","datavalue":{"value":{"amount":"+0.8181927800178528","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":"Q2564048$672B3F2E-2096-4A45-B21F-9785EC08DA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01df363126586e31ab4ab5acc9ca14ab465f9048","datavalue":{"value":{"entity-type":"item","numeric-id":4288886,"id":"Q4288886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b3db5f4841bdcdd45751e1222eb1a7d5f545a93","datavalue":{"value":{"amount":"+0.8153203725814819","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":"Q2564048$CEEFCB94-A37D-4103-86DA-30D4BA7CE135","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2564048","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2564048"}}}}}