arXiv++ Combinatorics

There are precisely four arrangements of two point-hyperplane anti-flags. We consider the corresponding relations on the set of such anti-flags and show that each of them can be recovered from any other except in one special case. If the field consists of two elements, then one of the relations cannot be used to recover each of the remaining three. This is related to a bijection between anti-flags and exterior points of the hyperbolic polar space which exists in this case.

Let ${\mathbb F}$ be a (not necessarily finite) field. A subspace of the vector space ${\mathbb F}^n$ is called {\it non-degenerate} if it is not contained in a coordinate hyperplane. We show that the Grassmann graph of $k$-dimensional subspaces of ${\mathbb F}^n$, $1<k<n-1$, can be recovered from the subgraph of non-degenerate subspaces if $|{\mathbb F}|>n-k$. In the case when ${\mathbb F}={\mathbb F}_q$ is the field of $q$ elements, this subgraph is known as the graph of non-degenerate linear $[n,k]_q$ codes.

A design is called $t$-pyramidal when it has an automorphism group which fixes $t$ points and acts sharply transitively on the remaining points. We determine all symmetric $(2^k-1,2^{k-1},2^{k-2})$-designs which are $(2^{k-1}-1)$-pyramidal over abelian groups.

It is clear that the full automorphism group of the $(15,8,4)$-design of points and hyperplane complements of ${\rm PG}(3,2)$ is ${\rm GL}(4,2)$. Using methods of point-line geometries, we determine the full automorphism groups of the remaining four symmetric $(15,8,4)$-designs and describe their actions on the sets of points and blocks.

Let $n=2^k-1$ and $m=2^{k-2}$ for a certain $k\ge 3$. Consider the point-line geometry of $2m$-element subsets of an $n$-element set. Maximal singular subspaces of this geometry correspond to binary simplex codes of dimension $k$. For $k\ge 4$ the associated collinearity graph contains maximal cliques different from maximal singular subspaces. We investigate maximal cliques corresponding to symmetric $(n,2m,m)$-designs. The main results concern the case $k=4$ and give a geometric interpretation of the five well-known symmetric $(15,8,4)$-designs.

We consider the induced subgraph of the corresponding Grassmann graph formed by $q$-ary simplex codes of dimension $2$, $q\ge 5$. This graph contains precisely two types of maximal cliques. If $q=5$, then for any two maximal cliques of the same type there is a monomial linear automorphism transferring one of them to the other. Examples concerning the cases $q=7,11$ finish the note.

The induced subgraph of the corresponding Grassmann graph formed by simplex codes is considered. We show that this graph, as the Grassmann graph, contains two types of maximal cliques. For any two cliques of the first type there is a monomial linear automorphism transferring one of them to the other. Cliques of the second type are more complicated and can contain different numbers of elements.

We investigate point-line geometries whose singular subspaces correspond to binary equidistant codes. The main result is a description of automorphisms of these geometries. In some important cases, automorphisms induced by non-monomial linear automorphisms surprisingly arise.

Consider the Grassmann graph of $k$-dimensional subspaces of an $n$-dimensional vector space over the $q$-element field, $1<k<n-1$. Every automorphism of this graph is induced by a semilinear automorphism of the corresponding vector space or a semilinear isomorphism to the dual vector space; the second possibility is realized only for $n=2k$. Let $Γ(n,k)_q$ be the subgraph of the Grassman graph formed by all non-degenerate linear $[n,k]_q$ codes. If $q\ge 3$ or $k\ge 3$, then every isomorphism of $Γ(n,k)_{q}$ to a subgraph of the Grassmann graph can be uniquely extended to an automorphism of the Grassmann graph. For $q=k=2$ there is an isomorphism of $Γ(n,k)_{q}$ to a subgraph of the Grassmann graph which does not have this property. In this paper, we show that such exceptional isomorphism is unique up to an automorphism of the Grassmann graph.

We consider the Grassmann graph of $k$-dimensional subspaces of an $n$-dimensional vector space over the $q$-element field and its subgraph $Γ(n,k)_q$ formed by non-degenerate linear $[n,k]_q$ codes. We assume that $1<k<n-1$. It is well-known that every automorphism of the Grassmann graph is induced by a semilinear automorphism of the corresponding vector space or a semilinear isomorphism to the dual vector space; the second possibility is realized only if $n=2k$. Our results are the following: if $q\ge 3$ or $k\ne 2$, then every isomorphism of $Γ(n,k)_{q}$ to a subgraph of the Grassmann graph can be uniquely extended to an automorphism of the Grassmann graph; in the case when $q=k=2$, there are subgraphs of the Grassmann graph isomorphic to $Γ(n,k)_{q}$ and such that isomorphisms between these subgraphs and $Γ(n,k)_{q}$ cannot be extended to automorphisms of the Grassmann graph.

We consider the graph whose vertex set is a conjugacy class ${\mathcal C}$ consisting of finite-rank self-adjoint operators on a complex Hilbert space $H$. The dimension of $H$ is assumed to be not less than $3$. In the case when operators from ${\mathcal C}$ have two eigenvalues only, we obtain the Grassmann graph formed by $k$-dimensional subspaces of $H$, where $k$ is the smallest dimension of eigenspaces. Classical Chow's theorem describes automorphisms of this graph for $k>1$. Under the assumption that operators from ${\mathcal C}$ have more than two eigenvalues we show that every automorphism of the graph is induced by a unitary or anti-unitary operator up to a permutation of eigenspaces with the same dimensions. In contrast to this result, Chow's theorem states that there are graph automorphisms induced by semilinear automorphisms not preserving orthogonality if ${\mathcal C}$ is formed by operators with precisely two eigenvalues.

