arXiv++ Combinatorics

A signed graph is a graph in which each edge is labeled with $+1$ or $-1$. A (proper) vertex coloring of a signed graph is a mapping $\f$ that assigns to each vertex $v\in V(G)$ a color $\f(v)\in \mz$ such that every edge $vw$ of $G$ satisfies $\f(v)\not= \sg(vw)\f(w)$, where $\sg(vw)$ is the sign of the edge $vw$. For an integer $h\geq 0$, let $\Ga_{2h}=\{\pm1,\pm2, \ldots, \pm h\}$ and $\Ga_{2h+1}=\Ga_{2h} \cup \{0\}$. Following \cite{MaRS2015}, the signed chromatic number $\scn(G)$ of $G$ is the least integer $k$ such that $G$ admits a vertex coloring $\f$ with ${\rm im}(\f)\subseteq \Ga_k$. As proved in \cite{MaRS2015}, every signed graph $G$ satisfies $\scn(G)\leq \De(G)+1$ and there are three types of signed connected simple graphs for which equality holds. We will extend this Brooks' type result by considering graphs having multiple edges. We will also proof a list version of this result by characterizing degree choosable signed graphs. Furthermore, we will establish some basic facts about color critical signed graphs.

In this work a combinatorial approach towards the weak Lefschetz property is developed that relates this property to enumerations of signed perfect matchings as well as to enumerations of signed families of non-intersecting lattice paths in certain triangular regions. This connection is used to study Artinian quotients by monomial ideals of a three-dimensional polynomial ring. Extending a main result in the recent memoir [Boij, Migliore, Miró-Roig, Nagel, Zanello], we completely classify the quotients of type two that have the weak Lefschetz property in characteristic zero. We also derive results in positive characteristic for quotients whose type is at most two.

It is well-known that plane partitions, lozenge tilings of a hexagon, perfect matchings on a honeycomb graph, and families of non-intersecting lattice paths in a hexagon are all in bijection. In this work we consider regions that are more general than hexagons. They are obtained by further removing upward-pointing triangles. We call the resulting shapes triangular regions. We establish signed versions of the latter three bijections for triangular regions. We first investigate the tileability of triangular regions by lozenges. Then we use perfect matchings and families of non-intersecting lattice paths to define two signs of a lozenge tiling. Using a new method that we call resolution of a puncture, we show that the two signs are in fact equivalent. As a consequence, we obtain the equality of determinants, up to sign, that enumerate signed perfect matchings and signed families of lattice paths of a triangular region, respectively. We also describe triangular regions, for which the signed enumerations agree with the unsigned enumerations.

An oriented hypergraph is a hypergraph where each vertex-edge incidence is given a label of $+1$ or $-1$. We define the adjacency, incidence and Laplacian matrices of an oriented hypergraph and study each of them. We extend several matrix results known for graphs and signed graphs to oriented hypergraphs. New matrix results that are not direct generalizations are also presented. Finally, we study a new family of matrices that contains walk information.

An oriented hypergraph is a hypergraph where each vertex-edge incidence is given a label of $+1$ or $-1$. The adjacency and Laplacian eigenvalues of an oriented hypergraph are studied. Eigenvalue bounds for both the adjacency and Laplacian matrices of an oriented hypergraph which depend on structural parameters of the oriented hypergraph are found. An oriented hypergraph and its incidence dual are shown to have the same nonzero Laplacian eigenvalues. A family of oriented hypergraphs with uniformally labeled incidences is also studied. This family provides a hypergraphic generalization of the signless Laplacian of a graph and also suggests a natural way to define the adjacency and Laplacian matrices of a hypergraph. Some results presented generalize both graph and signed graph results to a hypergraphic setting.

A theory of orientation on gain graphs (voltage graphs) is developed to generalize the notion of orientation on graphs and signed graphs. Using this orientation scheme, the line graph of a gain graph is studied. For a particular family of gain graphs with complex units, matrix properties are established. As with graphs and signed graphs, there is a relationship between the incidence matrix of a complex unit gain graph and the adjacency matrix of the line graph.

