Concrete conditions for realizability of moment functions via quadratic modules
Duration: 30 mins 25 secs
Share this media item:
Embed this media item:
Embed this media item:
About this item
Description: |
Infusino, M (University of Reading)
Thursday 18 July 2013, 15:00-15:30 |
---|
Created: | 2013-07-22 14:14 |
---|---|
Collection: | Polynomial Optimisation |
Publisher: | Isaac Newton Institute |
Copyright: | Infusino, M |
Language: | eng (English) |
Distribution: | World (downloadable) |
Explicit content: | No |
Aspect Ratio: | 16:9 |
Screencast: | No |
Bumper: | UCS Default |
Trailer: | UCS Default |
Abstract: | In this talk, we intend to give a brief introduction to the realizability problem presenting a new approach based on its deep connection to the moment theory. This is not only the key idea which allowed us to get interesting results about the full realizability problem, but it is also the base for a new research direction which links the realizability problem to polynomial optimization theory. The realizability problem naturally arises from applications dealing with systems consisting of a huge number of components. The investigation of such systems is greatly facilitated if the attention is restricted to selected physical parameters (usually correlation functions) which encode the relevant structure of the system. The realizability problem exactly addresses the question whether a given candidate correlation function actually represents the correlation function of some random distribution. We will present necessary and sufficient conditions for the realizability of an infinite sequence of moments given by generalized functions on a closed semi-algebraic subset of the space of distributions. Our approach is based on the interpretation of the realizability problem as an infinite dimensional moment problem and it exploits the quadratic module generated by the polynomials defining the semi-algebraic set in question. This result determines realizability conditions which can be more easily verified than the Haviland type conditions developed by A. Lenard. Moreover, it completely characterizes the support of the realizing process giving a solution of the full realizability problem for Radon measures. |
---|
Available Formats
Format | Quality | Bitrate | Size | |||
---|---|---|---|---|---|---|
MPEG-4 Video | 640x360 | 1.94 Mbits/sec | 442.77 MB | View | Download | |
WebM | 640x360 | 518.78 kbits/sec | 115.57 MB | View | Download | |
iPod Video | 480x270 | 521.52 kbits/sec | 116.18 MB | View | Download | |
MP3 | 44100 Hz | 249.84 kbits/sec | 55.69 MB | Listen | Download | |
Auto * | (Allows browser to choose a format it supports) |