arXiv++ Combinatorics

We prove that the closure of the real roots of all-terminal reliability polynomials is exactly $[-1,0] \cup \{1\}$, resolving a conjecture of Brown and McMullin and refining the corresponding density result for multigraphs due to Brown and Colbourn. The crux of the proof is demonstrating that real reliability roots of edge-substitution graphs $G[H]$, where $G$ ranges over connected multigraphs and $H$ ranges over complete graphs missing an edge, are dense.

For a graph $H$ and an integer $k\ge 1$, the \emph{Token Sliding reconfiguration graph} $\mathsf{TS}_k(H)$ and the \emph{Token Jumping reconfiguration graph} $\mathsf{TJ}_k(H)$ have as vertices the $k$-cliques of $H$, with two vertices adjacent when one clique is obtained from the other by replacing one vertex with an adjacent non-member, and respectively by an arbitrary non-member. For a target graph $G$, we study the feasibility sets $\mathcal{K}^{\mathsf{TS}}(G)$ and $\mathcal{K}^{\mathsf{TJ}}(G)$, consisting of all integers $k$ for which $G$ is isomorphic to $\mathsf{TS}_k(H)$ and $\mathsf{TJ}_k(H)$, respectively, for some graph $H$. We determine the exact feasibility sets for complete graphs, paths, cycles, complete bipartite graphs, book graphs, friendship graphs, and their complements, and give complete classifications for all Johnson graphs.

We classify triangles that can be tiled only into a square number of congruent triangles, settling Erdős Problem 633.

Let $D$ be an digraph of order $n$ with adjacency matrix $A(D)$ and outdegree matrix $Δ^+=Δ^+(D)$. Then the Laplacian and signless Laplacian matrices of $D$ are respectively defined as $L(D)=Δ^+-A(D)$ and $Q(D)=Δ^++A(D)$. In this paper, we compute singular values and an exact formula for the trace norm of Laplacian matrices of the directed path $\overrightarrow{P_n}$, the directed cycle $\overrightarrow{C_n}$ and all orientations of a star. We show that for a bipartite digraph $D$, the matrices $L(D)$ and $Q(D)$ have same singular values and use this to compute the singular values and trace norm of signless Laplacian matrices. We study the problem of determination of digraphs by their singular values and prove the directed path $\overrightarrow{P_n}$, the directed cycle $\overrightarrow{C_n}$ and oriented star $\overrightarrow{S}_n(n-1,0)$ are determined by their Laplacian and signless Laplacian singular values but are not determined by their adjacency singular values.

We initiate the study of magnitude theory of real hyperplane arrangements. Magnitude is a cardinality-like invariant of metric spaces or enriched categories measuring the effective size. Its categorification, the magnitude homology, is a more powerful invariant. For a real hyperplane arrangement, or more generally, an oriented matroid, the tope graph encapsulates considerable amount of information. Since tope graphs are equipped with the shortest path metric, we feed them to the magnitude and magnitude homology machinery to derive new invariants of real hyperplane arrangements. We prove some structural results of the magnitude of arrangements, including reciprocity, palindromic numerator and denominator. For magnitude homology of arrangements, we give combinatorial descriptions in small length and prove that tope graphs are diagonal if and only if the arrangement is Boolean. We present a face decomposition of magnitude homology, using which we obtain a combinatorial formula of diagonal magnitude Betti numbers. Many open problems are posted for future study. In particular, we conjecture that magnitude and magnitude homology of arrangements are determined by the intersection lattice.

We establish a connection between linear complementary dual (LCD) codes and caps in projective space. Using this framework and the structure theory of maximal caps, we derive nonexistence theorems for LCD codes with minimum distance at least $4$, providing computation-free proofs that were previously obtained only through exhaustive search. As an application, we completely determine the optimal minimum distances for codimensions $7$ and $8$ for the first time.

