arXiv++ Combinatorics

The theory of tournament limits and tournament kernels (often called graphons) is developed by extending common notions for finite tournaments to this setting; in particular we study transitivity and irreducibility of limits and kernels. We prove that each tournament kernel and each tournament limit can be decomposed into a direct sum of irreducible components, with transitive components interlaced. We also show that this decomposition is essentially unique.

For positive integers $n$ and $k$, the \emph{anti-van der Waerden number} of $\mathbb{Z}_n$, denoted by $aw(\mathbb{Z}_n,k)$, is the minimum number of colors needed to color the elements of the cyclic group of order $n$ and guarantee there is a rainbow arithmetic progression of length $k$. Butler et al. showed a reduction formula for $aw(\mathbb{Z}_{n},3) = 3$ in terms of the prime divisors of $n$. In this paper, we analagously define the anti-van der Waerden number of a finite abelian group $G$ and show $aw(G,3)$ is determined by the order of $G$ and the number of groups with even order in a direct sum isomorphic to $G$. The \emph{unitary anti-van der Waerden number} of a group is also defined and determined.

Building on recent work by Medvedev (2014) we establish new connections between a basic consensus model, called the voting model, and the theory of graph limits. We show that in the voting model if consensus is attained in the continuum limit then solutions to the finite model will eventually be close to a constant function, and a class of graph limits which guarantee consensus is identified. It is also proven that the dynamics in the continuum limit can be decomposed as a direct sum of dynamics on the connected components, using Janson's definition of connectivity for graph limits. This implies that without loss of generality it may be assumed that the continuum voting model occurs on a connected graph limit.

Given a finite commutative semigroup $\mathcal{S}$ (written additively), denoted by ${\rm D}(\mathcal{S})$ the Davenport constant of $\mathcal{S}$, namely the least positive integer $\ell$ such that for any $\ell$ elements $s_1,\ldots,s_{\ell}\in \mathcal{S}$ there exists a set $I\subsetneq [1,\ell]$ for which $\sum_{i\in I} s_i=\sum_{i=1}^{\ell} s_i$. Then, for any integers $r\geq 1, n_1,\ldots,n_r>1$, let $R=\mathbb{Z}_{n_1}\oplus\cdots\oplus \mathbb{Z}_{n_r}$ be the direct sum of these $r$ residue class rings $\mathbb{Z}_{n_1}, \ldots,\mathbb{Z}_{n_r}$. Moreover, let $\mathcal{S}_R$ be the multiplicative semigroup of the ring $R$, and ${\rm U}(\mathcal{S}_R)$ the group of units of $\mathcal{S}_R$. In this paper, we prove that $${\rm D}({\rm U}(\mathcal{S}_R))+P_2\leq {\rm D}(\mathcal{S}_R)\leq {\rm D}({\rm U}(\mathcal{S}_R))+δ,$$ where $P_2=\sharp\{i\in [1,r]: 2 \parallel n_i\}$ and $δ=\sharp\{i\in [1,r]: 2\mid n_i\}.$ This corrects our previous published wrong result on this problem.

Given two convex polytopes, the join, the cartesian product and the direct sum of them are well understood. In this paper we extend these three kinds of products to abstract polytopes and introduce a new product, called the topological product, which also arises in a natural way. We show that these products have unique prime factorization theorems. We use this to compute the automorphism group of a product in terms of the automorphism groups of the factors and show that (non trivial) products are almost never regular or two-orbit polytopes. We finish the paper by studying the monodromy group of a product, show that such a group is always an extension of a symmetric group, and give some examples in which this extension splits.

The Jacobian algebra $\mathsf{A}$ arising from a consistent dimer model is derived equivalent to crepant resolutions of a $3$-dimensional Gorenstein toric singularity $R$, and it is also called a non-commutative crepant resolution of $R$. This algebra $\mathsf{A}$ is a maximal Cohen-Macaulay (= MCM) module over $R$, and it is a finite direct sum of rank one MCM $R$-modules. In this paper, we observe a relationship between properties of a dimer model and those of MCM modules appearing in the decomposition of $\mathsf{A}$ as an $R$-module. More precisely, we take notice of isoradial dimer models and divisorial ideals which are called conic. Especially, we investigate them for the case of $3$-dimensional Gorenstein toric singularities associated with reflexive polygons.

