arXiv++ Combinatorics

A certain signed adjacency matrix of the hypercube, which Hao Huang used last year to resolve the sensitivity conjecture, is closely related to the unique, 4-cycle free, 2-fold cover of the hypercube. We develop a framework in which this connection is a natural first example of the relationship between group labeled adjacency matrices with few eigenvalues, and combinatorially interesting covering graphs. In particular, we define a two-eigenvalue cover to be a covering graph whose adjacency spectra differs (as a multiset) from that of the graph it covers by exactly two eigenvalues. We show that walk regularity of a graph implies walk regularity of any abelian two-eigenvalue cover. We also give a spectral characterization for when a cyclic two-eigenvalue cover of a strongly-regular graph is distance regular.

Two spheres with centers $p$ and $q$ and signed radii $r$ and $s$ are said to be in contact if $|p-q|^2 = (r-s)^2$. Using Lie's line-sphere correspondence, we show that if $F$ is a field in which $-1$ is not a square, then there is an isomorphism between the set of spheres in $F^3$ and the set of lines in a suitably constructed Heisenberg group that is embedded in $(F[i])^3$; under this isomorphism, contact between spheres translates to incidences between lines. In the past decade there has been significant progress in understanding the incidence geometry of lines in three space. The contact-incidence isomorphism allows us to translate statements about the incidence geometry of lines into statements about the contact geometry of spheres. This leads to new bounds for Erdős' repeated distances problem in $F^3$, and improved bounds for the number of point-sphere incidences in three dimensions. These new bounds are sharp for certain ranges of parameters.

This paper is concerned with multivariate refinements of the gamma-positivity of Eulerian polynomials by using the succession and fixed point statistics. Properties of the enumerative polynomials for permutations, signed permutations and derangements, including generating functions and gamma-positivity are studied, which generalize and unify earlier results of Athanasiadis, Brenti, Chow, Petersen, Roselle, Stembridge, Shin and Zeng. In particular, we derive a formula expressing the joint distribution of excedance number and negative number statistics over the type B derangements in terms of the derangement polynomials.

A signed edge domination function (or SEDF) of a simple graph $G=(V,E)$ is a function $f: E\rightarrow \{1,-1\}$ such that $\sum_{e'\in N[e]}f(e')\ge 1$ holds for each edge $e\in E$, where $N[e]$ is the set of edges in $G$ that share at least one endpoint with $e$. Let $γ_s'(G)$ denote the minimum value of $f(G)$ among all SEDFs $f$, where $f(G)=\sum_{e\in E}f(e)$.In 2005, Xu conjectured that $γ_s'(G)\le n-1$, where $n$ is the order of $G$. This conjecture has been proved for the two cases $v_{odd}(G)=0$ and $v_{even}(G)=0$, where $v_{odd}(G)$ (resp. $v_{even}(G)$) is the number of odd (resp. even) vertices in $G$. This article proves Xu's conjecture for $v_{even}(G)\in \{1, 2\}$. We also show that for any simple graph $G$ of order $n$, $γ_s'(G)\le n+v_{odd}(G)/2$ and $γ_s'(G)\le n-2+v_{even}(G)$ when $v_{even}(G)>0$, and thus $γ_s'(G)\le (4n-2)/3$. Our result improves the best current upper bound of $γ_s'(G)\le \lceil 3n/2\rceil$.

Recently, Huang showed that every $(2^{n-1}+1)$-vertex induced subgraph of the $n$-dimensional hypercube has maximum degree at least $\sqrt{n}$ in [Annals of Mathematics, 190 (2019), 949--955]. In this paper, we discuss the induced subgraphs of Cartesian product graphs and semi-strong product graphs to generalize Huang's result. Let $Γ_1$ be a connected signed bipartite graph of order $n$ and $Γ_2$ be a connected signed graph of order $m$. By defining two kinds of signed product of $Γ_1$ and $Γ_2$, denoted by $Γ_1\widetilde{\Box}Γ_2$ and $Γ_1\widetilde{\bowtie} Γ_2$, we show that if $Γ_1$ and $Γ_2$ have exactly two distinct adjacency eigenvalues $\pmθ_1$ and $\pmθ_2$ respectively, then every $(\frac{1}{2}mn+1)$-vertex induced subgraph of $Γ_1\widetilde{\Box}Γ_2$ (resp. $Γ_1\widetilde{\bowtie} Γ_2$) has maximum degree at least $\sqrt{θ_1^2+θ_2^2}$ (resp. $\sqrt{(θ_1^2+1)θ_2^2}$). Moreover, we discuss the eigenvalues of $Γ_1\widetilde{\Box} Γ_2$ and $Γ_1\widetilde{\bowtie} Γ_2$ and obtain a sufficient and necessary condition such that the spectrum of $Γ_1\widetilde{\Box}Γ_2$ and $Γ_1\widetilde{\bowtie}Γ_2$ are symmetric, from which we obtain more general results on maximum degree of the induced subgraphs.

