arXiv++ Combinatorics

An $(n,d,λ)$-graph is a $d$ regular graph on $n$ vertices in which the absolute value of any nontrivial eigenvalue is at most $λ$. For any constant $d \geq 3$, $ε>0$ and all sufficiently large $n$ we show that there is a deterministic poly(n) time algorithm that outputs an $(n,d, λ)$-graph (on exactly $n$ vertices) with $λ\leq 2 \sqrt{d-1}+ε$. For any $d=p+2$ with $p \equiv 1 \bmod 4$ prime and all sufficiently large $n$, we describe a strongly explicit construction of an $(n,d, λ)$-graph (on exactly $n$ vertices) with $λ\leq \sqrt {2(d-1)} + \sqrt{d-2} +o(1) (< (1+\sqrt 2) \sqrt {d-1}+o(1))$, with the $o(1)$ term tending to $0$ as $n$ tends to infinity. For every $ε>0$, $d>d_0(ε)$ and $n>n_0(d,ε)$ we present a strongly explicit construction of an $(m,d,λ)$-graph with $λ< (2+ε) \sqrt d$ and $m=n+o(n)$. All constructions are obtained by starting with known ones of Ramanujan or nearly Ramanujan graphs, modifying or packing them in an appropriate way. The spectral analysis relies on the delocalization of eigenvectors of regular graphs in cycle-free neighborhoods.

Persistent homology is constrained to purely topological persistence while multiscale graphs account only for geometric information. This work introduces persistent spectral theory to create a unified low-dimensional multiscale paradigm for revealing topological persistence and extracting geometric shape from high-dimensional datasets. For a point-cloud dataset, a filtration procedure is used to generate a sequence of chain complexes and associated families of simplicial complexes and chains, from which we construct persistent combinatorial Laplacian matrices. We show that a full set of topological persistence can be completely recovered from the harmonic persistent spectra, i.e., the spectra that have zero eigenvalues, of the persistent combinatorial Laplacian matrices. However, non-harmonic spectra of the Laplacian matrices induced by the filtration offer another power tool for data analysis, modeling, and prediction. In this work, non-harmonic persistent spectra are successfully devised to analyze the structure and stability of fullerenes and predict the B-factors of a protein, which cannot be straightforwardly extracted from the current persistent homology. Extensive numerical experiments indicate the tremendous potential of the proposed persistent spectral analysis in data science.

We provide the foundation of the spectral analysis of the Laplacian on the orbital Schreier graphs of the Basilica group, the iterated monodromy group of the quadratic polynomial $z^2-1$. This group is an important example in the class of self-similar amenable but not elementary amenable finite automata groups studied by Grigorchuk, Żuk, \v Sunić, Bartholdi, Virág, Nekrashevych, Kaimanovich, Nagnibeda et al. We prove that the spectrum of the Laplacian has infinitely many gaps and that the support of the KNS Spectral Measure is a Cantor set. Moreover, on a generic blowup, the spectrum coincides with this Cantor set, and is pure point with localized eigenfunctions and eigenvalues located at the endpoints of the gaps.

The purpose of this paper is to highlight the role played by the anti-regular graph within the class of threshold graphs. Using the fact that every threshold graph contains a maximal anti-regular graph, we show that some known results, and new ones, on the spectral properties of threshold graphs can be deduced from (i) the known results on the eigenvalues of anti-regular graphs, (ii) the subgraph structure of threshold graphs, and (iii) eigenvalue interlacing. In particular, we prove a strengthened version of the recently proved fact that no threshold graph contains an eigenvalue in the interval $Ω= [\frac{-1-\sqrt{2}}{2},\frac{-1+\sqrt{2}}{2}]$, except possibly the trivial eigenvalues $-1$ and/or $0$, determine the inertia of a threshold graph, and give partial results on a conjecture regarding the optimality of the non-trivial eigenvalues of an anti-regular graph within the class of threshold graphs.