A classic exercise in the topology of surfaces is to show that, using handle slides, every disc-band surface, or 1-vertex ribbon graph, can be put in a canonical form consisting of the connected sum of orientable loops, and either non-orientable loops or pairs of interlaced orientable loops. Motivated by the principle that ribbon graph theory informs delta-matroid theory, we find the delta-matroid analogue of this surface classification. We show that, using a delta-matroid analogue of handle-slides, every binary delta-matroid in which the empty set is feasible can be written in a canonical form consisting of the direct sum of the delta-matroids of orientable loops, and either non-orientable loops or pairs of interlaced orientable loops. Our delta-matroid results are compatible with the surface results in the sense that they are their ribbon graphic delta-matroidal analogues.

We construct a Cartesian product G x H for finite simple graphs. It satisfies the Kuenneth formula: H^k(G x H) is a direct sum of tensor products H^i(G) x H^j(G) with i+j=k and so p(G x H,x) = p(G,x) p(H,y) for the Poincare polynomial p(G,x) and X(G x H) = X(G) X(H) for the Euler characteristic X(G)=p(G,-1). G1=G x K1 has as vertices the simplices of G and a natural digraph structure. We show that dim(G1) is larger or equal than dim(G) and G1 is homotopic to G. The Kuenneth identity is proven using Hodge describing the harmonic forms by the product f g of harmonic forms of G and H and uses a discrete de Rham theorem given by a combinatorial chain homotopy between simplicial and de Rham cohomology. We show dim(G x H) = dim(G1) + dim(H1) implying that dim(G x H) is larger or equal than dim(G) + dim(H) as for Hausdorff dimension in the continuum. The chromatic number c(G1) is smaller or equal than c(G) and c(G x H) is bounded above by c(G)+c(H)-1. The automorphism group of G x H contains Aut(G) x Aut(H). If G~H and U~V then (G x U) ~ (H x V) if ~ means homotopic: homotopy classes can be multiplided. If G is k-dimensional geometric meaning that all unit spheres S(x) in G are (k-1)-discrete homotopy spheres, then G1 is k-dimensional geometric. If G is k-dimensional geometric and H is l-dimensional geometric, then G x H is geometric of dimension (l+k). The product extends to a ring of chains which unlike the category of graphs is closed under boundary operation taking quotients G/A with A subset Aut(G). As we can glue graphs or chains, joins or fibre bundles can be defined with the same features as in the continuum, allowing to build isomorphism classes of bundles.

For a finite abelian group $(G,+)$ the Harborth constant is defined as the smallest integer $\ell$ such that each squarefree sequence over $G$ of length $\ell$ has a subsequence of length equal to the exponent of $G$ whose terms sum to $0$. The plus-minus weighted Harborth constant is defined in the same way except that the existence of a plus-minus weighted subsum equaling $0$ is required, that is, when forming the sum one can chose a sign for each term. The inverse problem associated to these constants is the problem of determining the structure of squarefree sequences of maximal length that do not yet have such a zero-subsum. We solve the inverse problems associated to these constant for certain groups, in particular for groups that are the direct sum of a cyclic group and a group of order two. Moreover, we obtain some results for the plus-minus weighted Erdős--Ginzburg--Ziv constant.

This is an overview of recent results on the use of 2D Toda $τ$-functions as generating functions for multiparametric families of weighted Hurwitz numbers. The Bose-Fermi equivalence composed with the characteristic map provides an isomorphism between the zero charge sector of the Fermionic Fock space and the direct sum of the centers of the group algebra of the symmetric groups $S_n$. Specializing the fermionic formula to the case of diagonal group elements gives $τ$-functions of hypergeometric type, for which the expansion over products of Schur functions is diagonal, with coefficients of {\em content product} type. The corresponding abelian group action on the centre of the $S_n$ group algebra is determined by forming symmetric functions multiplicatively from a weight generating function $G(z)$ and evaluating on the Jucys-Murphy elements of the group algebra. The resulting central elements act diagonally on the basis of orthogonal idempotents and the eigenvalues $r^{G(z)}_λ$ are the {\em content product} coefficients appearing in the double Schur function expansion. Both the geometrical meaning of weighted Hurwitz numbers, as weighted sums over $n$-sheeted branched coverings, and the combinatorial one, as weighted enumeration of paths in the Cayley graph of $S_n$ generated by transpositions follow from expansion of the Cauchy-Littlewood generating functions over dual pairs of bases of the algebra of symmetric functions. The coefficients in the resulting $τ$-function expansion over products of power sum symmetric functions are the weighted Hurwitz numbers. Replacement of the Cauchy-Littlewood generating function by that for Macdonald polynomials provides $(q,t)$-deformations that yield generating functions for quantum weighted Hurwitz numbers.

