Computational Geometry-Theory and Applications最新文献

{"title":"Panel-point model for rigidity and flexibility analysis of rigid origami","authors":"Kentaro Hayakawa ,&nbsp;Zeyuan He ,&nbsp;Simon D. Guest","doi":"10.1016/j.comgeo.2024.102100","DOIUrl":"https://doi.org/10.1016/j.comgeo.2024.102100","url":null,"abstract":"<div><p>In this study, we lay the groundwork for a systematic investigation of the rigidity and flexibility of rigid origami by using the mathematical model referred to as the panel-point model. Rigid origami is commonly known as a type of panel-hinge structure where rigid polygonal panels are connected by rotational hinges, and its motion and stability are often investigated from the perspective of its consistency constraints representing the rigidity and connection conditions of panels. In the proposed methodology, vertex coordinates are directly treated as the variables to represent the rigid origami in the panel-point model, and these variables are constrained by the conditions for the out-of-plane and in-plane rigidity of panels. This model offers several advantages including: 1) the simplicity of polynomial consistency constraints; 2) the ease of incorporating displacement boundary conditions; and 3) the straightforwardness of numerical simulation and visualization. It is anticipated that the presented theories in this article are valuable to a broad audience, including mathematicians, engineers, and architects.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":"121 ","pages":"Article 102100"},"PeriodicalIF":0.6,"publicationDate":"2024-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140555529","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"An analytical representation of the 2d generalized balanced power diagram","authors":"Christian Jung,&nbsp;Claudia Redenbach","doi":"10.1016/j.comgeo.2024.102101","DOIUrl":"https://doi.org/10.1016/j.comgeo.2024.102101","url":null,"abstract":"<div><p>Tessellations are an important tool to model the microstructure of cellular and polycrystalline materials. Classical tessellation models include the Voronoi diagram and the Laguerre tessellation whose cells are polyhedra. Due to the convexity of their cells, those models may be too restrictive to describe data that includes possibly anisotropic grains with curved boundaries. Several generalizations exist. The cells of the generalized balanced power diagram are induced by elliptic distances leading to more diverse structures. So far, methods for computing the generalized balanced power diagram are restricted to discretized versions in the form of label images. In this work, we derive an analytic representation of the vertices and edges of the generalized balanced power diagram in 2d. Based on that, we propose a novel algorithm to compute the whole diagram.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":"121 ","pages":"Article 102101"},"PeriodicalIF":0.6,"publicationDate":"2024-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0925772124000233/pdfft?md5=fa13c50875805de5231691dc670463bc&pid=1-s2.0-S0925772124000233-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140633213","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Accelerating iterated persistent homology computations with warm starts","authors":"Yuan Luo ,&nbsp;Bradley J. Nelson","doi":"10.1016/j.comgeo.2024.102089","DOIUrl":"10.1016/j.comgeo.2024.102089","url":null,"abstract":"<div><p>Persistent homology is a topological feature used in a variety of applications such as generating features for data analysis and penalizing optimization problems. We develop an approach to accelerate persistent homology computations performed on many similar filtered topological spaces which is based on updating associated matrix factorizations. Our approach improves the update scheme of Cohen-Steiner, Edelsbrunner, and Morozov for permutations by additionally handling addition and deletion of cells in a filtered topological space and by processing changes in a single batch. We show that the complexity of our scheme scales with the number of elementary changes to the filtration which as a result is often less expensive than the full persistent homology computation. Finally, we perform computational experiments demonstrating practical speedups in several situations including feature generation and optimization guided by persistent homology.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":"120 ","pages":"Article 102089"},"PeriodicalIF":0.6,"publicationDate":"2024-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140056633","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Flexibility and rigidity of frameworks consisting of triangles and parallelograms","authors":"Georg Grasegger ,&nbsp;Jan Legerský","doi":"10.1016/j.comgeo.2023.102055","DOIUrl":"10.1016/j.comgeo.2023.102055","url":null,"abstract":"<div><p>A framework, which is a (possibly infinite) graph with a realization of its vertices in the plane, is called flexible if it can be continuously deformed while preserving the edge lengths. We focus on flexibility of frameworks in which 4-cycles form parallelograms. For the class of frameworks considered in this paper (allowing triangles), we prove that the following are equivalent: flexibility, infinitesimal flexibility, the existence of at least two classes of an equivalence relation based on 3- and 4-cycles and being a non-trivial subgraph of the Cartesian product of graphs. We study the algorithmic aspects and the rotationally symmetric version of the problem. The results are illustrated on frameworks obtained from tessellations by regular polygons.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":"120 ","pages":"Article 102055"},"PeriodicalIF":0.6,"publicationDate":"2024-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134979110","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Maximum-width rainbow-bisecting empty annulus","authors":"Sang Won Bae ,&nbsp;Sandip Banerjee ,&nbsp;Arpita Baral ,&nbsp;Priya Ranjan Sinha Mahapatra ,&nbsp;Sang Duk Yoon","doi":"10.1016/j.comgeo.2024.102088","DOIUrl":"https://doi.org/10.1016/j.comgeo.2024.102088","url":null,"abstract":"<div><p>Given a set of <em>n</em> colored points with <em>k</em> colors in the plane, we study the problem of computing a maximum-width rainbow-bisecting empty annulus (of objects specifically axis-parallel square, axis-parallel rectangle and circle) problem. We call a region <em>rainbow</em> if it contains at least one point of each color. The maximum-width rainbow-bisecting empty annulus problem asks to find an annulus <em>A</em> of a particular shape with maximum possible width such that <em>A</em> does not contain any input points and it bisects the input point set into two parts, each of which is a <em>rainbow</em>. We compute a maximum-width rainbow-bisecting empty axis-parallel square, axis-parallel rectangular and circular annulus in <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>)</mo></math></span> time using <span><math><mi>O</mi><mo>(</mo><mi>n</mi><mo>)</mo></math></span> space, in <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msup><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup><mi>log</mi><mo>⁡</mo><mi>n</mi><mo>)</mo></math></span> time using <span><math><mi>O</mi><mo>(</mo><mi>n</mi><mi>log</mi><mo>⁡</mo><mi>n</mi><mo>)</mo></math></span> space and in <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>)</mo></math></span> time using <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></math></span> space respectively.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":"120 ","pages":"Article 102088"},"PeriodicalIF":0.6,"publicationDate":"2024-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140113725","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Piercing families of convex sets in the plane that avoid a certain subfamily with lines","authors":"Daniel McGinnis","doi":"10.1016/j.comgeo.2024.102087","DOIUrl":"10.1016/j.comgeo.2024.102087","url":null,"abstract":"<div><p>We define a <span><math><mi>C</mi><mo>(</mo><mi>k</mi><mo>)</mo></math></span> to be a family of <em>k</em> sets <span><math><msub><mrow><mi>F</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> such that <span><math><mtext>conv</mtext><mo>(</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>∪</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>i</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>)</mo><mo>∩</mo><mtext>conv</mtext><mo>(</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>∪</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>j</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>)</mo><mo>=</mo><mo>∅</mo></math></span> when <span><math><mo>{</mo><mi>i</mi><mo>,</mo><mi>i</mi><mo>+</mo><mn>1</mn><mo>}</mo><mo>∩</mo><mo>{</mo><mi>j</mi><mo>,</mo><mi>j</mi><mo>+</mo><mn>1</mn><mo>}</mo><mo>=</mo><mo>∅</mo></math></span> (indices are taken modulo <em>k</em>). We show that if <span><math><mi>F</mi></math></span> is a family of compact, convex sets that does not contain a <span><math><mi>C</mi><mo>(</mo><mi>k</mi><mo>)</mo></math></span>, then there are <span><math><mi>k</mi><mo>−</mo><mn>2</mn></math></span> lines that pierce <span><math><mi>F</mi></math></span>. Additionally, we give an example of a family of compact, convex sets that contains no <span><math><mi>C</mi><mo>(</mo><mi>k</mi><mo>)</mo></math></span> and cannot be pierced by <span><math><mrow><mo>⌈</mo><mfrac><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></mfrac><mo>⌉</mo></mrow><mo>−</mo><mn>1</mn></math></span> lines.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":"120 ","pages":"Article 102087"},"PeriodicalIF":0.6,"publicationDate":"2024-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140007731","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Topological regularization via persistence-sensitive optimization","authors":"Arnur Nigmetov ,&nbsp;Aditi Krishnapriyan ,&nbsp;Nicole Sanderson ,&nbsp;Dmitriy Morozov","doi":"10.1016/j.comgeo.2024.102086","DOIUrl":"10.1016/j.comgeo.2024.102086","url":null,"abstract":"<div><p>Optimization, a key tool in machine learning and statistics, relies on regularization to reduce overfitting. Traditional regularization methods control a norm of the solution to ensure its smoothness. Recently, topological methods have emerged as a way to provide a more precise and expressive control over the solution, relying on persistent homology to quantify and reduce its roughness. All such existing techniques back-propagate gradients through the persistence diagram, which is a summary of the topological features of a function. Their downside is that they provide information only at the critical points of the function. We propose a method that instead builds on persistence-sensitive simplification and translates the required changes to the persistence diagram into changes on large subsets of the domain, including both critical and regular points. This approach enables a faster and more precise topological regularization, the benefits of which we illustrate with experimental evidence.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":"120 ","pages":"Article 102086"},"PeriodicalIF":0.6,"publicationDate":"2024-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0925772124000087/pdfft?md5=6740a147d9e195f49dbdb29746bfe080&pid=1-s2.0-S0925772124000087-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140007733","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Rational tensegrities through the lens of toric geometry","authors":"Fatemeh Mohammadi ,&nbsp;Xian Wu","doi":"10.1016/j.comgeo.2023.102075","DOIUrl":"10.1016/j.comgeo.2023.102075","url":null,"abstract":"<div><p>A classical tensegrity model consists of an embedded graph in a vector space with rigid bars representing edges, and an assignment of a stress to every edge such that at every vertex of the graph the stresses sum up to zero. The tensegrity frameworks have been recently extended from the two dimensional graph case to the multidimensional setting. We study the multidimensional tensegrities using tools from toric geometry. We introduce a link between self-stresses and Chow rings on toric varieties. More precisely, for a given rational tensegrity framework <span><math><mi>F</mi></math></span>, we construct a glued toric surface <span><math><msub><mrow><mi>X</mi></mrow><mrow><mi>F</mi></mrow></msub></math></span><span>. We show that the abelian group of tensegrities on </span><span><math><mi>F</mi></math></span> is isomorphic to a subgroup of the Chow group <span><math><msup><mrow><mi>A</mi></mrow><mrow><mn>1</mn></mrow></msup><mo>(</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>F</mi></mrow></msub><mo>;</mo><mi>Q</mi><mo>)</mo></math></span>. In the case of planar frameworks, we show how to explicitly carry out the computation of tensegrities via classical tools in toric geometry.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":"119 ","pages":"Article 102075"},"PeriodicalIF":0.6,"publicationDate":"2024-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138521877","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Bounds on soft rectangle packing ratios","authors":"Judith Brecklinghaus,&nbsp;Ulrich Brenner,&nbsp;Oliver Kiss","doi":"10.1016/j.comgeo.2023.102078","DOIUrl":"10.1016/j.comgeo.2023.102078","url":null,"abstract":"<div><p><span>We examine rectangle packing problems where only the areas </span><span><math><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span><span> of the rectangles to be packed are given while their aspect ratios may be chosen from a given interval </span><span><math><mo>[</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mi>γ</mi></mrow></mfrac><mo>,</mo><mi>γ</mi><mo>]</mo></math></span>. In particular, we ask for the smallest possible size of a rectangle <em>R</em> such that, under these constraints, any collection <span><math><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span><span> of rectangle areas of total size 1 can be packed into </span><em>R</em>. As for standard square packing problems, which are contained as a special case for <span><math><mi>γ</mi><mo>=</mo><mn>1</mn></math></span>, this question leads us to three different answers, depending on whether the aspect ratio of <em>R</em> is given or whether we may choose it either with or without knowing the areas <span><math><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span><span>. Generalizing known results for square packing problems, we provide upper and lower bounds for the size of </span><em>R</em> with respect to all three variants of the problem, which are tight at least for larger values of <em>γ</em>. Moreover, we show how to improve these bounds on the size of <em>R</em> if we restrict ourselves to instances where the largest element in <span><math><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> is bounded.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":"119 ","pages":"Article 102078"},"PeriodicalIF":0.6,"publicationDate":"2024-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139025451","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Generalized class cover problem with axis-parallel strips","authors":"Apurva Mudgal ,&nbsp;Supantha Pandit","doi":"10.1016/j.comgeo.2023.102065","DOIUrl":"https://doi.org/10.1016/j.comgeo.2023.102065","url":null,"abstract":"<div><p>We initiate the study of a <em>generalization</em> of the class cover problem [Cannon and Cowen <span>[1]</span>, Bereg et al. <span>[2]</span>] the <span><em>generalized class</em><em> cover problem</em></span>, where we are allowed to <em>misclassify</em> some points provided we pay an associated positive <em>penalty</em> for every misclassified point. Two versions: <em>single coverage</em> and <em>multiple coverage</em>, of the generalized class cover problem are investigated. We study five different variants of both versions of the generalized class cover problem with axis-parallel <em>strips</em> and axis-parallel <em>half-strips</em> extending to different directions in the plane, thus extending similar work by Bereg et al. (2012) <span>[2]</span> on the class cover problem. We prove that the multiple coverage version of the generalize class cover problem with axis-parallel strips are in <span><math><mi>P</mi></math></span>, whereas the single coverage version is <span><math><mi>NP</mi></math></span><span>-hard. A factor 2 approximation algorithm is provided for the later problem. The </span><span><math><mi>APX</mi></math></span><span><span>-hardness result is also shown for the single coverage version. For half-strips extending to exactly one direction, both the single and multiple coverage versions can be solved in polynomial time using </span>dynamic programming. In the case of half-strips extending to two orthogonal directions, we prove the class cover problem is </span><span><math><mi>NP</mi></math></span>-hard followed by <span><math><mi>APX</mi></math></span>-hard. This gives improve hardness results compare to Bereg et al. (2012) <span>[2]</span>, where they proved the class cover problem with half-strips oriented in four different directions is <span><math><mi>NP</mi></math></span>-hard. These <span><math><mi>NP</mi></math></span>- and <span><math><mi>APX</mi></math></span>-hardness results can directly apply to both single and multiple versions. Finally, constant factor approximation algorithms are provided for half-strips extending to more than one direction.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":"119 ","pages":"Article 102065"},"PeriodicalIF":0.6,"publicationDate":"2024-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138471747","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}