arXiv++ Combinatorics

The power graph $P(G)$ of a group $G$ is a simple graph with the vertex set $G$ such that two distinct vertices $u,v \in G$ are adjacent in $P(G)$ if and only if $u^m = v$ or $v^m = u$, for some $m \in \mathbb{N}$. The purpose of this paper is to introduce the notion of a power graph for gyrogroups. Using this, we investigate the combinatorial properties of a certain gyrogroup, say $G(n)$, of order $2^n$ for $n \geq 3$. In particular, we determine the Hamiltonicity and planarity of the power graph of $G(n)$. Consequently, we calculate distant properties, resolving polynomial, Hosoya and reciprocal Hosoya polynomials, characteristic polynomials, and the spectral radius of the power graph of $G(n)$.

Motivated by studies of oscillator networks, we study the spectrum of the join of several normal matrices with constant row sums. We apply our results to compute the characteristic polynomial of the join of several regular graphs. We then use this theorem to study several problems in spectral graph theory. In particular, we provide some simple constructions of Ramanujan graphs and give new proofs for some theorems in the classical book of Cvetković, Rowlinson, and Slobodan.

I conjecture three identities for the determinant of adjacency matrices of graphene triangles and trapezia with Bloch (and more general) boundary conditions. For triangles, the parametric determinant is equal to the characteristic polynomial of the symmetric Pascal matrix. For trapezia it is equal to the determinant of a sub-matrix. Finally, the determinant of the tight binding matrix equals its permanent. The conjectures are supported by analytic evaluations and Mathematica, for moderate sizes. They establish connections with counting problems of partitions, lozenge tilings of hexagons, dense loops on a cylinder.

Let $\mathcal{S}$ be the set of all positive-definite, symmetrizable integer matrices with non-zero upper and lower diagonal and $\mathcal{T}$ to be the set of all positive-definite real symmetric matrices with nonzero upper diagonal such that all non-zero entries are square-roots of some positive integers and the matrices satisfy a certain cycle condition. In this paper, for any $n \times n$ matrix $A \in \mathcal{S} \cup \mathcal{T}$ and any $k \in \mathbb{N}$ we find a general lower bound for $Tr_{2^k}(A)$, i.e, the sum of $2^k$-th power of eigenvalues of $A$, which depends on $n$ as well as some other variables. In particular, we obtain the best possible lower bound for $Tr_2(A) $ that is $6n - 5$. As a strong outcome of this result we show that the smallest limit point of $\overline{Tr_2(A)} = \frac{Tr_2(A)}{n}$ is $6$. This is a solution of an analogue of ``Schur - Siegel - Smyth trace problem" for characteristic polynomials of matrices in $\mathcal{S} \cup \mathcal{T}$. We also obtain a lower bound of smallest limit point of $\overline{Tr_{2^k}(A)}$ for any positive integer $k > 1$ and for the same set of matrices. Furthermore, we exhibit that the famous results of Smyth on density of absolute trace measure and absolute trace-2 measure of totally positive integers are also true for the set of symmetric integer connected positive definite matrices.

We introduce the class of rank-metric geometric lattices and initiate the study of their structural properties. Rank-metric lattices can be seen as the $q$-analogues of higher-weight Dowling lattices, defined by Dowling himself in 1971. We fully characterize the supersolvable rank-metric lattices and compute their characteristic polynomials. We then concentrate on the smallest rank-metric lattice whose characteristic polynomial we cannot compute, and provide a formula for it under a polynomiality assumption on its Whitney numbers of the first kind. The proof relies on computational results and on the theory of vector rank-metric codes, which we review in this paper from the perspective of rank-metric lattices. More precisely, we introduce the notion of lattice-rank weights of a rank-metric code and investigate their properties as combinatorial invariants and as code distinguishers for inequivalent codes.

Graham and Lovász conjectured in 1978 that the sequence of normalized coefficients of the distance characteristic polynomial of a tree of order $n$ is unimodal with the maximum value occurring at $\lfloor\frac{n}{2}\rfloor$. In this paper we investigate this problem for block graphs. In particular, we prove the unimodality part and we establish the peak for several extremal cases of uniform block graphs with small diameter.

We show that the maximum cardinality of an equiangular line system in $\mathbb R^{18}$ is at most $59$. Our proof includes a novel application of the Jacobi identity for complementary subgraphs. In particular, we show that there does not exist a graph whose adjacency matrix has characteristic polynomial $(x-22)(x-2)^{42} (x+6)^{15} (x+8)^2$.

