<p>Given an <i>n</i>-element set <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_148_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(C\subseteq \mathbb {R}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo>⊆</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> and a (sufficiently generic) <i>k</i>-element multiset <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_148_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(V\subseteq \mathbb {R}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>V</mi> <mo>⊆</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, we can order the points in <i>C</i> by ranking each point <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_148_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(c\in C\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>c</mi> <mo>∈</mo> <mi>C</mi> </mrow> </math></EquationSource> </InlineEquation> according to the sum of the distances from <i>c</i> to the points of <i>V</i>. Let <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_148_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Psi _k(C)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Ψ</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>C</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denote the set of orderings of <i>C</i> that can be obtained in this manner as <i>V</i> varies, and let <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_148_Article_IEq5.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(\psi ^{\textrm{max}}_{d,k}(n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>ψ</mi> <mrow> <mi>d</mi> <mo>,</mo> <mi>k</mi> </mrow> <mtext>max</mtext> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> be the maximum of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_148_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\(|\Psi _k(C)|\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <msub> <mi mathvariant="normal">Ψ</mi> <mi>k</mi> </msub> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>C</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> as <i>C</i> ranges over all <i>n</i>-element subsets of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_148_Article_IEq7.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </math></EquationSource> </InlineEquation>. We prove that <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_148_Article_IEq8.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="151" /> </InlineMediaObject> <EquationSource Format="TEX">\(\psi ^{\textrm{max}}_{d,k}(n)=\Theta _{d,k}(n^{2dk})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>ψ</mi> <mrow> <mi>d</mi> <mo>,</mo> <mi>k</mi> </mrow> <mtext>max</mtext> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi mathvariant="normal">Θ</mi> <mrow> <mi>d</mi> <mo>,</mo> <mi>k</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mrow> <mn>2</mn> <mi>d</mi> <mi>k</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> when <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_148_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(d \ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and that <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_148_Article_IEq10.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="173" /> </InlineMediaObject> <EquationSource Format="TEX">\(\psi ^{\textrm{max}}_{1,k}(n)=\Theta _k(n^{4\lceil k/2\rceil -2})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>ψ</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>k</mi> </mrow> <mtext>max</mtext> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi mathvariant="normal">Θ</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mrow> <mn>4</mn> <mo>⌈</mo> <mi>k</mi> <mo stretchy="false">/</mo> <mn>2</mn> <mo>⌉</mo> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. As a step toward proving this result, we establish a bound on the number of sign patterns determined by a collection of functions that are sums of radicals of nonnegative polynomials; this can be understood as an analogue of a classical theorem of Warren. We also prove several results about the set <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_148_Article_IEq11.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="146" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Psi (C)=\bigcup _{k\ge 1}\Psi _k(C)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ψ</mi> <mrow> <mo stretchy="false">(</mo> <mi>C</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mo>⋃</mo> <mrow> <mi>k</mi> <mo>≥</mo> <mn>1</mn> </mrow> </msub> <msub> <mi mathvariant="normal">Ψ</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>C</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>; this includes an exact description of <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_148_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Psi (C)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ψ</mi> <mo stretchy="false">(</mo> <mi>C</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> when <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_148_Article_IEq13.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(d=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and when <i>C</i> is the set of vertices of a vertex-transitive polytope.</p>

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

Ordering Candidates via Vantage Points

  • Noga Alon,
  • Colin Defant,
  • Noah Kravitz,
  • Daniel G. Zhu

摘要

Given an n-element set \(C\subseteq \mathbb {R}^d\) C R d and a (sufficiently generic) k-element multiset \(V\subseteq \mathbb {R}^d\) V R d , we can order the points in C by ranking each point \(c\in C\) c C according to the sum of the distances from c to the points of V. Let \(\Psi _k(C)\) Ψ k ( C ) denote the set of orderings of C that can be obtained in this manner as V varies, and let \(\psi ^{\textrm{max}}_{d,k}(n)\) ψ d , k max ( n ) be the maximum of \(|\Psi _k(C)|\) | Ψ k ( C ) | as C ranges over all n-element subsets of \(\mathbb {R}^d\) R d . We prove that \(\psi ^{\textrm{max}}_{d,k}(n)=\Theta _{d,k}(n^{2dk})\) ψ d , k max ( n ) = Θ d , k ( n 2 d k ) when \(d \ge 2\) d 2 and that \(\psi ^{\textrm{max}}_{1,k}(n)=\Theta _k(n^{4\lceil k/2\rceil -2})\) ψ 1 , k max ( n ) = Θ k ( n 4 k / 2 - 2 ) . As a step toward proving this result, we establish a bound on the number of sign patterns determined by a collection of functions that are sums of radicals of nonnegative polynomials; this can be understood as an analogue of a classical theorem of Warren. We also prove several results about the set \(\Psi (C)=\bigcup _{k\ge 1}\Psi _k(C)\) Ψ ( C ) = k 1 Ψ k ( C ) ; this includes an exact description of \(\Psi (C)\) Ψ ( C ) when \(d=1\) d = 1 and when C is the set of vertices of a vertex-transitive polytope.