arXiv++ Combinatorics

We study a correspondence between numerical sets and integer partitions that leads to a bijection between simultaneous core partitions and the integer points of a certain polytope. We use this correspondence to prove combinatorial results about core partitions. For small values of a, we give formulas for the number of (a,b)-core partitions corresponding to numerical semigroups. We also study the number of partitions with a given hook set.

The delta set of a numerical semigroup $S$, denoted $Δ(S)$, is a factorization invariant that measures the complexity of the sets of lengths of elements in $S$. We study the following problem: Which finite sets occur as the delta set of a numerical semigroup $S$? It is known that $\min Δ(S) = \gcd Δ(S)$ is a necessary condition. For any two-element set $\{d,td\}$ we produce a semigroup $S$ with this delta set. We then show that for $t\ge 2$, the set $\{d,td\}$ occurs as the delta set of some numerical semigroup of embedding dimension three if and only if $t=2$.

In this paper, we make specific conjectures about the distribution of Jacobians of random graphs with their canonical duality pairings. Our conjectures are based on a Cohen-Lenstra type heuristic saying that a finite abelian group with duality pairing appears with frequency inversely proportional to the size of the group times the size of the group of automorphisms that preserve the pairing. We conjecture that the Jacobian of a random graph is cyclic with probability a little over .7935. We determine the values of several other statistics on Jacobians of random graphs that would follow from our conjectures. In support of the conjectures, we prove that random symmetric matrices over the p-adic integers, distributed according to Haar measure, have cokernels distributed according to the above heuristic. We also give experimental evidence in support of our conjectures.

Since MacWilliams proved the original identity relating the Hamming weight enumerator of a linear code to the weight enumerator of its dual code there have been many different generalizations, leading to the development of $m$-tuple support enumerators. We prove a generalization of theorems of Britz and of Ray-Chaudhuri and Siap, which build on earlier work of Kløve, Shiromoto, Wan, and others. We then give illustrations of these $m$-tuple weight enumerators.

We solve a problem of Komeda concerning the proportion of numerical semigroups which do not satisfy Buchweitz' necessary criterion for a semigroup to occur as the Weierstrass semigroup of a point on an algebraic curve. We also show that the family of semigroups known to be Weierstrass semigroups using a result of Eisenbud and Harris, has zero density in the set of all semigroups. In the process, we prove several more general results about the structure of a typical numerical semigroup.