Source author record

Tyrrell B. McAllister

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

7works
4topics
4close collaborators

Published work

7 publications

preprint2020arXiv

Rational polytopes with Ehrhart coefficients of arbitrary period

A seminal result of E. Ehrhart states that the number of integer lattice points in the dilation of a rational polytope by a positive integer kk is a quasi-polynomial function of kk --- that is, a "polynomial" in which the coefficients are themselves periodic functions of kk. Using a result of F. Liu on the Ehrhart polynomials of cyclic polytopes, we construct not-necessarily-convex rational polytopes of arbitrary dimension in which the periods of the coefficient functions appearing in the Ehrhart quasi-polynomial take on arbitrary values.

preprint2015arXiv

Ellipsoidal cones in normed vector spaces

We give two characterizations of cones over ellipsoids in real normed vector spaces. Let CC be a closed convex cone with nonempty interior such that CC has a bounded section of codimension 11. We show that CC is a cone over an ellipsoid if and only if every bounded section of CC has a center of symmetry. We also show that CC is a cone over an ellipsoid if and only if the affine span of ∂C∩∂(a−C)\partial C \cap \partial(a - C) has codimension 11 for every point aa in the interior of CC. These results generalize the finite-dimensional cases proved in (Jerónimo-Castro and McAllister, 2013).

preprint2013arXiv

Lattice-point generating functions for free sums of convex sets

Let $\J$ and $\K$ be convex sets in Rn\R^{n} whose affine spans intersect at a single rational point in $\J \cap \K$, and let $\J \oplus \K = \conv(\J \cup \K)$. We give formulas for the generating function {equation*} σ_{\cone(\J \oplus \K)}(z_1,..., z_n, z_{n+1}) = \sum_{(m_1,..., m_n) \in t(\J \oplus \K) \cap \Z^{n}} z_1^{m_1}... z_n^{m_n} z_{n+1}^{t} {equation*} of lattice points in all integer dilates of $\J \oplus \K$ in terms of $σ_{\cone \J}$ and $σ_{\cone \K}$, under various conditions on $\J$ and $\K$. This work is motivated by (and recovers) a product formula of B.\ Braun for the Ehrhart series of $¶\oplus \Q$ in the case where and $\Q$ are lattice polytopes containing the origin, one of which is reflexive. In particular, we find necessary and sufficient conditions for Braun's formula and its multivariate analogue.

preprint2013arXiv

Two characterizations of ellipsoidal cones

We give two characterizations of cones over ellipsoids. Let CC be a closed pointed convex linear cone in a finite-dimensional real vector space. We show that CC is a cone over an ellipsoid if and only if the affine span of ∂C∩∂(a−C)\partial C \cap \partial(a - C) has dimension dim⁡(C)−1\dim(C) - 1 for every point aa in the relative interior of CC. We also show that CC is a cone over an ellipsoid if and only if every bounded section of CC by an affine hyperplane is centrally symmetric.

preprint2005arXiv

On the Computation of Clebsch-Gordan Coefficients and the Dilation Effect

We investigate the problem of computing tensor product multiplicities for complex semisimple Lie algebras. Even though computing these numbers is #P-hard in general, we show that if the rank of the Lie algebra is assumed fixed, then there is a polynomial time algorithm, based on counting the lattice points in polytopes. In fact, for Lie algebras of type A_r, there is an algorithm, based on the ellipsoid algorithm, to decide when the coefficients are nonzero in polynomial time for arbitrary rank. Our experiments show that the lattice point algorithm is superior in practice to the standard techniques for computing multiplicities when the weights have large entries but small rank. Using an implementation of this algorithm, we provide experimental evidence for conjectured generalizations of the saturation property of Littlewood--Richardson coefficients. One of these conjectures seems to be valid for types B_n, C_n, and D_n.

preprint2003arXiv

The Minimum Period of the Ehrhart Quasi-polynomial of a Rational Polytope

If P⊂RdP\subset \R^d is a rational polytope, then $i_P(n):=#(nP\cap \Z^d)$ is a quasi-polynomial in nn, called the Ehrhart quasi-polynomial of PP. The period of iP(n)i_P(n) must divide $\LL(P)= \min \{n \in \Z_{> 0} \colon nP \text{is an integral polytope}\}$. Few examples are known where the period is not exactly $\LL(P)$. We show that for any $\LL$, there is a 2-dimensional triangle PP such that $\LL(P)=\LL$ but such that the period of iP(n)i_P(n) is 1, that is, iP(n)i_P(n) is a polynomial in nn. We also characterize all polygons PP such that iP(n)i_P(n) is a polynomial. In addition, we provide a counterexample to a conjecture by T. Zaslavsky about the periods of the coefficients of the Ehrhart quasi-polynomial.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.