arXiv++ Combinatorics

We show that the maximum likelihood degree of a smooth very affine variety is equal to the signed topological Euler characteristic. This generalizes Orlik and Terao's solution to Varchenko's conjecture on complements of hyperplane arrangements to smooth very affine varieties. For very affine varieties satisfying a genericity condition at infinity, the result is further strengthened to relate the variety of critical points to the Chern-Schwartz-MacPherson class. The strengthened version recovers the geometric deletion-restriction formula of Denham et al. for arrangement complements, and generalizes Kouchnirenko's theorem on the Newton polytope for nondegenerate hypersurfaces.

In the combinatorial study of the coefficients of a bivariate polynomial that generalizes both the length and the reflection length generating functions for finite Coxeter groups, Petersen introduced a new Mahonian statistic $sor$, called the sorting index. Petersen proved that the pairs of statistics $(sor,cyc)$ and $(inv,rl\textrm{-}min)$ have the same joint distribution over the symmetric group, and asked for a combinatorial proof of this fact. In answer to the question of Petersen, we observe a connection between the sorting index and the B-code of a permutation defined by Foata and Han, and we show that the bijection of Foata and Han serves the purpose of mapping $(inv,rl\textrm{-}min)$ to $(sor,cyc)$. We also give a type $B$ analogue of the Foata-Han bijection, and we derive the quidistribution of $(inv_B,{\rm Lmap_B},{\rm Rmil_B})$ and $(sor_B,{\rm Lmap_B},{\rm Cyc_B})$ over signed permutations. So we get a combinatorial interpretation of Petersen's equidistribution of $(inv_B,nmin_B)$ and $(sor_B,l_B')$. Moreover, we show that the six pairs of set-valued statistics $\rm (Cyc_B,Rmil_B)$, $\rm(Cyc_B,Lmap_B)$, $\rm(Rmil_B,Lmap_B)$, $\rm(Lmap_B,Rmil_B)$, $\rm(Lmap_B,Cyc_B)$ and $\rm(Rmil_B,Cyc_B)$ are equidistributed over signed permutations. For Coxeter groups of type $D$, Petersen showed that the two statistics $inv_D$ and $sor_D$ are equidistributed. We introduce two statistics $nmin_D$ and $\tilde{l}_D'$ for elements of $D_n$ and we prove that the two pairs of statistics $(inv_D,nmin_D)$ and $(sor_D,\tilde{l}_D')$ are equidistributed.

Motivated by studying the Unitary Dual Problem, a variation of Kazhdan-Lusztig polynomials was defined in [Yee08] which encodes signature information at each level of the Jantzen filtration. These so called signed Kazhdan-Lusztig polynomials may be used to compute the signatures of invariant Hermitian forms on irreducible highest weight modules. The key result of this paper is a simple relationship between signed Kazhdan-Lusztig polynomials and classical Kazhdan-Lusztig polynomials: signed Kahzdan-Lusztig polynomials are shown to equal classical Kazhdan-Lusztig polynomials evaluated at $-q$ rather than $q$ and multiplied by a sign. This result has applications to finding the unitary dual for real reductive Lie groups since Harish-Chandra modules may be constructed by applying Zuckerman functors to highest weight modules.

Motivated by the work of Chung, Claesson, Dukes, and Graham, we define a natural type B analog of the classic bubble sort, and use it to define a type B analog of the maximum drop statistic. We enumerate (by explicit, recursive, and generating function formulas) signed permutations with r type B descents and type B maximum drop at most k. We also find a connection between these signed permutations and certain 2-colored juggling sequences.

In this paper we determine the exact values of the signed domination number, signed total domination number, and minus domination number of complete multipartite graphs, which substantially generalizes some previous results obtained for special subclasses of complete multipartite graphs such as cliques and complete bipartite graphs.

Let $k$ be a positive integer and $G=(V,E)$ be a graph of minimum degree at least $k-1$. A function $f:V\rightarrow \{-1,1\}$ is called a \emph{signed $k$-dominating function} of $G$ if $\sum_{u\in N_G[v]}f(u)\geq k$ for all $v\in V$. The \emph{signed $k$-domination number} of $G$ is the minimum value of $\sum_{v\in V}f(v)$ taken over all signed $k$-dominating functions of $G$. The \emph{signed total $k$-dominating function} and \emph{signed total $k$-domination number} of $G$ can be similarly defined by changing the closed neighborhood $N_G[v]$ to the open neighborhood $N_G(v)$ in the definition. The \emph{upper signed $k$-domination number} is the maximum value of $\sum_{v\in V}f(v)$ taken over all \emph{minimal} signed $k$-dominating functions of $G$. In this paper, we study these graph parameters from both algorithmic complexity and graph-theoretic perspectives. We prove that for every fixed $k\geq 1$, the problems of computing these three parameters are all \NP-hard. We also present sharp lower bounds on the signed $k$-domination number and signed total $k$-domination number for general graphs in terms of their minimum and maximum degrees, generalizing several known results about signed domination.

