polytope ↗ reference
3077 papers tagged with this keyword
Faces of root polytopes
Published
• View Publication
• BIB
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.
Hamiltonian decomposition and verifying vertex adjacency in 1-skeleton of the traveling salesperson polytope by variable neighborhood search
Published
• View Publication
• BIB
We consider a Hamiltonian decomposition problem of partitioning a regular graph into edge-disjoint Hamiltonian cycles. A sufficient condition for vertex adjacency in the 1-skeleton of the traveling salesperson polytope can be formulated as the Hamiltonian decomposition problem in a 4-regular multigraph. We introduce a heuristic general variable neighborhood search algorithm for this problem based on finding a vertex-disjoint cycle cover of the multigraph through reduction to perfect matching and several cycle merging operations. The algorithm has a one-sided error: the answer "not adjacent" is always correct, and was tested on random directed and undirected Hamiltonian cycles and on pyramidal tours.
Grossberg-Karshon twisted cubes and hesitant jumping walk avoidance
Published in The Electronic Journal of Combinatorics (E-JC) Volume 27, Issue 3 (2020) #P3.34
• View Publication
• BIB
Let $G$ be a complex simply-laced semisimple algebraic group of rank $r$ and $B$ a Borel subgroup. Let $\mathbf i \in [r]^n$ be a word and let $\mathbf \ell = (\ell_1,\dots,\ell_n)$ be a sequence of non-negative integers. Grossberg and Karshon introduced a virtual lattice polytope associated to $\mathbf i$ and $\mathbf \ell$ called a twisted cube, whose lattice points encode the character of a $B$-representation. More precisely, lattice points in the twisted cube, counted with sign according to a certain density function, yields the character of the generalized Demazure module determined by $\mathbf i$ and $\mathbf \ell$. In recent work, the author and Harada described precisely when the Grossberg-Karshon twisted cube is untwisted, i.e., the twisted cube is a closed convex polytope, in the situation when the integer sequence $\mathbf \ell$ comes from a weight $λ$ of $G$. However, not every integer sequence $\mathbf \ell$ comes from a weight of $G$. In the present paper, we interpret untwistedness of Grossberg-Karshon twisted cubes associated to any word $\mathbf i$ and any integer sequence $\mathbf \ell$ using the combinatorics of $\mathbf i$ and $\mathbf \ell$. Indeed, we prove that the Grossberg-Karshon twisted cube is untwisted precisely when $\mathbf i$ is hesitant-jumping-$\mathbf \ell$-walk-avoiding.
Regular $3$-polytopes of order $2^np$
In [Problems on polytopes, their groups, and realizations, Periodica Math. Hungarica 53 (2006) 231-255] Schulte and Weiss proposed the following problem: {\em Characterize regular polytopes of orders $2^np$ for $n$ a positive integer and $p$ an odd prime}. In this paper, we first prove that if a $3$-polytope of order $2^np$ has Schläfli type $\{k_1, k_2\}$, then $p \mid k_1$ or $p \mid k_2$. This leads to two classes, up to duality, for the Schläfli type, namely Type (1) where $k_1=2^sp$ and $k_2=2^t$ and Type (2) where $k_1=2^sp$ and $k_2=2^tp$. We then show that there exists a regular $3$-polytope of order $2^np$ with Type (1) when $s\geq 2$, $t\geq 2$ and $n\geq s+t+1$ coming from a general construction of regular $3$-polytopes of order $2^n\ell_1\ell_2$ with Schläfli type $\{2^s\ell_1,2^t\ell_2\}$ where both $\ell_1$ and $\ell_2$ are odd. Furthermore, for $p=3$ and $n \geq 7$, we show that there exists a regular 3-polytope of order $3\cdot2^n$ with type $\{6,2^s\}$ if and only if $2\leq s \leq n-2$ and $s \neq n-3$. For Type (2), we prove that there exists a regular $3$-polytope of order $2^n\cdot 3$ with Schläfli type $\{6, 6\}$ when $n \ge 5$ coming from a general construction of regular $3$-polytopes of Schläfli type $\{6,6\}$ with orders $192m^3$, $384m^3$ or $768m^3$, for any positive integer $m$.
Kostant's partition function and magic multiplex juggling sequences
Published in Ann. Comb. 24, 439-473 (2020)
• View Publication
• BIB
Kostant's partition function is a vector partition function that counts the number of ways one can express a weight of a Lie algebra $\mathfrak{g}$ as a nonnegative integral linear combination of the positive roots of $\mathfrak{g}$. Multiplex juggling sequences are generalizations of juggling sequences that specify an initial and terminal configuration of balls and allow for multiple balls at any particular discrete height. Magic multiplex juggling sequences generalize further to include magic balls, which cancel with standard balls when they meet at the same height. In this paper, we establish a combinatorial equivalence between positive roots of a Lie algebra and throws during a juggling sequence. This provides a juggling framework to calculate Kostant's partition functions, and a partition function framework to compute the number of juggling sequences. From this equivalence we provide a broad range of consequences and applications connecting this work to polytopes, posets, positroids, and weight multiplicities.
Cooperative games on simplicial complexes
Published
• View Publication
• BIB
In this work, we define cooperative games on simplicial complexes, generalizing the study of probabilistic values of Weber and quasi-probabilistic values of Bilbao, Driessen, Jiménez Losada and Lebrón. Applications to Multi-Touch Attribution and the interpretability of the Machine-Learning prediction models motivate these new developments.
We deal with the axiomatization provided by the $λ_i$-dummy and the monotonicity requirements together with a probabilistic form of the symmetric and the efficiency axioms. We also characterize combinatorially the set of probabilistic participation influences as the facet polytope of the simplicial complex.
Causal Diamonds, Cluster Polytopes and Scattering Amplitudes
Published
• View Publication
• BIB
The "amplituhedron" for tree-level scattering amplitudes in the bi-adjoint $φ^3$ theory is given by the ABHY associahedron in kinematic space, which has been generalized to give a realization for all finite-type cluster algebra polytopes, labelled by Dynkin diagrams. In this letter we identify a simple physical origin for these polytopes, associated with an interesting (1+1)-dimensional causal structure in kinematic space, along with solutions to the wave equation in this kinematic "spacetime" with a natural positivity property. The notion of time evolution in this kinematic spacetime can be abstracted away to a certain "walk", associated with any acyclic quiver, remarkably yielding a finite cluster polytope for the case of Dynkin quivers. The ${\cal A}_{n{-}3},{\cal B}_{n{-}1}/{\cal C}_{n{-}1}$ and ${\cal D}_n$ polytopes are the amplituhedra for $n$-point tree amplitudes, one-loop tadpole diagrams, and full integrand of one-loop amplitudes. We also introduce a polytope $\bar{\cal D}_n$, which chops the ${\cal D}_n$ polytope in half along a symmetry plane, capturing one-loop amplitudes in a more efficient way.
Massey products, toric topology and combinatorics of polytopes
Published
• View Publication
• BIB
In this paper we introduce a direct family of simple polytopes $P^{0}\subset P^{1}\subset\ldots$ such that for any $k$, $2\leq k\leq n$ there are non-trivial strictly defined Massey products of order $k$ in the cohomology rings of their moment-angle manifolds $\mathcal Z_{P^n}$. We prove that the direct sequence of manifolds $\ast\subset S^{3}\hookrightarrow\ldots\hookrightarrow\mathcal Z_{P^n}\hookrightarrow\mathcal Z_{P^{n+1}}\hookrightarrow\ldots$ has the following properties: every manifold $\mathcal Z_{P^n}$ is a retract of $\mathcal Z_{P^{n+1}}$, and one has inverse sequences in cohomology (over $n$ and $k$, where $k\to\infty$ as $n\to\infty$) of the Massey products constructed. As an application we get that there are non-trivial differentials $d_k$, for arbitrarily large $k$ as $n\to\infty$ in the Eilenberg--Moore spectral sequence connecting the rings $H^*(ΩX)$ and $H^*(X)$ with coefficients in a field, where $X=\mathcal Z_{P^n}$.
Birational Geometry of Matroids and Abstract Hyperplane Arrangements
A matroid is a machine capturing linearity of mathematical objects and producing combinatorial structures. Matroid structure arises everywhere since linearity is a ubiquitous concept. One natural way to obtain matroids is by considering hyperplane arrangements, which give rise to convex polytopes called matroid polytopes. Much research has been conducted on these three areas: matroids, matroid polytopes, and hyperplane arrangements. However, substantial gaps in our knowledge remain, and the correspondence diagram between those areas needs to be more extensive. For instance, currently, there is no matroid counterpart of a matroid subdivision, and only some matroid subdivisions are associated with stable hyperplane arrangements. Moreover, we need a deeper understanding of the face structure of a matroid polytope and how to glue or subdivide base polytopes; the latter requires overcoming Mnev's universality theorem. Another interesting question is whether the birational geometry of hyperplane arrangements can be implemented over matroids. In this paper, we develop a theory that integrates the three areas into a trinity relationship and provide solutions to the aforementioned questions while answering as many as possible.
On the realization space of the cube
Published
• View Publication
• BIB
We consider the realization space of the $d$-dimensional cube, and show that any two realizations are connected by a finite sequence of projective transformations and normal transformations. We use this fact to define an analog of the connected sum construction for cubical $d$-polytopes, and apply this construction to certain cubical $d$-polytopes to conclude that the rays spanned by $f$-vectors of cubical $d$-polytopes are dense in Adin's cone. The connectivity result on cubes extends to any product of simplices, and further, it shows the respective realization spaces are contractible.
Stringy Canonical Forms
Published
• View Publication
• BIB
Canonical forms of positive geometries play an important role in revealing hidden structures of scattering amplitudes, from amplituhedra to associahedra. In this paper, we introduce "stringy canonical forms", which provide a natural definition and extension of canonical forms for general polytopes, deformed by a parameter $α'$. They are defined by real or complex integrals regulated with polynomials with exponents, and are meromorphic functions of the exponents, sharing various properties of string amplitudes. As $α' \to 0$, they reduce to the usual canonical form of a polytope given by the Minkowski sum of the Newton polytopes of the regulating polynomials, or equivalently the volume of the dual of this polytope, naturally determined by tropical functions. At finite $α'$, they have simple poles corresponding to the facets of the polytope, with the residue on the pole given by the stringy canonical form of the facet. There is the remarkable connection between the $α' \to 0$ limit of tree-level string amplitudes, and scattering equations that appear when studying the $α' \to \infty$ limit. We show that there is a simple conceptual understanding of this phenomenon for any stringy canonical form: the saddle-point equations provide a diffeomorphism from the integration domain to the interior of the polytope, and thus the canonical form can be obtained as a pushforward via summing over saddle points. When the stringy canonical form is applied to the ABHY associahedron in kinematic space, it produces the usual Koba-Nielsen string integral, giving a direct path from particle to string amplitudes without an a priori reference to the string worldsheet. We also discuss a number of other examples, including stringy canonical forms for finite-type cluster algebras (with type A for string amplitudes), and other natural integrals over the positive Grassmannian.
Coefficients of the solid angle and Ehrhart quasi-polynomials
Macdonald studied a discrete volume measure for a rational polytope $P$, called solid angle sum, that gives a natural discrete volume for $P$. We give a local formula for the codimension two quasi-coefficient of the solid angle sum of $P$. We also show how to recover the classical Ehrhart quasi-polynomial from the solid angle sum and in particular we find a similar local formula for the codimension one and codimension two quasi-coefficients. These local formulas are naturally valid for all positive real dilates of $P$.
An interesting open question is to determine necessary and sufficient conditions on a polytope $P$ for which the discrete volume of $P$ given by the solid angle sum equals its continuous volume: $A_P(t) = \mathrm{vol}(P) t^d$. We prove that a sufficient condition is that $P$ tiles $\mathbb R^d$ by translations, together with the Hyperoctahedral group.
Non-perturbative geometries for planar $\mathcal{N}=4$ SYM amplitudes
Published
• View Publication
• BIB
There is a remarkable well-known connection between the G$(4,n)$ cluster algebra and $n$-particle amplitudes in $\mathcal{N}=4$ SYM theory. For $n \ge 8$ two long-standing open questions have been to find a mathematically natural way to identify a finite list of amplitude symbol letters from among the infinitely many cluster variables, and to find an explanation for certain algebraic functions, such as the square roots of four-mass-box type, that are expected to appear in symbols but are not cluster variables. In this letter we use the notion of "stringy canonical forms" to construct polytopal realizations of certain compactifications of (the positive part of) the configuration space Conf${}_n(\mathbb{P}^{k-1}) \cong {\rm G}(k,n)/T$ that are manifestly finite for all $k$ and $n$. Some facets of these polytopes are naturally associated to cluster variables, while others are naturally associated to algebraic functions constructed from Lusztig's canonical basis. For $(k,n) = (4,8)$ the latter include precisely the expected square roots, revealing them to be related to certain "overpositive" functions of the kinematical invariants.
On Positive Geometry and Scattering Forms for Matter Particles
Published in JHEP 06 (2020) 030
• View Publication
• BIB
We initiate the study of positive geometry and scattering forms for tree-level amplitudes with matter particles in the (anti-)fundamental representation of the color/flavor group. As a toy example, we study the bi-color scalar theory, which supplements the bi-adjoint theory with scalars in the (anti-)fundamental representations of both groups. Using a recursive construction we obtain a class of unbounded polytopes called open associahedra (or associahedra with certain facets at infinity) whose canonical form computes amplitudes in bi-color theory, for arbitrary number of legs and flavor assignments. In addition, we discuss the duality between color factors and wedge products, or "color is kinematics", for amplitudes with matter particles as well.
The Geometry of $H_4$ Polytopes
Published
• View Publication
• BIB
We describe the geometry of an arrangement of 24-cells inscribed in the 600-cell. In $§$7 we apply our results to the even unimodular lattice $E_8$ and show how the 600-cell transforms $E_8$/2$E_8$, an 8-space over the field $\bf{F}$$_2$, into a 4-space over $\bf{F}$$_4$ whose points, lines and planes are labeled by the geometric objects of the 600-cell.
All 2-neighborly d-polytopes with at most d + 9 facets
We give a complete enumeration of all 2-neighborly $d$-polytopes with $d+9$ and less facets. All of them are realized as 0/1-polytopes, except a 6-polytope $P_{6,10,15}$ with 10 vertices and 15 facets, and pyramids over $P_{6,10,15}$. In particular, we update the lower bounds for the number of facets of a 2-neighborly $d$-polytope $P$ and showed that the number of facets of $P$ is not less than the number of its vertices $f_0(P)$ for $f_0(P) \le d + 10$.
Two infinite families of chiral polytopes of type \{4,4,4\} with solvable automorphism groups
We construct two infinite families of locally toroidal chiral polytopes of type $\{4,4,4\}$, with $1024m^2$ and $2048m^2$ automorphisms for every positive integer $m$, respectively. The automorphism groups of these polytopes are solvable groups, and when $m$ is a power of $2$, they provide examples with automorphism groups of order $2^n$ where $n$ can be any integer greater than $9$. (On the other hand, no chiral polytopes of type $[4,4,4]$ exist for $n \leq 9$.) In particular, our two families give a partial answer to a problem proposed by Schulte and Weiss in [Problems on polytopes, their groups, and realizations, {\em Periodica Math.\ Hungarica\} 53 (2006), 231-255].
A linear optimization oracle for zonotope computation
Published in Comput. Geom. 100, 101809 (2022)
• View Publication
• BIB
A class of counting problems ask for the number of regions of a central hyperplane arrangement. By duality, this is the same as counting the vertices of a zonotope. We give several efficient algorithms, based on a linear optimization oracle, that solve this and related enumeration problems. More precisely, our algorithms compute the vertices of a zonotope from the set of its generators and inversely, recover the generators of a zonotope from its vertices. A variation of the latter algorithm also allows to decide whether a polytope, given as its vertex set, is a zonotope and when it is not, to compute its greatest zonotopal summand.
Graph edge contraction and subdivisions for adjacency polytopes
Adjacency polytopes, a.k.a. symmetric edge 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 tropical intersections problem derived from the Kuramoto equations. Regular subdivisions of adjacency polytopes are instrumental in solving these problems. This paper explores connections between the regular subdivisions of an adjacency polytope and the contraction of the underlying graph along an edge. We construct a special regular subdivision whose cells are in one-to-one correspondence with facets of an adjacency polytope associated with an edge-contraction of the original graph. Moreover, this subdivision induces a decomposition of the original graph into ``cell subgraphs''. We explore the combinatorial, graph-theoretic, and matroidal aspects of this connection.
A new algorithm to classify chiral polytopes with a given automorphism group
Published
• View Publication
• BIB
We present a new algorithm to compute all the chiral polytopes that have a given group $G$ as full automorphism group. This algorithm uses a new set of generators that characterize the group, all of them except one being involutions. It permits to compute all chiral polytopes of groups that were previously unreachable by other known algorithms.