首页/论文/1012.3905

arXiv 1012.39052010-12math.CO

多面体作为低秩矩阵完备问题的可实现性

Realizability of Polytopes as a Low Rank Matrix Completion Problem

Michael Gene Dobbins

发表信息：: Discrete and Computational Geometry, 51(4): 761-778, 2014
DOI：: 10.1007/s00454-014-9599-0

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文给出了多面体的顶点与刻面之间的包含关系的充要条件。这里还给出了一组参数化线性模空间的矩阵和另一组参数化组合多面体的射影模空间的矩阵。

英文摘要：

This article gives necessary and sufficient conditions for a relation to be the containment relation between the facets and vertices of a polytope. Also given here, are a set of matrices parameterizing the linear moduli space and another set parameterizing the projective moduli space of a combinatorial polytope.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

无反棱镜或：多面体可实现性问题中组合等价到射影等价的化约

Antiprismless, or: Reducing Combinatorial Equivalence to Projective Equivalence in Realizability Problems for Polytopes

这篇文章展示了一个没有反棱柱的四维组合多面体，回答了Bernt Lindstöm提出的一个问题。因此，这个组合多面体的任何实现都有一个面，它不能在不倾倒的情况下休息。为此，我们提供了一个通用的方法来解决广泛的类的可实现性问题。具体来说，我们表明，任何半代数属性，面临继承，给定的财产持有的一些实现的每一个组合多面体的当且仅当财产持有从一些投影副本的每一个多面体。证明使用下面的结果。给定任何顶点具有代数坐标的多面体，存在具有指定面的组合“图章”多面体，其在所有实现中与给定多面体投影等价。在这里，我们构建了一个新的邮票多面体，是密切相关的Richter-Gebert的证明的普遍性4维多面体，我们推广了几个工具，证明。

2015-06-22math.COmath.MG

多面体理论中的几个数学问题

Some Algorithmic Problems in Polytope Theory

本文综述了关于凸多胞体的组合性质和几何性质的算法问题。我们列出了35个问题，每个问题的理论复杂性状态的当前状态的知识报告。这些问题被分为“坐标描述”、“组合结构”、“同构”、“优化”、“可实现性”和“超越多面体”等部分。

2002-02-20math.COmath.MG

多面体的松弛实现空间

The Slack Realization Space of a Polytope

本文介绍了一个自然的模型的实现空间的多面体的射影等价，我们称之为松弛实现空间的多面体。该模型产生于由松弛理想的多面体所确定的代数簇的正部分。这是一个饱和的行列式理想，它对多面体的组合进行编码。我们还从一个相关理想的簇的正部分导出了一个新的多面体的实现空间模型。松弛理想提供了一个有效的计算框架，如合理的可实现性，不可规定的面，组合多面体的可实现性的几个经典问题的多面体。

2019-08-07math.ACmath.AGmath.CO

小可实现定向拟阵的完备enumeration

Complete enumeration of small realizable oriented matroids

点构形和多面体的所有组合类型的计数是组合几何中的一个基本问题。虽然已有许多研究，但大多数都是针对二维非退化情形。Finschi和Fukuda（2001）发表了第一个定向拟阵数据库，其中包括退化（即非均匀）拟阵和高阶拟阵。在本文中，我们调查的算法方法来分类它们的可实现性，虽然基本的判定问题的可实现性检查是NP难的。作为应用，我们确定了8点三维构型、9点二维构型和9点五维构型的所有可能的组合类型（包括退化类型）。我们也可以确定所有可能的组合类型的5-多面体与9个顶点。

2012-09-25math.CO

曲面的不可实现最小顶点三角剖分：用定向拟阵和可满足性求解器表示不可实现性

Non-Realizable Minimal Vertex Triangulations of Surfaces: Showing Non-Realizability using Oriented Matroids and Satisfiability Solvers

我们证明了亏格为6的闭连通可定向2-流形的极小顶点三角剖分不允许在R^3中有多面体嵌入。我们还提供了最小顶点三角形的封闭，连通，定向2流形的亏格5，不承认任何多面体嵌入的例子。我们构造了一个新的无限族曲面的不可实现三角剖分。这些结果是通过将寻找合适的定向拟阵的问题转化为可满足性问题来实现的。该方法也可应用于其它几何可实现性问题，如多面体的面格。

2008-01-16math.COmath.MG

多面体的组合实现空间模型

Combining realization space models of polytopes

在本文中，我们研究了四种不同的模型的实现空间的多面体：经典模型，格拉斯曼模型，盖尔变换模型，松弛品种。它们分别用其列是其顶点坐标的矩阵、所述矩阵的列空间、其Gale变换和其松弛矩阵来识别多面体的实现。每个模型都被用来研究多面体的实现。在本文中，我们非常明确地建立了地图，使我们能够在模型之间移动，研究它们之间的精确关系，并结合不同观点的优势。作为一个例子，我们结合了格拉斯曼模型的紧凑性与松弛品种，以获得一个减少松弛模型，使我们能够执行松弛的理想计算，以前的计算范围。这些计算使我们能够回答[Criado，Santos.]的问题。拓扑棱柱体和大直径的小单纯球。实验数学，1-13，2019]，关于一个家庭的prismatoids的可实现性，一般在否定的证明其中之一的不可实现性。

