Algebraic Constructions of Universal Cycles on Grassmannians G_q(2,n)

Chen Yu Chi, Ming Hsuan Kang and Yu Hsuan Hsieh

arXiv: 2510.13717v1 · PDF · 15 October 2025
Categories: math.CO
Licence: CC BY 4.0 The site shows the text.

Abstract

We study universal cycles on the Grassmannian G_q(2,n), the set of 2-dimensional \mathbb{F}_q-subspaces of \mathbb{F}_q^n. While their existence is known from inductive and Eulerian graph methods, we give a direct algebraic construction when n is odd under the coprimality condition \gcd(n,\,q(q^2-1))=1, using a projective-ratio decomposition and a global product condition. We also present explicit examples where a single cycle is simultaneously universal for both G_q(2,5) and G_q(3,5), realizing Grassmannian duality |G_q(k,n)|=|G_q(n-k,n)| at the level of universal cycles.

Items 2

Theorem

Theorem 4.1 (Universal Cycles for Odd n)

IM9E

Let n be odd and q a prime power such that \gcd(n,\, q(q^2-1))=1. Then the sequence constructed from the cyclic product system

\beta_0 := 1, \qquad \beta_i := c_1c_2\cdots c_i, \qquad W_i := \mathrm{span}_F\{\beta_i,\beta_{i-1}\},

where \{c_1,\dots,c_r\} are chosen as in Section ? and the indices of c_i are taken modulo r, is a universal cycle on G_q(2,n). That is, every 2-dimensional subspace of \mathbb{F}_q^n appears exactly once in the sequence, with periodicity

W_{i+r} = \alpha \cdot W_i

for a generator \alpha \in \Gamma.

Remark

Remark (Even n)

RE8B

The restriction to odd n is natural. In the classical case of 2-subsets of \{1,\dots,n\} (the degenerate case q=1), a universal cycle exists only when n is odd, since an Eulerian circuit in K_n requires each vertex to have even degree. In the finite field setting, the obstruction manifests as subfield planes from \mathbb{F}_{q^2}\subset \mathbb{F}_{q^n} when n is even. These planes force certain projective-ratio classes to repeat, and the construction then yields only an “almost” universal cycle in which each subfield plane appears q+1 times.

Source and licence

The text on this page is from arXiv:2510.13717v1 by Chen Yu Chi, Ming Hsuan Kang and Yu Hsuan Hsieh, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2510/2510.13717.jsonl.