Central limit theorems for hyperbolic spaces and Jacobi processes on [0,\infty [

We present a unified approach to a couple of central limit theorems for the radial behavior of radial random walks on hyperbolic spaces as well as for time-homogeneous Markov chains on $[0,\infty [$ whose transition probabilities are defined in terms of Jacobi convolutions. The proofs of all central limit theorems are based on corresponding limit results for the associated Jacobi functions $\varphi _{\lambda }^{(\alpha ,\beta )}$ . In particular, we consider the limit $\alpha \rightarrow \infty $ , the limit $\varphi _{i\rho -n\lambda }^{(\alpha ,\beta )}(t/n)$ for $n\rightarrow \infty $ , and the behavior of the Jacobi function $\varphi _{i\rho -\lambda }^{(\alpha ,\beta )}(t)$ for small $\lambda $ . The proofs of all these limit results are based on the known Laplace integral representation for Jacobi functions. Parts of the results are known, other improve known ones, and other are new.     

On a conjectured inequality for the largest zero of Jacobi polynomials

P. Leopardi and the author recently investigated, among other things, the validity of the inequality $n\theta_n^{(\alpha,\beta)}\!<\! (n\!+\!1)\theta_{n+1}^{(\alpha,\beta)}$ between the largest zero $x_n\!=\!\cos\theta_n^{(\alpha,\beta)}$ and $x_{n+1}= \cos\theta_{n+1}^{(\alpha,\beta)}$ of the Jacobi polynomial $P_n^{(\alpha,\beta)}(x)$ resp. $P_{n+1}^{( \alpha,\beta)}(x)$ , α?>???1, β?>???1. The domain in the parameter space (α, β) in which the inequality holds for all n?≥?1, conjectured by us, is shown here to require a small adjustment—the deletion of a very narrow lens-shaped region in the square {???1?<?α?<???1/2, ???1/2?<?β?<?0}.     

Averaged Pointwise Bounds for Deformations of Schrödinger Eigenfunctions

Let (M,g) be an n-dimensional, compact Riemannian manifold and ${P_0(\hbar) = -\hbar{^2} \Delta_g + V(x)}$ be a semiclassical Schrödinger operator with ${\hbar \in (0,\hbar_0]}$ . Let ${E(\hbar) \in [E-o(1),E+o(1)]}$ and ${(\phi_{\hbar})_{\hbar \in (0,\hbar_0]}}$ be a family of L ²-normalized eigenfunctions of ${P_0(\hbar)}$ with ${P_0(\hbar) \phi_{\hbar} = E(\hbar) \phi_{\hbar}}$ . We consider magnetic deformations of ${P_0(\hbar)}$ of the form ${P_u(\hbar) = - \Delta_{\omega_u}(\hbar) + V(x)}$ , where ${\Delta_{\omega_u}(\hbar) = (\hbar d + i \omega_u(x))^*({\hbar}d + i \omega_u(x))}$ . Here, u is a k-dimensional parameter running over ${B^k(\epsilon)}$ (the ball of radius ${\epsilon}$ ), and the family of the magnetic potentials ${(w_u)_{u\in B^k(\epsilon)}}$ satisfies the admissibility condition given in Definition 1.1. This condition implies that k ≥ n and is generic under this assumption. Consider the corresponding family of deformations of ${(\phi_{\hbar})_{\hbar \in (0, \hbar_0]}}$ , given by ${(\phi^u_{\hbar})_{\hbar \in(0, \hbar_0]}}$ , where $$\phi_{\hbar}^{(u)}:= {\rm e}^{-it_0 P_u(\hbar)/\hbar}\phi_{\hbar}$$ for ${|t_0|\in (0,\epsilon)}$ ; the latter functions are themselves eigenfunctions of the ${\hbar}$ -elliptic operators ${Q_u(\hbar): ={\rm e}^{-it_0P_u(\hbar)/\hbar} P_0(\hbar) {\rm e}^{it_0 P_u(\hbar)/\hbar}}$ with eigenvalue ${E(\hbar)}$ and ${Q_0(\hbar) = P_{0}(\hbar)}$ . Our main result, Theorem1.2, states that for ${\epsilon >0 }$ small, there are constants ${C_j=C_j(M,V,\omega,\epsilon) > 0}$ with j = 1,2 such that $$C_{1}\leq \int\limits_{\mathcal{B}^k(\epsilon)} |\phi_{\hbar}^{(u)}(x)|^2 \, {\rm d}u \leq C_{2}$$ , uniformly for ${x \in M}$ and ${\hbar \in (0,h_0]}$ . We also give an application to eigenfunction restriction bounds in Theorem 1.3.     

Solutions of the Allen-Cahn equation which are invariant under screw-motion

Let ${\phi(x)}$ be a rational function of degree >?1 defined over a number field K and let ${\Phi_{n}(x,t) = \phi^{(n)}(x)-t \in K(x,t)}$ where ${\phi^{(n)}(x)}$ is the nth iterate of ${\phi(x)}$ . We give a formula for the discriminant of the numerator of Φ _n (x, t) and show that, if ${\phi(x)}$ is postcritically finite, for each specialization t ₀ of t to K, there exists a finite set ${S_{t_0}}$ of primes of K such that for all n, the primes dividing the discriminant are contained in ${S_{t_0}}$ .     

Inequalities for zeros of Jacobi polynomials via Sturm’s theorem: Gautschi’s conjectures

Let \(x_{n,k}^{(\alpha ,\beta )}\) , \(k=1,\ldots ,n\) , be the zeros of Jacobi polynomials \(P_{n}^{(\alpha ,\beta )}(x)\) arranged in decreasing order on \((-1,1)\) , where \(\alpha ,\beta >-1\) , and \(\theta _{n,k}^{(\alpha ,\beta )}=\arccos x_{n,k}^{(\alpha ,\beta )}\) . Gautschi, in a series of recent papers, conjectured that the inequalities $$n\theta_{n,k}^{(\alpha,\beta)}<(n+1)\theta_{n+1,k}^{(\alpha,\beta)} $$ and $$(n+(\alpha+\beta+3)/2)\theta_{n+1,k}^{(\alpha,\beta)}<(n+(\alpha+\beta+1)/2)\theta_{n,k}^{(\alpha,\beta)}, $$ hold for all \(n\geq 1\) , \(k=1,\ldots ,n\) , and certain values of the parameters \(\alpha \) and \(\beta \) . We establish these conjectures for large domains of the \((\alpha ,\beta )\) -plane by using a Sturmian approach.     

Deformation of extremal metrics, complex manifolds and the relative Futaki invariant

Let ${(\mathcal {X},\Omega)}$ be a closed polarized complex manifold, g be an extremal metric on ${\mathcal {X}}$ that represents the Kähler class Ω, and G be a compact connected subgroup of the isometry group Isom ${(\mathcal {X}, g)}$ . Assume that the Futaki invariant relative to G is nondegenerate at g. Consider a smooth family ${(\mathcal {M}\to B)}$ of polarized complex deformations of ${(\mathcal {X},\Omega)\simeq (\mathcal {M}_0,\Theta_0)}$ provided with a holomorphic action of G which is trivial on B. Then for every ${t\in B}$ sufficiently small, there exists an ${h^{1,1}(\mathcal {X})}$ -dimensional family of extremal Kähler metrics on ${\mathcal {M}_t}$ whose Kähler classes are arbitrarily close to Θ _t . We apply this deformation theory to show that certain complex deformations of the Mukai–Umemura 3-fold admit Kähler–Einstein metrics.     

On the Generality of Assuming that a Family of Continuous Functions Separates Points

For an algebra ${\mathcal{A}}$ of complex-valued, continuous functions on a compact Hausdorff space (X, τ), it is standard practice to assume that ${\mathcal{A}}$ separates points in the sense that for each distinct pair ${x, y \in X}$ , there exists an ${f \in \mathcal{A}}$ such that ${f(x) \neq f(y)}$ . If ${\mathcal{A}}$ does not separate points, it is known that there exists an algebra ${\widehat{\mathcal{A}}}$ on a compact Hausdorff space ${(\widehat{X}, \widehat{\tau})}$ that does separate points such that the map ${\mathcal{A} \mapsto \widehat{\mathcal{A}}}$ is a uniform norm isometric algebra isomorphism. So it is, to a degree, without loss of generality that we assume ${\mathcal{A}}$ separates points. The construction of ${{\widehat{\mathcal{A}}}}$ and ${(\widehat{X}, \widehat{\tau})}$ does not require that ${\mathcal{A}}$ has any algebraic structure nor that ${(X, \tau)}$ has any properties, other than being a topological space. In this work we develop a framework for determining the degree to which separation of points may be assumed without loss of generality for any family ${\mathcal{A}}$ of bounded, complex-valued, continuous functions on any topological space ${(X, \tau)}$ . We also demonstrate that further structures may be preserved by the mapping ${\mathcal{A} \mapsto \widehat{\mathcal{A}}}$ , such as boundaries of weak peak points, the Lipschitz constant when the functions are Lipschitz on a compact metric space, and the involutive structure of real function algebras on compact Hausdorff spaces.     

On the Equality Problem of Conjugate Means

Let ${I\subset\mathbb{R}}$ be a nonvoid open interval and let L : I ²→ I be a fixed strict mean. A function M : I ²→ I is said to be an L-conjugate mean on I if there exist ${p,q\in\,]0,1]}$ and ${\varphi\in CM(I)}$ such that $$M(x,y):=\varphi^{-1}(p\varphi(x)+q\varphi(y)+(1-p-q) \varphi(L(x,y)))=:L_\varphi^{(p,q)}(x,y),$$ for all ${x,y\in I}$ . Here L(x, y) : = A _χ(x, y) ${(x,y\in I)}$ is a fixed quasi-arithmetic mean with the fixed generating function ${\chi\in CM(I)}$ . We examine the following question: which L-conjugate means are weighted quasi-arithmetic means with weight ${r\in\, ]0,1[}$ at the same time? This question is a functional equation problem: Characterize the functions ${\varphi,\psi\in CM(I)}$ and the parameters ${p,q\in\,]0,1]}$ , ${r\in\,]0,1[}$ for which the equation $$L_\varphi^{(p,q)}(x,y)=L_\psi^{(r,1-r)}(x,y)$$ holds for all ${x,y\in I}$ .     