A positroid is the matroid of a matrix whose maximal minors are all nonnegative. Given a permutation $w$ in $S_n$, the matroid of a generic $n \times n$ matrix whose non-zero entries in row $i$ lie in columns $w(i)$ through $n+i$ is an example of a positroid. We enumerate the bases of such a positroid as a sum of certain products of Catalan numbers, each term indexed by the $123$-avoiding permutations above $w$ in Bruhat order. We also give a similar sum formula for their Tutte polynomials. These are both avatars of a structural result writing such a positroid as a disjoint union of matroids, each isomorphic to a direct sum of Catalan matroids and a matroid with one basis.

Two sets in $\mathbb{R}^d$ are called homometric if they have the same covariogram, where the covariogram of a finite subset $K$ of $\mathbb{R}^d$ is the function associating to each $u \in \mathbb{R}^d$ the cardinality of $K \cap (K+u)$. Understanding the structure of homometric sets is important for a number of areas of mathematics and applications. If two sets are homometric but do not coincide up to translations and point reflections, we call them nontrivially homometric. We study nontrivially homometric pairs of lattice-convex sets, where a set $K$ is called lattice-convex with respect to a lattice $\mathbb{M} \subseteq \mathbb{R}^d$ if $K$ is the intersection of $\mathbb{M}$ and a convex subset of $\mathbb{R}^d$. This line of research was initiated in 2005 by Daurat, Gérard and Nivat and, independently, by Gardner, Gronchi and Zong. All pairs of nontrivially homometric lattice-convex sets that have been known so far can essentially be written as direct sums $S \oplus T$ and $S \oplus (-T)$, where $T$ is lattice-convex, the underlying lattice~$\mathbb{M}$ is the direct sum of $T$ and some sublattice $\mathbb{L}$, and $S$ is a subset of $\mathbb{L}$. We study pairs of nontrivially homometric lattice-convex sets assuming this particular form and establish a necessary and a sufficient condition for the lattice-convexity of $S \oplus T$. This allows us to explicitly describe all nontrivially homometric pairs in dimension two, under the above assumption, and to construct examples of nontrivially homometric pairs of lattice-convex sets for each $d \ge 3$.

Let $R$ be a ring and let $\mathcal C$ be a small class of right $R$-modules which is closed under finite direct sums, direct summands, and isomorphisms. Let $\mathcal V (\mathcal C)$ denote a set of representatives of isomorphism classes in $\mathcal C$ and, for any module $M$ in $\mathcal C$, let $[M]$ denote the unique element in $\mathcal V (\mathcal C)$ isomorphic to $M$. Then $\mathcal V (\mathcal C)$ is a reduced commutative semigroup with operation defined by $[M] + [N] = [M \oplus N]$, and this semigroup carries all information about direct-sum decompositions of modules in $\mathcal C$. This semigroup-theoretical point of view has been prevalent in the theory of direct-sum decompositions since it was shown that if $\operatorname{End}_R (M)$ is semilocal for all $M\in \mathcal C$, then $\mathcal V (\mathcal C)$ is a Krull monoid. Suppose that the monoid $\mathcal V (\mathcal C)$ is Krull with a finitely generated class group (for example, when $\mathcal C$ is the class of finitely generated torsion-free modules and $R$ is a one-dimensional reduced Noetherian local ring). In this case we study the arithmetic of $\mathcal V (\mathcal C)$ using new methods from zero-sum theory. Furthermore, based on module-theoretic work of Lam, Levy, Robson, and others we study the algebraic and arithmetic structure of the monoid $\mathcal V (\mathcal C)$ for certain classes of modules over Prüfer rings and hereditary Noetherian prime rings.

