arXiv++ Combinatorics

Let $1 \leq k \leq n$ be a positive integer. A {\em nonnegative signed $k$-subdominating function} is a function $f:V(G) \rightarrow \{-1,1\}$ satisfying $\sum_{u\in N_G[v]}f(u) \geq 0$ for at least $k$ vertices $v$ of $G$. The value $\min\sum_{v\in V(G)} f(v)$, taking over all nonnegative signed $k$-subdominating functions $f$ of $G$, is called the {\em nonnegative signed $k$-subdomination number} of $G$ and denoted by $γ^{NN}_{ks}(G)$. When $k=|V(G)|$, $γ^{NN}_{ks}(G)=γ^{NN}_s(G)$ is the {\em nonnegative signed domination number}, introduced in \cite{HLFZ}. In this paper, we investigate several sharp lower bounds of $γ^{NN}_s(G)$, which extend some presented lower bounds on $γ^{NN}_s(G)$. We also initiate the study of the nonnegative signed $k$-subdomination number in graphs and establish some sharp lower bounds for $γ^{NN}_{ks}(G)$ in terms of order and the degree sequence of a graph $G$.

The paper designs five graph operations, and proves that every signed graph with chromatic number $q$ can be obtained from all-positive complete graphs $(K_q,+)$ by repeatedly applying these operations. This result gives a signed version of the Hajós theorem, emphasizing the role of all-positive complete graphs played in the class of signed graphs, as played in the class of unsigned graphs.

A signed graph is a graph whose edges are labelled positive or negative. The sign of a circle (cycle, circuit) is the product of the signs of its edges. Most of the essential properties of a signed graph depend on the signs of its circles. Here I describe several questions regarding negative circles and their cousins the positive circles. Topics include incidence between signed circles and edges or vertices, characterizing signed graphs with special circle properties, counting negative circles, signed-circle packing and covering, signed circles and eigenvalues, and directed cycles in signed digraphs. A few of the questions come with answers.

Tutte initiated the study of nowhere-zero flows and proved the following fundamental theorem: For every graph $G$ there is a polynomial $f$ so that for every abelian group $Γ$ of order $n$, the number of nowhere-zero $Γ$-flows in $G$ is $f(n)$. For signed graphs (which have bidirected orientations), the situation is more subtle. For a finite group $Γ$, let $ε_2(Γ)$ be the largest integer $d$ so that $Γ$ has a subgroup isomorphic to $\mathbb{Z}_2^d$. We prove that for every signed graph $G$ and $d \ge 0$ there is a polynomial $f_d$ so that $f_d(n)$ is the number of nowhere-zero $Γ$-flows in $G$ for every abelian group $Γ$ with $ε_2(Γ) = d$ and $|Γ| = 2^d n$. Beck and Zaslavsky had previously established the special case of this result when $d=0$ (i.e., when $Γ$ has odd order).

Combinatorial discrepancy is a complexity measure of a collection of sets which quantifies how well the sets in the collection can be simultaneously balanced. More precisely, we are given an n-point set $P$, and a collection $\mathcal{F} = \{F_1, ..., F_m\}$ of subsets of $P$, and our goal is color $P$ with two colors, red and blue, so that the maximum over the $F_i$ of the absolute difference between the number of red elements and the number of blue elements (the discrepancy) is minimized. Combinatorial discrepancy has many applications in mathematics and computer science, including constructions of uniformly distributed point sets, and lower bounds for data structures and private data analysis algorithms. We investigate the combinatorial discrepancy of geometrically defined systems, in which $P$ is an n-point set in $d$-dimensional space ,and $\mathcal{F}$ is the collection of subsets of $P$ induced by dilations and translations of a fixed convex polytope $B$. Such set systems include systems of sets induced by axis-aligned boxes, whose discrepancy is the subject of the well known Tusnady problem. We prove new discrepancy upper and lower bounds for such set systems by extending the approach based on factorization norms previously used by the author and Matousek. We improve the best known upper bound for the Tusnady problem by a logarithmic factor, using a result of Banaszczyk on signed series of vectors. We extend this improvement to any arbitrary convex polytope $B$ by using a decomposition due to Matousek. Using Fourier analytic techniques, we also prove a nearly matching discrepancy lower bound for sets induced by any fixed bounded polytope $B$ satisfying a certain technical condition. We also outline applications of our results to geometric discrepancy, data structure lower bounds, and differential privacy.

It is well known that each nonnegative integral flow on a graph can be decomposed into a sum of nonnegative graphic circuit flows, which cannot be further decomposed into nonnegative integral sub-flows. This is equivalent to saying that the indecomposable flows on graphs are those graphic circuit flows. Turning from graphs to signed graphs, the indecomposable flows are much richer than those of unsigned graphs. This paper gives a complete description of indecomposable flows on signed graphs from the viewpoint of resolution of singularities by means of double covering graphs.

