The scaled face-vector conjecture for flag complexes

Let (1,c1,c2,,cd)(1,c_1,c_2,\dots,c_d) be a vector of positive integers, and let ajka_j^k be real numbers for all integers 1jkd1\leq j\leq k\leq d satisfying

cj=i1<i2<<ijai1ijai2ijaijijc_j=\sum_{i_1<i_2<\dots<i_j}a_{i_1}^{i_j}a_{i_2}^{i_j}\dots a_{i_j}^{i_j}

for every 1jd1\leq j\leq d, together with aikajka_i^k\geq a_j^k whenever i<ji<j and aji>ajka_j^i>a_j^k whenever i<ki<k.

Scaled face-vector conjecture. There is an integer qq such that (1,qc1,q2c2,,qdcd)(1,qc_1,q^2c_2,\dots,q^dc_d) is the face vector of a flag complex.

This is intended to overcome the nonintegrality of the continuous multipartite construction: after a common scaling, the prescribed real parameters should yield an actual flag complex. The source presents the statement as part of its proposed route toward characterizing flag-complex face vectors.

Sources & referencesView supporting material

Primary source

Andrew Frohmader, “How to construct a flag complex with a given face vector”, arXiv:1112.6061 (2011).

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.