Showing 1–50 of 51 results for author: Yomdin, Y

Algebraic Reconstruction of Piecewise-Smooth Functions of Two Variables from Fourier Data

Authors: Michael Levinov, Yosef Yomdin, Dmitry Batenkov

Abstract: We investigate the problem of reconstructing a 2D piecewise smooth function from its bandlimited Fourier measurements. This is a well known and well studied problem with many real world implications, in particular in medical imaging. While many techniques have been proposed over the years to solve the problem, very few consider the accurate reconstruction of the discontinuities themselves. In th… ▽ More We investigate the problem of reconstructing a 2D piecewise smooth function from its bandlimited Fourier measurements. This is a well known and well studied problem with many real world implications, in particular in medical imaging. While many techniques have been proposed over the years to solve the problem, very few consider the accurate reconstruction of the discontinuities themselves. In this work we develop an algebraic reconstruction technique for two-dimensional functions consisting of two continuity pieces with a smooth discontinuity curve. By extending our earlier one-dimensional method, we show that both the discontinuity curve and the function itself can be reconstructed with high accuracy from a finite number of Fourier measurements. The accuracy is commensurate with the smoothness of the pieces and the discontinuity curve. We also provide a numerical implementation of the method and demonstrate its performance on synthetic data. △ Less

Submitted 3 March, 2025; originally announced March 2025.

MSC Class: Primary 65T40; Secondary 65D15

Lower bounds for high derivatives of smooth functions with given zeros

Authors: Gil Goldman, Yosef Yomdin

Abstract: Let $f: B^n \rightarrow {\mathbb R}$ be a $d+1$ times continuously differentiable function on the unit ball $B^n$, with $\max_{z\in B^n} |f(z)|=1$. A well-known fact is that if $f$ vanishes on a set $Z\subset B^n$ with a non-empty interior, then for each $k=1,\ldots,d+1$ the norm of the $k$-th derivative $\|f^{(k)}\|$ is at least $M=M(n,k)>0$. A natural question to ask is: What happens for other s… ▽ More Let $f: B^n \rightarrow {\mathbb R}$ be a $d+1$ times continuously differentiable function on the unit ball $B^n$, with $\max_{z\in B^n} |f(z)|=1$. A well-known fact is that if $f$ vanishes on a set $Z\subset B^n$ with a non-empty interior, then for each $k=1,\ldots,d+1$ the norm of the $k$-th derivative $\|f^{(k)}\|$ is at least $M=M(n,k)>0$. A natural question to ask is: What happens for other sets $Z$? In particular, for finite, but sufficiently dense sets?} This question was partially answered in ([16],[20-22]). This study can be naturally related to a certain special settings of the classical Whitney's smooth extension problem. Our goal in the present paper is threefold: first, to provide an overview of the relevant questions and existing results in the general Whitney's problem. Second, we provide an overview of our specific setting and some available results. Third, we provide some new results in our direction. These new results extend the recent result of [21], where an answer to the above question is given via the topological information on $Z$. △ Less

Submitted 2 February, 2024; originally announced February 2024.

Comments: arXiv admin note: text overlap with arXiv:2108.02459, arXiv:2309.03975

Higher derivatives of functions with zeros on algebraic curves

Authors: Gil Goldman, Yosef Yomdin

Abstract: Let $f: B^n \rightarrow {\mathbb R}$ be a $d+1$ times continuously differentiable function on the unit ball $B^n$, with $\max_{z\in B^n} \| f(z) \|=1$. A well-known fact is that if $f$ vanishes on a set $Z\subset B^n$ with a non-empty interior, then for each $k=1,\ldots,d+1$ the norm of the $k$-th derivative $\|f^{(k)}\|$ is at least $M=M(n,k)>0$. We show that this fact remains valid for all ``suf… ▽ More Let $f: B^n \rightarrow {\mathbb R}$ be a $d+1$ times continuously differentiable function on the unit ball $B^n$, with $\max_{z\in B^n} \| f(z) \|=1$. A well-known fact is that if $f$ vanishes on a set $Z\subset B^n$ with a non-empty interior, then for each $k=1,\ldots,d+1$ the norm of the $k$-th derivative $\|f^{(k)}\|$ is at least $M=M(n,k)>0$. We show that this fact remains valid for all ``sufficiently dense'' sets $Z$ (including finite ones). The density of $Z$ is measured via the behavior of the covering numbers of $Z$. In particular, the bound $\|f^{(k)}\|\ge \tilde M=\tilde M(n,k)>0$ holds for each $Z$ with the box (or Minkowski, or entropy) dimension $\dim_e(Z)$ greater than $n-\frac{1}{k}$. △ Less

Submitted 7 September, 2023; originally announced September 2023.

higher derivatives of functions with given critical points and values

Authors: Gil Goldman, Yosef Yomdin

Abstract: Let $f: B^n \rightarrow {\mathbb R}$ be a $d+1$ times continuously differentiable function on the unit ball $B^n$, with $\max_{z\in B^n} \|f(z)\|=1$. A well-known fact is that if $f$ vanishes on a set $Z\subset B^n$ with a non-empty interior, then for each $k=1,\ldots,d+1$ the norm of the $k$-th derivative $\|f^{(k)}\|$ is at least $M=M(n,k)>0$. A natural question to ask is ``what happens for othe… ▽ More Let $f: B^n \rightarrow {\mathbb R}$ be a $d+1$ times continuously differentiable function on the unit ball $B^n$, with $\max_{z\in B^n} \|f(z)\|=1$. A well-known fact is that if $f$ vanishes on a set $Z\subset B^n$ with a non-empty interior, then for each $k=1,\ldots,d+1$ the norm of the $k$-th derivative $\|f^{(k)}\|$ is at least $M=M(n,k)>0$. A natural question to ask is ``what happens for other sets $Z$?''. This question was partially answered in [16]-[18]. In the present paper we ask for a similar (and closely related) question: what happens with the high-order derivatives of $f$, if its gradient vanishes on a given set $Σ$? And what conclusions for the high-order derivatives of $f$ can be obtained from the analysis of the metric geometry of the ``critical values set'' $f(Σ)$? In the present paper we provide some initial answers to these questions. △ Less

Submitted 28 August, 2023; originally announced August 2023.

Higher derivatives of functions vanishing on a given set

Authors: Y. Yomdin

Abstract: Let $f: B^n \rightarrow {\mathbb R}$ be a $d+1$ times continuously differentiable function on the unit ball $B^n$, with $\max_{z\in B^n} \Vert f(z) \Vert=1$. A well-known fact is that if $f$ vanishes on a set $Z\subset B^n$ with a non-empty interior, then for each $k=1,\ldots,d+1$ the norm of the $k$-th derivative $||f^{(k)}||$ is at least $M=M(n,k)>0$. \medskip We show that this fact remains… ▽ More Let $f: B^n \rightarrow {\mathbb R}$ be a $d+1$ times continuously differentiable function on the unit ball $B^n$, with $\max_{z\in B^n} \Vert f(z) \Vert=1$. A well-known fact is that if $f$ vanishes on a set $Z\subset B^n$ with a non-empty interior, then for each $k=1,\ldots,d+1$ the norm of the $k$-th derivative $||f^{(k)}||$ is at least $M=M(n,k)>0$. \medskip We show that this fact remains valid for all ``sufficiently dense'' sets $Z$ (including finite ones). The density of $Z$ is measured via the behavior of the covering numbers of $Z$. In particular, the bound $||f^{(k)}||\ge \tilde M=\tilde M(n,k)>0$ holds for each $Z$ with the box (or Minkowski, or entropy) dimension $\dim_e(Z)$ greater than $n-\frac{1}{k}$. △ Less

Submitted 5 August, 2021; originally announced August 2021.

Smooth rigidity and Remez inequalities via Topology of level sets

Authors: Yosef Yomdin

Abstract: A smooth rigidity inequalitiy provides an explicit lower bound for the $(d+1)$-st derivatives of a smooth function $f$, which holds, if $f$ exhibits certain patterns, forbidden for polynomials of degree $d$. The main goal of the present paper is twofold: first, we provide an overview of some recent results and questions related to smooth rigidity, which recently were obtained in Singularity Theory… ▽ More A smooth rigidity inequalitiy provides an explicit lower bound for the $(d+1)$-st derivatives of a smooth function $f$, which holds, if $f$ exhibits certain patterns, forbidden for polynomials of degree $d$. The main goal of the present paper is twofold: first, we provide an overview of some recent results and questions related to smooth rigidity, which recently were obtained in Singularity Theory, in Approximation Theory, and in Whitney smooth extensions. Second, we prove some new results, specifically, a new Remez-type inequality, and on this base we obtain a new rigidity inequality. In both parts of the paper we stress the topology of the level sets, as the input information. Here are the main new results of the paper: \smallskip Let $B^n$ be the unit $n$-dimensional ball. For a given integer $d$ let $Z\subset B^n$ be a smooth compact hypersurface with $N=(d-1)^n+1$ connected components $Z_j$. Let $μ_j$ be the $n$-volume of the interior of $Z_j$, and put $μ=\min μ_j, \ j=1,\ldots, N$. Then for each polynomial $P$ of degree $d$ on ${\mathbb R}^n$ we have $$ \frac{\max_{B^n}|P|}{\max_{Z}|P|}\le (\frac{4n}μ)^d. $$ As a consequence, we provide an explicit lower bound for the $(d+1)$-st derivatives of any smooth function $f$, which vanishes on $Z$, while being of order $1$ on $B^n$ (smooth rigidity)}: $$ ||f^{(d+1)}||\ge \frac{1}{(d+1)!}(\frac{4n}μ)^d. $$ We also provide an interpretation, in terms of smooth rigidity, of one of the simplest versions of the results in \cite{Ler.Ste}. △ Less

Submitted 13 June, 2021; originally announced June 2021.

Smooth rigidity and Remez-type inequalities

Authors: Yosef Yomdin

