Showing 1–50 of 69 results for author: Berg, C

Analytic Versus Algebraic Density of Polynomials

Authors: Christian Berg, Brian Simanek, Richard Wellman

Abstract: We show that under very mild conditions on a measure $μ$ on the interval $[0,\infty)$, the span of $\{x^k\}_{k=n}^{\infty}$ is dense in $L^2(μ)$ for any $n=0,1,\ldots$. We present two different proofs of this result, one based on the density index of Berg and Thill and one based on the Hilbert space $L^2(μ)\oplus \mathbb{C}^{n+1}$. Using the index of determinacy of Berg and Durán we prove that if… ▽ More We show that under very mild conditions on a measure $μ$ on the interval $[0,\infty)$, the span of $\{x^k\}_{k=n}^{\infty}$ is dense in $L^2(μ)$ for any $n=0,1,\ldots$. We present two different proofs of this result, one based on the density index of Berg and Thill and one based on the Hilbert space $L^2(μ)\oplus \mathbb{C}^{n+1}$. Using the index of determinacy of Berg and Durán we prove that if the measure $μ$ on $\mathbb{R}$ has infinite index of determinacy then the polynomial ideal $R(x)\mathbb{C}[x]$ is dense in $L^2(μ)$ for any polynomial $R$ with zeros having no mass under $μ$. △ Less

Submitted 17 February, 2025; originally announced February 2025.

Comments: Significant overlap with arXiv:2406.18353

Indeterminate Stieltjes moment problems revisited

Authors: Christian Berg

Abstract: We consider a normalized indeterminate Hamburger moment sequence s which is supposed to be Stieltjes. We revisit old results about determinacy/indeterminacy in the sense of Stieltjes for s and we prove some new results about the concepts involved. We consider a normalized indeterminate Hamburger moment sequence s which is supposed to be Stieltjes. We revisit old results about determinacy/indeterminacy in the sense of Stieltjes for s and we prove some new results about the concepts involved. △ Less

Submitted 11 July, 2024; originally announced July 2024.

Comments: 15 pages, 1 figure

MSC Class: 44A60; 30B50

A complete Bernstein function related to the fractal dimension of Pascal's pyramid modulo a prime

Authors: Christian Berg

Abstract: Let $f_r(x)=\log(1+rx)/\log(1+x)$ for $x>0$. We prove that $f_r$ is a complete Bernstein function for $0\le r\le 1$ and a Stieltjes function for $1\le r$. This answers a conjecture of David Bradley that $f_r$ is a Bernstein function when $0\le r\le 1$. Let $f_r(x)=\log(1+rx)/\log(1+x)$ for $x>0$. We prove that $f_r$ is a complete Bernstein function for $0\le r\le 1$ and a Stieltjes function for $1\le r$. This answers a conjecture of David Bradley that $f_r$ is a Bernstein function when $0\le r\le 1$. △ Less

Submitted 27 January, 2025; v1 submitted 13 February, 2024; originally announced February 2024.

Comments: 12 pages, 2 figures. Section 5 added. To appear in Expositiones Mathematicae

MSC Class: 30E20; 26A48

Data Assimilation for Combined Parameter and State Estimation in Stochastic Continuous-Discrete Nonlinear Systems

Authors: Tarek Diaa-Eldeen, Marcus Krogh Nielsen, Carl Fredrik Berg, Morten Hovd, John Bagterp Jørgensen

Abstract: Data assimilation (DA) provides a general framework for estimation in dynamical systems based on the concepts of Bayesian inference. This constitutes a common basis for the different linear and nonlinear filtering and smoothing techniques which gives a better understanding of the characteristics and limitations of each approach. In this study, four nonlinear filters for systems governed by stochas… ▽ More Data assimilation (DA) provides a general framework for estimation in dynamical systems based on the concepts of Bayesian inference. This constitutes a common basis for the different linear and nonlinear filtering and smoothing techniques which gives a better understanding of the characteristics and limitations of each approach. In this study, four nonlinear filters for systems governed by stochastic continuous dynamics with discrete measurements are inferred as different approximate solutions to the Fokker-Planck equation in the prediction step of the Bayesian update. The characteristics and drawbacks of each filtering approach are discussed in light of the introduced approximations to the original Bayesian problem in each case. The introduced continuous-discrete (CD) filters are then implemented to solve the combined estimation problem of the state and parameter variables in a nonlinear system described by a stochastic differential equation (SDE), namely, the continuous stirred-tank reactor (CSTR). The performance measures for each filter, such as estimation errors, computational cost, and the ability to quantify the correct uncertainty, are compared and investigated with attribution to the assumed approximations introduced in the derivation of each class of filters. △ Less

Submitted 7 March, 2023; originally announced March 2023.

Indeterminate Jacobi operators

Authors: Christian Berg, Ryszard Szwarc

Abstract: We consider the Jacobi operator (T,D(T)) associated with an indeterminate Hamburger moment problem, i.e., the operator in $\ell^2$ defined as the closure of the Jacobi matrix acting on the subspace of complex sequences with only finitely many non-zero terms. It is well-known that it is symmetric with deficiency indices (1,1). For a complex number z let $\mathfrak{p}_z, \mathfrak{q}_z$ denote the s… ▽ More We consider the Jacobi operator (T,D(T)) associated with an indeterminate Hamburger moment problem, i.e., the operator in $\ell^2$ defined as the closure of the Jacobi matrix acting on the subspace of complex sequences with only finitely many non-zero terms. It is well-known that it is symmetric with deficiency indices (1,1). For a complex number z let $\mathfrak{p}_z, \mathfrak{q}_z$ denote the square summable sequences (p_n(z)) and (q_n(z)) corresponding to the orthonormal polynomials p_n and polynomials q_n of the second kind. We determine whether linear combinations of $\mathfrak{p}_u,\mathfrak{p}_v,\mathfrak{q}_u,\mathfrak{q}_v$ for complex u,v belong to D(T) or to the domain of the self-adjoint extensions of T in $\ell^2$. The results depend on the four Nevanlinna functions of two variables associated with the moment problem. We also show that D(T) is the common range of an explicitly constructed family of bounded operators on $\ell^2$. △ Less

Submitted 2 January, 2023; originally announced January 2023.

Comments: 29 pages

MSC Class: 47B25; 47B36; 44A60

Self-adjoint operators associated with Hankel moment matrices

Authors: Christian Berg, Ryszard Szwarc

Abstract: In a paper from 2016 D. R. Yafaev initiated a study of closable Hankel forms associated with the moments $(m_n)$ of a positive measure with infinite support on the real line. If $m_n=o(1)$ Yafaev characterized the closure of the form based on earlier work on quasi-Carleman operators. We give a new proof of the description of the closure based entirely on moment considerations. The main purpose o… ▽ More In a paper from 2016 D. R. Yafaev initiated a study of closable Hankel forms associated with the moments $(m_n)$ of a positive measure with infinite support on the real line. If $m_n=o(1)$ Yafaev characterized the closure of the form based on earlier work on quasi-Carleman operators. We give a new proof of the description of the closure based entirely on moment considerations. The main purpose of the present paper is a description of the self-adjoint Hankel operators associated with closed Hankel forms in the Hilbert space of square summable sequences. We do this not only in the case $m_n=o(1)$ studied by Yafaev but also in two other cases, where the Hankel form is closable, namely if the moment sequence is indeterminate or if the moment sequence is determinate with finite index of determinacy. △ Less

Submitted 10 August, 2022; v1 submitted 15 May, 2021; originally announced May 2021.

Comments: 32 pages. Theorem 3.2 and Remark 3.4 are slightly reformulated to make the result and the proof more transparent

MSC Class: 47A05 (Primary) 47B25; 47B35 (Secondary)

A family of Horn-Bernstein functions

Authors: Christian Berg, Henrik L. Pedersen

