Showing 1–47 of 47 results for author: Levenberg, N

An effective version of Fekete's theorem

Authors: Norm Levenberg, Mayuresh Londhe

Abstract: A classical result of Fekete gives necessary conditions on a compact set in the complex plane so that it contains infinitely many sets of conjugate algebraic integers. We prove an effective version of Fekete's theorem in terms of a height function. As an application, we give a lower bound on the growth of the leading coefficient of certain polynomial sequences, generalizing a result by Schur. Last… ▽ More A classical result of Fekete gives necessary conditions on a compact set in the complex plane so that it contains infinitely many sets of conjugate algebraic integers. We prove an effective version of Fekete's theorem in terms of a height function. As an application, we give a lower bound on the growth of the leading coefficient of certain polynomial sequences, generalizing a result by Schur. Lastly, we give an upper bound on minimal asymptotics of height over sequences of algebraic numbers. △ Less

Submitted 9 April, 2024; originally announced April 2024.

MSC Class: 11G50; 31A15 (primary); 11R06; 30C85 (secondary)

Weighted holomorphic polynomial approximation

Authors: S. Charpentier, N. Levenberg, F. Wielonsky

Abstract: For $G$ an open set in $\mathbb{C}$ and $W$ a non-vanishing holomorphic function in $G$, in the late 1990's, Pritsker and Varga characterized pairs $(G,W)$ having the property that any $f$ holomorphic in $G$ can be locally uniformly approximated in $G$ by weighted holomorphic polynomials $\{W(z)^np_n(z)\}, \ deg(p_n)\leq n$. We further develop their theory in first proving a quantitative Bernstein… ▽ More For $G$ an open set in $\mathbb{C}$ and $W$ a non-vanishing holomorphic function in $G$, in the late 1990's, Pritsker and Varga characterized pairs $(G,W)$ having the property that any $f$ holomorphic in $G$ can be locally uniformly approximated in $G$ by weighted holomorphic polynomials $\{W(z)^np_n(z)\}, \ deg(p_n)\leq n$. We further develop their theory in first proving a quantitative Bernstein-Walsh type theorem for certain pairs $(G,W)$. Then we consider the special case where $W(z)=1/(1+z)$ and $G$ is a loop of the lemniscate $\{z\in \mathbb{C}: |z(z+1)|=1/4\}$. We show the normalized measures associated to the zeros of the $n-th$ order Taylor polynomial about $0$ of the function $(1+z)^{-n}$ converge to the weighted equilibrium measure of $\overline G$ with weight $|W|$ as $n\to \infty$. This mimics the motivational case of Pritsker and Varga where $G$ is the inside of the Szego curve and $W(z)=e^{-z}$. Lastly, we initiate a study of weighted holomorphic polynomial approximation in $\mathbb{C}^n, \ n>1$. △ Less

Submitted 22 January, 2024; originally announced January 2024.

Comments: 21 pages

Asymptotic Approximate Fekete Arrays

Authors: T. Bloom, L. Bos, N. Levenberg

Abstract: The notion of asymptotic Fekete arrays, arrays of points in a compact set $K\subset {\bf C}^d$ which behave asymptotically like Fekete arrays, has been well-studied, albeit much more recently in dimensions $d>1$. Here we show that one can allow a more flexible definition where the points in the array need not lie in $K$. Our results, which work in the general setting of weighted pluripotential the… ▽ More The notion of asymptotic Fekete arrays, arrays of points in a compact set $K\subset {\bf C}^d$ which behave asymptotically like Fekete arrays, has been well-studied, albeit much more recently in dimensions $d>1$. Here we show that one can allow a more flexible definition where the points in the array need not lie in $K$. Our results, which work in the general setting of weighted pluripotential theory, rely heavily, in the multidimensional setting, on the ground-breaking work of Berman, Boucksom and Nystrom. △ Less

Submitted 19 October, 2022; originally announced October 2022.

MSC Class: 32U20

An extremal problem for the Bergman kernel of orthogonal polynomials

Authors: S. Charpentier, N. Levenberg, F. Wielonsky

