arXiv++ Combinatorics

Vertex coloring of a graph $G$ with $n$-colors can be equivalently thought to be a graph homomorphism (edge preserving vertex mapping) of $G$ to the complete graph $K_n$ of order $n$. So, in that sense, the chromatic number $χ(G)$ of $G$ will be the order of the smallest complete graph to which $G$ admits a homomorphism to. As every graph, which is not a complete graph, admits a homomorphism to a smaller complete graph, we can redefine the chromatic number $χ(G)$ of $G$ to be the order of the smallest graph to which $G$ admits a homomorphism to. Of course, such a smallest graph must be a complete graph as they are the only graphs with chromatic number equal to their order. The concept of vertex coloring can be generalize for other types of graphs. Naturally, the chromatic number is defined to be the order of the smallest graph (of the same type) to which a graph admits homomorphism to. The analogous notion of clique turns out to be the graphs with order equal to their (so defined) "chromatic number". These "cliques" turns out to be much more complicated than their undirected counterpart and are interesting objects of study. In this article, we mainly study different aspects of "cliques" for signed (graphs with positive or negative signs assigned to each edge) and switchable signed graphs (equivalence class of signed graph with respect to switching signs of edges incident to the same vertex).

In this paper we determine the signed Roman domination number of the join of cycles, wheels, fans and friendship graphs.

We study the symmetry properties of the spectra of normalized Laplacians on signed graphs. We find a new machinery that generates symmetric spectra for signed graphs, which includes bipartiteness of unsigned graphs as a special case. Moreover, we prove a fundamental connection between the symmetry of the spectrum and the existence of damped two-periodic solutions for the discrete-time heat equation on the graph.

In this paper we generalize permutations to plane permutations. We employ this framework to derive a combinatorial proof of a result of Zagier and Stanley, that enumerates the number of $n$-cycles $ω$, for which $ω(12\cdots n)$ has exactly $k$ cycles. This quantity is $0$, if $n-k$ is odd and $\frac{2C(n+1,k)}{n(n+1)}$, otherwise, where $C(n,k)$ is the unsigned Stirling number of the first kind. The proof is facilitated by a natural transposition action on plane permutations which gives rise to various recurrences. Furthermore we study several distance problems of permutations. It turns out that plane permutations allow to study transposition and block-interchange distance of permutations as well as the reversal distance of signed permutations. Novel connections between these different distance problems are established via plane permutations.

We introduce a family of multi-way Cheeger-type constants $\{h_k^σ, k=1,2,\ldots, n\}$ on a signed graph $Γ=(G,σ)$ such that $h_k^σ=0$ if and only if $Γ$ has $k$ balanced connected components. These constants are switching invariant and bring together in a unified viewpoint a number of important graph-theoretical concepts, including the classical Cheeger constant, those measures of bipartiteness introduced by Desai-Rao, Trevisan, Bauer-Jost, respectively, on unsigned graphs,, and the frustration index (originally called the line index of balance by Harary) on signed graphs. We further unify the (higher-order or improved) Cheeger and dual Cheeger inequalities for unsigned graphs as well as the underlying algorithmic proof techniques by establishing their corresponding versions on signed graphs. In particular, we develop a spectral clustering method for finding $k$ almost-balanced subgraphs, each defining a sparse cut. The proper metric for such a clustering is the metric on a real projective space. We also prove estimates of the extremal eigenvalues of signed Laplace matrix in terms of number of signed triangles ($3$-cycles).

Cambrian trees are oriented and labeled trees which fulfill local conditions around each node generalizing the conditions for classical binary search trees. Based on the bijective correspondence between signed permutations and leveled Cambrian trees, we define the Cambrian Hopf algebra generalizing J.-L. Loday and M. Ronco's algebra on binary trees. We describe combinatorially the products and coproducts of both the Cambrian algebra and its dual in terms of operations on Cambrian trees. We also define multiplicative bases of the Cambrian algebra and study structural and combinatorial properties of their indecomposable elements. Finally, we extend to the Cambrian setting different algebras connected to binary trees, in particular S. Law and N. Reading's Baxter Hopf algebra on quadrangulations and S. Giraudo's equivalent Hopf algebra on twin binary trees, and F. Chapoton's Hopf algebra on all faces of the associahedron.

Bouchet conjectured in 1983 that each signed graph that admits a nowhere-zero flow has a nowhere-zero 6-flow. We prove that the conjecture is true for all signed series-parallel graphs. Unlike the unsigned case, the restriction to series-parallel graphs is nontrivial; in fact, the result is tight for infinitely many graphs.