Abstract: If a smooth function of one variable has maximum one on the unit interval, and has there $d$ zeroes, then its $(d+1)$-st derivative must be "big". This is one of the simplest examples of what we call "smooth rigidity": certain geometric properties of zero sets of smooth functions $f$ imply explicit lower bounds on the high-order derivatives of $f$. In dimensions greater than one, the powerful one-… ▽ More If a smooth function of one variable has maximum one on the unit interval, and has there $d$ zeroes, then its $(d+1)$-st derivative must be "big". This is one of the simplest examples of what we call "smooth rigidity": certain geometric properties of zero sets of smooth functions $f$ imply explicit lower bounds on the high-order derivatives of $f$. In dimensions greater than one, the powerful one-dimension tools, like Lagrange's remainder formula, and divided finite differences, are not directly applicable. Still, the result above implies, via line sections, rather strong restrictions on zeroes of smooth functions of several variables \cite{Yom1}). In the present paper we study the geometry of zero sets of smooth functions, and significantly extend the results of \cite{Yom1}, including into consideration, in particular, finite zero sets (for which the line sections usually do not work). Our main goal is to develop a truly multi-dimensional approach to smooth rigidity, based on polynomial Remez-type inequalities (which compare the maxima of a polynomial on the unit ball, and on its subset). Very informally, one of our main results is that a "smooth rigidity" of a zeroes set $Z$ is approximately the "inverse Remez constant" of $Z$. △ Less

Submitted 29 September, 2020; originally announced September 2020.

Exponential Taylor domination

Authors: Omer Friedland, Gil Goldman, Yosef Yomdin

Abstract: Let $f(z) = \sum_{k=0}^\infty a_k z^k$ be an analytic function in a disk $D_R$ of radius $R>0$, and assume that $f$ is $p$-valent in $D_R$, i.e. it takes each value $c\in{\mathbb C}$ at most $p$ times in $D_R$. We consider its Borel transform $$ B(f)(z) = \sum_{k=0}^\infty \frac{a_k}{k!} z^k , $$ which is an entire function, and show that, for any $R>1$, the valency of the Borel transform $B(f)$ i… ▽ More Let $f(z) = \sum_{k=0}^\infty a_k z^k$ be an analytic function in a disk $D_R$ of radius $R>0$, and assume that $f$ is $p$-valent in $D_R$, i.e. it takes each value $c\in{\mathbb C}$ at most $p$ times in $D_R$. We consider its Borel transform $$ B(f)(z) = \sum_{k=0}^\infty \frac{a_k}{k!} z^k , $$ which is an entire function, and show that, for any $R>1$, the valency of the Borel transform $B(f)$ in $D_R$ is bounded in terms of $p,R$. We give examples, showing that our bounds, provide a reasonable envelope for the expected behavior of the valency of $B(f)$. These examples also suggest some natural questions, whose expected answer will strongly sharper our estimates. We present a short overview of some basic results on multi-valent functions, in connection with "Taylor domination", which, for $f(z) = \sum_{k=0}^\infty a_k z^k$, is a bound of all its Taylor coefficients $a_k$ through the first few of them. Taylor domination is our main technical tool, so we also discuss shortly some recent results in this direction. △ Less

Submitted 11 September, 2019; originally announced September 2019.

MSC Class: 30B10

The spectral properties of Vandermonde matrices with clustered nodes

Authors: Dmitry Batenkov, Benedikt Diederichs, Gil Goldman, Yosef Yomdin

Abstract: We study rectangular Vandermonde matrices $\mathbf{V}$ with $N+1$ rows and $s$ irregularly spaced nodes on the unit circle, in cases where some of the nodes are "clustered" together -- the elements inside each cluster being separated by at most $h \lesssim {1\over N}$, and the clusters being separated from each other by at least $θ\gtrsim {1\over N}$. We show that any pair of column subspaces corr… ▽ More We study rectangular Vandermonde matrices $\mathbf{V}$ with $N+1$ rows and $s$ irregularly spaced nodes on the unit circle, in cases where some of the nodes are "clustered" together -- the elements inside each cluster being separated by at most $h \lesssim {1\over N}$, and the clusters being separated from each other by at least $θ\gtrsim {1\over N}$. We show that any pair of column subspaces corresponding to two different clusters are nearly orthogonal: the minimal principal angle between them is at most $$\fracπ{2}-\frac{c_1}{N θ}-c_2 N h,$$ for some constants $c_1,c_2$ depending only on the multiplicities of theclusters. As a result, spectral analysis of $\mathbf{V}_N$ is significantly simplified by reducing the problem to the analysis of each cluster individually. Consequently we derive accurate estimates for 1) all the singular values of $\mathbf{V}$, and 2) componentwise condition numbers for the linear least squares problem. Importantly, these estimates are exponential only in the local cluster multiplicities, while changing at most linearly with $s$. △ Less

Submitted 24 July, 2020; v1 submitted 4 September, 2019; originally announced September 2019.

MSC Class: 15A18; 65T40; 65F20

Super-resolution of near-colliding point sources

Authors: Dmitry Batenkov, Gil Goldman, Yosef Yomdin

Abstract: We consider the problem of stable recovery of sparse signals of the form $$F(x)=\sum_{j=1}^d a_jδ(x-x_j),\quad x_j\in\mathbb{R},\;a_j\in\mathbb{C}, $$ from their spectral measurements, known in a bandwidth $Ω$ with absolute error not exceeding $ε>0$. We consider the case when at most $p\le d$ nodes $\{x_j\}$ of $F$ form a cluster whose extent is smaller than the Rayleigh limit ${1\overΩ}$, while t… ▽ More We consider the problem of stable recovery of sparse signals of the form $$F(x)=\sum_{j=1}^d a_jδ(x-x_j),\quad x_j\in\mathbb{R},\;a_j\in\mathbb{C}, $$ from their spectral measurements, known in a bandwidth $Ω$ with absolute error not exceeding $ε>0$. We consider the case when at most $p\le d$ nodes $\{x_j\}$ of $F$ form a cluster whose extent is smaller than the Rayleigh limit ${1\overΩ}$, while the rest of the nodes are well separated. Provided that $ε\lessapprox SRF^{-2p+1}$, where $SRF=(ΩΔ)^{-1}$ and $Δ$ is the minimal separation between the nodes, we show that the minimax error rate for reconstruction of the cluster nodes is of order ${1\overΩ}SRF^{2p-1}ε$, while for recovering the corresponding amplitudes $\{a_j\}$ the rate is of the order $SRF^{2p-1}ε$. Moreover, the corresponding minimax rates for the recovery of the non-clustered nodes and amplitudes are ${ε\overΩ}$ and $ε$, respectively. These results suggest that stable super-resolution is possible in much more general situations than previously thought. Our numerical experiments show that the well-known Matrix Pencil method achieves the above accuracy bounds. △ Less

Submitted 24 January, 2020; v1 submitted 19 April, 2019; originally announced April 2019.

MSC Class: 42A10

Doubling coverings via resolution of singularities and preparation

Authors: Raf Cluckers, Omer Friedland, Yosef Yomdin

Abstract: In this paper we provide asymptotic upper bounds on the complexity in two (closely related) situations. We confirm for the total doubling coverings and not only for the chains the expected bounds of the form $$ κ({\mathcal U}) \le K_1(\log ({1}/δ))^{K_2} . $$ This is done in a rather general setting, i.e. for the $δ$-complement of a polynomial zero-level hypersurface $Y_0$ and for the regular leve… ▽ More In this paper we provide asymptotic upper bounds on the complexity in two (closely related) situations. We confirm for the total doubling coverings and not only for the chains the expected bounds of the form $$ κ({\mathcal U}) \le K_1(\log ({1}/δ))^{K_2} . $$ This is done in a rather general setting, i.e. for the $δ$-complement of a polynomial zero-level hypersurface $Y_0$ and for the regular level hypersurfaces $Y_c$ themselves with no assumptions on the singularities of $P$. The coefficient $K_2$ is the ambient dimension $n$ in the first case and $n-1$ in the second case. However, the question of a uniform behavior of the coefficient $K_1$ remains open. As a second theme, we confirm in arbitrary dimension the upper bound for the number of a-charts covering a real semi-algebraic set $X$ of dimension $m$ away from the $δ$-neighborhood of a lower dimensional set $S$, with bound of the form $$ κ(δ) \le C (\log ({1}/δ))^{m} $$ holding uniformly in the complexity of $X$. We also show an analogue for level sets with parameter away from the $δ$-neighborhood of a low dimensional set. More generally, the bounds are obtained also for real subanalytic and real power-subanalytic sets. △ Less

Submitted 11 March, 2019; originally announced March 2019.

Conditioning of partial nonuniform Fourier matrices with clustered nodes

Authors: Dmitry Batenkov, Laurent Demanet, Gil Goldman, Yosef Yomdin

Abstract: We prove sharp lower bounds for the smallest singular value of a partial Fourier matrix with arbitrary "off the grid" nodes (equivalently, a rectangular Vandermonde matrix with the nodes on the unit circle), in the case when some of the nodes are separated by less than the inverse bandwidth. The bound is polynomial in the reciprocal of the so-called "super-resolution factor", while the exponent is… ▽ More We prove sharp lower bounds for the smallest singular value of a partial Fourier matrix with arbitrary "off the grid" nodes (equivalently, a rectangular Vandermonde matrix with the nodes on the unit circle), in the case when some of the nodes are separated by less than the inverse bandwidth. The bound is polynomial in the reciprocal of the so-called "super-resolution factor", while the exponent is controlled by the maximal number of nodes which are clustered together. As a corollary, we obtain sharp minimax bounds for the problem of sparse super-resolution on a grid under the partial clustering assumptions. △ Less

Submitted 19 June, 2019; v1 submitted 3 September, 2018; originally announced September 2018.

MSC Class: 15A18 42A82 65F22 94A12

Geometry and Singularities of Prony varieties

Authors: Gil Goldman, Yehonatan Salman, Yosef Yomdin

