Source author record

Seonguk Yoo

Seonguk Yoo appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

4works
1topics
1close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

4 published item(s)

preprint2016arXiv

Non-extremal sextic moment problems

Positive semidefiniteness, recursiveness, and the variety condition of a moment matrix are necessary and sufficient conditions to solve the quadratic and quartic moment problems. Also, positive semidefiniteness, combined with another necessary condition, consistency, is a sufficient condition in the case of extremal moment problems, i.e., when the rank of the moment matrix (denoted by r) and the cardinality of the associated algebraic variety (denoted by v) are equal. However, these conditions are not sufficient for non-extremal sextic or higher-order truncated moment problems. In this paper we settle three key instances of the non-extremal (i.e., r<v) sextic moment problem, as follows: when r=7, positive semidefiniteness, consistency and the variety condition guarantee the existence of a 7-atomic representing measure; when r=8 we construct two determining algorithms, corresponding to the cases v=9 and $v=+ \infty$. \ To accomplish this, we generalize the rank-reduction technique developed in previous work, where we solved the nonsingular quartic moment problem and found an explicit way to build a representing measure.

preprint2016arXiv

The Division Algorithm in Sextic Truncated Moment Problems

For a degree 2n finite sequence of real numbers $β\equiv β^{(2n)}= \{ β_{00},β_{10}, β_{01},\cdots, β_{2n,0}, β_{2n-1,1},\cdots, β_{1,2n-1},β_{0,2n} \}$ to have a representing measure $μ$, it is necessary for the associated moment matrix $\mathcal{M}(n)$ to be positive semidefinite, and for the algebraic variety associated to $β$, $\mathcal{V}_β \equiv \mathcal{V}(\mathcal{M}(n))$, to satisfy $\operatorname{rank} \mathcal{M}(n)\leq \operatorname{card} \mathcal{V}_β$ as well as the following consistency} condition: if a polynomial $p(x,y)\equiv \sum_{ij}a_{ij}x^{i}y^j$ of degree at most 2n vanishes on $\mathcal{V}_β$, then the Riesz functional $Λ(p) \equiv p(β):=\sum_{ij}a_{ij}β_{ij}=0$. Positive semidefiniteness, recursiveness, and the variety condition of a moment matrix are necessary and sufficient conditions to solve the quadratic ($n=1$) and quartic ($n=2$) moment problems. Also, positive semidefiniteness, combined with consistency, is a sufficient condition in the case of extremal moment problems, i.e., when the rank of the moment matrix (denoted by r) and the cardinality of the associated algebraic variety (denoted by v) are equal. For extremal sextic moment problems, verifying consistency amounts to having good representation theorems for sextic polynomials in two variables vanishing on the algebraic variety of the moment sequence. We obtain such representation theorems using the Division Algorithm from algebraic geometry. As a consequence, we are able to complete the analysis of extremal sextic moment problems.

preprint2014arXiv

Concrete Solution to the Nonsingular Quartic Binary Moment Problem

Given real numbers $β\equiv β^{\left( 4\right) }\colon β_{00}$, $β_{10}$, $β_{01}$, $β_{20}$, $β_{11}$, $ β_{02}$, $β_{30}$, $β_{21}$, $β_{12}$, $β_{03}$, $β_{40}$, $β_{31}$, $β_{22}$, $β_{13}$, $β_{04}$, with $β_{00} >0$, the quartic real moment problem for $β$ entails finding conditions for the existence of a positive Borel measure $μ$, supported in $\mathbb{R}^2$, such that $β_{ij}=\int s^{i}t^{j}\,dμ\;\;(0\leq i+j\leq 4) $. Let $\mathcal{M}(2)$ be the 6 x 6 moment matrix for $β^{(4)}$, given by $\mathcal{M}(2)_{\mathbf{i},\mathbf{j}}:=β_{\mathbf{i}+\mathbf{j}}$, where $\mathbf{i},\mathbf{j} \in \mathbb{Z}^2_+$ and $\left|\mathbf{i}\right|,\left|\mathbf{j}\right|\le 2$. In this note we find concrete representing measures for $β^{(4)}$ when $\mathcal{M}(2)$ is nonsingular; moreover, we prove that it is possible to ensure that one such representing measure is 6-atomic.

preprint2014arXiv

Cubic column relations in truncated moment problems

For the truncated moment problem associated to a complex sequence $γ^{(2n)}=\{γ_{ij}\}_{i,j\in Z_{+},i+j \leq 2n}$ to have a representing measure $μ$, it is necessary for the moment matrix $M(n)$ to be positive semidefinite, and for the algebraic variety $\mathcal{V}_γ$ to satisfy $\operatorname{rank}\;M(n) \leq \;$ card$\;\mathcal{V}_γ$ as well as a consistency condition: the Riesz functional vanishes on every polynomial of degree at most $2n$ that vanishes on $\mathcal{V}_γ$. In previous work with L. Fialkow and M. Möller, the first-named author proved that for the extremal case (rank$\;M(n)=$ card$\;\mathcal{V}_γ$), 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)$ of the form $Z^{3}=itZ+u\bar{Z}$ ($u,t \in \mathbb{R}$); we do this by checking consistency. For $(u,t)$ in the open cone determined by $0 < \left|u\right| < t < 2 \left|u\right|$, we first prove that the algebraic variety has exactly $7$ points and $\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.