arXiv++ Combinatorics

The hypergraph Moore bound is an elegant statement that characterizes the extremal trade-off between the girth - the number of hyperedges in the smallest cycle or even cover (a subhypergraph with all degrees even) and size - the number of hyperedges in a hypergraph. For graphs (i.e., $2$-uniform hypergraphs), a bound tight up to the leading constant was proven in a classical work of Alon, Hoory and Linial [AHL02]. For hypergraphs of uniformity $k>2$, an appropriate generalization was conjectured by Feige [Fei08]. The conjecture was settled up to an additional $\log^{4k+1} n$ factor in the size in a recent work of Guruswami, Kothari and Manohar [GKM21]. Their argument relies on a connection between the existence of short even covers and the spectrum of a certain randomly signed Kikuchi matrix. Their analysis, especially for the case of odd $k$, is significantly complicated. In this work, we present a substantially simpler and shorter proof of the hypergraph Moore bound. Our key idea is the use of a new reweighted Kikuchi matrix and an edge deletion step that allows us to drop several involved steps in [GKM21]'s analysis such as combinatorial bucketing of rows of the Kikuchi matrix and the use of the Schudy-Sviridenko polynomial concentration. Our simpler proof also obtains tighter parameters: in particular, the argument gives a new proof of the classical Moore bound of [AHL02] with no loss (the proof in [GKM21] loses a $\log^3 n$ factor), and loses only a single logarithmic factor for all $k>2$-uniform hypergraphs. As in [GKM21], our ideas naturally extend to yield a simpler proof of the full trade-off for strongly refuting smoothed instances of constraint satisfaction problems with similarly improved parameters.

We introduce a switching operation, inspired by the Godsil-McKay switching, in order to obtain pairs of $G$-cospectral gain graphs, that are gain graphs cospectral with respect to every representation of the gain group $G$. For instance, for two signed graphs, this notion of cospectrality is equivalent to the cospectrality of their signed adjacency matrices together with the cospectrality of their underlying graphs. Moreover, we introduce another more flexible switching in order to obtain pairs of gain graphs cospectral with respect to some fixed unitary representation. Many existing notions of spectrum for graphs and gain graphs are indeed special cases of these spectra associated with particular representations, therefore our construction recovers the classical Godsil-McKay switching and the Godsil-McKay switching for signed and complex unit gain graphs. As in the classical case, not all gain graphs are suitable for these switchings: we analyze the relationships between the properties that make the graph suitable for the one or the other switching. Finally we apply our construction in order to define a Godsil-McKay switching for the right spectrum of quaternion unit gain graphs.

A deck of $n$ cards are shuffled by repeatedly taking off the top card, flipping it with probability $1/2$, and inserting it back into the deck at a random position. This process can be considered as a Markov chain on the group $B_n$ of signed permutations. We show that the eigenvalues of the transition probability matrix are $0,1/n,2/n,\ldots,(n-1)/n,1$ and the multiplicity of the eigenvalue $i/n$ is equal to the number of the {\em signed} permutation having exactly $i$ fixed points. We show the similar results also for the colored permutations. Further, we show that the mixing time of this Markov chain is $n\log n$, same as the ordinary 'top-to-random' shuffles without flipping the cards. The cut-off is also analyzed by using the asymptotic behavior of the Stirling numbers of the second kind.

Tutte showed that a graph $G$ is planar if and only if the conflict graph associated to every cycle of $G$ is bipartite. We define a (not necessarily unique) signed conflict graph associated to a maximally planar subgraph of a nonplanar graph such that if $G$ has a flat embedding, every possible conflict graph associated to every maximally planar subgraph of $G$ is balanced. In doing this, we show that for every graph $G$ with flat embedding, and a planar subgraph $P$ of $G$, $P$ lies on a sphere that intersects $G$ only in $P$. We conjecture that $G$ is intrinsically linked if and only if every maximal planar subgraph of $G$ has every possible conflict graph unbalanced.

