A proof of Bjorner's totally nonnegative conjecture
Abstract
The McMullen Correspondence gives a linear dependence between M-sequences of length |d/2|+1 and f-vectors of simplical d-polytopes. Denote the transfer matrix between g and f by Md. Recently, Bjorner proved that any 2x2-minor of Md is nonnegative and conjectured that the same would be true for arbitrary minors. In this paper we answer the question in the affirmative.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.