---
title: 'Unitary Cayley Graphs: Structure, Spectra & Revival'
url: https://www.emergentmind.com/topics/unitary-cayley-graphs
type: topic
---

# Unitary Cayley Graphs: Structure, Spectra & Revival

Searching arXiv for recent and foundational papers on unitary Cayley graphs to ground the article in published work.
Unitary Cayley graphs are Cayley graphs defined from additive structures and unit groups. For a finite unital associative ring \(R\), the unitary Cayley graph \(G_R=\mathrm{Cay}(R,R^\times)\) has vertex set \(R\), and two vertices \(a,b\in R\) are adjacent if and only if \(a-b\in R^\times\). In the cyclic case \(R=\mathbb Z_n\), this gives the graph \(X_n=\mathrm{Cay}(\mathbb Z_n,\mathbb U_n)\), where adjacency is equivalent to \(\gcd(a-b,n)=1\). Because these graphs are naturally connected to number theory, finite algebra, representation theory, and graph theory, they have remained an active research topic; recent work ranges from arithmetic and spectral formulas to complete ring-theoretic classifications of perfectness, well-coveredness, and quantum transport phenomena [2409.01922, 1412.3054].

## 1. Core definitions and standard models

For a finite ring with identity, the unitary Cayley graph is the Cayley graph of the additive group with respect to the set of units. In the ring-theoretic notation of recent papers, this is written either as \(G_R\) or \(G(R)\), with
\[
V(G_R)=R,\qquad a\sim b \iff a-b\in R^\times.
\]
For \(R=M_n(F)\), this specializes to the graph \(Cay(M_n(F),GL_n(F))\), so two matrices \(A,B\) are adjacent if and only if \(A-B\) is invertible [2409.01922, 1904.11868].

In the classical cyclic case,
\[
X_n=\mathrm{Cay}(\mathbb Z_n,\mathbb U_n),
\]
the graph is \(\varphi(n)\)-regular. When \(n\) is prime, \(X_n\) is a complete graph; when \(n\) is a power of a prime, \(X_n\) is a complete \(p\)-partite graph. The adjacency matrix is circulant, Hermitian, symmetric, and integral, and the graph is connected [2410.03310].

A significant commutative generalization appears for Dedekind domain quotients. If \(R\) is a Dedekind domain and \(I\) is a nonzero ideal of finite index, then the unitary Cayley graph of \(R/I\), denoted \(G_{R/I}\), is studied as a generalized totient graph. This extends the classical Euler totient Cayley graphs \(G_{\mathbb Z/(n)}\) and provides a framework in which clique counts, chromatic parameters, girth, and component diameters can be handled uniformly [1412.3054].

## 2. Ring-theoretic decompositions and graph structure

A recurring theme is that the graph structure is controlled by the algebraic decomposition of the underlying ring. For finite rings, the 2024 perfectness classification reduces the problem to semisimple rings via the radical and then uses the Artin–Wedderburn theorem:
\[
R^{ss}=\prod_{i=1}^s R_i \times \prod_{i=1}^r M_{d_i}(F_i),
\]
where the \(R_i\) are finite fields and the \(M_{d_i}(F_i)\) are matrix rings with \(d_i\ge 2\). The reduction relies on the fact that wreath products and direct products preserve perfectness in the required way, allowing the classification to be expressed purely in terms of the semisimplification [2409.01922].

For finite commutative rings, decomposition into local factors likewise governs the graph. Recent work on Grover walks states that if
\[
R\cong R_1\times\cdots\times R_s
\]
with each \(R_i\) local, then for \(u=(u_1,\dots,u_s)\) and \(v=(v_1,\dots,v_s)\),
\[
u\sim v \iff u_i-v_i\in R_i^\times \text{ for all } i,
\]
and consequently \(G_R\) is isomorphic to the tensor product \(G_{R_1}\otimes\cdots\otimes G_{R_s}\) [2502.10217].

For \(X_n\), the structural reduction is especially explicit. The neighborhood of a vertex depends only on its residue modulo \(\operatorname{rad}(n)\), the product of the distinct primes dividing \(n\), and one has
\[
X_n \cong B\!\left(X_{\operatorname{rad}(n)},\frac{n}{\operatorname{rad}(n)}\right),
\]
where \(B(G,r)\) is the blow-up of \(G\) of order \(r\). When \(n\) is square-free,
\[
X_n \cong X_{p_1}\otimes\cdots\otimes X_{p_m},
\]
and each \(X_{p_i}\) is a complete graph on \(p_i\) vertices [1203.2473].

