$e$-Log-Concavity of Chromatic Quasisymmetric Functions
resolvedconfidence 70%
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Precise statement
Chromatic quasisymmetric functions of natural unit interval graphs were conjectured to have log-concave coefficients in the elementary basis. A connected $13$-vertex example refutes it: for the Hessenberg function $h=(2,4,4,6,7,10,10,10,10,12,12,13,13)$ and $\lambda=(6,5,1,1)$ the coefficients of $q^5,q^6,q^7$ are $1,6,38$, and $6^2 < 1 \cdot 38$. The coefficient is still positive, palindromic and unimodal, so log-concavity is separated from the weaker shape properties that motivated the conjecture.
The source statement is reproduced for indexing with attribution. Mathematical correctness requires domain-expert or mechanical review. VibeMath has not independently audited statement
fidelity, correctness, priority, or novelty.
What AI did
ChatGPT with Codex
The disclosure describes a computer-assisted investigation in which the model was used extensively as an interactive research assistant: it generated and revised the exploratory and verification code, ran independent computational cross-checks, searched the literature, and helped organize and draft the manuscript. The author states that no assertion is accepted on the authority of model output.
The counterexample is a single explicit graph and partition, and the paper ships an exact standard-library Python verifier with a recorded SHA-256 digest. arXiv preprint, not yet peer-reviewed.
arXiv:2607.20595 - A 13-vertex counterexample to e-log-concavity for chromatic quasisymmetric functions
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Known method families
computation (source-reported)
Source-reported tools: computation.
Independent: unknown · difference confidence: 0
What remains uncertain
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.
VibeMath has not independently verified the mathematical claim.
AI-attempt independence and training-data exposure are unknown unless explicitly documented.
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.