Problema del verme di Moser
Il problema del verme di Moser è un problema di geometria ancora irrisolto formulato dal matematico austriaco-canadese Leo Moser nel 1966. Il problema chiede quale sia la più piccola regione capace di ospitare ogni curva piana di lunghezza 1. Il problema ammette che la curva possa essere ruotata e traslata nel piano per poter essere disposta all'interno della regione che, in alcune versioni seguenti del problema, ma non nell'originale, è richiesto che sia convessa.[1]
Il nome del problema deriva da un'altra formulazione che è stata data dello stesso, ossia: "quali sono la dimensione e la forma della superficie piana di area minima che può essere utilizzata per realizzare la testa di un martello con cui si può schiacciare qualunque verme piano, non importa come sia contorto, colpendolo interamente, dalla testa alla coda, con un solo colpo?".[2] Un'altra versione, meno cruenta, recita: "qual è l'area minima che deve avere una coperta perché mamma verme possa coprire del tutto il suo piccolo, in qualunque forma esso sia coricato?".[3]
Esempi modifica
Per meglio comprendere il problema si può prendere ad esempio il fatto che un cerchio di raggio 1/2 può ospitare qualsiasi curva piana di lunghezza 1 posizionando il punto medio di tale curva nel centro del cerchio. Allo stesso modo, un'altra regione di questo tipo è una a forma di rombo con angoli al vertice di 60 e 120 gradi (π/3 e 2π/3 radianti) e con una diagonale maggiore di lunghezza unitaria. Tuttavia, queste non sono soluzioni ottimali e sono note infatti altre regioni di forma diversa e area più piccola in grado di ospitare ogni curva piana di lunghezza 1, al contempo però, come già detto, non è ancora stato dimostrato di aver trovato la più piccola delle regioni adatte.[4][5]
Proprietà della soluzioni modifica
L'esistenza della soluzione di questo problema non è del tutto banale e una possibile alternativa sarebbe la possibilità di avvicinarsi all'area di minor superficie ma l'impossibilità di ottenerne il valore esatto. Tuttavia, per quanto riguarda il caso di superfici convesse, l'esistenza di una soluzione può essere dedotta dal teorema di selezione di Blaschke.[2][6]
Inoltre non risulta banale determinare se una data superficie piana sia in effetti un soluzione al problema. In uno studio del 1974, Gerriets e Poole hanno esposto una congettura secondo cui una superficie può ospitare ogni curva di lunghezza unitaria se e solo se essa è in grado di ospitare ogni linea spezzata di lunghezza unitaria composta da 3 segmenti,[1] una condizione che, in teoria, è più facile da determinare, tuttavia, nel 2007, Panraksa e altri hanno dimostrato l'inesattezza di tale congettura, dimostrando inoltre che la congettura non sarebbe valida qualunque fosse il numero di segmenti delle linee spezzate.[7]
Limiti noti modifica
Il problema rimane aperto, ma negli anni i ricercatori hanno via via diminuito il divario tra i limiti inferiore e superiore noti, quindi tra i valori al di sopra e al di sotto dei quali il valore richiesto non può trovarsi. In particolare, nel 2003 Norwood e Poole hanno scoperto una superficie non convessa che soddisfa le condizioni richiesta avente un'area pari a 0,260437;[5] nel caso di sole superfici convesse, invece, nel 2006 Wang ha scoperto una superficie di area 0,270911861.[8] Per quanto riguarda il limite inferiore, nel 2013, Khandhawit, Pagonakis e Sriswasdi hanno dimostrato che, nel caso di superfici convesse, l'area della superficie in oggetto non può essere inferiore a 0,232239.[4]
In una sua congettura degli anni 1970, John Wetzel aveva ipotizzato che un settore circolare di raggio unitario e angolo al vertice di 30 gradi rispondesse ai requisiti della superficie richiesta da Moser, e ciò, con un'area di , ossia circa 0,2618, sposterebbe il valore del limite superiore ancora più in basso. Al 2021, sono state proposte due dimostrazioni di tale congettura, una nel 2017[9] e una nel 2019,[10] tuttavia entrambe non sono ancora state convalidate da una revisione paritaria.
Note modifica
- ^ a b John Gerriets e George Poole, Convex regions which cover arcs of constant length, in The American Mathematical Monthly, vol. 81, n. 1, 1974, pp. 36-41, DOI:10.2307/2318909, JSTOR 2318909, MR 0333991.
- ^ a b Rick Norwood, George Poole e Michael Laidacker, The worm problem of Leo Moser (PDF), in Discrete and Computational Geometry, vol. 7, n. 2, 1992, pp. 153-162, DOI:10.1007/BF02187832, MR 1139077. URL consultato il 10 giugno 2021.
- ^ Peter Brass, William O. J. Moser e János Pach, Universal covers, in Research Problems in Discrete Geometry, Springer Science & Business Media, 2006. URL consultato il 10 giugno 2021.
- ^ a b Tirasan Khandhawit, Dimitrios Pagonakis e Sira Sriswasdi, Lower Bound for Convex Hull Area and Universal Cover Problems, in International Journal of Computational Geometry & Applications, vol. 23, n. 3, 2013, pp. 197-212, DOI:10.1142/S0218195913500076, MR 3158583, arXiv:1101.5638.
- ^ a b Rick Norwood e George Poole, An improved upper bound for Leo Moser's worm problem, in Discrete and Computational Geometry, vol. 29, n. 3, 2003, pp. 409-417, DOI:10.1007/s00454-002-0774-3, MR 1961007.
- ^ Daniele Gerosa, Convergenza di Gromov-Hausdorff (PDF), in Metrica di Gromov-Hausdorff ed esistenza di geodetiche, Università degli Studi di Padova, 2015, p. 3. URL consultato l'8 giugno 2021.
- ^ Chatchawan Panraksa, John E. Wetzel e Wacharin Wichiramala, Covering n-segment unit arcs is not sufficient, in Discrete and Computational Geometry, vol. 37, n. 2, 2007, pp. 297-299, DOI:10.1007/s00454-006-1258-7, MR 2295060.
- ^ Wei Wang, An improved upper bound for the worm problem, in Acta Mathematica Sinica, vol. 49, n. 4, 2006, pp. 835-846, MR 2264090.
- ^ Yevgenya Movshovich e John Wetzel, Drapeable unit arcs fit in the unit 30° sector (XML), in Advances in Geometry, vol. 17, 2017, DOI:10.1515/advgeom-2017-0011. URL consultato il 10 giugno 2021.
- ^ Chatchawan Panraksa e Wacharin Wichiramala, Wetzel's sector covers unit arcs, 2019, arXiv:1907.07351.