Specific noncommutative families also admit precise structural descriptions. For the upper triangular matrix ring \(T_n(\mathbb F)\), two matrices are adjacent exactly when their diagonal entries differ in every coordinate. If \(|\mathbb F|=2\), the graph has \(2^{n-1}\) connected components, each isomorphic to \(K_{m,m}\) with \(m=2^{\frac{n(n-1)}{2}}\). If \(|\mathbb F|>2\), the graph is connected and isomorphic to the semistrong product of \(K_m\) and the antipodal graph of the Hamming graph \(A(H(n,p^k))\), where \(m=p^{k\binom n2}\) and \(|\mathbb F|=p^k\) [2403.01303].

## 3. Spectral, arithmetic, and enumerative theory

The spectrum of \(X_n\) is classical and rigid: the eigenvalues of its adjacency matrix are the Ramanujan sums,
\[
\lambda_i=c_n(i),\qquad i=0,1,\dots,n-1.
\]
This yields several consequences collected in the adjacency-algebra study: the adjacency matrix is nonsingular if and only if \(n\) is square-free, the number of nonzero eigenvalues is \(\gamma(n)\), the square-free part of \(n\), the nullity is \(n-\gamma(n)\), and the adjacency algebra of \(X_n\) is a coherent algebra. The same work shows that \(X_n\) is distance regular if and only if \(n\) is a prime power or \(n=2p\) with \(p\) an odd prime, and strongly regular if and only if \(n\) is a prime power [1707.02728].

The walk structure of \(X_n\) has an explicit arithmetic form. For square-free \(n\), the number of \(k\)-walks between vertices factors across prime divisors, and for general \(n\),
\[
w(X_n,k,i,j)=\left(\frac{n}{\operatorname{rad}(n)}\right)^{k-1}
w\!\left(X_{\operatorname{rad}(n)},k,\ i\bmod \operatorname{rad}(n),\ j\bmod \operatorname{rad}(n)\right).
\]
The same paper proves that the number of ordered \(k\)-tuples of units of \(\mathbb Z_n\) whose sum is congruent to \(r\bmod n\) is exactly the number of walks of length \(k\) from \(0\) to \(r\) in \(X_n\), giving a direct correspondence between walk enumeration and additive number theory [1203.2473].

For generalized totient graphs \(G_{R/I}\), clique enumeration is governed by generalized Schemmel totient functions. The number of cliques of order \(m\) is
\[
\prod_{k=1}^m \frac{S_{k-1}(R/I)}{k},
\]
and in the special case \(G_{\mathbb Z/(n)}\) this becomes
\[
\prod_{k=1}^m \frac{S_{k-1}(n)}{k}.
\]
The same source proves that \(G_{R/I}\) is bipartite if and only if \(Q(I)=2\), where \(Q(I)\) is the smallest prime ideal norm dividing \(I\), and that
\[
\omega(G_{R/I})=\chi(G_{R/I})=Q(I).
\]
That paper also corrects an erroneous claim about clique domination numbers in the earlier literature and provides a counterexample to a second claim about strong domination numbers [1412.3054].

Spectral generalizations now extend beyond the full unit group. For a finite commutative ring \(R\) and a subgroup \(U\le R^\times\) with \(-1\in U\), a \(U\)-unitary Cayley graph is defined by a symmetric \(U\)-stable generating set. Its spectrum is described by a super-Fourier transform of the superclass characteristic function, each eigenvalue has multiplicity equal to the size of the corresponding superclass, and once an indexing is fixed, the spectrum determines the graph. In special cases, the supercharacter sums specialize to Ramanujan sums, Gauss sums, and Heilbronn sums [2508.10348].

Energy-theoretic variants are also available. For any abelian group \(G\) and symmetric subset \(S\), the Cayley graph \(X(G,S)\) and the Cayley sum graph \(X^+(G,S)\) are equienergetic. Applied to finite commutative rings, this yields families \(\{G_R,G_R^+\}\) and, in certain cases, triples \(\{G_R,G_R^+,\overline{G_R}\}\) that are integral, equienergetic, and non-isospectral [2007.01300].

