{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:46:42Z","timestamp":1740109602734,"version":"3.37.3"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2023,10,14]],"date-time":"2023-10-14T00:00:00Z","timestamp":1697241600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,10,14]],"date-time":"2023-10-14T00:00:00Z","timestamp":1697241600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["Project-ID 286237555 - TRR 195"],"award-info":[{"award-number":["Project-ID 286237555 - TRR 195"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100016190","name":"Trond Mohn stiftelse","doi-asserted-by":"publisher","award":["Algebraic and topological cycles in tropical and complex geometry"],"award-info":[{"award-number":["Algebraic and topological cycles in tropical and complex geometry"]}],"id":[{"id":"10.13039\/100016190","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Comput Geom"],"published-print":{"date-parts":[[2025,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We describe a canonical compactification of a polyhedral complex in Euclidean space. When the recession cones of the polyhedral complex form a fan, the compactified polyhedral complex is a subspace of a tropical toric variety. In this case, the procedure is analogous to the tropical compactifications of subvarieties of tori. We give an analysis of the combinatorial structure of the compactification and show that its Hasse diagram can be computed via Ganter\u2019s algorithm. Our algorithm is implemented in and shipped with .<\/jats:p>","DOI":"10.1007\/s00454-023-00581-2","type":"journal-article","created":{"date-parts":[[2023,10,14]],"date-time":"2023-10-14T17:01:24Z","timestamp":1697302884000},"page":"264-292","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Tropical Compactification via Ganter\u2019s Algorithm"],"prefix":"10.1007","volume":"73","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9224-7761","authenticated-orcid":false,"given":"Lars","family":"Kastner","sequence":"first","affiliation":[]},{"given":"Kris","family":"Shaw","sequence":"additional","affiliation":[]},{"given":"Anna-Lena","family":"Winz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,10,14]]},"reference":[{"key":"581_CR1","unstructured":"Amini, O., Piquerez, M.: Hodge theory for tropical varieties (2020)"},{"issue":"1","key":"581_CR2","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.jctb.2005.06.004","volume":"96","author":"F Ardila","year":"2006","unstructured":"Ardila, F., Klivans, C.J.: The Bergman complex of a matroid and phylogenetic trees. J. Comb. Theory Ser. B 96(1), 38\u201349 (2006). https:\/\/doi.org\/10.1016\/j.jctb.2005.06.004","journal-title":"J. Comb. Theory Ser. B"},{"issue":"1","key":"581_CR3","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1137\/141000671","volume":"59","author":"J Bezanson","year":"2017","unstructured":"Bezanson, J., Edelman, A., Karpinski, S., Shah, V.B.: Julia: a fresh approach to numerical computing. SIAM Rev. 59(1), 65\u201398 (2017)","journal-title":"SIAM Rev."},{"issue":"4","key":"581_CR4","doi-asserted-by":"publisher","first-page":"789","DOI":"10.1007\/s00454-010-9318-4","volume":"46","author":"JI Burgos Gil","year":"2011","unstructured":"Burgos Gil, J.I., Sombra, M.: When do the recession cones of a polyhedral complex form a fan? Discrete Comput. Geom. 46(4), 789\u2013798 (2011)","journal-title":"Discrete Comput. Geom."},{"key":"581_CR5","unstructured":"Curry, J.: Sheaves, Cosheaves and Applications (2013)"},{"issue":"4","key":"581_CR6","first-page":"437","volume":"62","author":"EM Feichtner","year":"2005","unstructured":"Feichtner, E.M., Sturmfels, B.: Matroid polytopes, nested sets and Bergman fans. Port. Math. (N.S.) 62(4), 437\u2013468 (2005)","journal-title":"Port. Math. (N.S.)"},{"issue":"3","key":"581_CR7","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1007\/s00222-003-0327-2","volume":"155","author":"EM Feichtner","year":"2004","unstructured":"Feichtner, E.M., Yuzvinsky, S.: Chow rings of toric varieties defined by atomic lattices. Invent. Math. 155(3), 515\u2013536 (2004)","journal-title":"Invent. Math."},{"key":"581_CR8","doi-asserted-by":"crossref","unstructured":"Ganter, B.: Two basic algorithms in concept analysis. In: Formal Concept Analysis. 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15\u201318, 2010. Proceedings, pp. 312\u2013340 (2010)","DOI":"10.1007\/978-3-642-11928-6_22"},{"key":"581_CR9","doi-asserted-by":"crossref","unstructured":"Gawrilow, E., Joswig, M.: polymake: a framework for analyzing convex polytopes. In: Polytopes\u2014Combinatorics and Computation (Oberwolfach, 1997). DMV Sem., vol. 29, pp. 43\u201373. Birkh\u00e4user, Basel (2000)","DOI":"10.1007\/978-3-0348-8438-9_2"},{"key":"581_CR10","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1016\/j.jsc.2018.06.016","volume":"91","author":"S Hampe","year":"2019","unstructured":"Hampe, S., Joswig, M., Schr\u00f6ter, B.: Algorithms for tight spans and tropical linear spaces. J. Symb. Comput. 91, 116\u2013128 (2019)","journal-title":"J. Symb. Comput."},{"key":"581_CR11","unstructured":"Itenberg, I., Katzarkov, L., Mikhalkin, G., Zharkov, I.: Tropical Homology"},{"key":"581_CR12","doi-asserted-by":"crossref","unstructured":"Jell, P., Rau, J., Shaw, K.: Th\u00e9or\u00e8me de Lefschetz $$(1,1)$$ en g\u00e9om\u00e9trie tropicale. \u00c9pijournal de G\u00e9om. Alg\u00e9br., EPIGA 2, 27 (2018). Id\/No 11","DOI":"10.46298\/epiga.2018.volume2.4126"},{"issue":"1","key":"581_CR13","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1515\/advgeom-2018-0006","volume":"19","author":"P Jell","year":"2019","unstructured":"Jell, P., Shaw, K., Smacka, J.: Superforms, tropical cohomology, and Poincar\u00e9 duality. Adv. Geom. 19(1), 101\u2013130 (2019)","journal-title":"Adv. Geom."},{"key":"581_CR14","doi-asserted-by":"crossref","unstructured":"Joswig, M., Vater, P.: Real tropical hyperfaces by patchworking in polymake (2020)","DOI":"10.1007\/978-3-030-52200-1_20"},{"key":"581_CR15","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1016\/j.laa.2016.02.027","volume":"501","author":"M Joswig","year":"2016","unstructured":"Joswig, M., Loho, G.: Weighted digraphs and tropical cones. Linear Algebra Appl. 501, 304\u2013343 (2016)","journal-title":"Linear Algebra Appl."},{"key":"581_CR16","doi-asserted-by":"crossref","unstructured":"Kaluba, M., Lorenz, B., Timme, S.: Polymake.jl: a new interface to polymake. In: Bigatti, A.M., Carette, J., Davenport, J.H., Joswig, M., de Wolff, T. (eds.) Mathematical Software\u2014ICMS 2020, pp. 377\u2013385. Springer, Cham (2020)","DOI":"10.1007\/978-3-030-52200-1_37"},{"key":"581_CR17","doi-asserted-by":"crossref","unstructured":"Kastner, L., Shaw, K., Winz, A.-L.: Cellular sheaf cohomology in polymake. In: Combinatorial Algebraic Geometry. Selected Papers from the 2016 Apprenticeship Program, Ottawa, Canada, July\u2013December 2016, pp. 369\u2013385 (2017)","DOI":"10.1007\/978-1-4939-7486-3_17"},{"key":"581_CR18","doi-asserted-by":"crossref","unstructured":"Maclagan, D., Sturmfels, B.: Introduction to Tropical Geometry, vol. 161, 363 (2015)","DOI":"10.1090\/gsm\/161"},{"key":"581_CR19","unstructured":"Mikhalkin, G., Rau, J.: Tropical Geometry. Book, draft available at https:\/\/math.uniandes.edu.co\/~j.rau\/downloads\/main.pdf"},{"key":"581_CR20","doi-asserted-by":"crossref","unstructured":"Mikhalkin, G.: Amoebas of algebraic varieties and tropical geometry. In: Different Faces of Geometry, pp. 257\u2013300 (2004)","DOI":"10.1007\/0-306-48658-X_6"},{"issue":"5","key":"581_CR21","doi-asserted-by":"publisher","first-page":"1035","DOI":"10.1016\/j.top.2003.11.006","volume":"43","author":"G Mikhalkin","year":"2004","unstructured":"Mikhalkin, G.: Decomposition into pairs-of-pants for complex algebraic hypersurfaces. Topology 43(5), 1035\u20131065 (2004)","journal-title":"Topology"},{"key":"581_CR22","doi-asserted-by":"crossref","unstructured":"Osserman, B., Rabinoff, J.: Lifting nonproper tropical intersections. In: Tropical and Non-Archimedean Geometry. Bellairs Workshop in Number Theory, Tropical and non-Archimedean Geometry, Bellairs Research Institute, Holetown, Barbados, USA, May 6\u201313, 2011, pp. 15\u201344 (2013)","DOI":"10.1090\/conm\/605\/12110"},{"issue":"3","key":"581_CR23","doi-asserted-by":"publisher","first-page":"543","DOI":"10.4310\/MRL.2009.v16.n3.a13","volume":"16","author":"S Payne","year":"2009","unstructured":"Payne, S.: Analytification is the limit of all tropicalizations. Math. Res. Lett. 16(3), 543\u2013556 (2009). https:\/\/doi.org\/10.4310\/MRL.2009.v16.n3.a13","journal-title":"Math. Res. Lett."},{"issue":"6","key":"581_CR24","doi-asserted-by":"publisher","first-page":"3192","DOI":"10.1016\/j.aim.2012.02.003","volume":"229","author":"J Rabinoff","year":"2012","unstructured":"Rabinoff, J.: Tropical analytic geometry, Newton polygons, and tropical intersections. Adv. Math. 229(6), 3192\u20133255 (2012)","journal-title":"Adv. Math."},{"key":"581_CR25","unstructured":"Renaudineau, A., Shaw, K.: Bounding the Betti numbers of real hypersurfaces near the tropical limit (2018)"},{"key":"581_CR26","doi-asserted-by":"publisher","unstructured":"Richter-Gebert, J., Sturmfels, B., Theobald, T.: First steps in tropical geometry. In: Idempotent Mathematics and Mathematical Physics. Contemporary Mathematics, vol. 377, pp. 289\u2013317 (2005). https:\/\/doi.org\/10.1090\/conm\/377\/06998","DOI":"10.1090\/conm\/377\/06998"},{"key":"581_CR27","doi-asserted-by":"publisher","first-page":"1527","DOI":"10.1137\/080716219","volume":"22","author":"D Speyer","year":"2004","unstructured":"Speyer, D.: Tropical linear spaces. SIAM J. Discrete Math. 22, 1527\u20131558 (2004). https:\/\/doi.org\/10.1137\/080716219","journal-title":"SIAM J. Discrete Math."},{"issue":"4","key":"581_CR28","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.1353\/ajm.2007.0029","volume":"129","author":"J Tevelev","year":"2007","unstructured":"Tevelev, J.: Compactifications of subvarieties of tori. Am. J. Math. 129(4), 1087\u20131104 (2007)","journal-title":"Am. J. Math."}],"container-title":["Discrete &amp; Computational Geometry"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00454-023-00581-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00454-023-00581-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00454-023-00581-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T03:01:58Z","timestamp":1736218918000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00454-023-00581-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,14]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,1]]}},"alternative-id":["581"],"URL":"https:\/\/doi.org\/10.1007\/s00454-023-00581-2","relation":{},"ISSN":["0179-5376","1432-0444"],"issn-type":[{"type":"print","value":"0179-5376"},{"type":"electronic","value":"1432-0444"}],"subject":[],"published":{"date-parts":[[2023,10,14]]},"assertion":[{"value":"13 January 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 June 2023","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 July 2023","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 October 2023","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}