<p>Given a positive integer <i>n</i>, an unlabeled graph <i>G</i> on <i>n</i> vertices, and a vertex <i>v</i> of <i>G</i>, let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2024_1347_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(N_G(v)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>N</mi> <mi>G</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> be the subgraph of <i>G</i> induced by vertices of <i>G</i> of distance at most one from <i>v</i>. We show that there are universal constants <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2024_1347_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(C,c&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo>,</mo> <mi>c</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> with the following property. Let the sequence <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2024_1347_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\((p_n)_{n=1}^\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>p</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> </math></EquationSource> </InlineEquation> satisfy <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2024_1347_Article_IEq4.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="156" /> </InlineMediaObject> <EquationSource Format="TEX">\(n^{-1/2}\log ^C n\le p_n\le c\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>n</mi> <mrow> <mo>-</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msup> <msup> <mo>log</mo> <mi>C</mi> </msup> <mi>n</mi> <mo>≤</mo> <msub> <mi>p</mi> <mi>n</mi> </msub> <mo>≤</mo> <mi>c</mi> </mrow> </math></EquationSource> </InlineEquation>. For each <i>n</i>, let <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2024_1347_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma _n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Γ</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> be an unlabeled <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2024_1347_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\(G(n,p_n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <msub> <mi>p</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> Erdős–Rényi graph. Then with probability <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2024_1347_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="66" /> </InlineMediaObject> <EquationSource Format="TEX">\(1-o_n(1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>-</mo> <msub> <mi>o</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, any unlabeled graph <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2024_1347_Article_IEq8.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\tilde{\Gamma }_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mover accent="true"> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">~</mo> </mover> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> on <i>n</i> vertices with <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2024_1347_Article_IEq9.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="170" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{N_{\tilde{\Gamma }_n}(v)\}_{v}=\{N_{\Gamma _n}(v)\}_{v}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mo stretchy="false">{</mo> <msub> <mi>N</mi> <msub> <mover accent="true"> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">~</mo> </mover> <mi>n</mi> </msub> </msub> <mrow> <mo stretchy="false">(</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> <mi>v</mi> </msub> <mo>=</mo> <msub> <mrow> <mo stretchy="false">{</mo> <msub> <mi>N</mi> <msub> <mi mathvariant="normal">Γ</mi> <mi>n</mi> </msub> </msub> <mrow> <mo stretchy="false">(</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> <mi>v</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> must coincide with <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2024_1347_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma _n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Γ</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>. This establishes <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2024_1347_Article_IEq11.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="70" /> </InlineMediaObject> <EquationSource Format="TEX">\(\tilde{\Theta }\left( n^{-1/2}\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi mathvariant="normal">Θ</mi> <mo stretchy="false">~</mo> </mover> <mfenced close=")" open="("> <msup> <mi>n</mi> <mrow> <mo>-</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msup> </mfenced> </mrow> </math></EquationSource> </InlineEquation> as the transition range for the density parameter <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2024_1347_Article_IEq12.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(p_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>p</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> between reconstructability and non-reconstructability of Erdős–Rényi graphs from their 1–neighborhoods, and resolves a problem of Gaudio and Mossel from (Electron Commun Probab 27: 1–14, 2022)</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Shotgun assembly of unlabeled Erdős–Rényi graphs

  • Han Huang,
  • Konstantin Tikhomirov

摘要

Given a positive integer n, an unlabeled graph G on n vertices, and a vertex v of G, let \(N_G(v)\) N G ( v ) be the subgraph of G induced by vertices of G of distance at most one from v. We show that there are universal constants \(C,c>0\) C , c > 0 with the following property. Let the sequence \((p_n)_{n=1}^\infty \) ( p n ) n = 1 satisfy \(n^{-1/2}\log ^C n\le p_n\le c\) n - 1 / 2 log C n p n c . For each n, let \(\Gamma _n\) Γ n be an unlabeled \(G(n,p_n)\) G ( n , p n ) Erdős–Rényi graph. Then with probability \(1-o_n(1)\) 1 - o n ( 1 ) , any unlabeled graph \(\tilde{\Gamma }_n\) Γ ~ n on n vertices with \(\{N_{\tilde{\Gamma }_n}(v)\}_{v}=\{N_{\Gamma _n}(v)\}_{v}\) { N Γ ~ n ( v ) } v = { N Γ n ( v ) } v must coincide with \(\Gamma _n\) Γ n . This establishes \(\tilde{\Theta }\left( n^{-1/2}\right) \) Θ ~ n - 1 / 2 as the transition range for the density parameter \(p_n\) p n between reconstructability and non-reconstructability of Erdős–Rényi graphs from their 1–neighborhoods, and resolves a problem of Gaudio and Mossel from (Electron Commun Probab 27: 1–14, 2022)