arXiv subjects

A. Martinez-Finkelshtein

Publications and source records attributed to A. Martinez-Finkelshtein.

At least 19 recordsLinked to original sources

arXiv2016

Heisenberg-like uncertainty measures for $D$-dimensional hydrogenic systems at large D

The radial expectation values of the probability density of a quantum system in position and momentum spaces allow one to describe numerous physical quantities of the system as well as to find generalized Heisenberg-like uncertainty relations and to bound entropic uncertainty measures. It is known that the position and momentum expectation values of the main prototype of the $D$-dimensional Coulomb systems, the $D$-dimensional hydrogenic system, can be expressed in terms of some generalized hypergeometric functions of the type $_{p+1}F_p(z)$ evaluated at unity with $p=2$ and $p=3$, respectively. In this work we determine the position and momentum expectation values in the limit of large $D$ for all hydrogenic states from ground to very excited (Rydberg) ones in terms of the spatial dimensionality and the hyperquantum numbers of the state under consideration. This is done by means of two different approaches to calculate the leading term of the special functions $_{3}F_2\left(1\right)$ and $_{5}F_4\left(1\right)$ involved in the large $D$ limit of the position and momentum quantities. Then, these quantities are used to obtain the generalized Heisenberg-like and logarithmic uncertainty relations, and some upper and lower bounds to the entropic uncertainty measures (Shannon, Rényi, Tsallis) of the $D$-dimensional hydrogenic system.

quant-ph↗

arXiv2016

Do orthogonal polynomials dream of symmetric curves?

The complex or non-hermitian orthogonal polynomials with analytic weights are ubiquitous in several areas such as approximation theory, random matrix models, theoretical physics and in numerical analysis, to mention a few. Due to the freedom in the choice of the integration contour for such polynomials, the location of their zeros is a priori not clear. Nevertheless, numerical experiments, such as those presented in this paper, show that the zeros not simply cluster somewhere on the plane, but persistently choose to align on certain curves, and in a very regular fashion. The problem of the limit zero distribution for the non-hermitian orthogonal polynomials is one of the central aspects of their theory. Several important results in this direction have been obtained, especially in the last 30 years, and describing them is one of the goals of the first parts of this paper. However, the general theory is far from being complete, and many natural questions remain unanswered or have only a partial explanation. Thus, the second motivation of this paper is to discuss some "mysterious" configurations of zeros of polynomials, defined by an orthogonality condition with respect to a sum of exponential functions on the plane, that appeared as a results of our numerical experiments. In this apparently simple situation the zeros of these orthogonal polynomials may exhibit different behaviors: for some of them we state the rigorous results, while other are presented as conjectures (apparently, within a reach of modern techniques). Finally, there are cases for which it is not yet clear how to explain our numerical results, and where we cannot go beyond an empirical discussion.

math.CA↗

arXiv2015

Computation of 2D Fourier transforms and diffraction integrals using Gaussian radial basis functions

We implement an efficient method of computation of two dimensional Fourier-type integrals based on approximation of the integrand by Gaussian radial basis functions, which constitute a standard tool in approximation theory. As a result, we obtain a rapidly converging series expansion for the integrals, allowing for their accurate calculation. We apply this idea to the evaluation of diffraction integrals, used for the computation of the through-focus characteristics of an optical system. We implement this method and compare it performance in terms of complexity, accuracy and execution time with several alternative approaches, especially with the extended Nijboer-Zernike theory, which is also outlined in the text for the reader's convenience. The proposed method yields a reliable and fast scheme for simultaneous evaluation of such kind of integrals for several values of the defocus parameter, as required in the characterization of the through-focus optics.

math.NA↗

arXiv2015

Optimal sampling patterns for Zernike polynomials

A pattern of interpolation nodes on the disk is studied, for which the interpolation problem is theoretically unisolvent, and which renders a minimal numerical condition for the collocation matrix when the standard basis of Zernike polynomials is used. It is shown that these nodes have an excellent performance also from several alternative points of view, providing a numerically stable surface reconstruction, starting from both the elevation and the slope data. Sampling at these nodes allows for a more precise recovery of the coefficients in the Zernike expansion of a wavefront or of an optical surface.

math.NA↗

arXiv2015

Extreme zeros in a sequence of para-orthogonal polynomials and bounds for the support of the measure

