{"id":"arxiv/2608.21992","url":"https://arxiv.org/abs/2608.21992","tags":["math.CO"],"score":0,"title":"Infinitesimal finite forcibility and step kernels","domain":"math.CO","source":"arxiv","authors":["Xichao Shu","Jing Yu","Junchi Zhang"],"reviews":0,"subject":"math.CO","summary":"We characterize infinitesimal finite forcibility for bounded symmetric real kernels. We prove that the graph-density gradients at a kernel span a finite-dimensional space if and only if the kernel is a step kernel. Combined with known finite-forcing results for step kernels, this gives a positive answer to a question of Lovász and Szegedy on whether every infinitesimally finitely forcible kernel is finitely forcible. The proof combines spectral methods with a compression argument based on book graphs.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-22","reactions":{}}