This paper addresses the challenge of spectral analysis and structural investigation for graphs that are not distance-regular, where computing the spectrum using standard methods based on equitable and orbit partitions can be complex. Our main objective is to determine all eigenvalues of the extended graph $E(2.O_k)$ by leveraging the relationship between its equitable and orbit partitions. While the integral nature of this graph has been previously studied, we introduce a novel approach to demonstrate the utility of this method in finding the complete set of distinct eigenvalues for a class of non-distance-regular graphs. Specifically, we first establish that $E(2.O_k)$ is a vertex-transitive graph with diameter $k$, contrasting with the diameter of $2.O_k$, which is $2k-1$. We also determine the automorphism group of $E(2.O_k)$ and prove that it is an integral graph, meaning all eigenvalues of its adjacency matrix are integers. A significant result is the determination of the multiplicity for all distinct eigenvalues of $E(2.O_k)$. Additionally, we extend our method to the enhanced Johnson graph $EJ(2m,m)$. Although its eigenvalues are known from prior work, the multiplicity of these distinct eigenvalues has not yet been calculated. We use our techniques to fully determine the multiplicity of all distinct eigenvalues for $EJ(2m,m)$.

Given two graphs, a backbone and a finger, a comb product is a new graph obtained by grafting a copy of the finger into each vertex of the backbone. We study the comb graphs in the case when both components are the paths of order $n$ and $k$, respectively, as well as the above comb graphs with an infinite ray attached to some of their vertices. A detailed spectral analysis is carried out in both situations.

Generalizing previous work of Hora (1998) on the asymptotic spectral analysis for the Hamming graph $H(n,q)$ which is the $n^{\mathrm{th}}$ Cartesian power $K_q^{\square n}$ of the complete graph $K_q$ on $q$ vertices, we describe the possible limits of the joint spectral distribution of the pair $(G^{\square n},\overline{G}\vphantom{G}^{\square n})$ of the $n^{\mathrm{th}}$ Cartesian powers of a strongly regular graph $G$ and its complement $\overline{G}$, where we let $n\rightarrow\infty$, and $G$ may vary with $n$. This result is an analogue of the bivariate central limit theorem, and we obtain in this way the bivariate Poisson distributions and the standard bivariate Gaussian distribution, together with the product measures of univariate Poisson and Gaussian distributions. We also report a family of bivariate hypergeometric orthogonal polynomials with respect to the last distributions, which we call the bivariate Charlier-Hermite polynomials, and prove basic formulas for them. This family of orthogonal polynomials seems previously unnoticed, possibly because of its peculiarity.

In graphs, the concept of adjacency is clearly defined: it is a pairwise relationship between vertices. Adjacency in hypergraphs has to integrate hyperedge multi-adicity: the concept of adjacency needs to be defined properly by introducing two new concepts: $k$-adjacency - $k$ vertices are in the same hyperedge - and e-adjacency - vertices of a given hyperedge are e-adjacent. In order to build a new e-adjacency tensor that is interpretable in terms of hypergraph uniformisation, we designed two processes: the first is a hypergraph uniformisation process (HUP) and the second is a polynomial homogeneisation process (PHP). The PHP allows the construction of the e-adjacency tensor while the HUP ensures that the PHP keeps interpretability. This tensor is symmetric and can be fully described by the number of hyperedges; its order is the range of the hypergraph, while extra dimensions allow to capture additional hypergraph structural information including the maximum level of $k$-adjacency of each hyperedge. Some results on spectral analysis are discussed.

