b880128dd96e0f3f.tex
1: \begin{abstract}
2: For a positive integer $d$, a connected graph $\Gamma$ is a symmetrical
3: 2-extension of the $d$-dimensional grid
4: $\Lambda^d$ if there exists a vertex-tran\-sitive group $G$ of 
5: automorphisms
6: of $\Gamma$ and its
7: imprimitivity system $\sigma$ with blocks of order 2
8: such that there exists an isomorphism $\varphi$ of the
9: quotient graph $\Gamma/\sigma$ onto $\Lambda^d$.
10: The tuple $(\Gamma, G, \sigma, \varphi)$ with specified components is 
11: called a realization
12: of the symmetrical 2-extension $\Gamma$ of the grid $\Lambda^{d}$.
13: Two realizations $(\Gamma_1, G_1,$ $\sigma_1, \varphi_1)$ and 
14: $(\Gamma_2, G_2, \sigma_2, \varphi_2)$
15: are called equivalent
16: if there exists an isomorphism of the graph $\Gamma_1$ onto $\Gamma_2$ 
17: which maps $\sigma_1$ onto $\sigma_2$.
18: In \cite{IV3}, V. Trofimov proved that, up to equivalence, there are 
19: only finitely many realizations of
20: symmetrical $2$-extensions of $\Lambda^{d}$
21: for each positive integer $d$. In \cite{dim2partI} and 
22: \cite{dim2partII}, E. Konovalchik and K. Kostousov
23: found all, up to equivalence,
24: realizations of symmetrical 2-extensions of the grid $\Lambda^2$.
25: In this work we found all, up to equivalence, 
26: realizations $(\Gamma, G, \sigma, \varphi)$ of symmetrical 2-extensions
27: of the grid $\Lambda^3$ for which only the trivial automorphism of 
28: $\Gamma$
29: preserves all blocks of $\sigma$ (we prove that there are 5573 such 
30: realizations,
31: and that among corresponding graphs $\Gamma$ there are 5350 pairwise 
32: non-isomorphic).
33: Our work was performed using «Uran» supercomputer of IMM UB RAS.
34: 
35: %\medskip 
36: %\noindent{\bf Keywords:} symmetrical extensions of a graph, $d$-dimensional grid.
37: 
38: \end{abstract}
39: