arXiv++ Combinatorics

For integers q at least 3 and r at least 1, consider the directed Cayley graph on the cyclic group of order qr whose allowed steps are the integers from 1 through r. A Hamilton cycle H is called a q-layer balanced Hamilton starter if, for every step from 1 through r and every residue class modulo q, H contains exactly one arc of that step whose tail belongs to the given residue class. The r translates of H by successive multiples of q then form a Hamilton decomposition of the digraph. A q-layer balanced Hamilton starter is called chain-compatible if one arc can be selected from each Hamilton cycle in this decomposition so that the selected arcs form a simple directed path. In both constructions, the compatible deletion chain is the arithmetic step-2 path beginning at 0 and ending at 2r. For q equal to 4, a chain-compatible starter is obtained explicitly whenever r is congruent to 1 modulo 4 and r is at least 9, while for q equal to 3 one exists for all sufficiently large r congruent to 5 modulo 6. The proofs are constructive: the four-layer case uses an ABAB step word, while in the three-layer case a directed rotational terrace is lifted to a 3-layer balanced directed 1-factor and a fixed four-arc trade joins its two cycles. Deleting the unique prescribed-path arc from each translated Hamilton cycle gives r Hamilton paths; together with the prescribed path, these form an optimal decomposition of the arc set into r+1 directed paths in both cases.

For a finite graph, its energy is the sum of the absolute values of its adjacency eigenvalues. Let p and q be distinct odd primes with q at least 5, and let r be at least 1 and s be nonnegative. We determine the maximum energy among all integral circulant graphs whose order is p to the power 2r times q to the power 2s plus 1. The unique energy-maximising divisor set is the checkerboard set consisting of all divisors p raised to the power i times q raised to the power j, where i ranges from zero to 2r, j ranges from zero to 2s plus 1, and i plus j is even, and we obtain an explicit closed formula for the corresponding maximum energy. In particular, for q at least 5, when r and s are both equal to 1, our theorem establishes the conjectured maximality of Roldan's checkerboard divisor set and recovers his closed-form energy formula. The main ingredient is a semidefinite parity theorem for weighted prime-power Ramanujan transforms, proved by a parity-independent congruence reduction and a block Schur recurrence. Centring the divisor matrix then yields a sharp sign-matrix inequality from semidefinite bounds for a Kronecker-product operator. Analysing equality identifies the checkerboard pattern and proves uniqueness.