{"entities":{"Q2184566":{"pageid":2195309,"ns":120,"title":"Item:Q2184566","lastrevid":82583336,"modified":"2026-05-06T21:15:15Z","type":"item","id":"Q2184566","labels":{"en":{"language":"en","value":"Non-Koszulness of operads and positivity of Poincar\u00e9 series"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7206346"}},"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":"Q2184566$88573E80-ACA5-43C4-9163-49D095E5522D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ace2ef94818e41a9a7f6a26e6ec9ae64394fc5c1","datavalue":{"value":{"text":"Non-Koszulness of operads and positivity of Poincar\u00e9 series","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2184566$4CEE0C79-958E-4FA2-A103-5AAAA419D9A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60a833e2105e93f25b86440df6b749cc34710282","datavalue":{"value":"1443.18011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2184566$7B50BD29-5EB3-4A6C-9339-015AFA737C1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"779ee85359ee655dae06e3e92413e590c1d8bb6a","datavalue":{"value":{"entity-type":"item","numeric-id":365881,"id":"Q365881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2184566$36AD2D31-A693-4F4A-82D3-0FC11FFE71DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3498b3be1211a3bf1ca1e04b1b56a2245d481b0","datavalue":{"value":{"entity-type":"item","numeric-id":225544,"id":"Q225544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2184566$1FA9CC04-FE1F-48BC-8476-D66909C0674E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ae1c73f58aab1a604d568822a7375824fa92fbe","datavalue":{"value":{"entity-type":"item","numeric-id":411744,"id":"Q411744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2184566$80D886C7-891D-4788-9CBB-A5E405BA1C5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4add3c5163a5eee9bbe20dc8a36386ab43b68fd6","datavalue":{"value":{"entity-type":"item","numeric-id":168490,"id":"Q168490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2184566$A3E9DAC3-EE24-41C5-B2F1-3429E264D5F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2df922edabb1ddb9d561c1a1b7623eec21373518","datavalue":{"value":{"time":"+2020-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2184566$A1B35896-DA09-48E4-B43C-74822DC6DAE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fe0a8610365cad97e7b4fffbf0d73cf3650be04","datavalue":{"value":"https://arxiv.org/abs/1604.08580","type":"string"},"datatype":"url"},"type":"statement","id":"Q2184566$8A2F40C9-B6B7-4EC1-982F-7AB00A9F1B3F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6ec4abac8ff6c2fc5325abbdeff614c0b86f257f","datavalue":{"value":"Let \\(n \\geq 2\\). The operad of mock partially associative \\(n\\)-ary algebras is generated by an element \\(\\mu\\) of arity \\(n\\) and of homological degree \\(0\\), with the relation \\[ \\sum_{i=1}^n \\mu\\circ_i \\mu=0. \\] These operads were introduced and studied by the two last authors in a series of articles, where they proved that these operads are not Koszul if \\(n\\leq 7\\). They conjecture that they are not Koszul for any \\(n\\). This conjecture is proved here, using combinatorial methods. It is also proved that these operads give a counterexample to the converse of the positivity criterion of non Koszulness: for this, the inverse of the Poincar\u00e9 series of the Koszul dual of such an operad is proved to have no negative coefficients, with the help of the Zeilberger algorithm for hypergeometric summation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2184566$9025DB32-E91B-480B-BFF3-FC2A36BD07B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53b7ee4b7dfaa6caf5adabfc2495ecf0e6e01c56","datavalue":{"value":"18M70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2184566$54CD602F-5D65-4FDD-B5AC-D75BF88FEB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d4a4958b9ec0502bdc37c3a756325974bf4d764","datavalue":{"value":"13D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2184566$90DD0F21-425D-431D-BC88-A392EB4920E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f8e971c48c786120290e696c5754faf9253149dd","datavalue":{"value":"33E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2184566$23A3A694-F682-4B31-A056-141ADE6C06D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42de9321ec9bffe9bd1dcf8c8689a504914f3754","datavalue":{"value":"33F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2184566$2BFB0F3B-6D64-423C-85B8-3B5E368627F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b63b076611a25e411b6b96c6f43e90d203e6bb05","datavalue":{"value":"39A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2184566$AAD476B2-1184-4010-882B-974B0106EDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"94cffb33cfcbc5c6f281fde5d9aa0294bd14abfa","datavalue":{"value":"39A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2184566$7CD62E2C-161B-44B6-A07C-6932045DD063","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a13059c16879004197b0b745152101c53af34a6f","datavalue":{"value":"7206346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2184566$69EF5353-F59E-4950-86AC-5C7F7F6D91DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6192abafc7358030654305fec1d64aa7f3f91fc","datavalue":{"value":"operad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2184566$F5FEF950-EB7C-420E-8301-F84DFCE3A2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9e3a8919d1be17a966d12125c443383a172caf","datavalue":{"value":"Koszul duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2184566$92AE18F5-E5CD-4B0F-BFF3-E036CC6E4A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1af3e62280f54fd43282370e07b6ca56f27a17e8","datavalue":{"value":"Koszulness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2184566$633CC240-466B-4BE7-B705-2AF8F2536E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acc148c45f8a133fadf92260f0123771cbb8a69c","datavalue":{"value":"Zeilberger's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2184566$90CFF220-7670-48A3-9FE3-97D262219E20","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fc3ddfef425c3cc8c6d5f59b7580a5d4148ae950","datavalue":{"value":{"entity-type":"item","numeric-id":332173,"id":"Q332173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2184566$2403C96C-4AE8-4681-8D88-18F6945B942A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1fe89970fe8cbeb81bc4728b03adb5e70157e177","datavalue":{"value":{"entity-type":"item","numeric-id":31080,"id":"Q31080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2184566$7200ED35-F046-4D79-BD0E-DB03CF4F4325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eecff7672d98ddd92e9f59bf72dece031571efe6","datavalue":{"value":{"entity-type":"item","numeric-id":35496,"id":"Q35496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2184566$E663F71D-0850-4A01-AFB1-C24D196E1A30","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":"Q2184566$76EEFF4A-53C2-45B1-935D-0961BF38B4B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"214b13d3b1f6e5dcfdcfb1577d9bc1c38da7a2ae","datavalue":{"value":{"entity-type":"item","numeric-id":5890492,"id":"Q5890492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2184566$DE084A2F-0E52-4D82-B473-25ED4D8896EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eeb1567eae722e634d73c1a5f7253479817b606","datavalue":{"value":{"entity-type":"item","numeric-id":982688,"id":"Q982688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2184566$2CD061B1-4601-416D-87B2-26EFDD04758F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"babf67746a1b8e743cd64d88d96923791a8b2dd8","datavalue":{"value":{"entity-type":"item","numeric-id":374013,"id":"Q374013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2184566$1F5780E4-1688-487C-B16E-CA8A089E82EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c729e335415abc9aad24d7fc9ffc83c20a42d89","datavalue":{"value":{"entity-type":"item","numeric-id":5688876,"id":"Q5688876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2184566$224DFAB5-E211-4891-8AE4-87A62DE305CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c2a74b8230a6a71b8dd75bb1d11ad5d0866745","datavalue":{"value":{"entity-type":"item","numeric-id":1345230,"id":"Q1345230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2184566$EDFDC66B-40CB-4E26-A4FB-87C5F6F24FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b679e0d4ae27106f6caabf7eb787d8a1d27d87fc","datavalue":{"value":{"entity-type":"item","numeric-id":4864132,"id":"Q4864132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2184566$09FF1BD1-A74A-4EAE-B48C-DFA936696CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc19fd1c1c4e7fb9cc961868816d2baa0f7178f7","datavalue":{"value":{"entity-type":"item","numeric-id":5688184,"id":"Q5688184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2184566$2A2AA535-8605-4362-BB1F-29CFD7547589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cefce84c59c216bc7caa2c44ffedd71cc5904c6","datavalue":{"value":{"entity-type":"item","numeric-id":4382877,"id":"Q4382877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2184566$82DA6D74-FAB8-40EC-9C5B-66693CB023CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6c4ac2cfc984fa6103217fd67f76cf39e330e3a","datavalue":{"value":{"entity-type":"item","numeric-id":5891586,"id":"Q5891586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2184566$70EF6CBB-26B4-4F71-8B68-6DDDD1BBBE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85924a8da5caee5030eb4a1f3c99b05917948157","datavalue":{"value":{"entity-type":"item","numeric-id":4874732,"id":"Q4874732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2184566$B9439117-380E-4176-9BED-002B7AA860DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1535e75ccc42a1f2d4ce32401c5daccae72fcf92","datavalue":{"value":{"entity-type":"item","numeric-id":897101,"id":"Q897101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2184566$4ABBDDF7-F3A9-4F0D-A6FD-05D7EB9669E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8de3646759bd083644fe336efed632698b8dd46","datavalue":{"value":{"entity-type":"item","numeric-id":4649956,"id":"Q4649956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2184566$7C3F308C-347D-46C7-BA46-2CE6AA36B853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57c4ec75eb1df7410ececc1deecb107ec91c8a62","datavalue":{"value":{"entity-type":"item","numeric-id":4875364,"id":"Q4875364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2184566$D2839920-F12F-417D-9BB2-C5D487B42DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33ebd623f6b8e57b27792095bc1a5f936ffa53ab","datavalue":{"value":{"entity-type":"item","numeric-id":3748279,"id":"Q3748279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2184566$054B3E1B-681C-4EDF-A3C1-0926C9012CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07d82f4dc430655c9a0e88160ed083b1c587b76","datavalue":{"value":{"entity-type":"item","numeric-id":3524824,"id":"Q3524824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2184566$D74713EF-36CF-468A-A2D9-F0E564FDF9CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2590c0ed0850dbf14225abf1515b4a80f7c9cf83","datavalue":{"value":"10.25537/DM.2020V25.309-328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2184566$D4D7EC3E-FEBC-422B-A0A8-3ED266877CA1","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"dbb9f88c51d21084a3d5dd8cc60d8e37786c6e40","datavalue":{"value":"bafkreieuzkuo2ncksfvska62apfn7gueukwkc6smbgxtprcw3xqjuzk3ri","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2184566$35713BAE-00FF-4292-990C-FBF08FCC8EF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee0144d712677ca0b5333bc305ffa95dc766cdb7","datavalue":{"value":{"entity-type":"item","numeric-id":3070015,"id":"Q3070015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d7ec63d4e6475e351886ee850facbfa43f3e449","datavalue":{"value":{"amount":"+0.8230844140052795","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":"Q2184566$26AD7B70-5BE2-4E5A-974A-D5B33F8F2118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e1ad4503a6208fbc0770d84274f786cf0f9d074","datavalue":{"value":{"entity-type":"item","numeric-id":897101,"id":"Q897101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a796cc36d0fb09d0725955c3a19579b4eed57c74","datavalue":{"value":{"amount":"+0.815817654132843","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":"Q2184566$044CC782-87AC-4AAF-97F9-47B66C8AEB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"296aa24bffe6da69a60a7972db147bec0af80508","datavalue":{"value":{"entity-type":"item","numeric-id":2655179,"id":"Q2655179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a74d5fbb32fc91e627d59072085d83ae2439ff","datavalue":{"value":{"amount":"+0.7755234837532043","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":"Q2184566$BD871B53-8C2B-4697-A69B-9636D625E60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6bf00838525b3e84b494f7700d3c653f0235d36","datavalue":{"value":{"entity-type":"item","numeric-id":4649956,"id":"Q4649956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb52c401350030a87e62de82f66bead18fd7f48a","datavalue":{"value":{"amount":"+0.7541977167129517","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":"Q2184566$940A180B-157C-4826-B525-40B17C45BB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfbdb50ee85ada7b9917efb8b2e84534b6b140e4","datavalue":{"value":{"entity-type":"item","numeric-id":1818644,"id":"Q1818644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cff00bdf6b326e230c43009fdb019bd493644679","datavalue":{"value":{"amount":"+0.7511903643608093","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":"Q2184566$FF91660A-D2E2-4F8B-B71E-7062AE96E6CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-Koszulness of operads and positivity of Poincar\u00e9 series","badges":[]}}}}}