Abstract: We start a systematic study of the topology, geometry and singularities of the Prony varieties $S_q(μ)$, defined by the first $q+1$ equations of the classical Prony system $$\sum_{j=1}^d a_j x_j^k = μ_k, \ k= 0,1,\ldots \ .$$ Prony varieties, being a generalization of the Vandermonde varieties, introduced in [5,21], present a significant independent mathematical interest (compare [5,19,21]). The… ▽ More We start a systematic study of the topology, geometry and singularities of the Prony varieties $S_q(μ)$, defined by the first $q+1$ equations of the classical Prony system $$\sum_{j=1}^d a_j x_j^k = μ_k, \ k= 0,1,\ldots \ .$$ Prony varieties, being a generalization of the Vandermonde varieties, introduced in [5,21], present a significant independent mathematical interest (compare [5,19,21]). The importance of Prony varieties in the study of the error amplification patterns in solving Prony system was shown in [1-4,19]. In [19] a survey of these results was given, from the point of view of Singularity Theory. In the present paper we show that for $q\ge d$ the variety $S_q(μ)$ is diffeomerphic to an intersection of a certain affine subspace in the space ${\cal V}_d$ of polynomials of degree $d$, with the hyperbolic set $H_d$. On the Prony curves $S_{2d-2}$ we study the behavior of the amplitudes $a_j$ as the nodes $x_j$ collide, and the nodes escape to infinity. We discuss the behavior of the Prony varieties as the right hand side $μ$ varies, and possible connections of this problem with J. Mather's result in [23] on smoothness of solutions in families of linear systems. △ Less

Submitted 5 June, 2018; originally announced June 2018.

Comments: arXiv admin note: text overlap with arXiv:1702.05338

MSC Class: 44A60 (Primary); 34A55; 34A37 (Secondary)

On algebraic properties of low rank approximations of Prony systems

Authors: Gil Goldman, Yosef Yomdin

Abstract: We consider the reconstruction of spike train signals of the form $$F(x) = \sum_{i=1}^d a_i δ(x-x_i),$$ from their moments measurements $m_k(F)=\int x^k F(x) dx = \sum_{i=1}^d a_ix^k$. When some of the nodes $x_i$ near collide the inversion becomes unstable. Given noisy moments measurements, a typical consequence is that reconstruction algorithms estimate the signal $F$ with a signal having fewer… ▽ More We consider the reconstruction of spike train signals of the form $$F(x) = \sum_{i=1}^d a_i δ(x-x_i),$$ from their moments measurements $m_k(F)=\int x^k F(x) dx = \sum_{i=1}^d a_ix^k$. When some of the nodes $x_i$ near collide the inversion becomes unstable. Given noisy moments measurements, a typical consequence is that reconstruction algorithms estimate the signal $F$ with a signal having fewer nodes, $\tilde{F}$. We derive lower bounds for the moments difference between a signal $F$ with $d$ nodes and a signal $\tilde{F}$ with strictly less nodes, $l$. Next we consider the geometry of the non generic case of $d$ nodes signals $F$, for which there exists an $l<d$ nodes signal $\tilde{F}$, with moments \begin{align*} m_0(\tilde{F})=m_{0}(F),\ldots,m_{p}(\tilde{F})=m_{p}(F),&& p>2l-1 . \end{align*} We give a complete description for the case of a general $d$, $l=1$ and $p=2$. We give a reference for the case $p=2l-1$ which can be inferred from earlier work. △ Less

Submitted 25 March, 2018; originally announced March 2018.

MSC Class: 94A12; 62J02; 14P10; 42C99

Accuracy of noisy Spike-Train Reconstruction: a Singularity Theory point of view

Authors: Gil Goldman, Yehonatan Salman, Yosef Yomdin

Abstract: This is a survey paper discussing one specific (and classical) system of algebraic equations - the so called "Prony system". We provide a short overview of its unusually wide connections with many different fields of Mathematics, stressing the role of Singularity Theory. We reformulate Prony System as the problem of reconstruction of "Spike-train" signals of the form… ▽ More This is a survey paper discussing one specific (and classical) system of algebraic equations - the so called "Prony system". We provide a short overview of its unusually wide connections with many different fields of Mathematics, stressing the role of Singularity Theory. We reformulate Prony System as the problem of reconstruction of "Spike-train" signals of the form $F(x)=\sum_{j=1}^d a_jδ(x-x_j)$ from the noisy moment measurements. We provide an overview of some recent results of [1-3, 6, 8, 9, 11, 12, 5] on the "geometry of the error amplification" in the reconstruction process, in situations where the nodes $x_j$ near-collide. Some algebraic-geometric structures, underlying the error amplification, are described (Prony, Vieta, and Hankel mappings, Prony varieties), as well as their connection with Vandermonde mappings and varieties. Our main goal is to present some promising fields of possible applications of Singulary Theory. △ Less

Submitted 22 April, 2018; v1 submitted 7 January, 2018; originally announced January 2018.

MSC Class: 44A60 (Primary); 34A55; 34A37 (Secondary)

Doubling chains on complements of algebraic hypersurfaces

Authors: Omer Friedland, Yosef Yomdin

Abstract: A doubling chart on an $n$-dimensional complex manifold $Y$ is a univalent analytic mapping $ψ:B_1\to Y$ of the unit ball in $\mathbb{C}^n$, which is extendible to the (say) four times larger concentric ball of $B_1$. A doubling covering of a compact set $G$ in $Y$ is its covering with images of doubling charts on $Y$. A doubling chain is a series of doubling charts with non-empty subsequent inter… ▽ More A doubling chart on an $n$-dimensional complex manifold $Y$ is a univalent analytic mapping $ψ:B_1\to Y$ of the unit ball in $\mathbb{C}^n$, which is extendible to the (say) four times larger concentric ball of $B_1$. A doubling covering of a compact set $G$ in $Y$ is its covering with images of doubling charts on $Y$. A doubling chain is a series of doubling charts with non-empty subsequent intersections. Doubling coverings (and doubling chains) provide, essentially, a conformally invariant version of Whitney's ball coverings of a domain $W\subset {\mathbb R}^n$, introduced in [17] (compare [9]). We study doubling chains in the complement $Y=\mathbb{C}^n\setminus H$ of a complex algebraic hypersurface $H$ of degree $d$ in $\mathbb{C}^n$, and provide information on their length and other properties. Our main result is that any two points $v_1,v_2$ in a distance $δ$ from $H$ can be joined via a doubling chain in the complement $Y=\mathbb{C}^n\setminus H$ of length at most $c_1\log (\frac{c_2}δ)$ with explicit constants $c_1,c_2$ depending only on $n$ and $d$. As a consequence, we obtain an upper bound on the Kobayashi distance in $Y$, and an upper bound for the constant in a doubling inequality for regular algebraic functions on $Y$. We also provide the corresponding lower bounds for the length of the doubling chains, through the doubling constant of specific functions on $Y$. △ Less

Submitted 2 August, 2017; originally announced August 2017.

Algebraic Geometry of Error Amplification: the Prony leaves

Authors: Dmitry Batenkov, Gil Goldman, Yehonatan Salman, Yosef Yomdin

Abstract: We provide an overview of some results on the "geometry of error amplification" in solving Prony system, in situations where the nodes near-collide. It turns out to be governed by the "Prony foliations" $S_q$, whose leaves are "equi-moment surfaces" in the parameter space. Next, we prove some new results concerning explicit parametrization of the Prony leaves. We provide an overview of some results on the "geometry of error amplification" in solving Prony system, in situations where the nodes near-collide. It turns out to be governed by the "Prony foliations" $S_q$, whose leaves are "equi-moment surfaces" in the parameter space. Next, we prove some new results concerning explicit parametrization of the Prony leaves. △ Less

Submitted 17 February, 2017; originally announced February 2017.

MSC Class: 44A60 (Primary); 34A55; 34A37 (Secondary)

Geometry of error amplification in solving Prony system with near-colliding nodes

Authors: Andrey Akinshin, Gil Goldman, Yosef Yomdin

Abstract: We consider a reconstruction problem for ``spike-train'' signals $F$ of an a priori known form $F(x)=\sum_{j=1}^{d}a_{j}δ\left(x-x_{j}\right),$ from their moments $m_k(F)=\int x^kF(x)dx.$ We assume that the moments $m_k(F)$, $k=0,1,\ldots,2d-1$, are known with an absolute error not exceeding $ε> 0$. This problem is essentially equivalent to solving the Prony system… ▽ More We consider a reconstruction problem for ``spike-train'' signals $F$ of an a priori known form $F(x)=\sum_{j=1}^{d}a_{j}δ\left(x-x_{j}\right),$ from their moments $m_k(F)=\int x^kF(x)dx.$ We assume that the moments $m_k(F)$, $k=0,1,\ldots,2d-1$, are known with an absolute error not exceeding $ε> 0$. This problem is essentially equivalent to solving the Prony system $\sum_{j=1}^d a_jx_j^k=m_k(F), \ k=0,1,\ldots,2d-1.$ We study the ``geometry of error amplification'' in reconstruction of $F$ from $m_k(F),$ in situations where the nodes $x_1,\ldots,x_d$ near-collide, i.e. form a cluster of size $h \ll 1$. We show that in this case, error amplification is governed by certain algebraic varieties in the parameter space of signals $F$, which we call the ``Prony varieties''. Based on this we produce lower and upper bounds, of the same order, on the worst case reconstruction error. In addition we derive separate lower and upper bounds on the reconstruction of the amplitudes and the nodes. Finally we discuss how to use the geometry of the Prony varieties to improve the reconstruction accuracy given additional a priori information. △ Less

Submitted 17 December, 2019; v1 submitted 15 January, 2017; originally announced January 2017.

MSC Class: 65H10; 94A12; 65J22

Accuracy of reconstruction of spike-trains with two near-colliding nodes

Authors: Andrey Akinshin, Gil Goldman, Vladimir Golubyatnikov, Yosef Yomdin

