{"title":"Algorithmic Symplectic Packing","authors":"Greta Fischer, J. Gutt, M. Junger","doi":"10.1080/10586458.2022.2041135","DOIUrl":null,"url":null,"abstract":"In this article we explore a symplectic packing problem where the targets and domains are 2n-dimensional symplectic manifolds. We work in the context where the manifolds have first homology group equal to Z, and we require the embeddings to induce isomorphisms between first homology groups. In this case, Maley, Mastrangeli and Traynor [MMT00] showed that the problem can be reduced to a combinatorial optimization problem, namely packing certain allowable simplices into a given standard simplex. They designed a computer program and presented computational results. In particular, they determined the simplex packing widths in dimension four for up to k = 12 simplices, along with lower bounds for higher values of k. We present a modified algorithmic approach that allows us to determine the k-simplex packing widths for up to k = 13 simplices in dimension four and up to k = 8 simplices in dimension six. Moreover, our approach determines all simplex-multisets that allow for optimal packings.","PeriodicalId":50464,"journal":{"name":"Experimental Mathematics","volume":" ","pages":""},"PeriodicalIF":0.7000,"publicationDate":"2021-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Experimental Mathematics","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1080/10586458.2022.2041135","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
In this article we explore a symplectic packing problem where the targets and domains are 2n-dimensional symplectic manifolds. We work in the context where the manifolds have first homology group equal to Z, and we require the embeddings to induce isomorphisms between first homology groups. In this case, Maley, Mastrangeli and Traynor [MMT00] showed that the problem can be reduced to a combinatorial optimization problem, namely packing certain allowable simplices into a given standard simplex. They designed a computer program and presented computational results. In particular, they determined the simplex packing widths in dimension four for up to k = 12 simplices, along with lower bounds for higher values of k. We present a modified algorithmic approach that allows us to determine the k-simplex packing widths for up to k = 13 simplices in dimension four and up to k = 8 simplices in dimension six. Moreover, our approach determines all simplex-multisets that allow for optimal packings.
期刊介绍:
Experimental Mathematics publishes original papers featuring formal results inspired by experimentation, conjectures suggested by experiments, and data supporting significant hypotheses.
Experiment has always been, and increasingly is, an important method of mathematical discovery. (Gauss declared that his way of arriving at mathematical truths was "through systematic experimentation.") Yet this tends to be concealed by the tradition of presenting only elegant, fully developed, and rigorous results.
Experimental Mathematics was founded in the belief that theory and experiment feed on each other, and that the mathematical community stands to benefit from a more complete exposure to the experimental process. The early sharing of insights increases the possibility that they will lead to theorems: An interesting conjecture is often formulated by a researcher who lacks the techniques to formalize a proof, while those who have the techniques at their fingertips have been looking elsewhere. Even when the person who had the initial insight goes on to find a proof, a discussion of the heuristic process can be of help, or at least of interest, to other researchers. There is value not only in the discovery itself, but also in the road that leads to it.