A note on the ultra log-concavity of matroid intersection
In 1971, Mason conjectured that the numbers of independent sets of fixed size in a matroid constitute an ultra log-concave sequence. In 2020, this conjecture was proven by Br\"and\'en and Huh and independently by Anari, Liu, Gharan and Vinzant. Recently, this result was extended to $M^\natural$-concave functions. In th...