Which combinatorial sequences correspond to moments of probability measures on the real line? We present a generating function, in the form of a continued fraction, for a fourteen-parameter family of such sequences and interpret these in terms of combinatorial statistics on the symmetric groups. Special cases include several classical and noncommutative probability laws, along with a substantial subset of the orthogonalizing measures in the q-Askey scheme, now given a new combinatorial interpretation in terms of elementary permutation statistics. This framework further captures a variety of interesting combinatorial sequences including, notably, the moment sequences associated to distributions of the numbers of occurrences of (classical and vincular) permutation patterns of length three. This connection between pattern avoidance and broader ideas in classical and noncommutative probability is among several intriguing new corollaries, which generalize and unify results previously appearing in the literature, while opening up new lines of inquiry. The fourteen combinatorial statistics further generalize to signed and colored permutations, and, as an infinite family of statistics, to the k-arrangements: permutations with k-colored fixed points, introduced here along with several related results and conjectures.

This paper is the first from serial papers that provide constructive characterizations for classes of bidirected graphs known as radials and semiradials. In this paper, we provide constructive characterizations for five principle classes of radials and semiradials to be used for characterizing general radials and semiradials. A bidirected graph is a graph in which each end of each edge has a sign $+$ or $-$. Bidirected graphs are a common generalization of digraphs and signed graphs. We define a new concept of radials as a generalization of a classical concept in matching theory, critical graphs. Radials are also a generalization of a class of digraphs known as flowgraphs. We also define semiradials, which are a relaxed concept of radials. We further define special classes of radials and semiradials, that is, absolute semiradials, strong and almost strong radials, linear semiradials, and sublinear radials. We provide constructive characterizations for these five classes of bidirected graphs. Our serial papers are a part of a series of works that establish the strong component decomposition for bidirected graphs.

This paper builds on two covering Hopf algebras of the Hopf algebra QSym of quasi-symmetric functions, with linear bases parameterized by compositions. One is the Malvenuto-Reutenauer Hopf algebra SSym of permutations, mapped onto QSym by taking descents of permutations. The other one is the recently introduced Hopf algebra RQSym of weak quasi-symmetric functions, mapped onto QSym by extracting compositions from weak compositions. We extend these two surjective Hopf algebra homomorphisms into a commutative diagram by introducing a Hopf algebra HSym, linearly spanned by signed permutations from the hyperoctahedral groups, equipped with the shifted quasi-shuffle product and deconcatenation coproduct. Extracting a permutation from a signed permutation defines a Hopf algebra surjection form HSym to SSym and taking a suitable descent from a signed permutation defines a linear surjection from HSym to RQSym. The notion of signed $P$-partitions from signed permutations is introduced which, by taking generating functions, gives fundamental weak quasi-symmetric functions and sends the shifted quasi-shuffle product to the product of the corresponding generating functions. Together with the existing Hopf algebra surjections from SSym and RQSym to QSym, we obtain a commutative diagram of Hopf algebras revealing the close relationship among compositions, weak compositions, permutations and signed permutations.

