English

Cubic column relations in truncated moment problems

Functional Analysis 2014-02-04 v2

Abstract

For the truncated moment problem associated to a complex sequence γ(2n)={γij}i,jZ+,i+j2n\gamma ^{(2n)}=\{\gamma _{ij}\}_{i,j\in Z_{+},i+j \leq 2n} to have a representing measure μ\mu , it is necessary for the moment matrix M(n)M(n) to be positive semidefinite, and for the algebraic variety Vγ\mathcal{V}_{\gamma} to satisfy rank  M(n)  \operatorname{rank}\;M(n) \leq \; card  Vγ\;\mathcal{V}_{\gamma} as well as a consistency condition: the Riesz functional vanishes on every polynomial of degree at most 2n2n that vanishes on Vγ\mathcal{V}_{\gamma}. In previous work with L. Fialkow and M. M\"{o}ller, the first-named author proved that for the extremal case (rank  M(n)=\;M(n)= card  Vγ\;\mathcal{V}_{\gamma}), positivity and consistency are sufficient for the existence of a representing measure. In this paper we solve the truncated moment problem for cubic column relations in M(3)M(3) of the form Z3=itZ+uZˉZ^{3}=itZ+u\bar{Z} (u,tRu,t \in \mathbb{R}); we do this by checking consistency. For (u,t)(u,t) in the open cone determined by 0<u<t<2u0 < \left|u\right| < t < 2 \left|u\right|, we first prove that the algebraic variety has exactly 77 points and rank  M(3)=7\operatorname{rank}\;M(3)=7; we then apply the above mentioned result to obtain a concrete, computable, necessary and sufficient condition for the existence of a representing measure.

Keywords

Cite

@article{arxiv.1304.5726,
  title  = {Cubic column relations in truncated moment problems},
  author = {Raul E. Curto and Seonguk Yoo},
  journal= {arXiv preprint arXiv:1304.5726},
  year   = {2014}
}

Comments

18 pages, 2 figures

R2 v1 2026-06-22T00:03:40.551Z