Abstract: A family of recently investigated Bernstein functions is revisited and those functions for which the derivatives are logarithmically completely monotonic are identified. This leads to the definition of a class of Bernstein functions, which we propose to call Horn-Bernstein functions because of the results of Roger A. Horn. A family of recently investigated Bernstein functions is revisited and those functions for which the derivatives are logarithmically completely monotonic are identified. This leads to the definition of a class of Bernstein functions, which we propose to call Horn-Bernstein functions because of the results of Roger A. Horn. △ Less

Submitted 22 December, 2020; v1 submitted 14 August, 2020; originally announced August 2020.

Comments: 14 pages references updated

MSC Class: 44A10

Completely monotonic ratios of basic and ordinary gamma functions

Authors: Christian Berg, Asena Cetinkaya, Dmitrii Karp

Abstract: We investigate conditions for logarithmic complete monotonicity of product ratios of gamma and q-gamma functions whose arguments are linear functions of the variable. We give necessary and sufficient conditions in terms of nonnegativity of a certain explicitly written measure in the q case and of a certain elementary function in the classical q=1 case. In the latter case we further provide simple… ▽ More We investigate conditions for logarithmic complete monotonicity of product ratios of gamma and q-gamma functions whose arguments are linear functions of the variable. We give necessary and sufficient conditions in terms of nonnegativity of a certain explicitly written measure in the q case and of a certain elementary function in the classical q=1 case. In the latter case we further provide simple new sufficient conditions leading to many new examples of logarithmically completely monotonic gamma ratios. Finally, we apply some of our results to study monotonicity of some gamma ratios and rational functions. △ Less

Submitted 29 April, 2020; originally announced April 2020.

Comments: 23 pages; no figures

MSC Class: 33B15; 33D05; 26A48

A unified view of space-time covariance functions through Gelfand pairs

Authors: Christian Berg

Abstract: We give a characterization of positive definite integrable functions on a product of two Gelfand pairs as an integral of positive definite functions on one of the Gelfand pairs with respect to the Plancherel measure on the dual of the other Gelfand pair. In the very special case where the Gelfand pairs are Euclidean groups and the compact subgroups are reduced to the identity, the characterizati… ▽ More We give a characterization of positive definite integrable functions on a product of two Gelfand pairs as an integral of positive definite functions on one of the Gelfand pairs with respect to the Plancherel measure on the dual of the other Gelfand pair. In the very special case where the Gelfand pairs are Euclidean groups and the compact subgroups are reduced to the identity, the characterization is a much cited result in spatio-temporal statistics due to Cressie, Huang and Gneiting. When one of the Gelfand pairs is compact the characterization leads to results about expansions in spherical functions with positive definite expansion functions, thereby recovering recent results of the author in collaboration with Peron and Porcu. In the special case when the compact Gelfand pair consists of orthogonal groups, the characterization is important in geostatistics and covers a recent result of Porcu and White. △ Less

Submitted 1 October, 2020; v1 submitted 27 April, 2020; originally announced April 2020.

Comments: 26 pages. New references. To appear in J. Fourier Anal. Appl

MSC Class: 43A25; 43A35; 43A75

Nielsen's beta function and some infinitely divisible distributions

Authors: Christian Berg, Stamatis Koumandos, Henrik L. Pedersen

Abstract: We show that a large collection of special functions, in particular Nielsen's beta function, are generalized Stieltjes functions of order 2, and therefore logarithmically completely monotonic. This includes the Laplace transform of functions of the form $xf(x)$, where $f$ is itself the Laplace transform of a sum of dilations and translations of periodic functions. Our methods are also applied to r… ▽ More We show that a large collection of special functions, in particular Nielsen's beta function, are generalized Stieltjes functions of order 2, and therefore logarithmically completely monotonic. This includes the Laplace transform of functions of the form $xf(x)$, where $f$ is itself the Laplace transform of a sum of dilations and translations of periodic functions. Our methods are also applied to ratios of Gamma functions, and to the remainders in asymptotic expansions of the double Gamma function of Barnes. △ Less

Submitted 20 September, 2019; v1 submitted 10 May, 2019; originally announced May 2019.

Comments: 32 pages

Closable Hankel operators and moment problems

Authors: Christian Berg, Ryszard Szwarc

Abstract: In a paper from 2016 D. R. Yafaev considers Hankel operators associated with Hamburger moment sequences q_n and claims that the corresponding Hankel form is closable if and only if the moment sequence tends to 0. The claim is not correct, since we prove closability for any indeterminate moment sequence but also for certain determinate moment sequences corresponding to measures with finite index of… ▽ More In a paper from 2016 D. R. Yafaev considers Hankel operators associated with Hamburger moment sequences q_n and claims that the corresponding Hankel form is closable if and only if the moment sequence tends to 0. The claim is not correct, since we prove closability for any indeterminate moment sequence but also for certain determinate moment sequences corresponding to measures with finite index of determinacy. It is also established that Yafaev's result holds if the moments satisfy \root{2n}\of{q_{2n}}=o(n). △ Less

Submitted 4 June, 2019; v1 submitted 8 May, 2019; originally announced May 2019.

Comments: 10 pages. The notation for the closure of an operator A is changed to \overline{A} from øA on pages 7,8

MSC Class: 47A05; 47B25; 47B35

High resolution in-vivo MR-STAT using a matrix-free and parallelized reconstruction algorithm

Authors: Oscar van der Heide, Alessandro Sbrizzi, Peter R. Luijten, Cornelis A. T. van den Berg

Abstract: MR-STAT is a recently proposed framework that allows the reconstruction of multiple quantitative parameter maps from a single short scan by performing spatial localisation and parameter estimation on the time domain data simultaneously, without relying on the FFT. To do this at high-resolution, specialized algorithms are required to solve the underlying large-scale non-linear optimisation problem.… ▽ More MR-STAT is a recently proposed framework that allows the reconstruction of multiple quantitative parameter maps from a single short scan by performing spatial localisation and parameter estimation on the time domain data simultaneously, without relying on the FFT. To do this at high-resolution, specialized algorithms are required to solve the underlying large-scale non-linear optimisation problem. We propose a matrix-free and parallelized inexact Gauss-Newton based reconstruction algorithm for this purpose. The proposed algorithm is implemented on a high performance computing cluster and is demonstrated to be able to generate high-resolution ($1mm \times 1mm$ in-plane resolution) quantitative parameter maps in simulation, phantom and in-vivo brain experiments. Reconstructed $T_1$ and $T_2$ values for the gel phantoms are in agreement with results from gold standard measurements and for the in-vivo experiments the quantitative values show good agreement with literature values. In all experiments short pulse sequences with robust Cartesian sampling are used for which conventional MR Fingerprinting reconstructions are shown to fail. △ Less

Submitted 16 December, 2019; v1 submitted 30 April, 2019; originally announced April 2019.

Comments: Accepted by NMR in Biomedicine on 2019-12-05

A family of entire functions connecting the Bessel function $J_1$ and the Lambert $W$ function

Authors: Christian Berg, Eugenio Massa, Ana P. Peron

Abstract: Motivated by the problem of determining the values of $α>0$ for which $f_α(x)=e^α- (1+1/x)^{αx},\ x>0$ is a completely monotonic function, we combine Fourier analysis with complex analysis to find a family $\varphi_α$, $α>0$, of entire functions such that $f_α(x) =\int_0^\infty e^{-sx}\varphi_α(s)\,ds, \ x>0.$ We show that each function $\varphi_α$ has an expansion in power series, whose coeffic… ▽ More Motivated by the problem of determining the values of $α>0$ for which $f_α(x)=e^α- (1+1/x)^{αx},\ x>0$ is a completely monotonic function, we combine Fourier analysis with complex analysis to find a family $\varphi_α$, $α>0$, of entire functions such that $f_α(x) =\int_0^\infty e^{-sx}\varphi_α(s)\,ds, \ x>0.$ We show that each function $\varphi_α$ has an expansion in power series, whose coefficients are determined in terms of Bell polynomials. This expansion leads to several properties of the functions $\varphi_α$, which turn out to be related to the well known Bessel function $J_1$ and the Lambert $W$ function. On the other hand, by numerically evaluating the series expansion, we are able to show the behavior of $\varphi_α$ as $α$ increases from $0$ to $\infty$ and to obtain a very precise approximation of the largest $α>0$ such that $\varphi_α(s)\geq0,\, s>0$, or equivalently, such that $f_α$ is completely monotonic. △ Less

