<p>A graph <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(G=(V,E)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi>V</mi> <mo>,</mo> <mi>E</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is <i>geometrically embeddable</i> into a normed space <i>X</i> when there is a mapping <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\zeta :V\rightarrow X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ζ</mi> <mo>:</mo> <mi>V</mi> <mo stretchy="false">→</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\Vert \zeta (v)-\zeta (w)\Vert _X\leqslant 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>ζ</mi> <mrow> <mo stretchy="false">(</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <mi>ζ</mi> <mrow> <mo stretchy="false">(</mo> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">‖</mo> </mrow> <mi>X</mi> </msub> <mo>⩽</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> if and only if <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\{v,w\}\in E\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <mi>v</mi> <mo>,</mo> <mi>w</mi> <mo stretchy="false">}</mo> <mo>∈</mo> <mi>E</mi> </mrow> </math></EquationSource> </InlineEquation>, for all distinct <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(v,w\in V\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>v</mi> <mo>,</mo> <mi>w</mi> <mo>∈</mo> <mi>V</mi> </mrow> </math></EquationSource> </InlineEquation>. Our result is the following universal threshold for the embeddability of trees. Let <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\Delta \geqslant 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Δ</mi> <mo>⩾</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, and let <i>N</i> be sufficiently large in terms of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\Delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Δ</mi> </math></EquationSource> </InlineEquation>. Every <i>N</i>–vertex tree of maximal degree at most <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\Delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Δ</mi> </math></EquationSource> </InlineEquation> is embeddable into any normed space of dimension at least <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(64\,\frac{\log N}{\log \log N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>64</mn> <mspace width="0.166667em" /> <mfrac> <mrow> <mo>log</mo> <mi>N</mi> </mrow> <mrow> <mo>log</mo> <mo>log</mo> <mi>N</mi> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, and complete trees are non-embeddable into any normed space of dimension less than <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\frac{1}{2}\,\frac{\log N}{\log \log N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <mspace width="0.166667em" /> <mfrac> <mrow> <mo>log</mo> <mi>N</mi> </mrow> <mrow> <mo>log</mo> <mo>log</mo> <mi>N</mi> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation>. In striking contrast, spectral expanders and random graphs are known to be non-embeddable in sublogarithmic dimension. Our result is based on a randomized embedding whose analysis utilizes the recent breakthroughs on Bourgain’s slicing problem.</p>

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

A Universal Threshold for Geometric Embeddings of Trees

  • Dylan J. Altschuler,
  • Pandelis Dodos,
  • Konstantin Tikhomirov,
  • Konstantinos Tyros

摘要

A graph \(G=(V,E)\) G = ( V , E ) is geometrically embeddable into a normed space X when there is a mapping \(\zeta :V\rightarrow X\) ζ : V X such that \(\Vert \zeta (v)-\zeta (w)\Vert _X\leqslant 1\) ζ ( v ) - ζ ( w ) X 1 if and only if \(\{v,w\}\in E\) { v , w } E , for all distinct \(v,w\in V\) v , w V . Our result is the following universal threshold for the embeddability of trees. Let \(\Delta \geqslant 3\) Δ 3 , and let N be sufficiently large in terms of \(\Delta \) Δ . Every N–vertex tree of maximal degree at most \(\Delta \) Δ is embeddable into any normed space of dimension at least \(64\,\frac{\log N}{\log \log N}\) 64 log N log log N , and complete trees are non-embeddable into any normed space of dimension less than \(\frac{1}{2}\,\frac{\log N}{\log \log N}\) 1 2 log N log log N . In striking contrast, spectral expanders and random graphs are known to be non-embeddable in sublogarithmic dimension. Our result is based on a randomized embedding whose analysis utilizes the recent breakthroughs on Bourgain’s slicing problem.