Search arXivSearch

arXiv · 2512.01760

The chromatic number of finite projective spaces

Abstract

The chromatic number of the finite projective space $\mathrm{PG}(n-1,q)$, denoted $χ_q(n)$, is the minimum number of colors needed to color its points so that no line is monochromatic. We prove subadditivity of $χ_q(n)$ with respect to $n$, and then establish the following stronger recursive bound: \[ χ_q(n)\le χ_q(d)+χ_q(n+1-d)-1 \] for all $1 \leq d < n$. We use it to prove new upper bounds on $χ_q(n)$. For $q = 2$, using this recursion we prove that \[ χ_2(n) \le \lfloor 2n/3 \rfloor + 1 \] for all $n \ge 2$, and we show that this bound is tight for all $n \le 7$. In particular, our result recovers all previously known cases for $n \le 6$ and resolves the first open case $n = 7$. It also disproves a conjecture of Haddad that $χ_2(n) = n - 1$ for all $n \geq 4$, in a strong sense. On the lower-bound side, using a connection with multicolor Ramsey numbers for triangles, we note that \[ χ_2(n) \ge (1 - o(1))\,\frac{n}{\log n}.\] We also consider $χ_q(t;n)$, the minimum number of colors needed to color the points of $\mathrm{PG}(n-1,q)$ with no monochromatic $(t - 1)$-dimensional subspace, and establish an equivalence between $χ_q(t;n)$ and the multicolor vector-space Ramsey numbers $R_q(t;k)$. Using this equivalence together with new upper bounds on $χ_q(t;n)$, we improve, for every fixed $t$ and $q$, the best known lower bounds on $R_q(t;k)$ from $Ω_{q,t}(\log k)$ to $Ω(k)$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Anurag Bishnoi, Wouter Cames van Batenburg, Ananthakrishnan Ravi. 2026-05-24. The chromatic number of finite projective spaces. https://arxiv.org/abs/2512.01760

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Rooted Spider Embeddings and the Erd\H os-Sós Conjecture

Under a local density condition, we prove that every $k$-edge spider embeds at any prescribed center of degree at least $k$, unless all legs are even and the host graph has one of two specified structures. These structures contain complete bipartite subgraphs with prescribed neighborhoods. The proof uses path rerouting and three exchange lemmas that describe equality in neighborhood estimates. As a consequence, we recover the Erd\H os-Sós bound for all spiders.

math.CO

Generalized Goulden-Yong duals and signed minimal factorizations

In this paper, we give two combinatorial ways to study signed exceptional sequences. First, we show the equivalence between one-way reflections and relatively projective representations. Secondly, we construct generalized Goulden-Yong duals using reverse Garside element actions and folded chord diagrams. We then give two applications of the generalized Goulden-Yong duals: constructing generalized Prüfer codes and counting signed factorizations using the matrix-tree theorem.

math.CO

Explicit expressions for iterates of power series

We present several formulas for both the discrete and fractional iterates of an invertible power series $f$, using a new unifying approach based on umbral calculus. Known formulas are extended, and their proofs simplified, while new expressions are introduced. In particular, by employing $q$-calculus identities, we eliminate the requirement for $f'(0)$ to equal $1$ and the resulting general expressions for the iterative logarithm are obtained as well.

math.CO