On the unique representation of very strong algebraic geometry codes

This paper addresses the question of retrieving the triple ${(\mathcal X,\mathcal P, E)}$ from the algebraic geometry code ${\mathcal C = \mathcal C_L(\mathcal X, \mathcal P, E)}$ , where ${\mathcal X}$ is an algebraic curve over the finite field ${\mathbb F_q, \,\mathcal P}$ is an n-tuple of ${\mathbb F_q}$ -rational points on ${\mathcal X}$ and E is a divisor on ${\mathcal X}$ . If ${\deg(E)\geq 2g+1}$ where g is the genus of ${\mathcal X}$ , then there is an embedding of ${\mathcal X}$ onto ${\mathcal Y}$ in the projective space of the linear series of the divisor E. Moreover, if ${\deg(E)\geq 2g+2}$ , then ${I(\mathcal Y)}$ , the vanishing ideal of ${\mathcal Y}$ , is generated by ${I_2(\mathcal Y)}$ , the homogeneous elements of degree two in ${I(\mathcal Y)}$ . If ${n >2 \deg(E)}$ , then ${I_2(\mathcal Y)=I_2(\mathcal Q)}$ , where ${\mathcal Q}$ is the image of ${\mathcal P}$ under the map from ${\mathcal X}$ to ${\mathcal Y}$ . These three results imply that, if ${2g+2\leq m < \frac{1}{2}n}$ , an AG representation ${(\mathcal Y, \mathcal Q, F)}$ of the code ${\mathcal C}$ can be obtained just using a generator matrix of ${\mathcal C}$ where ${\mathcal Y}$ is a normal curve in ${\mathbb{P}^{m-g}}$ which is the intersection of quadrics. This fact gives us some clues for breaking McEliece cryptosystem based on AG codes provided that we have an efficient procedure for computing and decoding the representation obtained.     