This paper considers a hyperplane arrangement constructed with a subset of a set of all simple paths in a graph. A connection of the constructed arrangement to the maximum matching problem is established. Moreover, the problem of finding the characteristic polynomial is reduced to the case of a connected initial graph. The formula of the characteristic polynomial was also found for the case, when the initial graph is a tree.

Spectrum graph theory not only facilitate comprehensively reflect the topological structure and dynamic characteristics of networks, but also offer significant and noteworthy applications in theoretical chemistry, network science and other fields. Let $L_{n}^{8,4}$ represent a linear octagonal-quadrilateral network, consisting of $n$ eight-member ring and $n$ four-member ring. The Möbius graph $Q_{n}(8,4)$ is constructed by reverse identifying the opposite edges, whereas cylinder graph $Q'_{n}(8,4)$ identifies the opposite edges by order. In this paper, the explicit formulas of Kirchhoff indices and complexity of $Q_{n}(8,4)$ and $Q'_{n}(8,4)$ are demonstrated by Laplacian characteristic polynomials according to decomposition theorem and Vieta's theorem. In surprise, the Kirchhoff index of $Q_{n}(8,4)$($Q'_{n}(8,4)$) is approximately one-third half of its Wiener index as $n\to\infty$.

We use techniques from finite free probability to analyze matrix processes related to eigenvalues, singular values, and generalized singular values of random matrices. The models we use are quite basic and the analysis consists entirely of expected characteristic polynomials. A number of our results match known results in random matrix theory, however our main result (regarding generalized singular values) seems to be more general than any of the standard random matrix processes (Hermite/Laguerre/Jacobi) in the field. To test this, we perform a series of simulations of this new process that, on the one hand, confirms that this process can exhibit behavior not seen in the standard random matrix processes, but on the other hand provides evidence that the true behavior is captured quite well by our techniques. This, coupled with the fact that we are able to compute the same statistics for this new model that we are for the standard models, suggests that further investigation could be both interesting and fruitful.

We study various spectral properties of the Seidel matrix $S$ of a connected chain graph. We prove that $-1$ is always an eigenvalue of $S$ and all other eigenvalues of $S$ can have multiplicity at most two. We obtain the multiplicity of the Seidel eigenvalue $-1$, minimum number of distinct eigenvalues, eigenvalue bounds, characteristic polynomial, lower and upper bounds of Seidel energy of a chain graph. It is also shown that the energy bounds obtained here work better than the bounds conjectured by Haemers. We also obtain the minimal Seidel energy for some special chain graphs of order $n$. We also give a number of open problems.

There is a convolution product on 3-variable partial flag functions of a locally finite poset that produces a generalized Möbius function. Under the product this generalized Möbius function is a one sided inverse of the zeta function and satisfies many generalizations of classical results. In particular we prove analogues of Phillip Hall's Theorem on the Möbius function as an alternating sum of chain counts, Weisner's theorem, and Rota's Crosscut Theorem. A key ingredient to these results is that this function is an overlapping product of classical Möbius functions. Using this generalized Möbius function we define analogues of the characteristic polynomial and Möbius polynomials for ranked lattices. We compute these polynomials for certain families of matroids and prove that this generalized Möbius polynomial has -1 as root if the matroid is modular. Using results from Ardila and Sanchez we prove that this generalized characteristic polynomial is a matroid valuation.

An integral quadratic form q is usually identified with a bilinear form b such that its Gram matrix with respect to the canonical basis is upper triangular. Two integral quadratic forms are called strongly (resp. weakly) Gram congruent if their corresponding upper triangular bilinear forms (resp. their symmetrizations) are equivalent. If q is unitary, such upper triangular bilinear form is unimodular, and one considers the associated Coxeter transformation and its characteristic polynomial, the so-called Coxeter polynomial of q with this identification. Two strongly Gram congruent quadratic unit forms are weakly Gram congruent and have the same Coxeter polynomial. Here we show that the converse of this statement holds for the connected non-negative case of Dynkin type A_r and arbitrary corank, and use this characterization to complete a combinatorial classification of such quadratic forms started in [Fundamenta Informaticae 184(1):49-82, 2021] and [Fundamenta Informaticae 185(3):221-246, 2022].