In this paper, we study the nonexistence of solutions to semilinear elliptic equations with a positive potential on metric graphs. In particular, the Laplacian under consideration is of a special type, related to both the vertices and edges of metric graphs. We construct a modified distance function, introduce appropriate test functions, and establish the nonexistence of global solutions under suitable volume growth conditions imposed on the potential. More precisely, the nonnegative solutions or sign-changing solutions to the equations are the trivial zero solutions.

We study the maximum length of $q$-ary codes as a function of alphabet size, code size, and Singleton defect. For an $(n, M, d)_q$ code with dimension $κ= \log_q M \ge 2$ and Singleton defect $s = n - \lceilκ\rceil + 1 - d$, we establish a \emph{maximal-arc-type bound}. For $M = q^k$, we call codes with $n = (s+1)(q+1) + k - 2$ \emph{length-maximal}, and show such codes are necessarily symbol-uniform, have pairwise distances confined to $\{d\} \cup \{n-k+3, \ldots, n\}$, and satisfy the divisibility condition $(s+2) \mid q(q+1)$. An equivalent form yields an improved Singleton-type inequality extending a result of Guerrini, Meneghetti, and Sala for binary systematic codes. When $s \ge 2q$, the bound tightens to $n \le s(q+1)+k-1$; more finely, when $αq \le s < (α+1)q$ for integer $α\ge 2$, it tightens to $n \le (s+2-α)(q+1)+α+k-3$, improving on the main bound by $(α-1)q$. We identify several conditions under which nonlinear codes satisfy the Griesmer bound, including: $d \le q^2$; $s \le q-1$; $s \ge βq$ with $d \le βq^2$; and a parametric family of binary conditions. We also show that near-length-maximal $A^1$MDS codes of length $k+2q-1$ cannot exist for $k \ge 5$ when $q=2$, nor for $k \ge 7$ when $q=3$. For codes of non-integer dimension $κ\in (k, k+1)$, an analogous bound holds but is never attained. This forces the corresponding Singleton-type inequality one unit tighter than the integer-dimension case. For rational non-integer $κ$, our bounds specialise to a length bound for additive codes of fractional dimension, complementing recent geometric results on additive codes. Throughout, the results parallel the theory of maximal arcs. Whether length-maximal nonlinear codes can exist for parameter ranges within which no linear length-maximal codes exist is the principal open problem raised by this work.

We study the domination number $γ(Q_n^3)$ of the three-dimensional $n \times n \times n$ queen graph. The main result is a stratified theorem computing, for each position type -- corner, edge, face, or interior -- the number of inner-core vertices dominated by a queen, and showing in particular that interior placements dominate strictly more core cells than boundary placements. This yields a symmetry-reduction principle via the octahedral group and complements the standard counting lower bound and layered upper bound, giving $γ(Q_n^3) = Θ(n^2)$. We also certify exact values for $n \leq 6$ via integer linear programming and independent verification.

This study examines the properties of an r-circulant matrix whose entries are defined by the generalized k-Pell-Tribonacci sequence {P_k,n}. Explicit expressions are derived for the Frobenius (Euclidean) norm and the entrywise \ell_1-norm, together with closed-form formulas for the eigenvalues and the determinant of the matrix. Furthermore, upper and lower bounds for the spectral norm are established, yielding results that generalize previously reported ones corresponding to particular sequences while also providing sharper bounds for the considered norms.

We study the adjacency spectrum of the toroidal three-dimensional queen graph $G_n$ on $(\mathbb{Z}_n)^3$. Since $G_n$ is a Cayley graph on an abelian group, its adjacency matrix is diagonalized by Fourier characters. For each frequency $a\in(\mathbb{Z}_n)^3$, the corresponding eigenvalue is $λ(a)=nμ(a)-13$, where $μ(a)$ counts the queen directions orthogonal to $a$ modulo $n$. In the generic odd case, meaning $n$ odd with $3\nmid n$, the possible values of $μ(a)$ are exactly $0,1,2,3,4,$ and $13$, and each multiplicity is given by an explicit polynomial in $n$. The proof combines a geometric classification of frequency points by orthogonality type with two global counting identities.