Linear recurrences for non-log-concave independence polynomials of trees
C\'esar Bautista-Ramos, Carlos Guill\'en-Galv\'an, Paulino G\'omez-Salgado

TL;DR
This paper uncovers a structural pattern in certain trees' independence polynomials, derives linear recurrences, and explores the distribution of their zeros, revealing complex log-concavity-breaking behaviors.
Contribution
It introduces a novel structural pattern and linear recurrences for independence polynomials of trees, advancing understanding of their log-concavity properties.
Findings
Zeros of polynomials lie on a specific circle in the complex plane.
Constructs infinite families of trees with multiple consecutive log-concavity breaks.
Suggests the possibility of arbitrarily many consecutive breaks in log-concavity.
Abstract
We identify a structural pattern in the construction of known infinite families of trees whose independence polynomials are not log-concave. Using this pattern and properties of polynomial ring ideals, we derive linear recurrences for these polynomials. As a consequence, we prove that the set of non-isolated limit points of their zeros lies on the circle in the complex plane. Building on these recurrences, we also exhibit infinite families of trees whose independence polynomials break log-concavity at one, two, and three consecutive indices, as well as finite families that break log-concavity at four and five consecutive indices. Our approach suggests that arbitrarily many consecutive breaks may be achievable, offering further insight into a question posed by Galvin [D. Galvin, Trees with non log-concave independent set sequences, arXiv:2502.10654v1, 2025].
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsCommutative Algebra and Its Applications · Polynomial and algebraic computation · Advanced Combinatorial Mathematics