The closed neighborhood $N_G[e]$ of an edge $e$ in a graph $G$ is the set consisting of $e$ and of all edges having an end-vertex in common with $e$. Let $f$ be a function on $E(G)$, the edge set of $G$, into the set $\{-1,1\}$. If $\sum_{x\in{N[e]}}f(x)\geq 1$ for each edge $e \in E(G)$, then $f$ is called a signed edge dominating function of $G$. The signed edge domination number of $G$ is the minimum weight of a signed edge dominating function of $G$. In this paper, we find the signed edge domination number of the complete tripartite graph $K_{m,n,p}$, where $1\leq m\leq n$ and $p\geq m+n$. This completes the search for the signed edge domination numbers of the complete tripartite graphs.

We consider the notion of a signed magic array, which is an $m \times n$ rectangular array with the same number of filled cells $s$ in each row and the same number of filled cells $t$ in each column, filled with a certain set of numbers that is symmetric about the number zero, such that every row and column has a zero sum. We attempt to make progress toward a characterization of for which $(m, n, s, t)$ there exists such an array. This characterization is complete in the case where $n = s$ and in the case where $n = m$; we also characterize three-fourths of the cases where $n = 2m$.

The signed enhanced principal rank characteristic sequence (sepr-sequence) of an $n \times n$ Hermitian matrix is the sequence $t_1t_2 \cdots t_n$, where $t_k$ is either $\tt A^*$, $\tt A^+$, $\tt A^-$, $\tt N$, $\tt S^*$, $\tt S^+$, or $\tt S^-$ based on the following criteria: $t_k = \tt A^*$ if $B$ has both a positive and a negative order-$k$ principal minor, and each order-$k$ principal minor is nonzero. $t_k = \tt A^+$ (respectively, $t_k = \tt A^-$) if each order-$k$ principal minor is positive (respectively, negative). $t_k = \tt N$ if each order-$k$ principal minor is zero. $t_k = \tt S^*$ if $B$ has each a positive, a negative, and a zero order-$k$ principal minor. $t_k = \tt S^+$ (respectively, $t_k = \tt S^-$) if $B$ has both a zero and a nonzero order-$k$ principal minor, and each nonzero order-$k$ principal minor is positive (respectively, negative). Such sequences provide more information than the $({\tt A,N,S})$ epr-sequence in the literature, where the $k$th term is either $\tt A$, $\tt N$, or $\tt S$ based on whether all, none, or some (but not all) of the order-$k$ principal minors of the matrix are nonzero. Various sepr-sequences are shown to be unattainable by Hermitian matrices. In particular, by applying Muir's law of extensible minors, it is shown that subsequences such as $\tt A^*N$ and $\tt NA^*$ are prohibited in the sepr-sequence of a Hermitian matrix. For Hermitian matrices of orders $n=1,2,3$, all attainable sepr-sequences are classified. For real symmetric matrices, a complete characterization of the attainable sepr-sequences whose underlying epr-sequence contains $\tt ANA$ as a non-terminal subsequence is established.

We introduce diagrams and essential sets for signed permutations, extending the analogous notions for ordinary permutations. In particular, we show that the essential set provides a minimal list of rank conditions defining the Schubert variety or degeneracy locus corresponding to a signed permutation. Our essential set is in bijection with the poset-theoretic version defined by Reiner, Woo, and Yong, and thus gives an explicit, diagrammatic method for computing the latter.

In 2015, the author proved combinatorially character formulas expressing sums of the (formal) dimensions of irreducible representations of symplectic groups, refining some works of Nekrasov and Okounkov, Han, King, and Westbury. In this article, we obtain generalizations of these character formulas, by using a bijection on integer partitions, namely the Littlewood decomposition, for which we prove new properties. As applications, we derive signed generating functions for subsets of integer partitions, and new hook length formulas.

The chromatic number of signed graphs is defined recently. The coloring and clique problem of interval graphs has been studied and polynomial time algorithms are established. Here we consider these problems for signed interval graphs and prove that the coloring problem of signed interval graphs is NP-complete whereas their ordinary clique problem is in P. We also study the complexity of further related problems.

In this paper we develop a combinatorial abstraction of tropical linear programming. This generalizes the search for a feasible point of a system of min-plus-inequalities. It is based on the polyhedral properties of triangulations of the product of two simplices and the combinatorics of the associated set of bipartite graphs with an additional sign information which we call a signed tropical matroid. We demonstrate the connections with the classical simplex method, mean payoff games and scheduling.

