Joshua Erde, Mihyun Kang, Florian Lehner, Bojan Mohar, Dominik Schmid
{"title":"Catching a robber on a random k-uniform hypergraph","authors":"Joshua Erde, Mihyun Kang, Florian Lehner, Bojan Mohar, Dominik Schmid","doi":"10.4153/s0008414x24000270","DOIUrl":null,"url":null,"abstract":"<p>The game of <span>Cops and Robber</span> is usually played on a graph, where a group of cops attempt to catch a robber moving along the edges of the graph. The <span>cop number</span> of a graph is the minimum number of cops required to win the game. An important conjecture in this area, due to Meyniel, states that the cop number of an <span>n</span>-vertex connected graph is <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240425084516565-0876:S0008414X24000270:S0008414X24000270_inline1.png\"><span data-mathjax-type=\"texmath\"><span>$O(\\sqrt {n})$</span></span></img></span></span>. In 2016, Prałat and Wormald showed that this conjecture holds with high probability for random graphs above the connectedness threshold. Moreover, Łuczak and Prałat showed that on a <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240425084516565-0876:S0008414X24000270:S0008414X24000270_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$\\log $</span></span></img></span></span>-scale the cop number demonstrates a surprising <span>zigzag</span> behavior in dense regimes of the binomial random graph <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240425084516565-0876:S0008414X24000270:S0008414X24000270_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$G(n,p)$</span></span></img></span></span>. In this paper, we consider the game of Cops and Robber on a hypergraph, where the players move along hyperedges instead of edges. We show that with high probability the cop number of the <span>k</span>-uniform binomial random hypergraph <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240425084516565-0876:S0008414X24000270:S0008414X24000270_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$G^k(n,p)$</span></span></img></span></span> is <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240425084516565-0876:S0008414X24000270:S0008414X24000270_inline5.png\"><span data-mathjax-type=\"texmath\"><span>$O\\left (\\sqrt {\\frac {n}{k}}\\, \\log n \\right )$</span></span></img></span></span> for a broad range of parameters <span>p</span> and <span>k</span> and that on a <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240425084516565-0876:S0008414X24000270:S0008414X24000270_inline6.png\"><span data-mathjax-type=\"texmath\"><span>$\\log $</span></span></img></span></span>-scale our upper bound on the cop number arises as the minimum of <span>two</span> complementary zigzag curves, as opposed to the case of <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240425084516565-0876:S0008414X24000270:S0008414X24000270_inline7.png\"><span data-mathjax-type=\"texmath\"><span>$G(n,p)$</span></span></img></span></span>. Furthermore, we conjecture that the cop number of a connected <span>k</span>-uniform hypergraph on <span>n</span> vertices is <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240425084516565-0876:S0008414X24000270:S0008414X24000270_inline8.png\"><span data-mathjax-type=\"texmath\"><span>$O\\left (\\sqrt {\\frac {n}{k}}\\,\\right )$</span></span></img></span></span>.</p>","PeriodicalId":501820,"journal":{"name":"Canadian Journal of Mathematics","volume":"52 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Canadian Journal of Mathematics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4153/s0008414x24000270","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
The game of Cops and Robber is usually played on a graph, where a group of cops attempt to catch a robber moving along the edges of the graph. The cop number of a graph is the minimum number of cops required to win the game. An important conjecture in this area, due to Meyniel, states that the cop number of an n-vertex connected graph is $O(\sqrt {n})$. In 2016, Prałat and Wormald showed that this conjecture holds with high probability for random graphs above the connectedness threshold. Moreover, Łuczak and Prałat showed that on a $\log $-scale the cop number demonstrates a surprising zigzag behavior in dense regimes of the binomial random graph $G(n,p)$. In this paper, we consider the game of Cops and Robber on a hypergraph, where the players move along hyperedges instead of edges. We show that with high probability the cop number of the k-uniform binomial random hypergraph $G^k(n,p)$ is $O\left (\sqrt {\frac {n}{k}}\, \log n \right )$ for a broad range of parameters p and k and that on a $\log $-scale our upper bound on the cop number arises as the minimum of two complementary zigzag curves, as opposed to the case of $G(n,p)$. Furthermore, we conjecture that the cop number of a connected k-uniform hypergraph on n vertices is $O\left (\sqrt {\frac {n}{k}}\,\right )$.