arXiv++ Combinatorics

We consider any cancellative monoid $M$ equipped with a discrete degree map $deg:M\to R_{\ge0}$ and associated generating function $P(t)=\sum_{m\in M}t^{deg(m)}$, called the growth function of $M$. We also introduce, using some towers of minimal common multiple sets in $M$, another signed generating function $N(t)$, called the skew-growth function of $M$. We show that these functions satisfy the inversion formula $P(t)N(t)=1$. In case the monoid is the set of positive integers with ordinary product structure and the degree map is logarithm function, using the coordinate change $t=exp(-s)$, the inversion formula turns out to be the Euler product formula for the Riemann's zeta function.

The Erdős--Ko--Rado theorem is extended to designs in semilattices with certain conditions. As an application, we show the intersection theorems for the Hamming schemes, the Johnson schemes, bilinear forms schemes, Grassmann schemes, signed sets, partial permutations and restricted signed sets.

Perfect sorting by reversals, a problem originating in computational genomics, is the process of sorting a signed permutation to either the identity or to the reversed identity permutation, by a sequence of reversals that do not break any common interval. Bérard et al. (2007) make use of strong interval trees to describe an algorithm for sorting signed permutations by reversals. Combinatorial properties of this family of trees are essential to the algorithm analysis. Here, we use the expected value of certain tree parameters to prove that the average run-time of the algorithm is at worst, polynomial, and additionally, for sufficiently long permutations, the sorting algorithm runs in polynomial time with probability one. Furthermore, our analysis of the subclass of commuting scenarios yields precise results on the average length of a reversal, and the average number of reversals.

