{"entities":{"Q499643":{"pageid":501410,"ns":120,"title":"Item:Q499643","lastrevid":62298219,"modified":"2026-04-11T05:08:07Z","type":"item","id":"Q499643","labels":{"en":{"language":"en","value":"A classification of barycentrically associative polynomial functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6487915"}},"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":"Q499643$1F1C23BE-6F8B-4692-91BA-F5A3DD38242A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46861806681be5030022279e26623b206812023c","datavalue":{"value":{"text":"A classification of barycentrically associative polynomial functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q499643$728E5691-41F1-4D54-AD6C-F8122795BE0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59701d01691d4e0bd0d6647462b64c34eac698f9","datavalue":{"value":"1333.39023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q499643$87BA47AD-03C5-453E-B899-2BE99AB0381C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5824ffb05986b289e869491bfb78390db8f6d98d","datavalue":{"value":{"entity-type":"item","numeric-id":245028,"id":"Q245028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499643$B5B6ED10-47D2-4C56-835D-109F1978F32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a74d39d12e05306e7b557ac819d88379598ab88","datavalue":{"value":{"entity-type":"item","numeric-id":409019,"id":"Q409019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499643$5BE07635-1A38-49C5-B635-53CD17BD1BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02be7b61d2743291adbc102f3799718873e744d0","datavalue":{"value":{"entity-type":"item","numeric-id":260310,"id":"Q260310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499643$ABD30890-125C-4C60-A0FA-58E1067FE386","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e8211cf89fb3e58cebf657950368971306be793","datavalue":{"value":{"entity-type":"item","numeric-id":176881,"id":"Q176881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499643$0EEC25F5-B8B2-4E03-A333-C8F240E9C0F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a02eff2a6739f20c5ba25ea9c06d2f02c0f4ac2a","datavalue":{"value":{"time":"+2015-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q499643$78163DE7-89ED-4CFF-AE00-8031011C2295","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb9b7f191c0464046f9b42639ecda2fdf5e93691","datavalue":{"value":"https://arxiv.org/abs/1405.3597","type":"string"},"datatype":"url"},"type":"statement","id":"Q499643$5C5E2898-1097-47F8-BAEE-443C720C1A7C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5577492c423580ec2f4e1f1ad5e1ea148cc70a09","datavalue":{"value":"Consider the set \\(N\\) of nonnegative integers, a set \\(X\\neq\\emptyset\\), \\(X^*= \\bigcup_{n\\in N} X^n\\) the set of all tuples on \\(X\\), \\(X^0= \\{\\varepsilon\\}\\), where \\(\\varepsilon\\) denotes the unique \\(0\\)-tuple on \\(X\\), a function \\(F:X^n\\to X\\) named \\(n\\)-ary and a function \\(F:X^*\\to X\\) named \\(*\\)-ary. Suppose that all \\(*\\)-ary functions \\(F: X^*\\to X\\) satisfies \\(F(\\varepsilon)= \\varepsilon\\).  The \\(n\\)-ary part \\(F_n\\) of \\(F:X^*\\to X\\) is the restriction of \\(F\\) to \\(X^n\\), that is, \\(F_n= F|_{X^n}\\).    A function \\(F: X^*\\to X\\) is named barycentrically associative (B-associative) if  \\[ (\\forall k\\in N)(\\forall(x, z)\\in X^*\\times X^*)(\\forall y\\in X^k)(F(x,y,z)= F(x,kF(y), z)), \\]  where \\(F(x,kF(y), z)= F(x,\\underbrace{F(y),\\dots,F(y)}_{k\\text{\\,times}},z)\\).      Let \\(\\mathcal{R}\\) be an infinite commutative integral domain (with identity).  A function \\(F:\\mathcal{R}^*\\to\\mathcal{R}\\) is named a \\(*\\)-ary polynomial function if \\(F_n=F|_{\\mathcal{R}^n}\\) is a polynomial function for every integer \\(n\\geq 1\\). The authors provide a complete description of those polynomial functions \\(F:\\mathcal{R}^n\\to\\mathcal{R}\\) which are B-associative.     For every \\(n\\geq 1\\) and every \\(z\\in\\mathcal{R}\\) such that  \\[ \\Delta^z_n= \\sum^n_{i=1} z^{n-i}(1-z)^{i-1}= \\Delta^{1-z}_n \\]  is invertible, define the weighted arithmetic mean function \\(M^z_n:\\mathcal{R}^n\\to\\mathcal{R}\\) by   \\[ M^z_n(x)= (\\Delta^z_n)^{-1} \\sum^n_{i=1} z^{n-i}(1-z)^{i-1}x_i, \\]  where \\(x=(x_1,\\dots, x_n)\\). For every \\(z\\in\\mathcal{R}\\) define  \\[ n(z)= \\text{inf}\\{n\\geq 1,\\;\\Delta^z_n\\text{ is not invertible}\\}. \\]  If \\(M^z_n\\) is invertible for \\(n\\geq 1\\), then set \\(n(z)=+\\infty\\).   For \\(F:X^*\\to X\\), \\(k\\geq 1\\) or \\(k=+\\infty\\), denote by \\([F]_k\\) the set of functions \\(G:X^*\\to X\\) obtained from \\(F\\) replacing \\(F_n\\) with a constant function for every \\(n\\geq k\\). Particularly \\([F]_\\infty= \\{F\\}\\).   The authors prove the main theorem: A polynomial function \\(F:\\mathcal{R}^*\\to\\mathcal{R}\\) is B-associative if and only if the following two conditions hold    (i) \\((\\exists z\\in\\mathcal{R})((\\exists k\\geq 1)\\vee(\\exists k=+\\infty))(k\\leq n(z))(F\\in[M^z]_k)\\),    (ii) there exists a polynomial function \\(Q:\\mathcal{R}^2\\to\\mathcal{R}\\) of degree \\(\\geq 1\\) such that \\[ F_1(x)= x,\\;F_2(x,y)= Q(x,y)x+ (1-Q(x,y))y \\]  and \\(F_n\\) is constant for every \\(n\\geq 3\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q499643$88F594B5-0CCF-4A5D-90CE-19D514D9BA2B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"63cb8bec8a67488e88117efed9efbaa126170cc4","datavalue":{"value":{"entity-type":"item","numeric-id":590320,"id":"Q590320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499643$54A9B496-7214-4C01-A025-0ECDED409162","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ebf154b072c83dae5f778e71c2977f30812c361","datavalue":{"value":"39B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q499643$B4FFCC52-6577-40EC-8CF8-870B61A42B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c4b44681f7a1707f0cf17256dc3be888b8d7656","datavalue":{"value":"13B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q499643$BF171348-3930-4CE3-8F1A-579E05010DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"530400266b598f0b06b634b1082c0ed18a5b12d9","datavalue":{"value":"26B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q499643$85C4F36B-7BAB-4784-B28D-229FE1EE96F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"422ff49d605243d424592b8f93d582263dd5e9a4","datavalue":{"value":"6487915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q499643$7AD8B92B-2A78-4E8C-B37C-B4568C830196","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1117e09d26dae9b576232f1aa083e5566f408854","datavalue":{"value":"barycentric associativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q499643$5C0A3C26-0BA2-4983-A4F2-26C7FB0B74C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66bea9b6d9c866baa791493f0615aeab5165082d","datavalue":{"value":"decomposability","type":"string"},"datatype":"string"},"type":"statement","id":"Q499643$9E11F631-34C9-4B27-A9C1-98EC8984AE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fd80f0b5db9117324cf58da05edc384a615a3e2","datavalue":{"value":"polynomial function","type":"string"},"datatype":"string"},"type":"statement","id":"Q499643$55E1632F-C47E-4464-86CA-87059B8456A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86490afe1a240b7b6317d8185559b6e431b043f7","datavalue":{"value":"integral domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q499643$A7C24F74-C799-4816-A638-63A0C90701AC","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":"Q499643$5E8C1FA6-9F57-41E2-B45E-EBA940C7CA8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24c2ece6f1c9d3f9f0ce9816887581e8e40d030b","datavalue":{"value":"W3098809296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q499643$8498E765-7E76-4E91-A339-CCE0331590D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a696ac8ad6dc59df6cc093c2241b81ff5a94edb3","datavalue":{"value":{"entity-type":"item","numeric-id":4315286,"id":"Q4315286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499643$5F0C75BB-0177-4BB5-9FD5-4BC7A8759CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df1c2d2fdeeb449827114a767aaade93b82a7fb","datavalue":{"value":{"entity-type":"item","numeric-id":3639652,"id":"Q3639652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q499643$6AC14FEF-5B66-48DA-8378-C9F2B266D471","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a757b1d203842ef2b237eb4fbd5a9e90f5bfb0c","datavalue":{"value":"10.1007/S00010-014-0332-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q499643$D1CC2DFC-7F2C-4FEE-A12B-A5F250A3B528","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06226c77de47f7d64bd795eb06c2f476804e624b","datavalue":{"value":{"entity-type":"item","numeric-id":313422,"id":"Q313422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5165f526e993e2c1df1784b0b71fba9c350ce7","datavalue":{"value":{"amount":"+0.8982714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q499643$2C55E118-E832-4BFD-94AC-4E9CEAC3B6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aede8c1520689990a6a8c77455163dd01fa30fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2634308,"id":"Q2634308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5ec2f59671ae7924f61f056792acd1b3ac19ffc","datavalue":{"value":{"amount":"+0.8844895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q499643$54960107-C779-49D4-A3BA-7DD6B240265F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b71899dd6e11bdbb6996aa20e1b47b3d6d6e7de7","datavalue":{"value":{"entity-type":"item","numeric-id":1759595,"id":"Q1759595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"facfa15629ada6ec46e6a2510bcb13327332b8c6","datavalue":{"value":{"amount":"+0.87412465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q499643$4384F6DE-C154-47A7-9CF2-CD32D8ABC4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40cb6d06c79f2cd4e2faeaa14ca53a739a8e9c9e","datavalue":{"value":{"entity-type":"item","numeric-id":633217,"id":"Q633217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d3fa4bf8c1160fc14df9a1ee469e033c512ce32","datavalue":{"value":{"amount":"+0.8688606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q499643$CE41020C-51FE-49C1-8370-6D248BD070A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b533b1a6e14847648799dab8e000c71695a99e","datavalue":{"value":{"entity-type":"item","numeric-id":5964387,"id":"Q5964387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c70cc50e7a1b483ce5609c5b8d05d145f642d2f3","datavalue":{"value":{"amount":"+0.8683758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q499643$14D70B20-866C-4E65-B96E-07A9980C88FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5303cd081c1eeb7c5a920569d1c63ea57d7bf85","datavalue":{"value":{"entity-type":"item","numeric-id":2407694,"id":"Q2407694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9cf4712817fd960b3c72b91aaba44bcfc67e50f","datavalue":{"value":{"amount":"+0.86692595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q499643$3789C08E-699B-4D2B-8E33-E51DCA80DE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ecd0f0a26c351c5dab6018182eec98e582c9390","datavalue":{"value":{"entity-type":"item","numeric-id":5416713,"id":"Q5416713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c1fbf60a25252172dfc98be7db3404913c8792","datavalue":{"value":{"amount":"+0.8662271","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q499643$4D92D2A7-2AF7-4B60-8640-B1A96E9A8A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"460bac8e43f3d733cf41af0405e9b55fb65c7cd2","datavalue":{"value":{"entity-type":"item","numeric-id":5962553,"id":"Q5962553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"131e03a08476b58fd0ae5d490eb476fb02989bf0","datavalue":{"value":{"amount":"+0.86404026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q499643$B121519C-278D-48AF-BC92-ED9BBB3F4252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"749143b32f8ab48b892261816ded7d52b6db2277","datavalue":{"value":{"entity-type":"item","numeric-id":2062506,"id":"Q2062506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e91af32d985e6bf4e3cc5c483c2a694e7d81248b","datavalue":{"value":{"amount":"+0.8626921","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q499643$6E51FD59-BE90-4189-BEAB-93B6341C17BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A classification of barycentrically associative polynomial functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_classification_of_barycentrically_associative_polynomial_functions"}}}}}