## 4. Perfectness, covering properties, and regularity phenomena

The most complete recent classification concerns perfectness. Let
\[
R^{ss}=\prod_{i=1}^s R_i \times \prod_{i=1}^r M_{d_i}(F_i),
\]
with \(R_i\) finite fields and \(M_{d_i}(F_i)\) matrix rings. Then \(G_R\) is perfect if and only if one of the following holds: \(|R_1|=2\), in which case \(G_R\) is bipartite; \(s\le 2\) and \(r=0\), so the semisimplification is a product of at most two finite fields; or \(R^{ss}=M_2(\mathbb F_2)\). Every other case is not perfect. The proof uses the Strong Perfect Graph Theorem together with explicit induced odd cycles, and the paper states that this settles the question raised by Sophie Spirkl [2409.01922].

For matrix rings, the same classification is sharply restrictive: \(G_{M_d(F)}\) is perfect if and only if \(d=2\) and \(F=\mathbb F_2\). In all other cases, either \(d\ge 3\) or \(F\ne\mathbb F_2\), and induced \(5\)-cycles show imperfection [2409.01922].

Well-coveredness exhibits a different but comparably rigid pattern. For a finite field \(F\), the unitary Cayley graph of \(M_n(F)\) is well-covered if and only if \(n\le 2\), and its independence number is
\[
\alpha\!\left(G(M_n(F))\right)=|F|^{n^2-n}.
\]
For a general finite ring \(R\), \(G(R)\) is well-covered if and only if \(R/J(R)\) is isomorphic to one of: a finite field; a product of two finite fields; the matrix ring \(M_2(F)\) for some finite field \(F\); or \(\mathbb Z_k\) for some \(k\in\mathbb N\) [2311.15255].

Strong regularity for matrix algebras is completely classified. The unitary Cayley graph \(Cay(M_n(F),GL_n(F))\) is strongly regular if and only if \(n=2\). If \(|F|=q\), then the \(n=2\) case has parameters
\[
(q^4,\ q^4-q^3-q^2+q,\ q^4-2q^3-q^2+3q,\ q^4-2q^3+q).
\]
For \(n>2\), strong regularity fails because the number of common neighbors of non-adjacent vertices depends on the rank of the matrix difference \(A-B\) [1904.11868].

## 5. Generalizations and related families

The modern \(U\)-unitary theory broadens the classical construction from \(R^\times\) to arbitrary subgroups \(U\subseteq R^\times\). In the commutative case, the generating set must satisfy \(US=S\); in the noncommutative case, the condition is \(USU=S\). This framework unifies Paley graphs, unitary Cayley graphs, \(p\)-unitary graphs, involutory graphs, cubelike graphs, and gcd-graphs. In the noncommutative extension, the relevant orbits are double cosets \(U\backslash R/U\), and for \(M_n(F)\) with \(U=GL_n(F)\), the double cosets are classified by matrix rank, so the associated unitary Cayley graphs have exactly \(n+1\) distinct eigenvalues [2508.10348, 2603.21239].

That same noncommutative theory gives ring-theoretic criteria for connectedness and primeness. For \(R=M_n(F)\) with \(n>1\), every nonempty \(GL_n(F)\)-unitary Cayley graph is connected. The paper further proves that no gcd-graph over \(M_n(F)\) with \(n\ge 2\) admits perfect state transfer; the same negative result holds for \(SL_n(F)\)-unitary Cayley graphs and for \(M_n(R)\) when \(R\) is a local commutative finite Frobenius ring [2603.21239].

Several closely related graph families are studied in parallel. The unitary addition Cayley graph \(\mathcal U(R)\) joins distinct \(x,y\in R\) when \(x+y\) is a unit. For a finite commutative ring of odd cardinality decomposed as a product of local rings \(R_1\times\cdots\times R_m\) with maximal ideals \(M_i\),
\[
\omega(\mathcal U(R))=\chi(\mathcal U(R))
= m+\prod_{i=1}^m \frac{|R_i|-|M_i|}{2}.
\]
For \(\mathbb Z_n\) with odd \(n\) and \(m\) distinct odd prime factors,
\[
\omega(\mathcal U(\mathbb Z_n))=\chi(\mathcal U(\mathbb Z_n))
= m+\frac{\varphi(n)}{2^m},
\]
while if \(n\) is even, \(\mathcal U(\mathbb Z_n)\) is bipartite with clique number and chromatic number equal to \(2\) [2407.10364].