Let $H$ be a complex Hilbert space. Consider the ortho-Grassmann graph $Γ^{\perp}_{k}(H)$ whose vertices are $k$-dimensional subspaces of $H$ (projections of rank $k$) and two subspaces are connected by an edge in this graph if they are compatible and adjacent (the corresponding rank-$k$ projections commute and their difference is an operator of rank $2$). Our main result is the following: if $\dim H\ne 2k$, then every automorphism of $Γ^{\perp}_{k}(H)$ is induced by a unitary or anti-unitary operator; if $\dim H=2k\ge 6$, then every automorphism of $Γ^{\perp}_{k}(H)$ is induced by a unitary or anti-unitary operator or it is the composition of such an automorphism and the orthocomplementary map. For the case when $\dim H=2k=4$ the statement fails. To prove this statement we compare geodesics of length two in ortho-Grassmann graphs and characterise compatibility (commutativity) in terms of geodesics in Grassmann and ortho-Grassmann graphs. At the end, we extend this result on generalised ortho-Grassmann graphs associated to conjugacy classes of finite-rank self-adjoint operators.

Two distinct projections of finite rank $m$ are adjacent if their difference is an operator of rank two or, equivalently, the intersection of their images is $(m-1)$-dimensional. We extend this adjacency relation on other conjugacy classes of finite-rank self-adjoint operators which leads to a natural generalization of Grassmann graphs. Let ${\mathcal C}$ be a conjugacy class formed by finite-rank self-adjoint operators with eigenspaces of dimension greater than $1$. Under the assumption that operators from ${\mathcal C}$ have at least three eigenvalues we prove that every automorphism of the corresponding generalized Grassmann graph is the composition of an automorphism induced by a unitary or anti-unitary operator and the automorphism obtained from a permutation of eigenspaces with the same dimensions. The case when the operators from ${\mathcal C}$ have two eigenvalues only is covered by classical Chow's theorem which says that there are graph automorphisms induced by semilinear automorphisms not preserving orthogonality.

We give a complete description of the distance relation on the graph of $4$-ary simplex codes of dimension $2$. This is a connected graph of diameter $3$. For every vertex we determine the sets of all vertices at distance $i\in\{1,2,3\}$ and describe their symmetries.

Let $H$ be a complex Hilbert space and let ${\mathcal C}$ be a conjugacy class of finite rank self-adjoint operators on $H$ with respect to the action of unitary operators. We suppose that ${\mathcal C}$ is formed by operators of rank $k$ and for every $A\in {\mathcal C}$ the dimensions of distinct maximal eigenspaces are distinct. Under the assumption that $\dim H\ge 4k$ we establish that every bijective transformation $f$ of ${\mathcal C}$ preserving the commutativity in both directions is induced by a unitary or anti-unitary operator, i.e. there is a unitary or anti-unitary operator $U$ such that $f(A)=UAU^{*}$ for every $A\in {\mathcal C}$. A simple example shows that the condition concerning the dimensions of maximal eigenspaces cannot be omitted.

We investigate zigzags in triangulations of connected closed $2$-dimensional surfaces and show that there is a one-to-one correspondence between triangulations with homogeneous zigzags and closed $2$-cell embeddings of directed Eulerian graphs in surfaces. A triangulation is called $z$-knotted if it has a single zigzag. We construct a family of tree structured $z$-knotted spherical triangulations whose zigzags are homogeneous.

Using the concept of projective systems for linear codes and elementary linear algebra, we show that projective $[n,k]_q$ codes form a connected subgraph in the Grassmann graph consisting of $k$-dimensional subspaces of an $n$-dimensional vector space over the $q$-element field.

Let $Γ$ be a triangulation of a connected closed $2$-dimensional (not necessarily orientable) surface. Using zigzags (closed left-right paths), for every face of $Γ$ we define the $z$-monodromy which acts on the oriented edges of this face. There are precisely $7$ types of $z$-monodromies. We consider the following two cases: (M1) the $z$-monodromy is identity, (M2) the $z$-monodromy is the consecutive passing of the oriented edges. Our main result is the following: the subgraphs of the dual graph $Γ^{*}$ formed by edges whose $z$-monodromies are of types (M1) and (M2), respectively, both are forests. We apply this statement to the connected sum of $z$-knotted triangulations.

Consider the Grassmann graph formed by $k$-dimensional subspaces of an $n$-dimensional vector space over the field of $q$ elements ($1<k<n-1$) and denote by $Π(n,k)_q$ the restriction of this graph to the set of projective $[n,k]_q$ codes. In the case when $q\ge \binom{n}{2}$, we show that the graph $Π(n,k)_q$ is connected, its diameter is equal to the diameter of the Grassmann graph and the distance between any two vertices coincides with the distance between these vertices in the Grassmann graph. Also, we give some observations concerning the graphs of simplex codes. For example, binary simplex codes of dimension $3$ are precisely maximal singular subspaces of a non-degenerate quadratic form.

A zigzag in a map (a $2$-cell embedding of a connected graph in a connected closed $2$-dimensional surface) is a cyclic sequence of edges satisfying the following conditions: 1) any two consecutive edges lie on the same face and have a common vertex, 2) for any three consecutive edges the first and the third edges are disjoint and the face containing the first and the second edges is distinct from the face which contains the second and the third. A map is $z$-knotted if it contains a single zigzag. Such maps are closely connected to Gauss code problem and have nice homological properties. We show that every triangulation of a connected closed $2$-dimensional surface admits a $z$-knotted shredding.