These lecture notes provide a comprehensive, self-contained introduction to the analysis of Wishart matrix moments. This study may act as an introduction to some particular aspects of random matrix theory, or as a self-contained exposition of Wishart matrix moments. Random matrix theory plays a central role in statistical physics, computational mathematics and engineering sciences, including data assimilation, signal processing, combinatorial optimization, compressed sensing, econometrics and mathematical finance, among numerous others. The mathematical foundations of the theory of random matrices lies at the intersection of combinatorics, non-commutative algebra, geometry, multivariate functional and spectral analysis, and of course statistics and probability theory. As a result, most of the classical topics in random matrix theory are technical, and mathematically difficult to penetrate for non-experts and regular users and practitioners. The technical aim of these notes is to review and extend some important results in random matrix theory in the specific context of real random Wishart matrices. This special class of Gaussian-type sample covariance matrix plays an important role in multivariate analysis and in statistical theory. We derive non-asymptotic formulae for the full matrix moments of real valued Wishart random matrices. As a corollary, we derive and extend a number of spectral and trace-type results for the case of non-isotropic Wishart random matrices. We also derive the full matrix moment analogues of some classic spectral and trace-type moment results. For example, we derive semi-circle and Marchencko-Pastur-type laws in the non-isotropic and full matrix cases. Laplace matrix transforms and matrix moment estimates are also studied, along with new spectral and trace concentration-type inequalities.

The spectral radius of the adjacency matrix can impact both algorithmic efficiency as well as the stability of solutions to an underlying dynamical process. Although much research has considered the distribution of the spectral radius for undirected random graph models, as symmetric adjacency matrices are amenable to spectral analysis, very little work has focused on directed graphs. Consequently, we provide novel concentration results for the spectral radius of the directed Chung-Lu random graph model. We emphasize that our concentration results are applicable both asymptotically and to networks of finite size. Subsequently, we extend our concentration results to a generalization of the directed Chung-Lu model that allows for community structure.

The Moore bound $M(k,g)$ is a lower bound on the order of $k$-regular graphs of girth $g$ (denoted $(k,g)$-graphs). The excess $e$ of a $(k,g)$-graph of order $n$ is the difference $n-M(k,g).$ A $(k,g)$-cage is a $(k,g)$-graph with the fewest possible number of vertices, among all $(k,g)$-graphs. A graph of diameter $d$ is said to be antipodal if, for any vertices $u, v, w$ such that $d(u,v)=d$ and $d(u, w)=d$, it follows that $d(v, w)=d$ or $v=w.$ In [4] Biggs and Ito proved that any $(k,g)$-cage of even girth $g=2d\geq6$ and excess $e\leq k-2$ is a bipartite graph of diameter $d+1.$ In this paper we treat the $(k,g)$-cages of even girth and excess $e\leq k-2.$ Based on a spectral analysis we give a relation between the eigenvalues of the adjacency matrix $A$ and the distance matrix $A_{d+1}$ of such cages. Moreover, following the methodology used in [4] and [13], we prove the non-existence of the antipodal $(k,g)$-cages of excess $e$, where $k\geq e+2\geq4$ and $g=2d\geq14.$

