{"entities":{"Q1010623":{"pageid":1012471,"ns":120,"title":"Item:Q1010623","lastrevid":50626049,"modified":"2026-01-14T14:55:03Z","type":"item","id":"Q1010623","labels":{"en":{"language":"en","value":"Using Lov\u00e1sz local lemma in the space of random injections"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5540841"}},"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":"Q1010623$BA9B5FA8-126E-4198-8399-ACF440FBB763","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6533919158f7fd9a4bf74d71171c63a4cfc6b64","datavalue":{"value":{"text":"Using Lov\u00e1sz local lemma in the space of random injections","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1010623$2680C9E0-9A83-4DD7-8D05-DC0CF9F4BC1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfac648c2927ef580228d5c6e77d10b2b25022ac","datavalue":{"value":"1183.05088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1010623$EE6C104B-7D80-4231-A6C8-C5FF493FB5BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1337363d3ae6a5841e776ab4e68a03f2d64d151","datavalue":{"value":{"entity-type":"item","numeric-id":169304,"id":"Q169304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1010623$A2779855-C65B-43D3-9E4A-A060AF803B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7af1fb701146bc0c7eb42bcb4a55eee9e4b8aae2","datavalue":{"value":{"entity-type":"item","numeric-id":195255,"id":"Q195255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1010623$2761B85D-D597-4623-AF31-816B9D07F208","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ebc7441ecfd9ecfa38d48ddc4b2adb39ac7d7000","datavalue":{"value":{"entity-type":"item","numeric-id":161296,"id":"Q161296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1010623$F68C31A9-AC63-4A56-B594-8E368C649308","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f584a175cfc2fafdfc362244f176e06010bbf381","datavalue":{"value":{"time":"+2009-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1010623$87B90F60-4B8B-4715-9A21-87E1FB8F26D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"653511f61303e3825c96ef9243d5e96a33ce7245","datavalue":{"value":"https://eudml.org/doc/117186","type":"string"},"datatype":"url"},"type":"statement","id":"Q1010623$6EDAF403-0125-4A80-A679-7CB5DC41AD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"74552699caf0dd66a484effe2127aafc6bb386ba","datavalue":{"value":"http://www.emis.de/journals/EJC/Volume_14/Abstracts/v14i1r63.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q1010623$BD7504B1-390A-4C16-A485-00DB2694CBE3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fd911d8f12e8fad65cfa3872b3040a86a4968706","datavalue":{"value":"Summary: The Lov\u00e1sz Local Lemma is known to have an extension for cases where independence is missing but negative dependencies are under control. We show that this is often the case for random injections, and we provide easy-to-check conditions for the non-trivial task of verifying a negative dependency graph for random injections. As an application, we prove existence results for hypergraph packing and Tur\u00e1n type extremal problems. A more surprising application is that tight asymptotic lower bounds can be obtained for asymptotic enumeration problems using the Lov\u00e1sz Local Lemma.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1010623$F00DC075-4EAA-46E0-BAC5-17928D5B1F4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"505dab9721154d1029d881b944cbf9d233b6d0c1","datavalue":{"value":"05D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1010623$8374E831-29D7-427A-A668-497504F81225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b85c221f9847adc30512692a640a50dd4e3d1cb","datavalue":{"value":"05A16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1010623$9A87EAE3-BDB6-4341-9EEE-8FCBC6FA83FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b7275e0d4b526075acce84a242d8537e929bb2d","datavalue":{"value":"60C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1010623$2393DA1B-CA8D-46BC-BB74-51D217902E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a3bb76dbd41580d9287ece5137de80ddf22202f","datavalue":{"value":"05C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1010623$B0E3FE99-BB79-494C-8F03-D427D16EE6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625e55f1f2a96178239720bc1bbbe7ad21cf0a75","datavalue":{"value":"05C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1010623$E544F7AA-9B5E-4A46-80AC-5E1A5D182ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd6b8847e09c706889ad9ef05dc0040f1c9f982","datavalue":{"value":"05C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1010623$CABCBD9A-33B1-41CE-8203-413B72FFD25C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75f4ea8e1e5780f5e8843ac6a4f0300b373a432c","datavalue":{"value":"5540841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1010623$F618584E-3EF3-4E9F-B6A1-F6F728DFB52E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19b55dcf2f772e2d41cb1d457864b54fdee4322e","datavalue":{"value":"dependency graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1010623$ECCC571A-4B60-4C73-B69F-9C940991B60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b62f1f1df436662335f14f60b82e2b1c469cfd80","datavalue":{"value":"negative dependency graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1010623$DBF54A83-2A24-4024-B285-51FEE7DDC4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1084f74b3b6f1f36723d96e5e6aea547148ecdeb","datavalue":{"value":"Lovasz local lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1010623$924C1E4B-35A3-4403-8F85-BA9F46F7CFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82ac7606b4aab1631bb53c273c6bb77ff133f263","datavalue":{"value":"random injections","type":"string"},"datatype":"string"},"type":"statement","id":"Q1010623$755E2DB1-8E66-4A52-991E-DC74C9D1086F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5588ad6967f506bb24519793d8a31d366399ed2d","datavalue":{"value":"permutation enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1010623$962FFA95-3C43-4BB5-BA8C-A4526AA7E68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce016b265652ea038251d59f06b0204dcebc969","datavalue":{"value":"hzpergraph packing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1010623$53CBD1EE-9876-4D89-9180-2CF851FB3162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beea193e15c558f887c2d593da993606a4023771","datavalue":{"value":"Turan-type extremal problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1010623$D8921149-005A-43C5-9945-9D7C939E588B","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":"Q1010623$F2597529-A856-47DF-AABA-E1B17AAF6CD0","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"ef73cd08f5b23a7ab88a32bee00b2d37d34ebd0b","datavalue":{"value":"bafkreido524zz5maes7dk4dompofv6tbp6oqtiudyeapuxpv5gfvmmy4le","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1010623$A7F7F2B2-D034-4757-9A83-A7A1CA541239","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c0dc04be90dee50fd8ea5448246e01550dbb11c","datavalue":{"value":{"entity-type":"item","numeric-id":2840656,"id":"Q2840656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83641b8e7c2bef291fc7c1c7a8fa9c469fba0855","datavalue":{"value":{"amount":"+0.8035829663276672","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":"Q1010623$687E5CC9-F09D-48CC-90A7-8870D2F523F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f40172bddcd78a472d7e4d68c822e710c771c5","datavalue":{"value":{"entity-type":"item","numeric-id":1877346,"id":"Q1877346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bbf71c9fc6c2ac663b26f3a8029eeb1b92ab6ae","datavalue":{"value":{"amount":"+0.7811391353607178","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":"Q1010623$BAD76DB9-D6BF-48E7-B714-D5885EC23561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"210e9b391e36399196500dfc0056452c25f134ab","datavalue":{"value":{"entity-type":"item","numeric-id":3103621,"id":"Q3103621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7990ab6fb262d21452c145f30a83b248b22590d8","datavalue":{"value":{"amount":"+0.7780184745788574","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":"Q1010623$2F1B132C-C74C-4C99-9C57-C622AD6B51DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6adca57b69ad7c3a6ca7023355ce7c14d50238a2","datavalue":{"value":{"entity-type":"item","numeric-id":2357223,"id":"Q2357223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bff2907ad0ea6debdcb9611faf8f6084dff1817","datavalue":{"value":{"amount":"+0.7776548266410828","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":"Q1010623$B0E6E7E1-93BF-4447-A836-C4FCF901A07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72bfc04cea38afc1dff0922aa78bf1428bf5af27","datavalue":{"value":{"entity-type":"item","numeric-id":4875163,"id":"Q4875163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e1f947a44e5506810e7a31cb1e8f0d69f51f280","datavalue":{"value":{"amount":"+0.7763862609863281","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":"Q1010623$A9452042-BF70-4939-8D06-860B2ABF4733","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1010623","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1010623"}}}}}