Closed monopolies in graphs have a quite long range of applications in several problems related to overcoming failures, since they frequently have some common approaches around the notion of majorities, for instance to consensus problems, diagnosis problems or voting systems. We introduce here open $k$-monopolies in graphs which are closely related to different parameters in graphs. Given a graph $G=(V,E)$ and $X\subseteq V$, if $δ_X(v)$ is the number of neighbors $v$ has in $X$, $k$ is an integer and $t$ is a positive integer, then we establish in this article a connection between the following three concepts: - Given a nonempty set $M\subseteq V$ a vertex $v$ of $G$ is said to be $k$-controlled by $M$ if $δ_M(v)\ge \frac{δ_V(v)}{2}+k$. The set $M$ is called an open $k$-monopoly for $G$ if it $k$-controls every vertex $v$ of $G$. - A function $f: V\rightarrow \{-1,1\}$ is called a signed total $t$-dominating function for $G$ if $f(N(v))=\sum_{v\in N(v)}f(v)\geq t$ for all $v\in V$. - A nonempty set $S\subseteq V$ is a global (defensive and offensive) $k$-alliance in $G$ if $δ_S(v)\ge δ_{V-S}(v)+k$ holds for every $v\in V$. In this article we prove that the problem of computing the minimum cardinality of an open $0$-monopoly in a graph is NP-complete even restricted to bipartite or chordal graphs. In addition we present some general bounds for the minimum cardinality of open $k$-monopolies and we derive some exact values.

The allowed patterns of a map are those permutations in the same relative order as the initial segments of orbits realized by the map. In this paper, we characterize and provide enumerative bounds for the allowed patterns of signed shifts, a family of maps on infinite words.

A 4-point Feynman diagram in scalar $φ^4$ theory is represented by a graph $G$ which is obtained from a connected 4-regular graph by deleting a vertex. The associated Feynman integral gives a quantity called the period of $G$ which is invariant under a number of meaningful graph operations - namely, planar duality, the Schnetz twist, and it also does not depend on the choice of vertex which was deleted to form $G$. In this article we study a graph invariant we call the graph permanent, which was implicitly introduced in a paper by Alon, Linial and Meshulam. The graph permanent applies to any graph $G = (V,E)$ for which $|E|$ is a multiple of $|V| - 1$ (so in particular to graphs obtained from a 4-regular graph by removing a vertex). We prove that the graph permanent, like the period, is invariant under planar duality and the Schnetz twist when these are valid operations, and we show that when $G$ is obtained from a $2k$-regular graph by deleting a vertex, the graph permanent does not depend on the choice of deleted vertex.

If $G$ is a strongly connected finite directed graph, the set $\mathcal{T}G$ of rooted directed spanning trees of $G$ is naturally equipped with a structure of directed graph: there is a directed edge from any spanning tree to any other obtained by adding an outgoing edge at its root vertex and deleting the outgoing edge of the endpoint. Any Schrödinger operator on $G$, for example the Laplacian, can be lifted canonically to $\mathcal{T}G$. We show that the determinant of such a lifted Schrödinger operator admits a remarkable factorization into a product of determinants of the restrictions of Schrödinger operators on subgraphs of $G$ and we give a combinatorial description of the multiplicities using an exploration procedure of the graph. A similar factorization can be obtained from earlier ideas of C. Athaniasadis, but this leads to a different expression of the multiplicities, as signed sums on which the nonnegativity is not appearent. We also provide a description of the block structure associated with this factorization. As a simple illustration we reprove a formula of Bernardi enumerating spanning forests of the hypercube, that is closely related to the graph of spanning trees of a bouquet. Several combinatorial questions are left open, such as giving a bijective interpretation of the results.