Given a non-trivial Borel measure $μ$ on the unit circle $\mathbb T$, the corresponding reproducing (or Christoffel-Darboux) kernels with one of the variables fixed at $z=1$ constitute a family of so-called para-orthogonal polynomials, whose zeros belong to $\mathbb T$. With a proper normalization they satisfy a three-term recurrence relation determined by two sequence of real coefficients, $\{c_n\}$ and $\{d_n\}$, where $\{d_n\}$ is additionally a positive chain sequence. Coefficients $(c_n,d_n)$ provide a parametrization of a family of measures related to $μ$ by addition of a mass point at $z=1$. In this paper we estimate the location of the extreme zeros (those closest to $z=1$) of the para-orthogonal polynomials from the $(c_n,d_n)$-parametrization of the measure, and use this information to establish sufficient conditions for the existence of a gap in the support of $μ$ at $z=1$. These results are easily reformulated in order to find gaps in the support of $μ$ at any other $z\in \mathbb T$. We provide also some examples showing that the bounds are tight and illustrating their computational applications.

math.CA↗

arXiv2015

Trajectories of quadratic differentials for Jacobi polynomials with complex parameters

Motivated by the study of the asymptotic behavior of Jacobi polynomials $\left( P_{n}^{(nA,nB)}\right) _{n}$ with $A\in \mathbb C$ and $B>0$ we establish the global structure of trajectories of the related rational quadratic differential on $\mathbb C$. As a consequence, the asymptotic zero distribution (limit of the root-counting measures of $\left( P_{n}^{(nA,nB)}\right) _{n}$) is described. The support of this measure is formed by an open arc in the complex plan (critical trajectory of the aforementioned quadratic differential) that can be characterized by the symmetry property of its equilibrium measure in a certain external field.

math.CA↗

arXiv2014

Phase transitions and equilibrium measures in random matrix models