We study Dohmen--Pönitz--Tittmann's bivariate chromatic polynomial $c_Γ(k,l)$ which counts all $(k+l)$-colorings of a graph $Γ$ such that adjacent vertices get different colors if they are $\le k$. Our first contribution is an extension of $c_Γ(k,l)$ to signed graphs, for which we obtain an inclusion--exclusion formula and several special evaluations giving rise, e.g., to polynomials that encode balanced subgraphs. Our second goal is to derive combinatorial reciprocity theorems for $c_Γ(k,l)$ and its signed-graph analogues, reminiscent of Stanley's reciprocity theorem linking chromatic polynomials to acyclic orientations.

Given two points $p,q$ in the real plane, the signed area of the rectangle with the diagonal $[pq]$ equals the square of the Minkowski distance between the points $p,q$. We prove that $N>1$ points in the Minkowski plane $\R^{1,1}$ generate $Ω(\frac{N}{\log{N}})$ distinct distances, or all the distances are zero. The proof follows the lines of the Elekes/Sharir/Guth/Katz approach to the Erd\H os distance problem, analysing the 3D incidence problem, arising by considering the action of the Minkowski isometry group $ISO^*(1,1)$. The signature of the metric creates an obstacle to applying the Guth/Katz incidence theorem to the 3D problem at hand, since one may encounter a high count of congruent line intervals, lying on null lines, or "light cones", all these intervals having zero Minkowski length. In terms of the Guth/Katz theorem, its condition of the non-existence of "rich planes" generally gets violated. It turns out, however, that one can efficiently identify and discount incidences, corresponding to null intervals and devise a counting strategy, where the rich planes condition happens to be just ample enough for the strategy to succeed. As a corollary we establish the following near-optimal sum-product type estimate for finite sets $A,B\subset \R$, with more than one element: $$|(A\pm{B})\cdot{(A\pm{B})}|\gg{\frac{|A||B|}{\log{|A|}+\log{|B|}}}.$$

We consider the inverse boundary value problem in the case of discrete electrical networks containing nonlinear (non-ohmic) resistors. Generalizing work of Curtis, Ingerman, Morrow, Colin de Verdiere, Gitler, and Vertigan, we characterize the circular planar graphs for which the inverse boundary value problem has a solution in this generalized non-linear setting. The answer is the same as in the linear setting. Our method of proof never requires that the resistors behave in a continuous or monotone fashion; this allows us to recover signed conductances in many cases. We apply this to the problem of recovery in graphs that are not circular planar. We also use our results to make a frivolous knot-theoretic statement, and to slightly generalize a fact proved by Lam and Pylyavskyy about factorization schemes in their electrical linear group.

We prove a multivariate strengthening of Brenti's result that every root of the Eulerian polynomial of type $B$ is real. Our proof combines a refinement of the descent statistic for signed permutations with the notion of real stability-a generalization of real-rootedness to polynomials in multiple variables. The key is that our refined multivariate Eulerian polynomials satisfy a recurrence given by a stability-preserving linear operator. Our results extend naturally to colored permutations, and we also give stable generalizations of recent real-rootedness results due to Dilks, Petersen, and Stembridge on affine Eulerian polynomials of types $A$ and $C$. Finally, although we are not able to settle Brenti's real-rootedness conjecture for Eulerian polynomials of type $D$, nor prove a companion conjecture of Dilks, Petersen, and Stembridge for affine Eulerian polynomials of types $B$ and $D$, we indicate some methods of attack and pose some related open problems.

Permutation tableaux are combinatorial objects related with permutations and various statistics on them. They appeared in connection with total positivity in Grassmannians, and stationary probabilities in a PASEP model. In particular they gave rise to an interesting q-analog of Eulerian numbers. The purpose of this article is to study some combinatorial properties of type B permutation tableaux, defined by Lam and Williams, and links with signed permutation statistics. We show that many of the tools used for permutation tableaux generalize in this case, including: the Matrix Ansatz (a method originally related with the PASEP), bijections with labeled paths and links with continued fractions, bijections with signed permutations. In particular we obtain a q-analog of the type B Eulerian numbers, having a lot in common with the previously known q-Eulerian numbers: for example they have a nice symmetry property, they have the type B Narayana numbers as constant terms. The signed permutation statistics arising here are of several kinds. Firstly, there are several variants of descents and excedances, and more precisely of flag descents and flag excedances. Other statistics are the crossings and alignments, which generalize a previous definition on (unsigned) permutations. There are also some pattern-like statistics arising from variants of the bijection of Fran\ccon and Viennot.

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.