arXiv++ Combinatorics

We study the minimum number of distinct eigenvalues over a collection of matrices associated with a graph. Lower bounds are derived based on the existence or non-existence of certain cycle(s) in a graph. A key result proves that every Johnson graph has a signed variant with exactly two distinct eigenvalues. We also explore applications to weighing matrices, linear ternary codes, tight frames, and compute the minimum rank of Johnson graphs. Further results involve the minimum number of distinct eigenvalues for graphs in association schemes, distance-regular graphs, and Hamming graphs. We also draw some connections with simplicial complexes and higher-order Laplacians.

Given a sequence of $d \times d$ symmetric matrices $\{\mathbf{W}_i\}_{i=1}^n$, and a margin $Δ> 0$, we investigate whether it is possible to find signs $(ε_1, \dots, ε_n) \in \{\pm 1\}^n$ such that the operator norm of the signed sum satisfies $\|\sum_{i=1}^n ε_i \mathbf{W}_i\|_{\rm op} \leq Δ$. Kunisky and Zhang (2023) recently introduced a random version of this problem, where the matrices $\{\mathbf{W}_i\}_{i=1}^n$ are drawn from the Gaussian orthogonal ensemble. This model can be seen as a random variant of the celebrated Matrix Spencer conjecture and as a matrix-valued analog of the symmetric binary perceptron in statistical physics. In this work, we establish a satisfiability transition in this problem as $n, d \to \infty$ with $n / d^2 \to τ> 0$. First, we prove that the expected number of solutions with margin $Δ=κ\sqrt{n}$ has a sharp threshold at a critical $τ_1(κ)$: for $τ< τ_1(κ)$ the problem is typically unsatisfiable, while for $τ> τ_1(κ)$ the average number of solutions is exponentially large. Second, combining a second-moment method with recent results from Altschuler (2023) on margin concentration in perceptron-type problems, we identify a second threshold $τ_2(κ)$, such that for $τ>τ_2(κ)$ the problem admits solutions with high probability. In particular, we establish that a system of $n = Θ(d^2)$ Gaussian random matrices can be balanced so that the spectrum of the resulting matrix macroscopically shrinks compared to the semicircle law. Finally, under a technical assumption, we show that there exists values of $(τ,κ)$ for which the number of solutions has large variance, implying the failure of the second moment method. Our proofs rely on establishing concentration and large deviation properties of correlated Gaussian matrices under spectral norm constraints.

The type A cluster configuration space, commonly known as $\mathcal M_{0,n}$, is the very affine part of the binary geometry associated with the associahedron. The tropicalization of $\mathcal M_{0,n}$ can be realized as the space of phylogenetic trees and its signed tropicalizations as the dual-associahedron subfans. We give a concise overview of this construction and propose an extension to type C. The type C cluster configuration space $\mathcal M_{\mathrm C_l}$ arises from the binary geometry associated with the cyclohedron. We define a space of axially symmetric phylogenetic trees containing many dual-associahedron and dual-cyclohedron subfans. We conjecturally realize the tropicalization of $\mathcal M_{\mathrm C_l}$ as the defined space and its signed tropicalizations as the aforementioned subfans.

Let $m,n,s,k$ be four integers such that $1\leqslant s \leqslant n$, $1\leqslant k\leqslant m$ and $ms=nk$. A signed magic array $SMA(m,n; s,k)$ is an $m\times n$ partially filled array whose entries belong to the subset $Ω\subset \mathbb{Z}$, where $Ω=\{0,\pm 1, \pm 2,\ldots, \pm (nk-1)/2\}$ if $nk$ is odd and $Ω=\{\pm 1, \pm 2, \ldots, \pm nk/2\}$ if $nk$ is even, satisfying the following requirements: $(a)$ every $ω\in Ω$ appears once in the array; $(b)$ each row contains exactly $s$ filled cells and each column contains exactly $k$ filled cells; $(c)$ the sum of the elements in each row and in each column is $0$. In this paper we construct these arrays when $n$ is even and $s,k\geqslant 5$ are odd coprime integers. This allows us to give necessary and sufficient conditions for the existence of an $SMA(m,n; s,k)$ for all admissible values of $m,n,s,k$.