In this paper, we investigate the relation between a $q$-matroid and its associated matroid called the projectivization matroid. The latter arises by projectivizing the groundspace of the $q$-matroid and considering the projective space as the groundset of the associated matroid on which is defined a rank function compatible with that of the $q$-matroid. We show that the projectivization map is a functor from categories of $q$-matroids to categories of matroids, which allows to prove new results about maps of $q$-matroids. We furthermore show the characteristic polynomial of a $q$-matroid is equal to that of the projectivization matroid. We use this relation to establish a recursive formula for the characteristic polynomial of a $q$-matroid in terms of the characteristic polynomial of its minors. Finally we use the projectivization matroid to prove a $q$-analogue of the critical theorem in terms of $\mathbb{F}_{q^m}$-linear rank metric codes and $q$-matroids.

We find a simple product formula for the characteristic polynomial of the permutations with a fixed descent set under the weak order. As a corollary we obtain a simple product formula for the characteristic polynomial of alternating permutations. We generalize these results to Coxeter groups. We also find a formula for the generating function for the characteristic polynomials of classical Coxeter groups, which is then related to affine Coxeter groups.

Let $A_n$ be the sum of $d$ permutation matrices of size $n\times n$, each drawn uniformly at random and independently. We prove that the normalized characteristic polynomial $\frac{1}{\sqrt{d}}\det(I_n - z A_n/\sqrt{d})$ converges when $n\to \infty$ towards a random analytic function on the unit disk. As an application, we obtain an elementary proof of the spectral gap of random regular digraphs. Our results are valid both in the regime where $d$ is fixed and for $d$ slowly growing with $n$.

In this paper, we consider the condition when the characteristic polynomials of the Seidel matrix of the graphs are decomposed into products of linear polynomials over $\mathbb{F}_3$. We also show the equality over $\mathbb{F}_3$ between the characteristic polynomial of the Seidel matrix of a graph and the characteristic polynomial of the adjacency matrix of that graph.

We investigate the spectral properties of rooted trees with the intention of improving the currently existing results that deal with this matter. The concept of an assigned rational function is recursively defined for each vertex of a rooted tree. Afterwards, two mathematical formulas are given which show how the characteristic polynomials of the adjacency and Laplacian matrix can be represented as products of the aforementioned rational functions. In order to demonstrate their general use case scenario, the obtained formulas are subsequently implemented on balanced trees, with a special focus on the Bethe trees. In the end, some of the previously derived results are used in order to construct a tree merging procedure which preserves the spectra of all of the starting trees.

A hyperplane arrangement in $\mathbb{R}^n$ is a finite collection of affine hyperplanes. Counting regions of hyperplane arrangements is an active research direction in enumerative combinatorics. In this paper, we consider the arrangement $\mathcal{A}_n^{(m)}$ in $\mathbb{R}^n$ given by $\{x_i=0 \mid i \in [n]\} \cup \{x_i=a^kx_j \mid k \in [-m,m], 1\leq i<j \leq n\}$ for some fixed $a>1$. It turns out that this family of arrangements is closely related to the well-studied extended Catalan arrangement of type $A$. We prove that the number of regions of $\mathcal{A}_n^{(m)}$ is a certain generalization of Catalan numbers called two parameter Fuss-Catalan numbers. We then exhibit a bijection between these regions and certain decorated Dyck paths. We also compute the characteristic polynomial and give a combinatorial interpretation for its coefficients. Most of our results also generalize to sub-arrangements of $\mathcal{A}_n^{(m)}$ by relating them to deformations of the braid arrangement.

In this work, we present algebraic results concerning the combined matrices $\mathcal{C}(A)$, where the entries of $A$ belong to a number field $K$ and $A$ is a non-singular matrix. In other words, $A$ is a $n\times n$ matrix belonging to the General Linear Group over $K$, denoted by $\mathrm{GL}_n(K)$. We also analyze the case in which matrix $A$ belongs to algebraic subgroups of $\mathrm{GL}_n(K)$, such as the unimodular group, where $A^2$ is a $n\times n$ matrix belonging to the Special Linear Group, denoted by $\mathrm{SL}_n(K)$, triangular groups, diagonal groups, among others. In particular, we thouroughly examine the cases $n=2$ and $n=3$ for symmetric and non-symmetric matrices, providing explicit diagonalization of $\mathcal{C}(A)$, which includes characteristic polynomials with their eigenvalues and eigenfactors.