English

Perfecting the Line Graph

Combinatorics 2026-04-20 v3

Abstract

We study the doubled edge-stage lift \HL2(G)=L(GK2), \HL'_2(G)=L(G\otimes K_2), the line graph of the canonical bipartite double cover of a graph GG. The natural involution (u,v)(v,u)(u,v)\leftrightarrow(v,u) has quotient isomorphic to L(G)L(G), and induces a sector decomposition \Spec(\HL2(G))=\Spec(L(G))\Spec(A(G)), \Spec(\HL'_2(G))=\Spec(L(G))\cup\Spec(\mathcal A(G)), where A(G)\mathcal A(G) is a canonical signed refinement of the line graph. Thus the construction retains substantial edge-space information through its quotient and antisymmetric sector. For every input graph, \HL2(G)\HL'_2(G) is perfect, claw-free, and box-perfect. In the regular case we give an explicit spectral formula, together with quantitative control of the second eigenvalue and spectral gap for non-bipartite input. Explicit families, including the complete-graph lifts and the Paley lifts, illustrate the theory; in particular, the Paley lifts furnish an explicit family of regular perfect graphs with controlled adjacency spectrum and spectral gap. The construction may be viewed both intrinsically, via ordered-edge adjacency by one-coordinate agreement, and extrinsically, as the line graph of the canonical double cover. The first viewpoint emphasizes the edge-stage nature of the lift, while the second supplies the structural proofs used here.

Keywords

Cite

@article{arxiv.2507.23231,
  title  = {Perfecting the Line Graph},
  author = {Hartosh Singh Bal},
  journal= {arXiv preprint arXiv:2507.23231},
  year   = {2026}
}
R2 v1 2026-07-01T04:27:12.313Z