We present a spatially efficient decomposition of matrices and arbitrary-order tensors as linear combinations of tensor products of $\{-1, 1\}$-valued vectors. For any matrix $A \in \mathbb{R}^{m \times n}$, $$A - R_w = S_w C_w T_w^\top = \sum_{j=1}^w c_j \cdot \mathbf{s}_j \mathbf{t}_j^\top$$ is a {\it $w$-width signed cut decomposition of $A$}. Here $C_w = "diag"(\mathbf{c}_w)$ for some $\mathbf{c}_w \in \mathbb{R}^w,$ and $S_w, T_w$, and the vectors $\mathbf{s}_j, \mathbf{t}_j$ are $\{-1, 1\}$-valued. To store $(S_w, T_w, C_w)$, we may pack $w \cdot (m + n)$ bits, and require only $w$ floating point numbers. As a function of $w$, $\|R_w\|_F$ exhibits exponential decay when applied to #f32 matrices with i.i.d. $\mathcal N (0, 1)$ entries. Choosing $w$ so that $(S_w, T_w, C_w)$ has the same memory footprint as a \textit{f16} or \textit{bf16} matrix, the relative error is comparable. Our algorithm yields efficient signed cut decompositions in $20$ lines of pseudocode. It reflects a simple modification from a celebrated 1999 paper [1] of Frieze and Kannan. As a first application, we approximate the weight matrices in the open \textit{Mistral-7B-v0.1} Large Language Model to a $50\%$ spatial compression. Remarkably, all $226$ remainder matrices have a relative error $<6\%$ and the expanded model closely matches \textit{Mistral-7B-v0.1} on the {\it huggingface} leaderboard [2]. Benchmark performance degrades slowly as we reduce the spatial compression from $50\%$ to $25\%$. We optimize our open source \textit{rust} implementation [3] with \textit{simd} instructions on \textit{avx2} and \textit{avx512} architectures. We also extend our algorithm from matrices to tensors of arbitrary order and use it to compress a picture of the first author's cat Angus.

There is a well-established dictionary between zonotopes, hyperplane arrangements, and their (oriented) matroids. Arguably one of the most famous examples is the class of graphical zonotopes, also called acyclotopes, which encode subzonotopes of the type-A root polytope, the permutahedron. Stanley (1991) gave a general interpretation of the coefficients of the Ehrhart polynomial (integer-point counting function for a polytope) of a zonotope via linearly independent subsets of its generators. Applying this to the graphical case shows that Ehrhart coefficients count induced forests of the graph of fixed sizes. Our first goal is to extend and popularize this story to other root systems, which on the combinatorial side is encoded by signed graphs analogously to the work by Greene and Zaslavsky (1983). We compute the Ehrhart polynomial of the acyclotope in the signed case, and we give a matroid-dual construction, giving rise to tocyclotopes, and compute their Ehrhart polynomials. Applying the same duality construction to a general integral matrix gives rise to a lattice Gale zonotope, whose face structure was studies by McMullen (1971) and whose duality nature is a special instance of D'Adderio--Moci's arithmetic matroids. We describe its Ehrhart polynomials in terms of the given matrix.

The Fubini numbers count the permutations of horse racing where ties are possible. The closely related $r$-horse numbers count the finishes of a horse race where some subset of $r$ horses agree to finish the race in a specific relative strong ordering. We express the $r$-Fubini numbers as a sum of $r$ index-shifted sequences of Fubini numbers weighted with the signed Stirling numbers of the first kind. We use a novel shift operator counting. Further, we demonstrate the eventual modular periodicity of $r$-Fubini numbers. Their maximum period is determined to be the Carmichael function of the modulus. The maximum period occurs in the case of an odd modulus for Fubini numbers.

Let $Γ=(K_n,H)$ be a signed complete graph whose negative edges induce a subgraph $H$. Let $A(Γ)$ be the adjacency matrix of the signed graph $Γ$. The largest eigenvalue of $A(Γ)$ is called the index of $Γ$. In this paper, the index of all the signed complete graphs whose negative edges induce a bicyclic graph $B$ is investigated. Specifically, the structure of the bicyclic graph $B$ such that $Γ=(K_n,B)$ has the maximum index is determined.