It is known that, for any $k$-list assignment $L$ of a graph $G$, the number of $L$-list colorings of $G$ is at least the number of the proper $k$-colorings of $G$ when $k>(m-1)/\ln(1+\sqrt{2})$. In this paper, we extend the Whitney's broken cycle theorem to $L$-colorings of signed graphs, by which we show that if $k> \binom{m}{3}+\binom{m}{4}+m-1$ then, for any $k$-assignment $L$, the number of $L$-colorings of a signed graph $Σ$ with $m$ edges is at least the number of the proper $k$-colorings of $Σ$. Further, if $L$ is $0$-free (resp., $0$-included) and $k$ is even (resp., odd), then the lower bound $\binom{m}{3}+\binom{m}{4}+m-1$ for $k$ can be improved to $(m-1)/\ln(1+\sqrt{2})$.

Vertically symmetric alternating sign matrices (VSASMs) of order $2n+1$ are known to be equinumerous with lozenge tilings of a hexagon with side lengths $2n+2$, $2n$, $2n+2$, $2n$, $2n+2$, $2n$ and a central triangular hole of size $2$ that exhibit a cyclical as well as a vertical symmetry, but finding an explicit bijection proving this belongs to the most difficult problems in bijective combinatorics. Towards constructing such a bijection, we generalize the result by introducing certain natural extensions for both objects along with $n+3$ parameters and show that the multivariate generating functions with respect to these parameters coincide. This is a significant step from a constant number of equidistributed statistics to a linear number of statistics in $n$. The equinumeracy of VSASMs and the lozenge tilings is then an easy consequence of this result, which is obtained by specializing the generating functions to signed enumerations for both types of objects and then applying certain sign-reversing involutions. Another main result concerns the expansion of the multivariate generating function into symplectic characters as a sum over totally symmetric self-complementary plane partitions, which is in perfect analogy to the situation for ordinary ASMs where the Schur expansion can be written as a sum over totally symmetric plane partitions. This is exciting as it is reminiscent of the well-known Cauchy identity, and the Cauchy identity does have a bijective proof using the Robinson-Schensted-Knuth correspondence, and thus the result raises the question of whether there is a variation of the Robinson-Schensted-Knuth correspondence that does eventually lead to a bijective proof.

We explore extensions of tropical methods to arithmetic enumerative problems such as $\mathbb{A}^1$-enumeration with values in the Grothendieck-Witt ring, and rationality over Henselian valued fields, using bitangents to plane quartics as a test case. We consider quartic curves over valued fields whose tropicalizations are smooth and satisfy a mild genericity condition. We then express obstructions to rationality of bitangents and their points of tangency in terms of twisting of edges of the tropicalization; the latter depends only on the tropicalization and the initial coefficients of the defining equation modulo squares. We also show that the GW-multiplicity of a tropical bitangent, i.e., the multiplicity with which its lifts contribute to the $\mathbb{A}^1$-enumeration of bitangents as defined by Larson and Vogt, can be computed from the tropicalization of the quartic together with the initial coefficients of the defining equation. As an application, we show that the four lifts of most tropical bitangent classes contribute $2\mathbb{H}$, twice the class of the hyperbolic plane, to the $\mathbb{A}^1$-enumeration. These results rely on a degeneration theorem relating the Grothendieck-Witt ring of a Henselian valued field to the Grothendieck-Witt ring of its residue field, in residue characteristic not equal to two.

In 2001, Davies, Gladwell, Leydold, and Stadler proved discrete nodal domain theorems for eigenfunctions of generalized Laplacians. In 2019, Jost and Mulas generalized the normalized combinatorial Laplace operator of graphs to signed hypergraphs. In this paper, we establish nodal domain theorems for the normalized combinatorial Laplace operator in signed hypergraphs. We also obtain a lower bound estimates for the number of strong nodal domains.

Robinson-Schensted-Knuth (RSK) correspondence is a bijective correspondence between two-rowed arrays of non-negative integers and pairs of same-shape semistandard tableaux. This correspondence satisfies the symmetry property, that is, exchanging the rows of a two-rowed array is equivalent to exchanging the positions of the corresponding pair of semistandard tableaux. In this article, we introduce a super analogue of the RSK correspondence for super tableaux over a signed alphabet using a super version of Schensted's insertion algorithms. We give a geometrical interpretation of the super-RSK correspondence by a matrix-ball construction, showing the symmetry property in complete generality. We deduce a combinatorial version of the super Littlewood-Richardson rule on super Schur functions over a finite signed alphabet. Finally, we introduce the notion of super Littlewood-Richardson skew tableaux and we give another combinatorial interpretation of the super Littlewood-Richardson rule.