The paper is devoted to a study of phase transitions in the Hermitian random matrix models with a polynomial potential. In an alternative equivalent language, we study families of equilibrium measures on the real line in a polynomial external field. The total mass of the measure is considered as the main parameter, which may be interpreted also either as temperature or time. Our main tools are differentiation formulas with respect to the parameters of the problem, and a representation of the equilibrium potential in terms of a hyperelliptic integral. Using this combination we introduce and investigate a dynamical system (system of ODE's) describing the evolution of families of equilibrium measures. On this basis we are able to systematically derive a number of new results on phase transitions, such as the local behavior of the system at all kinds of phase transitions, as well as to review a number of known ones.

math.CA↗

arXiv2014

Strong asymptotics for the Pollaczek multiple orthogonal polynomials ensembles

We study the asymptotic properties of a class of multiple orthogonal polynomials with respect to a Nikishin system generated by two measures $(σ_1, σ_2)$ with unbounded supports (${supp}(σ_1) \subset \mathbb{R}_+$, ${supp}(σ_2) \subset \mathbb{R}_-$), and such that the second measure $σ_2$ is discrete. The weak asymptotics for these polynomials was obtained previously by V. Sorokin. We use his result and the Riemann-Hilbert analysis to derive the strong asymptotics of these polynomials and of the reproducing kernel.

math.CA↗

arXiv2014

Quadratic differentials and asymptotics of Laguerre polynomials with varying complex parameters

In this paper we study the asymptotics (as $n\to \infty$) of the sequences of Laguerre polynomials with varying complex parameters $α$ depending on the degree $n$. More precisely, we assume that $α_n = n A_n, $ and $ \lim_n A_n=A \in \mathbb{C}$. This study has been carried out previously only for $α_n\in \mathbb{R}$, but complex values of $A$ introduce an asymmetry that makes the problem more difficult. The main ingredient of the asymptotic analysis is the right choice of the contour of orthogonality, which requires the analysis of the global structure of trajectories of an associated quadratic differential on the complex plane, which may have an independent interest. While the weak asymptotics is obtained by reduction to the theorem of Gonchar--Rakhmanov--Stahl, the strong asymptotic results are derived via the non-commutative steepest descent analysis based on the Riemann-Hilbert characterization of the Laguerre polynomials.

math.CA↗

arXiv2010

Non-intersecting squared Bessel paths: critical time and double scaling limit

We consider the double scaling limit for a model of $n$ non-intersecting squared Bessel processes in the confluent case: all paths start at time $t=0$ at the same positive value $x=a$, remain positive, and are conditioned to end at time $t=1$ at $x=0$. After appropriate rescaling, the paths fill a region in the $tx$--plane as $n\to \infty$ that intersects the hard edge at $x=0$ at a critical time $t=t^{*}$. In a previous paper (arXiv:0712.1333), the scaling limits for the positions of the paths at time $t\neq t^{*}$ were shown to be the usual scaling limits from random matrix theory. Here, we describe the limit as $n\to \infty$ of the correlation kernel at critical time $t^{*}$ and in the double scaling regime. We derive an integral representation for the limit kernel which bears some connections with the Pearcey kernel. The analysis is based on the study of a $3\times 3$ matrix valued Riemann-Hilbert problem by the Deift-Zhou steepest descent method. The main ingredient is the construction of a local parametrix at the origin, out of the solutions of a particular third-order linear differential equation, and its matching with a global parametrix.

math.CA↗

arXiv2010

Critical measures, quadratic differentials, and weak limits of zeros of Stieltjes polynomials

We investigate the asymptotic zero distribution of Heine-Stieltjes polynomials - polynomial solutions of a second order differential equations with complex polynomial coefficients. In the case when all zeros of the leading coefficients are all real, zeros of the Heine-Stieltjes polynomials were interpreted by Stieltjes as discrete distributions minimizing an energy functional. In a general complex situation one deals instead with a critical point of the energy. We introduce the notion of discrete and continuous critical measures (saddle points of the weighted logarithmic energy on the plane), and prove that a weak-* limit of a sequence of discrete critical measures is a continuous critical measure. Thus, the limit zero distributions of the Heine-Stieltjes polynomials are given by continuous critical measures. We give a detailed description of such measures, showing their connections with quadratic differentials. In doing that, we obtain some results on the global structure of rational quadratic differentials on the Riemann sphere that have an independent interest.

math.CA↗

arXiv2009

Asymptotics of orthogonal polynomials for a weight with a jump on [-1,1]

We consider the orthogonal polynomials on $[-1,1]$ with respect to the weight $$ w_c(x)=h(x)(1-x)^α(1+x)^β Ξ_{c}(x), \quad α, β>-1, $$ where $h$ is real analytic and strictly positive on $[-1, 1]$, and $Ξ_{c}$ is a step-like function: $Ξ_{c}(x)=1$ for $x\in [-1, 0)$ and $Ξ_{c}(x)=c^2$, $c>0$, for $x\in [0, 1]$. We obtain strong uniform asymptotics of the monic orthogonal polynomials in $\mathbb{C}$, as well as first terms of the asymptotic expansion of the main parameters (leading coefficients of the orthonormal polynomials and the recurrence coefficients) as $n\to \infty$. In particular, we prove for $w_c$ a conjecture of A. Magnus regarding the asymptotics of the recurrence coefficients. The main focus is on the local analysis at the origin. We study the asymptotics of the Christoffel-Darboux kernel in a neighborhood of the jump and show that the zeros of the orthogonal polynomials no longer exhibit the clock behavior. For the asymptotic analysis we use the steepest descendent method of Deift and Zhou applied to the non-commutative Riemann-Hilbert problems characterizing the orthogonal polynomials. The local analysis at $x=0$ is carried out in terms of the confluent hypergeometric functions. Incidentally, we establish some properties of these functions that may have an independent interest.

math.CA↗

arXiv2009

On a conjecture of A. Magnus concerning the asymptotic behavior of the recurrence coefficients of the generalized Jacobi polynomials

In 1995 Magnus posed a conjecture about the asymptotics of the recurrence coefficients of orthogonal polynomials with respect to the weights on [-1,1] of the form $$ (1-x)^α(1+x)^β|x_0 - x|^γ\times a jump at x_0, $$ with $α, β, γ>-1$ and $x_0 \in (-1,1)$. We show rigorously that Magnus' conjecture is correct even in a more general situation, when the weight above has an extra factor, which is analytic in a neighborhood of [-1,1] and positive on the interval. The proof is based on the steepest descendent method of Deift and Zhou applied to the non-commutative Riemann-Hilbert problem characterizing the orthogonal polynomials. A feature of this situation is that the local analysis at $x_0$ has to be carried out in terms of confluent hypergeometric functions.

math.CA↗

arXiv2009

On asymptotic behavior of Heine-Stieltjes and Van Vleck polynomials

We investigate the strong asymptotics of Heine-Stieltjes polynomials - polynomial solutions of a second order differential equations with complex polynomial coefficients. The solution is given in terms of critical measures (saddle points of the weighted logarithmic energy on the plane), that are tightly related to quadratic differentials with closed trajectories on the plane. The paper is a continuation of the research initiated in [arXiv:0902.0193]. However, the starting point here is the WKB method, which allows to obtain the strong asymptotics.

math.CA↗

arXiv2007

Non-intersecting squared Bessel paths and multiple orthogonal polynomials for modified Bessel weights

We study a model of $n$ non-intersecting squared Bessel processes in the confluent case: all paths start at time $t = 0$ at the same positive value $x = a$, remain positive, and are conditioned to end at time $t = T$ at $x = 0$. In the limit $n \to \infty$, after appropriate rescaling, the paths fill out a region in the $tx$-plane that we describe explicitly. In particular, the paths initially stay away from the hard edge at $x = 0$, but at a certain critical time $t^*$ the smallest paths hit the hard edge and from then on are stuck to it. For $t \neq t^*$ we obtain the usual scaling limits from random matrix theory, namely the sine, Airy, and Bessel kernels. A key fact is that the positions of the paths at any time $t$ constitute a multiple orthogonal polynomial ensemble, corresponding to a system of two modified Bessel-type weights. As a consequence, there is a $3 \times 3$ matrix valued Riemann-Hilbert problem characterizing this model, that we analyze in the large $n$ limit using the Deift-Zhou steepest descent method. There are some novel ingredients in the Riemann-Hilbert analysis that are of independent interest.

math.CA↗

arXiv2007

Discrete entropies of orthogonal polynomials

Let $p_n$ be the $n$-th orthonormal polynomial on the real line, whose zeros are $λ_j^{(n)}$, $j=1, ..., n$. Then for each $j=1, ..., n$, $$ \vec Ψ_j^2 = (Ψ_{1j}^2, ..., Ψ_{nj}^2) $$ with $$ Ψ_{ij}^2= p_{i-1}^2 (λ_j^{(n)}) (\sum_{k=0}^{n-1} p_k^2(λ_j^{(n)}))^{-1}, \quad i=1, >..., n, $$ defines a discrete probability distribution. The Shannon entropy of the sequence $\{p_n\}$ is consequently defined as $$ \mathcal S_{n,j} = -\sum_{i=1}^n Ψ_{ij}^{2} \log (Ψ_{ij}^{2}) . $$ In the case of Chebyshev polynomials of the first and second kinds an explicit and closed formula for $\mathcal S_{n,j}$ is obtained, revealing interesting connections with the number theory. Besides, several results of numerical computations exemplifying the behavior of $\mathcal S_{n,j}$ for other families are also presented.

math.CA↗

arXiv2006

Asymptotics of orthogonal polynomials with respect to an analytic weight with algebraic singularities on the circle

Strong asymptotics of polynomials orthogonal on the unit circle with respect to a weight of the form $$ W(z) = w(z) \prod_{k=1}^m |z-a_k|^{2β_k}, \quad |z|=1, \quad |a_k|=1, \quad β_k>-1/2, \quad k=1, ..., m, $$ where $w(z)>0$ for $|z|=1$ and can be extended as a holomorphic and non-vanishing function to an annulus containing the unit circle. The formulas obtained are valid uniformly in the whole complex plane. As a consequence, we obtain some results about the distribution of zeros of these polynomials, the behavior of their leading and Verblunsky coefficients, as well as give an alternative proof of the Fisher-Hartwig conjecture about the asymptotics of Toeplitz determinants for such type of weights. The main technique is the steepest descent analysis of Deift and Zhou, based on the matrix Riemann-Hilbert characterization proposed by Fokas, Its and Kitaev.

math.CA↗

arXiv2006

Szego polynomials: a view from the Riemann-Hilbert window

This is an expanded version of the talk given at the conference ``Constructive Functions Tech-04''. We survey some recent results on canonical representation and asymptotic behavior of polynomials orthogonal on the unit circle with respect to an analytic weight. These results are obtained using the steepest descent method based on the Riemann-Hilbert characterization of these polynomials.

math.CA↗