{"entities":{"Q355379":{"pageid":357146,"ns":120,"title":"Item:Q355379","lastrevid":61289763,"modified":"2026-04-10T22:24:02Z","type":"item","id":"Q355379","labels":{"en":{"language":"en","value":"On the conjugacy problem for finite-state automorphisms of regular rooted trees. With an appendix by Rapha\u00ebl M. Jungers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6190855"}},"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":"Q355379$A56780AB-0074-444B-834A-69EF1AD09EEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c76f5c96e47abbce46bf7d9f086eb6008bedd124","datavalue":{"value":{"text":"On the conjugacy problem for finite-state automorphisms of regular rooted trees. With an appendix by Rapha\u00ebl M. Jungers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q355379$FF8A0742-26FC-438B-A8AC-8960BE4E08B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c9040572fa18e6ed26848a641279eff2459eeec","datavalue":{"value":"1286.20034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q355379$66C9B486-975E-41A6-9A04-B185CEBCE85D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06231db880afd60fab1345d8913a0495436180be","datavalue":{"value":"10.4171/GGD/184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q355379$908D6C31-601B-4A5D-A5B9-2A85E68E4A96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"12e3e9652f934c7e19471889c1a9038496516295","datavalue":{"value":{"entity-type":"item","numeric-id":260093,"id":"Q260093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q355379$0F2135B1-0395-45CA-B0BD-3EDD7CAC6CFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fd0691c7173b432a2a4c9fb2775e82f2b46520a","datavalue":{"value":{"time":"+2013-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q355379$84ECDC8F-756D-4C97-AD53-E00892D25385","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d817da2d0be59bc6de99168a647dfb3b72ee693f","datavalue":{"value":"https://arxiv.org/abs/1011.2227","type":"string"},"datatype":"url"},"type":"statement","id":"Q355379$131C5B31-3150-4B86-8532-F642123F2332","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8de3c7792659f6deb75638c002e81edb6d45b4df","datavalue":{"value":"Summary: We study the conjugacy problem in the automorphism group \\(\\Aut(T)\\) of a regular rooted tree \\(T\\) and in its subgroup \\(\\mathrm F\\Aut(T)\\) of finite-state automorphisms. We show that under the contracting condition and the finiteness of what we call the orbit-signalizer, two finite-state automorphisms are conjugate in \\(\\Aut(T)\\) if and only if they are conjugate in \\(\\mathrm F\\Aut(T)\\), and that this problem is decidable. We prove that both conditions are satisfied by bounded automorphisms and establish that the (simultaneous) conjugacy problem in the group of bounded automata is decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q355379$CE7265AE-0A08-4F5F-8356-494B042B199A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q355379$344C68FB-04D9-4ADE-91A2-6F6CDE846B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"513bb673382d4f095f636a36264a50a0e4d1769e","datavalue":{"value":"20E08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q355379$8F28D787-87B6-4588-8DB1-2553E41DC13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02e66589753ec184c7d05c645efc14f6302392b5","datavalue":{"value":"20F28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q355379$DFE0CAFA-C2DA-4B3A-8D8C-A95CAFCAB6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4783aefc0465a962c2651b89c22d3aa35c14ce","datavalue":{"value":"20E36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q355379$177A8671-AF79-4D43-BABC-5F533FD6AA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q355379$AF60D22B-7958-4E66-AE0F-A71F4D9D1235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74e7832a915a62c417a3bf8c026eff5989fd94d3","datavalue":{"value":"05C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q355379$2EC035AC-B492-4C79-9278-FFE8A05E7A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9f75a1ea6a1b050032188834d6ec5de5f473dd3","datavalue":{"value":"37B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q355379$8AD84570-F70B-4924-9982-93943DDAE954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q355379$C6735BF1-58BF-47A5-B2EA-76DF06C2E0BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fc31925b2b0d3b33a61a850354c3528a73402ae","datavalue":{"value":"6190855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q355379$9DD80C73-F129-475D-804F-FEE17E0F4B2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d445b7338ace22b150140fcf796df71421871b8","datavalue":{"value":"automorphisms of rooted trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q355379$71310A9C-A5FB-44C9-953A-541F52C77416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a63ee56c4d2f81c4a9b7f5e8124d077a3591e1b","datavalue":{"value":"conjugacy problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q355379$49836EFC-1B63-48C0-8AEA-D28AB0134B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dffa965e6ee2776d26b2aeb707cba162e3d5516","datavalue":{"value":"finite-state automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q355379$C84C4C86-EE6F-4B24-8190-30EF154B1784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q355379$98BB4F21-2341-4157-99B7-1FA9A644C156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1808a444fab37f569ecc7f4f9d3b9a4d7fbba0b6","datavalue":{"value":"bounded automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q355379$ACFFE60B-B310-4A65-AFB7-017EACE72730","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":"Q355379$19FAC574-1485-49B7-8DD8-1BC973F22199","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcddc559fa4ae005e15a2fad10841bac174a0bf","datavalue":{"value":{"entity-type":"item","numeric-id":290262,"id":"Q290262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q355379$FB110202-F38B-4616-AD56-ED4D60D6A993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ee7fcc5feba9a7c8e526b2b9eb1af896f85634d","datavalue":{"value":{"entity-type":"item","numeric-id":2483266,"id":"Q2483266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q355379$C8395F56-51B7-451A-B8D7-0D9082EC66E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5dfe66ec118ba6143aa83316eba38e776c20fff4","datavalue":{"value":"W2006669816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q355379$CC44A589-D10A-4075-8190-98F1E92A63F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9174c1f77f3303ff9fd6c4ead139f9a4934f8337","datavalue":{"value":{"entity-type":"item","numeric-id":357856,"id":"Q357856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q355379$633B5A04-A87C-46FB-B9F1-27F202A7EE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d1d95195427831dcafadf0e1ad723522ddc5222","datavalue":{"value":{"entity-type":"item","numeric-id":618243,"id":"Q618243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q355379$EFE86C1F-53E5-445C-A119-1E6119DCA190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62896c5ae85aa53c77dfde70b215bbb59ebd86bc","datavalue":{"value":{"entity-type":"item","numeric-id":2404195,"id":"Q2404195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q355379$44183B55-82C1-42BF-BF72-F25BD6A8E6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1918851ba56e654b0f00ccd287cbcd8af49b9507","datavalue":{"value":{"entity-type":"item","numeric-id":6772631,"id":"Q6772631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q355379$A0B7CC0C-4FDE-4FC6-B457-A4AE4244CA22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec39a5728927f9e4e38734c40ce101de120eac3","datavalue":{"value":{"entity-type":"item","numeric-id":5325349,"id":"Q5325349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e009d8109b5378879aa0e7b049c61d6b3f2bacfd","datavalue":{"value":{"amount":"+0.8954302668571472","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":"Q355379$AD27265B-D696-4C5B-82C9-BF53FC3A7AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b59993b9a9da80ca65e7a04b89a627a76fc0398","datavalue":{"value":{"entity-type":"item","numeric-id":2944019,"id":"Q2944019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59d6d18443b77b2fc6b0e0b6a740d476bf9054b7","datavalue":{"value":{"amount":"+0.8137905597686768","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":"Q355379$605AC130-64EF-4028-9A1D-EB77D080ABCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"421e6c94527ef89c2c5437475a74e1e0a1409b01","datavalue":{"value":{"entity-type":"item","numeric-id":1936130,"id":"Q1936130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f240eed2af8a0e065047efa5bc729f4f6d0e9c0f","datavalue":{"value":{"amount":"+0.8119351863861084","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":"Q355379$8ABFDF12-878F-45CD-897F-8B628E3B1417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"565a499a5967027ad657b5c2baf790f6c3612871","datavalue":{"value":{"entity-type":"item","numeric-id":4786296,"id":"Q4786296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe0ecf8e8dede3287bcbe028e2bde38950a739d","datavalue":{"value":{"amount":"+0.8114091753959656","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":"Q355379$A57AB638-D2E1-492B-8D87-36945C26CB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"304043cb5e7d1f61b893b002f8c0d51ded675161","datavalue":{"value":{"entity-type":"item","numeric-id":4210610,"id":"Q4210610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20ae4995615bc411354bd28391017f3b2f4cb5de","datavalue":{"value":{"amount":"+0.8099142909049988","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":"Q355379$8E95A7D0-C761-447C-AC71-0D842B6EE0BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the conjugacy problem for finite-state automorphisms of regular rooted trees. With an appendix by Rapha\u00ebl M. Jungers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_conjugacy_problem_for_finite-state_automorphisms_of_regular_rooted_trees._With_an_appendix_by_Rapha%C3%ABl_M._Jungers"}}}}}