Abstract We present a new algebraic-combinatorial approach to proving a Bézout-type inequality for zonoids in dimension three, which has recently been established by Fradelizi, Madiman, Meyer, and Zvavitch. Our approach hints at connections between inequalities for mixed volumes of zonoids and real algebra and matroid theory.

A decreasing Cartesian code is defined by evaluating a monomial set closed under divisibility on a Cartesian set. Some well-known examples are the Reed-Solomon, Reed-Muller, and (some) toric codes. The affine permutations consist of the permutations of the code that depend on an affine transformation. In this work, we study the affine permutations of some decreasing Cartesian codes, including the case when the Cartesian set has copies of multiplicative or additive subgroups.

Given two$q$-ary codes$C_{1}$and$C_{2}$, the relative hull of$C_{1}$with respect to$C_{2}$is the intersection$C_{1}\cap C_{2}^{\perp} $. We prove that when$q>2$, the relative hull dimension can be repeatedly reduced by one, down to a certain bound, by replacing either of the two codes with an equivalent one. The reduction of the relative hull dimension applies to hulls taken with respect to the$e$-Galois inner product, which has as special cases both the Euclidean and Hermitian inner products. We give conditions under which the relative hull dimension can be increased by one via equivalent codes when$q>2$. We study some consequences of the relative hull properties on entanglement-assisted quantum error-correcting codes and prove the existence of new entanglement-assisted quantum error-correcting maximum distance separable codes, meaning those whose parameters satisfy the quantum Singleton bound.

Abstract We present an algorithm for the classification of triples of lattice polytopes with a given mixed volume m in dimension 3. It is known that the classification can be reduced to the enumeration of so-called irreducible triples, the number of which is finite for fixed m. Following this algorithm, we enumerate all irreducible triples of normalized mixed volume up to 4 that are inclusion-maximal. This produces a classification of generic trivariate sparse polynomial systems with up to 4 solutions in the complex torus, up to monomial changes of variables. By a recent result of Esterov, this leads to a description of all generic trivariate sparse polynomial systems that are solvable by radicals.

This paper is concerned with the minimum distance computation for higher dimensional toric codes defined by lattice polytopes in $\mathbb{R}^n$. We show that the minimum distance is multiplicative with respect to taking the product of polytopes, and behaves in a simple way when one builds a k-dilate of a pyramid over a polytope. This allows us to construct a large class of examples of higher dimensional toric codes where we can compute the minimum distance explicitly.

In this paper we prove new lower bounds for the minimum distance of a toric surface code $\mathcal{C}_P$ defined by a convex lattice polygon $P\subset\mathbb{R}^2$. The bounds involve a geometric invariant $L(P)$, called the full Minkowski length of P. We also show how to compute $L(P)$ in polynomial time in the number of lattice points in P.