# Prescribed and simultaneous failures of log-concavity in trees with perfect matchings

Preprint · Heshun Fan

- Archive id: arxiv:2610.18340
- Published: 2026-10-13
- arXiv: https://arxiv.org/abs/2610.18340
- Source URL: https://arxiv.org/abs/2610.18340
- PDF: https://arxiv.org/pdf/2610.18340
- Provenance: arxiv

## 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 reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.