polytope ↗ reference
3077 papers tagged with this keyword
$Δ$-Algebra and Scattering Amplitudes
Published in JHEP 1902 (2019) 005
• View Publication
• BIB
In this paper we study an algebra that naturally combines two familiar operations in scattering amplitudes: computations of volumes of polytopes using triangulations and constructions of canonical forms from products of smaller ones. We mainly concentrate on the case of $G(2,n)$ as it controls both general MHV leading singularities and CHY integrands for a variety of theories. This commutative algebra has also appeared in the study of configuration spaces and we called it the $Δ$-algebra. As a natural application, we generalize the well-known square move. This allows us to generate infinite families of new moves between non-planar on-shell diagrams. We call them sphere moves. Using the $Δ$-algebra we derive familiar results, such as the KK and BCJ relations, and prove novel formulas for higher-order relations. Finally, we comment on generalizations to $G(k,n)$.
Hollow polytopes of large width
Published in Proc. Amer. Math. Soc. 148(2) (2020), 835-850
• View Publication
• BIB
We construct a hollow lattice polytope (resp. a hollow lattice simplex) of dimension $14$ (resp.$~404$) and of width $15$ (resp.$~408$). They are the first known hollow lattice polytopes of width larger than dimension. We also construct a hollow (non-lattice) tetrahedron of width $2+\sqrt2$ and conjecture that this is the maximum width among $3$-dimensional hollow convex bodies.
We show that the maximum lattice width grows (at least) additively with $d$. In particular, the constructions above imply the existence of hollow lattice polytopes (resp. hollow simplices) of arbitrarily large dimension $d$ and width $\simeq 1.14 d$ (resp.$~\simeq 1.01 d$).
Binomial Eulerian polynomials for colored permutations
Binomial Eulerian polynomials first appeared in work of Postnikov, Reiner and Williams on the face enumeration of generalized permutohedra. They are $γ$-positive (in particular, palindromic and unimodal) polynomials which can be interpreted as $h$-polynomials of certain flag simplicial polytopes and which admit interesting Schur $γ$-positive symmetric function generalizations. This paper introduces analogues of these polynomials for $r$-colored permutations with similar properties and uncovers some new instances of equivariant $γ$-positivity in geometric combinatorics.
The polytope of legal sequences
A sequence of vertices in a graph is called a \emph{(total) legal dominating sequence} if every vertex in the sequence (total) dominates at least one vertex not dominated by those ones that precede it, and at the end all vertices of the graph are (totally) dominated. The \emph{Grundy (total) domination number} of a graph is the size of the largest (total) legal dominating sequence. In this work, we address the problems of determining these two parameters by introducing a generalized version of them. We explicitly calculate the corresponding (general) parameter for paths and web graphs. We propose integer programming formulations for the new problem and we study the polytope associated to one of them. We find families of valid inequalities and derive conditions under which they are facet-defining. Finally, we perform computational experiments to compare the formulations as well as to test valid inequalities as cuts in a B\&C framework.
Computing Convex Hulls in the Affine Building of SL_d
Published
• View Publication
• BIB
We describe an algorithm for computing the convex hull of a finite collection of points in the affine building of SL_d(K), for K a field with discrete valuation. These convex hulls describe the relations among a finite collection of invertible matrices over K. As a consequence, we bound the dimension of the tropical projective space needed to realize the convex hull as a tropical polytope.
Extended formulations from communication protocols in output-efficient time
Published
• View Publication
• BIB
Deterministic protocols are well-known tools to obtain extended formulations, with many applications to polytopes arising in combinatorial optimization. Although constructive, those tools are not output-efficient, since the time needed to produce the extended formulation also depends on the number of rows of the slack matrix (hence, on the exact description in the original space). We give general sufficient conditions under which those tools can be implemented as to be output-efficient, showing applications to e.g.~Yannakakis' extended formulation for the stable set polytope of perfect graphs, for which, to the best of our knowledge, an efficient construction was previously not known. For specific classes of polytopes, we give also a direct, efficient construction of extended formulations arising from protocols. Finally, we deal with extended formulations coming from unambiguous non-deterministic protocols.
Ehrhart polynomials of polytopes and spectrum at infinity of Laurent polynomials
Published
• View Publication
• BIB
Gathering different results from singularity theory, geometry and combinatorics, we show that the spectrum at infinity of a tame Laurent polynomial counts lattice points in polytopes and we deduce an effective algorithm in order to compute the Ehrhart polynomial of a simplex containing the origin as an interior point.
New Polyhedral and Algorithmic Results on Greedoids
Published
• View Publication
• BIB
We present various new results on greedoids. We prove a theorem that generalizes an equivalent formulation of Edmonds' classic matroid polytope theorem to local forest greedoids -- a class of greedoids that contains matroids as well as branching greedoids. We also describe an application of this theorem in the field of measuring the reliability of networks by game-theoretical tools. Finally, we prove new results on the optimality of the greedy algorithm on greedoids and correct some mistakes that have been present in the literature for almost three decades.
Enumeration of lattice polytopes by their volume
Published
• View Publication
• BIB
A well known result by Lagarias and Ziegler states that there are finitely many equivalence classes of d-dimensional lattice polytopes having volume at most K, for fixed constants d and K. We describe an algorithm for the complete enumeration of such equivalence classes for arbitrary constants d and K. The algorithm, which gives another proof of the finiteness result, is implemented for small values of K, up to dimension six. The resulting database contains and extends several existing ones, and has been used to correct mistakes in other classifications. When specialized to three-dimensional smooth polytopes, it extends previous classifications by Bogart et al., Lorenz and Lundman. Moreover, we give a structure theorem for smooth polytopes with few lattice points that proves that they have a quadratic triangulation and that we use, together with the classification, to describe smooth polytopes having small volume in arbitrary dimension. In dimension three we enumerate all the simplices having up to 11 interior lattice points and we use them to conjecture a set of sharp inequalities for the coefficients of the Ehrhart h*-polynomials, unifying several existing conjectures. Finally, we extract and discuss minimal interesting examples from the classification, and we study the frequency of properties such as being spanning, very ample, IDP, and having a unimodular cover or triangulation. In particular, we find the smallest polytopes which are very ample but not IDP, and with a unimodular cover but without a unimodular triangulation.
Direct families of polytopes with nontrivial Massey products
The problem of existence of nontrivial Massey products in cohomology of a space is well-known in algebraic topology and homological algebra. A number of problems in complex geometry, symplectic geometry, and algebraic topology can be stated in terms of Massey products. One of such problems is to establish formality of smooth manifolds in rational homotopy theory. There have already been constructed a few classes of spaces with nontrivial triple Massey products in cohomology. Until now, very few examples of manifolds $M$ with nontrivial higher Massey products in $H^*(M)$ were known. In this work we introduce a sequence of smooth closed manifolds $\{M_{k}\}^{\infty}_{k=1}$ such that $M_{k}\hookrightarrow M_{k+1}$ is a submanifold and a retract of $M_{k+1}$ for any $k\geq 1$ and there exists a nontrivial Massey product $\langleα_{1},\ldots,α_{n}\rangle$ in $H^*(M_{k})$ for each $2\leq n\leq k$. The sequence $\{M_k\}^{\infty}_{k=1}$ is determined by a new family of flag nestohedra $\mathcal P_{Mas}$. We give P.D.E. for the two-parametric generating series of $\mathcal P_{Mas}$.
From the flat-space S-matrix to the Wavefunction of the Universe
The physical information encoded in the cosmological late-time wavefunction of the universe is tied to its singularity structure and its behaviour as such singularities are approached. One important singularity is identified by the vanishing of the total energy, where the wavefunction reduces to the physics of scattering in flat space. In this paper, we discuss the behaviour of the perturbative wavefunction as its other singularities are approached and the role played by the flat-space scattering, in the simplified context of the class of toy models admitting a first principle definition in terms of cosmological polytopes. The problems then translates into the analysis of the structure of its facets, one of which -- the scattering facet -- beautifully encodes the flat-space S-matrix. We show that all the boundaries of the cosmological polytope encode information about the flat-space physics. In particular, a subset of its facets turns out to have a similar structure as the scattering facet, with the vertices which can be grouped together to form lower dimensional scattering facets. The other facets admit one (and only one) triangulation in terms of products of lower dimensional scattering facets. As a consequence, the whole perturbative wavefunction can be represented as a sum of product of flat-space scattering amplitudes. Finally, we turn the table around and ask whether the knowledge of the flat-space scattering amplitudes suffices to reconstruct the wavefunction of the universe. We show that, at least for our class of toy models, this is indeed the case at tree level if we are also provided with a subset of symmetries that the wavefunction ought to satisfy. Once the tree cosmological polytopes are reconstructed, the loop ones can be obtained as a particular projection of them.
On the neighborliness of dual flow polytopes of quivers
In this note we investigate under which conditions the dual of the flow polytope (henceforth referred to as the `dual flow polytope') of a quiver is k-neighborly, for generic weights near the canonical weight. We provide a lower bound on k, depending only on the edge connectivity of the underlying graph, for such weights. In the case where the canonical weight is in fact generic, we explicitly determine a vertex presentation of the dual flow polytope. Finally, we specialize our results to the case of complete, bipartite quivers where we show that the canonical weight is indeed generic, and are able to provide an improved bound on k. Hence, we are able to produce many new examples of high-dimensional, k-neighborly polytopes.
Quasi-period collapse for duals to Fano polygons: an explanation arising from algebraic geometry
The Ehrhart quasi-polynomial of a rational polytope $P$ is a fundamental invariant counting lattice points in integer dilates of $P$. The quasi-period of this quasi-polynomial divides the denominator of $P$ but is not always equal to it: this situation is called quasi-period collapse. Polytopes experiencing quasi-period collapse appear widely across algebra and geometry, and yet the phenomenon remains largely mysterious. Using techniques from algebraic geometry - specifically the $\mathbb{Q}$-Gorenstein deformation theory of orbifold del Pezzo surfaces - we explain quasi-period collapse for rational polygons dual to Fano polygons and describe explicitly the discrepancy between the quasi-period and the denominator.
Polyhedral realizations of crystal bases and convex-geometric Demazure operators
Published
• View Publication
• BIB
The main object in this paper is a certain rational convex polytope whose lattice points give a polyhedral realization of a highest weight crystal basis. This is also identical to a Newton-Okounkov body of a flag variety, and it gives a toric degeneration. In this paper, we prove that a specific class of this polytope is given by Kiritchenko's Demazure operators on polytopes. This implies that polytopes in this class are all lattice polytopes. As an application, we give a sufficient condition for the corresponding toric variety to be Gorenstein Fano.
Reflexive polytopes arising from bipartite graphs with $γ$-positivity associated to interior polynomials
Published in Selecta Mathematica. New Series 26 (2020), 59
• View Publication
• BIB
In this paper, we introduce polytopes ${\mathcal B}_G$ arising from root systems $B_n$ and finite graphs $G$, and study their combinatorial and algebraic properties. In particular, it is shown that ${\mathcal B}_G$ is reflexive if and only if $G$ is bipartite. Moreover, in the case, ${\mathcal B}_G$ has a regular unimodular triangulation. This implies that the $h^*$-polynomial of ${\mathcal B}_G$ is palindromic and unimodal when $G$ is bipartite. Furthermore, we discuss stronger properties, namely the $γ$-positivity and the real-rootedness of the $h^*$-polynomials. In fact, if $G$ is bipartite, then the $h^*$-polynomial of ${\mathcal B}_G$ is $γ$-positive and its $γ$-polynomial is given by an interior polynomial (a version of the Tutte polynomial for a hypergraph). The $h^*$-polynomial is real-rooted if and only if the corresponding interior polynomial is real-rooted. From a counterexample to Neggers--Stanley conjecture, we construct a bipartite graph $G$ whose $h^*$-polynomial is not real-rooted but $γ$-positive, and coincides with the $h$-polynomial of a flag triangulation of a sphere.
Incompatible double posets and double order polytopes
Published in Electronic Journal of Combinatorics 27(1) P1.9 (2020), 13 pages
• View Publication
• BIB
In 1986 Stanley associated to a poset the order polytope. The close interplay between its combinatorial and geometric properties makes the order polytope an object of tremendous interest. Double posets were introduced in 2011 by Malvenuto and Reutenauer as a generalization of Stanleys labelled posets. A double poset is a finite set equipped with two partial orders. To a double poset Chappell, Friedl and Sanyal (2017) associated the double order polytope. They determined the combinatorial structure for the class of compatible double posets. In this paper we generalize their description to all double posets and we classify the 2-level double order polytopes.
Computational complexity, Newton polytopes, and Schubert polynomials
Published in Proceedings of the 31st Conference on Formal Power Series and Algebraic Combinatorics (Ljubljana), Sem. Lothar. Combin. 82B (2020), Art. 52, 12 pp
• Search Publication
The nonvanishing problem asks if a coefficient of a polynomial is nonzero. Many families of polynomials in algebraic combinatorics admit combinatorial counting rules and simultaneously enjoy having saturated Newton polytopes (SNP). Thereby, in amenable cases, nonvanishing is in the complexity class $NP\cap coNP$ of problems with "good characterizations". This suggests a new algebraic combinatorics viewpoint on complexity theory.
This report discusses the case of Schubert polynomials. These form a basis of all polynomials and appear in the study of cohomology rings of flag manifolds. We give a tableau criterion for nonvanishing, from which we deduce the first polynomial time algorithm. These results are obtained from new characterizations of the Schubitope, a generalization of the permutahedron defined for any subset of the n x n grid, together with a theorem of A. Fink, K. Mészáros, and A. St. Dizier, which proved a conjecture of C. Monical, N. Tokcan, and the third author.
The Zonotopal Algebra of the Broken Wheel Graph and its Generalization
Published
• View Publication
• BIB
The machinery of zonotopal algebra is linked with two particular polytopes: the Stanley-Pitman polytope and the regular simplex $\mathfrak{Sim}_n(t_1,...,t_n)$ with parameters $t_1,...,t_n\in \mathbb{R}_+^n$, defined by the inequalities $\sum_{i=1}^n r_i\leq \sum_{i=1}^n t_i, \mbox{ } r_i\in \mathbb{R}_+^n,$ where the $(r_i)_{i\in [n]}$ are variables. Specifically, we will discuss the central Dahmen-Micchelli space of the broken wheel graph $BW_n$ and its dual, the $\mathcal{P}$-central space. We will observe that the $\mathcal{P}$-central space of $BW_n$ is monomial, with a basis given by the $BW_n$-parking functions. We will show that the volume polynomial of the the Stanley-Pitman polytope lies in the central Dahmen-Micchelli space of $BW_n$ and is precisely the polynomial in a particular basis of the central Dahmen-Micchelli space which corresponds to the monomial $t_1t_2\cdots t_n$ in the dual monomial basis of the $\mathcal{P}$-central space. We will then define the generalized broken wheel graph $GBW_n(T)$ for a given rooted tree $T$ on $n$ vertices. For every such tree, we can construct $2^{n-1}$ directed graphs, which we will refer to as \textit{generalized broken wheel graphs}. Each generalized broken wheel graph constructed from $T$ will give us a polytope, its volume polynomial, and a \textit{reference monomial}. The $2^{n-1}$ polytopes together give a polyhedral subdivision of $\mathfrak{Sim}_n(t_1,...,t_n)$, their volume polynomials together give a basis for the subspace of homogeneous polynomials of degree $n$ of the corresponding central Dahmen-Micchelli space, and their reference monomials together give a basis for its dual.
On the number of vertices of projective polytopes
Let $X$ be a configuration of $n$ points in $\mathbb{R}^d$.
What is the maximum number of vertices that $conv(T(X))$ can have among all the possible permissible projective transformations $T$?
In this paper, we investigate this and connected questions. After presenting several upper bounds, we study a closely related problem (via Gale transforms) concerning the number of minimal Radon partitions of a set of points. We then present some bounds for this number that enable us to partially answer a question due to Pach and Szegedy. We also discuss another related problem concerning the size of topes in arrangements of hyperplanes.
Pyramidal Polytopes in the Stability Region
Every $n th$ order monic polynomial corresponds $n$-dimensional vector. If the given polynomial is stable that is all its roots lie in the open left half plane it is said to be Hurwitz polynomial and the corresponding vector is called stable vector. The set of stable vectors is non-convex. In this paper, we define special $(n+1) $ stable vectors such that their convex hull is stable.