polytope ↗ reference
3077 papers tagged with this keyword
Computations of volumes in five candidates elections
Published in Scientific Reports 13 (2023), 13266
• View Publication
• BIB
We describe several analytical results obtained in five candidates social choice elections under the assumption of the Impartial Anonymous Culture. These include the Condorcet and Borda paradoxes, as well as the Condorcet efficiency of plurality, negative plurality and Borda voting, including their runoff versions. The computations are done by Normaliz. It finds precise probabilities as volumes of polytopes in dimension 119, using its recent implementation of the Lawrence algorithm.
Capturing Polytopal Symmetries by Coloring the Edge-Graph
Published
• View Publication
• BIB
A general (convex) polytope $P\subset\mathbb R^d$ and its edge-graph $G_P$ can have very distinct symmetry properties. We construct a coloring (of the vertices and edges) of the edge-graph so that the combinatorial symmetry group of the colored edge-graph is isomorphic (in a natural way) to $\mathrm{Aut}_{\mathrm{GL}}(P)$, the group of linear symmetries of the polytope. We also construct an analogous coloring for $\mathrm{Aut}_{\mathrm{O}}(P)$, the group of orthogonal symmetries of $P$.
Volume of convex polytopes equals mixed volume of simplices
Published
• View Publication
• BIB
This note provides a simple proof for the equality between the normalized volume of a convex polytope with $m$ vertices and the mixed volume of $m$ simplices and thus shows the seemingly restrictive problem of computing mixed volume of simplices is still at least as hard as computing volumes of convex polytopes.
Faces of maximal chain polytopes
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.
Ehrhart quasi-polynomials of almost integral polytopes
Published
• View Publication
• BIB
A lattice polytope translated by a rational vector is called an almost integral polytope. In this paper we investigate Ehrhart quasi-polynomials of almost integral polytopes. We study the relationship between the shape of the polytopes and algebraic properties of the Ehrhart quasi-polynomials. In particular, we prove that lattice zonotopes and centrally symmetric lattice polytopes are characterized by Ehrhart quasi-polynomials of their rational translations.
Factorization of Platonic Polytopes into canonical spheres
Published in {\it Geombinatorics}, {\bf XXXI}(1)(2021) 5--9
• Search Publication
Factorization into spheres is achieved for skeleta of the simplex, cube, and cross-polytope, both explicitly and using Keevash's proof of existence of designs.
Transportation Polytope and its Applications in Parallel Server Systems
A parallel server system is a stochastic processing network with applications in manufacturing, supply chain, ride-hailing, call centers, etc. Heterogeneous customers arrive in the system, and only a subset of servers can serve any customer type given by the flexibility graph. The goal of the system operator is to minimize the delay that depends on the scheduling policy and the flexibility graph. A long line of literature focuses on designing near-optimal scheduling policies given a flexibility graph. On the contrary, we fix the scheduling policy to be the so-called MaxWeight scheduling given its superior delay performance and focus on designing near-optimal, sparse flexibility graphs. Our contributions are threefold.
First, we analyze the expected delay in the heavy-traffic asymptotic regime in terms of the properties of the flexibility graph and use this result to translate the design question in terms of transportation polytope, the deterministic equivalent of parallel server queues. Second, we design the sparsest flexibility graph that achieves a given delay performance and shows the robustness of the design to demand uncertainty. Third, given the budget to add edges arrives sequentially in time, we present the optimal schedule for adding them to the flexibility graph. These results are obtained by proving new results for transportation polytopes and are of independent interest. In particular, translating the difficulties to a simpler model, i.e. transportation polytope, allows us to develop a unified framework to answer several design questions.
Generalized splines on graphs with two labels and polynomial splines on cycles
Published
• View Publication
• BIB
Generalized splines are an algebraic combinatorial framework that generalizes and unifies various established concepts across different fields, most notably the classical notion of splines and the topological notion of GKM theory. The former consists of piecewise polynomials on a combinatorial geometric object like a polytope, whose polynomial pieces agree to a specified degree of differentiability. The latter is a graph-theoretic construction of torus-equivariant cohomology that Shareshian and Wachs used to reformulate the well-known Stanley$\unicode{x2013}$Stembridge conjecture, a reformulation that was recently proven to hold by Brosnan and Chow and independently Guay-Paquet.
This paper focuses on the theory of generalized splines. A generalized spline on a graph $G$ with each edge labeled by an ideal in a ring $R$ consists of a vertex-labeling by elements of $R$ so that the labels on adjacent vertices $u, v$ differ by an element of the ideal associated to the edge $uv$. We study the $R$-module of generalized splines and produce minimum generating sets for several families of graphs and edge-labelings: $1)$ for all graphs when the set of possible edge-labelings consists of at most two finitely-generated ideals, and $2)$ for cycles when the set of possible edge-labelings consists of principal ideals generated by elements of the form $(ax+by)^2$ in the polynomial ring $\mathbb{C}[x,y]$. We obtain the generators using a constructive algorithm that is suitable for computer implementation and give several applications, including contextualizing several results in the theory of classical (analytic) splines.
Three families of toric rings arising from posets or graphs with small class groups
Published
• View Publication
• BIB
The main objects of the present paper are (i) Hibi rings (toric rings arising from order polytopes of posets), (ii) stable set rings (toric rings arising from stable set polytopes of perfect graphs), and (iii) edge rings (toric rings arising from edge polytopes of graphs satisfying the odd cycle condition). The goal of the present paper is to analyze those three toric rings and to discuss their structures in the case where their class groups have small rank. We prove that the class groups of (i), (ii) and (iii) are torsionfree. More precisely, we give descriptions of their class groups. Moreover, we characterize the posets or graphs whose associated toric rings have rank $1$ or $2$. By using those characterizations, we discuss the differences of isomorphic classes of those toric rings with small class groups.
Facets and facet subgraphs of symmetric edge polytopes
Published
• View Publication
• BIB
Symmetric edge polytopes, a.k.a. PV-type adjacency polytopes, associated with undirected graphs have been defined and studied in several seemingly independent areas including number theory, discrete geometry, and dynamical systems. In particular, the authors are motivated by the study of the algebraic Kuramoto equations of unmixed form whose Newton polytopes are the symmetric edge polytopes.
The interplay between the geometric structure of symmetric edge polytopes and the topological structure of the underlying graphs has been a recurring theme in recent studies. In particular, ``facet/face subgraphs'' have emerged as one of the central concepts in describing this symmetry. Continuing along this line of inquiry we provide a complete description of the correspondence between facets/faces of a symmetric edge polytope and maximal bipartite subgraphs of the underlying connected graph.
A polytopal generalization of Apollonian packings and Descartes' theorem
Published
• View Publication
• BIB
We present a generalization of Descartes' theorem for the family of polytopal sphere packings arising from uniform polytopes. The corresponding quadratic equation is expressed in terms of geometric invariants of uniform polytopes which are closely connected to canonical realizations of edge-scribable polytopes. We use our generalization to construct integral Apollonian packings based on the Platonic solids. Additionally, we also introduce and discuss a new spectral invariant for edge-scribable polytopes.
Random Permutations -- A geometric point of view
We look at geometric limits of large random non-uniform permutations. We mainly consider two theories for limits of permutations: permuton limits, introduced by Hoppen, Kohayakawa, Moreira, Rath, and Sampaio to define a notion of scaling limits for permutations; and Benjamini-Schramm limits, introduced by the author to define a notion of local limits for permutations. The models of random permutations that we consider are mainly constrained models, that is, uniform permutations belonging to a given subset of the set of all permutations. We often identify this subset using pattern-avoidance, focusing on: permutations avoiding a pattern of length three, substitution-closed classes, (almost) square permutations, permutation families encoded by generating trees, and Baxter permutations. We explore some universal phenomena for the models mentioned above. For Benjamini-Schramm limits we explore a concentration phenomenon for the limiting objects. For permuton limits we deepen the study of some known universal permutons, called biased Brownian separable permutons, and we introduce some new ones, called Baxter permuton and skew Brownian permutons. In addition, for (almost) square permutations, we investigate the occurrence of a phase transition for the limiting permutons. On the way, we establish various combinatorial results both for permutations and other related objects. Among others, we give a complete description of the feasible region for consecutive patterns as the cycle polytope of a specific graph; and we find new bijections relating Baxter permutations, bipolar orientations, walks in cones, and a new family of discrete objects called coalescent-walk processes.
Perfectness of Kirillov-Reshetikhin Crystals $B^{r,s}$ for types $E_{6}^{(1)}$ and $E_{7}^{(1)}$ with a minuscule node $r$
We prove the perfectness of Kirillov-Reshetikhin crystals $B^{r,s}$ for types $E_{6}^{(1)}$ and $E_{7}^{(1)}$ with $r$ being the minuscule node and $s\geq 1$ using the polytope model of KR crystals introduced by Jang.
Tensor slice rank and Cayley's first hyperdeterminant
Published
• View Publication
• BIB
Cayley's first hyperdeterminant is a straightforward generalization of determinants for tensors. We prove that nonzero hyperdeterminants imply lower bounds on some types of tensor ranks. This result applies to the slice rank introduced by Tao and more generally to partition ranks introduced by Naslund. As an application, we show upper bounds on some generalizations of colored sum-free sets based on constraints related to order polytopes.
The Signed (Total) Roman Domination Problem on some Classes of Planar Graphs -- Convex Polytopes
Published
• View Publication
• BIB
In this paper we deal with the calculation of the signed (total) Roman domination numbers, $γ_{sR}$ and $γ_{stR}$ respectively, on a few classes of planar graphs from the literature. We give proofs for the exact values of the numbers $γ_{sR}(A_n)$ and $γ_{sR}(R_n)$ as well as the numbers
$γ_{stR}(S_n)$ and $γ_{stR}(T_n)$. For some other classes of planar graphs, such as $Q_n$, %$S_n"$ and $T_n"$, lower and upper bounds on $γ_{sR}$ are calculated and proved. %We give some open problems on the exact values of $γ_{sR}$ and $γ_{stR}$ for some classes of planar graphs.
Column convex matrices, $G$-cyclic orders, and flow polytopes
We study polytopes defined by inequalities of the form $\sum_{i\in I} z_{i}\leq 1$ for $I\subseteq [d]$ and nonnegative $z_i$ where the inequalities can be reordered into a matrix inequality involving a column-convex $\{0,1\}$-matrix. These generalize polytopes studied by Stanley, and the consecutive coordinate polytopes of Ayyer, Josuat-Vergès, and Ramassamy. We prove an integral equivalence between these polytopes and flow polytopes of directed acyclic graphs $G$ with a Hamiltonian path, which we call spinal graphs. We show that the volume of these flow polytopes is the number of extensions of a set of partial cyclic orders defined by the graph $G$. As a special case we recover results on volumes of consecutive coordinate polytopes.
We study the combinatorics of $k$-Euler numbers, which are generalizations of the classical Euler numbers, and which arise as volumes of flow polytopes of a special family of spinal graphs. We show that their refinements, Ramassamy's $k$-Entringer numbers, can be realized as values of a Kostant partition function, satisfy a family of generalized boustrophedon recurrences, and are log concave along root directions.
Finally, via our main integral equivalence and the known formula for the $h^*$-polynomial of consecutive coordinate polytopes, we give a combinatorial formula for the $h^*$-polynomial of flow polytopes of non-nested spinal graphs. For spinal graphs in general, we present a conjecture on upper and lower bounds for their $h^*$-polynomial.
Discrete intrinsic volumes
For a convex lattice polytope $P\subset \mathbb R^d$ of dimension $d$ with vertices in $\mathbb Z^d$, denote by $L(P)$ its discrete volume which is defined as the number of integer points inside $P$. The classical result due to Ehrhart says that for a positive integer $n$, the function $L(nP)$ is a polynomial in $n$ of degree $d$ whose leading coefficient is the volume of $P$. In particular, $L(nP)$ approximates the volume of $nP$ for large $n$.
In convex geometry, one of the central notion which generalizes the volume is the intrinsic volumes. The main goal of this paper is to introduce their discrete counterparts. In particular, we show that for them the analogue of the Ehrhart result holds, where the volume is replaced by the intrinsic volume.
We also introduce and study a notion of Grassmann valuation which generalizes both the discrete volume and the solid-angle valuation introduced by Reeve and Macdonald.
On Expected Face Numbers of Random Beta and Beta' Polytopes
Published
• View Publication
• BIB
The random beta polytope is defined as the convex hull of $n$ independent random points with the density proportional to $(1-\|x\|^2)^β$ on the $d$-dimensional unit ball, where $β>-1$ is a parameter. Similarly, the random beta' polytope is defined as the convex hull of $n$ independent random points with the density proportional to $(1+\|x\|^2)^{-β}$ on $\mathbb R^d$, where $β>\frac d2$. In a previous work [Angles of random simplices and face numbers of random polytopes, Adv. Math., 380 (2021), 107612], we established exact and explicit formulae for the expected $f$-vectors of these random polytopes in terms of certain definite integrals. In the present paper, we use purely algebraic manipulations to derive several identities for these integrals which yield alternative formulae for the expected $f$-vectors. Similar algebraic manipulations apply to Stirling numbers and yield the following identity: $$ \sum_{s=0}^k \genfrac{\{}{\}}{0pt}{}{n-s}{d-s} (d-s) \genfrac{[}{]}{0pt}{}{d-s}{k-s} =
\sum_{s=0}^k (-1)^s \genfrac{\{}{\}}{0pt}{}{n-s}{d} \genfrac{[}{]}{0pt}{}{d+1}{k-s} =
\sum_{s=0}^{d-k} (-1)^s \genfrac{\{}{\}}{0pt}{}{n+1}{d-s} \genfrac{[}{]}{0pt}{}{d-s}{k}. $$
Integer decomposition property of polytopes
Published in The Electron. J. Combin. 31 (2024), no. 1, Paper No. 1.1, 22 pp
• View Publication
• BIB
We study the integer decomposition property of lattice polytopes associated with the $n$-dimensional smooth complete fans with at most $n+3$ rays. Using the classification of smooth complete fans by Kleinschmidt and Batyrev and a reduction to lower dimensional polytopes, we prove the integer decomposition property for lattice polytopes in this setting.
Faces of polyhedra associated with relation modules
Published
• View Publication
• BIB
Relation Gelfand-Tsetlin $\mathfrak{gl}_n$-modules were introduced in [FRZ19], and are determined by some special directed graphs and Gelfand-Tsetlin characters. In this work we constructed polyhedra associated with the class of relation modules, which includes as a particular case, any classical Gelfand-Tsetlin polytope. Following the ideas presented in [LM04] we give a characterization of $d$-faces of the associated polyhedra in terms of a matrix related to the corresponding graph.