Abstract: We consider a signal reconstruction problem for signals $F$ of the form $ F(x)=\sum_{j=1}^{d}a_{j}δ\left(x-x_{j}\right),$ from their moments $m_k(F)=\int x^kF(x)dx.$ We assume $m_k(F)$ to be known for $k=0,1,\ldots,N,$ with an absolute error not exceeding $ε> 0$. We study the "geometry of error amplification" in reconstruction of $F$ from $m_k(F),$ in situations where two neighboring nodes… ▽ More We consider a signal reconstruction problem for signals $F$ of the form $ F(x)=\sum_{j=1}^{d}a_{j}δ\left(x-x_{j}\right),$ from their moments $m_k(F)=\int x^kF(x)dx.$ We assume $m_k(F)$ to be known for $k=0,1,\ldots,N,$ with an absolute error not exceeding $ε> 0$. We study the "geometry of error amplification" in reconstruction of $F$ from $m_k(F),$ in situations where two neighboring nodes $x_i$ and $x_{i+1}$ near-collide, i.e $x_{i+1}-x_i=h \ll 1$. We show that the error amplification is governed by certain algebraic curves $S_{F,i},$ in the parameter space of signals $F$, along which the first three moments $m_0,m_1,m_2$ remain constant. △ Less

Submitted 5 January, 2017; originally announced January 2017.

Zeroes and rational points of analytic functions

Authors: Georges Comte, Yosef Yomdin

Abstract: For an analytic function $f(z)=\sum_{k=0}^\infty a_kz^k$ on a neighbourhood of a closed disc $D\subset {\bf C}$, we give assumptions, in terms of the Taylor coefficients $a_k$ of $f$, under which the number of intersection points of the graph $Γ_f$ of $f_{\vert D}$ and algebraic curves of degree $d$ is polynomially bounded in $d$. In particular, we show these assumptions are satisfied for random p… ▽ More For an analytic function $f(z)=\sum_{k=0}^\infty a_kz^k$ on a neighbourhood of a closed disc $D\subset {\bf C}$, we give assumptions, in terms of the Taylor coefficients $a_k$ of $f$, under which the number of intersection points of the graph $Γ_f$ of $f_{\vert D}$ and algebraic curves of degree $d$ is polynomially bounded in $d$. In particular, we show these assumptions are satisfied for random power series, for some explicit classes of lacunary series, and for solutions of linear differential equations with coefficients in ${\bf Q}[z]$. As a consequence, for any function $f$ in these families, $Γ_f$ has less than $β\log^αT$ rational points of height at most $T$, for some $α, β>0$. △ Less

Submitted 16 December, 2017; v1 submitted 8 August, 2016; originally announced August 2016.

Comments: To appear in Ann. Inst. Fourier (Grenoble). This is the last version as accepted by the journal

MSC Class: 14P05 11G50 14G05 30B10 30D15

Doubling coverings of algebraic hypersurfaces

Authors: Omer Friedland, Yosef Yomdin

Abstract: A doubling covering $\U$ of a complex $n$-dimensional manifold $Y$ consists of analytic functions $ψ_j:B_1\to Y$, each function being analytically extendable, as a mapping to $Y$, to a four times larger concentric ball $B_4$. Main result of this paper is an upper bound on the minimal number $κ({\U})$ of charts in doubling coverings of a manifold $Y$, being a compact part of a non-singular level… ▽ More A doubling covering $\U$ of a complex $n$-dimensional manifold $Y$ consists of analytic functions $ψ_j:B_1\to Y$, each function being analytically extendable, as a mapping to $Y$, to a four times larger concentric ball $B_4$. Main result of this paper is an upper bound on the minimal number $κ({\U})$ of charts in doubling coverings of a manifold $Y$, being a compact part of a non-singular level hypersurface $Y=\{P=c\}$, where $P$ is a polynomial on $\C^n$ with non-degenerated critical points. We show that $κ({\U})$ is of order $\log({1}/ρ)$, where $ρ$ is the distance from $Y$ to the singular set of $P$. Our main motivation is that doubling coverings form a special class of "smooth parameterizations", which are used in bounding entropy type invariants in smooth dynamics on one side, and in bounding density of rational points in diophantine geometry on the other. Complexity of smooth parameterizations is a key issue in some important open problems in both areas. We also present connections between doubling coverings and doubling inequalities for analytic functions $f$ on $Y$, which compare the maxima of $|f|$ on couples of compact domains $Ω\subset G$ in $Y$. We shortly indicate connections with Kobayashi metric and with Harnack inequality. △ Less

Submitted 28 June, 2016; v1 submitted 9 December, 2015; originally announced December 2015.

$(s,p)$-Valent Functions

Authors: Omer Friedland, Yosef Yomdin

Abstract: We introduce the notion of $(\mathcal F,p)$-valent functions. We concentrate in our investigation on the case, where $\mathcal F$ is the class of polynomials of degree at most $s$. These functions, which we call $(s,p)$-valent functions, provide a natural generalization of $p$-valent functions (see~\cite{Ha}). We provide a rather accurate characterizing of $(s,p)$-valent functions in terms of thei… ▽ More We introduce the notion of $(\mathcal F,p)$-valent functions. We concentrate in our investigation on the case, where $\mathcal F$ is the class of polynomials of degree at most $s$. These functions, which we call $(s,p)$-valent functions, provide a natural generalization of $p$-valent functions (see~\cite{Ha}). We provide a rather accurate characterizing of $(s,p)$-valent functions in terms of their Taylor coefficients, through "Taylor domination", and through linear non-stationary recurrences with uniformly bounded coefficients. We prove a "distortion theorem" for such functions, comparing them with polynomials sharing their zeroes, and obtain an essentially sharp Remez-type inequality in the spirit of~\cite{Y3} for complex polynomials of one variable. Finally, based on these results, we present a Remez-type inequality for $(s,p)$-valent functions. △ Less

Submitted 1 March, 2015; originally announced March 2015.

Comments: arXiv admin note: text overlap with arXiv:1102.2580

Accuracy of spike-train Fourier reconstruction for colliding nodes

Authors: Andrey Akinshin, Dmitry Batenkov, Yosef Yomdin

Abstract: We consider Fourier reconstruction problem for signals F, which are linear combinations of shifted delta-functions. We assume the Fourier transform of F to be known on the frequency interval [-N,N], with an absolute error not exceeding e > 0. We give an absolute lower bound (which is valid with any reconstruction method) for the "worst case" reconstruction error of F in situations where the nodes… ▽ More We consider Fourier reconstruction problem for signals F, which are linear combinations of shifted delta-functions. We assume the Fourier transform of F to be known on the frequency interval [-N,N], with an absolute error not exceeding e > 0. We give an absolute lower bound (which is valid with any reconstruction method) for the "worst case" reconstruction error of F in situations where the nodes (i.e. the positions of the shifted delta-functions in F) are known to form an l elements cluster of a size h << 1. Using "decimation" reconstruction algorithm we provide an upper bound for the reconstruction error, essentially of the same form as the lower one. Roughly, our main result states that for N*h of order of (2l-1)-st root of e the worst case reconstruction error of the cluster nodes is of the same order as h, and hence the inside configuration of the cluster nodes (in the worst case scenario) cannot be reconstructed at all. On the other hand, decimation algorithm reconstructs F with the accuracy of order of 2l-st root of e. △ Less

Submitted 24 February, 2015; originally announced February 2015.

Taylor Domination, Difference Equations, and Bautin Ideals

Authors: Dmitry Batenkov, Yosef Yomdin

Abstract: We compare three approaches to studying the behavior of an analytic function $f(z)=\sum_{k=0}^\infty a_kz^k$ from its Taylor coefficients. The first is "Taylor domination" property for $f(z)$ in the complex disk $D_R$, which is an inequality of the form \[ |a_{k}|R^{k}\leq C\ \max_{i=0,\dots,N}\ |a_{i}|R^{i}, \ k \geq N+1. \] The second approach is based on a possibility to generate $a_k$ via recu… ▽ More We compare three approaches to studying the behavior of an analytic function $f(z)=\sum_{k=0}^\infty a_kz^k$ from its Taylor coefficients. The first is "Taylor domination" property for $f(z)$ in the complex disk $D_R$, which is an inequality of the form \[ |a_{k}|R^{k}\leq C\ \max_{i=0,\dots,N}\ |a_{i}|R^{i}, \ k \geq N+1. \] The second approach is based on a possibility to generate $a_k$ via recurrence relations. Specifically, we consider linear non-stationary recurrences of the form \[ a_{k}=\sum_{j=1}^{d}c_{j}(k)\cdot a_{k-j},\ \ k=d,d+1,\dots, \] with uniformly bounded coefficients. In the third approach we assume that $a_k=a_k(λ)$ are polynomials in a finite-dimensional parameter $λ\in {\mathbb C}^n.$ We study "Bautin ideals" $I_k$ generated by $a_{1}(λ),\ldots,a_{k}(λ)$ in the ring ${\mathbb C}[λ]$ of polynomials in $λ$. \smallskip These three approaches turn out to be closely related. We present some results and questions in this direction. △ Less

Submitted 27 November, 2014; originally announced November 2014.

Comments: arXiv admin note: substantial text overlap with arXiv:1301.6033

MSC Class: 30B10; 39A06

Smooth Parametrizations in Dynamics, Analysis, Diophantine and Computational Geometry

Authors: Y. Yomdin

Abstract: Smooth parametrization consists in a subdivision of the mathematical objects under consideration into simple pieces, and then parametric representation of each piece, while keeping control of high order derivatives. The main goal of the present paper is to provide a short overview of some results and open problems on smooth parametrization and its applications in several apparently rather separate… ▽ More Smooth parametrization consists in a subdivision of the mathematical objects under consideration into simple pieces, and then parametric representation of each piece, while keeping control of high order derivatives. The main goal of the present paper is to provide a short overview of some results and open problems on smooth parametrization and its applications in several apparently rather separated domains: Smooth Dynamics, Diophantine Geometry, Approximation Theory, and Computational Geometry. The structure of the results, open problems, and conjectures in each of these domains shows in many cases a remarkable similarity, which we try to stress. Sometimes this similarity can be easily explained, sometimes the reasons remain somewhat obscure, and it motivates some natural questions discussed in the paper. We present also some new results, stressing interconnection between various types and various applications of smooth parametrization. △ Less

