Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2604.19854 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- We determine the sharp even-size threshold for the fixed-size spectral extremal problem forbidding $H(4,3)$, the graph obtained by identifying one vertex of a $4$-cycle with one vertex of a triangle. Specifically, if $G$ is an $H(4,3)$-free graph of even size $m \ge 18$ with no isolated vertices, then $ρ(G) \le ρ'(m)$, where $ρ'(m)$ is the largest real root of $x^4 - m x^2 - (m-2)x + m/2 - 1 = 0$. Equality holds if and only if $G \cong S^-_{(m+4)/2,2}$. The value $18$ is best possible: explicit $H(4,3)$-free obstruction graphs exceed the comparison value for $m = 10,12,14,16$. The proof refines the Perron-neighborhood method by proving a local interface independence principle in the $K_4$-core branch, reducing the remaining threshold cases to finite endpoint comparisons.