Submitted 6 December, 2019; v1 submitted 18 March, 2019; originally announced March 2019.

Comments: accepted for publication in Constructive Approximation

MSC Class: 26A48; 30E20; 42A38; 33F05

Journal ref: Constr Approx (2020)

A two-parameter extension of the Urbanik semigroup

Authors: Christian Berg

Abstract: We prove that s_n(a,b)=Γ(an+b)/Γ(b), n=0,1,\ldots is an infinitely divisible Stieltjes moment sequence for arbitrary a,b>0. Its powers s_n(a,b)^c, c>0 are Stieltjes determinate if and only if ac\le 2. The latter was conjectured in a paper by Lin (ArXiv: 1711.01536) in the case b=1. We describe a product convolution semigroup τ_c(a,b), c>0 of probability measures on the positive half-line with dens… ▽ More We prove that s_n(a,b)=Γ(an+b)/Γ(b), n=0,1,\ldots is an infinitely divisible Stieltjes moment sequence for arbitrary a,b>0. Its powers s_n(a,b)^c, c>0 are Stieltjes determinate if and only if ac\le 2. The latter was conjectured in a paper by Lin (ArXiv: 1711.01536) in the case b=1. We describe a product convolution semigroup τ_c(a,b), c>0 of probability measures on the positive half-line with densities e_c(a,b) and having the moments s_n(a,b)^c. We determine the asymptotic behaviour of e_c(a,b)(t) for t\to 0 and for t\to\infty, and the latter implies the Stieltjes indeterminacy when ac>2. The results extend previous work of the author and J. L. López and lead to a convolution semigroup of probability densities (g_c(a,b)(x))_{c>0} on the real line. The special case (g_c(a,1)(x))_{c>0} are the convolution roots of the Gumbel distribution with scale parameter a>0. All the densities g_c(a,b)(x) lead to determinate Hamburger moment problems. △ Less

Submitted 3 February, 2018; originally announced February 2018.

Comments: 16 pages

MSC Class: 60E07; 60B15; 44A60

