arXiv++ Combinatorics

The Sitting Closer to Friends than Enemies (SCFE) problem is to find an embedding in a metric space for the vertices of a given signed graph so that, for every pair of incident edges with different sign, the positive edge is shorter (in the metric of the space) than the negative edge. In this document, we present new results regarding the SCFE problem when the metric space in consideration is the circumference. Our main results say that, given a signed graph, it is NP-complete to decide whether such an embedding exists in the circumference or not. Nevertheless, if the given signed graph is complete, then such decision can be made in polynomial time. In particular, we prove that, given a complete signed graph, it has such an embedding if and only if its positive part is a proper circular arc graph.

Let $Σ$ be a signed graph where two edges joining the same pair of vertices with opposite signs are allowed. The zero-free chromatic number $χ^*(Σ)$ of $Σ$ is the minimum even integer $2k$ such that $G$ admits a proper coloring $f\colon\,V(Σ)\mapsto \{\pm 1,\pm 2,\ldots,\pm k\}$. The zero-free list chromatic number $χ^*_l(Σ)$ is the list version of zero-free chromatic number. $Σ$ is called zero-free chromatic-choosable if $χ^*_l(Σ)=χ^*(Σ)$. We show that if $Σ$ has at most $χ^*(Σ)+1$ vertices then $Σ$ is zero-free chromatic-choosable. This result strengthens Noel-Reed-Wu Theorem which states that every graph $G$ with at most $2χ(G)+1$ vertices is chromatic-choosable, where $χ(G)$ is the chromatic number of $G$.

A signed graph is a pair $(G,τ)$ of a graph $G$ and its sign $τ$, where a \textit{sign} $τ$ is a function from $\{ (e,v)\mid e\in E(G),v\in V(G), v\in e\}$ to $\{1,-1\}$. Note that graphs or digraphs are special cases of signed graphs. In this paper, we study the toric ideal $I_{(G,τ)}$ associated with a signed graph $(G,τ)$, and the results of the paper give a unified idea to explain some known results on the toric ideals of a graph or a digraph. We characterize all primitive binomials of $I_{(G,τ)}$, and then focus on the complete intersection property. More precisely, we find a complete list of graphs $G$ such that $I_{(G,τ)}$ is a complete intersection for every sign $τ$.

We construct a non-commutative, non-cocommutative, graded bialgebra $\mathbfΠ$ with a basis indexed by the permutations in all finite symmetric groups. Unlike the formally similar Malvenuto-Poirier-Reutenauer Hopf algebra, this bialgebra does not have finite graded dimension. After giving formulas for the product and coproduct, we show that there is a natural morphism from $\mathbfΠ$ to the algebra of quasi-symmetric functions, under which the image of a permutation is its associated Stanley symmetric function. As an application, we use this morphism to derive some new enumerative identities. We also describe analogues of $\mathbfΠ$ for the other classical types. In these cases, the relevant objects are module coalgebras rather than bialgebras, but there are again natural morphisms to the quasi-symmetric functions, under which the image of a signed permutation is the corresponding Stanley symmetric function of type B, C, or D.

We give a counterexample to a conjecture of Wang and Hou related with the sum of the $k$ largest Laplacian eigenvalues of signed graphs.

The aim of this work is to investigate the nonnegative signed domination number $γ^{NN}_s$ with emphasis on regular, ($r+1$)-clique-free graphs and trees. We give lower and upper bounds on $γ^{NN}_s$ for regular graphs and prove that $n/3$ is the best possible upper bound on this parameter for a cubic graph of order $n$, specifically. As an application of the classic theorem of Turán we bound $γ^{NN}_s(G)$ from below, for an ($r+1$)-clique-free graph $G$ and characterize all such graphs for which the equality holds, which corrects and generalizes a result for bipartite graphs in [Electron. J. Graph Theory Appl. 4 (2) (2016), 231--237], simultaneously. Also, we bound $γ^{NN}_s(T)$ for a tree $T$ from above and below and characterize all trees attaining the bounds.