In this note we present some abstract ideas how one can construct spaces from building blocks according to a graph. The coupling is expressed via boundary pairs, and can be applied to very different spaces such as discrete graphs, quantum graphs or graph-like manifolds. We show a spectral analysis of graph-like spaces, and consider as a special case vector-valued quantum graphs. Moreover, we provide a prototype of a convergence theorem for shrinking graph-like spaces with Dirichlet boundary conditions. (Dedicated to Pavel Exner's 70th birthday)

This paper considers a linear quasi-cyclic product code of two given quasi-cyclic codes of relatively prime lengths over finite fields. We give the spectral analysis of a quasi-cyclic product code in terms of the spectral analysis of the row- and the column-code. Moreover, we provide a new lower bound on the minimum Hamming distance of a given quasi-cyclic code and present a new algebraic decoding algorithm.More specifically, we prove an explicit (unreduced) basis of an l\_a l\_b-quasi-cyclic product code in terms of the generator matrix in reduced Gr{ö}bner basis with respect to the position-over-term order (RGB/POT) form of the l\_a-quasi-cyclic row- and the l\_b-quasi-cyclic column-code, respectively. This generalizes the work of Burton and Weldon for the generator polynomial of a cyclic product code (where l\_a =l\_b=1). Furthermore, we derive the generator matrix in Pre-RGB/POT form of an l\_a l\_b-quasi-cyclic product code for two special cases: (i) for l\_a=2 and l\_b=1, and (ii) if the row-code is a 1-level l\_a-quasi-cyclic code (for arbitrary l\_a) and l\_b=1.For arbitrary l\_a and l\_b, the Pre-RGB/POT form of the generator matrix of an l\_a l\_b-quasi-cyclic product code is conjectured.The spectral analysis is applied to the generator matrix of the product of an l-quasi-cyclic and a cyclic code, and we propose a new lower bound on the minimum Hamming distance of a given l-quasi-cyclic code. In addition, we develop an efficient syndrome-based decoding algorithm for l-phased burst errors with guaranteed decoding radius.

We compute the eigenvalues and eigenspaces of random-to-random Markov chains. We use a family of maps which reveal a remarkable recursive structure of the eigenspaces, yielding an explicit and effective construction of all eigenbases starting from bases of the kernels.

Motivated in part by combinatorial applications to certain sum-product phenomena, we introduce unimodular graphs over finite fields and, more generally, over finite valuation rings. We compute the spectrum of the unimodular graphs, by using Eisenstein sums associated to unramified extensions of such rings. We derive an estimate for the number of solutions to the restricted dot product equation $a\cdot b=r$ over a finite valuation ring. Furthermore, our spectral analysis leads to the exact value of the isoperimetric constant for half of the unimodular graphs. We also compute the spectrum of Platonic graphs over finite valuation rings, and products of such rings - e.g., $\mathbb{Z}/(N)$. In particular, we deduce an improved lower bound for the isoperimetric constant of the Platonic graph over $\mathbb{Z}/(N)$.

We determine the structure of conformal powers of the Dirac operator on Einstein {\it Spin}-manifolds in terms of the product formula for shifted Dirac operators. The result is based on the techniques of higher variations for the Dirac operator on Einstein manifolds and spectral analysis of the Dirac operator on the associated Poincaré-Einstein metric, and relies on combinatorial recurrence identities related to the dual Hahn polynomials.

In this paper we investigate the connectedness and the isomorphism problems for zig-zag products of two graphs. A sufficient condition for the zig-zag product of two graphs to be connected is provided, reducing to the study of the connectedness property of a new graph which depends only on the second factor of the graph product. We show that, when the second factor is a cycle graph, the study of the isomorphism problem for the zig-zag product is equivalent to the study of the same problem for the associated pseudo-replacement graph. The latter is defined in a natural way, by a construction generalizing the classical replacement product, and its degree is smaller than the degree of the zig-zag product graph. Two particular classes of products are studied in detail: the zig-zag product of a complete graph with a cycle graph, and the zig-zag product of a $4$-regular graph with the cycle graph of length $4$. Furthermore, an example coming from the theory of Schreier graphs associated with the action of self-similar groups is also considered: the graph products are completely determined and their spectral analysis is developed.

Several cycle lexicographical orders are found to describe the relative likelihood of elements of the random walks on the symmetric group generated by the conjugacy classes of transpositions, 3-cycles, and n-cycles. Spectral analysis finds sufficient time for the orders to hold. This partially answers a conjecture that the n-cycles are the least likely elements of the transposition walk on the symmetric group. A likelihood order contributes to understanding the total variation distance and separation distance for a random walk.

We construct different classes of lumpings for a family of Markov chain products which reflect the structure of a given finite poset. We use essentially combinatorial methods. We prove that, for such a product, every lumping can be obtained from the action of a suitable subgroup of the generalized wreath product of symmetric groups, acting on the underlying poset block structure, if and only if the poset defining the Markov process is totally ordered, and one takes the uniform Markov operator in each factor state space. Finally we show that, when the state space is a homogeneous space associated with a Gelfand pair, the spectral analysis of the corresponding lumped Markov chain is completely determined by the decomposition of the group action into irreducible submodules.

We formulate several open questions related to enumerative combinatorics, which arise in the spectral analysis of Hill operators with trigonometric polynomial potentials.