We determine the maximum index and the signed graphs with the maximum index among all $\mathcal{K}_{2,t}^-$-free unbalanced signed graphs with fixed order for $t\geq 3$, as well as the second maximum index and the signed graphs with the second maximum index among all $\mathcal{K}_{2,t}^-$-free unbalanced signed graphs with fixed order for $t\geq 4$.

A signed graph is one that features two types of edges: positive and negative. Balanced signed graphs are those in which all cycles contain an even number of positive edges. In the adjacency matrix of a signed graph, entries can be $0$, $-1$, or $1$, depending on whether $ij$ represents no edge, a negative edge, or a positive edge, respectively. The index of the adjacency matrix of a signed graph $\dot{G}$ is less or equal to the index of the adjacency matrix of its underlying graph $G$, i.e., $λ_1(\dot{G}) \le λ_1(G)$. Indeed, if $\dot{G}$ is balanced, then $λ_1(\dot{G})=λ_1(G)$. This inequality becomes strict when $\dot{G}$ is an unbalanced signed graph. Recently, Brunetti and Stanić found the whole list of unbalanced signed graphs on $n$ vertices with maximum (resp. minimum) spectral radius. To our knowledge, there has been little research on this problem when unbalanced signed graphs are confined to specific graph classes. In this article, we demonstrate that there is only one unbalanced signed bipartite graph on $n$ vertices with maximum spectral radius, up to an operation on the signed edges known as switching. Additionally, we investigate unbalanced signed complete bipartite graphs on $n$ vertices with a bounded number of edges and maximum spectral radius, where the negative edges induce a tree.

The burnt pancake graph, denoted by $\mathbb{BP}_n$, is formed by connecting signed permutations via prefix reversals. Here, we discuss some spectral properties of $\mathbb{BP}_n$. More precisely, we prove that the adjacency spectrum of $\mathbb{BP}_n$ contains all integer values in the set $\{0, 1, \ldots, n\}\setminus\{\left\lfloor n/2 \right\rfloor\}$.

We introduce a guessing game, permutation Wordle, in which a guesser attempts to recover a hidden permutation in $S_n$. In each round, the guesser guesses a permutation (using information from previous rounds) and is told which entries of that permutation are correct. We describe a natural guessing strategy, which we believe to be optimal. We show that the number of permutations this strategy solves in $k+1$ rounds is the Eulerian number $A(n,k)$. We also describe an extension to suited permutations: the setter chooses a permutation in $S_n$ and also a coloring of $[n]$ using $s$ colors. We generalize our strategy, give a recurrence for the number of suited permutations solved in $k+1$ rounds, and relate these numbers to the Eulerian numbers. In the case of two suits, or signed permutations, we also relate these numbers to the Eulerian numbers of type B.

A permutation is called mod-k-alternating if its entries are restricted to having the same remainder as the index, modulo some integer $k \geq 1.$ In this paper, we find the sign-balance for mod-k-alternating permutations with respect to the statistic excedance. Moreover, we study the sign-balance for excedances over mod-k-alternating derangements. The results are obtained by constructing suitable matrices and connecting their determinants with the signed excedance enumeration of mod-k-alternating permutations. As an application of the signed excedance enumeration, we prove that when $n \equiv k \pmod {2k}$, the excedance enumerating polynomials over the even and odd mod-k-alternating permutations, starting with a fixed remainder, are gamma-positive.

A signed graph is a graph in which every edge carries a $+$ or a $-$ sign. In this paper, we determine the signed graphs with maximum spectral radius among all unbalanced signed graphs with fixed order that contain neither negative three-cycles nor negative four-cycles.

The seminal Erdős--Ko--Rado (EKR) theorem states that if $\mathcal{F}$ is a family of $k$-subsets of an $n$-element set $X$ for $k\leq n/2$ such that every pair of subsets in $\mathcal{F}$ has a nonempty intersection, then $\mathcal{F}$ can be no bigger than the trivially intersecting family obtained by including all $k$-subsets of $X$ that contain a fixed element $x\in X$. This family is called the star centered at $x$. In this paper, we formulate and prove an EKR theorem for intersecting families of subgraphs of the perfect matching graph, the graph consisting of $n$ disjoint edges. This can be considered a generalization not only of the aforementioned EKR theorem but also of a signed variant of it, first stated by Meyer (1974), and proved separately by Deza--Frankl (1983) and Bollobás--Leader (1997). The proof of our main theorem relies on a novel extension of Katona's beautiful cycle method.