In this paper, we deal with the signed bad number and the negative decision number of graphs. We show that two upper bounds concerning these two parameters for bipartite graphs in papers [Discrete Math. Algorithms Appl. 1 (2011), 33--41] and [Australas. J. Combin. 41 (2008), 263--272] are not true as they stand. We correct them by presenting more general bounds for triangle-free graphs by using the classic theorem of Mantel from the extremal graph theory and characterize all triangle-free graphs attaining these bounds.

One generalization of ordinary matroids is symplectic matroids. While symplectic matroids were initially defined by their collections of bases, there has been no cryptomorphic definition of symplectic matroids in terms of circuits. We give a definition of symplectic matroids by collections of circuits. As an application, we construct a class of examples of symplectic matroids from graphs in terms of circuits.

Let $x_1, x_2, \dots, x_n$ be the eigenvalues of a signed graph $Γ$ of order $n$. The energy of $Γ$ is defined as $E(Γ)=\sum^{n}_{j=1}|x_j|.$ Let $\mathcal{P}_n^4$ be obtained by connecting a vertex of the negative circle $(C_4,{\overlineσ})$ with a terminal vertex of the path $P_{n-4}$. In this paper, we show that for $n=4,6$ and $n \geq 8,$ $\mathcal{P}_n^4$ has the maximal energy among all connected unicyclic $n$-vertex signed graphs, except the cycles $C_5^+, C_7^+.$

Let $(G,σ)$ be any signed planar graph. We show that the Alon-Tarsi number of $(G,σ)$ is at most 5, generalizing a recent result of Zhu for unsigned case. In addition, if $(G,σ)$ is $2$-colorable then $(G,σ)$ has the Alon-Tarsi number at most 4. We also construct a signed planar graph which is $2$-colorable but not $3$-choosable.

The pancake graph $P_n$ is the Cayley graph of the symmetric group $S_n$ on $n$ elements generated by prefix reversals. $P_n$ has been shown to have properties that makes it a useful network scheme for parallel processors. For example, it is $(n-1)$-regular, vertex-transitive, and one can embed cycles in it of length $\ell$ with $6\leq\ell\leq n!$. The burnt pancake graph $BP_n$, which is the Cayley graph of the group of signed permutations $B_n$ using prefix reversals as generators, has similar properties. Indeed, $BP_n$ is $n$-regular and vertex-transitive. In this paper, we show that $BP_n$ has every cycle of length $\ell$ with $8\leq\ell\leq 2^n n!$. The proof given is a constructive one that utilizes the recursive structure of $BP_n$. We also present a complete characterization of all the $8$-cycles in $BP_n$ for $n \geq 2$, which are the smallest cycles embeddable in $BP_n$, by presenting their canonical forms as products of the prefix reversal generators.

We define a method for edge coloring signed graphs and what it means for such a coloring to be proper. Our method has many desirable properties: it specializes to the usual notion of edge coloring when the signed graph is all-negative, it has a natural definition in terms of vertex coloring of a line graph, and the minimum number of colors required for a proper coloring of a signed simple graph is bounded above by Δ + 1 in parallel with Vizing's Theorem. In fact, Vizing's Theorem is a special case of the more difficult theorem concerning signed graphs.

Theta-vexillary signed permutations are elements in the hyperoctahedral group that index certain classes of degeneracy loci of type B and C. These permutations are described using triples of $s$-tuples of integers subject to specific conditions. The objective of this work is to present different characterizations of theta-vexillary signed permutations, describing them in terms of corners in the Rothe diagram and pattern avoidance.

Every subarrangement of Weyl arrangements of type $ B_{\ell} $ is represented by a signed graph. Edelman and Reiner characterized freeness of subarrangements between type $ A_{\ell-1} $ and type $ B_{\ell} $ in terms of graphs. Recently, Suyama and the authors characterized freeness for subarrangements containing Boolean arrangements satisfying a certain condition. This article is a sequel to the previous work. Namely, we give a complete characterization for freeness of arrangements between Boolean arrangements and Weyl arrangements of type $ B_{\ell} $ in terms of graphs.