We extend the fundamentals for tropical convexity beyond the tropically positive orthant expanding the theory developed by Loho and Végh (ITCS 2020). We study two notions of convexity for signed tropical numbers called 'TO-convexity' (formerly 'signed tropical convexity') and the novel notion 'TC-convexity'. We derive several separation results for TO-convexity and TC-convexity. A key ingredient is a thorough understanding of TC-hemispaces - those TC-convex sets whose complement is also TC-convex. Furthermore, we use new insights in the interplay between convexity over Puiseux series and its signed valuation. Remarkably, TC-convexity can be seen as a natural convexity notion for representing oriented matroids as it arises from a generalization of the composition operation of vectors in an oriented matroid. We make this explicit by giving representations of linear spaces over the real tropical hyperfield in terms of TC-convexity.

For $k\ge 1$, the homogeneous symmetric functions $G(k,m)$ of degree $m$ defined by $\sum_{m\ge 0} G(k,m) z^m=\prod_{i\ge 1} \big(1+x_iz+x^2_iz^2+\cdots+x^{k-1}_iz^{k-1}\big)$ are called \emph{Petrie symmetric functions}. As derived by Grinberg and Fu--Mei independently, the expansion of $G(k,m)$ in the basis of Schur functions $s_λ$ turns out to be signed multiplicity free, i.e., the coefficients are $-1$, $0$ and $1$. In this paper we give a combinatorial interpretation of the coefficient of $s_λ$ in terms of the $k$-core of $λ$ and a sequence of rim hooks of size $k$ removed from $λ$. We further study the product of $G(k,m)$ with a power sum symmetric function $p_n$. For all $n\ge 1$, we give necessary and sufficient conditions on the parameters $k$ and $m$ in order for the expansion of $G(k,m)\cdot p_n$ in the basis of Schur functions to be signed multiplicity free. This settles affirmatively a conjecture of Alexandersson as the special case $n=2$.

We consider the extremal family of graphs of order $2^n$ in which no two vertices have identical neighbourhoods, yet the adjacency matrix has rank only $n$ over the field of two elements. A previous result from algebraic geometry shows that such graphs exist for all even $n$ and do not exist for odd $n$. In this paper we provide a new combinatorial proof for this result, offering greater insight to the structure of graphs with these properties. We introduce a new graph product closely related to the Kronecker product, followed by a construction for such graphs for any even $n$. Moreover, we show that this is an infinite family of strongly-regular quasi-random graphs whose signed adjacency matrices are symmetric Hadamard matrices. Conversely, we provide a combinatorial proof that for all odd $n$, no twin-free graphs of minimal $\mathbb{F}_2$-rank exist, and that the next best-possible rank $(n+1)$ is attainable, which is tight.

The structure of the graph defined by the interactions in a Boolean network can determine properties of the asymptotic dynamics. For instance, considering the asynchronous dynamics, the absence of positive cycles guarantees the existence of a unique attractor, and the absence of negative cycles ensures that all attractors are fixed points. In presence of multiple attractors, one might be interested in properties that ensure that attractors are sufficiently "isolated", that is, they can be found in separate subspaces or even trap spaces, subspaces that are closed with respect to the dynamics. Here we introduce notions of separability for attractors and identify corresponding necessary conditions on the interaction graph. In particular, we show that if the interaction graph has at most one positive cycle, or at most one negative cycle, or if no positive cycle intersects a negative cycle, then the attractors can be separated by subspaces. If the interaction graph has no path from a negative to a positive cycle, then the attractors can be separated by trap spaces. Furthermore, we study networks with interaction graphs admitting two vertices that intersect all cycles, and show that if their attractors cannot be separated by subspaces, then their interaction graph must contain a copy of the complete signed digraph on two vertices, deprived of a negative loop. We thus establish a connection between a dynamical property and a complex network motif. The topic is far from exhausted and we conclude by stating some open questions.

The paper studies edge-coloring of signed multigraphs and extends classical Theorems of Shannon and König to signed multigraphs. We prove that the chromatic index of a signed multigraph $(G,σ_G)$ is at most $\lfloor \frac{3}{2} Δ(G) \rfloor$. Furthermore, the chromatic index of a balanced signed multigraph $(H,σ_H)$ is at most $Δ(H) + 1$ and the balanced signed multigraphs with chromatic index $Δ(H)$ are characterized.

