arXiv++ Combinatorics

We modify a construction of Bradač \cite{Bradac26} using a vertex ordering to give, for every prime power $q$, an explicit $K_5$ free graph with more than $q^7$ vertices and independence number below $600q^4$. This shows $$r(5,t)=Ω(t^{7/4}).$$ Additionally, pruning a graph defined by the Coulter and Matthews polynomial $X^{14}$ \cite{CM}, we give a deterministic polynomial time construction proving $$r(5,t)=Ω\bigl(t^{20/11-\varepsilon}\bigr)$$ for every fixed $\varepsilon>0$. These results improve the constructive lower bound $Ω(t^{5/3})$ of Kostochka, Pudlák and Rödl \cite{KPR}.

For every real $t>0$, we prove that every $2$-connected $t$-tough graph contains a cycle of length at least $\ell$ whenever $n \leq \ell(1 + 1/t)^{\lfloor \ell/2\rfloor - 1}$. This establishes the logarithmic bound conjectured by Broersma, van den Heuvel, Jung, and Veldman.

We prove that every $n$-vertex $15$-tough graph contains a cycle of length $Ω(n^{1/20})$.

We study lifts of the level-one Hecke action on quasimodular forms through the partition q-bracket. We prove two obstruction theorems: no exact lift on the genuine shifted symmetric algebra $\mathbb{Q}[Q_2,Q_3,\ldots]$ is multiplicative, and no exact lift satisfies a strict $Q_2$-tower condition. We classify fixed-weight exact lifts by kernel actions and kernel-valued Hecke cocycles, construct transported scalar lifts under Hecke stability of the q-bracket image, and derive kernel-transport and spectral-divisibility consequences from the injectivity of Zagier's lowering operator $B=\frac12(D-\partial^2)$ on the genuine homogeneous subspace. Exact rational rank computations show q-bracket surjectivity in weights at most $16$, yielding explicit Hecke lifts and kernel data in those weights.