奇、偶双随机矩阵及其积和式的若干注记.pdfVIP

第 ３３卷 第 ４期 《新疆师范大学学报》（自然科学版） Ｖｏｌ．３３，Ｎｏ．４ ２０１４年 １２月 Ｊｏｕｒｎａｌ ｏｆ Ｘｉｎｊｉａｎｇ Ｎｏｒｍａｌ Ｕｎｉｖｅｒｓｉｔｙ Ｄｅｃ．２０１４ （Ｎａｔｕｒａｌ Ｓｃｉｅｎｃｅｓ Ｅｄｉｔｉｏｎ） 奇、偶双随机矩阵及其积和式的若干注记 黄宇飞 （广州民航职业技术学院，广东 广州，５ ０４０３） ［收稿日期］ ２０ ４ ０ ３０ ［基金项目］ 国家自然科学基金数学天元基金资助项目（Ｎｏ ３２６２２ ）资助 ［作者简介］ 黄宇飞（ ９８５ ），男，广东韶关人，讲师，博士，主要从事组合数学和图论方向研究 摘 要： 文章主要研究了奇、偶双随机矩阵及其（奇、偶）积和式的有关问题 一方面，通过分析双随机矩阵的奇偶性，说 明了刻画奇双随机矩阵和偶双随机矩阵的等价性；另一方面，参照双随机矩阵其积和式的下确界问题（即著名的 Ｖａｎ ｄｅｒ Ｗａｅｒｄｅｎ Ｅｇｏｒｙｃｈｅｖ Ｆａｌ ｋ ａｎ定理），对奇、偶双随机矩阵其（奇、偶）积和式的确界问题分别进行了探讨 关键词： 奇双随机矩阵；偶双随机矩阵；奇积和式；偶积和式 中图分类号： Ｏ ５ ２ 文献标识码： Ａ 文章编号： ００８?９６５９（２０ ４）０４?００４９?０４ １ 双随机矩阵的奇偶性 记元素 １，２，…，ｎ的所有置换所成之集为 Ｓｎ，且记所有 ｎ 元奇置换（或偶置换）所成之集为 Ｏｎ（或 Ａｎ）． 显然，Ｓｎ ＝Ｏｎ∪Ａｎ 设 π∈Ｓｎ，定义 ｎ×ｎ阶置换矩阵 Ｐπ ＝（δ ），其中 δ ＝ １，若 π（ｉ）＝ ｊ，０，若 π（ｉ）≠ｊ；{ 进一步地，若 π∈Ｏｎ （或 π∈Ａｎ），则称 Ｐπ 为奇置换矩阵（或偶置换矩阵） ［１］ 如果一个实非负方阵其每一行及每一列的元素之和均等于 １，则该方阵称为双随机矩阵 关于双随机 矩阵的刻画有不少重要的成果（见文献［２，３］等），其中一个广为人知的结论是［２］：任一双随机矩阵都可以表 示成置换矩阵的凸组合，且反之亦然 循此结论，Ｊ．Ｈｏｆｆｍａｎ 在 １９５３ 年定义了偶双随机矩阵［ ］，即能表示为 偶置换矩阵的凸组合的矩阵，并提出了偶双随机矩阵的刻画问题 １９６１年，Ｌ．Ｍｉｒｓｋｙ最早给出了偶双随机矩 阵的一个必要条件［１］：若 Ｄ＝（ｄ ）是 ｎ（≥３）阶的偶双随机矩阵，则?π∈Ａｎ 和?ｊ∈｛１，２，…，ｎ｝，∑ｎ １ｄ π（ ） －３ｄ π（ ）≤ｎ－３；并猜想此条件为充要条件 但事实上，Ｌ．Ｍｉｒｓｋｙ 所给出的上述条件其充分性仅在 ｎ ＝ ３ 时成 立，Ｊ．ｖｏｎ Ｂｅｌｏｗ于 １９８５年举出了 ｎ≥４时的反例［５］ １９９１年，Ｒ．Ａ． Ｂｒｕａｌｄｉ和柳柏濂给出了偶双随机矩阵的 更多必要条件［６］，并举例说明了所给条件的相互独立性 近年来，Ｊ．ｖｏｎＢｅｌｏｗ 和 Ｓ．Ｒｅｎｉｅｒ 通过研究双随机矩 阵的奇、偶对角线［７］，进而得到了偶双随机矩阵的一个形式较为复杂的充要刻画［８］ 鉴于偶双随机矩阵的概念，喻革新于 １９９９年定义了奇双随机矩阵［９］，即能表示为奇置换矩阵的凸组合 的矩阵（见文［７］），并给出了奇双随机矩阵的若干必要条件 为方便起见，记所有 ｎ阶双随机矩阵的集合为 Ωｎ，又记所有 ｎ阶偶双随机矩阵（或奇双随机矩阵）的集合为△ｎ（或 Θｎ） 下面，我们将对双随机矩阵的奇偶性作若干分析 首先，可以看到这样一个有趣的现象：△ｎ∩Θｎ≠Ｏ且△ｎ∪Θｎ≠Ωｎ，即存在既奇又偶的双随机矩阵，如： １ ｎ Ｊｎ（ｎ≥３），其中 Ｊｎ 表示所有元素全为 １的 ｎ阶方阵；亦存在非奇非偶的双随机矩阵，如： １ ２ ［Ｉｎ＋Ｐ （１２） ］（ｎ≥ ２），其中 Ｉｎ 表示 ｎ阶单位方阵，（１２）是置换（１２）（３）…（ｎ）的简写（１－轮换通常省略不写） 由此看来，偶双 ９４ 新疆师范大学学报（自然科学版） ２０１４年 随机矩阵和奇双随机矩阵的刻画并非简单地对立 然而，注意到：文［６］中偶双随机矩阵的若干必要条件与文［９］中奇双随机矩阵的若干必要条件在形式 上有着极为相似之处，这是巧合还是有其他的原因呢？ 由此展开思考，获得了以下的几个结论 首先，容易证明（依定义直接可得）下述的引理 引理 １．１ 交换一个奇置换矩阵的任意两行（或列）所得矩阵为偶置换矩阵；交换一个偶置换矩阵的任 意两行（或列）所得矩阵为奇置换矩阵 命题 １．２ 若 Ｄ∈Δｎ（ｎ≥２），则交换 Ｄ中任意两行（或列）所得矩阵属于 Θｎ；若 Ｄ∈Θｎ（ｎ≥２），则交换 Ｄ 中任意两行（或列）所得矩阵属于 Δｎ 证明 如果 Ｄ∈Δｎ，即 Ｄ可以表示为若干偶置换矩阵的凸组合，那么交换 Ｄ中某两行（或列）等价于把 构成 Ｄ的凸组合的所有偶置换矩阵都交换相应的两行（或列），结合引理 １．１ 可知，交换 Ｄ 中某两行（或列） 所得矩阵恰能