Let $K$ be a simplicial complex, and let $Δ_i^{up}(K)$ be the $i$-th up normalized Laplacian of $K$. Horak and Jost showed that the largest eigenvalue of $Δ_i^{up}(K)$ is at most $i+2$, and characterized the equality case by the orientable or non-orientable circuits. In this paper, by using the balancedness of signed graphs, we show that $Δ_i^{up}(K)$ has an eigenvalue $i+2$ if and only if $K$ has an $(i+1)$-path connected component $K'$ such that the $i$-th signed incidence graph $B_i(K')$ is balanced, which implies Horak and Jost's characterization. We also characterize the multiplicity of $i+2$ as an eigenvalue of $Δ_i^{up}(K)$, which generalizes the corresponding result in graph case. Finally we gave some classes of infinitely many simplicial complexes $K$ with $Δ_i^{up}(K)$ having an eigenvalue $i+2$ by using wedge, Cartesian product and duplication of motifs.

We introduce a model of information dissemination in signed networks. It is a discrete-time process in which uninformed actors incrementally receive information from their informed neighbors or from the outside. Our goal is to minimize the number of confused actors - that is, the number of actors who receive contradictory information. We prove upper bounds for the number of confused actors in signed networks and in equivalence classes of signed networks. In particular, we show that there are signed networks where, for any information placement strategy, almost 60\% of the actors are confused. Furthermore, this is also the case when considering the minimum number of confused actors within an equivalence class of signed graphs.

We prove a generalization of the well-known Bondy-Bopanna-Siegel Lemma to DP-colorings from a class of correspondence assignments which we call derangement assignments. Since DP-colorings from derangement assignments generalize zero-free list colorings of signed graphs, this yields an orientation theorem for zero-free signed list colorings, as well.

Let $G=(V,E)$ be a finite connected simple graph with vertex set $V$ and edge set $E$. A signed Roman dominating function (SRDF) on a graph $G$ is a function $f: V \rightarrow \{-1, 1, 2\}$ that satisfies two conditions: (i) $\sum_{y\in N[x]} f(y)\geq1$ for each $x\in V$, where the set $N[x]$ is the closed neighborhood of $x$ consisting of $x$ and vertices of $V$ that are adjacent to $x$, and (ii) each vertex $x\in V$ where $f(x) = -1$ is adjacent to at least one vertex $y\in V$ where $f(y)=2$. The weight of a SRDF is the sum of its function values over all vertices. The signed Roman domination number of $G$, denoted by $γ_{SR}(G)$, is the minimum weight of a SRDF on $G$. In this paper, we investigate the signed Roman domination number of the Ladder graph $LG_n$, the circular Ladder graph $CL_n$ and their complements.

DP-coloring (also called correspondence coloring) is a generalization of list coloring that was introduced by Dvořák and Postle in 2015. The chromatic polynomial of a graph is an important notion in algebraic combinatorics that was introduced by Birkhoff in 1912; denoted $P(G,m)$, it equals the number of proper $m$-colorings of graph $G$. Counting function analogues of chromatic polynomials have been introduced for list colorings: $P_{\ell}$, list color functions (1990); DP colorings: $P_{DP}$, DP color functions (2019), and $P^*_{DP}$, dual DP color functions (2021). For any graph $G$ and $m \in \mathbb{N}$, $P_{DP}(G, m) \leq P_\ell(G,m) \leq P(G,m) \leq P_{DP}^*(G,m)$. In 2022 (improving on older results) Dong and Zhang showed that for any graph $G$, $P_{\ell}(G,m)=P(G,m)$ whenever $m \geq |E(G)|-1$. Consequently, the list color function of a graph is a polynomial for sufficiently large $m$. One of the most important and longstanding open questions on DP color functions asks: for every graph $G$ is there an $N \in \mathbb{N}$ and a polynomial $p(m)$ such that $P_{DP}(G,m) = p(m)$ whenever $m \geq N$? We show that the answer to the analogue of this question for dual DP color functions is no. Our proof reveals a connection between a dual DP color function and the balanced chromatic polynomial of a signed graph introduced by Zaslavsky in 1982.