arXiv++ Combinatorics

A central question in arrangement theory is to determine whether the characteristic polynomial $Δ_q$ of the algebraic monodromy acting on the homology group $H_q(F(\mathcal{A}),\mathbb{C})$ of the Milnor fiber of a complex hyperplane arrangement $\mathcal{A}$ is determined by the intersection lattice $L(\mathcal{A})$. Under simple combinatorial conditions, we show that the multiplicities of the factors of $Δ_1$ corresponding to certain eigenvalues of order a power of a prime $p$ are equal to the Aomoto--Betti numbers $β_p(\mathcal{A})$, which in turn are extracted from $L(\mathcal{A})$. When $\mathcal{A}$ defines an arrangement of projective lines with only double and triple points, this leads to a combinatorial formula for the algebraic monodromy. To obtain these results, we relate nets on the underlying matroid of $\mathcal{A}$ to resonance varieties in positive characteristic. Using modular invariants of nets, we find a new realizability obstruction (over $\mathbb{C}$) for matroids, and we estimate the number of essential components in the first complex resonance variety of $\mathcal{A}$. Our approach also reveals a rather unexpected connection of modular resonance with the geometry of ${\rm SL}_2(\mathbb{C})$-representation varieties, which are governed by the Maurer--Cartan equation.

The pseudodeterminant $\textrm{pdet}(M)$ of a square matrix is the last nonzero coefficient in its characteristic polynomial; for a nonsingular matrix, this is just the determinant. If $\partial$ is a symmetric or skew-symmetric matrix then $\textrm{pdet}(\partial\partial^t)=\textrm{pdet}(\partial)^2$. Whenever $\partial$ is the $k^{th}$ boundary map of a self-dual CW-complex $X$, this linear-algebraic identity implies that the torsion-weighted generating function for cellular $k$-trees in $X$ is a perfect square. In the case that $X$ is an \emph{antipodally} self-dual CW-sphere of odd dimension, the pseudodeterminant of its $k$th cellular boundary map can be interpreted directly as a torsion-weighted generating function both for $k$-trees and for $(k-1)$-trees, complementing the analogous result for even-dimensional spheres given by the second author. The argument relies on the topological fact that any self-dual even-dimensional CW-ball can be oriented so that its middle boundary map is skew-symmetric.

Let $G$ be a graph of order $n$ and let $\mathcal{L}(G,λ)=\sum_{k=0}^n (-1)^{k}c_{k}(G)λ^{n-k}$ be the characteristic polynomial of its Laplacian matrix. Motivated by Ilić and Ilić's conjecture [A. Ilić, M. Ilić, Laplacian coefficients of trees with given number of leaves or vertices of degree two, Linear Algebra and its Applications 431(2009)2195-2202.] on all extremal graphs which minimize all the Laplacian coefficients in the set $\mathcal{U}_{n,l}$ of all $n$-vertex unicyclic graphs with the number of leaves $l$, we investigate properties of the minimal elements in the partial set $(\mathcal{U}_{n,l}^g, \preceq)$ of the Laplacian coefficients, where $\mathcal{U}_{n,l}^g$ denote the set of $n$-vertex unicyclic graphs with the number of leaves $l$ and girth $g$. These results are used to disprove their conjecture. Moreover, the graphs with minimum Laplacian-like energy in $\mathcal{U}_{n,l}^g$ are also studied.

We give some properties of skew spectrum of a graph, especially, we answer negatively a problem concerning the skew characteristic polynomial and matching polynomial in [M. Cavers et al., Skew-adjacency matrices of graphs, Linear Algebra Appl. 436 (2012) 4512--4529].

We consider the poset of weighted partitions $Π_n^w$, introduced by Dotsenko and Khoroshkin in their study of a certain pair of dual operads. The maximal intervals of $Π_n^w$ provide a generalization of the lattice $Π_n$ of partitions, which we show possesses many of the well-known properties of $Π_n$. In particular, we prove these intervals are EL-shellable, we show that the Möbius invariant of each maximal interval is given up to sign by the number of rooted trees on on node set $\{1,2,\dots,n\}$ having a fixed number of descents, we find combinatorial bases for homology and cohomology, and we give an explicit sign twisted $\mathfrak{S}_n$-module isomorphism from cohomology to the multilinear component of the free Lie algebra with two compatible brackets. We also show that the characteristic polynomial of $Π_n^w$ has a nice factorization analogous to that of $Π_n$.

Roots of graph polynomials such as the characteristic polynomial, the chromatic polynomial, the matching polynomial, and many others are widely studied. In this paper we examine to what extent the location of these roots reflects the graph theoretic properties of the underlying graph.

The nullity of a graph is the multiplicity of the eigenvalues zero in its spectrum. A signed graph is a graph with a sign attached to each of its edges. In this paper, we obtain the coefficient theorem of the characteristic polynomial of a signed graph, give two formulae on the nullity of signed graphs with cut-points. As applications of the above results, we investigate the nullity of the bicyclic signed graph $Γ(\infty(p,q,l))$, obtain the nullity set of unbalanced bicyclic signed graphs, and thus determine the nullity set of bicyclic signed graphs.