Another extension is the generalized unit and unitary Cayley graph \(\Gamma(R,G,S)\), where adjacency is defined by the existence of \(s\in S\) such that \(x+sy\in G\). In this framework, the unitary Cayley graph \(\mathrm{Cay}(R,U(R))\) is projective if and only if \(R\cong \mathbb Z_5\) or \(R\cong \mathbb Z_3\times\mathbb Z_3\). The same source proves that for an Artinian ring \(R\), finite nonorientable genus forces \(R\) to be finite, and for a fixed positive integer \(k\), only finitely many finite rings produce graphs of nonorientable genus \(k\) [2002.00821].

A semiring analogue dispenses with subtraction. For a semiring \(S\), the unitary Cayley graph \(\Gamma(S)\) declares \(x\) and \(y\) adjacent when there exists \(u\in S^*\) such that \(x+u=y\) or \(y+u=x\). For matrix semirings \(M_k(S)\), the cited work gives bounds for diameter, clique number, independence number, and girth, and proves in particular that \(\operatorname{girth}(\Gamma(M_k(S)))\le 4\) for \(k\ge 2\) [2311.08018].

## 6. Quantum walks, state transfer, and fractional revival

Quantum dynamics on unitary Cayley graphs has become a substantial subfield. For Grover walks on \(X_n\), periodicity occurs if and only if
\[
n=2^\alpha 3^\beta
\]
for non-negative integers \(\alpha,\beta\) with \(\alpha+\beta\ge 1\). Within this class, perfect state transfer occurs only for the four graphs \(K_2\), \(C_4\), \(C_6\), and \(\mathrm{UC}(12)\) [2405.01020].

For unitary Cayley graphs over finite commutative rings, the Grover-walk classification is ring-theoretic. If
\[
R=R_1\times\cdots\times R_s
\]
with local factors \(R_i\) and maximal ideals \(M_i\), then \(G_R\) is periodic if and only if either all residue fields \(R_i/M_i\cong \mathbb Z_2\), or \(R_1/M_1\cong \mathbb Z_3\) and \(R_i/M_i\cong \mathbb Z_2\) for \(i\ge 2\). Perfect state transfer occurs if and only if
\[
R\cong \mathbb Z_2,\ \mathbb Z_4,\ G(2),\ \mathbb Z_6,\ \mathbb Z_{12},\ \text{or }\mathbb Z_3\times G(2)
\]
[2502.10217].

For continuous-time dynamics generated by the adjacency matrix, the literature has evolved rapidly. A 2024 paper states that quantum fractional revival in unitary Cayley graphs exists only when the number of vertices is even and gives explicit examples at \(n=2,4,6\) with revival times \(\pi/2,\pi/2,2\pi/3\), respectively [2410.03310]. A later classification sharpens this: \(X_n\) admits fractional revival and pretty good fractional revival if and only if \(n=2\) or \(n=2p\) with \(p\) prime, and for this family fractional revival and pretty good fractional revival coincide [2508.18068].

The 2026 refinement gives a closed-form description for the case \(n=2p\), with \(p\) an odd prime. The minimum revival time is
\[
t^*=\frac{2\pi}{p},
\]
and the revival amplitudes between antipodal vertices are
\[
\alpha=\cos\!\left(\frac{2\pi}{p}\right),\qquad
\beta=-i\sin\!\left(\frac{2\pi}{p}\right).
\]
The same paper proves that for regular graphs the Laplacian and adjacency Hamiltonians differ only by a global phase factor, that strongly cospectral pairs in unitary Cayley graphs are exactly antipodal pairs when \(n\) is even, and that for \(n=2p\) the entanglement entropy at revival depends only on \(|\alpha|\) and \(|\beta|\) [2605.13645].

Taken together, these developments show that unitary Cayley graphs form a rare class in which additive algebra, unit theory, product decompositions, exact spectral formulas, and quantum transport criteria can all be expressed in explicit arithmetic terms. Recent classifications of perfectness and revival phenomena indicate that the sharpest structural behavior occurs only in highly constrained semisimple and cyclic configurations, especially products of a very small number of fields and the exceptional matrix ring \(M_2(\mathbb F_2)\) [2409.01922].

Source: https://www.emergentmind.com/topics/unitary-cayley-graphs