Discrete & Computational Geometry最新文献

{"title":"The Cone of $$5times 5$$ Completely Positive Matrices","authors":"Max Pfeffer, José Alejandro Samper","doi":"10.1007/s00454-023-00620-y","DOIUrl":"https://doi.org/10.1007/s00454-023-00620-y","url":null,"abstract":"<p>We study the cone of completely positive (cp) matrices for the first interesting case <span>(n = 5)</span>. This is a semialgebraic set for which the polynomial equalities and inequlities that define its boundary can be derived. We characterize the different loci of this boundary and we examine the two open sets with cp-rank 5 or 6. A numerical algorithm is presented that is fast and able to compute the cp-factorization even for matrices in the boundary. With our results, many new example cases can be produced and several insightful numerical experiments are performed that illustrate the difficulty of the cp-factorization problem.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139560497","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Almost Congruent Triangles","authors":"","doi":"10.1007/s00454-023-00623-9","DOIUrl":"https://doi.org/10.1007/s00454-023-00623-9","url":null,"abstract":"<h3>Abstract</h3> <p>Almost 50 years ago Erdős and Purdy asked the following question: Given <em>n</em> points in the plane, how many triangles can be approximate congruent to equilateral triangles? They pointed out that by dividing the points evenly into three small clusters built around the three vertices of a fixed equilateral triangle, one gets at least <span> <span>(leftlfloor frac{n}{3} rightrfloor cdot leftlfloor frac{n+1}{3} rightrfloor cdot leftlfloor frac{n+2}{3} rightrfloor )</span> </span> such approximate copies. In this paper we provide a matching upper bound and thereby answer their question. More generally, for every triangle <em>T</em> we determine the maximum number of approximate congruent triangles to <em>T</em> in a point set of size <em>n</em>. Parts of our proof are based on hypergraph Turán theory: for each point set in the plane and a triangle <em>T</em>, we construct a 3-uniform hypergraph <span> <span>(mathcal {H}=mathcal {H}(T))</span> </span>, which contains no hypergraph as a subgraph from a family of forbidden hypergraphs <span> <span>(mathcal {F}=mathcal {F}(T))</span> </span>. Our upper bound on the number of edges of <span> <span>(mathcal {H})</span> </span> will determine the maximum number of triangles that are approximate congruent to <em>T</em>.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139460336","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Euclidean TSP in Narrow Strips","authors":"Henk Alkema, Mark de Berg, Remco van der Hofstad, Sándor Kisfaludi-Bak","doi":"10.1007/s00454-023-00609-7","DOIUrl":"https://doi.org/10.1007/s00454-023-00609-7","url":null,"abstract":"<p>We investigate how the complexity of <span>Euclidean TSP</span> for point sets <i>P</i> inside the strip <span>((-infty ,+infty )times [0,delta ])</span> depends on the strip width <span>(delta )</span>. We obtain two main results.</p><ul>\u0000<li>\u0000<p>For the case where the points have distinct integer <i>x</i>-coordinates, we prove that a shortest bitonic tour (which can be computed in <span>(O(nlog ^2 n))</span> time using an existing algorithm) is guaranteed to be a shortest tour overall when <span>(delta leqslant 2sqrt{2})</span>, a bound which is best possible.</p>\u0000</li>\u0000<li>\u0000<p>We present an algorithm that is fixed-parameter tractable with respect to <span>(delta )</span>. Our algorithm has running time <span>(2^{O(sqrt{delta })} n + O(delta ^2 n^2))</span> for sparse point sets, where each <span>(1times delta )</span> rectangle inside the strip contains <i>O</i>(1) points. For random point sets, where the points are chosen uniformly at random from the rectangle <span>([0,n]times [0,delta ])</span>, it has an expected running time of <span>(2^{O(sqrt{delta })} n)</span>. These results generalise to point sets <i>P</i> inside a hypercylinder of width <span>(delta )</span>. In this case, the factors <span>(2^{O(sqrt{delta })})</span> become <span>(2^{O(delta ^{1-1/d})})</span>.</p>\u0000</li>\u0000</ul>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139408141","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Counting Arcs in $${mathbb {F}}_q^2$$","authors":"Krishnendu Bhowmick, Oliver Roche-Newton","doi":"10.1007/s00454-023-00622-w","DOIUrl":"https://doi.org/10.1007/s00454-023-00622-w","url":null,"abstract":"<p>An arc in <span>(mathbb F_q^2)</span> is a set <span>(P subset mathbb F_q^2)</span> such that no three points of <i>P</i> are collinear. We use the method of hypergraph containers to prove several counting results for arcs. Let <span>({mathcal {A}}(q))</span> denote the family of all arcs in <span>(mathbb F_q^2)</span>. Our main result is the bound </p><span>$$begin{aligned} |{mathcal {A}}(q)| le 2^{(1+o(1))q}. end{aligned}$$</span><p>This matches, up to the factor hidden in the <i>o</i>(1) notation, the trivial lower bound that comes from considering all subsets of an arc of size <i>q</i>. We also give upper bounds for the number of arcs of a fixed (large) size. Let <span>(k ge q^{2/3}(log q)^3)</span>, and let <span>({mathcal {A}}(q,k))</span> denote the family of all arcs in <span>(mathbb F_q^2)</span> with cardinality <i>k</i>. We prove that </p><span>$$begin{aligned} |{mathcal {A}}(q,k)| le left( {begin{array}{c}(1+o(1))q kend{array}}right) . end{aligned}$$</span><p>This result improves a bound of Roche-Newton and Warren [12]. A nearly matching lower bound </p><span>$$begin{aligned} |{mathcal {A}}(q,k)| ge left( {begin{array}{c}q kend{array}}right) end{aligned}$$</span><p>follows by considering all subsets of size <i>k</i> of an arc of size <i>q</i>.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139415409","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Topological Optimization with Big Steps","authors":"Arnur Nigmetov, Dmitriy Morozov","doi":"10.1007/s00454-023-00613-x","DOIUrl":"https://doi.org/10.1007/s00454-023-00613-x","url":null,"abstract":"<p>Using persistent homology to guide optimization has emerged as a novel application of topological data analysis. Existing methods treat persistence calculation as a black box and backpropagate gradients only onto the simplices involved in particular pairs. We show how the cycles and chains used in the persistence calculation can be used to prescribe gradients to larger subsets of the domain. In particular, we show that in a special case, which serves as a building block for general losses, the problem can be solved exactly in linear time. This relies on another contribution of this paper, which eliminates the need to examine a factorial number of permutations of simplices with the same value. We present empirical experiments that show the practical benefits of our algorithm: the number of steps required for the optimization is reduced by an order of magnitude.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-01-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139372938","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Plurality in Spatial Voting Games with Constant $$beta $$","authors":"Arnold Filtser, Omrit Filtser","doi":"10.1007/s00454-023-00619-5","DOIUrl":"https://doi.org/10.1007/s00454-023-00619-5","url":null,"abstract":"<p>Consider a set <i>V</i> of voters, represented by a multiset in a metric space (<i>X</i>, <i>d</i>). The voters have to reach a decision—a point in <i>X</i>. A choice <span>(pin X)</span> is called a <span>(beta )</span>-plurality point for <i>V</i>, if for any other choice <span>(qin X)</span> it holds that <span>(|{vin Vmid beta cdot d(p,v)le d(q,v)}| ge frac{|V|}{2})</span>. In other words, at least half of the voters “prefer” <i>p</i> over <i>q</i>, when an extra factor of <span>(beta )</span> is taken in favor of <i>p</i>. For <span>(beta =1)</span>, this is equivalent to Condorcet winner, which rarely exists. The concept of <span>(beta )</span>-plurality was suggested by Aronov, de Berg, Gudmundsson, and Horton [TALG 2021] as a relaxation of the Condorcet criterion. Let <span>(beta ^*_{(X,d)}=sup {beta mid text{ every } text{ finite } text{ multiset } V{ in}X{ admitsa}beta text{-plurality } text{ point }})</span>. The parameter <span>(beta ^*)</span> determines the amount of relaxation required in order to reach a stable decision. Aronov et al. showed that for the Euclidean plane <span>(beta ^*_{({mathbb {R}}^2,Vert cdot Vert _2)}=frac{sqrt{3}}{2})</span>, and more generally, for <i>d</i>-dimensional Euclidean space, <span>(frac{1}{sqrt{d}}le beta ^*_{({mathbb {R}}^d,Vert cdot Vert _2)}le frac{sqrt{3}}{2})</span>. In this paper, we show that <span>(0.557le beta ^*_{({mathbb {R}}^d,Vert cdot Vert _2)})</span> for any dimension <i>d</i> (notice that <span>(frac{1}{sqrt{d}}&lt;0.557)</span> for any <span>(dge 4)</span>). In addition, we prove that for every metric space (<i>X</i>, <i>d</i>) it holds that <span>(sqrt{2}-1le beta ^*_{(X,d)})</span>, and show that there exists a metric space for which <span>(beta ^*_{(X,d)}le frac{1}{2})</span>.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139094710","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Twisted Ways to Find Plane Structures in Simple Drawings of Complete Graphs","authors":"Oswin Aichholzer, Alfredo García, Javier Tejel, Birgit Vogtenhuber, Alexandra Weinberger","doi":"10.1007/s00454-023-00610-0","DOIUrl":"https://doi.org/10.1007/s00454-023-00610-0","url":null,"abstract":"<p>Simple drawings are drawings of graphs in which the edges are Jordan arcs and each pair of edges share at most one point (a proper crossing or a common endpoint). A simple drawing is c-monotone if there is a point <i>O</i> such that each ray emanating from <i>O</i> crosses each edge of the drawing at most once. We introduce a special kind of c-monotone drawings that we call generalized twisted drawings. A c-monotone drawing is generalized twisted if there is a ray emanating from <i>O</i> that crosses all the edges of the drawing. Via this class of drawings, we show that every simple drawing of the complete graph with <i>n</i> vertices contains <span>(Omega (n^{frac{1}{2}}))</span> pairwise disjoint edges and a plane cycle (and hence path) of length <span>(Omega (frac{log n }{log log n}))</span>. Both results improve over best previously published lower bounds. On the way we show several structural results and properties of generalized twisted and c-monotone drawings, some of which we believe to be of independent interest. For example, we show that a drawing <i>D</i> is c-monotone if there exists a point <i>O</i> such that no edge of <i>D</i> is crossed more than once by any ray that emanates from <i>O</i> and passes through a vertex of <i>D</i>.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139094704","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Dynamic Connectivity in Disk Graphs","authors":"Alexander Baumann, Haim Kaplan, Katharina Klost, Kristin Knorr, Wolfgang Mulzer, Liam Roditty, Paul Seiferth","doi":"10.1007/s00454-023-00621-x","DOIUrl":"https://doi.org/10.1007/s00454-023-00621-x","url":null,"abstract":"<p>Let <span>(S subseteq mathbb {R}^2)</span> be a set of <i>n</i> <i>sites</i> in the plane, so that every site <span>(s in S)</span> has an <i>associated radius</i> <span>(r_s &gt; 0)</span>. Let <span>(mathcal {D}(S))</span> be the <i>disk intersection graph</i> defined by <i>S</i>, i.e., the graph with vertex set <i>S</i> and an edge between two distinct sites <span>(s, t in S)</span> if and only if the disks with centers <i>s</i>, <i>t</i> and radii <span>(r_s)</span>, <span>(r_t)</span> intersect. Our goal is to design data structures that maintain the connectivity structure of <span>(mathcal {D}(S))</span> as sites are inserted and/or deleted in <i>S</i>. First, we consider <i>unit disk graphs</i>, i.e., we fix <span>(r_s = 1)</span>, for all sites <span>(s in S)</span>. For this case, we describe a data structure that has <span>(O(log ^2 n))</span> amortized update time and <span>(O(log n/log log n))</span> query time. Second, we look at disk graphs <i>with bounded radius ratio</i> <span>(Psi )</span>, i.e., for all <span>(s in S)</span>, we have <span>(1 le r_s le Psi )</span>, for a parameter <span>(Psi )</span> that is known in advance. Here, we not only investigate the fully dynamic case, but also the incremental and the decremental scenario, where only insertions or only deletions of sites are allowed. In the fully dynamic case, we achieve amortized expected update time <span>(O(Psi log ^{4} n))</span> and query time <span>(O(log n/log log n))</span>. This improves the currently best update time by a factor of <span>(Psi )</span>. In the incremental case, we achieve logarithmic dependency on <span>(Psi )</span>, with a data structure that has <span>(O(alpha (n)))</span> amortized query time and <span>(O(log Psi log ^{4} n))</span> amortized expected update time, where <span>(alpha (n))</span> denotes the inverse Ackermann function. For the decremental setting, we first develop an efficient decremental <i>disk revealing</i> data structure: given two sets <i>R</i> and <i>B</i> of disks in the plane, we can delete disks from <i>B</i>, and upon each deletion, we receive a list of all disks in <i>R</i> that no longer intersect the union of <i>B</i>. Using this data structure, we get decremental data structures with a query time of <span>(O(log n/log log n))</span> that supports deletions in <span>(O(nlog Psi log ^{4} n))</span> overall expected time for disk graphs with bounded radius ratio <span>(Psi )</span> and <span>(O(nlog ^{5} n))</span> overall expected time for disk graphs with arbitrary radii, assuming that the deletion sequence is oblivious of the internal random choices of the data structures.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139094707","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"When is a Planar Rod Configuration Infinitesimally Rigid?","authors":"Signe Lundqvist, Klara Stokes, Lars-Daniel Öhman","doi":"10.1007/s00454-023-00617-7","DOIUrl":"https://doi.org/10.1007/s00454-023-00617-7","url":null,"abstract":"<p>We investigate the rigidity properties of <i>rod configurations</i>. Rod configurations are realizations of rank two incidence geometries as points (joints) and straight lines (rods) in the Euclidean plane, such that the lines move as rigid bodies, connected at the points. Note that not all incidence geometries have such realizations. We show that under the assumptions that the rod configuration exists and is sufficiently generic, its infinitesimal rigidity is equivalent to the infinitesimal rigidity of generic frameworks of the graph defined by replacing each rod by a cone over its point set. To put this into context, the <i>molecular conjecture</i> states that the infinitesimal rigidity of rod configurations realizing 2-regular hypergraphs is determined by the rigidity of generic body and hinge frameworks realizing the same hypergraph. This conjecture was proven by Jackson and Jordán in the plane, and by Katoh and Tanigawa in arbitrary dimension. Whiteley proved a version of the molecular conjecture for hypergraphs of arbitrary degree that have realizations as <i>independent</i> body and joint frameworks. Our result extends his result to hypergraphs that do not necessarily have realizations as independent body and joint frameworks, under the assumptions listed above.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2023-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138818652","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Deep Cliques in Point Sets","authors":"Stefan Langerman, Marcelo Mydlarz, Emo Welzl","doi":"10.1007/s00454-023-00612-y","DOIUrl":"https://doi.org/10.1007/s00454-023-00612-y","url":null,"abstract":"<p>Let <span>(n in mathbb {N})</span> and <span>(k in mathbb {N}_0)</span>. Given a set <i>P</i> of <i>n</i> points in the plane, a pair <span>({p,q})</span> of points in <i>P</i> is called <i>k</i>-<i>deep</i>, if there are at least <i>k</i> points from <i>P</i> strictly on each side of the line spanned by <i>p</i> and <i>q</i>. A <i>k</i>-<i>deep clique</i> is a subset of <i>P</i> with all its pairs <i>k</i>-<i>deep</i>. We show that if <i>P</i> is in general position (i.e., no three points on a line), there is a <i>k</i>-deep clique of size at least <span>( max {1,lfloor frac{n}{k+1} rfloor })</span>; this is tight, for example in convex position. A <i>k</i>-deep clique in any set <i>P</i> of <i>n</i> points cannot have size exceeding <span>(n-lceil frac{3k}{2} rceil )</span>; this is tight for <span>(k le frac{n}{3})</span>. Moreover, for <span>(k le lfloor frac{n}{2} rfloor - 1)</span>, a <i>k</i>-deep clique cannot have size exceeding <span>(2sqrt{n(lfloor frac{n}{2} rfloor -k)})</span>; this is tight within a constant factor. We also pay special attention to <span>((frac{n}{2}-1))</span>-deep cliques (for <i>n</i> even), which are called <i>halving cliques</i>. These have been considered in the literature by Khovanova and Yang, 2012, and they play a role in the latter bound above. Every set <i>P</i> in general position with a halving clique <i>Q</i> of size <i>m</i> must have at least <span>(lfloor frac{(m-1)(m+3)}{2}rfloor )</span> points. If <i>Q</i> is in convex position, the set <i>P</i> must have size at least <span>(m(m-1))</span>. This is tight, i.e., there are sets <span>(Q_m)</span> of <i>m</i> points in convex position which can be extended to a set of <span>(m(m-1))</span> points where <span>(Q_m)</span> is a halving clique. Interestingly, this is not the case for all sets <i>Q</i> in convex position (even if parallel connecting lines among point pairs in <i>Q</i> are excluded).</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2023-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138741131","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}