SIP: critical value functions have finite modulus of non-convexity

We consider semi-infinite programming problems ${{\rm SIP}(z)}$ depending on a finite dimensional parameter ${z \in \mathbb{R}^p}$ . Provided that ${\bar{x}}$ is a strongly stable stationary point of ${{\rm SIP}(\bar{z})}$ , there exists a locally unique and continuous stationary point mapping ${z \mapsto x(z)}$ . This defines the local critical value function ${\varphi(z) := f(x(z); z)}$ , where ${x \mapsto f(x; z)}$ denotes the objective function of ${{\rm SIP}(z)}$ for a given parameter vector ${z\in \mathbb{R}^p}$ . We show that ${\varphi}$ is the sum of a convex function and a smooth function. In particular, this excludes the appearance of negative kinks in the graph of ${\varphi}$ .     

Linear recurring sequences and subfield subcodes of cyclic codes

Linear recurring sequences over finite fields play an important role in coding theory and cryptography. It is known that subfield subcodes of linear codes yield some good codes. In this paper, we study linear recurring sequences and subfield subcodes. Let Mqm(f(x)) denote the set of all linear recurring sequences over Fqm with characteristic polynomial f(x) over Fqm . Denote the restriction of Mqm(f(x)) to sequences over Fq and the set after applying trace function to each sequence in Mqm(f(x)) by Mqm(f(x)) | Fq and Tr( Mqm(f(x))), respectively. It is shown that these two sets are both complete sets of linear recurring sequences over Fq with some characteristic polynomials over Fq. In this paper, we firstly determine the characteristic polynomials for these two sets. Then, using these results, we determine the generator polynomials of subfield subcodes and trace codes of cyclic codes over Fqm .     