The characteristic polynomials of the adjacency matrix of line graphs of caterpillars and then the characteristic polynomials of their Laplacian or signless Laplacian matrices are characterized, using recursive formulas. Furthermore, the obtained results are applied on the determination of upper and lower bounds on the algebraic connectivity of these graphs.

We use the method of interlacing families of polynomials introduced to prove two theorems known to imply a positive solution to the Kadison--Singer problem. The first is Weaver's conjecture $KS_{2}$ \cite{weaver}, which is known to imply Kadison--Singer via a projection paving conjecture of Akemann and Anderson. The second is a formulation due to Casazza, et al., of Anderson's original paving conjecture(s), for which we are able to compute explicit paving bounds. The proof involves an analysis of the largest roots of a family of polynomials that we call the "mixed characteristic polynomials" of a collection of matrices.

In this paper, we use the framework of mod-$φ$ convergence to prove precise large or moderate deviations for quite general sequences of real valued random variables $(X_{n})_{n \in \mathbb{N}}$, which can be lattice or non-lattice distributed. We establish precise estimates of the fluctuations $P[X_{n} \in t_{n}B]$, instead of the usual estimates for the rate of exponential decay $\log( P[X_{n}\in t_{n}B])$. Our approach provides us with a systematic way to characterise the normality zone, that is the zone in which the Gaussian approximation for the tails is still valid. Besides, the residue function measures the extent to which this approximation fails to hold at the edge of the normality zone. The first sections of the article are devoted to a proof of these abstract results and comparisons with existing results. We then propose new examples covered by this theory and coming from various areas of mathematics: classical probability theory, number theory (statistics of additive arithmetic functions), combinatorics (statistics of random permutations), random matrix theory (characteristic polynomials of random matrices in compact Lie groups), graph theory (number of subgraphs in a random Erdős-Rényi graph), and non-commutative probability theory (asymptotics of random character values of symmetric groups). In particular, we complete our theory of precise deviations by a concrete method of cumulants and dependency graphs, which applies to many examples of sums of "weakly dependent" random variables. The large number as well as the variety of examples hint at a universality class for second order fluctuations.

Let $G$ be a simple $r$-regular graph with $n$ vertices and $m$ vertices. We give the signless Laplacian characteristic polynomials of $xyz$-transformations $G^{xyz}$ of $G$ in terms of $n$, $m$, $r$ and the signless Laplacian spectrum of $G$.

We study a relation between roots of characteristic polynomials and intersection points of line arrangements. Using these results, we obtain a lot of applications for line arrangements. Namely, we give (i) a generalized addition theorem for line arrangements, (ii) a generalization of Faenzi-Vallès' theorem over a field of arbitrary characteristic, (iii) a partial result on the conjecture of Terao of line arrangements, and (iv) a new sufficient condition for freeness over finite fields. Also, a higher dimensional version of main results is considered.

Let $G$ be an unicyclic graph of order $n$ and let $Q_G(x)= det(xI-Q(G))={matrix} \sum_{i=1}^n (-1)^i \varphi_i x^{n-i}{matrix}$ be the characteristic polynomial of the signless Laplacian matrix of a graph $G$. We give some transformations of $G$ which decrease all signless Laplacian coefficients in the set $\mathcal{G}(n,m)$. $\mathcal{G}(n,m)$ denotes all n-vertex unicyclic graphs with matching number $m$. We characterize the graphs which minimize all the signless Laplacian coefficients in the set $\mathcal{G}(n,m)$ with odd (resp. even) girth. Moreover, we find the extremal graphs which have minimal signless Laplacian coefficients in the set $\mathcal{G}(n)$ of all $n$-vertex unicyclic graphs with odd (resp. even) girth.

Let $G$ be a graph of order $n$ and $Q_G(x)= det(xI-Q(G))= \sum_{i=1}^n (-1)^i \varphi_i x^{n-i}$ be the characteristic polynomial of the signless Laplacian matrix of a graph $G$. We give some transformations of $G$ which decrease all signless Laplacian coefficients in the set $\mathcal{B}(n)$ of all $n$-vertex bicyclic graphs. $\mathcal{B}^1(n)$ denotes all n-vertex bicyclic graphs with at least one odd cycle. We show that $B_n^1$ (obtained from $C_4$ by adding one edge between two non-adjacent vertices and adding $n-4$ pendent vertices at the vertex of degree 3) minimizes all the signless Laplacian coefficients in the set $\mathcal{B}^1(n)$. Moreover, we prove that $B_n^2$ (obtained from $K_{2,3}$ by adding $n-5$ pendent vertices at one vertex of degree 3) has minimum signless Laplacian coefficients in the set $\mathcal{B}^2(n)$ of all $n$-vertex bicyclic graphs with two even cycles.

