Brittany Terese Fasy, Samuel Micka, David L Millman, Anna Schenfisch, Lucia Williams
{"title":"A Faithful Discretization of Verbose Directional Transforms.","authors":"Brittany Terese Fasy, Samuel Micka, David L Millman, Anna Schenfisch, Lucia Williams","doi":"10.1007/s00454-025-00791-w","DOIUrl":"https://doi.org/10.1007/s00454-025-00791-w","url":null,"abstract":"<p><p>The persistent homology transform, Betti function transform, and Euler characteristic transform represent a shape with a multiset of persistence diagrams, Betti functions, or Euler characteristic functions, respectively, parameterized by the sphere of directions in the ambient space. In this work, we give the first explicit construction of finite sets of directions discretizing the verbose variants of these transforms and show that such discretizations faithfully represent the underlying shape. Our discretization, while exponential in the dimension of the shape, does not depend on any restrictions on the particular immersion beyond general position, and is stable with respect to various perturbations.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":"75 3","pages":"904-949"},"PeriodicalIF":0.6,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC13050332/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147628818","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Morse Theory for the <i>k</i>-NN Distance Function.","authors":"Yohai Reani, Omer Bobrowski","doi":"10.1007/s00454-025-00795-6","DOIUrl":"https://doi.org/10.1007/s00454-025-00795-6","url":null,"abstract":"<p><p>We study the <i>k</i>-th nearest neighbor distance function from a finite point-set in <math> <msup><mrow><mi>R</mi></mrow> <mi>d</mi></msup> </math> . We provide a Morse theoretic framework to analyze the sub-level set topology. In particular, we present a simple combinatorial-geometric characterization for critical points and their indices, along with detailed information about the possible changes in homology at the critical levels. We conclude by computing the expected number of critical points for a homogeneous Poisson process. Our results deliver significant insights and tools for the analysis of persistent homology in order-<i>k</i> Delaunay mosaics, and random <i>k</i>-fold coverage.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":"75 2","pages":"491-510"},"PeriodicalIF":0.6,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12953273/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147357540","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Maximum Betti Numbers of Čech Complexes.","authors":"Herbert Edelsbrunner, János Pach","doi":"10.1007/s00454-025-00796-5","DOIUrl":"https://doi.org/10.1007/s00454-025-00796-5","url":null,"abstract":"<p><p>The Upper Bound Theorem for convex polytopes implies that the <i>p</i>-th Betti number of the Čech complex of any set of <i>N</i> points in <math> <msup><mrow><mi>R</mi></mrow> <mi>d</mi></msup> </math> and any radius satisfies <math> <mrow><msub><mi>β</mi> <mi>p</mi></msub> <mrow></mrow> <mo>=</mo> <mi>O</mi> <mrow><mo>(</mo> <msup><mi>N</mi> <mi>m</mi></msup> <mo>)</mo></mrow> </mrow> </math> , with <math><mrow><mi>m</mi> <mo>=</mo> <mo>min</mo> <mo>{</mo> <mi>p</mi> <mo>+</mo> <mn>1</mn> <mo>,</mo> <mrow><mrow><mo>⌈</mo></mrow> <mi>d</mi> <mo>/</mo> <mn>2</mn> <mrow><mo>⌉</mo></mrow> </mrow> <mo>}</mo></mrow> </math> . We construct sets in even and odd dimensions that prove this upper bound is asymptotically tight. For example, we describe a set of <math><mrow><mi>N</mi> <mo>=</mo> <mn>2</mn> <mo>(</mo> <mi>n</mi> <mo>+</mo> <mn>1</mn> <mo>)</mo></mrow> </math> points in <math> <msup><mrow><mi>R</mi></mrow> <mn>3</mn></msup> </math> and two radii such that the first Betti number of the Čech complex at one radius is <math> <mrow> <msup><mrow><mo>(</mo> <mi>n</mi> <mo>+</mo> <mn>1</mn> <mo>)</mo></mrow> <mn>2</mn></msup> <mo>-</mo> <mn>1</mn></mrow> </math> , and the second Betti number of the Čech complex at the other radius is <math><msup><mi>n</mi> <mn>2</mn></msup> </math> .</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":"75 2","pages":"597-624"},"PeriodicalIF":0.6,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12953301/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147357507","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Ranita Biswas, Sebastiano Cultrera di Montesano, Ondřej Draganov, Herbert Edelsbrunner, Morteza Saghafian
{"title":"On the Size of Chromatic Delaunay Mosaics.","authors":"Ranita Biswas, Sebastiano Cultrera di Montesano, Ondřej Draganov, Herbert Edelsbrunner, Morteza Saghafian","doi":"10.1007/s00454-025-00778-7","DOIUrl":"10.1007/s00454-025-00778-7","url":null,"abstract":"<p><p>Given a locally finite set <math><mrow><mi>A</mi> <mo>⊆</mo> <msup><mrow><mi>R</mi></mrow> <mi>d</mi></msup> </mrow> </math> and a coloring <math><mrow><mi>χ</mi> <mo>:</mo> <mi>A</mi> <mo>→</mo> <mo>{</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>s</mi> <mo>}</mo></mrow> </math> , we introduce the <i>chromatic Delaunay mosaic</i> of <math><mi>χ</mi></math> , which is a Delaunay mosaic in <math> <msup><mrow><mi>R</mi></mrow> <mrow><mi>d</mi> <mo>+</mo> <mi>s</mi></mrow> </msup> </math> that represents how points of different colors mingle. Our main results are bounds on the size of the chromatic Delaunay mosaic, in which we assume that <i>d</i> and <i>s</i> are constants. For example, if <i>A</i> is finite with <math><mrow><mi>n</mi> <mo>=</mo> <mrow><mo>#</mo> <mi>A</mi></mrow> </mrow> </math> , and the coloring is random, then the chromatic Delaunay mosaic has <math><mrow><mi>O</mi> <mo>(</mo> <msup><mi>n</mi> <mrow><mo>⌈</mo> <mi>d</mi> <mo>/</mo> <mn>2</mn> <mo>⌉</mo></mrow> </msup> <mo>)</mo></mrow> </math> cells in expectation. In contrast, for Delone sets and Poisson point processes in <math> <msup><mrow><mi>R</mi></mrow> <mi>d</mi></msup> </math> , the expected number of cells within a closed ball is only a constant times the number of points in this ball. Furthermore, in <math> <msup><mrow><mi>R</mi></mrow> <mn>2</mn></msup> </math> all colorings of a well spread set of <i>n</i> points have chromatic Delaunay mosaics of size <i>O</i>(<i>n</i>). This encourages the use of chromatic Delaunay mosaics in applications.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":"75 1","pages":"24-47"},"PeriodicalIF":0.6,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12748319/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145879476","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Stability and Inference of the Euler Characteristic Transform.","authors":"Lewis Marsh, David Beers","doi":"10.1007/s00454-025-00763-0","DOIUrl":"https://doi.org/10.1007/s00454-025-00763-0","url":null,"abstract":"<p><p>The Euler characteristic transform (ECT) is a signature from topological data analysis (TDA) which summarises shapes embedded in Euclidean space. Compared with other TDA methods, the ECT is fast to compute and it is injective on a broad class of shapes. However, small perturbations of a shape can lead to large distortions in its ECT. In this paper, we propose a new metric on compact one-dimensional shapes and prove that the ECT is stable with respect to this metric. Crucially, our result uses curvature, rather than the size of a triangulation of an underlying shape, to control stability. We further construct a computationally tractable statistical estimator of the ECT based on the theory of Gaussian processes. We use our stability result to prove that our estimator is consistent on shapes perturbed by independent ambient noise; i.e., the estimator converges to the true ECT as the sample size increases.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":"75 3","pages":"795-838"},"PeriodicalIF":0.6,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC13050334/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147628806","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Orr Dunkelman, Zeev Geyzel, Chaya Keller, Nathan Keller, Eyal Ronen, Adi Shamir, Ran J Tessler
{"title":"Error Resilient Space Partitioning.","authors":"Orr Dunkelman, Zeev Geyzel, Chaya Keller, Nathan Keller, Eyal Ronen, Adi Shamir, Ran J Tessler","doi":"10.1007/s00454-025-00804-8","DOIUrl":"https://doi.org/10.1007/s00454-025-00804-8","url":null,"abstract":"<p><p>A major research area in discrete geometry is to consider the best way to partition the <i>d</i>-dimensional Euclidean space <math> <msup><mrow><mi>R</mi></mrow> <mi>d</mi></msup> </math> under various quality criteria. In this paper we introduce a new type of space partitioning that is motivated by the problem of rounding noisy measurements from the continuous space <math> <msup><mrow><mi>R</mi></mrow> <mi>d</mi></msup> </math> to a discrete subset of representative values. Specifically, we study partitions of <math> <msup><mrow><mi>R</mi></mrow> <mi>d</mi></msup> </math> into bounded-size tiles colored by one of <i>k</i> colors, such that tiles of the same color have a distance of at least <i>t</i> from each other. Such tilings allow for <i>error-resilient</i> rounding, as two points of the same color and distance less than <i>t</i> from each other are guaranteed to belong to the same tile, and thus, to be rounded to the same point. The main problem we study in this paper is characterizing the achievable tradeoffs between the number of colors <i>k</i> and the distance <i>t</i>, for various dimensions <i>d</i>. On the qualitative side, we show that in <math> <msup><mrow><mi>R</mi></mrow> <mi>d</mi></msup> </math> , using <math><mrow><mi>k</mi> <mo>=</mo> <mi>d</mi> <mo>+</mo> <mn>1</mn></mrow> </math> colors is both sufficient and necessary to achieve <math><mrow><mi>t</mi> <mo>></mo> <mn>0</mn></mrow> </math> . On the quantitative side, we achieve numerous upper and lower bounds on <i>t</i> as a function of <i>k</i>. In particular, for <math><mrow><mi>d</mi> <mo>=</mo> <mn>3</mn> <mo>,</mo> <mn>4</mn> <mo>,</mo> <mn>8</mn> <mo>,</mo> <mn>24</mn></mrow> </math> , we obtain sharp asymptotic bounds on <i>t</i>, as <math><mrow><mi>k</mi> <mo>→</mo> <mi>∞</mi></mrow> </math> . We obtain our results with a variety of techniques including isoperimetric inequalities, the Brunn-Minkowski theorem, sphere packing bounds, Bapat's connector-free lemma, and Čech cohomology.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":"75 3","pages":"839-870"},"PeriodicalIF":0.6,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC13050337/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147628884","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Subword Complexes and Kalai's Conjecture on Reconstruction of Spheres.","authors":"Cesar Ceballos, Joseph Doolittle","doi":"10.1007/s00454-025-00733-6","DOIUrl":"https://doi.org/10.1007/s00454-025-00733-6","url":null,"abstract":"<p><p>A famous theorem in polytope theory states that the combinatorial type of a simplicial polytope is completely determined by its facet-ridge graph. This celebrated result was proven by Blind and Mani (Aequationes Math 34(2-3):287-297, 1987, 10.1007/BF01830678), via a non-constructive proof using topological tools from homology theory. An elegant constructive proof was given by Kalai shortly after. In their original paper, Blind and Mani asked whether their result can be extended to simplicial spheres, and a positive answer to their question was conjectured by Kalai (2009, https://gilkalai.wordpress.com/2009/01/16/telling-a-simple-polytope-from-its-graph/). In this paper, we show that Kalai's conjecture holds in the particular case of Knutson and Miller's spherical subword complexes. This family of simplicial spheres arises in the context of Coxeter groups, and is conjectured to be polytopal. In contrast, not all manifolds are reconstructible. We show two explicit examples, namely the torus and the projective plane.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":"74 1","pages":"23-48"},"PeriodicalIF":0.6,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12177012/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144477722","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Lech Duraj, Ross J Kang, Hoang La, Jonathan Narboni, Filip Pokrývka, Clément Rambaud, Amadeus Reinald
{"title":"<ArticleTitle xmlns:ns0=\"http://www.w3.org/1998/Math/MathML\">The <ns0:math><ns0:mi>χ</ns0:mi></ns0:math> -Binding Function of <i>d</i>-Directional Segment Graphs.","authors":"Lech Duraj, Ross J Kang, Hoang La, Jonathan Narboni, Filip Pokrývka, Clément Rambaud, Amadeus Reinald","doi":"10.1007/s00454-025-00737-2","DOIUrl":"https://doi.org/10.1007/s00454-025-00737-2","url":null,"abstract":"<p><p>Given a positive integer <i>d</i>, the class <i>d</i>-DIR is defined as all those intersection graphs formed from a finite collection of line segments in <math> <msup><mrow><mi>R</mi></mrow> <mn>2</mn></msup> </math> having at most <i>d</i> slopes. Since each slope induces an interval graph, it easily follows for every <i>G</i> in <i>d</i>-DIR with clique number at most <math><mi>ω</mi></math> that the chromatic number <math><mrow><mi>χ</mi> <mo>(</mo> <mi>G</mi> <mo>)</mo></mrow> </math> of <i>G</i> is at most <math><mrow><mi>d</mi> <mi>ω</mi></mrow> </math> . We show for every even value of <math><mi>ω</mi></math> how to construct a graph in <i>d</i>-DIR that meets this bound exactly. This partially confirms a conjecture of Bhattacharya, Dvořák and Noorizadeh. Furthermore, we show that the <math><mi>χ</mi></math> -binding function of <i>d</i>-DIR is <math><mrow><mi>ω</mi> <mo>↦</mo> <mi>d</mi> <mi>ω</mi></mrow> </math> for <math><mi>ω</mi></math> even and <math><mrow><mi>ω</mi> <mo>↦</mo> <mi>d</mi> <mo>(</mo> <mi>ω</mi> <mo>-</mo> <mn>1</mn> <mo>)</mo> <mo>+</mo> <mn>1</mn></mrow> </math> for <math><mi>ω</mi></math> odd. This extends an earlier result by Kostochka and Nešetřil, which treated the special case <math><mrow><mi>d</mi> <mo>=</mo> <mn>2</mn></mrow> </math> .</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":"74 3","pages":"758-770"},"PeriodicalIF":0.6,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12484362/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145214309","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Compact Metric Spaces with Infinite Cop Number.","authors":"Agelos Georgakopoulos","doi":"10.1007/s00454-024-00696-0","DOIUrl":"https://doi.org/10.1007/s00454-024-00696-0","url":null,"abstract":"<p><p>Mohar recently adapted the classical game of Cops and Robber from graphs to metric spaces, thereby unifying previously studied pursuit-evasion games. He conjectured that finitely many cops can win on any compact geodesic metric space, and that their number can be upper-bounded in terms of the ranks of the homology groups when the space is a simplicial pseudo-manifold. We disprove these conjectures by constructing a metric on <math> <msup><mrow><mi>S</mi></mrow> <mn>3</mn></msup> </math> with infinite cop number. More problems are raised than settled.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":"74 3","pages":"793-804"},"PeriodicalIF":0.6,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12484412/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145214328","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Nóra Frankl, Panna Gehér, Arsenii Sagdeev, Géza Tóth
{"title":"Monochromatic Infinite Sets in Minkowski Planes.","authors":"Nóra Frankl, Panna Gehér, Arsenii Sagdeev, Géza Tóth","doi":"10.1007/s00454-024-00702-5","DOIUrl":"https://doi.org/10.1007/s00454-024-00702-5","url":null,"abstract":"<p><p>We prove that for any <math><msub><mi>ℓ</mi> <mi>p</mi></msub> </math> -norm in the plane with <math><mrow><mn>1</mn> <mo><</mo> <mi>p</mi> <mo><</mo> <mi>∞</mi></mrow> </math> and for every infinite <math><mrow><mi>M</mi> <mo>⊂</mo> <msup><mrow><mi>R</mi></mrow> <mn>2</mn></msup> </mrow> </math> , there exists a two-colouring of the plane such that no isometric copy of <math><mi>M</mi></math> is monochromatic. On the contrary, we show that for every polygonal norm (that is, the unit ball is a polygon) in the plane, there exists an infinite <math><mrow><mi>M</mi> <mo>⊂</mo> <msup><mrow><mi>R</mi></mrow> <mn>2</mn></msup> </mrow> </math> such that for every two-colouring of the plane there exists a monochromatic isometric copy of <math><mi>M</mi></math> .</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":"74 2","pages":"569-583"},"PeriodicalIF":0.6,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12449424/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145114837","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}