arXiv++ Combinatorics

This paper considers three separate matrices associated to graphs and (each dimension of) cell complexes. It relates all the coefficients of their respective characteristic polynomials to the geometric and combinatorial enumeration of three kinds of subobjects. The matrices are: the mesh matrix for integral d-cycles of Trent, the mesh matrix for integral d-boundaries, and the Kirchhoff matrix, i.e., the combinatorial Laplacian, for integral (d-1)-chains. Relations to Reidemeister-Franz torsion are elucidated and relations to the foundational work of R. Lyons and G. Kalai.

We prove that there exist bipartite Ramanujan graphs of every degree and every number of vertices. The proof is based on analyzing the expected characteristic polynomial of a union of random perfect matchings, and involves three ingredients: (1) a formula for the expected characteristic polynomial of the sum of a regular graph with a random permutation of another regular graph, (2) a proof that this expected polynomial is real rooted and that the family of polynomials considered in this sum is an interlacing family, and (3) strong bounds on the roots of the expected characteristic polynomial of a union of random perfect matchings, established using the framework of finite free convolutions we recently introduced.

Let $G$ be a connected graph with vertex set $V(G)=\{v_{1},v_{2},...,v_{n}\}$. The distance matrix $D(G)=(d_{ij})_{n\times n}$ is the matrix indexed by the vertices of $G,$ where $d_{ij}$ denotes the distance between the vertices $v_{i}$ and $v_{j}$. Suppose that $λ_{1}(D)\geqλ_{2}(D)\geq\cdots\geqλ_{n}(D)$ are the distance spectrum of $G$. The graph $G$ is said to be determined by its $D$-spectrum if with respect to the distance matrix $D(G)$, any graph having the same spectrum as $G$ is isomorphic to $G$. In this paper, we give the distance characteristic polynomial of some graphs with small diameter, and also prove that these graphs are determined by their $D$-spectra.

Walks in a directed graph can be given a partially ordered structure that extends to possibly unconnected objects, called hikes. Studying the incidence algebra on this poset reveals unsuspected relations between walks and self-avoiding hikes. These relations are derived by considering truncated versions of the characteristic polynomial of the weighted adjacency matrix, resulting in a collection of matrices whose entries enumerate the self-avoiding hikes of length $\ell$ from one vertex to another.

For every finite Coxeter group $Γ$, each positive braids in the corresponding braid group admits a unique decomposition as a finite sequence of elements of $Γ$, the so-called Garside-normal form.The study of the associated adjacency matrix $Adj(Γ)$ allows to count the number of Garside-normal form of a given length.In this paper we prove that the characteristic polynomial of $Adj(B_n)$ divides the one of $Adj(B_{n+1})$. The key point is the use of a Hopf algebra based on signed permutations. A similar result was already known for the type $A$. We observe that this does not hold for type $D$. The other Coxeter types ($I$, $E$, $F$ and $H$) are also studied.

We study three convolutions of polynomials in the context of free probability theory. We prove that these convolutions can be written as the expected characteristic polynomials of sums and products of unitarily invariant random matrices. The symmetric additive and multiplicative convolutions were introduced by Walsh and Szegö in different contexts, and have been studied for a century. The asymmetric additive convolution, and the connection of all of them with random matrices, is new. By developing the analogy with free probability, we prove that these convolutions produce real rooted polynomials and provide strong bounds on the locations of the roots of these polynomials.