We define a general product of two $n$-dimensional tensors $\mathbb {A}$ and $\mathbb {B}$ with orders $m\ge 2$ and $k\ge 1$, respectively. This product is a generalization of the usual matrix product, and satisfies the associative law. Using this product, many concepts and known results of tensors can be simply expressed and/or proved, and a number of applications of this product will be given. Using this tensor product and some properties on the resultant of a system of homogeneous equations on $n$ variables, we define the similarity and congruence of tensors (which are also the generalizations of the corresponding relations for matrices), and prove that similar tensors have the same characteristic polynomials. We study two special kinds of similarity: permutational similarity and diagonal similarity, and their applications in the study of the spectra of hypergraphs and nonnegative irreducible tensors. We define the direct product of tensors (in matrix case it is also called the Kronecker product), and give its applications in the study of the spectra of two kinds of the products of hypergraphs. We also give applications of this tensor product in the study of nonnegative tensors, including a characterization of primitive tensors, the upper bounds of primitive degrees and the cyclic indices of some nonnegative irreducible tensors.

We give a new determinant expression for the characteristic polynomial of the bond scattering matrix of a quantum graph G. Also, we give a decomposition formula for the characteristic polynomial of the bond scattering matrix of a regular covering of G. Furthermore, we define an L-function of G, and give a determinant expression of it. As a corollary, we express the characteristic polynomial of the bond scattering matrix of a regular covering of G by means of its L-functions. As an application, we introduce three types of quantum graph walks, and treat their relation.

In the first part of this paper, we survey results that are associated with three types of Laplacian matrices:difference, normalized, and signless. We derive eigenvalue and eigenvector formulaes for paths and cycles using circulant matrices and present an alternative proof for finding eigenvalues of the adjacency matrix of paths and cycles using Chebyshev polynomials. Even though each results is separately well known, we unite them, and provide uniform proofs in a simple manner. The main objective of this study is to solve the problem of finding graphs, on which spectral clustering methods and normalized cuts produce different partitions. First, we derive a formula for a minimum normalized cut for graph classes such as paths, cycles, complete graphs, double-trees, cycle cross paths, and some complex graphs like lollipop graph $LP_{n,m}$, roach type graph $R_{n,k}$, and weighted path $P_{n,k}$. Next, we provide characteristic polynomials of the normalized Laplacian matrices ${\mathcal L}(P_{n,k})$ and ${\mathcal L}(R_{n,k})$. Then, we present counter example graphs based on $R_{n,k}$, on which spectral methods and normalized cuts produce different clusters.

Suppose $G$ is a simple graph with $n$ vertices, $m$ edges, and rank $r$. Let $χ_G(t)=a_0t^n-a_1t^{n-1}+\cdots +(-1)^ra_rt^{n-r}$ be the chromatic polynomial of $G$. For $q,k\in \Bbb{Z}$ and $0\le k\le q+r+1$, we obtain a sharp two-side bound for the partial binomial sum of the coefficient sequence, that is, \[ {r+q\choose k}\le \sum_{i=0}^{k}{q\choose k-i}a_{i}\le {m+q\choose k}. \] Indeed, this bound holds for the characteristic polynomial of hyperplane arrangements and matroids, and its weak version can be generalized to the characteristic polynomial of toric arrangements and arithmetic matroids. We also propose a problem on the geometric interpretation of the above bound.

Let $P$ be a locally finite poset with the interval space $\Int(P)$, and $R$ a ring with identity. We shall introduce the Möbius conjugation $μ^\ast$ sending each function $f:P\to R$ to an incidence function $μ^\ast(f):\Int(P)\to R$ such that $μ^\ast(fg)=μ^\ast(f)\astμ^\ast(g)$. Taking $P$ to be the intersection poset of a hyperplane arrangement $\mathcal{A}$, we shall obtain a convolution identity for the number $r(\mathcal{A})$ of regions and the number $b(\mathcal{A})$ of relatively bounded regions, and a reciprocity theorem of the characteristic polynomial $χ(\mathcal{A},t)$, which also leads to a combinatorial interpretation to the values $|χ(\mathcal{A},-q)|$ for large primes $q$. Moreover, all known convolution identities on Tutte polynomials of matroids will be direct consequences after specializing the poset $P$ and functions $f,g$.

(DRAFT VERSION) In this article we present a proof of the famous Kirchoff's Matrix-Tree theorem, which relates the number of spanning trees in a connected graph with the cofactors (and eigenvalues) of its combinatorial Laplacian matrix. This is a 165 year old result in graph theory and the proof is conceptually simple. However, the elegance of this result is it connects many apparently unrelated concepts in linear algebra and graph theory. Our motivation behind this work was to make the proof accessible to anyone with beginner\slash intermediate grasp of linear algebra. Therefore in this paper we present proof of every single argument leading to the final result. For example, we prove the elementary properties of determinants, relationship between the roots of characteristic polynomial (that is, eigenvalues) and the minors, the Cauchy-Binet formula, the Laplace expansion of determinant, etc.