Classification of the total and regular graphs of three-point sets (Q6174457)

Let \(\mathbb{F}\) be a field, \(n\) a positive integer, and \(A\) a subset of \(\mathbb{F}^n\). The \textit{total graph} \(T_A(\mathbb{F}^n)\) of \(A\) is the graph whose vertex set is \(\mathbb{F}^n\), and two distinct elements \(x, y\in \mathbb{F}^n\) are connected by an edge when \((x+y)/2\in A\). The \textit{regular graph} \(\Gamma_A(\mathbb{F}^n)\) of \(A\) is, on the other hand, the graph with vetex set \(\mathbb{F}^n\setminus A\), and two distinct elements \(x, y\in \mathbb{F}^n\setminus A\) are connected by an edge when \((x+y)/2\in A\). These notions, introduced in [\textit{A. M. Maksaev} and \textit{V. V. Promyslov}, J. Math. Sci., New York 269, No. 4, 523--543 (2023; Zbl 1509.05093); translation from Fundam. Prikl. Mat. 23, No. 4, 113--142 (2021)], generalize that of regular graph \(\Gamma_n(\mathbb{F})\) of the ring of \(n\times n\) matrices over \(\mathbb{F}\), as given by \textit{D. F. Anderson} and \textit{A. Badawi} [J. Algebra 320, No. 7, 2706--2719 (2008; Zbl 1158.13001)]. In the present paper, the author classifies total and regular graphs of \(3\)-element sets over fields of characteristic zero (up to isomorphism) and studies their structures.