arXiv++ Combinatorics

Let A be the incidence matrix of passant lines and internal points with respect to a conic in PG(2, q), where q is an odd prime power. In this article, we study both geometric and algebraic properties of the column null space L of A over the finite field of 2 elements. In particular, using methods from both finite geometry and modular presentation theory, we manage to compute the dimension of L, which provides a proof for the conjecture on the dimension of the binary code generated by L.

Let $\A$ be the incidence matrix of lines and points of the classical projective plane $PG(2,q)$ with $q$ odd. With respect to a conic in $PG(2,q)$, the matrix $\A$ is partitioned into 9 submatrices. The rank of each of these submatices over $\Ff_q$, the defining field of $PG(2,q)$, is determined.

Let $\mathcal{L}$ and $\mathcal{L}_0$ be the binary codes generated by the column $\mathbb{F}_2$-null space of the incidence matrix of external points versus passant lines and internal points versus secant lines with respect to a conic in $PG(2, q)$, respectively. We confirm the conjectures on the dimensions of $\mathcal{L}$ and $\mathcal{L}_0$ using methods from both finite geometry and modular representation theory.

Let $\mathcal{O}$ be a conic in the classical projective plane $PG(2,q)$, where $q$ is an odd prime power. With respect to $\mathcal{O}$, the lines of $PG(2,q)$ are classified as passant, tangent, and secant lines, and the points of $PG(2,q)$ are classified as internal, absolute and external points. The incidence matrices between the secant/passant lines and the external/internal points were used in \cite{keith1} to produce several classes of structured low-density parity-check binary codes. In particular, the authors of \cite{keith1} gave conjectured dimension formula for the binary code $\mathcal{L}$ which arises as the $\Ff_2$-null space of the incidence matrix between the secant lines and the external points to $\mathcal{O}$. In this paper, we prove the conjecture on the dimension of $\mathcal{L}$ by using a combination of techniques from finite geometry and modular representation theory.