Recently Alexandersson and Getachew proved some multivariate generalizations of a formula for enumerating signed excedances in derangements. In this paper we first relate their work to a recent continued fraction for permutations and confirm some of their observations. Our second main result is two refinements of their multivariate identities, which clearly explain the meaning of each term in their main formulas. We also explore some similar formulas for permutations of type B.

This is an introduction to linear algebra and group theory. We first review the linear algebra basics, namely the determinant, the diagonalization procedure and more, and with the determinant being constructed as it should, as a signed volume. We discuss then the basic applications of linear algebra to questions in analysis. Then we get into the study of the closed groups of unitary matrices $G\subset U_N$, with some basic algebraic theory, and with a number of probability computations, in the finite group case. In the general case, where $G\subset U_N$ is compact, we explain how the Weingarten integration formula works, and we present some basic $N\to\infty$ applications.

For $m \geq 3$ and $n \geq 1$, the $m$-cycle book graph $B(m,n)$ consists of $n$ copies of the cycle $C_m$ with one common edge. In this paper, we prove that (a) the number of switching non-isomorphic signed $B(m,n)$ is $n+1$, and (b) the chromatic number of a signed $B(m,n)$ is either 2 or 3. We also obtain explicit formulas for the chromatic polynomials and the zero-free chromatic polynomials of switching non-isomorphic signed book graphs.

In this paper, we define and characterize signed interval graphs and bigraphs introducing the concept of negative interval. Also we have shown that these classes of graphs are respectively a generalization of well known classes of interval graphs and interval bigraphs. In this context we have observed that signed interval graphs coincide with the complement of Threshold tolerance graphs(co-TT graphs) introduced by Monma, Reed and Trotter \cite{22}. Finally, we have solved the open problem of forbidden induced subgraph characterization of co-TT graphs posed by them in the same paper.

This paper is a sequel of our preceding paper (N. Kita: Constructive characterization for signed analogue of critical graphs I: Principal classes of radials and semiradials. arXiv preprint, arXiv:2001.00083, 2019). In the preceding paper, the concepts of radials and semiradials are introduced, and constructive characterizations for five principal classes of radials and semiradials are provided. Radials are a common analogue of critical graphs from matching theory and a class of directed graphs called flowgraphs, whereas semiradials are a relaxed concept of radials. Five classes of radials and semiradials, that is, absolute semiradials, strong and almost strong radials, linear semiradials, and sublinear radials, were defined and characterized in the paper. In this paper, we use these characterizations to provide a constructive characterization of general radials and semiradials.

The CSP dichotomy conjecture has been recently established, but a number of other dichotomy questions remain open, including the dichotomy classification of list homomorphism problems for signed graphs. Signed graphs arise naturally in many contexts, including for instance nowhere-zero flows for graphs embedded in non-orientable surfaces. For a fixed signed graph $\widehat{H}$, the list homomorphism problem asks whether an input signed graph $\widehat{G}$ with lists $L(v) \subseteq V(\widehat{H}), v \in V(\widehat{G}),$ admits a homomorphism $f$ to $\widehat{H}$ with all $f(v) \in L(v), v \in V(\widehat{G})$. Usually, a dichotomy classification is easier to obtain for list homomorphisms than for homomorphisms, but in the context of signed graphs a structural classification of the complexity of list homomorphism problems has not even been conjectured, even though the classification of the complexity of homomorphism problems is known. Kim and Siggers have conjectured a structural classification in the special case of ``weakly balanced" signed graphs. We confirm their conjecture for reflexive and irreflexive signed graphs; this generalizes previous results on weakly balanced signed trees, and weakly balanced separable signed graphs \cite{separable,trees}. In the reflexive case, the result was first presented in \cite{KS}, with the proof using some of our results included in this paper. In fact, here we present our full proof, as an alternative to the proof in \cite{KS}. In particular, we provide direct polynomial algorithms where previously algorithms relied on general dichotomy theorems. The irreflexive results are new, and their proof depends on first deriving a theorem on extensions of min orderings of (unsigned) bipartite graphs, which is interesting on its own. [shortened, full abstract in PDF]