An involution in a Coxeter group has an associated set of involution words, a variation on reduced words. These words are saturated chains in a partial order first considered by Richardson and Springer in their study of symmetric varieties. In the symmetric group, involution words can be enumerated in terms of tableaux using appropriate analogues of the symmetric functions introduced by Stanley to accomplish the same task for reduced words. We adapt this approach to the group of signed permutations. We show that involution words for the longest element in the Coxeter group $C_n$ are in bijection with reduced words for the longest element in $A_n = S_{n+1}$, which are known to be in bijection with standard tableaux of shape $(n, n-1, \ldots, 2, 1)$.

Scattering diagrams arose in the context of mirror symmetry, but a special class of scattering diagrams (the cluster scattering diagrams) were recently developed to prove key structural results on cluster algebras. We use the connection to cluster algebras to calculate the function attached to the limiting wall of a rank-2 cluster scattering diagram of affine type. In the skew-symmetric rank-2 affine case, this recovers a formula due to Reineke. In the same case, we show that the generating function for signed Narayana numbers appears in a role analogous to a cluster variable. In acyclic finite type, we construct cluster scattering diagrams of acyclic finite type from Cambrian fans and sortable elements, with a simple direct proof.

In this paper we study the minimum number of reversals needed to transform a unicellular fatgraph into a tree. We consider reversals acting on boundary components, having the natural interpretation as gluing, slicing or half-flipping of vertices. Our main result is an expression for the minimum number of reversals needed to transform a unicellular fatgraph to a plane tree. The expression involves the Euler genus of the fatgraph and an additional parameter, which counts the number of certain orientable blocks in the decomposition of the fatgraph. In the process we derive a constructive proof of how to decompose non-orientable, irreducible, unicellular fatgraphs into smaller fatgraphs of the same type or trivial fatgraphs, consisting of a single ribbon. We furthermore provide a detailed analysis how reversals affect the component-structure of the underlying fatgraphs. Our results generalize the Hannenhalli-Pevzner formula for the reversal distance of signed permutations.

We study the combinatorial properties of vexillary signed permutations, which are signed analogues of the vexillary permutations first considered by Lascoux and Schützenberger. We give several equivalent characterizations of vexillary signed permutations, including descriptions in terms of essential sets and pattern avoidance, and we relate them to the vexillary elements introduced by Billey and Lam.

We give a simple short proof of Brooks' theorem using only induction and greedy coloring, while avoiding issues of graph connectivity. The argument generalizes easily to some extensions of Brooks' theorem, including its variants for list coloring, signed graphs coloring and correspondence coloring.

In contrast to ordinary graphs, the number of the nowhere-zero group-flows in a signed graph may vary with different groups, even if the groups have the same order. In fact, for a signed graph $G$ and non-negative integer $d$, it was shown that there exists a polynomial $F_d(G,x)$ such that the number of the nowhere-zero $Γ$-flows in $G$ equals $F_d(G,x)$ evaluated at $k$ for every Abelian group $Γ$ of order $k$ with $ε(Γ)=d$, where $ε(Γ)$ is the largest integer $d$ for which $Γ$ has a subgroup isomorphic to $\mathbb{Z}^d_2$. We focus on the combinatorial structure of $Γ$-flows in a signed graph and the coefficients in $F_d(G,x)$. We first define the fundamental directed circuits for a signed graph $G$ and show that all $Γ$-flows (not necessarily nowhere-zero) in $G$ can be generated by these circuits. It turns out that all $Γ$-flows in $G$ can be evenly classified into $2^{ε(Γ)}$-classes specified by the elements of order 2 in $Γ$, each class of which consists of the same number of flows depending only on the order of the group. This gives an explanation for why the number of $Γ$-flows in a signed graph varies with different $ε(Γ)$, and also gives an answer to a problem posed by Beck and Zaslavsky. Secondly, using an extension of Whitney's broken circuit theory we give a combinatorial interpretation of the coefficients in $F_d(G,x)$ for $d=0$, in terms of the broken bonds. As an example, we give an analytic expression of $F_0(G,x)$ for a class of the signed graphs that contain no balanced circuit. Finally, we show that the sets of edges in a signed graph that contain no broken bond form a homogeneous simplicial complex.