Foliations invariant by rational maps

We give a classification of pairs ${(\mathcal{F}, \phi)}$ where ${\mathcal{F}}$ is a holomorphic foliation on a projective surface and ${\phi}$ is a non-invertible dominant rational map preserving ${\mathcal{F}}$ .     

On functions whose symmetric part of gradient agree and a generalization of Reshetnyak’s compactness theorem

We consider the following question: Given a connected open domain ${\Omega \subset \mathbb{R}^n}$ , suppose ${u, v : \Omega \rightarrow \mathbb{R}^n}$ with det ${(\nabla u) > 0}$ , det ${(\nabla v) > 0}$ a.e. are such that ${\nabla u^T(x)\nabla u(x) = \nabla v(x)^T \nabla v(x)}$ a.e. , does this imply a global relation of the form ${\nabla v(x) = R\nabla u(x)}$ a.e. in Ω where ${R \in SO(n)}$ ? If u, v are C ¹ it is an exercise to see this true, if ${u, v\in W^{1,1}}$ we show this is false. In Theorem 1 we prove this question has a positive answer if ${v \in W^{1,1}}$ and ${u \in W^{1,n}}$ is a mapping of L ^p integrable dilatation for p > n ? 1. These conditions are sharp in two dimensions and this result represents a generalization of the corollary to Liouville’s theorem that states that the differential inclusion ${\nabla u \in SO(n)}$ can only be satisfied by an affine mapping. Liouville’s corollary for rotations has been generalized by Reshetnyak who proved convergence of gradients to a fixed rotation for any weakly converging sequence ${v_k \in W^{1,1}}$ for which $$\int \limits_{\Omega} {\rm dist}(\nabla v_k, SO(n))dz \rightarrow 0 \, {\rm as} \, k \rightarrow \infty.$$ Let S(·) denote the (multiplicative) symmetric part of a matrix. In Theorem 3 we prove an analogous result to Theorem 1 for any pair of weakly converging sequences ${v_k \in W^{1,p}}$ and ${u_k \in W^{1,\frac{p(n-1)}{p-1}}}$ (where ${p \in [1, n]}$ and the sequence (u _k ) has its dilatation pointwise bounded above by an L ^r integrable function, r > n ? 1) that satisfy ${\int_{\Omega} |S(\nabla u_k) - S(\nabla v_k)|^p dz \rightarrow 0}$ as k → ∞ and for which the sign of the det ${(\nabla v_k)}$ tends to 1 in L ¹. This result contains Reshetnyak’s theorem as the special case (u _k ) ≡ Id, p = 1.     

Categories of partial algebras for critical points between varieties of algebras