Journal ref: Probab. Math. Statist. 39 fasc.2 (2019), 441-458 (NB New Title:A two parameter extension of Urbanik's product convolution semigroup)

Inverse of Infinite Hankel Moment Matrices

Authors: Christian Berg, Ryszard Szwarc

Abstract: Let $(s_n)_{n\ge 0}$ denote an indeterminate Hamburger moment sequence and let $\mathcal H=\{s_{m+n}\}$ be the corresponding positive definite Hankel matrix. We consider the question if there exists an infinite symmetric matrix $\mathcal A=\{a_{j,k}\}$, which is an inverse of $\mathcal H$ in the sense that the matrix product $\mathcal A\mathcal H$ is defined by absolutely convergent series and… ▽ More Let $(s_n)_{n\ge 0}$ denote an indeterminate Hamburger moment sequence and let $\mathcal H=\{s_{m+n}\}$ be the corresponding positive definite Hankel matrix. We consider the question if there exists an infinite symmetric matrix $\mathcal A=\{a_{j,k}\}$, which is an inverse of $\mathcal H$ in the sense that the matrix product $\mathcal A\mathcal H$ is defined by absolutely convergent series and $\mathcal A\mathcal H$ equals the identity matrix $\mathcal I$, a property called (aci). A candidate for $\mathcal A$ is the coefficient matrix of the reproducing kernel of the moment problem, considered as an entire function of two complex variables. We say that the moment problem has property (aci), if (aci) holds for this matrix $\mathcal A$. We show that this is true for many classical indeterminate moment problems but not for the symmetrized version of a cubic birth-and-death process studied by Valent and co-authors. We consider mainly symmetric indeterminate moment problems and give a number of sufficient conditions for (aci) to hold in terms of the recurrence coefficients for the orthonormal polynomials. A sufficient condition is a rapid increase of the recurrence coefficients in the sense that the quotient between consecutive terms is uniformly bounded by a constant strictly smaller than one. We also give a simple example, where (aci) holds, but an inverse matrix of $\mathcal H$ is highly non-unique. △ Less

Submitted 6 October, 2018; v1 submitted 18 January, 2018; originally announced January 2018.

MSC Class: 42C05; 44A60; 47B36; 33D45; 60J80

Journal ref: SIGMA 14 (2018), 109, 48 pages

Rate Dependency in Steady-State Upscaling

Authors: Lars Hov Odsæter, Carl Fredrik Berg, Alf Birger Rustad

Abstract: Steady-state upscaling of relative permeability is studied for a range of reservoir models. Both rate-dependent upscaling and upscaling in the capillary and viscous limits are considered. In particular, we study fluvial depositional systems, which represent a large and important class of reservoirs. Numerical examples show that steady-state upscaling is rate dependent, in accordance with previous… ▽ More Steady-state upscaling of relative permeability is studied for a range of reservoir models. Both rate-dependent upscaling and upscaling in the capillary and viscous limits are considered. In particular, we study fluvial depositional systems, which represent a large and important class of reservoirs. Numerical examples show that steady-state upscaling is rate dependent, in accordance with previous work. In this respect we introduce a scale-dependent capillary number to estimate the balance between viscous and capillary forces. The difference between the limit solutions can be large, and we show that the intermediate flow rates can span several orders of magnitude. This substantiate the need for rate-dependent steady-state upscaling in a range of flow scenarios. We demonstrate that steady-state upscaling converges from the capillary to the viscous limit solution as the flow rate increases, and we identify a simple synthetic model where the convergence fails to be monotone. Two different sets of boundary conditions were tested, but had only minor effects on the presented reservoir models. Finally, we demonstrate the applicability of steady-state upscaling by performing dynamic flow simulation at the reservoir scale, both on fine-scaled and on upscaled models. The considered model is viscous dominated for realistic flow rates, and the simulation results indicate that viscous limit upscaling is appropriate. △ Less

Submitted 31 July, 2017; originally announced July 2017.

Comments: 25 pages, 18 figures, 4 tables

Journal ref: Transp Porous Med (2015) 110:565-589

Schoenberg's theorem for real and complex Hilbert spheres revisited

Authors: Christian Berg, Ana P. Peron, Emilio Porcu

Abstract: Schoenberg's theorem for the complex Hilbert sphere proved by Christensen and Ressel in 1982 by Choquet theory is extended to the following result: Let L denote a locally compact group and let \overline{\D} denote the closed unit disc in the complex plane. Continuous functions f:\overline{\D}\times L\to \C such that f(ξ\cdot η,u^{-1}v) is a positive definite kernel on the product of the unit spher… ▽ More Schoenberg's theorem for the complex Hilbert sphere proved by Christensen and Ressel in 1982 by Choquet theory is extended to the following result: Let L denote a locally compact group and let \overline{\D} denote the closed unit disc in the complex plane. Continuous functions f:\overline{\D}\times L\to \C such that f(ξ\cdot η,u^{-1}v) is a positive definite kernel on the product of the unit sphere in \ell_2(\C) and L are characterized as the functions with a uniformly convergent expansion f(z,u)=\sum_{m,n=0}^\infty \varphi_{m,n}(u)z^m\overline{z}^n, where \varphi_{m,n} is a double sequence of continuous positive definite functions on L such that \sum\varphi_{m,n}(e_L)<\infty (e_L is the neutral element of L). It is shown how the coefficient functions \varphi_{m,n} are obtained as limits from expansions for positive definite functions on finite dimensional complex spheres via a Rodrigues formula for disc polynomials. Similar results are obtained for the real Hilbert sphere. △ Less

Submitted 25 January, 2017; originally announced January 2017.

Comments: 22 pages

MSC Class: 43A35; 33C45; 33C55

Journal ref: Journal of Approximation Theory (2018) Volume 228, 58-78

Orthogonal expansions related to compact Gelfand pairs

Authors: Christian Berg, Ana P. Peron, Emilio Porcu

Abstract: Given a compact Gelfand pair (G,K) and a locally compact group L, we characterize the class P_K^\sharp(G,L) of continuous positive definite functions f:G\times L\to \C which are bi-invariant in the G-variable with respect to K. The functions of this class are the functions having a uniformly convergent expansion \sum_{\varphi\in Z} B(\varphi)(u)\varphi(x) for x\in G,u\in L, where the sum is over t… ▽ More Given a compact Gelfand pair (G,K) and a locally compact group L, we characterize the class P_K^\sharp(G,L) of continuous positive definite functions f:G\times L\to \C which are bi-invariant in the G-variable with respect to K. The functions of this class are the functions having a uniformly convergent expansion \sum_{\varphi\in Z} B(\varphi)(u)\varphi(x) for x\in G,u\in L, where the sum is over the space Z of positive definite spherical functions \varphi:G\to\C for the Gelfand pair, and (B(\varphi))_{\varphi\in Z} is a family of continuous positive definite functions on L such that \sum_{\varphi\in Z}B(\varphi)(e_L)<\infty. Here e_L is the neutral element of the group L. For a compact abelian group G considered as a Gelfand pair (G,K) with trivial K=\{e_G\}, we obtain a characterization of P(G\times L) in terms of Fourier expansions on the dual group \widehat{G}. The result is described in detail for the case of the Gelfand pairs (O(d+1),O(d)) and (U(q),U(q-1)) as well as for the product of these Gelfand pairs. The result generalizes recent theorems of Berg-Porcu (2016) and Guella-Menegatto (2016) △ Less

Submitted 12 December, 2016; originally announced December 2016.

Comments: 21 pages

MSC Class: Primary 43A35; 43A85; 43A90; secondary 33C45; 33C55

Journal ref: Expositiones Mathematicae (2018), Volume 36, Issues 3-4, p. 259 - 277

Solvability of the Hankel determinant problem for real sequences

Authors: Andrew Bakan, Christian Berg

Abstract: To each nonzero sequence $s:= \{s_{n}\}_{n \geq 0}$ of real numbers we associate the Hankel determinants $D_{n} = \det \mathcal{H}_{n}$ of the Hankel matrices $\mathcal{H}_{n}:= (s_{i + j})_{i, j = 0}^{n}$, $n \geq 0$, and the nonempty set $N_{s}:= \{n \geq 1 \, | \, D_{n-1} \neq 0 \}$. We also define the Hankel determinant polynomials $P_0:=1$, and $P_n$, $n\geq 1$ as the determinant of the Hanke… ▽ More To each nonzero sequence $s:= \{s_{n}\}_{n \geq 0}$ of real numbers we associate the Hankel determinants $D_{n} = \det \mathcal{H}_{n}$ of the Hankel matrices $\mathcal{H}_{n}:= (s_{i + j})_{i, j = 0}^{n}$, $n \geq 0$, and the nonempty set $N_{s}:= \{n \geq 1 \, | \, D_{n-1} \neq 0 \}$. We also define the Hankel determinant polynomials $P_0:=1$, and $P_n$, $n\geq 1$ as the determinant of the Hankel matrix $\mathcal H_n$ modified by replacing the last row by the monomials $1, x, \ldots, x^n$. Clearly $P_n$ is a polynomial of degree at most $n$ and of degree $n$ if and only if $n\in N_s $. Kronecker established in 1881 that if $N_s $ is finite then rank $\mathcal{H}_{n} = r$ for each $n \geq r-1$, where $r := \max N_s $. By using an approach suggested by I.S.Iohvidov in 1969 we give a short proof of this result and a transparent proof of the conditions on a real sequence $\{t_n\}_{n\geq 0}$ to be of the form $t_n=D_n$, $n\geq 0$ for a real sequence $\{s_n\}_{n\geq 0}$. This is the Hankel determinant problem. We derive from the Kronecker identities that each Hankel determinant polynomial $ P_n $ satisfying deg$P_n = n\geq 1$ is preceded by a nonzero polynomial $P_{n-1}$ whose degree can be strictly less than $n-1$ and which has no common zeros with $ P_n $. As an application of our results we obtain a new proof of a recent theorem by Berg and Szwarc about positive semidefiniteness of all Hankel matrices provided that $D_0 > 0, \ldots, D_{r-1} > 0 $ and $D_n=0$ for all $n\geq r$. △ Less

Submitted 9 May, 2016; v1 submitted 4 May, 2016; originally announced May 2016.

Comments: 19 pages

MSC Class: 44A60; 47B36; 15A15; 15A63

Symmetric moment problems and a conjecture of Valent

Authors: Christian Berg, Ryszard Szwarc

Abstract: In 1998 G. Valent made conjectures about the order and type of certain indeterminate Stieltjes moment problems associated with birth and death processes having polynomial birth and death rates of degree p\ge 3. Romanov recently proved that the order is 1/p as conjectured, see \cite{Ro}. We prove that the type with respect to the order is related to certain multi-zeta values and that this type belo… ▽ More In 1998 G. Valent made conjectures about the order and type of certain indeterminate Stieltjes moment problems associated with birth and death processes having polynomial birth and death rates of degree p\ge 3. Romanov recently proved that the order is 1/p as conjectured, see \cite{Ro}. We prove that the type with respect to the order is related to certain multi-zeta values and that this type belongs to the interval [π/(p\sin(π/p)),π/(p\sin(π/p)\cos(π/p))], which also contains the conjectured value. This proves that the conjecture about type is asymptotically correct as p\to\infty. The main idea is to obtain estimates for order and type of symmetric indeterminate Hamburger moment problems when the orthonormal polynomials P_n and those of the second kind Q_n satisfy P_{2n}^2(0)\sim c_1n^{-1/\b} and Q_{2n-1}^2(0)\sim c_2 n^{-1/\a}, where 0<\a,\b<1 can be different, and c_1,c_2 are positive constants. In this case the order of the moment problem is majorized by the harmonic mean of \a,\b. Here α_n\sim β_n means that α_n/β_n\to 1. This also leads to a new proof of Romanov's Theorem that the order is 1/p. △ Less

Submitted 27 January, 2017; v1 submitted 22 September, 2015; originally announced September 2015.

Comments: 27 pages. Revised version after referee report. The material is now rearranged in 6 sections. New references added

MSC Class: 44A60; 11M32; 30D15; 60J80

From Schoenberg coefficients to Schoenberg functions

Authors: Christian Berg, Emilio Porcu

Abstract: In his seminal paper, Schoenberg (1942) characterized the class P(S^d) of continuous functions f:[-1,1] \to \R such that f(\cos θ) is positive definite over the product space S^d \times S^d, with S^d being the unit sphere of \R^{d+1} and θbeing the great circle distance. In this paper, we consider the product space S^d \times G, for G a locally compact group, and define the class P(S^d, G) of cont… ▽ More In his seminal paper, Schoenberg (1942) characterized the class P(S^d) of continuous functions f:[-1,1] \to \R such that f(\cos θ) is positive definite over the product space S^d \times S^d, with S^d being the unit sphere of \R^{d+1} and θbeing the great circle distance. In this paper, we consider the product space S^d \times G, for G a locally compact group, and define the class P(S^d, G) of continuous functions f:[-1,1]\times G \to \C such that f(\cos θ, u^{-1}\cdot v) is positive definite on S^d \times S^d \times G \times G. This offers a natural extension of Schoenberg's Theorem. Schoenberg's second theorem corresponding to the Hilbert sphere S^\infty is also extended to this context. The case G=\R is of special importance for probability theory and stochastic processes, because it characterizes completely the class of space-time covariance functions where the space is the sphere, being an approximation of Planet Earth. △ Less

Submitted 1 December, 2015; v1 submitted 21 May, 2015; originally announced May 2015.

Comments: 26 pages

MSC Class: Primary 43A35; secondary 33C55

A determinant characterization of moment sequences with finitely many mass-points

Authors: Christian Berg, Ryszard Szwarc

Abstract: To a sequence (s_n)_{n\ge 0} of real numbers we associate the sequence of Hankel matrices \mathcal H_n=(s_{i+j}),0\le i,j \le n. We prove that if the corresponding sequence of Hankel determinants D_n=\det\mathcal H_n satisfy D_n>0 for n<n_0 while D_n=0 for n\ge n_0, then all Hankel matrices are positive semi-definite, and in particular (s_n) is the sequence of moments of a discrete measure concent… ▽ More To a sequence (s_n)_{n\ge 0} of real numbers we associate the sequence of Hankel matrices \mathcal H_n=(s_{i+j}),0\le i,j \le n. We prove that if the corresponding sequence of Hankel determinants D_n=\det\mathcal H_n satisfy D_n>0 for n<n_0 while D_n=0 for n\ge n_0, then all Hankel matrices are positive semi-definite, and in particular (s_n) is the sequence of moments of a discrete measure concentrated in n_0 points on the real line. We stress that the conditions D_n\ge 0 for all n do not imply the positive semi-definiteness of the Hankel matrices. △ Less

Submitted 28 May, 2014; originally announced May 2014.

Comments: 8 pages

MSC Class: 44A60; 15A15

Journal ref: Linear and Multilinear Algebra 63 (8) (2015), 1568-1576

FindStat - the combinatorial statistics database

Authors: Chris Berg, Viviane Pons, Travis Scrimshaw, Jessica Striker, Christian Stump

Abstract: The FindStat project at www.FindStat.org provides an online platform for mathematicians, particularly for combinatorialists, to gather information about combinatorial statistics and their relations. This outline provides an overview over the project. The FindStat project at www.FindStat.org provides an online platform for mathematicians, particularly for combinatorialists, to gather information about combinatorial statistics and their relations. This outline provides an overview over the project. △ Less

Submitted 15 January, 2014; originally announced January 2014.

Comments: 2 pages, project description

Asymptotic behaviour of the Urbanik semigroup

Authors: Christian Berg, José Luis López

Abstract: We revisit the product convolution semigroup of probability densities e_c(t),c>0 on the positive half-line with moments (n!)^c and determine the asymptotic behaviour of e_c(t) for large and small t>0. This shows that (n!)^c is indeterminate as Stieltjes moment sequence if and only if c>2 We revisit the product convolution semigroup of probability densities e_c(t),c>0 on the positive half-line with moments (n!)^c and determine the asymptotic behaviour of e_c(t) for large and small t>0. This shows that (n!)^c is indeterminate as Stieltjes moment sequence if and only if c>2 △ Less

Submitted 1 October, 2013; originally announced October 2013.

Comments: 13 pages

MSC Class: 30E15; 44A60; 60B15

Journal ref: J. Approx. Theory 195 (2015), 109-121

On the order of indeterminate moment problems

Authors: Christian Berg, Ryszard Szwarc

Abstract: For an indeterminate moment problem we denote the orthonormal polynomials by P_n. We study the relation between the growth of the function P(z)=(\sum_{n=0}^\infty|P_n(z)|^2)^{1/2} and summability properties of the sequence (P_n(z)). Under certain assumptions on the recurrence coefficients from the three term recurrence relation zP_n(z)=b_nP_{n+1}(z)+a_nP_n(z)+b_{n-1}P_{n-1}(z), we show that the fu… ▽ More For an indeterminate moment problem we denote the orthonormal polynomials by P_n. We study the relation between the growth of the function P(z)=(\sum_{n=0}^\infty|P_n(z)|^2)^{1/2} and summability properties of the sequence (P_n(z)). Under certain assumptions on the recurrence coefficients from the three term recurrence relation zP_n(z)=b_nP_{n+1}(z)+a_nP_n(z)+b_{n-1}P_{n-1}(z), we show that the function P is of order αwith 0<α<1, if and only if the sequence (P_n(z)) is absolutely summable to any power greater than 2α. Furthermore, the order αis equal to the exponent of convergence of the sequence (b_n). Similar results are obtained for logarithmic order and for more general types of slow growth. To prove these results we introduce a concept of an order function and its dual. We also relate the order of P with the order of certain entire functions defined in terms of the moments or the leading coefficient of P_n △ Less

Submitted 1 October, 2013; originally announced October 2013.

Comments: 45 pages. To appear in Adv. Math

MSC Class: 44A60; 30D15

Journal ref: Adv. Math. 250 (2014), 105-143

Multiplicative structures of the immaculate basis of non-commutative symmetric functions

Authors: Chris Berg, Nantel Bergeron, Franco Saliola, Luis Serrano, Mike Zabrocki

Abstract: We continue our development of a new basis for the algebra of non-commutative symmetric functions. This basis is analogous to the Schur basis for the algebra of symmetric functions, and it shares many of its wonderful properties. For instance, in this article we describe non-commutative versions of the Littlewood-Richardson rule and the Murnaghan-Nakayama rule. A surprising relation develops among… ▽ More We continue our development of a new basis for the algebra of non-commutative symmetric functions. This basis is analogous to the Schur basis for the algebra of symmetric functions, and it shares many of its wonderful properties. For instance, in this article we describe non-commutative versions of the Littlewood-Richardson rule and the Murnaghan-Nakayama rule. A surprising relation develops among non-commutative Littlewood-Richardson coefficients, which has implications to the commutative case. Finally, we interpret these new coefficients geometrically as the number of integer points inside a certain polytope. △ Less

Submitted 7 April, 2016; v1 submitted 20 May, 2013; originally announced May 2013.

Comments: 30 pages: we cleaned and fixed many details in the proofs. The interested reader may toggle \specialcomments in the TeX file to reveal 6 added pages of details and ideas (in red)

Journal ref: Journal of Combinatorial Theory, Series A 152 (2017) 10--44

Indecomposable modules for the dual immaculate basis of quasi-symmetric functions

Authors: Chris Berg, Nantel Bergeron, Franco Saliola, Luis Serrano, Mike Zabrocki

Abstract: We construct indecomposable modules for the 0-Hecke algebra whose characteristics are the dual immaculate basis of the quasi-symmetric functions. We construct indecomposable modules for the 0-Hecke algebra whose characteristics are the dual immaculate basis of the quasi-symmetric functions. △ Less

Submitted 3 April, 2013; originally announced April 2013.

MSC Class: 05E10

Journal ref: Proc. Amer. Math. Soc. 143 (2015), 991-1000

The immaculate basis of the non-commutative symmetric functions

Authors: Chris Berg, Nantel Bergeron, Franco Saliola, Luis Serrano, Mike Zabrocki

Abstract: FPSAC 2013 Extended Abstract. We introduce a new basis of the non-commutative symmetric functions whose elements have Schur functions as their commutative images. Dually, we build a basis of the quasi-symmetric functions which expand positively in the fundamental quasi-symmetric functions and decompose Schur functions according to a signed combinatorial formula. FPSAC 2013 Extended Abstract. We introduce a new basis of the non-commutative symmetric functions whose elements have Schur functions as their commutative images. Dually, we build a basis of the quasi-symmetric functions which expand positively in the fundamental quasi-symmetric functions and decompose Schur functions according to a signed combinatorial formula. △ Less

Submitted 19 March, 2013; originally announced March 2013.

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

MSC Class: 05E05

Journal ref: FPSAC 2013 Extended Abstract

A lift of the Schur and Hall-Littlewood bases to non-commutative symmetric functions

Authors: Chris Berg, Nantel Bergeron, Franco Saliola, Luis Serrano, Mike Zabrocki

Abstract: We introduce a new basis of the non-commutative symmetric functions whose commutative images are Schur functions. Dually, we build a basis of the quasi-symmetric functions which expand positively in the fundamental quasi-symmetric functions and decompose Schur functions. We then use the basis to construct a non-commutative lift of the Hall-Littlewood symmetric functions with similar properties to… ▽ More We introduce a new basis of the non-commutative symmetric functions whose commutative images are Schur functions. Dually, we build a basis of the quasi-symmetric functions which expand positively in the fundamental quasi-symmetric functions and decompose Schur functions. We then use the basis to construct a non-commutative lift of the Hall-Littlewood symmetric functions with similar properties to their commutative counterparts. △ Less

Submitted 13 June, 2013; v1 submitted 26 August, 2012; originally announced August 2012.

Comments: new version includes edits, references to forthcoming research, and a 'hook-length' formula for the number of standard immaculate tableaux

Journal ref: Canadian Journal of Mathematics, 66(2014), 525-565

Combinatorial expansions for families of non-commutative k-Schur functions

Authors: Chris Berg, Franco Saliola, Luis Serrano

Abstract: We apply down operators in the affine nilCoxeter algebra to yield explicit combinatorial expansions for certain families of non-commutative k-Schur functions. This yields a combinatorial interpretation for a new family of k-Littlewood-Richardson coefficients. We apply down operators in the affine nilCoxeter algebra to yield explicit combinatorial expansions for certain families of non-commutative k-Schur functions. This yields a combinatorial interpretation for a new family of k-Littlewood-Richardson coefficients. △ Less

Submitted 23 August, 2012; originally announced August 2012.

Comments: 21 pages. arXiv admin note: text overlap with arXiv:1203.4465

Quasi-symmetric and non-commutative affine Schur functions

Authors: Chris Berg, Luis Serrano

Abstract: We introduce dual Hopf algebras which simultaneously combine the concepts of the k-Schur function theory with the quasi-symmetric Schur function theory. We construct dual basis of these Hopf algebras with remarkable properties. We introduce dual Hopf algebras which simultaneously combine the concepts of the k-Schur function theory with the quasi-symmetric Schur function theory. We construct dual basis of these Hopf algebras with remarkable properties. △ Less

Submitted 10 May, 2012; originally announced May 2012.

MSC Class: 05E05

Pieri operators on the affine nilCoxeter algebra

Authors: Chris Berg, Franco Saliola, Luis Serrano

Abstract: We study a family of operators on the affine nilCoxeter algebra. We use these operators to prove conjectures of Lam, Lapointe, Morse, and Shimozono regarding strong Schur functions. We study a family of operators on the affine nilCoxeter algebra. We use these operators to prove conjectures of Lam, Lapointe, Morse, and Shimozono regarding strong Schur functions. △ Less

Submitted 20 March, 2012; originally announced March 2012.

Comments: 16 pages, 2 figures

MSC Class: 05E05; 14N15

The down operator and expansions of near rectangular k-Schur functions

Authors: Chris Berg, Franco Saliola, Luis Serrano

Abstract: We prove that the Lam-Shimozono "down operator" on the affine Weyl group induces a derivation of the affine Fomin-Stanley subalgebra of the affine nilCoxeter algebra. We use this to verify a conjecture of Berg, Bergeron, Pon and Zabrocki describing the expansion of k-Schur functions of "near rectangles" in the affine nilCoxeter algebra. Consequently, we obtain a combinatorial interpretation of the… ▽ More We prove that the Lam-Shimozono "down operator" on the affine Weyl group induces a derivation of the affine Fomin-Stanley subalgebra of the affine nilCoxeter algebra. We use this to verify a conjecture of Berg, Bergeron, Pon and Zabrocki describing the expansion of k-Schur functions of "near rectangles" in the affine nilCoxeter algebra. Consequently, we obtain a combinatorial interpretation of the corresponding k-Littlewood--Richardson coefficients. △ Less

Submitted 17 February, 2012; v1 submitted 19 December, 2011; originally announced December 2011.

MSC Class: 05E05; 14N15

Expansions of $k$-Schur functions in the affine nilCoxeter algebra

Authors: Chris Berg, Nantel Bergeron, Steven Pon, Mike Zabrocki

Abstract: We give a type free formula for the expansion of k-Schur functions indexed by fundamental coweights within the affine nilCoxeter algebra. Explicit combinatorics are developed in affine type C. We give a type free formula for the expansion of k-Schur functions indexed by fundamental coweights within the affine nilCoxeter algebra. Explicit combinatorics are developed in affine type C. △ Less

Submitted 17 June, 2012; v1 submitted 15 November, 2011; originally announced November 2011.

MSC Class: 05E05; 20F55; 14N15

Journal ref: Electronic Journal of Combinatorics, 19-2 P55, 2012

Symmetries on the lattice of $k$-bounded partitions

Authors: Chris Berg, Nathan Williams, Mike Zabrocki

Abstract: In 2002 R. Suter identified a dihedral symmetry on certain order ideals in Young's lattice and gave a combinatorial action on the partitions in these order ideals. Viewing this result geometrically, the order ideals can be seen to be seen to be in bijection with the alcoves in a 2-fold dilation in the geometric realization of the affine symmetric group. By considering the m-fold dilation we observ… ▽ More In 2002 R. Suter identified a dihedral symmetry on certain order ideals in Young's lattice and gave a combinatorial action on the partitions in these order ideals. Viewing this result geometrically, the order ideals can be seen to be seen to be in bijection with the alcoves in a 2-fold dilation in the geometric realization of the affine symmetric group. By considering the m-fold dilation we observe a larger set of order ideals in the k-bounded partition lattice that was considered by L. Lapointe, A. Lascoux, and J. Morse in the study of k-Schur functions. We identify the order ideal and the cyclic action on it explicitly in a geometric and combinatorial form. △ Less

Submitted 7 October, 2014; v1 submitted 11 November, 2011; originally announced November 2011.

MSC Class: 05E99; 06B99

On an iteration leading to a q-analogue of the Digamma function

Authors: Christian Berg, Helle Bjerg Petersen

Abstract: We show that the q-Digamma function psi_q for 0<q<1 appears in an iteration studied by Berg and Durán. In addition we determine the probability measure ν_q with moments 1/\sum_{k=1}^{n+1} (1-q)/(1-q^k), which are q-analogues of the reciprocals of the harmonic numbers. We show that the q-Digamma function psi_q for 0<q<1 appears in an iteration studied by Berg and Durán. In addition we determine the probability measure ν_q with moments 1/\sum_{k=1}^{n+1} (1-q)/(1-q^k), which are q-analogues of the reciprocals of the harmonic numbers. △ Less

Submitted 1 November, 2011; originally announced November 2011.

Comments: 12 pages, 2 figures

MSC Class: 33D05; 44A60

Journal ref: J. Fourier Anal. Appl. 19,4 (2013), 762-776

Crystal rules for $(\ell,0)$-JM partitions

Authors: Chris Berg

Abstract: Vazirani and the author \cite{BV} gave a new interpretation of what we called $\ell$-partitions, also known as $(\ell,0)$-Carter partitions. The primary interpretation of such a partition $λ$ is that it corresponds to a Specht module $S^λ$ which remains irreducible over the finite Hecke algebra $H_n(q)$ when $q$ is specialized to a primitive $\ell^{th}$ root of unity. To accomplish this we relied… ▽ More Vazirani and the author \cite{BV} gave a new interpretation of what we called $\ell$-partitions, also known as $(\ell,0)$-Carter partitions. The primary interpretation of such a partition $λ$ is that it corresponds to a Specht module $S^λ$ which remains irreducible over the finite Hecke algebra $H_n(q)$ when $q$ is specialized to a primitive $\ell^{th}$ root of unity. To accomplish this we relied heavily on the description of such a partition in terms of its hook lengths, a condition provided by James and Mathas. In this paper, I use a new description of the crystal $reg_\ell$ which helps extend previous results to all $(\ell,0)$-JM partitions (similar to $(\ell,0)$-Carter partitions, but not necessarily $\ell$-regular), by using an analogous condition for hook lengths which was proven by work of Lyle and Fayers. △ Less

Submitted 18 July, 2011; originally announced July 2011.

MSC Class: 05E10; 20C08

Journal ref: Electronic Journal of Combinatorics, Volume 17 (1), 2010

Expansion of $k$-Schur functions for maximal $k$-rectangles within the affine nilCoxeter algebra

Authors: Chris Berg, Nantel Bergeron, Hugh Thomas, Mike Zabrocki

Abstract: We give several explicit combinatorial formulas for the expansion of k-Schur functions indexed by maximal rectangles in terms of the standard basis of the affine nilCoxeter algebra. Using our result, we also show a commutation relation of k-Schur functions corresponding to rectangles with the generators of the affine nilCoxeter algebra. We give several explicit combinatorial formulas for the expansion of k-Schur functions indexed by maximal rectangles in terms of the standard basis of the affine nilCoxeter algebra. Using our result, we also show a commutation relation of k-Schur functions corresponding to rectangles with the generators of the affine nilCoxeter algebra. △ Less

Submitted 15 June, 2012; v1 submitted 18 July, 2011; originally announced July 2011.

Comments: to appear in Journal of Combinatorics, 28 pages

MSC Class: 05E05; 05E18

Journal ref: J. of Combinatorics 3-3 (2012) pp. 563-589

A completely monotonic function used in an inequality of Alzer

Authors: Christian Berg, Henrik L. Pedersen

Abstract: The function $G(x)=(1-\ln x /\ln(1+x))x\ln x$ has been considered by Alzer, Qi and Guo. We prove that $G'$ is completely monotonic by finding an integral representation of the holomorphic extension of $G$ to the cut plane. A main difficulty is caused by the fact that $G'$ is not a Stieltjes function. The function $G(x)=(1-\ln x /\ln(1+x))x\ln x$ has been considered by Alzer, Qi and Guo. We prove that $G'$ is completely monotonic by finding an integral representation of the holomorphic extension of $G$ to the cut plane. A main difficulty is caused by the fact that $G'$ is not a Stieltjes function. △ Less

Submitted 31 May, 2011; originally announced May 2011.

Comments: 13 pages

MSC Class: Primary 33B99; Secondary 30E20

A question by Chihara about shell polynomials and indeterminate moment problems

Authors: Christian Berg, Jacob S. Christiansen

Abstract: The generalized Stieltjes--Wigert polynomials depending on parameters 0\le p<1 and 0<q<1 are discussed. By removing the mass at zero of the N-extremal solution concentrated in the zeros of the D-function from the Nevanlinna parametrization, we obtain a discrete measure μ^M which is uniquely determined by its moments. We calculate the coefficients of the corresponding orthonormal polynomials (P^M_n… ▽ More The generalized Stieltjes--Wigert polynomials depending on parameters 0\le p<1 and 0<q<1 are discussed. By removing the mass at zero of the N-extremal solution concentrated in the zeros of the D-function from the Nevanlinna parametrization, we obtain a discrete measure μ^M which is uniquely determined by its moments. We calculate the coefficients of the corresponding orthonormal polynomials (P^M_n). As noticed by Chihara, these polynomials are the shell polynomials corresponding to the maximal parameter sequence for a certain chain sequence. We also find the minimal parameter sequence, as well as the parameter sequence corresponding to the generalized Stieltjes--Wigert polynomials, and compute the value of related continued fractions. The mass points of μ^M have been studied in recent papers of Hayman, Ismail--Zhang and Huber. In the special case of p=q, the maximal parameter sequence is constant and the determination of μ^M and (P^M_n) gives an answer to a question posed by Chihara in 2001 △ Less

Submitted 14 February, 2011; originally announced February 2011.

MSC Class: 33D45; 40A15; 42C05

Journal ref: J. Approx. Theory 163 (2011), 1449-1464

Structure Theorems for Basic Algebras

Authors: Carl Fredrik Berg

Abstract: A basic finite dimensional algebra over an algebraically closed field $k$ is isomorphic to a quotient of a tensor algebra by an admissible ideal. The category of left modules over the algebra is isomorphic to the category of representations of a finite quiver with relations. In this article we will remove the assumption that $k$ is algebraically closed to look at both perfect and non-perfect field… ▽ More A basic finite dimensional algebra over an algebraically closed field $k$ is isomorphic to a quotient of a tensor algebra by an admissible ideal. The category of left modules over the algebra is isomorphic to the category of representations of a finite quiver with relations. In this article we will remove the assumption that $k$ is algebraically closed to look at both perfect and non-perfect fields. We will introduce the notion of species with relations to describe the category of left modules over such algebras. If the field is not perfect, then the algebra is isomorphic to a quotient of a tensor algebra by an ideal that is no longer admissible in general. This gives hereditary algebras isomorphic to a quotient of a tensor algebra by a non-zero ideal. We will show that these non-zero ideals correspond to cyclic subgraphs of the graph associated to the species of the algebra. This will lead to the ideal being zero in the case when the underlying graph of the algebra is a tree. △ Less

Submitted 5 February, 2011; originally announced February 2011.

Primitive orthogonal idempotents for R-trivial monoids

Authors: Chris Berg, Nantel Bergeron, Sandeep Bhargava, Franco Saliola

Abstract: We construct a recursive formula for a complete system of primitive orthogonal idempotents for any $R$-trivial monoid. This uses the newly proved equivalence between the notions of $R$-trivial monoid and weakly ordered monoid. We construct a recursive formula for a complete system of primitive orthogonal idempotents for any $R$-trivial monoid. This uses the newly proved equivalence between the notions of $R$-trivial monoid and weakly ordered monoid. △ Less

Submitted 18 October, 2011; v1 submitted 24 September, 2010; originally announced September 2010.

Comments: Journal of Algebra, 2011

Journal ref: Journal of Algebra 348 (2011) 446--461

Derivation of an integral of Boros and Moll via convolution of Student t-densities

Authors: Christian Berg, Christophe Vignat

Abstract: We show that the evaluation of an integral considered by Boros and Moll is a special case of a convolution result about Student t-densities obtained by the authors in 2008. We show that the evaluation of an integral considered by Boros and Moll is a special case of a convolution result about Student t-densities obtained by the authors in 2008. △ Less

Submitted 14 September, 2010; originally announced September 2010.

MSC Class: 33C05; 60E07

Journal ref: Ramanujan Journal 27 (2012), 147-150

Hereditary Categories with Serre Duality which are generated by Preprojectives

Authors: Carl Fredrik Berg, Adam-Christiaan van Roosmalen

Abstract: We show that every k-linear abelian Ext-finite hereditary category with Serre duality which is generated by preprojective objects is derived equivalent to the category of representations of a strongly locally finite thread quiver. We show that every k-linear abelian Ext-finite hereditary category with Serre duality which is generated by preprojective objects is derived equivalent to the category of representations of a strongly locally finite thread quiver. △ Less

Submitted 9 April, 2010; originally announced April 2010.

Comments: 32 pages, 12 pictures

MSC Class: 18E10; 18E30; 16E35

On a fixed point in the metric space of normalized Hausdorff moment sequences

Authors: Christian Berg, Maryam Beygmohammadi

Abstract: We show that the transformation (x_n)_{n\ge 1}\to (1/(1+x_1+...+x_n))_{n\ge 1} of the compact set of sequences (x_n)_{n\ge 1} of numbers from the unit interval [0,1] has a unique fixed point, which is attractive. The fixed point turns out to be a Hausdorff moment sequence studied in papers by Berg and Durán in 2008. We show that the transformation (x_n)_{n\ge 1}\to (1/(1+x_1+...+x_n))_{n\ge 1} of the compact set of sequences (x_n)_{n\ge 1} of numbers from the unit interval [0,1] has a unique fixed point, which is attractive. The fixed point turns out to be a Hausdorff moment sequence studied in papers by Berg and Durán in 2008. △ Less

Submitted 19 March, 2010; originally announced March 2010.

MSC Class: 37C25; 44A60

Journal ref: Rendiconti del circolo matematico di Palermo. Serie II, Suppl. 82 (2010), 251-257

Representations of Thread Quivers

Authors: Carl Fredrik Berg, Adam-Christiaan van Roosmalen

Abstract: We introduce thread quivers as an (infinite) generalization of quivers, and show that every k-linear (k algebraically closed) hereditary category with Serre duality and enough projectives is equivalent to the category of finitely presented representations of a thread quiver. In this way, we obtain an explicit construction of a new class of hereditary categories with Serre duality. We introduce thread quivers as an (infinite) generalization of quivers, and show that every k-linear (k algebraically closed) hereditary category with Serre duality and enough projectives is equivalent to the category of finitely presented representations of a thread quiver. In this way, we obtain an explicit construction of a new class of hereditary categories with Serre duality. △ Less

Submitted 3 July, 2013; v1 submitted 5 March, 2010; originally announced March 2010.

Comments: As accepted by the Proceedings of the London Mathematical Society; some differences in label and page numbering may occur between this version and the published version

MSC Class: 16E60; 16G20 (Primary) 18A25 (Secondary)

A Pick function related to the sequence of volumes of the unit ball in n-space

Authors: Christian Berg, Henrik L. Pedersen

Abstract: We show that F_a(x)=\frac{\ln Γ(x+1)}{x\ln(ax)} is a Pick function for a\ge 1 and find its integral representation. We also consider the function f(x)=(\frac{π^{x/2}}{Γ(1+x/2)})^{1/(x\ln x)} and show that \ln f(x+1) is a Stieltjes function and that f(x+1) is completely monotonic on (0,\infty). In particular f(n)=Ω_n^{1/(n\ln n)},n\ge 2 is a Hausdorff moment sequence. Here Ω_n is the volume… ▽ More We show that F_a(x)=\frac{\ln Γ(x+1)}{x\ln(ax)} is a Pick function for a\ge 1 and find its integral representation. We also consider the function f(x)=(\frac{π^{x/2}}{Γ(1+x/2)})^{1/(x\ln x)} and show that \ln f(x+1) is a Stieltjes function and that f(x+1) is completely monotonic on (0,\infty). In particular f(n)=Ω_n^{1/(n\ln n)},n\ge 2 is a Hausdorff moment sequence. Here Ω_n is the volume of the unit ball in Euclidean n-space △ Less

Submitted 11 December, 2009; originally announced December 2009.

MSC Class: 33B15; 30E20; 30E15

The smallest eigenvalue of Hankel matrices

Authors: Christian Berg, Ryszard Szwarc

Abstract: Let H_N=(s_{n+m}),n,m\le N denote the Hankel matrix of moments of a positive measure with moments of any order. We study the large N behaviour of the smallest eigenvalue lambda_N of H_N. It is proved that lambda_N has exponential decay to zero for any measure with compact support. For general determinate moment problems the decay to 0 of lambda_N can be arbitrarily slow or arbitrarily fast. In t… ▽ More Let H_N=(s_{n+m}),n,m\le N denote the Hankel matrix of moments of a positive measure with moments of any order. We study the large N behaviour of the smallest eigenvalue lambda_N of H_N. It is proved that lambda_N has exponential decay to zero for any measure with compact support. For general determinate moment problems the decay to 0 of lambda_N can be arbitrarily slow or arbitrarily fast. In the indeterminate case, where lambda_N is known to be bounded below by a positive constant, we prove that the limit of the n'th smallest eigenvalue of H_N for N tending to infinity tends rapidly to infinity with n. The special case of the Stieltjes-Wigert polynomials is discussed. △ Less

Submitted 24 June, 2009; originally announced June 2009.

MSC Class: 15A18; 42C05

Journal ref: Constr. Approx. 34 (2011), 107-133

On the density of the sum of two independent Student t-random vectors

Authors: C. Berg, C. Vignat

Abstract: In this paper, we find an expression for the density of the sum of two independent $d-$dimensional Student $t-$random vectors $\mathbf{X}$ and $\mathbf{Y}$ with arbitrary degrees of freedom. As a byproduct we also obtain an expression for the density of the sum $\mathbf{N}+\mathbf{X}$, where $\mathbf{N}$ is normal and $\mathbf{X}$ is an independent Student $t-$vector. In both cases the density i… ▽ More In this paper, we find an expression for the density of the sum of two independent $d-$dimensional Student $t-$random vectors $\mathbf{X}$ and $\mathbf{Y}$ with arbitrary degrees of freedom. As a byproduct we also obtain an expression for the density of the sum $\mathbf{N}+\mathbf{X}$, where $\mathbf{N}$ is normal and $\mathbf{X}$ is an independent Student $t-$vector. In both cases the density is given as an infinite series \[ \sum_{n=0}^{\infty} c_{n}f_{n} \] where $f_{n}$ is a sequence of probability densities on $\mathbb{R}^{d}$ and $(c_{n} )$ is a sequence of positive numbers of sum 1, i.e. the distribution of a non-negative integer-valued random variable $C$, which turns out to be infinitely divisible for $d=1$ and $d=2.$ When $d=1$ and the degrees of freedom of the Student variables are equal, we recover an old result of Ruben. △ Less

Submitted 16 June, 2009; originally announced June 2009.

Comments: 1 figure

MSC Class: 60E05

Combinatorics of $(\ell,0)$-JM partitions, $\ell$-cores, the ladder crystal and the finite Hecke algebra

Authors: Chris Berg

Abstract: The following thesis contains results on the combinatorial representation theory of the finite Hecke algebra $H_n(q)$. In Chapter 2 simple combinatorial descriptions are given which determine when a Specht module corresponding to a partition $λ$ is irreducible. This is done by extending the results of James and Mathas. These descriptions depend on the crystal of the basic representation of the… ▽ More The following thesis contains results on the combinatorial representation theory of the finite Hecke algebra $H_n(q)$. In Chapter 2 simple combinatorial descriptions are given which determine when a Specht module corresponding to a partition $λ$ is irreducible. This is done by extending the results of James and Mathas. These descriptions depend on the crystal of the basic representation of the affine Lie algebra $\widehat{\mathfrak{sl}_\ell}$. In Chapter 3 these results are extended to determine which irreducible modules have a realization as a Specht module. To do this, a new condition of irreducibility due to Fayers is combined with a new description of the crystal from Chapter 2. In Chapter 4 a bijection of cores first described by myself and Monica Vazirani is studied in more depth. Various descriptions of it are given, relating to the quotient $\widetilde{S_\ell}/{S_\ell}$ and to the bijection given by Lapointe and Morse. △ Less

Submitted 8 June, 2009; originally announced June 2009.