Regular signed SAT is a variant of the well-known satisfiability problem in which the variables can take values in a fixed set V \subset [0,1], and the `literals' have the form "x \le a" or "x \ge a". We answer some open question regarding random regular signed k-SAT formulas: the probability that a random formula is satisfiable increases with |V|; there is a constant upper bound on the ratio m/n of clauses m over variables n, beyond which a random formula is asypmtotically almost never satisfied; for k=2 and V=[0,1], there is a phase transition at m/n=2.

An indecomposable flow $f$ on a signed graph $Σ$ is a nontrivial integral flow that cannot be decomposed into $f=f_1+f_2$, where $f_1,f_2$ are nontrivial integral flows having the same sign (both $\geq 0$ or both $\leq 0$) at each edge of $Σ$. This paper is to classify indecomposable flows into characteristic vectors of circuits and Eulerian cycle-trees --- a class of signed graphs having a kind of tree structure in which all cycles can be viewed as vertices of a tree. Moreover, each indecomposable flow other than circuit characteristic vectors can be further decomposed into a sum of certain half circuit characteristic vectors having the same sign at each edge. The variety of indecomposable flows of signed graphs is much richer than that of ordinary unsigned graphs.

We consider two shellings of the boundary of the hypercube equivalent if one can be transformed into the other by an isometry of the cube. We observe that a class of indecomposable permutations, bijectively equivalent to standard double occurrence words, may be used to encode one representative from each equivalence class of the shellings of the boundary of the hypercube. These permutations thus encode the shelling types of the boundary of the hypercube. We construct an adjacent transposition Gray code for this class of permutations. Our result is a signed variant of King's result showing that there is a transposition Gray code for indecomposable permutations.

The number of Monotone Triangles with bottom row k1 < k2 < ... < kn is given by a polynomial alpha(n; k1,...,kn) in n variables. The evaluation of this polynomial at weakly decreasing sequences k1 >= k2 >= ... >= kn turns out to be interpretable as signed enumeration of new combinatorial objects called Decreasing Monotone Triangles. There exist surprising connections between the two classes of objects -- in particular it is shown that alpha(n; 1,2,...,n) = alpha(2n; n,n,n-1,n-1,...,1,1). In perfect analogy to the correspondence between Monotone Triangles and Alternating Sign Matrices, the set of Decreasing Monotone Triangles with bottom row (n,n,n-1,n-1,...,1,1) is in one-to-one correspondence with a certain set of ASM-like matrices, which also play an important role in proving the claimed identity algebraically. Finding a bijective proof remains an open problem.

A seminal result by Whitney describes when two graphs have the same cycles. We consider the analogous problem for even cycle matroids. A representation of an even cycle matroid is a pair formed by a graph together with a special set of edges of the graph. Such a pair is called a signed graph. We consider the problem of determining the relation between two signed graphs representing the same even cycle matroid. We refer to this problem as the Isomorphism Problem for even cycle matroids. We present two classes of signed graphs and we solve the Isomorphism Problem for these two classes. We conjecture that, up to simple operations, any two signed graphs representing the same even cycle matroid are either in one of these classes, or related by a modification of an operation for graphic matroids, or belonging to a small set of examples.

We give positive descriptions for certain Schubert structure constants $c_{u,v}^w$ for the full flag variety in Lie types $C$ and $D$. This is accomplished by first observing that a number of the $K=GL(n,\C)$-orbit closures on these flag varieties coincide with Richardson varieties, and then applying a theorem of M. Brion on the decomposition of such an orbit closure in the Schubert basis in terms of paths in the weak order graph.

Equivariant "Ham Sandwich" Theorems are obtained for the finite subgroups G of the unit spheres S(F) in the classical algebras F = R, C, and H. Given any n F-valued mass distributions on F^n, it is shown that there exists a G-equivariant decomposition of F^n into |G| regular convex fundamental regions which "G-equipartition" each of the n measures, as realized by the vanishing of the "G-averages" of these regions' measures. Applications for real measures follow, among them that any n signed mass distributions on R^{(p-1)n} can be equipartitioned by a single regular p-fan when p a prime number.

We demonstrate how a 3-manifold, a Heegaard diagram, and a group presentation can each be interpreted as a pair of signed permutations in the symmetric group $S_d.$ We demonstrate the power of permutation data in programming and discuss an algorithm we have developed that takes the permutation data as input and determines whether the data represents a closed 3-manifold. We therefore have an invariant of groups, that is given any group presentation, we can determine if that fixed presentation presents a closed 3-manifold. (The proposed techniques begin with a pair of signed permutations and builds a finite group presentation. The finite group presentation results in a finite class of associated 3-manifolds. Notice that a negative answer only implies the fixed presentation does not result in a closed 3-manifold under this construction, but says nothing about an isomorphic form of the group presentation.)

In this paper we introduce the nullity of signed graphs, and give some results on the nullity of signed graphs with pendant trees. We characterize the unicyclic signed graphs of order n with nullity n-2; n-3; n-4; n-5 respectively.

A family $\mathcal{A}$ of sets is said to be \emph{$t$-intersecting} if any two sets in $\mathcal{A}$ have at least $t$ common elements. A central problem in extremal set theory is to determine the size or structure of a largest $t$-intersecting sub-family of a given family $\mathcal{F}$. We give a survey of known results, conjectures and open problems for various important families $\mathcal{F}$, namely, power sets, levels of power sets, hereditary families, families of signed sets, families of labeled sets, and families of permutations. We also provide some extensions and consequences of known results.

We introduce a natural correspondence between artinian monomial almost complete intersections in three variables and punctured hexagonal regions. We use this correspondence to investigate the algebras for the presence of the weak Lefschetz property. In particular, we relate the field characteristics in which such an algebra fails to have the weak Lefschetz property to the prime divisors of the enumeration of signed lozenge tilings of the associated punctured hexagonal region. On the one side this allows us to establish the weak Lefschetz property in many new cases. For numerous classes of punctured hexagonal regions we find closed formulae for the enumerations of signed lozenge tilings, and thus the field characteristics in which the associated algebras fail to the have the weak Lefschetz property. Further, we offer a conjecture for a closed formula for the enumerations of signed lozenge tilings of symmetric punctured hexagonal regions. These formulae are exploited to lend further evidence to a conjecture by Migliore, Miró-Roig, and the second author that classifies the {\em level} artinian monomial almost complete intersections in three variables that have the weak Lefschetz property in characteristic zero. Moreover, the formulae are used to generate families of algebras which never, or always, have the weak Lefschetz property, regardless of field characteristic. Finally, we determine (in one case, depending on the presence of the weak Lefschetz property) the splitting type of the syzygy bundle of an artinian monomial almost complete intersection in three variables, when the characteristic of the base field is zero. Our results convey an intriguing interplay between problems in algebra, combinatorics, and algebraic geometry, which raises new questions and deserves further investigation.

Let $X$ be a $v$-set, $\B$ a set of 3-subsets (triples) of $X$, and $\B^+\cup\B^-$ a partition of $\B$ with $|\B^-|=s$. The pair $(X,\B)$ is called a simple signed Steiner triple system, denoted by ST$(v,s)$, if the number of occurrences of every 2-subset of $X$ in triples $B\in\B^+$ is one more than the number of occurrences in triples $B\in\B^-$. In this paper we prove that $\st(v,s)$ exists if and only if $v\equiv1,3\pmod6$, $v\ne7$, and $s\in\{0,1,...,s_v-6,s_v-4,s_v\}$, where $s_v=v(v-1)(v-3)/12$ and for $v=7$, $s\in\{0,2,3,5,6,8,14\}$.

In signed k-SAT problems, one fixes a set M and a set $\mathcal S$ of subsets of M, and is given a formula consisting of a disjunction of m clauses, each of which is a conjunction of k literals. Each literal is of the form "$x \in S$", where $S \in \mathcal S$, and x is one of n variables. For Interval-SAT (iSAT), M is an ordered set and $\mathcal S$ the set of intervals in M. We propose an algorithm for 3-iSAT, and analyze it on uniformly random formulas. The algorithm follows the Unit Clause paradigm, enhanced by a (very limited) backtracking option. Using Wormald's ODE method, we prove that, if $m/n \le 2.3$, with high probability, our algorithm succeeds in finding an assignment of values to the variables satisfying the formula.

We initiate a study of the zero-nonzero patterns of n by n alternating sign matrices. We characterize the row (column) sum vectors of these patterns and determine their minimum term rank. In the case of connected alternating sign matrices, we find the minimum number of nonzero entries and characterize the case of equality. We also study symmetric alternating sign matrices, in particular, those with only zeros on the main diagonal. These give rise to alternating signed graphs without loops, and we determine the maximum number of edges in such graphs. We also consider n by n alternating sign matrices whose patterns are maximal within the class of all n by n alternating sign matrices.

By rewriting the famous hook-content formula it easily follows that there are $\prod\limits_{1 \le i < j \le n} \frac{k_j - k_i + j -i}{j-i}$ semistandard tableaux of shape $(k_n,k_{n-1},...,k_1)$ with entries in $\{1,2,...,n\}$ or, equivalently, Gelfand-Tsetlin patterns with bottom row $(k_1,...,k_n)$. In this article we introduce certain sequences of labeled trees, the signed enumeration of which is also given by this formula. In these trees, vertices as well as edges are labeled, the crucial condition being that each edge label lies between the vertex labels of the two endpoints of the edge. This notion enables us to give combinatorial explanations of the shifted antisymmetry of the formula and its polynomiality. Furthermore, we propose to develop an analog approach of combinatorial reasoning for monotone triangles and explain how this may lead to a combinatorial understanding of the alternating sign matrix theorem.

We study the distribution of the major index with sign on some parabolic quotients of the symmetric group, extending and generalizing simultaneously results Gessel-Simion and Adin-Gessel-Roichman, and on some special trees that we call rakes. We further consider and compute the distribution of the flag-major index on some parabolic quotients of wreath products and other related groups. All these distributions turn out to have very simple factorization formulas.

We obtain new bounds for the Laplacian spectral radius of a signed graph. Most of these new bounds have a dependence on edge sign, unlike previously known bounds, which only depend on the underlying structure of the graph. We then use some of these bounds to obtain new bounds for the Laplacian and signless Laplacian spectral radius of an unsigned graph by signing the edges all positive and all negative, respectively.