60 research outputs found
Matrices commuting with a given normal tropical matrix
Consider the space of square normal matrices over
, i.e., and .
Endow with the tropical sum and multiplication .
Fix a real matrix and consider the set of matrices
in which commute with . We prove that is a finite
union of alcoved polytopes; in particular, is a finite union of
convex sets. The set of such that is
also a finite union of alcoved polytopes. The same is true for the set
of such that .
A topology is given to . Then, the set is a
neighborhood of the identity matrix . If is strictly normal, then
is a neighborhood of the zero matrix. In one case, is
a neighborhood of . We give an upper bound for the dimension of
. We explore the relationship between the polyhedral complexes
, and , when and commute. Two matrices,
denoted and , arise from , in connection with
. The geometric meaning of them is given in detail, for one example.
We produce examples of matrices which commute, in any dimension.Comment: Journal versio
Multivariate volume, Ehrhart, and -polynomials of polytropes
The univariate Ehrhart and -polynomials of lattice polytopes have been
widely studied. We describe methods from toric geometry for computing
multivariate versions of volume, Ehrhart and -polynomials of lattice
polytropes, which are both tropically and classically convex. These algorithms
are applied to all polytropes of dimensions 2,3 and 4, yielding a large class
of integer polynomials. We give a complete combinatorial description of the
coefficients of volume polynomials of 3-dimensional polytropes in terms of
regular central subdivisions of the fundamental polytope. Finally, we provide a
partial characterization of the analogous coefficients in dimension 4.Comment: 19 page
Examples and counterexamples in Ehrhart theory
This article provides a comprehensive exposition about inequalities that the
coefficients of Ehrhart polynomials and -polynomials satisfy under various
assumptions. We pay particular attention to the properties of Ehrhart
positivity as well as unimodality, log-concavity and real-rootedness for
-polynomials.
We survey inequalities that arise when the polytope has different normality
properties. We include statements previously unknown in the Ehrhart theory
setting, as well as some original contributions in this topic. We address
numerous variations of the conjecture asserting that IDP polytopes have a
unimodal -polynomial, and construct concrete examples that show that these
variations of the conjecture are false. Explicit emphasis is put on polytopes
arising within algebraic combinatorics.
Furthermore, we describe and construct polytopes having pathological
properties on their Ehrhart coefficients and roots, and we indicate for the
first time a connection between the notions of Ehrhart positivity and
-real-rootedness. We investigate the log-concavity of the sequence of
evaluations of an Ehrhart polynomial at the non-negative integers. We
conjecture that IDP polytopes have a log-concave Ehrhart series. Many
additional problems and challenges are proposed.Comment: Comments welcome
- …