2020-10-30math.ACmath.AGmath.CO

更多相关论文收起更多论文

Macaulay2中的松弛理想

Slack Ideals in Macaulay2

最近Gouveia，Thomas和作者介绍了松弛实现空间，一个新的模型的实现空间的多面体。它用松弛矩阵表示每个多面体，松弛矩阵是通过在每个顶点上计算每个小平面不等式得到的。与经典模型不同，松弛模型自然地修改出射影变换。它是固有的代数，产生的各种饱和行列式理想的积极的一部分，并提供了一个新的计算工具来研究经典的可实现性问题的多面体。我们介绍Macaulay 2的SlackIdeals包，它提供了创建和操作松弛矩阵和松弛理想的凸多胞体和拟阵的方法。松弛理想通常很难计算。为了提高松弛模型的功率，我们开发了两种策略来简化计算：我们将松弛矩阵的尽可能多的条目扩展到一个;然后，我们将松弛变量与更紧凑的格拉斯曼实现空间模型相结合，得到一个简化的松弛模型。这使我们能够研究松弛理想，以前的计算范围。作为应用，我们证明了著名的Perles多面体不承认合理的实现，并证明了一个大的拟单纯球的非可实现性。

2020-10-30math.ACmath.AGmath.CO

内接多面体与Delaunay三角剖分的普适性定理

Universality theorems for inscribed polytopes and Delaunay triangulations

我们证明了每一个准素基本半代数集同伦等价于一个多面体的内接实现集（直到莫比乌斯变换）。如果半代数集是开放的，那么，此外，我们证明了（同伦），它是一个收缩的实现空间的一些内接邻居（和单纯）多面体。我们还表明，所有的代数扩张$\mathbb{Q}$需要协调内接多面体。这些陈述表明内接多面体表现出Mnëv普适性现象。通过球极平面投影，这些定理直接转化为Delaunay细分的普适性定理。特别是，我们的结果意味着Delaunay三角剖分的可实现性问题是多项式等价的实数的存在性理论。

2014-06-30cs.CGmath.AGmath.CO

秩4局部射影多面体的分类及其商

The Classification of Rank 4 Locally Projective Polytopes and Their Quotients

本文宣布完成了秩为4的局部射影多面体及其子图的分类。有17个普遍的局部射影多面体（9个非退化）。在他们的441个子图中，还有4个（非普适的）规则多面体和152个非规则但截面规则多面体。后者的所有156个都具有半十二面体刻面或半二十面体顶点图形。值得注意的是，每个秩为4的局部射影截正则多面体都是有限的。本文综述了局部射影多面体及其派生图的文献，填补了4阶分类中的一个小空白。

2004-01-14math.COmath.GT

关于单调上界问题

On the Monotone Upper Bound Problem

单调上界问题要求有n个小平面的简单d-多胞形的严格增边路上的顶点的最大数目M（d，n）。更具体地说，它询问由McMullen（1970）上界定理提供的上界M（d，n）<= M_{ubt}（d，n）是否是紧的，其中M_{ubt}（d，n）是具有n个刻面的对偶到循环d-多面体的顶点数。最近表明，上界M（d，n）<= M_{ubt}（d，n）对于小维度（d<=4：Pfeifle，2003）和小corank（n<=d+2：Gärtner等人，2001年）。在这里，我们证明，它不是紧一般：在维数d=6时，n=9的多面体可以有M_{ubt}（6，9）=30个顶点，但不超过26 <= M（6，9）<= 29个顶点位于严格增的边路上，证明涉及到相邻多面体的分类结果，Kalai（1988）的抽象目标函数的概念，Holt-Klee条件（1998），显式枚举，Welzl（2001）扩展的Gale图，实例的随机生成，以及通过Farkas引理版本的不可实现性证明。

2003-08-20math.COmath.MG

奇- $K_4$次自由符号图的正半定矩阵完备问题

The Signed Positive Semidefinite Matrix Completion Problem for Odd-$K_4$ Minor Free Signed Graphs

本文给出了Laurent定理的一个符号推广，该定理用度量多面体刻画了可行正半定矩阵完备化问题。在此基础上，我们给出了奇- $K_4$次自由符号图的正半定矩阵完备化问题的最大秩完备化的一个刻画。分析也可以用来界定的最小秩的完成，并刻画唯一可解的完成问题的奇- $K_4$小自由签署的图。作为推论，我们得到的奇- $K_4$小自由球面张紧系统的通用刚性的一个特征，也是一个特征的有符号的图，其有符号的Colin de Verdière参数$ν$是有界的，最近由Arav等人。

2016-04-01math.COmath.OC

非负秩矩阵补全的几何结构

Geometry of low nonnegative rank matrix completion

该研究探讨了非负秩矩阵补全的几何结构，证明了非负秩1补全与秩1补全等价，但当r≥2时不成立，并通过几何特征分析了非负秩补全的条件。

2026-01-12math.AGmath.COmath.MG

通过二部图刚性实现多重结合多面体

Realizations of multiassociahedra via bipartite rigidity

本文利用二部图刚性矩阵作为向量配置，实现了多重结合多面体在特定参数下的多胞形与扇构造，给出了刚性拟阵的代数解释，并证明了部分大参数情形不可实现。

2023-04-03math.AGmath.CO