arXiv++ Combinatorics

We investigate matrices with entries in a number field such that some positive power has all its entries in the corresponding ring of integers. Our work generalizes previous results in several directions and we find applications to numerical semigroups.

We introduce a module-theoretic approach and a linear-programming method to compute the matricial dimension of numerical semigroups. We use these to compute the matricial dimension of every numerical semigroup with Frobenius number at most $10$ or genus at most $6$. Many of these evaluations were beyond the scope of previous techniques.

We characterize semigroups in $\{0,1,2,\ldots\}$ of matricial dimension $2$ and produce a counterexample to the conjecture that a numerical semigroup whose small elements are lonely has matricial dimension at most $2$.

We describe the asymptotic behavior of weighted factorization lengths on numerical semigroups. Our approach is geometric as opposed to analytic, explains the presence of Curry-Schoenberg B-splines as limiting distributions, and provides explicit error bounds (no implied constants left unspecified). Along the way, we explicitly bound the difference between the vector partition function and the number of integer points in the variable polytope for a $2 \times k$ matrix.

We continue our study of exponent semigroups of rational matrices. Our main result is that the matricial dimension of a numerical semigroup is at most its multiplicity (the least generator), greatly improving upon the previous upper bound (the conductor). For many numerical semigroups, including all symmetric numerical semigroups, our upper bound is tight.

Our aim in this paper is to initiate the study of exponent semigroups for rational matrices. We prove that every numerical semigroup is the exponent semigroup of some rational matrix. We also obtain lower bounds on the size of such matrices and discuss the related class of power-integral matrices.

The symmetric tensor power of graphs is introduced and its fundamental properties are explored. A wide range of intriguing phenomena occur when one considers symmetric tensor powers of familiar graphs. A host of open questions are presented, hoping to spur future research.

We introduce a family of norms on the $n \times n$ complex matrices. These norms arise from a probabilistic framework, and their construction and validation involve probability theory, partition combinatorics, and trace polynomials in noncommuting variables. As a consequence, we obtain a generalization of Hunter's positivity theorem for the complete homogeneous symmetric polynomials.

For numerical semigroups with three generators, we study the asymptotic behavior of weighted factorization lengths, that is, linear functionals of the coefficients in the factorizations of semigroup elements. This work generalizes many previous results, provides more natural and intuitive proofs, and yields a completely explicit error bound.

We introduce a remarkable new family of norms on the space of $n \times n$ complex matrices. These norms arise from the combinatorial properties of symmetric functions, and their construction and validation involve probability theory, partition combinatorics, and trace polynomials in noncommuting variables. Our norms enjoy many desirable analytic and algebraic properties, such as an elegant determinantal interpretation and the ability to distinguish certain graphs that other matrix norms cannot. Furthermore, they give rise to new dimension-independent tracial inequalities. Their potential merits further investigation.

For numerical semigroups with a specified list of (not necessarily minimal) generators, we describe the asymptotic distribution of factorization lengths with respect to an arbitrary modulus. In particular, we prove that the factorization lengths are equidistributed across all congruence classes that are not trivially ruled out by modular considerations.

We employ the fact certain divided differences can be written as weighted means of B-splines and hence are positive. These divided differences include the complete homogeneous symmetric polynomials of even degree $2p$, the positivity of which is a classical result by D. B. Hunter. We extend Hunter's result to complete homogeneous symmetric polynomials of fractional degree, which are defined via Jacobi's bialternant formula. We show in particular that these polynomials have positive real part for real degrees $μ$ with $|μ-2p|< 1/2$. We also prove a positivity criterion for linear combinations of the classical complete homogeneous symmetric polynomials and a sufficient criterion for the positivity of linear combinations of products of such polynomials.

For numerical semigroups with a specified list of (not necessarily minimal) generators, we obtain explicit asymptotic expressions, and in some cases quasipolynomial/quasirational representations, for all major factorization length statistics. This involves a variety of tools that are not standard in the subject, such as algebraic combinatorics (Schur polynomials), probability theory (weak convergence of measures, characteristic functions), and harmonic analysis (Fourier transforms of distributions). We provide instructive examples which demonstrate the power and generality of our techniques. We also highlight unexpected consequences in the theory of homogeneous symmetric functions.

Most factorization invariants in the literature extract extremal factorization behavior, such as the maximum and minimum factorization lengths. Invariants of intermediate size, such as the mean, median, and mode factorization lengths are more subtle. We use techniques from analysis and probability to describe the asymptotic behavior of these invariants. Surprisingly, the asymptotic median factorization length is described by a number that is usually irrational.

We consider lattices generated by finite Abelian groups. We prove that such a lattice is strongly eutactic, which means the normalized minimal vectors of the lattice form a spherical 2-design, if and only if the group is of odd order or if it is a power of the group of order 2. This result also yields a criterion for the appropriately normalized minimal vectors to constitute a uniform normalized tight frame. Further, our result combined with a recent theorem of R. Bacher produces (via the classical Voronoi criterion) a new infinite family of extreme lattices. Additionally, we investigate the structure of the automorphism groups of these lattices, strengthening our previous results in this direction.

We consider the well-known Rosenbloom-Tsfasman function field lattices in the special case of Hermitian function fields. We show that in this case the resulting lattices are generated by their minimal vectors, provide an estimate on the total number of minimal vectors, and derive properties of the automorphism groups of these lattices. Our study continues previous investigations of lattices coming from elliptic curves and finite Abelian groups. The lattices we are faced with here are more subtle than those considered previously, and the proofs of the main results require the replacement of the existing linear algebra approaches by deep results of Gerhard Hiss on the factorization of functions with particular divisor support into lines and their inverses.

We say that a Euclidean lattice in $\mathbb R^n$ is permutation invariant if its automorphism group has non-trivial intersection with the symmetric group $S_n$, i.e., if the lattice is closed under the action of some non-identity elements of $S_n$. Given a fixed element $τ\in S_n$, we study properties of the set of all lattices closed under the action of $τ$: we call such lattices $τ$-invariant. These lattices naturally generalize cyclic lattices introduced by Micciancio, which we studied in a recent paper. Continuing our investigation, we discuss some basic properties of permutation invariant lattices, in particular proving that the subset of well-rounded lattices in the set of all $τ$-invariant lattices in $\mathbb R^n$ has positive co-dimension (and hence comprises zero proportion) for all $τ$ different from an $n$-cycle.

This paper is devoted to the study of lattices generated by finite Abelian groups. Special species of such lattices arise in the exploration of elliptic curves over finite fields. In case the generating group is cyclic, they are also known as the Barnes lattices. It is shown that for every finite Abelian group with the exception of the cyclic group of order four these lattices have a basis of minimal vectors. Another result provides an improvement of a recent upper bound by Min Sha for the covering radius in the case of the Barnes lattices. Also discussed are properties of the automorphism groups of these lattices.

We study the representation theory of a certain finite group for which Kloosterman sums appear as character values. This leads us to consider a concrete family of commuting hermitian matrices which have Kloosterman sums as eigenvalues. These matrices satisfy a number of "magical" combinatorial properties and they encode various arithmetic properties of Kloosterman sums. These matrices can also be regarded as adjacency matrices for multigraphs which display Ramanujan-like behavior.