Asymptotic negligibility of smooth Dressian cells

Fix r4r\geq 4. Let U(r,n)U(r,n) be the uniform matroid of rank rr on an nn-element ground set, and let D(U(r,n))\mathscr{D}(U(r,n)) be its Dressian. For a valuation νD(U(r,n))\nu\in\mathscr{D}(U(r,n)), let D(ν)D(\nu) be its cell. A valuation is smooth if it cannot be written as ν=ν+σ\nu=\nu'+\sigma with ν,σD(U(r,n))\nu',\sigma\in\mathscr{D}(U(r,n)) where σ\sigma is a spike, meaning that σ\sigma has exactly one nonzero coordinate. Asymptotic negligibility conjecture for smooth cells. For each fixed r4r\geq 4,

ln#{D(ν):νD(U(r,n)), ν smooth}ln#D(U(r,n))0as n.\frac{\ln\#\{D(\nu):\nu\in\mathscr{D}(U(r,n)),\ \nu\text{ smooth}\}}{\ln\#\mathcal{D}(U(r,n))}\longrightarrow 0\quad\text{as }n\longrightarrow\infty.

The total number of Dressian cells has a lower bound from sparse paving matroids and an upper bound of order (nr)log(n)2/n\binom{n}{r}\log(n)^2/n on the logarithmic scale, while the source notes a remaining gap even in fixed rank. The conjecture predicts that smooth cells contribute negligibly to the logarithmic count, so that nonsmooth valuations predominate for uniform matroids.

Sources & referencesView supporting material

Primary source

Rudi Pendavingh, “Bounds on the number of cells and the dimension of the Dressian”, arXiv:2408.09466 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.