{"id":"arxiv:2610.18340","kind":"preprint","title":"Prescribed and simultaneous failures of log-concavity in trees with perfect matchings","authors":["Heshun Fan"],"author_count":1,"year":2026,"published":"2026-10-13","venue":null,"cited_by":null,"doi":null,"arxiv_id":"2610.18340","nct_id":null,"source_url":"https://arxiv.org/abs/2610.18340","archive_url":"https://space-kitty.com/papers/arxiv:2610.18340","updated":"2026-10-13","pmid":null,"pmcid":null,"openalex_id":null,"pdf_url":"https://arxiv.org/pdf/2610.18340","abstract":"We construct trees with perfect matchings and independence sequences that fail log-concavity near the independence number $α$. For every integer $k\\geq1$, one family fails at $α-k$ and has a witness of order $O(k^2\\log(k+2))$. For every integer $t\\geq2$, a single tree has simultaneous failures at $α-1,α-3,\\ldots,α-(2t-1)$, with a witness of order $O(t^3)$. All these trees satisfy $α=N/2$, where $N$ is the number of vertices, and contradict Conjecture 4.2 of Ramos and Sun. A sufficient condition uses a fixed tree and the numbers of attached leaves. For fixed $k$ or $t$, explicit bounds give geometric decay of $a_j^2/(a_{j-1}a_{j+1})$ at these indices as the trees grow; $a_j$ counts independent $j$-sets. The proofs count independent sets by empty matching pairs. The Lean proof assistant checks formal proofs of the parameterized results and their quantitative bounds; exact 90- and 180-vertex examples illustrate the constructions.","abstract_license":"CC0-1.0 (arXiv descriptive metadata)","license":null,"is_open_access":false,"retracted":false,"peer_reviewed":false,"categories":["math.CO","cs.LO"],"details":null,"provenance":"arxiv","attribution":"Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.","topics":[],"cited_in_dossiers":[]}