Linus Setiabrata
We completely characterize the faces of the root polytope $\tilde Q_G = \text{conv}\{\mathbf 0, \mathbf e_i - \mathbf e_j\: (i,j) \in E(G)\}$ combinatorially. Our results specialize to state of the art results in a straightforward way.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
In this paper we show that the pipe dream complex associated to the permutation 1n(n-1)...2 can be geometrically realized as a triangulation of the vertex figure of a root polytope. Leading up to this result we show that the Grothendieck polynomial specializes to the h-polynomial of the corresponding pipe dream complex, which in certain cases equals the h-polynomial of canonical triangulations of root (and flow) polytopes, which in turn equals a specialization of the reduced form of a monomial in the subdivision algebra of root (and flow) polytopes. Thus, we connect Grothendieck polynomials to…
In this paper, we study the Ehrhart polynomial of the dual of the root polytope of type C of dimension $d$, denoted by $C_d^*$. We prove that the roots of the Ehrhart polynomial of $C_d^*$ have the same real part $-1/2$, and we also prove that the Ehrhart polynomials of $C_d^*$ for $d=1,2,\cdots$ has the interlacing property.
Let $Φ$ be an irreducible crystallographic root system and $\mathcal P$ its root polytope, i.e., its convex hull. We provide a uniform construction, for all root types, of a triangulation of the facets of $\mathcal P$. We also prove that, on each orbit of facets under the action of the Weyl gruop, the triangulation is unimodular with respect to a root sublattice that depends on the orbit.
Subword complexes are simplicial complexes introduced by Knutson and Miller to illustrate the combinatorics of Schubert polynomials and determinantal ideals. They proved that any subword complex is homeomorphic to a ball or a sphere and asked about their geometric realizations. We show that a family of subword complexes can be realized geometrically via regular triangulations of root polytopes. This implies that a family of $β$-Grothendieck polynomials are special cases of reduced forms in the subdivision algebra of root polytopes. We can also write the volume and Ehrhart series of root polyto…
We show that lattice polytopes cut out by root systems of classical type are normal and Koszul, generalizing a well-known result of Bruns, Gubeladze, and Trung in type A. We prove similar results for Cayley sums of collections of polytopes whose Minkowski sums are cut out by root systems. The proofs are based on a combinatorial characterization of diagonally split toric varieties.
The symmetric edge polytopes of odd cycles (del Pezzo polytopes) are known as smooth Fano polytopes. In this paper, we show that if the length of the cycle is 127, then the Ehrhart polynomial has a root whose real part is greater than the dimension. As a result, we have a smooth Fano polytope that is a counterexample to the two conjectures on the roots of Ehrhart polynomials.
Given arbitrary integers $k$ and $d$ with $0 \leq 2k \leq d$, we construct a Gorenstein Fano polytope $\Pc \subset \RR^d$ of dimension $d$ such that (i) its Ehrhart polynomial $i(\Pc, n)$ possesses $d$ distinct roots; (ii) $i(\Pc, n)$ possesses exactly $2k$ imaginary roots; (iii) $i(\Pc, n)$ possesses exactly $d - 2k$ real roots; (iv) the real part of each of the imaginary roots is equal to $- 1 / 2$; (v) all of the real roots belong to the open interval $(-1, 0)$.
V. Golyshev conjectured that for any smooth polytope P of dimension at most five, the roots $z\in\C$ of the Ehrhart polynomial for P have real part equal to -1/2. An elementary proof is given, and in each dimension the roots are described explicitly. We also present examples which demonstrate that this result cannot be extended to dimension six.
Subdivisions of root polytopes, generalized tropical oriented matroids, and generalized matching ensembles
本文研究了根多项形的细分与广义热带定向矩阵oids的对应关系，揭示了其一一映射的数学结构。
We give a new definition of lattice-face polytopes by removing an unnecessary restriction in the paper "Ehrhart polynomials of lattice-face polytopes", and show that with the new definition, the Ehrhart polynomial of a lattice-face polytope still has the property that each coefficient is the normalized volume of a projection of the original polytope. Furthermore, we show that the new family of lattice-face polytopes contains all possible combinatorial types of rational polytopes.
Neighborly cubical polytopes are known as the cubical analogues of the cyclic polytopes. Using the short cubical $h$-vectors of cubical polytopes (introduced by Adin), we derive an explicit formula for the face numbers of the neighborly cubical polytopes. These face numbers form a unimodal sequence.
Ordinary polytopes are known as a non-simplicial generalization of the cyclic polytopes. The face vectors of ordinary polytopes are shown to be log-concave.
We study the root polytope $\mathcal P_Φ$ of a finite irreducible crystallographic root system $Φ$ using its relation with the abelian ideals of a Borel subalgebra of a simple Lie algebra with root system $Φ$. We determine the hyperplane arrangement corresponding to the faces of codimension 2 of $\mathcal P_Φ$ and analyze its relation with the facets of $\mathcal P_Φ$. For $Φ$ of type $A_n$ or $C_n$, we show that the orbits of some special subsets of abelian ideals under the action of the Weyl group parametrize a triangulation of $\mathcal P_Φ$. We show that this triangulation restricts to a t…
Generalized alcoved polytopes are polytopes whose facet normals are roots in a given root system. We call a set of points in an alcoved polytope a generating set if there does not exist a strictly smaller alcoved polytope containing it. The type $A$ alcoved polytopes are precisely the tropical polytopes that are also convex in the usual sense. In this case the tropical generators form a generating set. We show that for any root system other than $F_4$, every alcoved polytope invariant under the natural Weyl group action has a generating set of cardinality equal to the Coxeter number of the roo…
Several polytopes arise from finite graphs. For edge and symmetric edge polytopes, in particular, exhaustive computation of the Ehrhart polynomials not merely supports the conjecture of Beck {\it et al.}\ that all roots $α$ of Ehrhart polynomials of polytopes of dimension $D$ satisfy $-D \le \Re(α) \le D - 1$, but also reveals some interesting phenomena for each type of polytope. Here we present two new conjectures: (1) the roots of the Ehrhart polynomial of an edge polytope for a complete multipartite graph of order $d$ lie in the circle $|z+\tfrac{d}{4}| \le \tfrac{d}{4}$ or are negative int…
Simplex faces of order and chain polytopes
本文证明序多胞形与链多胞形的1-骨架中的k-团对应其(k-1)-单纯形面，推广了边和三角形2-面的已知描述。
Understanding the face structure of the balanced minimal evolution (BME) polytope, especially its top-dimensional facets, is crucially important to phylogenetic applications. We show that BME polytope has a sub-lattice of its poset of faces which is isomorphic to a quotient of the well-studied permutoassociahedron. This sub-lattice corresponds to compatible sets of splits displayed by phylogenetic trees, and extends the lattice of faces of the BME polytope found by Hodge, Haws, and Yoshida. Each of the maximal elements in our new poset of faces corresponds to a single split of the leaves. Near…
Magic labelings of graphs are studied in great detail by Stanley and Stewart. In this article, we construct and enumerate magic labelings of graphs using Hilbert bases of polyhedral cones and Ehrhart quasi-polynomials of polytopes. We define polytopes of magic labelings of graphs and digraphs. We give a description of the faces of the Birkhoff polytope as polytopes of magic labelings of digraphs.
The Ehrhart polynomial of a convex lattice polytope counts integer points in integral dilates of the polytope. We present new linear inequalities satisfied by the coefficients of Ehrhart polynomials and relate them to known inequalities. We also investigate the roots of Ehrhart polynomials. We prove that for fixed d, there exists a bounded region of C containing all roots of Ehrhart polynomials of d-polytopes, and that all real roots of these polynomials lie in [-d, [d/2]). In contrast, we prove that when the dimension d is not fixed the positive real roots can be arbitrarily large. We finish …
On nu Faces of Partial Alternating Sign Matrix Polytopes
本文定义了$(ν/ λ)$-部分交错符号矩阵多面体，给出其不等式描述，证明它是部分ASM多面体的面，且同时为序多面体和流多面体。
In [Baumeister, H., Nill, Paffenholz, On permutation polytopes, Adv. Math. 222 (2009), 431-452 / arXiv:0709.1615] we conjectured a characterization of subgroups H of a permutation group G so that, on the level of permutation polytopes, P(H) is a face of P(G). Here we present the embarrassingly simple proof of this conjecture.
Given a finite quiver (directed graph) without loops and multiedges, the convex hull of the column vector of the incidence matrix is called the directed edge polytope and is an interesting example of lattice polytopes. In this paper, we give a complete characterization of facets of the directed edge polytope of an arbitrary finite quiver without loops and multiedges in terms of the connectivity and the existence of a rank function. Our result can be regarded as an extension of the result of Higashitani et al. on facets of symmetric edge polytopes to directed edge polytopes. When the quiver in …
Asymptotics for face numbers of certain Hanner polytopes, with applications
研究特定Hanner多面体的面数渐进行为，并接近满足FLM不等式的一类参数。
In this paper, we study the root distributions of Ehrhart polynomials of free sums of certain reflexive polytopes. We investigate cases where the roots of the Ehrhart polynomials of the free sums of $A_d^\vee$'s or $A_d$'s lie on the canonical line $\mathrm{Re}(z)=-\frac{1}{2}$ on the complex plane $\mathbb{C}$, where $A_d$ denotes the root polytope of type A of dimension $d$ and $A_d^\vee$ denotes its polar dual. For example, it is proved that $A_m^\vee \oplus A_n^\vee$ with $\min\{m,n\} \leq 1$ or $m+n \leq 7$, $A_2^\vee \oplus (A_1^\vee)^{\oplus n}$ and $A_3^\vee \oplus (A_1^\vee)^{\oplus n…
The convex hulls of face-vertex incident vectors of 3-face-colorable convex polytopes are computed. It is found that every such convex hull is a $d$-polytope with $d+2$ or $d+3$ vertices. Utilizing Gale transform and Gale diagram, we calculate its combinatorial structure. Finally, a necessary and sufficient criterion for combinatorial equivalence of two such convex hulls is given.
There is a simple formula for the Ehrhart polynomial of a cyclic polytope. The purpose of this paper is to show that the same formula holds for a more general class of polytopes, lattice-face polytopes. We develop a way of decomposing any d-dimensional simplex in general position into d! signed sets, each of which corresponds to a permutation in the symmetric group, and reduce the problem of counting lattice points in a polytope in general position to that of counting lattice points in these special signed sets. Applying this decomposition to a lattice-face simplex, we obtain signed sets with …
The face lattice of any simplicial polytope is Hamiltonian
本文证明了任意单纯多胞体的面格具有哈密顿性，通过双向线壳化分解面格为立方体，并应用Gregor定理构造哈密顿圈，证实了相关猜想的主要部分。
The orbit graph of a k-orbit polytope is a graph on k nodes that shows how the flag orbits are related by flag adjacency. Using orbit graphs, we classify k-orbit polytopes and determine when a k-orbit polytope is i-transitive. We then provide an explicit classification of three-orbit polytopes, and we describe a generating set for their automorphism groups.
On a Conjecture Concerning the Roots of Ehrhart Polynomials of Symmetric Edge Polytopes from Complete Multipartite Graphs
本文针对完全多部图对称边多胞体Ehrhart多项式根的猜想，沿用已有方法验证了若干新类，并指出原方法可能不足以证明一般情形。
Greene's rational function $Ψ_P({\bf x})$ is a sum of certain rational functions in ${\bf x}=(x_1, \ldots, x_n)$ over the linear extensions of the poset $P$ (which has $n$ elements), which he introduced in his study of the Murnaghan-Nakayama formula for the characters of the symmetric group. In recent work Boussicault, Féray, Lascoux and Reiner showed that $Ψ_P({\bf x})$ equals a valuation on a cone and calculated $Ψ_P({\bf x})$ for several posets this way. In this paper we give an expression for $Ψ_P({\bf x})$ for any poset $P$. We obtain such a formula using dissections of root polytopes. Mo…
Simplex faces and quadratic toric ideals of lattice polytopes
研究格多面体的单纯形面与环面理想二次生成的关系，证明在边条件温和时，二次生成蕴含1-骨架的每个团都是面，并应用于边多面体和割多面体。
The polytopes $\mathcal{U}_{I,\bar{J}}$ were introduced by Ceballos, Padrol, and Sarmiento to provide a geometric approach to the study of $(I,\bar{J})$-Tamari lattices. They observed a connection between certain $\mathcal{U}_{I,\bar{J}}$ and acyclic root polytopes, and wondered if Mészáros' subdivision algebra can be used to subdivide all $\mathcal{U}_{I,\bar{J}}$. We answer this in the affirmative from two perspectives, one using flow polytopes and the other using root polytopes. We show that $\mathcal{U}_{I,\bar{J}}$ is integrally equivalent to a flow polytope that can be subdivided using t…
The type A_n full root polytope is the convex hull in R^{n+1} of the origin and the points e_i-e_j for 1<= i<j <= n+1. Given a tree T on the vertex set [n+1], the associated root polytope P(T) is the intersection of the full root polytope with the cone generated by the vectors e_i-e_j, where (i, j) is an edge of T, i<j. The reduced forms of a certain monomial m[T] in commuting variables x_{ij} under the reduction x_{ij}x_{jk} --> x_{ik}x_{ij}+x_{jk}x_{ik}+βx_{ik}, can be interpreted as triangulations of P(T). Using these triangulations, the volume and Ehrhart polynomial of P(T) are obtained. I…
We consider the problem of constructing an abstract $(n+1)$-polytope $Q$ with $k$ facets isomorphic to a given $n$-polytope $P$, where $k \geq 3$. In particular, we consider the case where we want $Q$ to be $(n-2,n)$-flat, meaning that every $(n-2)$-face is incident to every $n$-face (facet). We show that if $P$ admits such a flat extension for a given $k$, then the facet graph of $P$ is $(k-1)$-colorable. Conversely, we show that if the facet graph is $(k-1)$-colorable and $k-1$ is prime, then $P$ admits a flat extension for that $k$. We also show that if $P$ is facet-bipartite, then for ever…
The convex hull of the roots of a classical root lattice is called a root polytope. We determine explicit unimodular triangulations of the boundaries of the root polytopes associated to the root lattices A_n, C_n, and D_n, and compute their f-and h-vectors. This leads us to recover formulae for the growth series of these root lattices, which were first conjectured by Conway-Mallows-Sloane and Baake-Grimm and proved by Conway-Sloane and Bacher-de la Harpe-Venkov.
On the faces of unigraphic $3$-polytopes
针对唯一图3-多面体分类难题，证明除棱锥外所有唯一图3-多面体均无n≥10的n边形面，通过构造保持3-连通性且非同构的平面图变换完成论证，推进了该类多面体的结构研究。
The full root polytope of type $A$ is the convex hull of all pairwise differences of the standard basis vectors which we represent by forward and backward arrows. We completely classify all flag triangulations of this polytope that are uniform in the sense that the edges may be described as a function of the relative order of the indices of the four basis vectors involved. These fifteen triangulations fall naturally into three classes: three in the lex class, three in the revlex class and nine in the Simion class. We also consider a refined face count where we distinguish between forward and b…
Root polytopes and Jaeger-type dissections for directed graphs
本研究将根多面体与有向图关联，借助带状结构研究半平衡有向图的根多面体可壳剖分，计算其$h^*$-向量并证明相关性质，还验证了层完全有向图情形下的已知结果。
This paper deals with faces and facets of the family-variable polytope and the characteristic-imset polytope, which are special polytopes used in integer linear programming approaches to statistically learn Bayesian network structure. A common form of linear objectives to be maximized in this area leads to the concept of score equivalence (SE), both for linear objectives and for faces of the family-variable polytope. We characterize the linear space of SE objectives and establish a one-to-one correspondence between SE faces of the family-variable polytope, the faces of the characteristic-imset…
In this paper we study an alternating sign matrix analogue of the Chan-Robbins-Yuen polytope, which we call the ASM-CRY polytope. We show that this polytope has Catalan many vertices and its volume is equal to the number of standard Young tableaux of staircase shape; we also determine its Ehrhart polynomial. We achieve the previous by proving that the members of a family of faces of the alternating sign matrix polytope which includes ASM-CRY are both order and flow polytopes. Inspired by the above results, we relate three established triangulations of order and flow polytopes, namely Stanley's…
Triangulations of a product of two simplices and, more generally, of root polytopes are closely related to Gelfand-Kapranov-Zelevinsky's theory of discriminants, to tropical geometry, tropical oriented matroids, and to generalized permutohedra. We introduce a new approach to these objects, identifying a triangulation of a root polytope with a certain bijection between lattice points of two generalized permutohedra. In order to study such bijections, we define trianguloids as edge-colored graphs satisfying simple local axioms. We prove that trianguloids are in bijection with triangulations of r…
Let $\mathcal P_Φ$ be the root polytope of a finite irreducible crystallographic root system $Φ$, i.e., the convex hull of all roots in $Φ$. The polar of $\mathcal P_Φ$, denoted $\mathcal P_Φ^*$, coincides with the union of the orbit of the fundamental alcove under the action of the Weyl group. In this paper, we establishes which polytopes $\mathcal P_Φ^*$ are zonotopes and which are not. The proof is constructive.
We define and study a new family of polytopes which are formed as convex hulls of partial alternating sign matrices. We determine the inequality descriptions, number of facets, and face lattices of these polytopes. We also study partial permutohedra that we show arise naturally as projections of these polytopes. We enumerate facets and also characterize the face lattices of partial permutohedra in terms of chains in the Boolean lattice. Finally, we have a result and a conjecture on the volume of partial permutohedra when one parameter is fixed to be two.
Margot (1994) in his doctoral dissertation studied extended formulations of combinatorial polytopes that arise from "smaller" polytopes via some composition rule. He introduced the "projected faces property" of a polytope and showed that this property suffices to iteratively build extended formulations of composed polytopes. For the composed polytopes, we show that an extended formulation of the type studied in this paper is always possible only if the smaller polytopes have the projected faces property. Therefore, this produces a characterization of the projected faces property. Affinely gene…
According to Euler's relation any polytope P has as many faces of even dimension as it has faces of odd dimension. As a generalization of this fact one can compare the number of faces whose dimension is congruent to i modulo m with the number of all faces of P for some positive integer m and for some 0 < i < m+1. We show some classes of polytopes for which the above proportion is asymptotically equal to 1/m.
Recent work has focused on the roots z of the Ehrhart polynomial of a lattice polytope P. The case when Re(z) = -1/2 is of particular interest: these polytopes satisfy Golyshev's "canonical line hypothesis". We characterise such polytopes when dim(P) <= 7. We also consider the "half-strip condition", where all roots z satisfy -dim(P)/2 <= Re(z) <= dim(P)/2-1, and show that this holds for any reflexive polytope with dim(P) <= 5. We give an example of a 10-dimensional reflexive polytope which violates the half-strip condition, thus improving on an example by Ohsugi--Shibata in dimension 34.
The maximal chain polytope $\mathscr{M}(P)$ is associated with a finite poset $P$. For a set of maximal chains $\mathcal{C}$, it is shown that the convex hull of all the points corresponding to elements of $\mathcal{C}$ is not a face of $\mathscr{M}(P)$ if and only if $\mathcal{C}$ has an incomplete guided crown structure. Using this result, several examples, including the dimension of $\mathscr{M}(\boldsymbol{m} \times \boldsymbol{n})$, are calculated.
The Birkhoff polytope B(n) is the convex hull of all (n x n) permutation matrices, i.e., matrices where precisely one entry in each row and column is one, and zeros at all other places. This is a widely studied polytope with various applications throughout mathematics. In this paper we study combinatorial types L of faces of a Birkhoff polytope. The Birkhoff dimension bd(L) of L is the smallest n such that B(n) has a face with combinatorial type L. By a result of Billera and Sarangarajan, a combinatorial type L of a d-dimensional face appears in some B(k) for k less or equal to 2d, so bd(L) is…
Listing faces of polytopes
本文提出了一种高效算法，用于构造多面体的面哈密顿回路，解决了B-排列多面体的面哈密顿回路猜想。
Face enumeration for split matroid polytopes
本文显式研究了拟阵多面体的面计数，证明分裂拟阵多面体的面数仅取决于循环平坦的数量及模对信息，并提供无需取凸包或计算面格即可计算$f$-向量的公式。
Blind and Mani, and later Kalai, showed that the face lattice of a simple polytope is determined by its graph, namely its $1$-skeleton. Call a vertex of a $d$-polytope \emph{nonsimple} if the number of edges incident to it is more than $d$. We show that (1) the face lattice of any $d$-polytope with at most two nonsimple vertices is determined by its $1$-skeleton; (2) the face lattice of any $d$-polytope with at most $d-2$ nonsimple vertices is determined by its $2$-skeleton; and (3) for any $d>3$ there are two $d$-polytopes with $d-1$ nonsimple vertices, isomorphic $(d-3)$-skeleta and nonisomo…
Let $Φ$ be a finite crystallographic irreducible root system and $\mathcal P_Φ$ be the convex hull of the roots in $Φ$. We give a uniform explicit description of the polytope $\mathcal P_Φ$, analyze the algebraic-combinatorial structure of its faces, and provide connections with the Borel subalgebra of the associated Lie algebra. We also give several enumerative results.
Triangular faces of the order and chain polytope of a maximal ranked poset
本文研究有限极大分级偏序集的序多胞体与链多胞体，证明前者三角形2-面数不超过后者，并给出等号等价于不含X-偏序集子结构。
Two-Dimensional Faces of Order and Chain Polytopes
该研究明确了偏序集P的序多面体与链多面体的二维面的组合描述，证明链多面体的正方形面数与序多面体相等、三角形面数不少于序多面体，且除二者幺模等价外该不等式严格成立，验证了Hibi和Li猜想的i=2情形。
We show that for every $d$-dimensional polytope, the hypergraph whose nodes are $k$-faces and whose hyperedges are $(k+1)$-faces of the polytope is strongly $(d-k)$-vertex connected, for each $0 \leq k \leq d- 1$.
On the number of faces of Gelfand-Zetlin polytopes
本文通过研究Gelfand-Zetlin多胞体到立方体的线性投影，建立其f-多项式的递推关系，并由此给出若干单参数族的f-多项式和h-多项式的显式公式。
Bisztriczky introduced the multiplex as a generalization of the simplex. A polytope is multiplicial if all its faces are multiplexes. In this paper it is proved that the flag vectors of multiplicial polytopes depend only on their face vectors. A special class of multiplicial polytopes, also discovered by Bisztriczky, is comprised of the ordinary polytopes. These are a natural generalization of the cyclic polytopes. The flag vectors of ordinary polytopes are determined. This is used to give a surprisingly simple formula for the h-vector of the ordinary d-polytope with n+1 vertices and character…
Despite a full characterization of the face vectors of simple and simplicial polytopes, the face numbers of general polytopes are poorly understood. Around 1997, Bárány asked whether for all convex $d$-polytopes $P$ and all $0 \leq k \leq d-1$, $f_k(P) \geq \min\{f_0(P), f_{d-1}(P)\}$. We answer Bárány's question in the affirmative and prove a stronger statement: for all convex $d$-polytopes $P$ and all $0 \leq k \leq d-1$, \[ \frac{f_k(P)}{f_0(P)} \geq \frac{1}{2}\biggl[{\lceil \frac{d}{2} \rceil \choose k} + {\lfloor \frac{d}{2} \rfloor \choose k}\biggr], \qquad \frac{f_k(P)}{f_{d-1}(P)} \ge…
Although the Unimodality Conjecture holds for some certain classes of cubical polytopes (e.g. cubes, capped cubical polytopes, neighborly cubical polytopes), it fails for cubical polytopes in general. A 12-dimensional cubical polytope with non-unimodal face vector is constructed by using capping operations over a neighborly cubical polytope with 2 to the power 131 vertices. For cubical polytopes, the Unimodality Conjecture is proved for dimensions less than 11. The first one-third of the face vector of a cubical polytope is increasing and its last one-third is decreasing in any dimension.
We use the method of steepest descents to study the root distribution of the Ehrhart polynomial of the $d$-dimensional cross-polytope, namely $\mathcal{L}_{d}$, as $d\rightarrow \infty$. We prove that the distribution function of the roots, approximately, as $d$ grows, by variation of argument of the generating function $\sum_{m\geq 0}\mathcal{L}_{d}(m)t^{m+x-1}=(1+t)^{d}(1-t)^{-d-1}t^{x-1}$, as $t$ varies appropriately on the segment of the imaginary line contained inside the unit disk.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。