Source authenticated

Chafai-Dadoun-Youssef Questions on Logarithmic Energy Monotonicity

Chafai, Dadoun and Youssef asked whether the quadratically penalised logarithmic energy of mean empirical spectral distributions is monotone in the dimension, for Wigner matrices and for matrices with i.i.d. entries. Neither holds: a finite-energy Wigner counterexample and a one-parameter family of Gaussian-regularised Bernoulli entry laws answer both questions negatively.

Exact FrontierDelta

Prior state unknowndisproved

Scope and record

Occurred: Jul 27, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. Imported under CC BY 4.0.

Canonical aliases: Chafai-Dadoun-Youssef Questions on Logarithmic Energy Monotonicity · Log-energy monotonicity

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Theodoros Assiotis
human · human collaborator

ChatGPT Pro 5.5
model · ai model contributor · OpenAI

ChatGPT 5.6 Sol Ultra
model · ai model contributor · OpenAI

Lineage and corrections

This event attributed to Theodoros Assiotis

This event attributed to ChatGPT 5.6 Sol Ultra

This event attributed to ChatGPT Pro 5.5

Act on this frontier

Verify, challenge, or extend the result.