Let $k, r, n \geq 1$ be integers, and let $§_{n, k, r}$ be the family of $r$-signed $k$-sets on $[n] = \{1, \dots, n\}$ given by $$ \mathcal{S}_{n, k, r} = \Big\{\{(x_1, a_1), \dots, (x_k, a_k)\}: \{x_1, \dots, x_k\} \in \binom{[n]}{k}, a_1, \dots, a_k \in [r] \Big\}. $$ A family $\mathcal{A} \subseteq §_{n, k, r}$ is \emph{intersecting} if $A, B \in \mathcal{A}$ implies $A \cap B \not= \emptyset$. A well-known result (first stated by Meyer and proved using different methods by Deza and Frankl, and Bollobás and Leader) states that if $\mathcal{A} \subseteq \mathcal{S}_{n, k, r}$ is intersecting, $r \geq 2$ and $1 \leq k \leq n$, then $$|\mathcal{A}| \leq r^{k-1}\binom{n-1}{k - 1}.$$ We provide a proof of this result by injection (in the same spirit as Frankl and Füredi's and Hurlbert and Kamat's injective proofs of the Erdős--Ko--Rado Theorem, and Frankl's and Hurlbert and Kamat's injective proofs of the Hilton--Milner Theorem) whenever $r \geq 2$ and $1 \leq k \leq n/2$, leaving open only some cases when $k \leq n$.

A {\em signed magic rectangle} $SMR(m,n;k, s)$ is an $m \times n$ array with entries from $X$, where $X=\{0,\pm1,\pm2,\ldots, $ $\pm (mk-1)/2\}$ if $mk$ is odd and $X = \{\pm1,\pm2,\ldots,\pm mk/2\}$ if $mk$ is even, such that precisely $k$ cells in every row and $s$ cells in every column are filled, every integer from set $X$ appears exactly once in the array and the sum of each row and of each column is zero. In this paper, we prove that a signed magic rectangle $SMR(m,n;k, 3)$ exists if and only if $3\leq m,k\leq n$ and $mk=3n$.

We define some generalizations of the classical descent and inversion statistics on signed permutations that arise from the work of Sack and Ulfarsson [20] and called after width-k descents and width-k inversionsof type A in Davis's work [8]. Using the aforementioned new statistics, we derive some new generalizations of Eulerian polynomials of type A, B and D. It should also be noticed that we establish the Gamma-positivity of the "width-k" Eulerian polynomials and we give a combinatorial interpretation of finite sequences associated to these new polynomials using quasisymmetric functions and P-partition in Petersen's work [18].

We study the sets of inertias achieved by Laplacian matrices of weighted signed graphs. First we characterize signed graphs with a unique Laplacian inertia. Then we show that there is a sufficiently small perturbation of the nonzero weights on the edges of any connected weighted signed graph so that all eigenvalues of its Laplacian matrix are simple. Next, we give upper bounds on the number of possible Laplacian inertias for signed graphs with a fixed flexibility $τ$ (a combinatorial parameter of signed graphs), and show that these bounds are sharp for an infinite family of signed graphs. Finally, we provide upper bounds for the number of possible Laplacian inertias of signed graphs in terms of the number of vertices.

This paper is the second in a series of planned papers which provide first bijective proofs of alternating sign matrix results. Based on the main result from the first paper, we construct a bijective proof of the enumeration formula for alternating sign matrices and of the fact that alternating sign matrices are equinumerous with descending plane partitions. We are also able to refine these bijections by including the position of the unique $1$ in the top row of the matrix. Our constructions rely on signed sets and related notions. The starting point for these constructions were known ``computational'' proofs, but the combinatorial point of view led to several drastic modifications. We also provide computer code where all of our constructions have been implemented.

\pkg{multiplex} is a computer program that provides algebraic tools for the analysis of multiple network structures within the \proglang{R} environment. Apart from the possibility to create and manipulate multivariate data representing multiplex, signed, and two-mode networks, this package offers a collection of functions that deal with algebraic systems ---such as the partially ordered semigroup, and balance or cluster semirings--- their decomposition, and the enumeration of bundle patterns occurring at different levels of the network. Moreover, through Galois derivations between families of the pairs of subsets in different domains it is possible to analyze affiliation networks with an algebraic approach. Visualization of multigraphs, different forms of bipartite graphs, inclusion lattices, Cayley graphs is supported as well with related packages.