Submitted 11 July, 2014; v1 submitted 3 June, 2014; originally announced June 2014.

Norming Sets and Related Remez-type Inequalities

Authors: A. Brudnyi, Y. Yomdin

Abstract: The classical Remez inequality bounds the maximum of the absolute value of a real polynomial $P$ of degree $d$ on $[-1,1]$ through the maximum of its absolute value on any subset $Z\subset [-1,1]$ of positive Lebesgue measure. Extensions to several variables and to certain sets of Lebesgue measure zero, massive in a much weaker sense, are available. Still, given a subset… ▽ More The classical Remez inequality bounds the maximum of the absolute value of a real polynomial $P$ of degree $d$ on $[-1,1]$ through the maximum of its absolute value on any subset $Z\subset [-1,1]$ of positive Lebesgue measure. Extensions to several variables and to certain sets of Lebesgue measure zero, massive in a much weaker sense, are available. Still, given a subset $Z\subset [-1,1]^n\subset {\mathbb R}^n$ it is not easy to determine whether it is ${\mathcal P}_d({\mathbb R}^n)$-norming (here ${\mathcal P}_d({\mathbb R}^n)$ is the space of real polynomials of degree at most $d$ on ${\mathbb R}^n$), i.e. satisfies a Remez-type inequality: $\sup_{[-1,1]^n}|P|\le C\sup_{Z}|P|$ for all $P\in {\mathcal P}_d({\mathbb R}^n)$ with $C$ independent of $P$. (Although ${\mathcal P}_d({\mathbb R}^n)$-norming sets are exactly those not contained in any algebraic hypersurface of degree $d$ in ${\mathbb R}^n$, there are many apparently unrelated reasons for $Z \subset [-1,1]^n$ to have this property.) In the present paper we study norming sets and related Remez-type inequalities in a general setting of finite-dimensional linear spaces $V$ of continuous functions on $[-1,1]^n$, remaining in most of the examples in the classical framework. First, we discuss some sufficient conditions for $Z$ to be $V$-norming, partly known, partly new, restricting ourselves to the simplest non-trivial examples. Next, we extend the Turan-Nazarov inequality for exponential polynomials to several variables, and on this base prove a new fewnomial Remez-type inequality. Finally, we study the family of optimal constants $N_{V}(Z)$ in the Remez-type inequalities for $V$, as the function of the set $Z$, showing that it is Lipschitz in the Hausdorff metric. △ Less

Submitted 20 December, 2013; originally announced December 2013.

MSC Class: 41A17; 41A63

Journal ref: J. Aust. Math. Soc. 100 (2016) 163-181

Parametric Center-Focus Problem for Abel Equation

Authors: M. Briskin, F. Pakovich, Y. Yomdin

Abstract: The Abel differential equation $y'=p(x)y^3 + q(x) y^2$ with meromorphic coefficients $p,q$ is said to have a center on $[a,b]$ if all its solutions, with the initial value $y(a)$ small enough, satisfy the condition $y(a)=y(b)$. The problem of giving conditions on $(p,q,a,b)$ implying a center for the Abel equation is analogous to the classical Poincaré Center-Focus problem for plane vector fields.… ▽ More The Abel differential equation $y'=p(x)y^3 + q(x) y^2$ with meromorphic coefficients $p,q$ is said to have a center on $[a,b]$ if all its solutions, with the initial value $y(a)$ small enough, satisfy the condition $y(a)=y(b)$. The problem of giving conditions on $(p,q,a,b)$ implying a center for the Abel equation is analogous to the classical Poincaré Center-Focus problem for plane vector fields. Following [3,4,8,9] we say that Abel equation has a "parametric center" if for each $\varepsilon \in \mathbb C$ the equation $y'=p(x)y^3 + \varepsilon q(x) y^2$ has a center. In the present paper we use recent results of [15,6} to show show that for a polynomial Abel equation parametric center implies strong "composition" restriction on $p$ and $q$. In particular, we show that for $°p,q \leq 10$ parametric center is equivalent to the so-called "Composition Condition" (CC) on $p,q$. Second, we study trigonometric Abel equation, and provide a series of examples, generalizing a recent remarkable example given in [8], where certain moments of $p,q$ vanish while (CC) is violated. △ Less

Submitted 8 January, 2018; v1 submitted 5 December, 2013; originally announced December 2013.

Comments: This version is identical to the first one. The replacement is due to the fact that by mistake as a second version another paper was downnloaded. The paper was published by "Qual. Theory Dyn. Syst" in 2014

Accuracy of Algebraic Fourier Reconstruction for Shifts of Several Signals

Authors: Dmitry Batenkov, Niv Sarig, Yosef Yomdin

