Lower Bounds for Multivariate Independence Polynomials
The multivariate independence polynomial is the partition function of the hard-core model with per-vertex fugacities. The paper proves a lower bound extending to the multivariate setting a result Tao proved in the univariate case, and settles a conjectured generalization for a multiaffine version of the semiproper colouring partition function with two proper colours.
Exact FrontierDelta
Scope and record
Occurred: Aug 5, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-checked. Publication: preprint. AI contribution: ai-co-developed. Imported under CC BY 4.0.
Canonical aliases: Lower Bounds for Multivariate Independence Polynomials · Multivariate independence polynomials
Confidence: Not scored
Registry verification: lean checked · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
Joonkyung Lee
human · human collaborator
Jaehyeon Seo
human · human collaborator
Aletheia (Gemini Deep Think)
model · ai model contributor · Google DeepMind
Harmonic Aristotle
model · ai model contributor · Harmonic
Lineage and corrections
This event attributed to Jaehyeon Seo
This event attributed to Joonkyung Lee
This event attributed to Harmonic Aristotle
This event attributed to Aletheia (Gemini Deep Think)