{"entities":{"Q2039276":{"pageid":2050018,"ns":120,"title":"Item:Q2039276","lastrevid":82389812,"modified":"2026-05-06T20:47:27Z","type":"item","id":"Q2039276","labels":{"en":{"language":"en","value":"A conjecture on the lengths of filling pairs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7367289"}},"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":"Q2039276$A6EB5339-7A84-4B51-8204-5D38F6969A98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5137de16c96b52bc9730c2da8f69028a73a32c9","datavalue":{"value":{"text":"A conjecture on the lengths of filling pairs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2039276$A041F616-A96C-4D98-8092-4D0176EBEC29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f56ab071f7ff3d1c26aca4b60c654ec907f0840","datavalue":{"value":"1475.57020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039276$119DDA36-BD4F-4C49-9B23-5EFF6A2D97AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acb254173f541853cca85b88380ac9761d553868","datavalue":{"value":{"entity-type":"item","numeric-id":2039274,"id":"Q2039274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039276$A6F89CDE-E2EF-4318-91DA-D6CC04CD9E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"819ea965e72805b093b79722451f106cc68bd2d4","datavalue":{"value":{"entity-type":"item","numeric-id":2039275,"id":"Q2039275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039276$B5E5A361-6DBA-4EB9-A832-2EAD6DE91606","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7b27d55f344dc6bfd48e3ff9582c04d67175a8a8","datavalue":{"value":{"entity-type":"item","numeric-id":181320,"id":"Q181320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039276$CD0D43AD-6885-4F9F-926E-1AB33C441075","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e29c6d6a0888bba054ad21764ad4f68f69737b0","datavalue":{"value":{"time":"+2021-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2039276$631ECE22-D41D-4F16-9F7D-CE2E2C78C9FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c26bed2a39baf133fdc29cfef6c3053cb514194","datavalue":{"value":"https://arxiv.org/abs/1907.07096","type":"string"},"datatype":"url"},"type":"statement","id":"Q2039276$20CF333A-EDFE-487A-9F87-F483A47C612C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"40177ce766264863cb9cb99fd11fa410f4637dfa","datavalue":{"value":"Let \\(M_g\\) be the closed oriented hyperbolic surface of genus \\(g \\geq 2\\). A pair \\((\\alpha, \\beta)\\) of simple closed curves on \\(M_g\\) is called a \\textit{filling} if \\(M_g \\setminus (\\alpha \\cup \\beta)\\) is a disjoint union of \\(k \\geq 1\\) disks. A filling pair is called \\textit{minimal} when \\(k=1\\). Let \\(\\ell_{M_g}(\\alpha)\\) denote the length of the unique geodesic representative in the free homotopy class of \\(\\alpha\\), and let \\[\\mathcal{F}_g(M_g) = \\min\\{\\ell_{M_g}(\\alpha) + \\ell_{M_g}(\\beta) : (\\alpha,\\beta) \\text{ is a minimal filling pair of } M_g\\}.\\] When \\((\\alpha,\\beta)\\) is a minimal filling pair, \\(M_g \\setminus (\\alpha \\cup \\beta)\\) is a \\((8g-4)\\)-gon of area \\(4\\pi(g-1)\\) such that \\(\\ell_{M_g}(\\alpha) + \\ell_{M_g}(\\beta)\\) is half the perimeter of the polygon.  Let \\(\\mathcal{M}_g\\) denote the moduli space of genus \\(g\\). Considering that the regular \\(n\\)-gon has the least perimeter among all hyperbolic \\(n\\)-gons of fixed area, it was shown in [\\textit{K. Bezdek}, Ann. Univ. Sci. Budap. Rolando E\u00f6tv\u00f6s, Sect. Math. 27, 107--112 (1984; Zbl 0578.52008)] that \\[\\mathcal{F}_g(M_g) \\geq m_g, \\text{ for all } M_g \\in \\mathcal{M}_g,\\] where \\(m_g\\) is the perimeter of a hyperbolic regular right-angled \\((8g-4)\\)-gon. Furthermore, by defining the filling pair systole function \\(\\mathcal{Y}_g : \\mathcal{M}_g \\to \\mathbb{R}\\) by \\[\\mathcal{Y}_g(M_g) = \\min\\{\\ell_{M_g}(\\alpha) + \\ell_{M_g}(\\beta) : (\\alpha,\\beta) \\text{ is a filling pair of } M_g\\},\\] it was conjectured by \\textit{T. Aougab} and \\textit{S. Huang} [Algebr. Geom. Topol. 15, No. 2, 903--932 (2015; Zbl 1334.57013)] that \\(\\mathcal{Y}_g(M_g) \\geq m_g/2\\), for all \\(M_g \\in \\mathcal{M}_g\\). In fact, this conjecture is shown in [loc. cit.] to hold true when \\(M_g \\setminus (\\alpha \\cup \\beta)\\) has exactly two components.  Let the area and the perimeter of a polygon \\(P\\) be denoted by \\(\\mathrm{area}(P)\\) and \\(\\mathrm{Perim}(P)\\), respectively. In this paper, the authors settle the conjecture of Aougab-Huang in the affirmative by proving the following more general result.   Theorem. Suppose that for \\(1 \\leq i \\leq k\\), \\(P_i\\) is a regular hyperbolic \\(2m_i\\)-gon with \\(m_i \\geq 2\\). Let \\(R\\) be a regular \\(N\\)-gon such that \\(N = 4(1- k)+2\\sum_{i=1}^km_i\\) and \\(\\mathrm{area}(R) = \\sum_{i=1}^k \\mathrm{area}(P_i)\\). If \\(R\\) is not acute, then \\[\\sum_{i=1}^k \\mathrm{Perim}(P_i) \\geq \\mathrm{Perim}(R).\\]   A key ingredient in the proof of the main theorem is the establishment of the following proposition.   Proposition. Let \\(P\\) be a regular hyperbolic \\(2n\\)-gon with interior angle \\(\\geq \\pi/2\\). Suppose that for \\(i=1,2\\), \\(P_i\\) is a regular hyperbolic \\(m_i\\)-gon with \\(m_i \\geq 2\\) such that \\(m_1 +m_2 = n+2\\) and \\(\\mathrm{area} (P_1) +\\mathrm{area} (P_2) = \\mathrm{area}(P)\\). Then \\[\\mathrm{Perim}(P) \\leq \\mathrm{Perim}(P_1) + \\mathrm{Perim}(P_2).\\]   For \\(n \\geq 3\\) and \\(0 < x < (n-2)\\pi\\), let \\(P_n(x)\\) be a regular hyperbolic \\(n\\)-gon with area \\(x\\). A crucial step in the proof of the proposition above is showing that for \\(n \\geq 4\\), the function \\( \\mathrm{Perim}(P_n(x)) - \\mathrm{Perim}(P_{n+1}(x))\\) is monotonically increasing in \\(x\\). The proof also draws inspiration from some of the ideas in [\\textit{J. Gaster}, Geom. Dedicata 213, No. 1, 339--343 (2021; Zbl 1467.51014)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039276$F2ED52B5-3F31-456E-B1F9-A1D62678ED92","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"83781743ae655888f0fb0d56fcb2a23ec6a902fd","datavalue":{"value":{"entity-type":"item","numeric-id":725642,"id":"Q725642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039276$60C54D66-541D-4092-B7CF-7E26C4D010AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4f46eaa8986bc0e421c797402e0b7f26c57ee07b","datavalue":{"value":"57K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039276$BB7F1B11-D01E-4B64-8397-096EDE6FF5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b143bf73f3f2801b42b1d69fc571c2af593dde5c","datavalue":{"value":"51M16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039276$942C65CE-135D-4A55-B73E-7E71736EB83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"27de2a219c035e32ba827558ba74171d8ae53193","datavalue":{"value":"51M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039276$0A017976-E4E3-47AF-9BE2-66B5158A6D29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46d365ea5a73bc7e92111a7c83ba566b119b3f00","datavalue":{"value":"7367289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039276$B4891D3E-AE25-484B-B9F9-CE8428F0229F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0a234cb127e5832e3781ed864ef1af21c5b0fe","datavalue":{"value":"hyperbolic surfaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039276$B8F27243-9952-480D-A67F-E0DD21192F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8216dcf7f67cceb24d624fe12bbcbddca0596bc","datavalue":{"value":"filling pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039276$D4148C7D-DCF7-4A85-A0BB-9B3E4EDFFC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1e18e2c9f93849898055391ecc2ccf2349d8bf3","datavalue":{"value":"generalized systole","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039276$9D99588C-0B8A-49AB-BF6B-178BAD61DA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"812c062dfe6a4b116e1217d30c74249a0c6ddd71","datavalue":{"value":"isoperimetric inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039276$4EB641E6-1D00-471A-9651-5F8AAC101956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e41e6c0f76c4712e6292d74b44ffcede1a87f41","datavalue":{"value":"Gauss-Bonnet theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039276$65BF7C6C-8C6C-487F-9E44-69DB93D4EEEB","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":"Q2039276$235650DA-D8E6-4F5D-9BE0-E6FECE146AE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9c9bc916b94af8c5765b669c4d1218d347357dc","datavalue":{"value":"W3106271139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039276$0C29CD45-8331-4F12-BB58-DC4549A0ACC7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c6c9a9fdea9787e0564b013e5245129c06ca71","datavalue":{"value":{"entity-type":"item","numeric-id":1863509,"id":"Q1863509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039276$B47106C4-92B9-4E31-9D60-02968498056A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"722bb748f1095e51392e24e9dbe131a9eb316557","datavalue":{"value":{"entity-type":"item","numeric-id":2346727,"id":"Q2346727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039276$25CD98BA-2D28-484E-A750-7333A3A641B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"687921a322d671a896f7c562e2d0cc433f82e2b1","datavalue":{"value":{"entity-type":"item","numeric-id":3700386,"id":"Q3700386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039276$DC431A5D-B06A-471A-914C-F9657DE8B959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bc96028a4f7debfc69a03bdb6c6d0d202773fa4","datavalue":{"value":{"entity-type":"item","numeric-id":5893928,"id":"Q5893928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039276$DC211DD4-1DB4-416E-A09A-DD383F30EBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6153eb4d12fa0ba453634d206ac36b222a1d73b7","datavalue":{"value":{"entity-type":"item","numeric-id":3093928,"id":"Q3093928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039276$5ABABD62-D6D8-49A5-B7DD-D57562486368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c948cba7e05e315d0153c7f65cd46e954e9485","datavalue":{"value":{"entity-type":"item","numeric-id":4645885,"id":"Q4645885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039276$7FF5EC13-A29E-44D7-A126-65C89999D000","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80d718cd5c6d5febeb121b0a808f47b9f4956330","datavalue":{"value":"10.1007/S10711-020-00586-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039276$347D3FBA-237A-48A6-9A56-A7321F80005C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3177bee3a88e8e6feb40e74936b037da833ab0bf","datavalue":{"value":{"entity-type":"item","numeric-id":4559277,"id":"Q4559277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c53fc77214042684b361c054a71ea72a827ae8","datavalue":{"value":{"amount":"+0.7834534645080566","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":"Q2039276$7406D07F-7495-481B-8414-51754D6D43FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"200c5fbbf7b67de5bec9b5004ad3e1135a6e8d43","datavalue":{"value":{"entity-type":"item","numeric-id":2039272,"id":"Q2039272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"668d4f85c9800f0a5fc0053a0d794f184653dcd3","datavalue":{"value":{"amount":"+0.7787403464317322","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":"Q2039276$AE1C0B78-1D94-462E-B72D-19A0B8C535D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec1be11aa0ca675b93903159d59c04b849ff0eb","datavalue":{"value":{"entity-type":"item","numeric-id":2571735,"id":"Q2571735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed34546dab325449e7276600a389cfafe2b0302","datavalue":{"value":{"amount":"+0.7532071471214294","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":"Q2039276$18759200-F142-49B0-898D-F6BF82B8C1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee6e82f5de015a5b66ea91a6e9ad21df58ed8d44","datavalue":{"value":{"entity-type":"item","numeric-id":953940,"id":"Q953940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64e405af33763cf9ccd7b84aea5420b53103c7ac","datavalue":{"value":{"amount":"+0.7514309287071228","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":"Q2039276$5678BC94-DD8C-4AF4-A015-C6E57AE365AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50a3314d313ca6301b76ac812952e3386cabef7f","datavalue":{"value":{"entity-type":"item","numeric-id":2346727,"id":"Q2346727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8c79f8ccf3c11da113ba195a01e7cdd0c50420e","datavalue":{"value":{"amount":"+0.748153805732727","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":"Q2039276$7E46DBE3-CBE5-42EA-91A7-6603D763AC9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A conjecture on the lengths of filling pairs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_conjecture_on_the_lengths_of_filling_pairs"}}}}}