Let $G$ be a finite simple graph on the vertex set $[n]$, and let $\Gamma(G)$ be the Cayley graph of the symmetric group $S_n$ generated by the transpositions corresponding to the edges of $G$. We study the inverse spectral problem for the assignment $G\mapsto \Gamma(G)$ through the group-algebra operator $A_G=\sum_{\{i,j\}\in E(G)}(ij)$ and its regular spectral moments $M_k(G)=\operatorname{tr}(A_G^k)$. The moments admit two all-order forms: a universal support expansion in non-induced subgraph counts of $G$, and a representation-theoretic expansion over the irreducible representations of $S_n$. We compute the first nontrivial moments through order six. In particular, the fourth moment already contains the Coxeter triangle relation and determines the signed local invariant $6N_{K_3}(G)-N_{P_3}(G)$, rather than $N_{P_3}(G)$ alone. Consequently, for triangle-free graphs the spectrum determines the second moment of the degree sequence. We also give a simplified sixth-moment formula for triangle-free graphs, showing that in this class the spectrum determines $5N_{K_{1,3}}(G)+2N_{P_4}(G)+12N_{C_4}(G)$. Further structural consequences include bipartiteness and spectral symmetry of $\Gamma(G)$, a precise connectedness test, and the identification of the standard irreducible component with the shifted graph Laplacian $mI-L_G$.
Let $G$ be a finite abelian group of order $N$, $S \subseteq G \setminus \{0\}$ a symmetric connection set, and $K$ a field with $char(K) \nmid N$. The spectral algebra $\mathscr{A_K}(Cay(G,S)) = K[A]$ generated by the adjacency matrix of the Cayley graph is proved to decompose, via the character-orbit decomposition, a...
Deep Bhattacharjee, P. Mandal, Ushashi Bhattacharya· 0 citations
Let $H=(V,E)$ be a $k$-uniform hypergraph with polynomial $f_H(\bm{x})=\sum_{e\in E}\prod_{v\in e}x_v$. For a finite abelian group $G$ and a subgroup $S$ of $G$, the $k$-partite Cayley hypergraph $K$ has $k$ disjoint vertex parts, each indexed by $G$, and $\{(1,g_1),\ldots,(k,g_k)\}$ is an edge if and only if $g_1+\cdo...
Let $G$ be a connected graph, and let $\lambda_1(G)>\lambda_2(G)$ denote its two largest adjacency eigenvalues. The spectral gap of $G$ is defined as the difference $\lambda_1(G) - \lambda_2(G)$. For integers $r\geq 2$ and $s\geq 0$, the double kite $DK(r,s)$ is formed by taking two vertex-disjoint copies of the comple...
Let $G_n$ be the bipartite complement of the even cycle $C_{2n}$, and let $J_{G_n}$ be its binomial edge ideal. For $n\geq5$, we study the interaction between the combinatorial structure of $G_n$ and the algebraic invariants of $S_{G_n}/J_{G_n}$. Our main combinatorial ingredient is a classification of the subsets of $...
Shahnawaz Ahmad Rather, S. Pirzada, M. Aijaz· 0 citations
The prime graph of a finite group $G$ is the graph $\Gamma(G)$ with vertex set the set of prime divisors $\pi(G)$ of $|G|$ and an edge between vertices $p, q\in\pi(G)$ if and only if there exists an element $g\in G$ with order $o(g) = pq$. Given a finite nonabelian simple group $T$, a group $G$ is $T$-solvable if there...
For a simple graph $G$ with $n$ vertices, write its chromatic polynomial in the rising factorial basis as $$ \chi_G(x)=\sum_{i=0}^{n}(-1)^{n-i}c_i(G)\langle x\rangle_i,$$ where $ \langle x\rangle_i=x(x+1)\cdots(x+i-1).$ The associated $\tau$-polynomial $$ \tau_G(x)=\sum_{i=0}^{n}c_i(G)x^i $$ was defined and systematica...
Ming-Yang Kang, Zhi-Xin Liu, Sophie C. C. Sun et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.