A metric space $\mathcal{T}$ is a \emph{real tree} if for any pair of points $x, y \in \mathcal{T}$ all topological embeddings $σ$ of the segment $[0,1]$ into $\mathcal{T}$, such that $σ(0)=x$ and $σ(1)=y$, have the same image (which is then a geodesic segment from $x$ to $y$). A \emph{signed graph} is a graph where each edge has a positive or negative sign. The \emph{Sitting Closer to Friends than Enemies} problem in trees has a signed graph $S$ as an input. The purpose is to determine if there exists an injective mapping (called \emph{valid distance drawing}) from $V(S)$ to the points of a real tree such that, for every $u \in V(S)$, for every positive neighbor $v$ of $u$, and negative neighbor $w$ of $u$, the distance between $v$ and $u$ is smaller than the distance between $w$ and $u$. In this work, we show that a complete signed graph has a valid distance drawing in a real tree if and only if its subgraph composed of all (and only) its positive edges has an intersection representation by unit balls in a real tree. Besides, as an instrumental result, we show that a graph has an intersection representation by unit balls in a real tree if and only if it has an intersection representation by proper balls, and if and only if it has an intersection representation by arbitrary balls in a real tree.

The commutative Hopf monoid of set compositions is a fundamental Hopf monoid internal to vector species, having undecorated bosonic Fock space the combinatorial Hopf algebra of quasisymmetric functions. We construct a geometric realization of this Hopf monoid over the adjoint of the (essentialized) braid hyperplane arrangement, which identifies the monomial basis with signed characteristic functions of the interiors of permutohedral tangent cones. We show that the indecomposable quotient Lie coalgebra is obtained by restricting functions to chambers of the adjoint arrangement, i.e. by quotienting out the higher codimensions. The resulting functions are characterized by the Steinmann relations of axiomatic quantum field theory, demonstrating an equivalence between the Steinmann relations, tangent cones to (generalized) permutohedra, and having algebraic structure internal to species. Our results give a new interpretation of a construction appearing in the mathematically rigorous formulation of renormalization by Epstein-Glaser, called causal perturbation theory. In particular, we show that operator products of time-ordered products correspond to the H-basis of the cocommutative Hopf monoid of set compositions, and generalized retarded products correspond to a spanning set of its primitive part Lie algebra.

We investigate a class of 2-edge coloured bipartite graphs known as alternating signed bipartite graphs (ASBGs) that encode the information in alternating sign matrices. The central question is when a given bipartite graph admits an ASBG-colouring; a 2-edge colouring such that the resulting graph is an ASBG. We introduce the concept of a difference-1 colouring, a relaxation of the concept of an ASBG-colouring, and present a set of necessary and sufficient conditions for when a graph admits a difference-1 colouring. The relationship between distinct difference-1 colourings of a particular graph is characterised, and some classes of graphs for which all difference-1 colourings are ASBG-colourings are identified. One key step is Theorem 3.4.6, which generalises Hall's Matching Theorem by describing a necessary and sufficient condition for the existence of a subgraph $H$ of a bipartite graph in which each vertex $v$ of $H$ has some prescribed degree $r(v)$.

For signed graphs we provide a cubic polynomial upper bound on the multiplicity of its eigenvalues. We show that this bound is sharp by providing examples of signed graphs in which it is attained. We also discuss particular cases in which the bound can be decreased.

A signed circuit cover of a signed graph is a natural analog of a circuit cover of a graph, and is equivalent to a covering of its corresponding signed-graphic matroid with circuits. It was conjectured that a signed graph whose signed-graphic matroid has no coloops has a 6-cover. In this paper, we prove that the conjecture holds for signed Eulerian graphs.

A family of sets is intersecting if any two sets in the family intersect. Given a graph $G$ and an integer $r\geq 1$, let $\mathcal{I}^{(r)}(G)$ denote the family of independent sets of size $r$ of $G$. For a vertex $v$ of $G$, the family of independent sets of size $r$ that contain $v$ is called an $r$-star. Then $G$ is said to be $r$-EKR if no intersecting subfamily of $ \mathcal{I}^{(r)}(G)$ is bigger than the largest $r$-star. Let $n$ be a positive integer, and let $G$ consist of the disjoint union of $n$ paths each of length 2. We prove that if $1 \leq r \leq n/2$, then $G$ is $r$-EKR. This affirms a longstanding conjecture of Holroyd and Talbot for this class of graphs and can be seen as an analogue of a well-known theorem on signed sets, proved using different methods, by Deza and Frankl and by Bollobás and Leader. Our main approach is a novel probabilistic extension of Katona's elegant cycle method, which might be of independent interest.