Let be an -dimensional vector space over a finite field . Define a real-valued weight function on the -dimensional vector spaces of such that the sum of all weights is zero. Let the weight of a subspace be the sum of the weights of the -dimensional subspaces contained in . In 1988 Manickam and Singhi conjectured that if , then the number of -dimensional subspaces with nonnegative weight is at least the number of -dimensional subspaces on a fixed -dimensional subspace. Recently, Chowdhury, Huang, Sarkis, Shahriari, and Sudakov proved the conjecture of Manickam and Singhi for . We modify the technique used by Chowdhury et al. to prove the conjecture for if is large. Furthermore, if equality holds and , then the set of -dimensional subspaces with nonnegative weight is the set of all -dimensional subspaces on a fixed -dimensional subspace.

生成讲解博客的中文版本

生成AI智能校验的中文版本