26
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      Algebraic sets of types A, B, and C coincide

      Preprint

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          It is proved that the definition of an algebraic set of type \({\sf A}\) (a notion related to the multidimensional Hamburger moment problem) does not depend on the choice of a polynomial describing the algebraic set in question and that an algebraic set of type \({\sf B}\) is always of type \({\sf A}\). This answers in the affirmative two questions posed in 1992 by the second author. It is also shown that an algebraic set is of type \({\sf A}\) if and only if it is of type \({\sf C}\) (a notion linked to orthogonality of polynomials of several variables). This, in turn, enables us to answer three questions posed in 2005 by Cicho\'n, Stochel, and Szafraniec.

          Related collections

          Most cited references17

          • Record: found
          • Abstract: not found
          • Article: not found

          The Complex Moment Problem and Subnormality: A Polar Decomposition Approach

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Solving Moment Problems by Dimensional Extension

              Bookmark
              • Record: found
              • Abstract: found
              • Article: found
              Is Open Access

              Solution of the truncated hyperbolic moment problem

              Let Q(x,y)=0 be an hyperbola in the plane. Given real numbers \(\beta \equiv\beta^{2n)}=\{\beta_{ij}\}_{i,j\geq0,i+j\leq2n}\), with \(\beta_{00}>0\), the truncated Q-hyperbolic moment problem for \beta entails finding necessary and sufficient conditions for the existence of a positive Borel measure \mu, supported in Q(x,y)=0, such that \(\beta_{ij}=\int y^{i}x^{j} d\mu (0\leq i+j\leq2n)\). We prove that \beta admits a Q-representing measure \mu (as above) if and only if the associated moment matrix \(\mathcal{M}(n)(\beta)\) is positive semidefinite, recursively generated, has a column relation Q(X,Y)=0, and the algebraic variety \(\mathcal{V}(\beta)\) associated to \beta satisfies \(card\mathcal{V}(\beta)\geq\rank\mathcal{M}(n)(\beta)\). In this case, \(rank\mathcal{M}(n)\leq2n+1\); if \(rank\mathcal{M}(n)\leq2n\), then \beta admits a \(rank\mathcal{M}(n)\)-atomic (minimal) Q-representing measure; if \(rank\mathcal{M}(n)=2n+1\), then \beta admits a Q-representing measure \mu satisfying \(2n+1\leqcard supp\mu\leq2n+2\).
                Bookmark

                Author and article information

                Journal
                1601.06264

                Functional analysis
                Functional analysis

                Comments

                Comment on this article