Take a graph $G$, an edge subset $Σ\subseteq E(G)$, and a set of terminals $T\subseteq V(G)$ where $|T|$ is even. The triple $(G,Σ,T)$ is called a signed graft. A $T$-join is odd if it contains an odd number of edges from $Σ$. Let $ν$ be the maximum number of edge-disjoint odd $T$-joins. A signature is a set of the form $Σ\triangle δ(U)$ where $U\subseteq V(G)$ and $|U\cap T)$ is even. Let $τ$ be the minimum cardinality a $T$-cut or a signature can achieve. Then $ν\leq τ$ and we say that $(G,Σ,T)$ packs if equality holds here. We prove that $(G,Σ,T)$ packs if the signed graft is Eulerian and it excludes two special non-packing minors. Our result confirms the Cycling Conjecture for the class of clutters of odd $T$-joins with at most two terminals. Corollaries of this result include, the characterizations of weakly and evenly bipartite graphs, packing two-commodity paths, packing $T$-joins with at most four terminals, and a new result on covering edges with cuts.

A sign is introduced in the usual Laplacian on graphs and the corresponding analogue of the isoperimetric constant for this Laplacian is presented, i.e. a geometric quantity which enables to bound from above and below the first eigenvalue. The introduction of the sign in the Laplacian is motivated by the study of $2$-lifts of graphs and of the combinatorial Laplacian in higher degree.

In this paper we present a topological framework for studying signed permutations and their reversal distance. As a result we can give an alternative approach and interpretation of the Hannenhalli-Pevzner formula for the reversal distance of signed permutations. Our approach utlizes the Poincaré dual, upon which reversals act in a particular way and obsoletes the notion of "padding" of the signed permutations. To this end we construct a bijection between signed permutations and an equivalence class of particular fatgraphs, called $π$-maps, and analyze the action of reversals on the latter. We show that reversals act via either slicing, gluing or half-flipping of external vertices, which implies that any reversal changes the topological genus by at most one. Finally we revisit the Hannenhalli-Pevzner formula employing orientable and non-orientable, irreducible, $π$-maps.

The W-set of an element of a weak order poset is useful in the cohomological study of the closures of spherical subgroups in generalized flag varieties. We explicitly describe in a purely combinatorial manner the W-sets of the weak order posets of three different sets of involutions in the symmetric group, namely, the set of all involutions, the set of all fixed point free involutions, and the set of all involutions with signed fixed points (or "clans"). These distinguished sets of involutions parameterize Borel orbits in the classical symmetric spaces associated to the general linear group. In particular, we give a complete characterization of the maximal chains of an arbitrary lower order ideal in any of these three posets.

