Abstract:We study cliques in graphs arising from quadratic forms where the vertices are the elements of the module of the quadratic form and two vertices are adjacent if their difference represents some fixed scalar. We determine structural properties and the clique number for quadratic forms over finite rings. We further extend previous results about graphs arising from such forms and forms over fields of characteristic 0 in a unified framework.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the structural properties of cliques in quadratic - form graphs and the determination of the maximum number of cliques. Specifically, the author studied the clique problem in quadratic - form graphs over finite rings, where the vertices are elements of quadratic - form modules, and two vertices are adjacent if and only if their difference represents a certain fixed scalar \(a\). The goal of the paper is to determine the maximum clique size (i.e., the clique number \(\omega(G_{q,a})\)) of these graphs and the number of maximum cliques \(\omega_{\text{max}}(G_{q,a})\).
### Specific statement of the problem
Given a ring \(A\) and an \(A\)-module \(V\), a quadratic form \(q: V\rightarrow A\) satisfies the following conditions:
1. For all \(a\in A\) and \(x\in V\), we have \(q(ax) = a^{2}q(x)\).
2. The mapping \(b_{q}: V\times V\rightarrow A, (x, y)\mapsto q(x + y)-q(x)-q(y)\) is bilinear. In particular, \(b_{q}(x, x)=2q(x)\).
For a quadratic form \(q\) and an element \(a\in A\), its representation graph is defined as:
\[G_{q,a}=(V, E)\]
where the edge set \(E\) is defined as:
\[E:=\left\{\{x, y\}\in\binom{V}{2}\mid q(x - y)=a\right\}\]
The main problem of the paper is to determine the maximum clique size \(\omega(G_{q,a})\) and the number of maximum cliques \(\omega_{\text{max}}(G_{q,a})\) in the graph \(G_{q,a}\).
### Main contributions and results
1. **Clique number calculation**: For different types of rings (such as finite local rings and finite fields), the author calculated the maximum clique number \(\omega(G_{q,a})\) of the representation graph. The specific results depend on whether the quadratic form is isometric to a specific "test form" \(\gamma_{a,n}\) and the characteristic of the ring.
2. **Number of maximum cliques**: Through the orbit - stabilizer calculation method, the author also calculated the number of maximum cliques \(\omega_{\text{max}}(G_{q,a})\).
3. **Local - global principle**: The author also established the local - global principle for the clique number of quadratic - form graphs over rational numbers.
### Formula summary
- The bilinear mapping \(b_{q}\) of the quadratic form \(q\):
\[b_{q}(x, y)=q(x + y)-q(x)-q(y)\]
- The edge set \(E\) of the representation graph \(G_{q,a}\):
\[E:=\left\{\{x, y\}\in\binom{V}{2}\mid q(x - y)=a\right\}\]
- The specific calculation formulas for the clique number \(\omega(G_{q,a})\) and the number of maximum cliques \(\omega_{\text{max}}(G_{q,a})\) depend on the properties of the quadratic form and the characteristic of the ring.
Through these studies, the author not only solved the maximum clique problem of quadratic - form graphs in specific cases, but also provided a theoretical basis for the study of more general quadratic - form graphs.