The scaled face-vector conjecture for flag complexes

About 15 years old · traced to

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 1≤j≤k≤d1\leq j\leq k\leq d satisfying

cj=∑i1<i2<⋯<ijai1ijai2ij…aijijc_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 1≤j≤d1\leq j\leq d, together with aik≥ajka_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.

References

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.