Abstract: We consider the problem of "algebraic reconstruction" of linear combinations of shifts of several known signals $f_1,\ldots,f_k$ from the Fourier samples. Following \cite{Bat.Sar.Yom2}, for each $j=1,\ldots,k$ we choose sampling set $S_j$ to be a subset of the common set of zeroes of the Fourier transforms ${\cal F}(f_\ell), \ \ell \ne j$, on which ${\cal F}(f_j)\ne 0$. It was shown in \cite{Bat.S… ▽ More We consider the problem of "algebraic reconstruction" of linear combinations of shifts of several known signals $f_1,\ldots,f_k$ from the Fourier samples. Following \cite{Bat.Sar.Yom2}, for each $j=1,\ldots,k$ we choose sampling set $S_j$ to be a subset of the common set of zeroes of the Fourier transforms ${\cal F}(f_\ell), \ \ell \ne j$, on which ${\cal F}(f_j)\ne 0$. It was shown in \cite{Bat.Sar.Yom2} that in this way the reconstruction system is "decoupled" into $k$ separate systems, each including only one of the signals $f_j$. The resulting systems are of a "generalized Prony" form. However, the sampling sets as above may be non-uniform/not "dense enough" to allow for a unique reconstruction of the shifts and amplitudes. In the present paper we study uniqueness and robustness of non-uniform Fourier sampling of signals as above, investigating sampling of exponential polynomials with purely imaginary exponents. As the main tool we apply a well-known result in Harmonic Analysis: the Turán-Nazarov inequality (\cite{Naz}), and its generalization to discrete sets, obtained in \cite{Fri.Yom}. We illustrate our general approach with examples, and provide some simulation results. △ Less

Submitted 14 April, 2014; v1 submitted 14 November, 2013; originally announced November 2013.

MSC Class: 94A20; 65T40

Journal ref: Sampling Theory in Signal and Image Processing (STSIP), Vol.13, No. 2, 2014, pp.151-173

Sampling, Metric Entropy and Dimensionality Reduction

Authors: D. Batenkov, O. Friedland, Y. Yomdin

Abstract: Let $Q$ be a relatively compact subset in a Hilbert space $V$. For a given $\e>0$ let $N(\e,Q)$ be the minimal number of linear measurements, sufficient to reconstruct any $x \in Q$ with the accuracy $\e$. We call $N(\e,Q)$ a sampling $\e$-entropy of $Q$. Using Dimensionality Reduction, as provided by the Johnson-Lindenstrauss lemma, we show that, in an appropriate probabilistic setting,… ▽ More Let $Q$ be a relatively compact subset in a Hilbert space $V$. For a given $\e>0$ let $N(\e,Q)$ be the minimal number of linear measurements, sufficient to reconstruct any $x \in Q$ with the accuracy $\e$. We call $N(\e,Q)$ a sampling $\e$-entropy of $Q$. Using Dimensionality Reduction, as provided by the Johnson-Lindenstrauss lemma, we show that, in an appropriate probabilistic setting, $N(\e,Q)$ is bounded from above by the Kolmogorov's $\e$-entropy $H(\e,Q)$, defined as $H(\e,Q)=\log M(\e,Q)$, with $M(\e,Q)$ being the minimal number of $\e$-balls covering $Q$. As the main application, we show that piecewise smooth (piecewise analytic) functions in one and several variables can be sampled with essentially the same accuracy rate as their regular counterparts. For univariate piecewise $C^k$-smooth functions this result, which settles the so-called Eckhoff conjecture, was recently established in \cite{Bat} via a deterministic "algebraic reconstruction" algorithm. △ Less

Submitted 13 August, 2013; originally announced August 2013.

MSC Class: 65T40; 65D15

Remez-Type Inequality for Smooth Functions

Authors: Yosef Yomdin

Abstract: The classical Remez inequality bounds the maximum of the absolute value of a polynomial $P(x)$ of degree $d$ on $[-1,1]$ through the maximum of its absolute value on any subset $Z$ of positive measure in $[-1,1]$. Similarly, in several variables the maximum of the absolute value of a polynomial $P(x)$ of degree $d$ on the unit ball $B^n \subset {\mathbb R}^n$ can be bounded through the maximum of… ▽ More The classical Remez inequality bounds the maximum of the absolute value of a polynomial $P(x)$ of degree $d$ on $[-1,1]$ through the maximum of its absolute value on any subset $Z$ of positive measure in $[-1,1]$. Similarly, in several variables the maximum of the absolute value of a polynomial $P(x)$ of degree $d$ on the unit ball $B^n \subset {\mathbb R}^n$ can be bounded through the maximum of its absolute value on any subset $Z\subset Q^n_1$ of positive $n$-measure $m_n(Z)$. In \cite{Yom} a stronger version of Remez inequality was obtained: the Lebesgue $n$-measure $m_n$ was replaced by a certain geometric quantity $ω_{n,d}(Z)$ satisfying $ω_{n,d}(Z)\geq m_n(Z)$ for any measurable $Z$. The quantity $ω_{n,d}(Z)$ can be effectively estimated in terms of the metric entropy of $Z$ and it may be nonzero for discrete and even finite sets $Z$. In the present paper we extend Remez inequality to functions of finite smoothness. This is done by combining the result of \cite{Yom} with the Taylor polynomial approximation of smooth functions. As a consequence we obtain explicit lower bounds in some examples in the Whitney problem of a $C^k$-smooth extrapolation from a given set $Z$, in terms of the geometry of $Z$. △ Less

Submitted 16 June, 2013; originally announced June 2013.

MSC Class: 26D05; 30E05; 42A05

Algebraic signal sampling, Gibbs phenomenon and Prony-type systems

Authors: Dmitry Batenkov, Yosef Yomdin

Abstract: Systems of Prony type appear in various signal reconstruction problems such as finite rate of innovation, superresolution and Fourier inversion of piecewise smooth functions. We propose a novel approach for solving Prony-type systems, which requires sampling the signal at arithmetic progressions. By keeping the number of equations small and fixed, we demonstrate that such "decimation" can lead to… ▽ More Systems of Prony type appear in various signal reconstruction problems such as finite rate of innovation, superresolution and Fourier inversion of piecewise smooth functions. We propose a novel approach for solving Prony-type systems, which requires sampling the signal at arithmetic progressions. By keeping the number of equations small and fixed, we demonstrate that such "decimation" can lead to practical improvements in the reconstruction accuracy. As an application, we provide a solution to the so-called Eckhoff's conjecture, which asked for reconstructing jump positions and magnitudes of a piecewise-smooth function from its Fourier coefficients with maximal possible asymptotic accuracy -- thus eliminating the Gibbs phenomenon. △ Less

Submitted 5 June, 2013; originally announced June 2013.

Decoupling of Fourier Reconstruction System for Shifts of Several Signals

Authors: Dmitry Batenkov, Niv Sarig, Yosef Yomdin

Abstract: We consider the problem of ``algebraic reconstruction'' of linear combinations of shifts of several signals $f_1,\ldots,f_k$ from the Fourier samples. For each $r=1,\ldots,k$ we choose sampling set $S_r$ to be a subset of the common set of zeroes of the Fourier transforms ${\cal F}(f_ł), \ ł\ne r$, on which ${\cal F}(f_r)\ne 0$. We show that in this way the reconstruction system is reduced to $k$… ▽ More We consider the problem of ``algebraic reconstruction'' of linear combinations of shifts of several signals $f_1,\ldots,f_k$ from the Fourier samples. For each $r=1,\ldots,k$ we choose sampling set $S_r$ to be a subset of the common set of zeroes of the Fourier transforms ${\cal F}(f_ł), \ ł\ne r$, on which ${\cal F}(f_r)\ne 0$. We show that in this way the reconstruction system is reduced to $k$ separate systems, each including only one of the signals $f_r$. Each of the resulting systems is of a ``generalized Prony'' form. We discuss the problem of unique solvability of such systems, and provide some examples. △ Less

Submitted 13 May, 2013; originally announced May 2013.

MSC Class: 94A12

Vitushkin-type theorems

Authors: Omer Friedland, Yosef Yomdin

Abstract: It is shown that for a subset $A\subset\R^n$ that has the global Gabrielov property, a Vitushkin-type estimate holds. Concrete examples are given for sub-level sets of certain classes of functions. It is shown that for a subset $A\subset\R^n$ that has the global Gabrielov property, a Vitushkin-type estimate holds. Concrete examples are given for sub-level sets of certain classes of functions. △ Less

Submitted 21 February, 2013; originally announced February 2013.

MSC Class: 14P10; 26B15

Taylor Domination, Turán lemma, and Poincaré-Perron Sequences

Authors: Dmitry Batenkov, Yosef Yomdin

Abstract: We consider "Taylor domination" property for an analytic function $f(z)=\sum_{k=0}^{\infty}a_{k}z^{k},$ in the complex disk $D_R$, which is an inequality of the form \[ |a_{k}|R^{k}\leq C\ \max_{i=0,\dots,N}\ |a_{i}|R^{i}, \ k \geq N+1. \] This property is closely related to the classical notion of "valency" of $f$ in $D_R$. For $f$ - rational function we show that Taylor domination is essentially… ▽ More We consider "Taylor domination" property for an analytic function $f(z)=\sum_{k=0}^{\infty}a_{k}z^{k},$ in the complex disk $D_R$, which is an inequality of the form \[ |a_{k}|R^{k}\leq C\ \max_{i=0,\dots,N}\ |a_{i}|R^{i}, \ k \geq N+1. \] This property is closely related to the classical notion of "valency" of $f$ in $D_R$. For $f$ - rational function we show that Taylor domination is essentially equivalent to a well-known and widely used Turán's inequality on the sums of powers. Next we consider linear recurrence relations of the Poincaré type \[ a_{k}=\sum_{j=1}^{d}[c_{j}+ψ_{j}(k)]a_{k-j},\ \ k=d,d+1,\dots,\quad\text{with }\lim_{k\rightarrow\infty}ψ_{j}(k)=0. \] We show that the generating functions of their solutions possess Taylor domination with explicitly specified parameters. As the main example we consider moment generating functions, i.e. the Stieltjes transforms \[ S_{g}\left(z\right)=\int\frac{g\left(x\right)dx}{1-zx}. \] We show Taylor domination property for such $S_{g}$ when $g$ is a piecewise D-finite function, satisfying on each continuity segment a linear ODE with polynomial coefficients. △ Less

Submitted 18 November, 2014; v1 submitted 25 January, 2013; originally announced January 2013.

Geometry and Singularities of the Prony mapping

Authors: Dmitry Batenkov, Yosef Yomdin

Abstract: Prony mapping provides the global solution of the Prony system of equations \[ Σ_{i=1}^{n}A_{i}x_{i}^{k}=m_{k},\ k=0,1,...,2n-1. \] This system appears in numerous theoretical and applied problems arising in Signal Reconstruction. The simplest example is the problem of reconstruction of linear combination of $δ$-functions of the form $g(x)=\sum_{i=1}^{n}a_{i}δ(x-x_{i})$, with the unknown parameter… ▽ More Prony mapping provides the global solution of the Prony system of equations \[ Σ_{i=1}^{n}A_{i}x_{i}^{k}=m_{k},\ k=0,1,...,2n-1. \] This system appears in numerous theoretical and applied problems arising in Signal Reconstruction. The simplest example is the problem of reconstruction of linear combination of $δ$-functions of the form $g(x)=\sum_{i=1}^{n}a_{i}δ(x-x_{i})$, with the unknown parameters $a_{i},\ x_{i},\ i=1,...,n,$ from the "moment measurements" $m_{k}=\int x^{k}g(x)dx.$ Global solution of the Prony system, i.e. inversion of the Prony mapping, encounters several types of singularities. One of the most important ones is a collision of some of the points $x_{i}.$ The investigation of this type of singularities has been started in \cite{yom2009Singularities} where the role of finite differences was demonstrated. In the present paper we study this and other types of singularities of the Prony mapping, and describe its global geometry. We show, in particular, close connections of the Prony mapping with the "Vieta mapping" expressing the coefficients of a polynomial through its roots, and with hyperbolic polynomials and "Vandermonde mapping" studied by V. Arnold. △ Less

Submitted 7 January, 2013; originally announced January 2013.

Comments: arXiv admin note: text overlap with arXiv:1301.1187

MSC Class: 94A12; 62J02; 14P10; 42C99

Local and global geometry of Prony systems and Fourier reconstruction of piecewise-smooth functions

Authors: Dmitry Batenkov, Yosef Yomdin

Abstract: Many reconstruction problems in signal processing require solution of a certain kind of nonlinear systems of algebraic equations, which we call Prony systems. We study these systems from a general perspective, addressing questions of global solvability and stable inversion. Of special interest are the so-called "near-singular" situations, such as a collision of two closely spaced nodes. We also… ▽ More Many reconstruction problems in signal processing require solution of a certain kind of nonlinear systems of algebraic equations, which we call Prony systems. We study these systems from a general perspective, addressing questions of global solvability and stable inversion. Of special interest are the so-called "near-singular" situations, such as a collision of two closely spaced nodes. We also discuss the problem of reconstructing piecewise-smooth functions from their Fourier coefficients, which is easily reduced by a well-known method of K.Eckhoff to solving a particular Prony system. As we show in the paper, it turns out that a modification of this highly nonlinear method can reconstruct the jump locations and magnitudes of such functions, as well as the pointwise values between the jumps, with the maximal possible accuracy. △ Less

Submitted 3 April, 2014; v1 submitted 7 January, 2013; originally announced January 2013.

Comments: arXiv admin note: text overlap with arXiv:1211.0680

Algebraic Geometry of the Center-Focus problem for Abel Differential Equation

Authors: M. Briskin, F. Pakovich, Y. Yomdin

Abstract: The Abel differential equation $y'=p(x)y^3 + q(x) y^2$ with polynomial coefficients $p,q$ is said to have a center on $[a,b]$ if all its solutions, with the initial value $y(a)$ small enough, satisfy the condition $y(a)=y(b)$. The problem of giving conditions on $(p,q,a,b)$ implying a center for the Abel equation is analogous to the classical Poincaré Center-Focus problem for plane vector fields.… ▽ More The Abel differential equation $y'=p(x)y^3 + q(x) y^2$ with polynomial coefficients $p,q$ is said to have a center on $[a,b]$ if all its solutions, with the initial value $y(a)$ small enough, satisfy the condition $y(a)=y(b)$. The problem of giving conditions on $(p,q,a,b)$ implying a center for the Abel equation is analogous to the classical Poincaré Center-Focus problem for plane vector fields. Center conditions are provided by an infinite system of "Center Equations". An important new information on these equations has been obtained via a detailed analysis of two related structures: Composition Algebra and Moment Equations (first order approximation of the Center ones). Recently one of the basic open questions in this direction - the "Polynomial moments problem" - has been completely settled in \cite{mp1,pak}. In this paper we present a progress in the following two main directions: First, we translate the results of \cite{mp1,pak} into the language of Algebraic Geometry of the Center Equations. On this base we obtain new information on the center conditions, significantly extending, in particular, the results of \cite{broy}. Second, we study the "second Melnikov coefficients" (second order approximation of the Center equations) showing that in many cases vanishing of the moments and of these coefficients is sufficient in order to completely characterize centers. △ Less

Submitted 6 July, 2014; v1 submitted 6 November, 2012; originally announced November 2012.

MSC Class: 34C07; 34C08

Journal ref: Ergod. Th. Dynam. Sys. 36 (2016) 714-744

Reconstruction of Planar Domains from Partial Integral Measurements

Authors: Dmitry Batenkov, Vladimir Golubyatnikov, Yosef Yomdin

Abstract: We consider the problem of reconstruction of planar domains from their moments. Specifically, we consider domains with boundary which can be represented by a union of a finite number of pieces whose graphs are solutions of a linear differential equation with polynomial coefficients. This includes domains with piecewise-algebraic and, in particular, piecewise-polynomial boundaries. Our approach is… ▽ More We consider the problem of reconstruction of planar domains from their moments. Specifically, we consider domains with boundary which can be represented by a union of a finite number of pieces whose graphs are solutions of a linear differential equation with polynomial coefficients. This includes domains with piecewise-algebraic and, in particular, piecewise-polynomial boundaries. Our approach is based on one-dimensional reconstruction method of [Bat]* and a kind of "separation of variables" which reduces the planar problem to two one-dimensional problems, one of them parametric. Several explicit examples of reconstruction are given. Another main topic of the paper concerns "invisible sets" for various types of incomplete moment measurements. We suggest a certain point of view which stresses remarkable similarity between several apparently unrelated problems. In particular, we discuss zero quadrature domains (invisible for harmonic polynomials), invisibility for powers of a given polynomial, and invisibility for complex moments (Wermer's theorem and further developments). The common property we would like to stress is a "rigidity" and symmetry of the invisible objects. * D.Batenkov, Moment inversion of piecewise D-finite functions, Inverse Problems 25 (2009) 105001 △ Less

Submitted 25 May, 2012; originally announced May 2012.

Comments: Proceedings of Complex Analysis and Dynamical Systems V, 2012

MSC Class: 44A60 (Primary) 34A55 (Secondary)

Journal ref: Contemporary Mathematics, vol. 591, 2013. pp.51-66

An observation on the Turán-Nazarov inequality

Authors: Omer Friedland, Yosef Yomdin

Abstract: The main observation of this note is that the Lebesgue measure $μ$ in the Turán-Nazarov inequality for exponential polynomials can be replaced with a certain geometric invariant $ω\ge μ$, which can be effectively estimated in terms of the metric entropy of a set, and may be nonzero for discrete and even finite sets. While the frequencies (the imaginary parts of the exponents) do not enter in the o… ▽ More The main observation of this note is that the Lebesgue measure $μ$ in the Turán-Nazarov inequality for exponential polynomials can be replaced with a certain geometric invariant $ω\ge μ$, which can be effectively estimated in terms of the metric entropy of a set, and may be nonzero for discrete and even finite sets. While the frequencies (the imaginary parts of the exponents) do not enter in the original Turán-Nazarov inequality, they necessarily enter the definition of $ω$. △ Less

Submitted 7 August, 2013; v1 submitted 30 June, 2011; originally announced July 2011.

MSC Class: 26D05; 30E05; 42A05

On the accuracy of solving confluent Prony systems

Authors: Dmitry Batenkov, Yosef Yomdin

Abstract: In this paper we consider several nonlinear systems of algebraic equations which can be called "Prony-type". These systems arise in various reconstruction problems in several branches of theoretical and applied mathematics, such as frequency estimation and nonlinear Fourier inversion. Consequently, the question of stability of solution with respect to errors in the right-hand side becomes critical… ▽ More In this paper we consider several nonlinear systems of algebraic equations which can be called "Prony-type". These systems arise in various reconstruction problems in several branches of theoretical and applied mathematics, such as frequency estimation and nonlinear Fourier inversion. Consequently, the question of stability of solution with respect to errors in the right-hand side becomes critical for the success of any particular application. We investigate the question of "maximal possible accuracy" of solving Prony-type systems, putting stress on the "local" behavior which approximates situations with low absolute measurement error. The accuracy estimates are formulated in very simple geometric terms, shedding some light on the structure of the problem. Numerical tests suggest that "global" solution techniques such as Prony's algorithm and ESPRIT method are suboptimal when compared to this theoretical "best local" behavior. △ Less

Submitted 26 June, 2012; v1 submitted 6 June, 2011; originally announced June 2011.

MSC Class: 65H10; 41A46; 94A12

Journal ref: SIAM J. Appl. Math., 73(1), 2013, pp. 134--154

Algebraic reconstruction of piecewise-smooth functions from integral measurements

Authors: Dmitry Batenkov, Niv Sarig, Yosef Yomdin

Abstract: This paper presents some results on a well-known problem in Algebraic Signal Sampling and in other areas of applied mathematics: reconstruction of piecewise-smooth functions from their integral measurements (like moments, Fourier coefficients, Radon transform, etc.). Our results concern reconstruction (from the moments or Fourier coefficients) of signals in two specific classes: linear combination… ▽ More This paper presents some results on a well-known problem in Algebraic Signal Sampling and in other areas of applied mathematics: reconstruction of piecewise-smooth functions from their integral measurements (like moments, Fourier coefficients, Radon transform, etc.). Our results concern reconstruction (from the moments or Fourier coefficients) of signals in two specific classes: linear combinations of shifts of a given function, and "piecewise $D$-finite functions" which satisfy on each continuity interval a linear differential equation with polynomial coefficients. In each case the problem is reduced to a solution of a certain type of non-linear algebraic system of equations ("Prony-type system"). We recall some known methods for explicitly solving such systems in one variable, and provide extensions to some multi-dimensional cases. Finally, we investigate the local stability of solving the Prony-type systems. △ Less

Submitted 21 March, 2011; originally announced March 2011.

MSC Class: 94A12; 94A20

Journal ref: Functional Differential Equations, 19(1-2), 2012, pp.13-30

Generalized Remez Inequality for $(s,p)$-Valent Functions

Authors: Yosef Yomdin

Abstract: The classical Remez inequality bounds the maximum of the absolute value of a polynomial $P(x)$ of degree $d$ on $[-1,1]$ through the maximum of its absolute value on any subset $Z$ of positive measure in $[-1,1]$. It was shown in \cite{Yom3} that the Lebesgue measure in the Remez inequality can be replaced by a certain geometric invariant $ω_d(Z)$ which can be effectively estimated in terms of the… ▽ More The classical Remez inequality bounds the maximum of the absolute value of a polynomial $P(x)$ of degree $d$ on $[-1,1]$ through the maximum of its absolute value on any subset $Z$ of positive measure in $[-1,1]$. It was shown in \cite{Yom3} that the Lebesgue measure in the Remez inequality can be replaced by a certain geometric invariant $ω_d(Z)$ which can be effectively estimated in terms of the metric entropy of $Z$ and which may be nonzero for discrete and even finite sets $Z$. In the present paper we first obtain an essentially sharp Remez-type inequality in the spirit of \cite{Yom3} for complex polynomials of one variable, introducing metric invariants $c_d(Z)$ and $ø_{cd}(Z)$ for an arbitrary subset $Z\subset D_1\subset {\mathbb C}$. These invariants translate into the the metric language the classical Cartan lemma (see \cite{Gor} and references therein). Next we introduce $(s,p)$-valent functions, which provide a natural generalization of $p$-valent ones (see \cite{Hay} and references therein). We prove a "distortion theorem" for such functions, comparing them with polynomials sharing their zeroes. On this base we extend to $(s,p)$-valent functions our polynomial Remez-type inequality. As the main example we consider restrictions $g$ of polynomials of a growing degree to a fixed algebraic curve, for which we obtain an essentially sharp "local" Remez-type inequality, stressing the role of the geometry of singularities of $g$. Finally, we obtain for such functions $g$ a "global" Remez-type inequality which is valid for all the branches of $g$ and involves both the geometry of singularities of $g$ and its monodromy. △ Less

Submitted 13 February, 2011; originally announced February 2011.

Algebraic Fourier reconstruction of piecewise smooth functions

Authors: Dmitry Batenkov, Yosef Yomdin

Abstract: Accurate reconstruction of piecewise-smooth functions from a finite number of Fourier coefficients is an important problem in various applications. The inherent inaccuracy, in particular the Gibbs phenomenon, is being intensively investigated during the last decades. Several nonlinear reconstruction methods have been proposed, and it is by now well-established that the "classical" convergence orde… ▽ More Accurate reconstruction of piecewise-smooth functions from a finite number of Fourier coefficients is an important problem in various applications. The inherent inaccuracy, in particular the Gibbs phenomenon, is being intensively investigated during the last decades. Several nonlinear reconstruction methods have been proposed, and it is by now well-established that the "classical" convergence order can be completely restored up to the discontinuities. Still, the maximal accuracy of determining the positions of these discontinuities remains an open question. In this paper we prove that the locations of the jumps (and subsequently the pointwise values of the function) can be reconstructed with at least "half the classical accuracy". In particular, we develop a constructive approximation procedure which, given the first $k$ Fourier coefficients of a piecewise-$C^{2d+1}$ function, recovers the locations of the jumps with accuracy $\sim k^{-(d+2)}$, and the values of the function between the jumps with accuracy $\sim k^{-(d+1)}$ (similar estimates are obtained for the associated jump magnitudes). A key ingredient of the algorithm is to start with the case of a single discontinuity, where a modified version of one of the existing algebraic methods (due to K.Eckhoff) may be applied. It turns out that the additional orders of smoothness produce a highly correlated error terms in the Fourier coefficients, which eventually cancel out in the corresponding algebraic equations. To handle more than one jump, we propose to apply a localization procedure via a convolution in the Fourier domain. △ Less

Submitted 13 May, 2010; v1 submitted 11 May, 2010; originally announced May 2010.

MSC Class: 65T40 (Primary) 65D15 (Secondary)

Journal ref: Math. Comp. 81 (2012), 277-318

Remez-Type Inequality for Discrete Sets

Authors: Y. Yomdin

Abstract: The classical Remez inequality bounds the maximum of the absolute value of a polynomial $P(x)$ of degree $d$ on $[-1,1]$ through the maximum of its absolute value on any subset $Z$ of positive measure in $[-1,1]$. Similarly, in several variables the maximum of the absolute value of a polynomial $P(x)$ of degree $d$ on the unit cube $Q^n_1 \subset {\mathbb R}^n$ can be bounded through the maximum… ▽ More The classical Remez inequality bounds the maximum of the absolute value of a polynomial $P(x)$ of degree $d$ on $[-1,1]$ through the maximum of its absolute value on any subset $Z$ of positive measure in $[-1,1]$. Similarly, in several variables the maximum of the absolute value of a polynomial $P(x)$ of degree $d$ on the unit cube $Q^n_1 \subset {\mathbb R}^n$ can be bounded through the maximum of its absolute value on any subset $Z\subset Q^n_1$ of positive $n$-measure. The main result of this paper is that the $n$-measure in the Remez inequality can be replaced by a certain geometric invariant $ω_d(Z)$ which can be effectively estimated in terms of the metric entropy of $Z$ and which may be nonzero for discrete and even finite sets $Z$. △ Less

Submitted 10 November, 2009; originally announced November 2009.

Comments: 22 pages

MSC Class: 41

An "algebraic" reconstruction of piecewise-smooth functions from integral measurements

Authors: Dima Batenkov, Niv Sarig, Yosef Yomdin

Abstract: This paper presents some results on a well-known problem in Algebraic Signal Sampling and in other areas of applied mathematics: reconstruction of piecewise-smooth functions from their integral measurements (like moments, Fourier coefficients, Radon transform, etc.). Our results concern reconstruction (from the moments) of signals in two specific classes: linear combinations of shifts of a given… ▽ More This paper presents some results on a well-known problem in Algebraic Signal Sampling and in other areas of applied mathematics: reconstruction of piecewise-smooth functions from their integral measurements (like moments, Fourier coefficients, Radon transform, etc.). Our results concern reconstruction (from the moments) of signals in two specific classes: linear combinations of shifts of a given function, and "piecewise $D$-finite functions" which satisfy on each continuity interval a linear differential equation with polynomial coefficients. △ Less

Submitted 29 January, 2009; originally announced January 2009.

Comments: Submitted to Sampta09 conference

Signal Acquisition from Measurements via Non-Linear Models

Authors: Niv Sarig, Yosef Yomdin

Abstract: We consider the problem of reconstruction of a non-linear finite-parametric model $M=M_p(x),$ with $p=(p_1,...,p_r)$ a set of parameters, from a set of measurements $μ_j(M)$. In this paper $μ_j(M)$ are always the moments $m_j(M)=\int x^jM_p(x)dx$. This problem is a central one in Signal Processing, Statistics, and in many other applications. We concentrate on a direct (and somewhat "naive") ap… ▽ More We consider the problem of reconstruction of a non-linear finite-parametric model $M=M_p(x),$ with $p=(p_1,...,p_r)$ a set of parameters, from a set of measurements $μ_j(M)$. In this paper $μ_j(M)$ are always the moments $m_j(M)=\int x^jM_p(x)dx$. This problem is a central one in Signal Processing, Statistics, and in many other applications. We concentrate on a direct (and somewhat "naive") approach to the above problem: we simply substitute the model function $M_p(x)$ into the measurements $μ_j$ and compute explicitly the resulting "symbolic" expressions of $μ_j(M_p)$ in terms of the parameters $p$. Equating these "symbolic" expressions to the actual measurement results, we produce a system of nonlinear equations on the parameters $p$, which we consequently try to solve. The aim of this paper is to review some recent results (mostly of \cite{Vet5,Mil1,Mil2,Put1,Vet4,Vet3,Mil3,Mil4,Vet2}) in this direction, stressing the algebraic structure of the arising systems and mathematical tools required for their solutions. In particular, we discuss the relation of the reconstruction problem above with the recent results of \cite{bfy,bry,chr,pak1,pak2,pak3,pry,ry} on the vanishing problem of generalized polynomial moments and on the Cauchy-type integrals of algebraic functions. The accompanying paper \cite{Kis1} (this volume) provides a solution method for a wide class of reconstruction problems as above, based on the study of linear differential equations with rational coefficient, which are satisfied by the moment generating function of the problem. △ Less

Submitted 29 October, 2008; originally announced October 2008.

Comments: 23 pages

MSC Class: 62J02; 14P10; 42C99

Journal ref: Sarig, N.; Yomdin, Y. Signal acquisition from measurements via non-linear models. C. R. Math. Acad. Sci. Soc. R. Can. 29 (2007), no. 4, 97--114

Linear versus Non-linear Acquisition of Step-Functions

Authors: Boris Ettinger, Niv Sarig, Yosef Yomdin

Abstract: We address in this paper the following two closely related problems: 1. How to represent functions with singularities (up to a prescribed accuracy) in a compact way? 2. How to reconstruct such functions from a small number of measurements? The stress is on a comparison of linear and non-linear approaches. As a model case we use piecewise-constant functions on [0,1], in particular, the Heav… ▽ More We address in this paper the following two closely related problems: 1. How to represent functions with singularities (up to a prescribed accuracy) in a compact way? 2. How to reconstruct such functions from a small number of measurements? The stress is on a comparison of linear and non-linear approaches. As a model case we use piecewise-constant functions on [0,1], in particular, the Heaviside jump function. Considered as a curve in the Hilbert space, it is completely characterized by the fact that any two its disjoint chords are orthogonal. We reinterpret this fact in a context of step-functions in one or two variables. Next we study the limitations on representability and reconstruction of piecewise-constant functions by linear and semi-linear methods. Our main tools in this problem are Kolmogorov's n-width and entropy, as well as Temlyakov's (N,m)-width. On the positive side, we show that a very accurate non-linear reconstruction is possible. It goes through a solution of certain specific non-linear systems of algebraic equations. We discuss the form of these systems and methods of their solution, stressing their relation to Moment Theory and Complex Analysis. Finally, we informally discuss two problems in Computer Imaging which are parallel to the problems 1 and 2 above: compression of still images and video-sequences on one side, and image reconstruction from indirect measurement (for example, in Computer Tomography), on the other. △ Less

Submitted 1 November, 2007; v1 submitted 27 January, 2007; originally announced January 2007.

Comments: Major revision, added chapters 4, 5. 34 pages, 3 figures

MSC Class: 41A46 (Primary); 94A08 (Secondary)

Rotation of Trajectories of Lipschitz Vector Fields

Authors: Georges Comte, Yosef Yomdin

Abstract: We prove that in finite time a trajectory of a Lipschitz vector field in $\hbox{\bbbb R}^{\hbox{\tmm n}}$ can not have infinite rotation around a given point. This result extends to the mutual rotation of two trajectories of a field in $\hbox{\bbbb R}^{\hbox{\tmm 3}}$: this rotation is bounded from above on any finite time interval. The bounds we give are only in terms of the Lipschitz constant… ▽ More We prove that in finite time a trajectory of a Lipschitz vector field in $\hbox{\bbbb R}^{\hbox{\tmm n}}$ can not have infinite rotation around a given point. This result extends to the mutual rotation of two trajectories of a field in $\hbox{\bbbb R}^{\hbox{\tmm 3}}$: this rotation is bounded from above on any finite time interval. The bounds we give are only in terms of the Lipschitz constant of the field and the length of the time interval. △ Less

Submitted 12 December, 2006; v1 submitted 21 September, 2006; originally announced September 2006.

Journal ref: J. Diff. Geom. Volume 81, Number 3 (2009), 601-630

Analytic continuation and fixed points of the Poincare mapping for a polynomial Abel equation

Authors: J. -P. Francoise, N. Roytvarf, Y. Yomdin

Abstract: We consider an Abel polynomial differential equation. For two given points a and b, the "Poincare mapping" of the equation transforms the values of its solution at a into their values at b. In this article, we study global analytic properties of the Poincare mapping, in particular, its analytic continuation, its singularities and its fixed points. On one side, we give a general description of si… ▽ More We consider an Abel polynomial differential equation. For two given points a and b, the "Poincare mapping" of the equation transforms the values of its solution at a into their values at b. In this article, we study global analytic properties of the Poincare mapping, in particular, its analytic continuation, its singularities and its fixed points. On one side, we give a general description of singularities of the Poincare mapping, and of its analytic continuation. On the other side, we study in detail the structure of the Poincare mapping for a local model near a simple fixed singularity, where an explicit solution can be written. Yet, the global analytic structure (in particular the ramification) of the solutions and of the Poincare mapping in this case is fairly complicated, and, in our view highly instructive. For a given degree of the coefficients we produce examples with an infinite number of complex periodic solutions and analyze their mutual position and branching. Let us remind that Pugh's problem, which is closely related to the classical Hilbert's 16th problem, asks for the existence of a bound to the number of real isolated periodic solutions. △ Less

Submitted 22 March, 2006; originally announced March 2006.

MSC Class: 34M35; 34C07

Reconstruction of manifolds and subsets of normed spaces from subgroups of their homeomorphism groups

Authors: Matatyahu Rubin, Yosef Yomdin

Abstract: We prove various reconstruction theorems about open subsets of normed spaces. E.g. if the uniformly continuous homeomorphism groups of two such sets are isomorphic, then this isomorphism is induced by a uniformly continuous homeomorphism between these open sets. We prove various reconstruction theorems about open subsets of normed spaces. E.g. if the uniformly continuous homeomorphism groups of two such sets are isomorphic, then this isomorphism is induced by a uniformly continuous homeomorphism between these open sets. △ Less

Submitted 6 October, 2005; originally announced October 2005.

Comments: 340 pages

MSC Class: 57N20; 46B99; 58B99