Discrete & Computational Geometry最新文献

筛选
英文 中文
Elementary Fractal Geometry. 3. Complex Pisot Factors Imply Finite Type 初级分形几何3.复皮索特因子意味着有限类型
IF 0.8 3区 数学
Discrete & Computational Geometry Pub Date : 2024-07-20 DOI: 10.1007/s00454-024-00678-2
Christoph Bandt
{"title":"Elementary Fractal Geometry. 3. Complex Pisot Factors Imply Finite Type","authors":"Christoph Bandt","doi":"10.1007/s00454-024-00678-2","DOIUrl":"https://doi.org/10.1007/s00454-024-00678-2","url":null,"abstract":"<p>Self-similar sets require a separation condition to admit a nice mathematical structure. The classical open set condition (OSC) is difficult to verify. Zerner proved that there is a positive and finite Hausdorff measure for a weaker separation property which is always fulfilled for crystallographic data. Ngai and Wang gave more specific results for a finite type property (FT), and for algebraic data with a real Pisot expansion factor. We show how the algorithmic FT concept of Bandt and Mesing relates to the property of Ngai and Wang. Merits and limitations of the FT algorithm are discussed. Our main result says that FT is always true in the complex plane if the similarity mappings are given by a complex Pisot expansion factor <span>(lambda )</span> and algebraic integers in the number field generated by <span>(lambda .)</span> This extends the previous results and opens the door to huge classes of separated self-similar sets, with large complexity and an appearance of natural textures. Numerous examples are provided.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141742451","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}
引用次数: 0
On the Connected Blocks Polytope 关于连块多面体
IF 0.8 3区 数学
Discrete & Computational Geometry Pub Date : 2024-07-11 DOI: 10.1007/s00454-024-00675-5
Justus Bruckamp, Markus Chimani, Martina Juhnke
{"title":"On the Connected Blocks Polytope","authors":"Justus Bruckamp, Markus Chimani, Martina Juhnke","doi":"10.1007/s00454-024-00675-5","DOIUrl":"https://doi.org/10.1007/s00454-024-00675-5","url":null,"abstract":"<p>In this paper, we study the connected blocks polytope, which, apart from its own merits, can be seen as the generalization of certain connectivity based or Eulerian subgraph polytopes. We provide a complete facet description of this polytope, characterize its edges and show that it is Hirsch. We also show that connected blocks polytopes admit a regular unimodular triangulation by constructing a squarefree Gröbner basis. In addition, we prove that the polytope is Gorenstein of index 2 and that its <span>(h^*)</span>-vector is unimodal.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141585513","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}
引用次数: 0
Equality Conditions for the Fractional Superadditive Volume Inequalities 分数超容积不等式的相等条件
IF 0.8 3区 数学
Discrete & Computational Geometry Pub Date : 2024-07-05 DOI: 10.1007/s00454-024-00672-8
Mark Meyer
{"title":"Equality Conditions for the Fractional Superadditive Volume Inequalities","authors":"Mark Meyer","doi":"10.1007/s00454-024-00672-8","DOIUrl":"https://doi.org/10.1007/s00454-024-00672-8","url":null,"abstract":"<p>While studying set function properties of Lebesgue measure, F. Barthe and M. Madiman proved that Lebesgue measure is fractionally superadditive on compact sets in <span>(mathbb {R}^n)</span>. In doing this they proved a fractional generalization of the Brunn–Minkowski–Lyusternik (BML) inequality in dimension <span>(n=1)</span>. In this paper we will prove the equality conditions for the fractional superadditive volume inequalites for any dimension. The non-trivial equality conditions are as follows. In the one-dimensional case we will show that for a fractional partition <span>((mathcal {G},beta ))</span> and nonempty sets <span>(A_1,dots ,A_msubseteq mathbb {R})</span>, equality holds iff for each <span>(Sin mathcal {G})</span>, the set <span>(sum _{iin S}A_i)</span> is an interval. In the case of dimension <span>(nge 2)</span> we will show that equality can hold if and only if the set <span>(sum _{i=1}^{m}A_i)</span> has measure 0.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141576350","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}
引用次数: 0
Topological Posets and Tropical Phased Matroids 拓扑 Posets 和热带相控 Matroids
IF 0.8 3区 数学
Discrete & Computational Geometry Pub Date : 2024-07-02 DOI: 10.1007/s00454-024-00668-4
Ulysses Alvarez, Ross Geoghegan
{"title":"Topological Posets and Tropical Phased Matroids","authors":"Ulysses Alvarez, Ross Geoghegan","doi":"10.1007/s00454-024-00668-4","DOIUrl":"https://doi.org/10.1007/s00454-024-00668-4","url":null,"abstract":"<p>For a discrete poset <span>({mathcal {X}})</span>, McCord proved that the natural map <span>(|{{mathcal {X}}}|rightarrow {{mathcal {X}}})</span>, from the order complex to the poset with the Up topology, is a weak homotopy equivalence. Much later, Živaljević defined the notion of order complex for a topological poset. For a large class of topological posets we prove the analog of McCord’s theorem, namely that <i>the natural map from the order complex to the topological poset with the Up topology is a weak homotopy equivalence</i>. A familiar topological example is the Grassmann poset <span>(mathcal {G}_n(mathbb {{mathbb {R}}}))</span> of proper non-zero linear subspaces of <span>({mathbb {R}}^{n+1})</span> partially ordered by inclusion. But our motivation in topological combinatorics is to apply the theorem to posets associated with tropical phased matroids over the tropical phase hyperfield, and in particular to elucidate the tropical version of the MacPhersonian Conjecture. This is explained in Sect. 2.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141527488","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}
引用次数: 0
Convergence of Laplacian Eigenmaps and Its Rate for Submanifolds with Singularities 拉普拉奇特征映射的收敛性及其对具有奇点的子实体的收敛率
IF 0.8 3区 数学
Discrete & Computational Geometry Pub Date : 2024-07-02 DOI: 10.1007/s00454-024-00667-5
Masayuki Aino
{"title":"Convergence of Laplacian Eigenmaps and Its Rate for Submanifolds with Singularities","authors":"Masayuki Aino","doi":"10.1007/s00454-024-00667-5","DOIUrl":"https://doi.org/10.1007/s00454-024-00667-5","url":null,"abstract":"<p>In this paper, we give a spectral approximation result for the Laplacian on submanifolds of Euclidean spaces with singularities by the <span>(epsilon )</span>-neighborhood graph constructed from random points on the submanifold. Our convergence rate for the eigenvalue of the Laplacian is <span>(Oleft( left( log n/nright) ^{1/(m+2)}right) )</span>, where <i>m</i> and <i>n</i> denote the dimension of the manifold and the sample size, respectively.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141527491","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}
引用次数: 0
A Subdivision Algebra for a Product of Two Simplices via Flow Polytopes 通过流多边形计算两简约积的细分代数
IF 0.8 3区 数学
Discrete & Computational Geometry Pub Date : 2024-06-28 DOI: 10.1007/s00454-024-00671-9
Matias von Bell
{"title":"A Subdivision Algebra for a Product of Two Simplices via Flow Polytopes","authors":"Matias von Bell","doi":"10.1007/s00454-024-00671-9","DOIUrl":"https://doi.org/10.1007/s00454-024-00671-9","url":null,"abstract":"<p>For a lattice path <span>(nu )</span> from the origin to a point (<i>a</i>, <i>b</i>) using steps <span>(E=(1,0))</span> and <span>(N=(0,1))</span>, we construct an associated flow polytope <span>({mathcal {F}}_{{widehat{G}}_B(nu )})</span> arising from an acyclic graph where bidirectional edges are permitted. We show that the flow polytope <span>({mathcal {F}}_{{widehat{G}}_B(nu )})</span> admits a subdivision dual to a <span>((w-1))</span>-simplex, where <i>w</i> is the number of valleys in the path <span>({overline{nu }} = Enu N)</span>. Refinements of this subdivision can be obtained by reductions of a polynomial <span>(P_nu )</span> in a generalization of Mészáros’ subdivision algebra for acyclic root polytopes where negative roots are allowed. Via an integral equivalence between <span>({mathcal {F}}_{{widehat{G}}_B(nu )})</span> and the product of simplices <span>(Delta _atimes Delta _b)</span>, we thereby obtain a subdivision algebra for a product of two simplices. As a special case, we give a reduction order for reducing <span>(P_nu )</span> that yields the cyclic <span>(nu )</span>-Tamari complex of Ceballos, Padrol, and Sarmiento.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141500813","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}
引用次数: 0
Transversals to Colorful Intersecting Convex Sets 彩色相交凸集的横截面
IF 0.8 3区 数学
Discrete & Computational Geometry Pub Date : 2024-06-27 DOI: 10.1007/s00454-024-00669-3
Cuauhtemoc Gomez-Navarro, Edgardo Roldán-Pensado
{"title":"Transversals to Colorful Intersecting Convex Sets","authors":"Cuauhtemoc Gomez-Navarro, Edgardo Roldán-Pensado","doi":"10.1007/s00454-024-00669-3","DOIUrl":"https://doi.org/10.1007/s00454-024-00669-3","url":null,"abstract":"<p>Let <i>K</i> be a compact convex set in <span>(mathbb {R}^{2})</span> and let <span>(mathcal {F}_{1}, mathcal {F}_{2}, mathcal {F}_{3})</span> be finite families of translates of <i>K</i> such that <span>(A cap B ne emptyset )</span> for every <span>(A in mathcal {F}_{i})</span> and <span>(B in mathcal {F}_{j})</span> with <span>(i ne j)</span>. A conjecture by Dol’nikov is that, under these conditions, there is always some <span>(j in { 1,2,3 })</span> such that <span>(mathcal {F}_{j})</span> can be pierced by 3 points. In this paper we prove a stronger version of this conjecture when <i>K</i> is a body of constant width or when it is close in Banach-Mazur distance to a disk. We also show that the conjecture is true with 8 piercing points instead of 3. Along the way we prove more general statements both in the plane and in higher dimensions. A related result was given by Martínez-Sandoval, Roldán-Pensado and Rubin. They showed that if <span>(mathcal {F}_{1}, dots , mathcal {F}_{d})</span> are finite families of convex sets in <span>(mathbb {R}^{d})</span> such that for every choice of sets <span>(C_{1} in mathcal {F}_{1}, dots , C_{d} in mathcal {F}_{d})</span> the intersection <span>(bigcap _{i=1}^{d} {C_{i}})</span> is non-empty, then either there exists <span>(j in { 1,2, dots , n })</span> such that <span>(mathcal {F}_j)</span> can be pierced by few points or <span>(bigcup _{i=1}^{n} mathcal {F}_{i})</span> can be crossed by few lines. We give optimal values for the number of piercing points and crossing lines needed when <span>(d=2)</span> and also consider the problem restricted to special families of convex sets.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141500789","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}
引用次数: 0
Coarse Embeddability of Wasserstein Space and the Space of Persistence Diagrams 瓦瑟斯坦空间和持久图空间的粗嵌入性
IF 0.8 3区 数学
Discrete & Computational Geometry Pub Date : 2024-06-26 DOI: 10.1007/s00454-024-00674-6
Neil Pritchard, Thomas Weighill
{"title":"Coarse Embeddability of Wasserstein Space and the Space of Persistence Diagrams","authors":"Neil Pritchard, Thomas Weighill","doi":"10.1007/s00454-024-00674-6","DOIUrl":"https://doi.org/10.1007/s00454-024-00674-6","url":null,"abstract":"<p>We prove an equivalence between open questions about the embeddability of the space of persistence diagrams and the space of probability distributions (i.e. Wasserstein space). It is known that for many natural metrics, no coarse embedding of either of these two spaces into Hilbert space exists. Some cases remain open, however. In particular, whether coarse embeddings exist with respect to the <i>p</i>-Wasserstein distance for <span>(1le ple 2)</span> remains an open question for the space of persistence diagrams and for Wasserstein space on the plane. In this paper, we show that embeddability for persistence diagrams is equivalent to embeddability for Wasserstein space on <span>(mathbb {R}^2)</span>. When <span>(p &gt; 1)</span>, Wasserstein space on <span>(mathbb {R}^2)</span> is snowflake universal (an obstruction to embeddability into any Banach space of non-trivial type) if and only if the space of persistence diagrams is snowflake universal.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141500814","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}
引用次数: 0
Improved Algebraic Degeneracy Testing 改进的代数退化测试
IF 0.8 3区 数学
Discrete & Computational Geometry Pub Date : 2024-06-25 DOI: 10.1007/s00454-024-00673-7
Jean Cardinal, Micha Sharir
{"title":"Improved Algebraic Degeneracy Testing","authors":"Jean Cardinal, Micha Sharir","doi":"10.1007/s00454-024-00673-7","DOIUrl":"https://doi.org/10.1007/s00454-024-00673-7","url":null,"abstract":"<p>In the classical linear degeneracy testing problem, we are given <i>n</i> real numbers and a <i>k</i>-variate linear polynomial <i>F</i>, for some constant <i>k</i>, and have to determine whether there exist <i>k</i> numbers <span>(a_1,ldots ,a_k)</span> from the set such that <span>(F(a_1,ldots ,a_k) = 0)</span>. We consider a generalization of this problem in which <i>F</i> is an arbitrary constant-degree polynomial, we are given <i>k</i> sets of <i>n</i> real numbers, and have to determine whether there exists a <i>k</i>-tuple of numbers, one in each set, on which <i>F</i> vanishes. We give the first improvement over the naïve <span>(O^*(n^{k-1}))</span> algorithm for this problem (where the <span>(O^*(cdot ))</span> notation omits subpolynomial factors). We show that the problem can be solved in time <span>(O^*left( n^{k - 2 + frac{4}{k+2}}right) )</span> for even <i>k</i> and in time <span>(O^*left( n^{k - 2 + frac{4k-8}{k^2-5}}right) )</span> for odd <i>k</i> in the real RAM model of computation. We also prove that for <span>(k=4)</span>, the problem can be solved in time <span>(O^*(n^{2.625}))</span> in the algebraic decision tree model, and for <span>(k=5)</span> it can be solved in time <span>(O^*(n^{3.56}))</span> in the same model, both improving on the above uniform bounds. All our results rely on an algebraic generalization of the standard meet-in-the-middle algorithm for <i>k</i>-SUM, powered by recent algorithmic advances in the polynomial method for semi-algebraic range searching. In fact, our main technical result is much more broadly applicable, as it provides a general tool for detecting incidences and other interactions between points and algebraic surfaces in any dimension. In particular, it yields an efficient algorithm for a general, algebraic version of Hopcroft’s point-line incidence detection problem in any dimension.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141500790","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}
引用次数: 0
Power Mean Inequalities and Sums of Squares 幂均值不等式和平方和
IF 0.8 3区 数学
Discrete & Computational Geometry Pub Date : 2024-06-23 DOI: 10.1007/s00454-024-00652-y
Jose Acevedo, Grigoriy Blekherman
{"title":"Power Mean Inequalities and Sums of Squares","authors":"Jose Acevedo, Grigoriy Blekherman","doi":"10.1007/s00454-024-00652-y","DOIUrl":"https://doi.org/10.1007/s00454-024-00652-y","url":null,"abstract":"<p>We study the limits of the cones of symmetric nonnegative polynomials and symmetric sums of squares, when expressed in power-mean or monomial-mean basis. These limits correspond to forms with stable expression in power-mean polynomials that are globally nonnegative (resp. sums of squares) regardless of the number of variables. We introduce partial symmetry reduction to describe the limit cone of symmetric sums of squares, and reprove a result of Blekherman and Riener (Discrete Comput Geom 65:1–36, 2020) that limits of symmetric nonnegative polynomials and sums of squares agree in degree 4. We use <i>tropicalization</i> of the dual cones, first considered in the context of comparing nonnegative polynomials and sums of squares in Blekherman et al. (Trans Am Math Soc 375(09):6281–6310, 2022), to show differences between cones of symmetric polynomials and sums of squares starting in degree 6, which disproves a conjecture of Blekherman and Riener (Discrete Comput Geom 65:1–36, 2020). For even symmetric nonnegative forms and sums of squares we show that the cones agree up to degree 8, and are different starting with degree 10. We also find, via tropicalization, explicit examples of symmetric forms that are nonnegative but not sums of squares in the limit.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141527490","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}
引用次数: 0
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信