{"entities":{"Q5929978":{"pageid":8106780,"ns":120,"title":"Item:Q5929978","lastrevid":47598007,"modified":"2026-01-02T04:33:45Z","type":"item","id":"Q5929978","labels":{"en":{"language":"en","value":"Simplicial properties of the set of planar binary trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1587203"}},"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":"Q5929978$D8E4C1A0-BD2C-4726-8184-B8E5792FBCC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4663696e9e05ba50b6051fba32cb3925da1ca0e3","datavalue":{"value":{"text":"Simplicial properties of the set of planar binary trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5929978$07475692-1163-4406-BA80-24452C46F67C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95f2ee6df6c5545692d097aeebcc939633aaefb9","datavalue":{"value":"0989.17001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929978$E897483F-7597-4B99-8628-71D7D5DE178D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d769584077a1ec0c08d852d3cda6fb047f874183","datavalue":{"value":"10.1023/A:1008723801201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929978$C712B43E-363F-49CD-B513-7696FDFADE61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a760bfe7312a8836d5dce525ff567681fc28f855","datavalue":{"value":{"entity-type":"item","numeric-id":172096,"id":"Q172096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929978$852181F1-0970-4F11-B164-05CF6ED77DCF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b5e010d4525286f928f56a14a06a3a3ef373d646","datavalue":{"value":{"entity-type":"item","numeric-id":162910,"id":"Q162910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929978$F40DBD7D-D437-4A67-9802-C9D1722746BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"376aaf1740af05b888daf45e8d11d5d06f385dfd","datavalue":{"value":{"time":"+2002-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5929978$5121BAA3-ADEF-4F86-9EBE-A1A0C1D1E1A3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a258923f3416fa5f84233f19d0227e9a6a46fba","datavalue":{"value":"The paper provides foundational material for the definition of dialgebra homology [\\textit{J.-L. Loday}, C. R. Acad. Sci., Paris, S\u00e9r. I 321, 141-146 (1995; Zbl 0845.16036)] in terms of a derived functor, developed further by \\textit{A. Frabetti, J.-L. Loday}, et al. [Dialgebras and related operads, Lect. Notes Math. 1763 (Springer Verlag, Berlin) (2001; Zbl 0970.00010), see Zbl 0999.17002 et al. for the single items]. Recall that a dialgebra \\(D\\) is a \\(k\\)-module with two associative operations \\(\\dashv\\), \\(\\vdash\\), which satisfy  \\[ \\begin{aligned} (a \\dashv b)\\dashv c &= a\\dashv (b\\dashv c)= a\\dashv (b\\vdash c)\\\\ (a\\vdash b)\\vdash c &= a\\vdash (b\\vdash c)= (a\\dashv b)\\vdash c\\\\ (a\\vdash b)\\dashv c &= a\\vdash (b\\dashv c) \\end{aligned} \\]  for all \\(a,b,c\\in D\\). The dialgebra homology of \\(D\\) with coefficients in \\(D\\) is denoted \\(HY_*(D; D^{\\text{op}})\\) and is computed from the chain complex  \\[ k[Y_0]\\otimes D\\leftarrow k[Y_1]\\otimes D^{\\otimes 2}\\leftarrow\\cdots \\leftarrow k[Y_n]\\otimes D^{\\otimes(n+1)} \\leftarrow\\cdots, \\]  where \\(Y_n\\) is the set of rooted binary planar trees with \\(n\\) internal nodes, or equivalently \\(n+1\\) leaves. The paper under review considers the case \\(D=k\\), a field, and provides a detailed analysis of the basic complex  \\[ k[Y_0]\\leftarrow k[Y_1]\\leftarrow\\cdots k[Y_{n-1}] @< d << k[Y_n] \\leftarrow\\cdots, \\]  which plays an essential role in the author's further work (see A. Frabetti and J.-L. Loday cited above). Note that  \\[ d:k[Y_n]\\to k[Y_{n-1}] \\]  is defined as \\(d= \\sum_{i=0}^n (-1)^id_i\\), where, for \\(y\\in Y_n\\), \\(d_i(y)\\) is the \\(n-1\\) tree obtained from \\(y\\) by deleting the \\(i\\)th leaf, with the leaves of \\(y\\) numbered \\(0,1,2,\\dots, n\\) from left to right. Furthermore, there are maps \\(s_j: Y_n\\to Y_{n+1}\\), \\(j=0,1,2,\\dots, n\\), given by bifurcating the \\(j\\)th leaf of \\(y\\in Y_n\\). The operations \\(d_i\\) and \\(s_j\\) satisfy all the relations of a simplicial set, except \\(s_is_i\\neq s_{i+1}s_i\\), and form a structure the author calls an almost-simplicial set (which is in fact stronger than a pseudo-simplicial set).    Proven is that for a field \\(k\\), the complex \\(k[Y_*]\\) is contractible via an explicit chain homotopy, from which follows  \\[ HY_n(k;k)= 0, \\quad n\\geq 0, \\]  where \\(k\\) is considered as a dialgebra with both \\(\\dashv\\) and \\(\\vdash\\) being the usual multiplication in \\(k\\). Furthermore, (for any ring \\(k\\)), \\(k[Y_*]\\) is written as a double complex \\(k[Y_{*,*}]\\), where, for \\(p\\geq 0\\) and \\(q\\geq 0\\), \\(Y_{p,q}\\) is the subset of \\(Y_{p+q+1}\\) containing those trees with \\(p\\)-many internal leaves oriented like / and \\(q\\)-many leaves oriented like \\(\\setminus\\). The vertical complexes \\(k[Y_{p,*}]\\) are studied in detail, and within each \\(Y_{p,*}\\) certain base trees are found which generate subcomplexes of the vertical complexes. Using the rich recursive nature of binary trees, the base trees of \\(Y_{p,*}\\) are shown to be in bijective correspondence with the set \\(Y_p\\) itself.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929978$D581B720-2745-4923-8AB8-A3B64F54A272","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c45524e46da0052597cfcd4513236acc8f1095","datavalue":{"value":{"entity-type":"item","numeric-id":590851,"id":"Q590851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929978$A98BC1DA-3188-464F-B364-BCBD911B2FFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b7c8b951f7e1c6a77c10fd69e1169590d82439c3","datavalue":{"value":"17A32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929978$345B4AB3-0720-48E8-BD63-2C0F628CA567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1722e8eaf8d0b6e989e3d4620a85df21f8eb2337","datavalue":{"value":"55U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929978$2A0F6B84-2E2D-4802-9C67-08D0F5A6F78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929978$5A74D24E-7ED6-4E94-B09B-1484C7407906","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"737fa5d907eecbe5b1220664d07d1b8473618ed1","datavalue":{"value":"1587203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929978$CB0B9A1C-70C6-442A-816C-BAF70D49E181","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e133420bd8ecb43ae9c8a8a6ecaa5316069870b2","datavalue":{"value":"simplicial sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929978$F0AD8754-29C6-4273-B5F5-9ADE7F8AFA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cca502ff4b5aa35002fb492ef0333de635e7999","datavalue":{"value":"dialgebra homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929978$032032FE-A5F3-4C66-99DF-C02FCF06C207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6512ad0677d437f69f20a16df5f82853221bcb55","datavalue":{"value":"rooted binary planar trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929978$6C34D91E-CB3F-4AA2-8979-061DA4F73424","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":"Q5929978$F31EB44E-546C-43AA-AB75-F371E47A2AEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f788f09664b737dffe654cf257bafcd088f8dcca","datavalue":{"value":{"entity-type":"item","numeric-id":4053668,"id":"Q4053668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929978$F36ECAA7-E227-4A4B-BD98-EC2287A85C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f27962ea2a976c47428326a641f41d145a3c19","datavalue":{"value":{"entity-type":"item","numeric-id":5510576,"id":"Q5510576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929978$3CF2E00B-EC9E-4892-9575-13958CCF84E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d2d9b5d38ea675249062795ff01c979d2f2f99","datavalue":{"value":{"entity-type":"item","numeric-id":4355294,"id":"Q4355294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929978$416F54F6-CDAD-4309-B388-75FFB927D473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e134081b2520033599b6598cffd71cd3acac1092","datavalue":{"value":{"entity-type":"item","numeric-id":2736580,"id":"Q2736580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929978$B42406A0-E12D-4254-8283-220E40DDE5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df4e878047e850e5e3956343e2e105772b9d41aa","datavalue":{"value":{"entity-type":"item","numeric-id":5632617,"id":"Q5632617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929978$9DF68818-4000-4739-A972-BCCB8370BC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dfd9e4996ea3da2d0e02a61f9b6de58e2593e33","datavalue":{"value":{"entity-type":"item","numeric-id":4040797,"id":"Q4040797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929978$C01EFACD-89A5-4ADC-8DD3-4BAC568992BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c23b5078311dd39a040536ade21e006b55461c95","datavalue":{"value":{"entity-type":"item","numeric-id":4097456,"id":"Q4097456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929978$09607CB8-6666-4F91-92C9-4E0634E979F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6482fda869c7df0ed32fd6ade8f790a1ff04cc","datavalue":{"value":{"entity-type":"item","numeric-id":5585020,"id":"Q5585020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929978$B72BC936-0F71-44CD-8AFC-A7100458636D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70b998daaab1abcd94f90352f7b8a8794f1e4d13","datavalue":{"value":{"entity-type":"item","numeric-id":4864131,"id":"Q4864131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929978$B653CB3F-4920-4C6A-9B00-E5013F2186FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe5c0d010a204f5042ee52ca6776913f4180bb4","datavalue":{"value":{"entity-type":"item","numeric-id":5589336,"id":"Q5589336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929978$3AB82B2C-3BF0-41FF-933D-CDEE25127CBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3bbad70a3c9a80ef0459daaf39b0f5f84e354cb","datavalue":{"value":{"entity-type":"item","numeric-id":2736579,"id":"Q2736579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31f364847c719c606669e884fbc7d84b09c2c1de","datavalue":{"value":{"amount":"+0.8192867636680603","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":"Q5929978$42B82FBE-89E5-4D15-8E6A-2A96AF46FEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d29f747286045486ba461881dc6ef2b8adff9368","datavalue":{"value":{"entity-type":"item","numeric-id":4355294,"id":"Q4355294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31f364847c719c606669e884fbc7d84b09c2c1de","datavalue":{"value":{"amount":"+0.8192867636680603","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":"Q5929978$43371475-B8D8-45D4-9A64-F45FC554D02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a70812022fd4649d0c95082131c63f33b039231a","datavalue":{"value":{"entity-type":"item","numeric-id":4864131,"id":"Q4864131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1afc355b4b5479d0c4fc9086a88cc23e64d344e9","datavalue":{"value":{"amount":"+0.7984411716461182","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":"Q5929978$9DE2B91B-FF90-4077-99B5-8D09CD826AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f58d8cd2773d1dcb23873ba2cdf54d0da88ff6","datavalue":{"value":{"entity-type":"item","numeric-id":2736580,"id":"Q2736580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51cb2feff01cc3889e47301a3930889794e11c02","datavalue":{"value":{"amount":"+0.7905499339103699","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":"Q5929978$F61E40C6-3766-4481-97B7-FFD8F09ADB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7201b5287cc784409f562eddd0533e1659bb35","datavalue":{"value":{"entity-type":"item","numeric-id":1295549,"id":"Q1295549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51cb2feff01cc3889e47301a3930889794e11c02","datavalue":{"value":{"amount":"+0.7905499339103699","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":"Q5929978$271A17D7-6862-4D7E-A56D-B20FE0D29289","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5929978","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5929978"}}}}}