The groundbreaking work of Rothvoß [arxiv:1311.2369] established that every linear program expressing the matching polytope has an exponential number of inequalities (formally, the matching polytope has exponential extension complexity). We generalize this result by deriving strong bounds on the polyhedral inapproximability of the matching polytope: for fixed $0 < \varepsilon < 1$, every polyhedral $(1 + \varepsilon / n)$-approximation requires an exponential number of inequalities, where $n$ is the number of vertices. This is sharp given the well-known $ρ$-approximation of size $O(\binom{n}{ρ/(ρ-1)})$ provided by the odd-sets of size up to $ρ/(ρ-1)$. Thus matching is the first problem in $P$, whose natural linear encoding does not admit a fully polynomial-size relaxation scheme (the polyhedral equivalent of an FPTAS), which provides a sharp separation from the polynomial-size relaxation scheme obtained e.g., via constant-sized odd-sets mentioned above. Our approach reuses ideas from Rothvoß [arxiv:1311.2369], however the main lower bounding technique is different. While the original proof is based on the hyperplane separation bound (also called the rectangle corruption bound), we employ the information-theoretic notion of common information as introduced in Braun and Pokutta [http://eccc.hpi-web.de/report/2013/056/], which allows to analyze perturbations of slack matrices. It turns out that the high extension complexity for the matching polytope stem from the same source of hardness as for the correlation polytope: a direct sum structure.

A subset in a group $G \leq Sym(n)$ is intersecting if for any pair of permutations $π,σ$ in the subset there is an $i \in \{1,2,\dots,n\}$ such that $π(i) = σ(i)$. If the stabilizer of a point is the largest intersecting set in a group, we say that the group has the Erdős-Ko-Rado (EKR) property. Moreover, the group has the strict EKR property if every intersecting set of maximum size in the group is either the stabilizer of a point or the coset of the stabilizer of a point. In this paper we look at several families of permutation groups and determine if the groups have either the EKR property or the strict EKR property. First, we prove that all cyclic groups have the strict EKR property. Next we show that all dihedral and Frobenius groups have the EKR property and we characterize which ones have the strict EKR property. Further, we show that if all the groups in an external direct sum or an internal direct sum have the EKR (or strict EKR) property, then the product does as well. Finally, we show that the wreath product of two groups with EKR property also has the EKR property.

The Harborth constant of a finite abelian group is the smallest integer $\ell$ such that each subset of $G$ of cardinality $\ell$ has a subset of cardinality equal to the exponent of the group whose elements sum to the neutral element of the group. The plus-minus weighted analogue of this constant is defined in the same way except that instead of considering the sum of all elements of the subset one can choose to add either the element or its inverse. We determine these constants for certain groups, mainly groups that are the direct sum of a cyclic group and a group of order 2. Moreover, we contrast these results with existing results and conjectures on these problems.

We use computer algebra to study the 512-dimensional associative algebra Q B_3, the rational monoid algebra of 3 x 3 Boolean matrices. We obtain a basis for the radical in bijection with the 42 non-regular elements of B_3. The center of the 470-dimensional semisimple quotient has dimension 14; we use a splitting algorithm to find a basis of orthogonal primitive idempotents. We show that the semisimple quotient is the direct sum of simple two-sided ideals isomorphic to d x d rational matrix algebras for d = 1, 1, 1, 2, 3, 3, 3, 3, 6, 6, 7, 9, 9, 12. We construct the irreducible representations of B_3 over Q by calculating the representation matrices for a minimal set of generators.

Suppose μand μ' are two partitions. We will let μ\oplus μ' denote the "direct sum" of the partitions, defined as the sorted partition made of the parts of $μ$ and $μ'$. In this paper, we define a summation operation on two Littlewood-Richardson fillings of type (μ, ν;λ) and (μ', ν';λ'), which results in a Littlewood-Richardson filling of type (μ\oplus μ', ν\oplus ν' ;λ\oplus λ'). We give an algorithm to produce the sum, and show that it terminates in a Littlewood-Richardson filling by defining a bijection between a Littlewood-Richardson filling and a flow on a honeycomb, and then showing that the overlay of the two honeycombs of appropriate type corresponds to the sum of the two fillings.

We prove that every abelian permutation group, but known exceptions, is the symmetry group of a boolean function. This solves the problem posed in the book by Clote and Kranakis. In fact, our result is proved for a larger class of groups, namely, for all groups contained in direct sums of regular groups.

We prove the complete monotonicity on $(0,\infty)^n$ for suitable inverse powers of the spanning-tree polynomials of graphs and, more generally, of the basis generating polynomials of certain classes of matroids. This generalizes a result of Szego and answers, among other things, a long-standing question of Lewy and Askey concerning the positivity of Taylor coefficients for certain rational functions. Our proofs are based on two_ab initio_ methods for proving that $P^{-β}$ is completely monotone on a convex cone $C$: the determinantal method and the quadratic-form method. These methods are closely connected with harmonic analysis on Euclidean Jordan algebras (or equivalently on symmetric cones). We furthermore have a variety of constructions that, given such polynomials, can create other ones with the same property: among these are algebraic analogues of the matroid operations of deletion, contraction, direct sum, parallel connection, series connection and 2-sum. The complete monotonicity of $P^{-β}$ for some $β> 0$ can be viewed as a strong quantitative version of the half-plane property (Hurwitz stability) for $P$, and is also related to the Rayleigh property for matroids.