正则矩阵的二进制和布尔秩

IF 1.1 3区 计算机科学 Q1 BUSINESS, FINANCE Journal of Computer and System Sciences Pub Date : 2023-06-01 DOI:10.1016/j.jcss.2023.01.005
Ishay Haviv , Michal Parnas
{"title":"正则矩阵的二进制和布尔秩","authors":"Ishay Haviv ,&nbsp;Michal Parnas","doi":"10.1016/j.jcss.2023.01.005","DOIUrl":null,"url":null,"abstract":"<div><p>A <span><math><mn>0</mn><mo>,</mo><mn>1</mn></math></span> matrix is said to be regular if all of its rows and columns have the same number of ones. We prove that for infinitely many integers <em>k</em>, there exists a square regular <span><math><mn>0</mn><mo>,</mo><mn>1</mn></math></span> matrix with binary rank <em>k</em>, such that the Boolean rank of its complement is <span><math><msup><mrow><mi>k</mi></mrow><mrow><mover><mrow><mi>Ω</mi></mrow><mrow><mo>˜</mo></mrow></mover><mo>(</mo><mi>log</mi><mo>⁡</mo><mi>k</mi><mo>)</mo></mrow></msup></math></span>. This settles, in a strong form, a question of Pullman (1988) <span>[27]</span> and a conjecture of Hefner et al. (1990) <span>[18]</span>. The result can be viewed as a regular analogue of a recent result of Balodis et al. (2021) <span>[2]</span><span>, motivated by the clique vs. independent set problem in communication complexity and by the (disproved) Alon-Saks-Seymour conjecture in graph theory. As an application of the produced regular matrices, we obtain regular counterexamples to the Alon-Saks-Seymour conjecture and prove that for infinitely many integers </span><em>k</em><span>, there exists a regular graph with biclique partition number </span><em>k</em><span> and chromatic number </span><span><math><msup><mrow><mi>k</mi></mrow><mrow><mover><mrow><mi>Ω</mi></mrow><mrow><mo>˜</mo></mrow></mover><mo>(</mo><mi>log</mi><mo>⁡</mo><mi>k</mi><mo>)</mo></mrow></msup></math></span>.</p></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"134 ","pages":"Pages 73-86"},"PeriodicalIF":1.1000,"publicationDate":"2023-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On the binary and Boolean rank of regular matrices\",\"authors\":\"Ishay Haviv ,&nbsp;Michal Parnas\",\"doi\":\"10.1016/j.jcss.2023.01.005\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>A <span><math><mn>0</mn><mo>,</mo><mn>1</mn></math></span> matrix is said to be regular if all of its rows and columns have the same number of ones. We prove that for infinitely many integers <em>k</em>, there exists a square regular <span><math><mn>0</mn><mo>,</mo><mn>1</mn></math></span> matrix with binary rank <em>k</em>, such that the Boolean rank of its complement is <span><math><msup><mrow><mi>k</mi></mrow><mrow><mover><mrow><mi>Ω</mi></mrow><mrow><mo>˜</mo></mrow></mover><mo>(</mo><mi>log</mi><mo>⁡</mo><mi>k</mi><mo>)</mo></mrow></msup></math></span>. This settles, in a strong form, a question of Pullman (1988) <span>[27]</span> and a conjecture of Hefner et al. (1990) <span>[18]</span>. The result can be viewed as a regular analogue of a recent result of Balodis et al. (2021) <span>[2]</span><span>, motivated by the clique vs. independent set problem in communication complexity and by the (disproved) Alon-Saks-Seymour conjecture in graph theory. As an application of the produced regular matrices, we obtain regular counterexamples to the Alon-Saks-Seymour conjecture and prove that for infinitely many integers </span><em>k</em><span>, there exists a regular graph with biclique partition number </span><em>k</em><span> and chromatic number </span><span><math><msup><mrow><mi>k</mi></mrow><mrow><mover><mrow><mi>Ω</mi></mrow><mrow><mo>˜</mo></mrow></mover><mo>(</mo><mi>log</mi><mo>⁡</mo><mi>k</mi><mo>)</mo></mrow></msup></math></span>.</p></div>\",\"PeriodicalId\":50224,\"journal\":{\"name\":\"Journal of Computer and System Sciences\",\"volume\":\"134 \",\"pages\":\"Pages 73-86\"},\"PeriodicalIF\":1.1000,\"publicationDate\":\"2023-06-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Computer and System Sciences\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0022000023000120\",\"RegionNum\":3,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"BUSINESS, FINANCE\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Computer and System Sciences","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0022000023000120","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"BUSINESS, FINANCE","Score":null,"Total":0}
引用次数: 0

摘要

如果0,1矩阵的所有行和列都有相同数量的1,则称其为正则矩阵。我们证明了对于无穷多个整数k,存在一个二元秩为k的平方正则0,1矩阵,使得其补码的布尔秩为kΩ~(log⁡k) 。这以强有力的形式解决了Pullman(1988)[27]的问题和Hefner等人(1990)[18]的猜想。该结果可以被视为Balodis等人最近的一个结果的正则类似物。(2021)[2],其动机是通信复杂性中的集团与独立集问题,以及图论中的(已推翻的)Alon Saks Seymour猜想。作为生成的正则矩阵的一个应用,我们得到了Alon-Saks-Seymour猜想的正则反例,并证明了对于无限多个整数k,存在一个具有bilique分位数k和色数kΩ~(log⁡k) 。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
On the binary and Boolean rank of regular matrices

A 0,1 matrix is said to be regular if all of its rows and columns have the same number of ones. We prove that for infinitely many integers k, there exists a square regular 0,1 matrix with binary rank k, such that the Boolean rank of its complement is kΩ˜(logk). This settles, in a strong form, a question of Pullman (1988) [27] and a conjecture of Hefner et al. (1990) [18]. The result can be viewed as a regular analogue of a recent result of Balodis et al. (2021) [2], motivated by the clique vs. independent set problem in communication complexity and by the (disproved) Alon-Saks-Seymour conjecture in graph theory. As an application of the produced regular matrices, we obtain regular counterexamples to the Alon-Saks-Seymour conjecture and prove that for infinitely many integers k, there exists a regular graph with biclique partition number k and chromatic number kΩ˜(logk).

求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
Journal of Computer and System Sciences
Journal of Computer and System Sciences 工程技术-计算机:理论方法
CiteScore
3.70
自引率
0.00%
发文量
58
审稿时长
68 days
期刊介绍: The Journal of Computer and System Sciences publishes original research papers in computer science and related subjects in system science, with attention to the relevant mathematical theory. Applications-oriented papers may also be accepted and they are expected to contain deep analytic evaluation of the proposed solutions. Research areas include traditional subjects such as: • Theory of algorithms and computability • Formal languages • Automata theory Contemporary subjects such as: • Complexity theory • Algorithmic Complexity • Parallel & distributed computing • Computer networks • Neural networks • Computational learning theory • Database theory & practice • Computer modeling of complex systems • Security and Privacy.
期刊最新文献
Embedding hypercubes into torus and Cartesian product of paths and/or cycles for minimizing wirelength Algorithms and Turing kernels for detecting and counting small patterns in unit disk graphs Backwards-reachability for cooperating multi-pushdown systems On computing optimal temporal branchings and spanning subgraphs Parameterized results on acyclic matchings with implications for related problems
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1