Conway and Lagarias observed that a triangular region T(m) in a hexagonal lattice admits signed tiling by three-in-line polyominoes (tribones) if and only if m=9d-1 or m=9d for some integer d. We apply the theory of Groebner bases over integers to show that T(m) admits a signed tiling by n-in-line polyominoes (n-bones) if and only if m=dn^2-1 or m=dn^2 for some integer d. Explicit description of the Groebner basis allows us to calculate the "Groebner discrete volume" of a lattice region by applying the division algorithm to its `Newton polynomial'. Among immediate consequences is a description of the tile homology group of the $n$-in-line polyomino.

In this paper, we study the signed domination numbers of graphs and present new sharp lower and upper bounds for this parameter. As an example, we present a lower bound on signed domination number of trees in terms of the order, leaves and support vertices.

In a recent paper, Stasinski and Voll introduced a length-like statistic on hyperoctahedral groups and conjectured a product formula for this statistic's signed distribution over arbitrary quotients. Stasinski and Voll proved this conjecture for a few special types of quotients. We prove this conjecture in full, showing it holds for all quotients. In the case of signed permutations with at most one descent, this formula gives the Poincare polynomials for the varieties of symmetric matrices of a fixed rank.

Double Hurwitz numbers enumerating weighted $n$-sheeted branched coverings of the Riemann sphere or, equivalently, weighted paths in the Cayley graph of $S_n$ generated by transpositions are determined by an associated weight generating function. A uniquely determined $1$-parameter family of 2D Toda $τ$-functions of hypergeometric type is shown to consist of generating functions for such weighted Hurwitz numbers. Four classical cases are detailed, in which the weighting is uniform: Okounkov's double Hurwitz numbers, for which the ramification is simple at all but two specified branch points; the case of Belyi curves, with three branch points, two with specified profiles; the general case, with a specified number of branch points, two with fixed profiles, the rest constrained only by the genus; and the signed enumeration case, with sign determined by the parity of the number of branch points. Using the exponentiated quantum dilogarithm function as weight generator, three new types of weighted enumerations are introduced. These determine {\em quantum} Hurwitz numbers depending on a deformation parameter $q$. By suitable interpretation of $q$, the statistical mechanics of quantum weighted branched covers may be related to that of Bosonic gases. The standard double Hurwitz numbers are recovered in the classical limit.

This paper is devoted to a detailed study of nowhere-zero flows on signed eulerian graphs. We generalise the well-known fact about the existence of nowhere-zero $2$-flows in eulerian graphs by proving that every signed eulerian graph that admits an integer nowhere-zero flow has a nowhere-zero $4$-flow. We also characterise signed eulerian graphs with flow number $2$, $3$, and $4$, as well as those that do not have an integer nowhere-zero flow. Finally, we discuss the existence of nowhere-zero $A$-flows on signed eulerian graphs for an arbitrary abelian group~$A$.

A multiparametric family of 2D Toda $τ$-functions of hypergeometric type is shown to provide generating functions for composite, signed Hurwitz numbers that enumerate certain classes of branched coverings of the Riemann sphere and paths in the Cayley graph of $S_n$. The coefficients $F^{c_1, ..., c_l}_{d_1, ..., d_m}(μ, ν)$ in their series expansion over products $P_μP'_ν$ of power sum symmetric functions in the two sets of Toda flow parameters and powers of the $l+m$ auxiliary parameters are shown to enumerate $|μ|=|ν|=n$ fold branched covers of the Riemann sphere with specified ramification profiles $ μ$ and $ν$ at a pair of points, and two sets of additional branch paints, satisfying certain additional conditions on their ramification profile lengths. The first group consists of $l$ branch points, with ramification profile lengths fixed to be the numbers $(n-c_1, ..., n- c_l)$; the second consists of $m$ further groups of "coloured" branch points, of variable number, for which the sums of the complements of the ramification profile lengths within the groups are fixed to equal the numbers $(d_1, ..., d_m)$. The latter are counted with sign determined by the parity of the total number of such branch points. The coefficients $F^{c_1, ..., c_l}_{d_1, ..., d_m}(μ, ν)$ are also shown to enumerate paths in the Cayley graph of the symmetric group $S_n$ generated by transpositions, starting, as in the usual double Hurwitz case, at an element in the conjugacy class of cycle type $μ$ and ending in the class of type $ν$, but with the first $l$ consecutive subsequences of $(c_1, ..., c_l)$ transpositions strictly monotonically increasing, and the subsequent subsequences of $(d_1, ..., d_m)$ transpositions weakly increasing.

We generalise to signed graphs a classical result of Tutte [Canad. J. Math. 8 (1956), 13--28] stating that every integer flow can be expressed as a sum of characteristic flows of circuits. In our generalisation, the rôle of circuits is taken over by signed circuits of a signed graph which occur in two types -- either balanced circuits or pairs of disjoint unbalanced circuits connected with a path intersecting them only at its ends. As an application of this result we show that a signed graph $G$ admitting a nowhere-zero $k$-flow has a covering with signed circuits of total length at most $2(k-1)|E(G)|$.

A signed graph is a pair $(G,Σ)$, where $G=(V,E)$ is a graph (in which parallel edges are permitted, but loops are not) with $V=\{1,\ldots,n\}$ and $Σ\subseteq E$. The edges in $Σ$ are called odd and the other edges of $E$ even. By $S(G,Σ)$ we denote the set of all symmetric $n\times n$ matrices $A=[a_{i,j}]$ with $a_{i,j}<0$ if $i$ and $j$ are adjacent and connected by only even edges, $a_{i,j}>0$ if $i$ and $j$ are adjacent and connected by only odd edges, $a_{i,j}\in \mathbb{R}$ if $i$ and $j$ are connected by both even and odd edges, $a_{i,j}=0$ if $i\not=j$ and $i$ and $j$ are non-adjacent, and $a_{i,i} \in \mathbb{R}$ for all vertices $i$. The parameters $M(G,Σ)$ and $ξ(G,Σ)$ of a signed graph $(G,Σ)$ are the largest nullity of any matrix $A\in S(G,Σ)$ and the largest nullity of any matrix $A\in S(G,Σ)$ that has the Strong Arnold Hypothesis, respectively. In a previous paper, we gave a characterization of signed graphs $(G,Σ)$ with $M(G,Σ)\leq 1$ and of signed graphs with $ξ(G,Σ)\leq 1$. In this paper, we characterize the $2$-connected signed graphs $(G,Σ)$ with $M(G,Σ)\leq 2$ and the $2$-connected signed graphs $(G,Σ)$ with $ξ(G,Σ)\leq 2$.

We apply the theory of Groebner bases to the study of signed, symmetric polyomino tilings of planar domains. Complementing the results of Conway and Lagarias we show that the triangular regions T_N=T_{3k-1} and T_N=T_{3k} in a hexagonal lattice admit a signed tiling by three-in-line polyominoes (tribones) symmetric with respect to the 120 degrees rotation of the triangle if and only if either N=27r-1 or N=27r for some integer r.