polytope ↗ reference
3077 papers tagged with this keyword
MV polytopes and reduced double Bruhat cells
Published
• View Publication
• BIB
When $G$ is a complex reductive algebraic group, MV polytopes are in bijection with the non-negative tropical points of the unipotent group of $G$. By fixing $w$ from the Weyl group, we can define MV polytopes whose highest vertex is labelled by $w$. We show that these polytopes are in bijection with the non-negative tropical points of the reduced double Bruhat cell labelled by $w^{-1}$. To do this, we define a collection of generalized minor functions $Δ_γ^\text{new}$ which tropicalize on the reduced Bruhat cell to the BZ data of an MV polytope of highest vertex $w$.
We also describe the combinatorial structure of MV polytopes of highest vertex $w$. We explicitly describe the map from the Weyl group to the subset of elements bounded by $w$ in the Bruhat order which sends $u \mapsto v$ if the vertex labelled by $u$ coincides with the vertex labelled by $v$ for every MV polytope of highest vertex $w$. As a consequence of this map, we prove that these polytopes have vertices labelled by Weyl group elements less than $w$ in the Bruhat order.
The minimal volume of a lattice polytope
Published in Australasian J. Combin. 85 (2023), 159--163
• Search Publication
Let $\mathcal{P} \subset \mathbb{R}^d$ be a lattice polytope of dimension $d$. Let $b$ denote the number of lattice points belonging to the boundary of $\mathcal{P}$ and $c$ that to the interior of $\mathcal{P}$. It follows from a lower bound theorem of Ehrhart polynomials that, when $c > 0$, the volume of $\mathcal{P}$ is bigger than or equal to $(dc + (d-1)b - d^2 + 2)/d!$. In the present paper, via triangulations, a short and elementary proof of the minimal volume formula is given.
Exact values and improved bounds on $k$-neighborly families of boxes
Published in European J. Combin. 118 (2024), Paper No. 103926, 17pp
• View Publication
• BIB
A finite family $\mathcal{F}$ of $d$-dimensional convex polytopes is called $k$-neighborly if $d-k\le\textup{dim}(C\cap C')\le d-1$ for any two distinct members $C,C'\in\mathcal{F}$. In 1997, Alon initiated the study of the general function $n(k,d)$, which is defined to be the maximum size of $k$-neighborly families of standard boxes in $\mathbb{R}^{d}$. Based on a weighted count of vectors in $\{0,1\}^{d}$, we improve a recent upper bound on $n(k,d)$ by Alon, Grytczuk, Kisielewicz, and Przesławski for any positive integers $d$ and $k$ with $d\ge k+2$. In particular, when $d$ is sufficiently large and $k\ge 0.123d$, our upper bound on $n(k,d)$ improves the bound $\sum_{i=1}^{k}2^{i-1}\binom{d}{i}+1$ shown by Huang and Sudakov exponentially.
Furthermore, we determine that $n(2,4)=9$, $n(3,5)=18$, $n(3,6)=27$, $n(4,6)=37$, $n(5,7)=74$, and $n(6,8)=150$. The stability result of Kleitman's isodiametric inequality plays an important role in the proofs.
A New Formula for the Determinant and Bounds on Its Tensor and Waring Ranks
Published in Combinator. Probab. Comp. 33 (2024) 769-794
• View Publication
• BIB
We present a new explicit formula for the determinant that contains superexponentially fewer terms than the usual Leibniz formula. As an immediate corollary of our formula, we show that the tensor rank of the $n \times n$ determinant tensor is no larger than the $n$-th Bell number, which is much smaller than the previously best known upper bounds when $n \geq 4$. Over fields of non-zero characteristic we obtain even tighter upper bounds, and we also slightly improve the known lower bounds. In particular, we show that the $4 \times 4$ determinant over $\mathbb{F}_2$ has tensor rank exactly equal to $12$. Our results also improve upon the best known upper bound for the Waring rank of the determinant when $n \geq 17$, and lead to a new family of axis-aligned polytopes that tile $\mathbb{R}^n$.
Universal minima of potentials of certain spherical designs contained in the fewest parallel hyperplanes
We find the set of all universal minimum points of the potential of the $16$-point sharp code on $S^4$ and (more generally) of the demihypercube on $S^d$, $d\geq 5$, as well as of the $2_{41}$ polytope on $S^7$. We also extend known results on universal minima of three sharp configurations on $S^{20}$ and $S^{21}$ containing no antipodal pair to their symmetrizations about the origin. Finally, we prove certain general properties of spherical $(2m-1)$-designs contained in as few as $m$ parallel hyperplanes (all but one configuration considered here possess this property).
A Formal Disproof of the Hirsch Conjecture
Published
• View Publication
• BIB
The purpose of this paper is the formal verification of a counterexample of Santos et al. to the so-called Hirsch Conjecture on the diameter of polytopes (bounded convex polyhedra). In contrast with the pen-and-paper proof, our approach is entirely computational: we implement in Coq and prove correct an algorithm that explicitly computes, within the proof assistant, vertex-edge graphs of polytopes as well as their diameter. The originality of this certificate-based algorithm is to achieve a tradeoff between simplicity and efficiency.
Simplicity is crucial in obtaining the proof of correctness of the algorithm. This proof splits into the correctness of an abstract algorithm stated over proof-oriented data types and the correspondence with a low-level implementation over computation-oriented data types. A special effort has been made to reduce the algorithm to a small sequence of elementary operations (e.g., matrix multiplications, basic routines on sets and graphs), in order to make the derivation of the correctness of the low-level implementation more transparent.
Efficiency allows us to scale up to polytopes with a challenging combinatorics. For instance, we formally check the two counterexamples of Matschke, Santos and Weibel to the Hirsch conjecture, respectively 20- and 23-dimensional polytopes with 36 425 and 73 224 vertices involving rational coefficients with up to 40 digits in their numerator and denominator. We also illustrate the performance of the method by computing the list of vertices or the diameter of well-known classes of polytopes, such as (polars of) cyclic polytopes involved in McMullen's Upper Bound Theorem.
Criticality in Sperner's Lemma
Published
• View Publication
• BIB
We answer a question posed by T. Gallai in 1969 concerning criticality in Sperner's lemma, listed as Problem 9.14 in the collection of Jensen and Toft [Graph coloring problems, John Wiley & Sons, Inc., New York, 1995].
Sperner's lemma states that if a labelling of the vertices of a triangulation of the $d$-simplex $Δ^d$ with labels $1, 2, \ldots, d+1$ has the property that (i) each vertex of $Δ^d$ receives a distinct label, and (ii) any vertex lying in a face of $Δ^d$ has the same label as one of the vertices of that face, then there exists a rainbow facet (a facet whose vertices have pairwise distinct labels). For $d\leq 2$, it is not difficult to show that for every facet $σ$, there exists a labelling with the above properties where $σ$ is the unique rainbow facet. For every $d\geq 3$, however, we construct an infinite family of examples where this is not the case, which implies the answer to Gallai's question as a corollary. The construction is based on the properties of a $4$-polytope which had been used earlier to disprove a claim of T. S. Motzkin on neighbourly polytopes.
Fans and polytopes in tilting theory II: $g$-fans of rank 2
The $g$-fan of a finite dimensional algebra is a fan in its real Grothendieck group defined by tilting theory. We give a classification of complete $g$-fans of rank 2. More explicitly, our first main result asserts that every complete sign-coherent fan of rank 2 is a $g$-fan of some finite dimensional algebra. Our proof is based on three fundamental results, Gluing Theorem, Rotation Theorem and Subdivision Theorem, which realize basic operations on fans in the level of finite dimensional algebras. For each of 16 convex sign-coherent fans $Σ$ of rank 2, our second main result gives a characterization of algebras $A$ of rank 2 satisfying $Σ(A)=Σ$. As a by-product of our method, we prove that for each positive integer $N$, there exists a finite dimensional algebra $A$ of rank 2 such that the Hasse quiver of the poset of 2-term silting complexes of $A$ has precisely $N$ connected components.
Simple geometric mitosis
Published
• View Publication
• BIB
We construct simple geometric operations on faces of the Cayley sum of two polytopes. These operations can be thought of as convex geometric counterparts of divided difference operators in Schubert calculus. We show that these operations give a uniform construction of Knutson-Miller mitosis (in type A) and (simplified) Fujita mitosis (in type C) on Kogan faces of Gelfand-Zetlin polytopes.
Lattice operads and operad filtrations
We elaborate on the notion of a filtration of an operad defined in terms of a lattice-valued operad serving as an indexing object. That covers ordinary integer-indexed filtrations of associative algebras and operads as a special case, yet the notion appears to be natural enough to encompass examples of other kind as well. The characteristic property of lattice operads is that of a certain distributivity of partial compositions with respect to meets and joins. We observe that some well-known families of lattices of combinatorial origin, such as Tamari lattices, assemble to operads subject to this particular property. Other examples include an operad of integer paritions supported on Young's lattice, operads of integer compositions of types $A, B$ and $D$, which we relate to operads of regular polytopes. We discuss the partial compatibility of the weak order on the symmetric group with the structure of the permutations operad.
Realizations of multiassociahedra via rigidity
Published in Discrete Comput. Geom., Volume 73, pages 973-1015, (2025)
• View Publication
• BIB
Let $Δ_k(n)$ denote the simplicial complex of $(k+1)$-crossing-free subsets of edges in $\binom{[n]}{2}$. Here $k,n\in \mathbb N$ and $n\ge 2k+1$.
Jonsson (2003) proved that (neglecting the short edges that cannot be part of any $(k+1)$-crossing), $Δ_k(n)$ is a shellable sphere of dimension $k(n-2k-1)-1$, and conjectured it to be polytopal. The same result and question arose in the work of Knutson and Miller (2004) on subword complexes.
Despite considerable effort, the only values of $(k,n)$ for which the conjecture is known to hold are $n\le 2k+3$ (Pilaud and Santos, 2012) and $(2,8)$ (Bokowski and Pilaud, 2009).
Using ideas from rigidity theory and choosing points along the moment curve we realize $Δ_k(n)$ as a polytope for $(k,n)\in \{(2,9), (2,10) , (3,10)\}$. We also realize it as a simplicial fan for all $n\le 13$ and arbitrary $k$, except the pairs $(3,12)$ and $(3,13)$.
Finally, we also show that for $k\ge 3$ and $n\ge 2k+6$ no choice of points can realize $Δ_k(n)$ via bar-and-joint rigidity with points along the moment curve or, more generally, via cofactor rigidity with arbitrary points in convex position.
Ronkin/Zeta Correspondence
The Ronkin function was defined by Ronkin in the consideration of the zeros of almost periodic function. Recently, this function has been used in various research fields in mathematics, physics and so on. Especially in mathematics, it has a closed connections with tropical geometry, amoebas, Newton polytopes and dimer models.
On the other hand, we have been investigated a new class of zeta functions for various kinds of walks including quantum walks by a series of our previous work on Zeta Correspondence. The quantum walk is a quantum counterpart of the random walk. In this paper, we present a new relation between the Ronkin function and our zeta function for random walks and quantum walks. Firstly we consider this relation in the case of one-dimensional random walks. Afterwards we deal with higher-dimensional random walks. For comparison with the case of the quantum walk, we also treat the case of one-dimensional quantum walks. Our results bridge between the Ronkin function and the zeta function via quantum walks for the first time.
Cliques and independent subgroups of the Birkhoff polytope graph
The Birkhoff polytope $Ω_n$ is the polytope of doubly stochastic matrices of order $n$. The Birkhoff polytope graph $G(Ω_n)$ is the skeleton of $Ω_n$; it is the Cayley graph whose vertex set consists of the elements of the symmetric group ${\rm Sym}(n)$ of degree $n$, where two permutations are adjacent if one equals the product of the other with a cycle. We study the combinatorial structure of this graph, focusing on its maximal and maximum cliques and on its independent subgroups (subgroups of ${\rm Sym}(n)$ whose elements are pairwise nonadjacent in the graph). We obtain maximal subgroups of $G(Ω_n)$ and establish both a lower bound and an upper bound for its clique number. Especially, we prove that if $K$ is a subset of ${\rm Sym}(n)$ consisting of 3-cycle permutations such that $δ_1^{-1}δ_2$ is a single cycle for all $δ_1,δ_2\in K$, then the maximum size of $K$ is $\lfloor (n-1)^2/4\rfloor$, which can be viewed as an Erdős-Ko-Rado-type theorem for ${\rm Sym}(n)$.
Deformation cone of Tesler polytopes
Published
• View Publication
• BIB
For $\boldsymbol{a} \in \R_{\geq 0}^{n}$, the Tesler polytope $\tes_{n}(\boldsymbol{a})$ is the set of upper triangular matrices with non-negative entries whose hook sum vector is $\ba$. We first give a different proof of the known fact that for every fixed $\boldsymbol{a}_{0} \in \mathbb{R}_{>0}^{n}$, all the Tesler polytopes $\tes_{n}(\boldsymbol{a})$ are deformations of $\tes_{n}(\boldsymbol{a}_{0})$. We then calculate the deformation cone of $\tes_{n}(\boldsymbol{a}_{0})$. In the process, we also show that any deformation of $\tes_{n}(\boldsymbol{a}_{0})$ is a translation of a Tesler polytope. Lastly, we consider a larger family of polytopes called flow polytopes which contains the family of Tesler polytopes and give a characterization on which flow polytopes are deformations of $\tes_{n}(\boldsymbol{a}_{0})$.
Weighted projections of alternating sign matrices: Latin-like squares and the ASM polytope
The weighted projection of an alternating sign matrix (ASM) was introduced by Brualdi and Dahl (2018) as a step towards characterising a generalisation of Latin squares they introduced using alternating sign hypermatrices. If $z_n = (n,\dots,2,1)$, then the weighted projection of an ASM $A$ is equal to $z_n^TA$. Brualdi and Dahl proved that the weighted projection of an $n \times n$ ASM is majorized by the vector $z_n$, and conjectured that any positive integer vector majorized by $z_n$ is the weighted projection of some ASM. The main result of this paper presents a proof of this conjecture, via monotone triangles. A relaxation of a monotone triangle, called a row-increasing triangle, is introduced. It is shown that for any row-increasing triangle $T$, there exists a monotone triangle $M$ such that each entry of $M$ occurs the same number of times as in $T$. A construction is also outlined for an ASM with given weighted projection. The relationship of the main result to existing results concerning the ASM polytope $ASM_n$ is examined, and a characterisation is given for the relationship between elements of $ASM_n$ corresponding to the same point in the permutohedron of order $n$. Finally, the limitations of the main result for characterising alternating sign hypermatrix Latin-like squares is considered.
A combinatorial description of stability for toric vector bundles
The aim of this paper is to discuss a combinatorial characterisation of stability for toric vector bundles (or equivariant reflexive sheaves) in the terms of their parliaments of polytopes, a generalization of moment polytopes for toric vector bundles by Di Rocco, Jabbusch and Smith. We also define subparliaments of polytopes and identify them with parliaments of equivariant subbundles.
The higher Stasheff--Tamari orders in representation theory
Published
• View Publication
• BIB
We show that the relationship discovered by Oppermann and Thomas between triangulations of cyclic polytopes and the higher Auslander algebras of type $A$, denoted $A_{n}^{d}$, is an incredibly rich one. The \emph{higher Stasheff--Tamari orders} are two orders on triangulations of cyclic polytopes, conjectured to be equivalent, defined in the 1990s by Kapranov and Voevodsky, and Edelman and Reiner. We first show that these orders correspond in even dimensions to natural orders on tilting modules defined by Riedtmann and Schofield and studied by Happel and Unger. This result allows us to show that triangulations of odd-dimensional cyclic polytopes are in bijection with equivalence classes of $d$-maximal green sequences of $A_{n}^{d}$, which we introduce as a higher-dimensional generalisation of the original maximal green sequences of Keller. We further interpret the higher Stasheff--Tamari orders in odd dimensions, where they correspond to natural orders on equivalences classes of $d$-maximal green sequences. The conjecture that these two partial orders on equivalence classes of $d$-maximal green sequences are equal amounts to an oriented version of the ``no-gap'' conjecture of Brüstle, Dupont, and Perotin. A corollary of our results is that this conjecture holds for $A_{n}$, and that here the set of equivalence classes of (1-)maximal green sequences is a lattice.
The Birkhoff polytope of the groups $\mathsf{F}_4$ and $\mathsf{H}_4$
We compute the set of facets of the polytope which is the convex hull of the Coxeter groups $\mathsf{F}_4$ or $\mathsf{H}_4$: For the group $\mathsf{F}_4$ we found $2$ orbits of facets which contradicts previous results published in \cite{birkhoff}. For the group $\mathsf{H}_4$ we found $1063$ orbits of facets which provides a counterexample to the conjecture of \cite{birkhoff}.
A polynomial-size extended formulation for the multilinear polytope of beta-acyclic hypergraphs
Published
• View Publication
• BIB
We consider the multilinear polytope defined as the convex hull of the set of binary points satisfying a collection of multilinear equations. The complexity of the facial structure of the multilinear polytope is closely related to the acyclicity degree of the underlying hypergraph. We obtain a polynomial-size extended formulation for the multilinear polytope of beta-acyclic hypergraphs, hence characterizing the acyclic hypergraphs for which such a formulation can be constructed.
Generalized parking function polytopes
Published
• View Publication
• BIB
A classical parking function of length $n$ is a list of positive integers $(a_1, a_2, \ldots, a_n)$ whose nondecreasing rearrangement $b_1 \leq b_2 \leq \cdots \leq b_n$ satisfies $b_i \leq i$. The convex hull of all parking functions of length $n$ is an $n$-dimensional polytope in $\mathbb{R}^n$, which we refer to as the classical parking function polytope. Its geometric properties have been explored in (Amanbayeva and Wang 2022) in response to a question posed in (Stanley 2020). We generalize this family of polytopes by studying the geometric properties of the convex hull of $\mathbf{x}$-parking functions for $\mathbf{x}=(a,b,\dots,b)$, which we refer to as $\mathbf{x}$-parking function polytopes. We explore connections between these $\mathbf{x}$-parking function polytopes, the Pitman-Stanley polytope, and the partial permutahedra of (Heuer and Striker 2022). In particular, we establish a closed-form expression for the volume of $\mathbf{x}$-parking function polytopes. This allows us to answer a conjecture of (Behrend et al. 2022) and also obtain a new closed-form expression for the volume of the convex hull of classical parking functions as a corollary.