Indexed metadata

Orthogonal and unitary signings of cube-like graphs

Meirun Chen, Reza Naserasr

Source record

Source: arXiv

Published: Sep 27, 2026

arXiv: 2609.33819

Open original source ↗

Source abstract

A unitary signing of a dd-regular graph is a Hermitian adjacency matrix MM whose nonzero entries lie in {±1,±i}\{\pm1,\pm i\} and satisfies M2=dIM^2=dI. Motivated by the work of Alon and Zheng on orthogonal and unitary signings of cube-like graphs, we introduce the ΘΘ-property for a generating set S⊆Z2nS\subseteq\mathbb Z_2^n: whenever three pairwise disjoint subsets of SS have the same sum, at least two of them have even size. We prove that every zero-free generating set with the ΘΘ-property gives a cube-like graph QSQ_S admitting a unitary signing, and we give an explicit local formula for such a signing. For Sidon sets, the ΘΘ-property is also necessary, yielding a characterization of the Sidon cube-like graphs that admit unitary signings. In this setting there are exactly 2∣S∣−n2^{|S|-n} switching-equivalence classes of unitary signings, and we characterize when a unitary signing can be chosen to be orthogonal. The ΘΘ-property admits a linear-algebraic description in terms of the dependency space D\mathcal D of SS: ∣D1∩D2∣≡∣D1∣∣D2∣(mod2)(D1,D2∈D). |D_1\cap D_2| \equiv |D_1||D_2| \pmod2 \qquad (D_1,D_2\in\mathcal D). Equivalently, the map D⟼(∣D∣2)(mod2) D\longmapsto \binom{|D|}{2}\pmod2 is linear on D\mathcal D. For the corresponding extremal set problem, in which zero is permitted, this formulation yields the sharp bound ∣S∣≤2n+1|S|\leq 2n+1 for generating sets with the ΘΘ-property. We give elementary constructions attaining this bound for every n≥3n\geq3. Under the additional Sidon condition, the same extremal value is attained for every n≥10n\geq10 using binary self-dual codes. The exact Sidon maximum is also determined for 3≤n≤93\leq n\leq9.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.