Given a free module L over a commutative ring k, we study two k-linear operators on the tensor algebra of T(L): One of them sends a pure tensor u_1 (X) u_2 (X) ... (X) u_k to the sum of all tensors u_i (X) u_1 (X) u_2 (X) ... (X) (skip u_i) (X) ... (X) u_k. The other is similar, but the sum is replaced by an alternating sum. These operators can be regarded as algebraic analogues of the "random-to-top shuffle" from combinatorics. We describe the kernel of the second operator (which we call boldface-t); it is a certain easily described Lie subsuperalgebra of T(L). We also describe the kernel of the first operator (which is denoted boldface-t') when the additive group k is torsionfree (the description is analogous to that of the kernel of t) and also when k is an algebra over a finite field (in this case, the description is slightly complicated by the presence of p-th powers).

For every finite Coxeter group $Γ$, each positive braids in the corresponding braid group admits a unique decomposition as a finite sequence of elements of $Γ$, the so-called Garside-normal form.The study of the associated adjacency matrix $Adj(Γ)$ allows to count the number of Garside-normal form of a given length.In this paper we prove that the characteristic polynomial of $Adj(B_n)$ divides the one of $Adj(B_{n+1})$. The key point is the use of a Hopf algebra based on signed permutations. A similar result was already known for the type $A$. We observe that this does not hold for type $D$. The other Coxeter types ($I$, $E$, $F$ and $H$) are also studied.

This paper studies critical ideals of graphs with twin vertices, which are vertices with the same neighbors. A pair of such vertices are called replicated if they are adjacent, and duplicated, otherwise. Critical ideals of graphs having twin vertices have good properties and show regular patterns. Given a graph $G=(V,E)$ and ${\bf d}\in \mathbb{Z}^{|V|}$, let $G^{\bf d}$ be the graph obtained from $G$ by duplicating ${\bf d}_v$ times or replicating $-{\bf d}_v$ times the vertex $v$ when ${\bf d}_v>0$ or ${\bf d}_v<0$, respectively. Moreover, given $δ\in \{0,1,-1\}^{|V|}$, let \[ \mathcal{T}_δ(G)=\{G^{\bf d}: {\bf d}\in \mathbb{Z}^{|V|} \text{ such that } {\bf d}_v=0 \text{ if and only if }δ_v=0 \text{ and } {\bf d}_vδ_v>0 \text{ otherwise}\} \] be the set of graphs sharing the same pattern of duplication or replication of vertices. More than one half of the critical ideals of a graph in $\mathcal{T}_δ(G)$ can be determined by the critical ideals of $G$. The algebraic co-rank of a graph $G$ is the maximum integer $i$ such that the $i$-{\it th} critical ideal of $G$ is trivial. We show that the algebraic co-rank of any graph in $\mathcal{T}_δ(G)$ is equal to the algebraic co-rank of $G^δ$. For a large enough ${\bf d}\in \mathbb{Z}^{V(G)}$, we show that the critical ideals of $G^{\bf d}$ have similar behavior to the critical ideals of the disjoint union of $G$ and some set $\{K_{n_v}\}_{\{v\in V(G)| d_v<0\}}$ of complete graphs and some set $\{T_{n_v}\}_{\{v\in V(G) \, |\, {\bf d}_v>0\}}$ of trivial graphs. Additionally, we pose important conjectures on the distribution of the algebraic co-rank of the graphs with twins vertices. These conjectures imply that twin-free graphs have a large algebraic co-rank, meanwhile a graph having small algebraic co-rank has at least one pair of twin vertices.

A general setting to study a certain type of formulas, expressing characters of the symmetric group $\mathfrak{S}_n$ explicitly in terms of descent sets of combinatorial objects, has been developed by two of the authors. This theory is further investigated in this paper and extended to the hyperoctahedral group $B_n$. Key ingredients are a new formula for the irreducible characters of $B_n$, the signed quasisymmetric functions introduced by Poirier, and a new family of matrices of Walsh--Hadamard type. Applications include formulas for natural $B_n$-actions on coinvariant and exterior algebras and on the top homology of a certain poset in terms of the combinatorics of various classes of signed permutations, as well as a $B_n$-analogue of an equidistribution theorem of Désarménien and Wachs.

In this paper we study the characters of sequences of representations of any of the three families of classical Weyl groups W_n: the symmetric groups, the signed permutation groups (hyperoctahedral groups), or the even-signed permutation groups. Our results extend work of Church, Ellenberg, Farb, and Nagpal on the symmetric groups. We use the concept of an FI_W-module, an algebraic object that encodes the data of a sequence of W_n-representations with maps between them, defined in the author's recent work ArXiv:1309.3817. We show that if a sequence {V_n} of W_n-representations has the structure of a finitely generated FI_W-module, then there are substantial constraints on the growth of the sequence and the structure of the characters: for n large, the dimension of V_n is equal to a polynomial in n, and the characters of V_n are given by a character polynomial in signed-cycle-counting class functions, independent of n. We determine bounds the degrees of these polynomials. We continue to develop the theory of FI_W-modules, and we apply this theory to obtain new results about a number of sequences associated to the classical Weyl groups: the cohomology of complements of classical Coxeter hyperplane arrangements, and the cohomology of the pure string motion groups (the groups of symmetric automorphisms of the free group).

The number of positive and negative carries in the addition of two independent random signed digit expansions of given length is analyzed asymptotically for the $(q, d)$-system and the symmetric signed digit expansion. The results include expectation, variance, covariance between the positive and negative carries and a central limit theorem. Dependencies between the digits require determining suitable transition probabilities to obtain equidistribution on all expansions of given length. A general procedure is described to obtain such transition probabilities for arbitrary regular languages. The number of iterations in von Neumann's parallel addition method for the symmetric signed digit expansion is also analyzed, again including expectation, variance and convergence to a double exponential limiting distribution. This analysis is carried out in a general framework for sequences of generating functions.

This work studies the maximum possible sign rank of $N \times N$ sign matrices with a given VC dimension $d$. For $d=1$, this maximum is {three}. For $d=2$, this maximum is $\tildeΘ(N^{1/2})$. For $d >2$, similar but slightly less accurate statements hold. {The lower bounds improve over previous ones by Ben-David et al., and the upper bounds are novel.} The lower bounds are obtained by probabilistic constructions, using a theorem of Warren in real algebraic topology. The upper bounds are obtained using a result of Welzl about spanning trees with low stabbing number, and using the moment curve. The upper bound technique is also used to: (i) provide estimates on the number of classes of a given VC dimension, and the number of maximum classes of a given VC dimension -- answering a question of Frankl from '89, and (ii) design an efficient algorithm that provides an $O(N/\log(N))$ multiplicative approximation for the sign rank. We also observe a general connection between sign rank and spectral gaps which is based on Forster's argument. Consider the $N \times N$ adjacency matrix of a $Δ$ regular graph with a second eigenvalue of absolute value $λ$ and $Δ\leq N/2$. We show that the sign rank of the signed version of this matrix is at least $Δ/λ$. We use this connection to prove the existence of a maximum class $C\subseteq\{\pm 1\}^N$ with VC dimension $2$ and sign rank $\tildeΘ(N^{1/2})$. This answers a question of Ben-David et al.~regarding the sign rank of large VC classes. We also describe limitations of this approach, in the spirit of the Alon-Boppana theorem. We further describe connections to communication complexity, geometry, learning theory, and combinatorics.

A conjecture by R. Stanley on a class of alternating permutations, which is proved by R. Chapman and L. Williams states that alternating permutations with the maximal number of fixed points is equidistributed with derangements. We extend this (type $A$) result to type $B$: We prove that various classes of alternating signed permutations with the maximal number of fixed points is equidistributed with certain types of derangements (of type $B$), respectively.

Does the interaction graph of a finite dynamical system can force this system to have a "complex" dynamics ? In other words, given a finite interval of integers $A$, which are the signed digraphs $G$ such that every finite dynamical system $f:A^n\to A^n$ with $G$ as interaction graph has a "complex" dynamics ? If $|A|\geq 3$ we prove that no such signed digraph exists. More precisely, we prove that for every signed digraph $G$ there exists a system $f:A^n\to A^n$ with $G$ as interaction graph that converges toward a unique fixed point in at most $\lfloor\log_2 n\rfloor+2$ steps. The boolean case $|A|=2$ is more difficult, and we provide partial answers instead. We exhibit large classes of unsigned digraphs which admit boolean dynamical systems which converge toward a unique fixed point in polynomial, linear or constant time.

In this paper we present a simple framework to study various distance problems of permutations, including the transposition and block-interchange distance of permutations as well as the reversal distance of signed permutations. These problems are very important in the study of the evolution of genomes. We give a general formulation for lower bounds of the transposition and block-interchange distance from which the existing lower bounds obtained by Bafna and Pevzner, and Christie can be easily derived. As to the reversal distance of signed permutations, we translate it into a block-interchange distance problem of permutations so that we obtain a new lower bound. Furthermore, studying distance problems via our framework motivates several interesting combinatorial problems related to product of permutations, some of which are studied in this paper as well.