<p>Generalizing the bounded kernel results of Borgs, Chayes, Lovász, Sós and Vesztergombi [2], we prove two Sampling Lemmas for unbounded kernels with respect to the cut norm. On the one hand, we show that given a (symmetric) kernel <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_90_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="104" /> </InlineMediaObject> <EquationSource Format="TEX">\(U\in L^p([0,1]^2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>U</mi> <mo>∈</mo> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for some <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_90_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(3&lt;p&lt;\infty\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>3</mn> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>, the cut norm of a random <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_90_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>k</mi> </math></EquationSource> </InlineEquation>-sample of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_90_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(U\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>U</mi> </math></EquationSource> </InlineEquation> is with high probability within <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_90_Article_IEq5.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(O(k^{-\frac14+\frac{1}{4p}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mi>k</mi> <mrow> <mo>-</mo> <mfrac> <mn>1</mn> <mn>4</mn> </mfrac> <mo>+</mo> <mfrac> <mn>1</mn> <mrow> <mn>4</mn> <mi>p</mi> </mrow> </mfrac> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of the cut norm of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_90_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(U\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>U</mi> </math></EquationSource> </InlineEquation>. The cut norm of the sample has a strong bias to being larger than the original, allowing us to actually obtain a stronger high probability bound of order <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_90_Article_IEq7.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="85" /> </InlineMediaObject> <EquationSource Format="TEX">\(O(k^{-\frac 12+\frac1p+\varepsilon})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mi>k</mi> <mrow> <mo>-</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <mo>+</mo> <mfrac> <mn>1</mn> <mi>p</mi> </mfrac> <mo>+</mo> <mi>ε</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for how much smaller it can be (for any <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_90_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(p&gt;2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&gt;</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> here). These results are then partially extended to the case of vector valued kernels.</p><p>On the other hand, we show that with high probability, the <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_90_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>k</mi> </math></EquationSource> </InlineEquation>-samples are also close to <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_90_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(U\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>U</mi> </math></EquationSource> </InlineEquation> in the cut metric, albeit with a weaker bound of order <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_90_Article_IEq11.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="103" /> </InlineMediaObject> <EquationSource Format="TEX">\(O((\ln k)^{-\frac12+\frac1{2p}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mo>ln</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <mo>+</mo> <mfrac> <mn>1</mn> <mrow> <mn>2</mn> <mi>p</mi> </mrow> </mfrac> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> (for any appropriate <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_90_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(p&gt;2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&gt;</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>). As a corollary, we obtain that whenever <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_90_Article_IEq13.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(U\in L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>U</mi> <mo>∈</mo> <msup> <mi>L</mi> <mi>p</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_90_Article_IEq14.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(p&gt;4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&gt;</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation>, the <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_90_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>k</mi> </math></EquationSource> </InlineEquation>-samples converge almost surely to <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_90_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(U\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>U</mi> </math></EquationSource> </InlineEquation> in the cut metric as <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_90_Article_IEq17.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\to\infty\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

The cut norm and Sampling Lemmas for unbounded kernels

  • P. T. Fekete,
  • D. Kunszenti-Kovács

摘要

Generalizing the bounded kernel results of Borgs, Chayes, Lovász, Sós and Vesztergombi [2], we prove two Sampling Lemmas for unbounded kernels with respect to the cut norm. On the one hand, we show that given a (symmetric) kernel \(U\in L^p([0,1]^2)\) U L p ( [ 0 , 1 ] 2 ) for some \(3<p<\infty\) 3 < p < , the cut norm of a random \(k\) k -sample of \(U\) U is with high probability within \(O(k^{-\frac14+\frac{1}{4p}})\) O ( k - 1 4 + 1 4 p ) of the cut norm of \(U\) U . The cut norm of the sample has a strong bias to being larger than the original, allowing us to actually obtain a stronger high probability bound of order \(O(k^{-\frac 12+\frac1p+\varepsilon})\) O ( k - 1 2 + 1 p + ε ) for how much smaller it can be (for any \(p>2\) p > 2 here). These results are then partially extended to the case of vector valued kernels.

On the other hand, we show that with high probability, the \(k\) k -samples are also close to \(U\) U in the cut metric, albeit with a weaker bound of order \(O((\ln k)^{-\frac12+\frac1{2p}})\) O ( ( ln k ) - 1 2 + 1 2 p ) (for any appropriate \(p>2\) p > 2 ). As a corollary, we obtain that whenever \(U\in L^p\) U L p with \(p>4\) p > 4 , the \(k\) k -samples converge almost surely to \(U\) U in the cut metric as \(k\to\infty\) k .