{"entities":{"Q2334020":{"pageid":2344763,"ns":120,"title":"Item:Q2334020","lastrevid":57860937,"modified":"2026-04-02T20:30:28Z","type":"item","id":"Q2334020","labels":{"en":{"language":"en","value":"Rigorous computations with an approximate Dirichlet domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7127244"}},"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":"Q2334020$C5B5D3D4-513B-4143-9CD5-79694AA091D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a98da877b5ac241fd02921630422c8ee1fd265c0","datavalue":{"value":{"text":"Rigorous computations with an approximate Dirichlet domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2334020$12F3C489-1BF4-4E1F-8B56-E7843AAF767C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"300f12db1096962f6839d21769e0e2b8d307d6a2","datavalue":{"value":"1458.57028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334020$5A6B5C04-552C-4C3D-AB26-7EE418E13AEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a1068c9aa8dda1b956a603504c425b0074270f5","datavalue":{"value":{"entity-type":"item","numeric-id":894380,"id":"Q894380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334020$7D677834-EB10-4E53-8EEA-D6A4262E4B3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334020$B4E8EF31-7A1B-4A3F-B2AA-FE0148AA3A32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2561b1efd6a7609647fbceb007fc8fdcc0d609a8","datavalue":{"value":{"time":"+2019-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2334020$09823ECC-879F-4337-832B-83C681B810CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"941f9ce9d3d157936d596808e69f3fcf7a60d10d","datavalue":{"value":"https://arxiv.org/abs/1703.02595","type":"string"},"datatype":"url"},"type":"statement","id":"Q2334020$D8ABCA05-30E6-4F17-825C-6A2CE54D7481","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b7a74afbf14a4e8ba07d2ae0461fcc5d790730bb","datavalue":{"value":"If a topological 3-manifold is known to be hyperbolic (for example if solutions to Thurston's gluing equations are known) then the usual way to compute geometric invariants which cannot be immediately deduced from the existence proof such as length spectrum goes through computing first a Dirichlet domain for the action on hyperbolic 3-space (this is implemented in particular in SnapPea). On the other hand it is hard to compute a certifiable Dirichlet domain for manifolds with very thin parts. The present paper shows that for certain problems (in particular computing the length spectrum) it is sufficient to stop when one has computed up to an upper bound on the volume of the remaining facets, justifying rigorously the efficiency shown in practice by SnapPea's algorithm. More precisely it shows that the graph obtained by taking all group elements which move a well-chosen basepoint at distance at most \\(R\\) and connecting those for which the translates of the approximate Dirichlet domain \\(D'\\) is connected; thus, to compute the elements which will contribute to the length spectrum up to length \\(R\\) it is sufficient to use this graph.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2334020$B19966B2-FEAF-4ED5-A765-4CB88FAD809C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b77eaf96e47ed2ce6045bcd2a588139453bafad5","datavalue":{"value":{"entity-type":"item","numeric-id":321884,"id":"Q321884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334020$DDB4D901-425C-4DCD-9F94-773BFC50665F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3c70959db83bb3351da86f0b2d926a9c118da288","datavalue":{"value":"57M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334020$757C581B-16FD-4CE8-9B40-00E5555D5273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b94b407701508e5bb46691743c4f6b27a112b94","datavalue":{"value":"22E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334020$3D5313EE-C1B7-43F5-9F72-32CDC2087B86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1ba086345407e8437f279a541c46676d528add1","datavalue":{"value":"7127244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334020$BA84EC99-B40A-4498-A4DE-597BB1DEC22E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6a8b5be72b814ed4cd5866c21965db300ceb91f","datavalue":{"value":"length spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q2334020$4DE1694F-101D-490F-9972-F78DF2BC9524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f44907c33773a5e8c596eb542309c928fd88e982","datavalue":{"value":"Dirichlet domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2334020$E2C27D48-E953-4180-A00C-451A5A013085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ca344ded4fcdad497296e8dc8be7cc76121a73e","datavalue":{"value":"hyperbolic 3-manifold","type":"string"},"datatype":"string"},"type":"statement","id":"Q2334020$9F03D926-D32B-4492-A3D8-4EE63694D58D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab3da1a2f6d3bb5205dfdad78569fceeb7974976","datavalue":{"value":{"entity-type":"item","numeric-id":18942,"id":"Q18942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334020$948FBDE2-D3DF-4378-91CF-A5FB678D5AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0460a87e016006f65d42f9b2da8957f1b44357a6","datavalue":{"value":{"entity-type":"item","numeric-id":18943,"id":"Q18943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334020$BC4D186A-7297-4A79-B2E4-F84593235A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2154efc6111556b1a8e909b68671c219e4a798eb","datavalue":{"value":{"entity-type":"item","numeric-id":31953,"id":"Q31953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334020$8EB76A23-A68A-4628-A6C7-F49F176887B4","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":"Q2334020$517C69B6-5773-4008-943F-9AAB1F8D2403","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef3f2e862f505a6c10a865034b05a8376f90acea","datavalue":{"value":"W2977129729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334020$D9C6337C-DBE9-4EBA-A1C7-E77FA63128F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6f90484a328846c9827d98b676548eee1e7663","datavalue":{"value":{"entity-type":"item","numeric-id":2547983,"id":"Q2547983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334020$21306B67-C93B-436B-AD21-8E1972A1B716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa21fa9f8a1034e49f5e72ab8d5bd29fa3c5d41","datavalue":{"value":{"entity-type":"item","numeric-id":3310500,"id":"Q3310500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334020$D3401C47-40E6-46E2-92A1-7144EE9EE61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71c925d7b410e1302fb97c1403da827e2fb02de8","datavalue":{"value":{"entity-type":"item","numeric-id":2801070,"id":"Q2801070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334020$12FBAE37-E7D3-474D-8AA8-8A9BE7B2083F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef89d4f79fac05ceac1dd91a5704439e406940dc","datavalue":{"value":{"entity-type":"item","numeric-id":5716095,"id":"Q5716095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334020$8A80B930-A2C4-44F7-8EDA-C16E47DBAD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58950401e746a1368db4c9fc559083004e541fe4","datavalue":{"value":{"entity-type":"item","numeric-id":5682921,"id":"Q5682921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334020$2BFD0F6F-4B0F-469C-8147-D1332575A628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef762cf722aa655993a28d8dedf95809fc358e8d","datavalue":{"value":{"entity-type":"item","numeric-id":1201986,"id":"Q1201986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334020$29BF8291-61A0-4CF7-9334-F48EA43D275A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d77d8b38c2f48cbf3b93061d90923efdbfc505f","datavalue":{"value":{"entity-type":"item","numeric-id":5323752,"id":"Q5323752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334020$2A6DF7BC-56AB-452F-85F4-09AC4DA091CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb5b1872a11effd47e84bf61d2a18156033c22a","datavalue":{"value":{"entity-type":"item","numeric-id":1145379,"id":"Q1145379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334020$6E8764AA-C84B-486A-9086-64C5CD54B0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8efcd55cd19e0f6fed8cc7ac9c31ed19d2ec0d2a","datavalue":{"value":{"entity-type":"item","numeric-id":2339515,"id":"Q2339515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334020$79FD047C-96F5-4A02-9F01-C36D277CEDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6471c9318c684bdbdb66532000fcb3d6a37c43","datavalue":{"value":{"entity-type":"item","numeric-id":5357351,"id":"Q5357351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334020$133A5845-084D-4F0F-AB39-A2D0DE37B447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ee755a6c1478ad98715104658b2fbd9b535eb4a","datavalue":{"value":{"entity-type":"item","numeric-id":4896966,"id":"Q4896966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334020$F4A01E88-5AB0-4E83-B55D-5E2EC97B00D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135531059cc05782fcc7280fbc9bfd3776db50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1108615,"id":"Q1108615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334020$FA85FD38-491B-4726-9929-6C1C84F281EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"942e86153353abc365e42954b45ee40d1fe03448","datavalue":{"value":{"entity-type":"item","numeric-id":4005892,"id":"Q4005892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334020$7FD05D42-EE3A-47A2-A7B3-AAFBE524D40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28154d9a01c6a6e78f10efa93dc783b1c3191620","datavalue":{"value":{"entity-type":"item","numeric-id":4853855,"id":"Q4853855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334020$2DD1620F-0D15-4DC4-88EB-200DDBA7822B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487136975ca3695f77512e8cf3ecb86c54fb42f6","datavalue":{"value":{"entity-type":"item","numeric-id":2426854,"id":"Q2426854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334020$22FDFA69-8A41-48CA-8F33-D945AE0D8724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b0fa5bf37c3b5b88845d1dc7f9d5916e32ac619","datavalue":{"value":{"entity-type":"item","numeric-id":4555836,"id":"Q4555836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334020$02AA8E5A-D1E9-4A44-8F65-B59BEF50C976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b94d707f9a83f04d1bdc8079310db6eb77636fa","datavalue":{"value":{"entity-type":"item","numeric-id":894381,"id":"Q894381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334020$25A1711D-500E-4092-8E39-E6B358BC2073","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ff17a47a2e886e55078b67930a6b13d2d971a418","datavalue":{"value":"Q127211234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334020$7A02F75F-6B83-44C8-86B9-24BF5141B875","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ee5968d8304d159df2e4a8f12b1ddfe0098f5ca","datavalue":{"value":"10.1016/J.TOPOL.2019.106900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334020$CF524F1F-3B43-43A6-A016-F665653DEB6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0276ac3c7658b7c9c58c24066c26d142ef60c8f4","datavalue":{"value":{"entity-type":"item","numeric-id":1007202,"id":"Q1007202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57de55d15bccbb7c6e267773706881ea3569dba0","datavalue":{"value":{"amount":"+0.7071577906608582","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":"Q2334020$29325445-4BCB-4A29-BE0B-F4F5F2472F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e81116973bb7ab31ffb43fab479447bbb32a3fa","datavalue":{"value":{"entity-type":"item","numeric-id":1032657,"id":"Q1032657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e0bbccf2f49f3fd1ab27d19120d675151049493","datavalue":{"value":{"amount":"+0.7069879174232483","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":"Q2334020$6A3B337B-8E38-4043-BF21-05191EB5D53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acd9d0be51d1407b1c27846596895ce249984fc2","datavalue":{"value":{"entity-type":"item","numeric-id":4506295,"id":"Q4506295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4415d7b95dbb1a89164c74744d842b44998afee8","datavalue":{"value":{"amount":"+0.7034993171691895","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":"Q2334020$979A1393-EB42-4C00-85E1-D477A90693DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e10e7a8526445fec0fb3b7969286573fea470a10","datavalue":{"value":{"entity-type":"item","numeric-id":4999676,"id":"Q4999676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88c7205b3f45534a73814870de999dfcdefdfb89","datavalue":{"value":{"amount":"+0.6945662498474121","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":"Q2334020$E621B7E9-3298-4D93-9C68-50DEDCDCFDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2249d824855e49f0372bb0da5542d99e7577e362","datavalue":{"value":{"entity-type":"item","numeric-id":4853855,"id":"Q4853855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"317a7d332beeb94f357c9e285eec45e7dbcd4734","datavalue":{"value":{"amount":"+0.6943342685699463","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":"Q2334020$282C54BF-E223-43EB-B357-7002EED028B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2334020","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2334020"}}}}}