We consider the triple $(\mathcal{A},\mathcal{A}',\mathcal{A}^H)$ of hyperplane arrangements and the division of their characteristic polynomials. We show that the freeness of $\mathcal{A}^H$ and the division of $χ(\mathcal{A};t)$ by $χ(\mathcal{A}^H;t)$ confirm the freeness of $\mathcal{A}$. The key ingredient of this "division theorem" on freeness is the fact that, if $χ(\mathcal{A}^H;t)$ divides $χ(\mathcal{A};t)$, then the same holds for the localization at the codimension three flat in $H$. This implies the local-freeness of $\mathcal{A}$ in codimension three along $H$. Based on these results, several applications are obtained, which include a definition of "divisionally free arrangements". It is strictly larger than the set of inductively free arrangements. Also, in the set of divisionally free arrangements, the Terao's conjecture is true.

We introduce a partition of (coweight) lattice points inside the dilated fundamental parallelepiped into those of partially closed simplices. This partition can be considered as a generalization and a lattice points interpretation of the classical formula of Worpitzky. This partition, and the generalized Eulerian polynomial, recently introduced by Lam and Postnikov, can be used to describe the characteristic (quasi)polynomials of Shi and Linial arrangements. As an application, we prove that the characteristic quasi-polynomial of the Shi arrangement turns out to be a polynomial. We also present several results on the location of zeros of characteristic polynomials, related to a conjecture of Postnikov and Stanley. In particular, we verify the "functional equation" of the characteristic polynomial of the Linial arrangement for any root system, and give partial affirmative results on "Riemann hypothesis" for the root systems of type $E_6, E_7, E_8$, and $F_4$.

The set of distinct eigenvalues of a signed digraph $S$ together with their multiplicities is called its spectrum. The energy of a signed digraph $S$ with eigenvalues $z_1,z_2,\cdots,z_n$ is defined as $E(S)=\sum_{j=1}^{n}|\Re z_j|$, where $\Re z_j $ denotes real part of complex number $z_j$. In this paper, we show that the characteristic polynomial of a bipartite signed digraph of order $n$ with each cycle of length $\equiv 0\pmod 4$ negative and each cycle of length $\equiv 2\pmod 4$ positive is of the form \\ $$φ_S(z)=z^n+\sum\limits_{j=1}^{\lfloor{\frac{n}{2}}\rfloor}(-1)^j c_{2j}(S)z^{n-2j},$$\\ where $c_{2j}(S)$ are nonnegative integers. We define a quasi-order relation in this case and show energy is increasing. It is shown that the characteristic polynomial of a bipartite signed digraph of order $n$ with each cycle negative has the form $$φ_S(z)=z^n+\sum\limits_{j=1}^{\lfloor{\frac{n}{2}}\rfloor}c_{2j}(S)z^{n-2j},$$ where $c_{2j}(S)$ are nonnegative integers. We study integral, real, Gaussian signed digraphs and quasi-cospectral digraphs and show for each positive integer $n\ge 4$ there exists a family of $n$ cospectral, non symmetric, strongly connected, integral, real, Gaussian signed digraphs (non cycle balanced) and quasi-cospectral digraphs of order $4^n$. We obtain a new family of pairs of equienergetic strongly connected signed digraphs and answer to open problem $(2)$ posed in Pirzada and Mushtaq, Energy of signed digraphs, Discrete Applied Mathematics 169 (2014) 195-205.

In this paper we consider the characteristic polynomial of not necessarily ranked posets. We do so by allowing the rank to be an arbitrary function from the poset to the nonnegative integers. We will prove two results showing that the characteristic polynomial of a poset has nonnegative integral roots. Our factorization theorems will then be used to show that any interval of the Tamari lattice has a characteristic polynomial which factors in this way. Blass and Sagan's result about LL lattices will also be shown to be a consequence of our factorization theorems. Finally we will use quotient posets to give unified proofs of some classic Möbius function results.

Let $G$ be a simple graph with vertex set $V(G) = \{v_1, v_2,..., v_n\}$. The Randić matrix of $G$, denoted by $R(G)$, is defined as the $n\times n$ matrix whose $(i,j)$-entry is $(d_id_j)^{\frac{-1}{2}}$ if $v_i$ and $v_j$ are adjacent and $0$ for another cases. Let the eigenvalues of the Randić matrix $R(G)$ be $ρ_1\geq ρ_2\geq ...\geq ρ_n$ which are the roots of the Randić characteristic polynomial $\prod_{i=1}^n (ρ-ρ_i)$. The Randić energy $RE$ of $G$ is the sum of absolute values of the eigenvalues of $R(G)$. In this paper we compute the Randić characteristic polynomial and the Randić energy for specific graphs $G$.

Let $G$ be a graph and $A$ the adjacency matrix of $G$. The permanental polynomial of $G$ is defined as $\mathrm{per}(xI-A)$. In this paper some of the results from a numerical study of the permanental polynomials of graphs are presented. We determine the permanental polynomials for all graphs on at most 11 vertices, and count the numbers for which there is at least one other graph with the same permanental polynomial. The data give some indication that the fraction of graphs with a copermanental mate tends to zero as the number of vertices tends to infinity, and show that the permanental polynomial does be better than characteristic polynomial when we use them to characterize graphs.

Conjecturally, almost all graphs are determined by their spectra. This problem has also been studied for variants such as the spectra of the Laplacian and signless Laplacian. Here we consider the problem of determining graphs with Ihara and Bartholdi zeta functions, which are also computable in polynomial time. These zeta functions are geometrically motivated, but can be viewed as certain generalizations of characteristic polynomials. After discussing some graph properties determined by zeta functions, we show that large classes of cospectral graphs can be distinguished with zeta functions and enumerate graphs distinguished by zeta functions on $\le 11$ vertices. This leads us to conjecture that almost all graphs which are not determined by their spectrum are determined by zeta functions. Along the way, we make some observations about the usual types of spectra and disprove a conjecture of Setyadi and Storm about Ihara zeta functions determining degree sequences.

We study the dependence of solutions of equations of the form $a_0 + a_1 z^{\ell_1} + ... + a_m z^{\ell_m} = 0$, on the exponents $\ell_1, ..., \ell_m$. We apply our results to equations that appear in graph theory, the theory of 3-manifolds fibering over the circle, and the theory of free-by-cyclic groups. In particular, we provide descriptions of the spectra of the Alexander polynomial of a fibered 3-manifold, Teichmüller polynomials associated to such a manifold or to a free by cyclic group, and the family of characteristic polynomials of a fixed directed graph with varying edge lengths.

This article is a survey of matroid theory aimed at algebraic geometers. Matroids are combinatorial abstractions of linear subspaces and hyperplane arrangements. Not all matroids come from linear subspaces; those that do are said to be representable. Still, one may apply linear algebraic constructions to non-representable matroids. There are a number of different definitions of matroids, a phenomenon known as cryptomorphism. In this survey, we begin by reviewing the classical definitions of matroids, develop operations in matroid theory, summarize some results in representability, and construct polynomial invariants of matroids. Afterwards, we focus on matroid polytopes, introduced by Gelfand-Goresky-MacPherson-Serganova, which give a cryptomorphic definition of matroids. We explain certain locally closed subsets of the Grassmannian, thin Schubert cells, which are labeled by matroids, and which have applications to representability, moduli problems, and invariants of matroids following Fink-Speyer. We explain how matroids can be thought of as cohomology classes in a particular toric variety, the permutohedral variety, by means of Bergman fans, and apply this description to give an exposition of the proof of log-concavity of the characteristic polynomial of representable matroids due to the author with Huh.

We survey the techniques used in our recent resolution of the Kadison-Singer problem and proof of existence of Ramanujan Graphs of every degree: mixed characteristic polynomials and the method of interlacing families of polynomials. To demonstrate the method of interlacing families of polynomials, we give a simple proof of Bourgain and Tzafriri's restricted invertibility principle in the isotropic case.

Here, we find the characteristics polynomial of normalized Laplacian of a tree. The coefficients of this polynomial are expressed by the higher order general Randić indices for matching, whose values depend on the structure of the tree. We also find the expression of these indices for starlike tree and a double-starlike tree, $H_m(p,q)$. Moreover, we show that two cospectral $H_m(p,q)$ of the same diameter are isomorphic.

Two $k$-uniform hypergraphs are said to be cospectral (E-cospectral), if their adjacency tensors have the same characteristic polynomial (E-characteristic polynomial). A $k$-uniform hypergraph $H$ is said to be determined by its spectrum, if there is no other non-isomorphic $k$-uniform hypergraph cospectral with $H$. In this note, we give a method for constructing E-cospectral hypergraphs, which is similar with Godsil-McKay switching. Some hypergraphs are shown to be determined by their spectra.

In this paper, we study the characteristic polynomials of the line graphs of generalized Bethe trees. We give an infinite family of such graphs sharing the same smallest eigenvalue. Our family generalizes the family of coronas of complete graphs discovered by Cvetković and Stevanović.

We establish a broad generalization of Whitney's broken circuit theorem on the chromatic polynomial of a graph to sums of type $\sum_{A\subseteq S} f(A)$ where $S$ is a finite set and $f$ is a mapping from the power set of $S$ into an abelian group. We give applications to the domination polynomial and the subgraph component polynomial of a graph, the chromatic polynomial of a hypergraph, the characteristic polynomial and Crapo's beta invariant of a matroid, and the principle of inclusion-exclusion. Thus, we discover several known and new results in a concise and unified way. As further applications of our main result, we derive a new generalization of the maximums-minimums identity and of a theorem due to Blass and Sagan on the Möbius function of a finite lattice, which generalizes Rota's crosscut theorem. For the classical Möbius function, both Euler's totient function and its Dirichlet inverse, and the reciprocal of the Riemann zeta function we obtain new expansions involving the greatest common divisor resp. least common multiple. We finally establish an even broader generalization of Whitney's broken circuit theorem in the context of convex geometries (antimatroids).