Abstract: Let $Γ\subset \mathbb C$ be a curve of class $C(2,α)$. For $z_{0}$ in the unbounded component of ${\mathbb C}\setminus Γ$, and for $n=1,2,...$, let $ν_n$ be a probability measure with supp$(ν_{n})\subset Γ$ which minimizes the Bergman function $B_{n}(ν,z):=\sum_{k=0}^{n}|q_{k}^ν(z)|^{2}$ at $z_{0}$ among all probability measures $ν$ on $Γ$ (here, $\{q_{0}^ν,\ldots,q_{n}^ν\}$ are an orthonormal bas… ▽ More Let $Γ\subset \mathbb C$ be a curve of class $C(2,α)$. For $z_{0}$ in the unbounded component of ${\mathbb C}\setminus Γ$, and for $n=1,2,...$, let $ν_n$ be a probability measure with supp$(ν_{n})\subset Γ$ which minimizes the Bergman function $B_{n}(ν,z):=\sum_{k=0}^{n}|q_{k}^ν(z)|^{2}$ at $z_{0}$ among all probability measures $ν$ on $Γ$ (here, $\{q_{0}^ν,\ldots,q_{n}^ν\}$ are an orthonormal basis in $L^2(ν)$ for the holomorphic polynomials of degree at most $n$). We show that $\{ν_{n}\}_n$ tends weak-* to $\hatδ_{z_{0}}$, the balayage of the point mass at $z_0$ onto $Γ$, by relating this to an optimization problem for probability measures on the unit circle. Our proof makes use of estimates for Faber polynomials associated to $Γ$. △ Less

Submitted 9 August, 2023; v1 submitted 11 July, 2022; originally announced July 2022.

Comments: To appear in Constructive Approximation

MSC Class: 30C40; 30E10; 41A10

Random Polynomials in Several Complex Variables

Authors: Turgay Bayraktar, Tom Bloom, Norm Levenberg

Abstract: We generalize some previous results on random polynomials in several complex variables. A standard setting is to consider random polynomials $H_n(z):=\sum_{j=1}^{m_n} a_jp_j(z)$ that are linear combinations of basis polynomials $\{p_j\}$ with i.i.d. complex random variable coefficients $\{a_j\}$ where $\{p_j\}$ form an orthonormal basis for a Bernstein-Markov measure on a compact set… ▽ More We generalize some previous results on random polynomials in several complex variables. A standard setting is to consider random polynomials $H_n(z):=\sum_{j=1}^{m_n} a_jp_j(z)$ that are linear combinations of basis polynomials $\{p_j\}$ with i.i.d. complex random variable coefficients $\{a_j\}$ where $\{p_j\}$ form an orthonormal basis for a Bernstein-Markov measure on a compact set $K\subset {\bf C}^d$. Here $m_n$ is the dimension of $\mathcal P_n$, the holomorphic polynomials of degree at most $n$ in ${\bf C}^d$. We consider more general bases $\{p_j\}$, which include, e.g., higher-dimensional generalizations of Fekete polynomials. Moreover we allow $H_n(z):=\sum_{j=1}^{m_n} a_{nj}p_{nj}(z)$; i.e., we have an array of basis polynomials $\{p_{nj}\}$ and random coefficients $\{a_{nj}\}$. This always occurs in a weighted situation. We prove results on convergence in probability and on almost sure convergence of $\frac{1}{n}\log |H_n|$ in $L^1_{loc}({\bf C}^d)$ to the (weighted) extremal plurisubharmonic function for $K$. We aim for weakest possible sufficient conditions on the random coefficients to guarantee convergence. △ Less

Submitted 3 June, 2022; v1 submitted 1 December, 2021; originally announced December 2021.

Comments: This replaces and improves a previous version which has a gap in the proof of the higher codimension case at the end

MSC Class: 32U35 (primary); 32A60; 60B10; 60D05 (secondary)

Polynomials associated to non-convex bodies

Authors: N. Levenberg, F. Wielonsky

Abstract: Polynomial spaces associated to a convex body $C$ in $({\bf R}^+)^d$ have been the object of recent studies. In this work, we consider polynomial spaces associated to non-convex $C$. We develop some basic pluripotential theory including notions of $C-$extremal plurisubharmonic functions $V_{C,K}$ for $K\subset {\bf C}^d$ compact. Using this, we discuss Bernstein-Walsh type polynomial approximation… ▽ More Polynomial spaces associated to a convex body $C$ in $({\bf R}^+)^d$ have been the object of recent studies. In this work, we consider polynomial spaces associated to non-convex $C$. We develop some basic pluripotential theory including notions of $C-$extremal plurisubharmonic functions $V_{C,K}$ for $K\subset {\bf C}^d$ compact. Using this, we discuss Bernstein-Walsh type polynomial approximation results and asymptotics of random polynomials in this non-convex setting. △ Less

Submitted 7 April, 2021; originally announced April 2021.

MSC Class: 32U15; 32U35

Correction/Addendum to "The Extremal Function for the Complex Ball for Generalized Notions of Degree and Multivariate Polynomial Approximation"

Authors: T. Bloom, L. Bos, N. Levenberg, S. Ma'u, F. Piazzon

Abstract: We correct the calculation of the Monge-Ampère measure of a certain extremal plurisubharmonic function for the complex Euclidean ball in C^2. We correct the calculation of the Monge-Ampère measure of a certain extremal plurisubharmonic function for the complex Euclidean ball in C^2. △ Less

Submitted 5 May, 2020; originally announced May 2020.

MSC Class: 32U15; 32U20

C-transfinite diameter

Authors: N. Levenberg, F. Wielonsky

Abstract: We give a general formula for the $C-$transfinite diameter $δ_C(K)$ of a compact set $K\subset \mathbb{C}^2$ which is a product of univariate compacta where $C\subset (\mathbb{R}^+)^2$ is a convex body. Along the way we prove a Rumely type formula relating $δ_C(K)$ and the $C-$Robin function $ρ_{V_{C,K}}$ of the $C-$extremal plurisubharmonic function $V_{C,K}$ for $C \subset (\mathbb{R}^+)^2$ a tr… ▽ More We give a general formula for the $C-$transfinite diameter $δ_C(K)$ of a compact set $K\subset \mathbb{C}^2$ which is a product of univariate compacta where $C\subset (\mathbb{R}^+)^2$ is a convex body. Along the way we prove a Rumely type formula relating $δ_C(K)$ and the $C-$Robin function $ρ_{V_{C,K}}$ of the $C-$extremal plurisubharmonic function $V_{C,K}$ for $C \subset (\mathbb{R}^+)^2$ a triangle $T_{a,b}$ with vertices $(0,0), (b,0), (0,a)$. Finally, we show how the definition of $δ_C(K)$ can be extended to include many nonconvex bodies $C\subset \mathbb{R}^d$ for $d-$circled sets $K\subset \mathbb{C}^d$, and we prove an integral formula for $δ_C(K)$ which we use to compute a formula for the $C-$transfinite diameter of the Euclidean unit ball $\mathbb{B}\subset \mathbb{C}^2$. △ Less

Submitted 25 March, 2020; originally announced March 2020.

Comments: 18 pages, 1 figure

Optimal Polynomial Prediction Measures and Extremal Polynomial Growth

Authors: L. Bos, N. Levenberg, J. Ortega-Cerda

Abstract: We show that the problem of finding the measure supported on a compact subset K of the complex plane such that the variance of the least squares predictor by polynomials of degree at most n at a point exterior to K is a minimum, is equivalent to the problem of finding the polynomial of degree at most n, bounded by 1 on K with extremal growth at this external point. We use this to find the polynomi… ▽ More We show that the problem of finding the measure supported on a compact subset K of the complex plane such that the variance of the least squares predictor by polynomials of degree at most n at a point exterior to K is a minimum, is equivalent to the problem of finding the polynomial of degree at most n, bounded by 1 on K with extremal growth at this external point. We use this to find the polynomials of extremal growth for the interval [-1,1] at a purely imaginary point. The related problem on the extremal growth of real polynomials was studied by Erdős in 1947. △ Less

Submitted 28 December, 2019; originally announced December 2019.

Journal ref: Constr. Approx. 54 (2021), no. 3, 431-453

Pluripotential Theory and Convex Bodies: A Siciak-Zaharjuta theorem

Authors: T. Bayraktar, S. Hussung, N. Levenberg, M. Perera

Abstract: We work in the setting of weighted pluripotential theory arising from polynomials associated to a convex body $P$ in $({\bf R}^+)^d$. We define the {\it logarithmic indicator function} on ${\bf C}^d$: $$H_P(z):=\sup_{ J\in P} \log |z^{ J}|:=\sup_{ J\in P} \log[|z_1|^{ j_1}\cdots |z_d|^{ j_d}]$$ and an associated class of plurisubharmonic (psh) functions:… ▽ More We work in the setting of weighted pluripotential theory arising from polynomials associated to a convex body $P$ in $({\bf R}^+)^d$. We define the {\it logarithmic indicator function} on ${\bf C}^d$: $$H_P(z):=\sup_{ J\in P} \log |z^{ J}|:=\sup_{ J\in P} \log[|z_1|^{ j_1}\cdots |z_d|^{ j_d}]$$ and an associated class of plurisubharmonic (psh) functions: $$L_P:=\{u\in PSH({\bf C}^d): u(z)- H_P(z) =0(1), \ |z| \to \infty \}.$$ We first show that $L_P$ is not closed under standard smoothing operations. However, utilizing a continuous regularization due to Ferrier which preserves $L_P$, we prove a general Siciak-Zaharjuta type-result in our $P-$setting: the weighted $P-$extremal function $$V_{P,K,Q}(z):=\sup \{u(z):u\in L_P, \ u\leq Q \ \hbox{on} \ K\}$$ associated to a compact set $K$ and an admissible weight $Q$ on $K$ can be obtained using the subclass of $L_P$ arising from functions of the form $\frac{1}{deg_P(p)}\log |p|$ (appropriately normalized). △ Less

Submitted 9 November, 2019; originally announced November 2019.

MSC Class: 32U15

Journal ref: Computational Methods and Function Theory, 20 (2020) no. 3-4, 571-590

$C-$Robin Functions and Applications

Authors: Norm Levenberg, Sione Ma`u

Abstract: We continue the study in the setting of pluripotential theory arising from polynomials associated to a convex body $C$ in $({\bf R}^+)^d$. Here we discuss $C-$Robin functions and their applications. In the particular case where $C$ is a simplex in $({\bf R}^+)^2$ with vertices $(0,0),(b,0),(a,0)$, $a,b>0$, we generalize results of T. Bloom to construct families of polynomials which recover the… ▽ More We continue the study in the setting of pluripotential theory arising from polynomials associated to a convex body $C$ in $({\bf R}^+)^d$. Here we discuss $C-$Robin functions and their applications. In the particular case where $C$ is a simplex in $({\bf R}^+)^2$ with vertices $(0,0),(b,0),(a,0)$, $a,b>0$, we generalize results of T. Bloom to construct families of polynomials which recover the $C-$extremal function $V_{C,K}$ of a nonpluripolar compact set $K\subset {\bf C}^d$. △ Less

Submitted 24 July, 2019; originally announced July 2019.

MSC Class: 32U15

Monge-Ampère of Pac-Man

Authors: Norm Levenberg, Sione Ma'u

Abstract: We show that the Monge-Ampère density of the extremal function $V_P$ for a non-convex Pac-Man set $P\subset {\bf R}^2$ tends to a finite limit as we approach the vertex $p$ of $P$ linearly but with a value that may vary with the line. On the other hand, along a tangential approach to $p$ the Monge-Ampère density becomes unbounded. This partially mimics the behavior of the Monge-Ampère density of t… ▽ More We show that the Monge-Ampère density of the extremal function $V_P$ for a non-convex Pac-Man set $P\subset {\bf R}^2$ tends to a finite limit as we approach the vertex $p$ of $P$ linearly but with a value that may vary with the line. On the other hand, along a tangential approach to $p$ the Monge-Ampère density becomes unbounded. This partially mimics the behavior of the Monge-Ampère density of the union of two quarter disks set $S$ of Sigurdsson and Snaebjarnarson. We also recover their formula for $V_S$ by elementary methods. △ Less

Submitted 13 February, 2019; originally announced February 2019.

Zeros of Faber polynomials for Joukowski airfoils

Authors: N. Levenberg, F. Wielonsky

Abstract: Let $K$ be the closure of a bounded region in the complex plane with simply connected complement whose boundary is a piecewise analytic curve with at least one outward cusp. The asymptotics of zeros of Faber polynomials for $K$ are not understood in this general setting. Joukowski airfoils provide a particular class of such sets. We determine the (unique) weak-* limit of the full sequence of norma… ▽ More Let $K$ be the closure of a bounded region in the complex plane with simply connected complement whose boundary is a piecewise analytic curve with at least one outward cusp. The asymptotics of zeros of Faber polynomials for $K$ are not understood in this general setting. Joukowski airfoils provide a particular class of such sets. We determine the (unique) weak-* limit of the full sequence of normalized counting measures of the Faber polynomials for Joukowski airfoils; it is never equal to the potential-theoretic equilibrium measure of $K$. This implies that many of these airfoils admit an electrostatic skeleton and also explains an interesting class of examples of Ullman related to Chebyshev quadrature. △ Less

Submitted 27 September, 2018; originally announced September 2018.

Comments: 18 pages

MSC Class: 30C15

Pluripotential Theory and Convex Bodies: Large Deviation Principle

Authors: Turgay Bayraktar, Thomas Bloom, Norman Levenberg, Chinh H. Lu

Abstract: We continue the study in a previous work in the setting of weighted pluripotential theory arising from polynomials associated to a convex body $P$ in $({\bf R}^+)^d$. Our goal is to establish a large deviation principle in this setting specifying the rate function in terms of $P-$pluripotential-theoretic notions. As an important preliminary step, we first give an existence proof for the solution o… ▽ More We continue the study in a previous work in the setting of weighted pluripotential theory arising from polynomials associated to a convex body $P$ in $({\bf R}^+)^d$. Our goal is to establish a large deviation principle in this setting specifying the rate function in terms of $P-$pluripotential-theoretic notions. As an important preliminary step, we first give an existence proof for the solution of a Monge-Ampère equation in an appropriate finite energy class. This is achieved using a variational approach. △ Less

Submitted 30 July, 2018; originally announced July 2018.

MSC Class: 32U15; 32U20; 31C15

A global domination principle for P-pluripotential theory

Authors: Norm Levenberg, Menuja Perera

Abstract: We prove a global domination principle in the setting of P-pluripotential theory. This has many applications including a general product property for P-extremal functions. The key ingredient is the proof of the existence of a strictly plurisubharmonic P-potential. We prove a global domination principle in the setting of P-pluripotential theory. This has many applications including a general product property for P-extremal functions. The key ingredient is the proof of the existence of a strictly plurisubharmonic P-potential. △ Less

Submitted 17 June, 2018; originally announced June 2018.

MSC Class: 32U15; 32U20; 31C15

A Cantor set whose polynomial hull contains no analytic discs

Authors: Alexander J. Izzo, Norman Levenberg

Abstract: A generalization of a result of Wermer concerning the existence of polynomial hulls without analytic discs is presented. As a consequence it is shown that there exists a Cantor set $X$ in ${\mathbb C}^3$ whose polynomial hull is strictly larger than $X$ but contains no analytic discs. A generalization of a result of Wermer concerning the existence of polynomial hulls without analytic discs is presented. As a consequence it is shown that there exists a Cantor set $X$ in ${\mathbb C}^3$ whose polynomial hull is strictly larger than $X$ but contains no analytic discs. △ Less

Submitted 28 February, 2019; v1 submitted 9 January, 2018; originally announced January 2018.

Comments: The paper has been almost completely rewritten. A much shorter, but less direct, proof is given that yields a stronger result

MSC Class: 32E20

The Extremal Function for the Complex Ball for Generalized Notions of Degree and Multivariate Polynomial Approximation

Authors: T. Bloom, L. Bos, N. Levenberg, S. Ma'u, F. Piazzon

Abstract: We discuss the Siciak-Zaharjuta extremal function of pluripotential theory for the unit ball in C^d for spaces of polynomials with the notion of degree determined by a convex body P. We then use it to analyze the approximation properties of such polynomial spaces, and how these may differ depending on the function f to be approximated. We discuss the Siciak-Zaharjuta extremal function of pluripotential theory for the unit ball in C^d for spaces of polynomials with the notion of degree determined by a convex body P. We then use it to analyze the approximation properties of such polynomial spaces, and how these may differ depending on the function f to be approximated. △ Less

Submitted 8 January, 2018; originally announced January 2018.

MSC Class: 32U15; 41A10

Bernstein-Walsh theory associated to convex bodies and applications to multivariate approximation theory

Authors: Len Bos, Norm Levenberg

Abstract: We prove a version of the Bernstein-Walsh theorem on uniform polynomial approximation of holomorphic functions on compact sets in several complex variables. Here we consider subclasses of the full polynomial space associated to a convex body P. As a consequence, we validate and clarify some observations of Trefethen in multivariate approximation theory. We prove a version of the Bernstein-Walsh theorem on uniform polynomial approximation of holomorphic functions on compact sets in several complex variables. Here we consider subclasses of the full polynomial space associated to a convex body P. As a consequence, we validate and clarify some observations of Trefethen in multivariate approximation theory. △ Less

Submitted 19 January, 2017; originally announced January 2017.

MSC Class: 32U15; 32U20; 41A10

Pluripotential Theory and Convex Bodies

Authors: Turgay Bayraktar, Thomas Bloom, Norman Levenberg

Abstract: In their seminal paper, Berman and Boucksom exploited ideas from complex geometry to analyze asymptotics of spaces of holomorphic sections of tensor powers of certain line bundles $L$ over compact, complex manifolds as the power grows. This yielded results on weighted polynomial spaces in weighted pluripotential theory in $\Bbb{C}^d$. Here, motivated from Bayraktar's recent paper, we work in the s… ▽ More In their seminal paper, Berman and Boucksom exploited ideas from complex geometry to analyze asymptotics of spaces of holomorphic sections of tensor powers of certain line bundles $L$ over compact, complex manifolds as the power grows. This yielded results on weighted polynomial spaces in weighted pluripotential theory in $\Bbb{C}^d$. Here, motivated from Bayraktar's recent paper, we work in the setting of weighted pluripotential theory arising from polynomials associated to a convex body in $(\Bbb{R}^+)^d$. These classes of polynomials need not occur as sections of tensor powers of a line bundle $L$ over a compact, complex manifold. We follow the approach in Berman and Boucksom's work to recover analogous results. △ Less

Submitted 14 December, 2016; originally announced December 2016.

MSC Class: 32U15; 32U20; 31C15

Journal ref: Sbornik Mathematics 209 (2018) no.3 67-101

A large deviation principle for weighted Riesz interactions

Authors: Tom Bloom, Norman Levenberg, Franck Wielonsky

Abstract: We prove a large deviation principle for the sequence of push-forwards of empirical measures in the setting of Riesz potential interactions on compact subsets K in R^d with continuous external fields. Our results are valid for base measures on K satisfying a strong Bernstein-Markov type property for Riesz potentials. Furthermore, we give sufficient conditions on K (which are satisfied if K is a sm… ▽ More We prove a large deviation principle for the sequence of push-forwards of empirical measures in the setting of Riesz potential interactions on compact subsets K in R^d with continuous external fields. Our results are valid for base measures on K satisfying a strong Bernstein-Markov type property for Riesz potentials. Furthermore, we give sufficient conditions on K (which are satisfied if K is a smooth submanifold) so that a measure on K which satisfies a mass-density condition will also satisfy this strong Bernstein-Markov property. △ Less

Submitted 26 October, 2016; originally announced October 2016.

Bernstein-Markov: a survey

Authors: Thomas Bloom, Norman Levenberg, Federico Piazzon, Franck Wielonsky

Abstract: We give a survey of recent results, due mainly to the authors, concerning Bernstein-Markov type inequalities and connections with potential theory. We give a survey of recent results, due mainly to the authors, concerning Bernstein-Markov type inequalities and connections with potential theory. △ Less

Submitted 2 December, 2015; originally announced December 2015.

Comments: This will appear soon in a special issue of Dolomites Research Notes on Approximation (DRNA): "Ten years of Padua Points"

MSC Class: 31C15; 32U20; 32U05

A weighted extremal function and equilibrium measure

Authors: Len Bos, Norman Levenberg, Sione Ma`u, Federico Piazzon

Abstract: Let $K={\bf R}^n\subset {\bf C}^n$ and $Q(x):=\frac{1}{2}\log (1+x^2)$ where $x=(x_1,...,x_n)$ and $x^2 = x_1^2+\cdots +x_n^2$. Utilizing extremal functions for convex bodies in ${\bf R}^n\subset {\bf C}^n$ and Sadullaev's characterization of algebraicity for complex analytic subvarieties of ${\bf C}^n$ we prove the following explicit formula for the weighted extremal function $V_{K,Q}$:… ▽ More Let $K={\bf R}^n\subset {\bf C}^n$ and $Q(x):=\frac{1}{2}\log (1+x^2)$ where $x=(x_1,...,x_n)$ and $x^2 = x_1^2+\cdots +x_n^2$. Utilizing extremal functions for convex bodies in ${\bf R}^n\subset {\bf C}^n$ and Sadullaev's characterization of algebraicity for complex analytic subvarieties of ${\bf C}^n$ we prove the following explicit formula for the weighted extremal function $V_{K,Q}$: $$V_{K,Q}(z)=\frac{1}{2}\log \bigl( [1+|z|^2] + \{ [1+|z|^2]^2-|1+z^2|^2\}^{1/2})$$ where $z=(z_1,...,z_n)$ and $z^2 = z_1^2+\cdots +z_n^2$. As a corollary, we find that the Alexander capacity $T_ω({\bf R} {\bf P}^n)$ of ${\bf R} {\bf P}^n$ is $1/\sqrt 2$. We also compute the Monge-Ampère measure of $V_{K,Q}$: $$(dd^cV_{K,Q})^n = n!\frac{1}{(1+x^2)^{\frac{n+1}{2}}}dx.$$ △ Less

Submitted 28 May, 2015; originally announced May 2015.

MSC Class: 32U15; 32U20

An Orthogonality Property of the Legendre Polynomials

Authors: Len Bos, Akil Narayan, Norm Levenberg, Federico Piazzon

Abstract: We give a remarkable additional orthogonality property of the classical Legendre polynomials on the real interval $[-1,1]$: polynomials up to degree $n$ from this family are mutually orthogonal under the arcsine measure weighted by the degree-$n$ normalized Christoffel function. We give a remarkable additional orthogonality property of the classical Legendre polynomials on the real interval $[-1,1]$: polynomials up to degree $n$ from this family are mutually orthogonal under the arcsine measure weighted by the degree-$n$ normalized Christoffel function. △ Less

Submitted 25 May, 2015; originally announced May 2015.

Comments: 13 pages

MSC Class: 33C45; 41A10; 65C05

Modified logarithmic potential theory and applications

Authors: T. Bloom, N. Levenberg, V. Totik, F. Wielonsky

Abstract: We develop potential theory including a Bernstein-Walsh type estimate for functions of the form $p(z)q(f(z))$ where $p,q$ are polynomials and $f$ is holomorphic. Such functions arise in the study of certain ensembles of probability measures and our estimates lead to probabilistic results such as large deviation principles. We develop potential theory including a Bernstein-Walsh type estimate for functions of the form $p(z)q(f(z))$ where $p,q$ are polynomials and $f$ is holomorphic. Such functions arise in the study of certain ensembles of probability measures and our estimates lead to probabilistic results such as large deviation principles. △ Less

Submitted 29 October, 2015; v1 submitted 24 February, 2015; originally announced February 2015.

Comments: This version corrects some errors from the previous version; generalizes the potential-theoretic setting; incorporates a title change; and adds an additional co-author

Extremal functions for real convex bodies

Authors: D. Burns, N. Levenberg, S. Ma`u

Abstract: We study the smoothness of the Siciak-Zaharjuta extremal function associated to a convex body in $\mathbb{R}^2$. We also prove a formula relating the complex equilibrium measure of a convex body in $\mathbb{R}^n$ to that of its Robin indicatrix. The main tool we use are extremal ellipses. We study the smoothness of the Siciak-Zaharjuta extremal function associated to a convex body in $\mathbb{R}^2$. We also prove a formula relating the complex equilibrium measure of a convex body in $\mathbb{R}^n$ to that of its Robin indicatrix. The main tool we use are extremal ellipses. △ Less

Submitted 8 August, 2014; originally announced August 2014.

Comments: 27 pages, 4 figures

MSC Class: 32U35

Logarithmic potential theory and large deviation

Authors: T. Bloom, N. Levenberg, F. Wielonsky

Abstract: We derive a general large deviation principle for a canonical sequence of probability measures, having its origins in random matrix theory, on unbounded sets $K$ of ${\bf C}$ with weakly admissible external fields $Q$ and very general measures $ν$ on $K$. For this we use logarithmic potential theory in ${\bf R}^{n}$, $n\geq 2$, and a standard contraction principle in large deviation theory which w… ▽ More We derive a general large deviation principle for a canonical sequence of probability measures, having its origins in random matrix theory, on unbounded sets $K$ of ${\bf C}$ with weakly admissible external fields $Q$ and very general measures $ν$ on $K$. For this we use logarithmic potential theory in ${\bf R}^{n}$, $n\geq 2$, and a standard contraction principle in large deviation theory which we apply from the two-dimensional sphere in ${\bf R}^{3}$ to the complex plane ${\bf C}$. △ Less

Submitted 25 April, 2019; v1 submitted 28 July, 2014; originally announced July 2014.

MSC Class: 60F10; 31B15

Journal ref: Comput. Methods Funct. Theory 15 (2015), 555-594

Random polynomials and pluripotential-theoretic extremal functions

Authors: Thomas Bloom, Norman Levenberg

Abstract: There is a natural pluripotential-theoretic extremal function V_{K,Q} associated to a closed subset K of C^m and a real-valued, continuous function Q on K. We define random polynomials H_n whose coefficients with respect to a related orthonormal basis are independent, identically distributed complex-valued random variables having a very general distribution (which includes both normalized complex… ▽ More There is a natural pluripotential-theoretic extremal function V_{K,Q} associated to a closed subset K of C^m and a real-valued, continuous function Q on K. We define random polynomials H_n whose coefficients with respect to a related orthonormal basis are independent, identically distributed complex-valued random variables having a very general distribution (which includes both normalized complex and real Gaussian distributions) and we prove results on a.s. convergence of a sequence 1/n log |H_n| pointwise and in L^1_{loc}(C^m) to V_{K,Q}. In addition we obtain results on a.s. convergence of a sequence of normalized zero currents dd^c [1/n log |H_n|] to dd^c V_{K,Q} as well as asymptotics of expectations of these currents. All these results extend to random polynomial map**s and to a more general setting of positive holomorphic line bundles over a compact Kahler manifold. △ Less

Submitted 16 April, 2013; originally announced April 2013.

MSC Class: 32U35; 60D05

Vector Energy and Large Deviation

Authors: T. Bloom, N. Levenberg, F. Wielonsky

Abstract: For d nonpolar compact sets K_1,...,K_d in the complex plane, d admissible weights Q_1,...,Q_d, and a positive semidefinite d x d interaction matrix C with no zero column, we define natural discretizations of the associated weighted vector energy of a d-tuple of positive measures μ=(μ_1,...,μ_d) where μ_j is supported in K_j and has mass r_j. We have an L^{\infty}-type discretization W(μ) and an L… ▽ More For d nonpolar compact sets K_1,...,K_d in the complex plane, d admissible weights Q_1,...,Q_d, and a positive semidefinite d x d interaction matrix C with no zero column, we define natural discretizations of the associated weighted vector energy of a d-tuple of positive measures μ=(μ_1,...,μ_d) where μ_j is supported in K_j and has mass r_j. We have an L^{\infty}-type discretization W(μ) and an L^2-type discretization J(μ) defined using a fixed measure ν=(ν_1,...,ν_d). This leads to a large deviation principle for a canonical sequence of probability measures on this space of d-tuples of positive measures if ν=(ν_1,...,ν_d) is a strong Bernstein-Markov measure. △ Less

Submitted 6 January, 2013; originally announced January 2013.

MSC Class: 31A15; 31A05; 60F10

Pseudoconvex domains in the Hopf surface

Authors: Norman Levenberg, Hiroshi Yamaguchi

Abstract: With the aid of the technique of variation of domains developed in Memoirs of Amer. Math. Soc., Vol. 209, No. 984, 2011, we characterize the pseudoconvex domains with smooth boundary in Hopf surfaces which are not Stein. With the aid of the technique of variation of domains developed in Memoirs of Amer. Math. Soc., Vol. 209, No. 984, 2011, we characterize the pseudoconvex domains with smooth boundary in Hopf surfaces which are not Stein. △ Less

Submitted 15 May, 2012; originally announced May 2012.

MSC Class: 32U10

The Asymptotics of Optimal Designs for Polynomial Regression

Authors: T. Bloom, L. Bos, N. Levenberg

Abstract: We give the asymptotics for D-optimal (equivalently G-optimal) designs on a compact (possibly complex) design space. We give the asymptotics for D-optimal (equivalently G-optimal) designs on a compact (possibly complex) design space. △ Less

Submitted 16 December, 2011; originally announced December 2011.

Polynomial Interpolation and Approximation in C^d

Authors: T. Bloom, L. P. Bos, J. -P. Calvi, N. Levenberg

Abstract: We update the state of the subject approximately 20 years after the publication of a previous article on this topic. This report is mostly a survey, with a sprinkling of assorted new results throughout. We update the state of the subject approximately 20 years after the publication of a previous article on this topic. This report is mostly a survey, with a sprinkling of assorted new results throughout. △ Less

Submitted 28 November, 2011; originally announced November 2011.

MSC Class: 32U15

Pluripotential energy and large deviation

Authors: Tom Bloom, Norm Levenberg

Abstract: We generalize our previous results relating pluripotential energy with the electrostatic energy of a measure given by Berman, Boucksom, Guedj and Zeriahi. As a consequence, we obtain a large deviation principle for a canonical sequence of probability measures on a nonpluripolar compact set K in C^n. This is a special case of a result of R. Berman. For n=1, we include a proof that uses only standar… ▽ More We generalize our previous results relating pluripotential energy with the electrostatic energy of a measure given by Berman, Boucksom, Guedj and Zeriahi. As a consequence, we obtain a large deviation principle for a canonical sequence of probability measures on a nonpluripolar compact set K in C^n. This is a special case of a result of R. Berman. For n=1, we include a proof that uses only standard techniques of weighted potential theory. △ Less

Submitted 9 May, 2012; v1 submitted 30 October, 2011; originally announced October 2011.

Comments: This is a revision of our previous version with an expanded introduction and (hopefully!) improved exposition

MSC Class: 32U20; 32U15; 60G99

Projective Hulls and Characterizations of Meromorphic Functions

Authors: J. T. Anderson, J. A. Cima, N. Levenberg, T. J. Ransford

Abstract: We give conditions characterizing holomorphic and meromorphic functions in the unit disk of the complex plane in terms of certain weak forms of the maximum principle. Our work is directly inspired by recent results of John Wermer, and by the theory of the projective hull of a compact subset of complex projective space developed by Reese Harvey and Blaine Lawson. We give conditions characterizing holomorphic and meromorphic functions in the unit disk of the complex plane in terms of certain weak forms of the maximum principle. Our work is directly inspired by recent results of John Wermer, and by the theory of the projective hull of a compact subset of complex projective space developed by Reese Harvey and Blaine Lawson. △ Less

Submitted 21 July, 2011; originally announced July 2011.

MSC Class: 32U15; 32E99; 30J99

Weighted Pluripotential Theory Results of Berman-Boucksom

Authors: Norm Levenberg

Abstract: The main goal of these notes, compiled in 2008-2009, is to present a more-or-less self-contained discussion of some of the recent results and techniques of R. Berman and S. Boucksom in the setting of weighted pluripotential theory. We include some background results on pluripotential theory and weighted pluripotential theory, although many items are stated without proof (references are provided).… ▽ More The main goal of these notes, compiled in 2008-2009, is to present a more-or-less self-contained discussion of some of the recent results and techniques of R. Berman and S. Boucksom in the setting of weighted pluripotential theory. We include some background results on pluripotential theory and weighted pluripotential theory, although many items are stated without proof (references are provided). Although slightly dated and certainly not error-free, we hope someone finds them helpful. △ Less

Submitted 19 October, 2010; originally announced October 2010.

MSC Class: 32U15

Pluripotential Energy

Authors: Tom Bloom, Norm Levenberg

Abstract: For probability measures $μ$ on compact subsets of $\CC^n$ we define two functionals $J(μ)$ and $W(μ)$ modeled on discrete approximations to $μ$ and multivariate Vandermonde determinants. We show that these functionals coincide, up to a constant, with the electrostatic energy of $μ$ defined in a more general setting by Berman, Boucksom, Guedj and Zeriahi. This generalizes the classical notion of l… ▽ More For probability measures $μ$ on compact subsets of $\CC^n$ we define two functionals $J(μ)$ and $W(μ)$ modeled on discrete approximations to $μ$ and multivariate Vandermonde determinants. We show that these functionals coincide, up to a constant, with the electrostatic energy of $μ$ defined in a more general setting by Berman, Boucksom, Guedj and Zeriahi. This generalizes the classical notion of logarithmic energy of a measure in the complex plane; i.e., the case $n=1$. △ Less

Submitted 14 July, 2010; originally announced July 2010.

MSC Class: 32U15

Geometric Weakly Admissible Meshes, Discrete Least Squares Approximations and Approximate Fekete Points

Authors: Len Bos, Jean-Paul Calvi, Norm Levenberg, Alvise Sommariva, Marco Vianello

Abstract: Using the concept of Geometric Weakly Admissible Meshes together with an algorithm based on the classical QR factorization of matrices, we compute efficient points for discrete multivariate least squares approximation and Lagrange interpolation. Using the concept of Geometric Weakly Admissible Meshes together with an algorithm based on the classical QR factorization of matrices, we compute efficient points for discrete multivariate least squares approximation and Lagrange interpolation. △ Less

Submitted 2 February, 2009; originally announced February 2009.

Comments: 20 pages, 14 figures

MSC Class: 41A10; 41A63; 65D05; 65D15; 65Y20

On the Convergence of Optimal Measures

Authors: T. Bloom, L. Bos, N. Levenberg, S. Waldron

Abstract: Using recent results of Berman and Boucksom we show that for a non-pluripolar compact set K in C^d and an admissible weight function w=e^{-φ} any sequence of so-called optimal measures converges weak-* to the equilibrium measure μ_{K,φ} of (weighted) Pluripotential Theory for K,φ. Using recent results of Berman and Boucksom we show that for a non-pluripolar compact set K in C^d and an admissible weight function w=e^{-φ} any sequence of so-called optimal measures converges weak-* to the equilibrium measure μ_{K,φ} of (weighted) Pluripotential Theory for K,φ. △ Less

Submitted 5 August, 2008; originally announced August 2008.

MSC Class: 32U20; 31C10

Transfinite diameter notions in C^N and integrals of Vandermonde determinants

Authors: T. Bloom, N. Levenberg

Abstract: We provide a general framework and indicate relations between the notions of transfinite diameter, homogeneous transfinite diameter, and weighted transfinite diameter for sets in C^N. An ingredient is a formula of Rumely which relates the Robin function and the transfinite diameter of a compact set. We also prove limiting formulas for integrals of generalized Vandermonde determinants with varyin… ▽ More We provide a general framework and indicate relations between the notions of transfinite diameter, homogeneous transfinite diameter, and weighted transfinite diameter for sets in C^N. An ingredient is a formula of Rumely which relates the Robin function and the transfinite diameter of a compact set. We also prove limiting formulas for integrals of generalized Vandermonde determinants with varying weights for a general class of compact sets and measures in C^N. Our results extend to certain weights and measures defined on cones in R^N. △ Less

Submitted 17 December, 2007; originally announced December 2007.

MSC Class: 32U20; 42C05

Robin functions for complex manifolds and applications

Authors: Kang-Tae Kim, Norman Levenberg, Hiroshi Yamaguchi

Abstract: We prove a generalization of the second variation formula of the Robin function associated to a smooth variation of domains in C^N to the case of the c-Robin function associated to a smooth variation of domains in a complex manifold M equipped with a Hermitian metric and a smooth, nonnegative function c. Our purpose is that, with this added flexibility, we are able to give a criterion for a boun… ▽ More We prove a generalization of the second variation formula of the Robin function associated to a smooth variation of domains in C^N to the case of the c-Robin function associated to a smooth variation of domains in a complex manifold M equipped with a Hermitian metric and a smooth, nonnegative function c. Our purpose is that, with this added flexibility, we are able to give a criterion for a bounded, smoothly bounded, pseudoconvex domain D in a complex homogeneous space to be Stein. △ Less

Submitted 9 October, 2007; originally announced October 2007.

Comments: 126 pages, 2 figures

MSC Class: 32U10

Strong asymptotics for Christoffel functions of planar measures

Authors: Tom Bloom, Norm Levenberg

Abstract: We prove a version of strong asymptotics of Christoffel functions with varying weights for a general class of sets E and measures in the complex plane. This class includes all regular measures in the sense of Stahl-Totik on regular compact sets E in the plane and even allows varying weights. Our main theorems cover some known results for subsets E of the real line R; in particular, we recover in… ▽ More We prove a version of strong asymptotics of Christoffel functions with varying weights for a general class of sets E and measures in the complex plane. This class includes all regular measures in the sense of Stahl-Totik on regular compact sets E in the plane and even allows varying weights. Our main theorems cover some known results for subsets E of the real line R; in particular, we recover information in the case of E=R with Lebesgue measure dx and weight w(x) = exp(-Q(x)) where Q(x) is a nonnegative, even degree polynomial having positive leading coefficient. △ Less

Submitted 13 September, 2007; originally announced September 2007.

MSC Class: 42C05

Monge-Ampère Measures for Convex Bodies and Bernstein-Markov Type Inequalities

Authors: D. Burns, N. Levenberg, S. Ma'u, Sz. Révész

Abstract: We use geometric methods to calculate a formula for the complex Monge-Ampère measure $(dd^cV_K)^n$, for $K \Subset \RR^n \subset \CC^n$ a convex body and $V_K$ its Siciak-Zaharjuta extremal function. Bedford and Taylor had computed this for symmetric convex bodies $K$. We apply this to show that two methods for deriving Bernstein-Markov-type inequalities, i.e., pointwise estimates of gradients o… ▽ More We use geometric methods to calculate a formula for the complex Monge-Ampère measure $(dd^cV_K)^n$, for $K \Subset \RR^n \subset \CC^n$ a convex body and $V_K$ its Siciak-Zaharjuta extremal function. Bedford and Taylor had computed this for symmetric convex bodies $K$. We apply this to show that two methods for deriving Bernstein-Markov-type inequalities, i.e., pointwise estimates of gradients of polynomials, yield the same results for all convex bodies. A key role is played by the geometric result that the extremal inscribed ellipses appearing in approximation theory are the maximal area ellipses determining the complex Monge-Ampère solution $V_K$. △ Less

Submitted 8 May, 2007; originally announced May 2007.

MSC Class: 32U15

Approximation in C^N

Authors: Norman Levenberg

Abstract: This is a survey article on selected topics in approximation theory. The topics either use techniques from the theory of several complex variables or arise in the study of the subject. The survey is aimed at readers having an acquaintance with standard results in classical approximation theory and complex analysis but no apriori knowledge of several complex variables is assumed. This is a survey article on selected topics in approximation theory. The topics either use techniques from the theory of several complex variables or arise in the study of the subject. The survey is aimed at readers having an acquaintance with standard results in classical approximation theory and complex analysis but no apriori knowledge of several complex variables is assumed. △ Less

Submitted 8 November, 2006; originally announced November 2006.

MSC Class: 32-02; 41-02

Journal ref: Surveys in Approximation Theory, 2 (2006), 92-140

Exterior Monge-Ampere Solutions

Authors: D. Burns, N. Levenberg, S. Ma'u

Abstract: We discuss the Siciak-Zaharjuta extremal function of a real convex body in C^n, a solution of the homogeneous complex Monge-Ampere equation on the exterior of the convex body. We determine several conditions under which a foliation by holomorphic curves can be found in the complement of the convex body along which the extremal function is harmonic. We study a variational problem for holomorphic… ▽ More We discuss the Siciak-Zaharjuta extremal function of a real convex body in C^n, a solution of the homogeneous complex Monge-Ampere equation on the exterior of the convex body. We determine several conditions under which a foliation by holomorphic curves can be found in the complement of the convex body along which the extremal function is harmonic. We study a variational problem for holomorphic disks in projective space passing through prescribed points at infinity. The extremal curves are all complex quadric curves, and the geometry of such curves allows for the determination of the leaves of the foliation by simple geometric criteria. As a byproduct we encounter a new invariant of an exterior domain, the Robin indicatrix, which is in some cases the dual of the Kobayashi indicatrix for a bounded domain. △ Less

Submitted 25 July, 2006; originally announced July 2006.

MSC Class: 32U15

A Hilbert Lemniscate Theorem in C^2

Authors: T. Bloom, N. Levenberg, Yu. Lyubarskii

Abstract: For a regular, compact, polynomially convex circled set K in C^2, we construct a sequence of pairs {P_n,Q_n} of homogeneous polynomials in two variables with deg P_n = deg Q_n = n such that the sets K_n: = {(z,w) \in C^2 : |P_n(z,w)| \leq 1, |Q_n(z,w)| \leq 1} approximate K and the normalized counting measures {μ_n} associated to the finite set {P_n = Q_n = 1} converge to the pluripotential-theo… ▽ More For a regular, compact, polynomially convex circled set K in C^2, we construct a sequence of pairs {P_n,Q_n} of homogeneous polynomials in two variables with deg P_n = deg Q_n = n such that the sets K_n: = {(z,w) \in C^2 : |P_n(z,w)| \leq 1, |Q_n(z,w)| \leq 1} approximate K and the normalized counting measures {μ_n} associated to the finite set {P_n = Q_n = 1} converge to the pluripotential-theoretic Monge-Ampere measure for K. The key ingredient is an approximation theorem for subharmonic functions of logarithmic growth in one complex variable. △ Less

Submitted 22 July, 2006; originally announced July 2006.

Quasianalyticity and pluripolarity

Authors: Dan Coman, Norman Levenberg, Evgeny A. Poletsky

Abstract: We show that the graph $$Γ_f=\{(z,f(z))\in{\Bbb C}^2: z\in S\}$$ in ${\Bbb C}^2$ of a function $f$ on the unit circle $S$ which is either continuous and quasianalytic in the sense of Bernstein or $C^\infty$ and quasianalytic in the sense of Denjoy is pluripolar. We show that the graph $$Γ_f=\{(z,f(z))\in{\Bbb C}^2: z\in S\}$$ in ${\Bbb C}^2$ of a function $f$ on the unit circle $S$ which is either continuous and quasianalytic in the sense of Bernstein or $C^\infty$ and quasianalytic in the sense of Denjoy is pluripolar. △ Less

Submitted 23 February, 2004; originally announced February 2004.

MSC Class: 26E10; 32U20; 32U35; 32U15; 32U05

Smooth submanifolds intersecting any analytic curve in a discrete set

Authors: Dan Coman, Norman Levenberg, Evgeny A. Poletsky

Abstract: We construct examples of $C^\infty$ smooth submanifolds in ${\Bbb C}^n$ and ${\Bbb R}^n$ of codimension 2 and 1, which intersect every complex, respectively real, analytic curve in a discrete set. The examples are realized either as compact tori or as properly imbedded Euclidean spaces, and are the graphs of quasianalytic functions. In the complex case, these submanifolds contain real $n$-dimens… ▽ More We construct examples of $C^\infty$ smooth submanifolds in ${\Bbb C}^n$ and ${\Bbb R}^n$ of codimension 2 and 1, which intersect every complex, respectively real, analytic curve in a discrete set. The examples are realized either as compact tori or as properly imbedded Euclidean spaces, and are the graphs of quasianalytic functions. In the complex case, these submanifolds contain real $n$-dimensional tori or Euclidean spaces that are not pluripolar while the intersection with any complex analytic disk is polar. △ Less

Submitted 23 February, 2004; originally announced February 2004.

MSC Class: 32U15; 53A07; 26E10; 32U05

A Tangential Markov Inequality on Exponential Curves

Authors: L. P. Bos, A. Brudnyi, N. Levenberg

Abstract: We show that on the curves y=e^{t(x)} where t(x) is a fixed polynomial, there holds a tangential Markov inequality of exponent four. Specifically, for the real interval [a,b] there is a constant C such that max_{x\in [a,b]}|\frac{d}{dx}P(x,e^{t(x)})|\leq C(deg(P))^{4} max_{x\in [a,b]}|P(x,e^{t(x)})| for all bivariate polynomials P(x,y). We show that on the curves y=e^{t(x)} where t(x) is a fixed polynomial, there holds a tangential Markov inequality of exponent four. Specifically, for the real interval [a,b] there is a constant C such that max_{x\in [a,b]}|\frac{d}{dx}P(x,e^{t(x)})|\leq C(deg(P))^{4} max_{x\in [a,b]}|P(x,e^{t(x)})| for all bivariate polynomials P(x,y). △ Less

Submitted 25 April, 2001; originally announced April 2001.