We denote by Con_c A the ${(\vee, 0)}$ -semilattice of all finitely generated congruences of an algebra A. A lifting of a ${(\vee, 0)}$ -semilattice S is an algebra A such that ${S \cong {\rm Con}_{\rm c} A}$ . The assignment Conc can be extended to a functor. The notion of lifting is generalized to diagrams of ${(\vee, 0)}$ -semilattices. A gamp is a partial algebra endowed with a partial subalgebra together with a semilattice-valued distance; gamps form a category that lends itself to a universal algebraic-type study. The raison d’être of gamps is that any algebra can be approximated by its finite subgamps, even in case it is not locally finite. Let ${\mathcal{V}}$ and ${\mathcal{W}}$ be varieties of algebras (on finite, possibly distinct, similarity types). Let P be a finite lattice. We assume the existence of a combinatorial object, called an ${\aleph_0}$ -lifter of P, of infinite cardinality ${\lambda}$ . Let ${\vec{A}}$ be a P-indexed diagram of finite algebras in ${\mathcal{V}}$ . If ${{\rm Con}_{\rm c} \circ \vec{A}}$ has no partial lifting in the category of gamps of ${\mathcal{W}}$ , then there is an algebra ${A \in \mathcal{V}}$ of cardinality ${\lambda}$ such that Con_c A is not isomorphic to Con_c B for any ${B \in \mathcal{W}}$ . This makes it possible to generalize several known results. In particular, we prove the following theorem, without assuming that ${\mathcal{W}}$ is locally finite. Let ${\mathcal{V}}$ be locally finite and let ${\mathcal{W}}$ be congruence-proper (i.e., congruence lattices of infinite members of ${\mathcal{W}}$ are infinite). The following equivalence holds. Every countable ${(\vee, 0)}$ -semilattice with a lifting in ${\mathcal{V}}$ has a lifting in ${\mathcal{W}}$ if and only if every ${\omega}$ -indexed diagram of finite ${(\vee, 0)}$ -semilattices with a lifting in ${\mathcal{V}}$ has a lifting in ${\mathcal{W}}$ . Gamps are also applied to the study of congruence-preserving extensions. Let ${\mathcal{V}}$ be a non-semidistributive variety of lattices and let n ≥ 2 be an integer. There is a bounded lattice ${A \in \mathcal{V}}$ of cardinality ${\aleph_1}$ with no congruence n-permutable, congruence-preserving extension. The lattice A is constructed as a condensate of a square-indexed diagram of lattices.     

Nielsen coincidence,fixed point and root theories of n-valued maps

Let ${(\phi, \psi)}$ be an (m, n)-valued pair of maps ${\phi, \psi : X \multimap Y}$ , where ${\phi}$ is an m-valued map and ${\psi}$ is n-valued, on connected finite polyhedra. A point ${x \in X}$ is a coincidence point of ${\phi}$ and ${\psi}$ if ${\phi(x) \cap \psi(x) \neq \emptyset}$ . We define a Nielsen coincidence number ${N(\phi : \psi)}$ which is a lower bound for the number of coincidence points of all (m, n)-valued pairs of maps homotopic to ${(\phi, \psi)}$ . We calculate ${N(\phi : \psi)}$ for all (m, n)-valued pairs of maps of the circle and show that ${N(\phi : \psi)}$ is a sharp lower bound in that setting. Specifically, if ${\phi}$ is of degree a and ${\psi}$ of degree b, then ${N(\phi : \psi) = \frac{|an - bm|}{\langle m, n \rangle}}$ , where ${\langle m, n \rangle}$ is the greatest common divisor of m and n. In order to carry out the calculation, we obtain results, of independent interest, for n-valued maps of compact connected Lie groups that relate the Nielsen fixed point number of Helga Schirmer to the Nielsen root number of Michael Brown.     

True Poly-Bergman and Poly-Bergman Kernels for the Complement of a Closed Disk

Let $k$ and $j$ be positive integers. We prove that the action of the two-dimensional singular integral operators $(S_\Omega )^{j-1}$ and $(S_\Omega ^*)^{j-1}$ on a Hilbert base for the Bergman space $\mathcal{A }^2(\Omega )$ and anti-Bergman space $\mathcal{A }^2_{-1}(\Omega ),$ respectively, gives Hilbert bases $\{ \psi _{\pm j , k } \}_{ k }$ for the true poly-Bergman spaces $\mathcal{A }_{(\pm j)}^2(\Omega ),$ where $S_\Omega $ denotes the compression of the Beurling transform to the Lebesgue space $L^2(\Omega , dA).$ The functions $\psi _{\pm j,k}$ will be explicitly represented in terms of the $(2,1)$ -hypergeometric polynomials as well as by formulas of Rodrigues type. We prove explicit representations for the true poly-Bergman kernels and more transparent representations for the poly-Bergman kernels of $\Omega $ . We establish Rodrigues type formulas for the poly-Bergman kernels of $\mathbb{D }$ .     

Compact composition operators acting between weighted Bergman spaces of the unit ball

In this paper, we study a composition operator ${C_{\varphi}}$ on the weighted Bergman space ${A_{\alpha}^p(B)}$ of the unit ball B in ${{\mathbb{C}}^N}$ . Under a natural condition we estimate the essential norm of ${C_{\varphi}}$ . As a consequence of this estimate, we also give a function-theoretic characterization of ${\varphi}$ that induces a compact composition operator on ${A_{\alpha}^p(B)}$ .