{"entities":{"Q972847":{"pageid":974695,"ns":120,"title":"Item:Q972847","lastrevid":50989241,"modified":"2026-01-16T02:42:46Z","type":"item","id":"Q972847","labels":{"en":{"language":"en","value":"Polynomial ring automorphisms, rational \\((w,\\sigma )\\)-canonical forms, and the assignment problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5710828"}},"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":"Q972847$77D6CDAA-2F16-42E8-9E8A-5C57999EE2D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76be1e786fbeeead0a19761a2fc8435f630552c1","datavalue":{"value":{"text":"Polynomial ring automorphisms, rational \\((w,\\sigma )\\)-canonical forms, and the assignment problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q972847$A4C9742B-B656-40E5-AF4C-687BD5684FBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6c8f1c6ce7aa53c247f34dbe5517b0a5a5fbf34","datavalue":{"value":"1189.33038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972847$9811F5B3-217D-4DE2-9C48-DBC8FB515E4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972847$AF044F4D-51EB-4CDE-9A64-1093A598B4E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"55bff1cde4af9ec013d98855f36c47ee535bd8b2","datavalue":{"value":{"time":"+2010-05-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q972847$08847B86-A1DF-4B71-B48F-C3724AA659BA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f0af06804826d0e490d2d22f74d69513de675630","datavalue":{"value":"Let \\(k[x]\\) be a univariate polynomial ring over a field of characteristic zero and \\(w\\) a weight function. Any automorphism \\(\\sigma \\) of \\(k[x]\\) is uniquely extendable to an automorphism of the rational function field \\(k(x)\\). The authors investigate representations of rational functions \\(R\\in k(x)\\) of the form  \\[  R=K\\cdot \\frac{\\sigma S}{S} \\tag{\\(*\\)}  \\]  with \\(K, S\\in k(x)\\). Such an equality is called a rational \\(\\sigma\\)-normal form \\((RNF_\\sigma)\\) of \\(R\\) if the numerator of \\(K\\) is coprime to the image of the denominator of \\(K\\) by all iterates \\(\\sigma ^n\\), \\(n \\in \\mathbb Z\\). Related notions of strict \\(RNF_\\sigma\\)'s and rational \\((w,\\sigma)\\)-canonical forms \\((RCF_{w,\\sigma})\\) are introduced.  The paper contains a theory and algorithms for computing \\(RNF_\\sigma\\)'s and \\(RCF_{w,\\sigma}\\)'s for any \\(R\\in k(x)\\). A constructive proof of their existence is given before it is shown that the degrees of the numerator and denominator of \\(K\\) in a representation (\\(*\\)) can be simultaneously minimized precisely when (\\(*\\)) is an \\(RNF_\\sigma\\) of \\(R\\). A core result shows how to reduce computation of \\(RCF_{w,\\sigma}\\)'s to the well-known assignment problem. Moreover, it is proved that \\(R\\in k(x)\\) has unique rational \\((w,\\sigma)\\)-canonical form provided a suitable hypothesis on the irreducible factors of \\(R\\) is satisfied. The theory developed in this paper has applications to the problem of succinct representation of \\(\\sigma\\)-hypergeometric terms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q972847$12CC0FEE-C088-4F93-8BBC-68FAC83FF04B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e399d6aefd0456742c9468269315b44887e7fe50","datavalue":{"value":{"entity-type":"item","numeric-id":429755,"id":"Q429755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972847$29F4C0B7-6D7B-4D87-A4C2-1FC407345E47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42de9321ec9bffe9bd1dcf8c8689a504914f3754","datavalue":{"value":"33F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972847$7991A1EA-BDF4-4343-A478-B611B345C01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f0af79727ae7ddca4a50e60e39ff80d08c3df13e","datavalue":{"value":"33E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972847$C9D37FCA-2EF4-4421-AFE7-CD2EA4AA8CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"661c831991cdebd51f9465b74d929024bd00f373","datavalue":{"value":"12Y05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972847$94900211-FFBD-4571-BF35-39D896CF3ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972847$8B6DAAE9-9791-41DC-8100-50194CAB2A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972847$46E17E0F-933F-4B5B-92F2-80B8E9F7C05A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22e9701f6db18ddbdcc09b6dcdc61c3bf1ca2eeb","datavalue":{"value":"5710828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972847$967E76B2-F011-4A00-B6AA-70018F6A39F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"819960950720336737ec6466ba17ca923e6a244f","datavalue":{"value":"polynomial ring automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q972847$7440B7CB-1D4C-4F60-A50D-2E2A193D32C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c87f5a8cf22007b9c36bf5f461676129bbe48ca","datavalue":{"value":"weight function","type":"string"},"datatype":"string"},"type":"statement","id":"Q972847$70ED752A-C6AC-4C52-8EDF-E5D306A3FA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44d07c83dea5eec926c8d267b37e2ac2fbdf04f","datavalue":{"value":"rational normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q972847$AA09CE1B-0738-469B-BA45-0C9BCFD15E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0612b9f9555739137860fda49b8677d45efbf7e","datavalue":{"value":"rational canonical form","type":"string"},"datatype":"string"},"type":"statement","id":"Q972847$635E2533-7267-43E2-A7AA-0F1943C97410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07241018e9be0338146bc648347f7a388cb457b3","datavalue":{"value":"product representation of hypergeometric terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q972847$9AF659DB-14D0-4229-AF57-662E5AC28275","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c715f7660adfc1d08e981d189dcfb1350f34c0b","datavalue":{"value":{"entity-type":"item","numeric-id":327076,"id":"Q327076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972847$30B491E5-40E9-414D-BF4F-732BA85D3562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10d42615c1b40e2a8f2e6446dc431f0f7853a791","datavalue":{"value":{"entity-type":"item","numeric-id":696848,"id":"Q696848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972847$2F2931B9-5907-4D0E-9C4A-26C877038D66","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":"Q972847$8A0AC603-F988-4120-8CA7-8111855352FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7285f5ab70c2b0e35490ba58cb5dd5e5864e0836","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2010.03.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q972847$EEF5FA03-BCC7-4605-847B-900AE5B65CC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"875f071316ce68672263eb8815945d3960a41a64","datavalue":{"value":"W2102981110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972847$C09263CA-E596-4951-ADF9-37278BAB325D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"32bb87d674fc5f21b8f246cd1869977c349e508a","datavalue":{"value":{"entity-type":"item","numeric-id":3454737,"id":"Q3454737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972847$D6ADC34D-96B3-4A7D-80A2-2C8DC0AA851D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6e0d7f23ce8d9713cd6019ecb48d7e1dd53b84","datavalue":{"value":{"entity-type":"item","numeric-id":4660639,"id":"Q4660639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972847$32357E46-484E-4930-A0A9-CAA22BE59B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbacb435959ede27a487fee88e9147831e21d196","datavalue":{"value":{"entity-type":"item","numeric-id":697479,"id":"Q697479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972847$8A219028-045B-448F-A6AC-8152ABC57522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec8f2400d7e720d3c20788a7b017951f49fe5c1f","datavalue":{"value":{"entity-type":"item","numeric-id":1974697,"id":"Q1974697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972847$008BBB75-CBFB-40AD-B66B-83E023110D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e742fd0902eb31d4ea95640192577b457d2f321","datavalue":{"value":{"entity-type":"item","numeric-id":1581126,"id":"Q1581126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972847$E5717E52-243D-4366-B6A5-37CEBFB82F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff4671f2bd3d67b63595a6ce8e3b37ad636cd58","datavalue":{"value":{"entity-type":"item","numeric-id":4164353,"id":"Q4164353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972847$027C35F6-6DD2-4774-B15D-52B633196212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4719fb59209121c58d2497b93ce038b91f5ca3","datavalue":{"value":{"entity-type":"item","numeric-id":3462041,"id":"Q3462041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972847$0A452275-FD87-4FCB-B3A6-36F019D0F9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f89a6e69ca8bd1033b672532eff3510a04642b4","datavalue":{"value":{"entity-type":"item","numeric-id":3957938,"id":"Q3957938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972847$531B8FC3-5706-40C5-A167-D9B449ED26CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403fc1f22b82c694bdad70c2cc3fdbf591637b36","datavalue":{"value":{"entity-type":"item","numeric-id":1070819,"id":"Q1070819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972847$76838EBA-0D25-4E75-801D-9EAD3D2402DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad86ed10f9dbc91aef6fdb78e5f6edf0ab2f5e6","datavalue":{"value":{"entity-type":"item","numeric-id":4739657,"id":"Q4739657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972847$1EE22225-FFCB-436C-AF37-86A4CF2A22C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8feb901e5c30be2ec065a8d94d8dca610e908e6b","datavalue":{"value":{"entity-type":"item","numeric-id":1914161,"id":"Q1914161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972847$142DDFDA-4750-4B74-9B84-C1670774DC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34350807a2798c66a77cc114532a5a02d05931d","datavalue":{"value":{"entity-type":"item","numeric-id":1199820,"id":"Q1199820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972847$9044142D-FDCC-4D1A-96E8-E61E214BC7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fcbbd6753729f269d45d9d3d69fe3aa418fcd2e","datavalue":{"value":{"entity-type":"item","numeric-id":1918483,"id":"Q1918483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972847$132D03EB-FA63-4CA2-8B60-3F434CB351D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f60a1e7f1f6e21925a5022e6896e8494794879a0","datavalue":{"value":{"entity-type":"item","numeric-id":1369891,"id":"Q1369891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972847$1CDA0AB8-49C8-4FD8-8470-F469817DF65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b28544f3fc26ad07fa7dbbd2f50b0791e067473c","datavalue":{"value":{"entity-type":"item","numeric-id":1773881,"id":"Q1773881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972847$C2109BC5-9049-46D5-9B0F-73F94CF89697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce15a5923a5f5ce099b52f8f5d9db30864cbbae2","datavalue":{"value":{"entity-type":"item","numeric-id":1176785,"id":"Q1176785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972847$73CFD0E3-012C-4201-9A66-7A89C8B637CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a758b563a010c50aa386640223e0bfc9fc30a6d1","datavalue":{"value":"10.1016/J.JSC.2010.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972847$10E459E9-960C-4751-84CC-8ACE96C05F95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1daf2a882b9c6a67a2c351cd82d5639cdeec6764","datavalue":{"value":{"entity-type":"item","numeric-id":4660639,"id":"Q4660639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c055ce31f640e2d613a13cada672658b26cfe4c","datavalue":{"value":{"amount":"+0.7423880696296692","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":"Q972847$10645B0C-A17E-4476-A6C5-3117544E082A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72af306d41469e758ec71e2173fffdb75886c64a","datavalue":{"value":{"entity-type":"item","numeric-id":697479,"id":"Q697479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfc19a62ba25e5f21c2d59e683bccd9f36bfc7be","datavalue":{"value":{"amount":"+0.7094792127609253","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":"Q972847$9DA773C6-54D2-425B-BBC9-710103F5D348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f6e8c777b06bebe40237e94c6c1165c13862c3","datavalue":{"value":{"entity-type":"item","numeric-id":4909069,"id":"Q4909069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed7076dc17d4c169aac2741cadcc37318b29ea0c","datavalue":{"value":{"amount":"+0.7012144923210144","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":"Q972847$3B1BA975-0399-4323-8A0C-481567FBB5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aff5ba21cc4a01585f10e079c4dfcfc29e2d22b3","datavalue":{"value":{"entity-type":"item","numeric-id":1190750,"id":"Q1190750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28909931652d116599e6d6feb40eea0e31e6a7d1","datavalue":{"value":{"amount":"+0.6956905722618103","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":"Q972847$61109DCF-E40E-41EC-AE98-1FDB321051A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0df660d66cea18d039641736425877dbd0de8741","datavalue":{"value":{"entity-type":"item","numeric-id":3834152,"id":"Q3834152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99da7b7375a578b64545ba42a0add27fd9961571","datavalue":{"value":{"amount":"+0.692512035369873","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":"Q972847$09E81FE9-FD21-4DA1-945F-6A5C7BDF108F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:972847","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:972847"}}}}}