<p>Given a set <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(X\subseteq\mathbb{R}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>⊆</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(n\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>n</mi> </math></EquationSource> </InlineEquation> points and a distance <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(d&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, the multiplicity of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(d\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>d</mi> </math></EquationSource> </InlineEquation> is thenumber of times the distance <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(d\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>d</mi> </math></EquationSource> </InlineEquation> appears between points in <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(X\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>X</mi> </math></EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(a_1(X) \geq a_2(X) \geq \cdots \geq a_m(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>a</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> <mo>≥</mo> <msub> <mi>a</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> <mo>≥</mo> <mo>⋯</mo> <mo>≥</mo> <msub> <mi>a</mi> <mi>m</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denote the multiplicities of the <InlineEquation ID="IEq80"> <EquationSource Format="TEX">\(m\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>m</mi> </math></EquationSource> </InlineEquation> distances determined by <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(X\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>X</mi> </math></EquationSource> </InlineEquation> and let<InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(a(X)=(a_1(X),\dots,a_m(X))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mo stretchy="false">(</mo> <msub> <mi>a</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mo>⋯</mo> <mo>,</mo> <msub> <mi>a</mi> <mi>m</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. In this paper, we study severalquestions from Erdős’s time regarding distance multiplicities. Among other results, we show that: <UnorderedList Mark="None"> <ItemContent> <p>(1) If <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(X\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>X</mi> </math></EquationSource> </InlineEquation> is convex or “not too convex”, then there exists a distance other than the diameter that has multiplicity at most <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(n\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>n</mi> </math></EquationSource> </InlineEquation>.</p> </ItemContent> <ItemContent> <p>(2) There exists a set <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(X\subseteq\mathbb{R}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>⊆</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(n\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>n</mi> </math></EquationSource> </InlineEquation> points, such that many distances occur with high multiplicity. In particular, at least <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(n^{\Omega(1/\log\log{n})}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>n</mi> <mrow> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mo>log</mo> <mo>log</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </msup> </math></EquationSource> </InlineEquation> distances have superlinear multiplicity in <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(n\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>n</mi> </math></EquationSource> </InlineEquation>.</p> </ItemContent> <ItemContent> <p>(3) For any (not necessarily fixed) integer <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(1\leq k\leq\log{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>k</mi> <mo>≤</mo> <mo>log</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation>, there exists <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\( {X\subseteq\mathbb{R}^2 } \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>⊆</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(n\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>n</mi> </math></EquationSource> </InlineEquation> points, such that the difference between the <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(k^{\text{th}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>k</mi> <mtext>th</mtext> </msup> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\((k+1)^{\text{th}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mtext>th</mtext> </msup> </math></EquationSource> </InlineEquation> largest multiplicities is at least <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(\Omega(\frac{n\log{n}}{k})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">(</mo> <mfrac> <mrow> <mi>n</mi> <mo>log</mo> <mi>n</mi> </mrow> <mi>k</mi> </mfrac> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Moreover, the distances in <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(X\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>X</mi> </math></EquationSource> </InlineEquation> with the largest <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\(k\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>k</mi> </math></EquationSource> </InlineEquation> multiplicities can be prescribed.</p> </ItemContent> <ItemContent> <p>(4) For every <InlineEquation ID="IEq24"> <EquationSource Format="TEX">\(n\in N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>∈</mo> <mi>N</mi> </mrow> </math></EquationSource> </InlineEquation>, there exists <InlineEquation ID="IEq25"> <EquationSource Format="TEX">\(X\subseteq\mathbb{R}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>⊆</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq26"> <EquationSource Format="TEX">\(n\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>n</mi> </math></EquationSource> </InlineEquation> points, not all collinear or cocircular, such that <InlineEquation ID="IEq27"> <EquationSource Format="TEX">\(a(X)= (n-1,n-2,\ldots,1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mi>n</mi> <mo>-</mo> <mn>2</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. There also exists <InlineEquation ID="IEq28"> <EquationSource Format="TEX">\(X\subseteq\mathbb{R}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>⊆</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq29"> <EquationSource Format="TEX">\(n\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>n</mi> </math></EquationSource> </InlineEquation> points with pairwise distinct distance multiplicities and <InlineEquation ID="IEq30"> <EquationSource Format="TEX">\(a(Y) \neq (n-1,n-2,\ldots,1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo stretchy="false">(</mo> <mi>Y</mi> <mo stretchy="false">)</mo> <mo>≠</mo> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mi>n</mi> <mo>-</mo> <mn>2</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>.</p> </ItemContent> </UnorderedList></p>

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

On multiplicities of interpoint distances

  • F. C. Clemen,
  • A. Dumitrescu,
  • D. Liu

摘要

Given a set \(X\subseteq\mathbb{R}^2\) X R 2 of \(n\) n points and a distance \(d>0\) d > 0 , the multiplicity of \(d\) d is thenumber of times the distance \(d\) d appears between points in \(X\) X . Let \(a_1(X) \geq a_2(X) \geq \cdots \geq a_m(X)\) a 1 ( X ) a 2 ( X ) a m ( X ) denote the multiplicities of the \(m\) m distances determined by \(X\) X and let \(a(X)=(a_1(X),\dots,a_m(X))\) a ( X ) = ( a 1 ( X ) , , a m ( X ) ) . In this paper, we study severalquestions from Erdős’s time regarding distance multiplicities. Among other results, we show that:

(1) If \(X\) X is convex or “not too convex”, then there exists a distance other than the diameter that has multiplicity at most \(n\) n .

(2) There exists a set \(X\subseteq\mathbb{R}^2\) X R 2 of \(n\) n points, such that many distances occur with high multiplicity. In particular, at least \(n^{\Omega(1/\log\log{n})}\) n Ω ( 1 / log log n ) distances have superlinear multiplicity in \(n\) n .

(3) For any (not necessarily fixed) integer \(1\leq k\leq\log{n}\) 1 k log n , there exists \( {X\subseteq\mathbb{R}^2 } \) X R 2 of \(n\) n points, such that the difference between the \(k^{\text{th}}\) k th and \((k+1)^{\text{th}}\) ( k + 1 ) th largest multiplicities is at least \(\Omega(\frac{n\log{n}}{k})\) Ω ( n log n k ) . Moreover, the distances in \(X\) X with the largest \(k\) k multiplicities can be prescribed.

(4) For every \(n\in N\) n N , there exists \(X\subseteq\mathbb{R}^2\) X R 2 of \(n\) n points, not all collinear or cocircular, such that \(a(X)= (n-1,n-2,\ldots,1)\) a ( X ) = ( n - 1 , n - 2 , , 1 ) . There also exists \(X\subseteq\mathbb{R}^2\) X R 2 of \(n\) n points with pairwise distinct distance multiplicities and \(a(Y) \neq (n-1,n-2,\ldots,1)\) a ( Y ) ( n - 1 , n - 2 , , 1 ) .