Let $S$ be a real $n\times n$ matrix, $z,\hat c\in \mathbb R^n$, and $| z|$ the componentwise modulus of $z$. Then the piecewise linear equation system $$z-S| z| = \hat c$$ is called an \textit{absolute value equation} (AVE). It has been proven to be equivalent to the general \textit{linear complementarity problem}, which means that it is NP hard in general. We will show that for several system classes the AVE essentially retains the good natured solvability properties of regular linear systems. I.e., it can be solved directly by a slightly modified Gaussian elimination that we call the signed Gaussian elimination. For dense matrices $S$ this algorithm has the same operations count as the classical Gaussian elimination with symmetric pivoting. For tridiagonal systems in $n$ variables its computational cost is roughly that of sorting $n$ floating point numbers. The sharpness of the proposed restrictions on $S$ will be established.

We explore how the combinatorial arrangement of prescribed zeros in a matrix affects the possible eigenvalues that the matrix can obtain. We demonstrate that there are inertially arbitrary patterns having a digraph with no 2-cycle, unlike what happens for nonzero patterns. We develop a class of patterns that are refined inertially arbitrary but not spectrally arbitrary, making use of the property of a properly signed nest. We include a characterization of the inertially arbitrary and refined inertially arbitrary patterns of order three, as well as the patterns of order four with the least number of nonzero entries.

The spectra of signed matrices have played a fundamental role in social sciences, graph theory, and control theory. In this work, we investigate the computational problems of identifying symmetric signings of matrices with natural spectral properties. Our results are twofold: 1. We show NP-completeness for the following three problems: verifying whether a given matrix has a symmetric signing that is positive semi-definite/singular/has bounded eigenvalues. However, we also illustrate that the complexity could substantially differ for input matrices that are adjacency matrices of graphs. 2. We exhibit a stark contrast between invertibility and the above-mentioned spectral properties: we show a combinatorial characterization of matrices with invertible symmetric signings and design an efficient algorithm using this characterization to verify whether a given matrix has an invertible symmetric signing. Next, we give an efficient algorithm to solve the search problem of finding an invertible symmetric signing for matrices whose support graph is bipartite. We also provide a lower bound on the number of invertible symmetric signed adjacency matrices. Finally, we give an efficient algorithm to find a minimum increase in support of a given symmetric matrix so that it has an invertible symmetric signing. We use combinatorial and spectral techniques in addition to classic results from matching theory. Our combinatorial characterization of matrices with invertible symmetric signings might be of independent interest.

We prove several identities expressing polynomials counting permutations by various descent statistics in terms of Eulerian polynomials, extending results of Stembridge, Petersen, and Brändén. Additionally, we find $q$-exponential generating functions for $q$-analogues of these descent statistic polynomials that also keep track of the inversion number or inverse major index. We also present identities relating several of these descent statistic polynomials to refinements of type B Eulerian polynomials and flag descent polynomials by the number of negative letters of a signed permutation. Our methods include permutation enumeration techniques involving noncommutative symmetric functions, Brändén's modified Foata-Strehl action, and a group action of Petersen on signed permutations. Notably, the modified Foata-Strehl action yields an analogous relation between Narayana polynomials and the joint distribution of the peak number and descent number over 231-avoiding permutations, which we also interpret in terms of binary trees and Dyck paths.

I propose that most problems about circles (cycles, circuits) in ordinary graphs that have odd or even length find their proper setting in the theory of signed graphs, where each edge has a sign, $+$ or $-$. Even-circle and odd-circle problems correspond to questions about positive and negative circles in signed graphs. (The sign of a circle is the product of its edge signs.) I outline questions about circles in signed graphs, that seem natural and potentially important.

We introduce a geometric method to study additive combinatorial problems. Using equivariant cohomology we reprove the Dias da Silva-Hamidoune theorem. We improve a result of Sun on the linear extension of the Erdős-Heilbronn conjecture. We generalize a theorem of G. Kós (the Grashopper problem) which in some sense is a simultaneous generalization of the Erdős-Heilbronn conjecture. We also prove a signed version of the Erdős-Heilbronn conjecture and the Grashopper problem. Most identities used are based on calculating the projective degree of an algebraic variety in two different ways.

We examine the conditions under which a signed graph contains an edge or a vertex that is contained in a unique negative circle or a unique positive circle. For an edge in a unique signed circle, the positive and negative case require the same structure on the underlying graph, but the requirements on the signature are different. We characterize the structure of the underlying graph necessary to support such an edge in terms of bridges of a circle. We then use the results from the edge version of the problem to help solve the vertex version.