An extended class of orthogonal polynomials defined by a Sturm-Liouville problem

We present two infinite sequences of polynomial eigenfunctions of a Sturm-Liouville problem. As opposed to the classical orthogonal polynomial systems, these sequences start with a polynomial of degree one. We denote these polynomials as X₁-Jacobi and X₁-Laguerre and we prove that they are orthogonal with respect to a positive definite inner product defined over the compact interval [−1,1] or the half-line [0,∞), respectively, and they are a basis of the corresponding L² Hilbert spaces. Moreover, we prove a converse statement similar to Bochner's theorem for the classical orthogonal polynomial systems: if a self-adjoint second-order operator has a complete set of polynomial eigenfunctions , then it must be either the X₁-Jacobi or the X₁-Laguerre Sturm-Liouville problem. A Rodrigues-type formula can be derived for both of the X₁ polynomial sequences.     

Exceptional Laurent biorthogonal polynomials through spectral transformations of generalized eigenvalue problems

A formulation is given for the spectral transformation of the generalized eigenvalue problem through the decomposition of the second-order differential operators. This allows us to construct some Laurent biorthogonal polynomial systems with gaps in the degree of the polynomial sequence. These correspond to an exceptional-type extension of the orthogonal polynomials, as an extension of the Laurent biorthogonal polynomials. Specifically, we construct the exceptional extension of the Hendriksen–van Rossum polynomials, which are biorthogonal analogs of the classical orthogonal polynomials. Similar to the cases of exceptional extensions of classical orthogonal polynomials, both state-deletion and state-addition occur.     

Numerically hypercyclic polynomials

In this paper, we show that every complex Banach space X with dimension at least 2 supports a numerically hypercyclic d-homogeneous polynomial P for every ${d\in \mathbb{N}}$ . Moreover, if X is infinite-dimensional, then one can find hypercyclic non-homogeneous polynomials of arbitrary degree which are at the same time numerically hypercyclic. We prove that weighted shift polynomials cannot be numerically hypercyclic neither on c ₀ nor on ? _p for 1??? p?<???. In contrast, we characterize numerically hypercyclic weighted shift polynomials on ?_??.     

A characterization of classical orthogonal Laurent polynomials

In [3] certain Laurent polynomials of ₂F₁ genus were called “Jacobi Laurent polynomials”. These Laurent polynomials belong to systems which are orthogonal with respect to a moment sequence ((a)_n/(c)_n)_nεℤ where a, c are certain real numbers. Together with their confluent forms, belonging to systems which are orthogonal with respect to 1/(c)_n)_nεℤ respectively ((a)_n)_nεℤ, these Laurent polynomials will be called “classical”. The main purpose of this paper is to determine all the simple (see section 1) orthogonal systems of Laurent polynomials of which the members satisfy certain second order differential equations with polynomial coefficients, analogously to the well known characterization of S. Bochner [1] for ordinary polynomials.     

Extension of vector-valued integral polynomials

We study the extendibility of integral vector-valued polynomials on Banach spaces. We prove that an X-valued Pietsch-integral polynomial on E extends to an X-valued Pietsch-integral polynomial on any space F containing E, with the same integral norm. This is not the case for Grothendieck-integral polynomials: they do not always extend to X-valued Grothendieck-integral polynomials. However, they are extendible to X-valued polynomials. The Aron-Berner extension of an integral polynomial is also studied. A canonical integral representation is given for domains not containing ?₁.     

Generalizations of the image conjecture and the Mathieu conjecture

We first propose a generalization of the image conjecture Zhao (submitted for publication) [31] for the commuting differential operators related with classical orthogonal polynomials. We then show that the non-trivial case of this generalized image conjecture is equivalent to a variation of the Mathieu conjecture Mathieu (1997) [21] from integrals of G-finite functions over reductive Lie groups G to integrals of polynomials over open subsets of Rⁿ with any positive measures. Via this equivalence, the generalized image conjecture can also be viewed as a natural variation of the Duistermaat and van der Kallen theorem Duistermaat and van der Kallen (1998) [14] on Laurent polynomials with no constant terms. To put all the conjectures above in a common setting, we introduce what we call the Mathieu subspaces of associative algebras. We also discuss some examples of Mathieu subspaces from other sources and derive some general results on this newly introduced notion.     

On strong reality of the unipotent Lie-type subgroups over a field of characteristic 2

A group G is called strongly real if its every nonidentity element is strongly real, i.e. conjugate with its inverse by an involution of G. We address the classical Lie-type groups of rank l, with l ≤ 4 and l ≤ 13, over an arbitrary field, and the exceptional Lie-type groups over a field K with an element η such that the polynomial X ² + X + η is irreducible either in K[X] or K ₀[X] (in particular, if K is a finite field). The following question is answered for the groups under study: What unipotent subgroups of the Lie-type groups over a field of characteristic 2 are strongly real?     

Deterministic sampling of sparse trigonometric polynomials

One can recover sparse multivariate trigonometric polynomials from a few randomly taken samples with high probability (as shown by Kunis and Rauhut). We give a deterministic sampling of multivariate trigonometric polynomials inspired by Weil’s exponential sum. Our sampling can produce a deterministic matrix satisfying the statistical restricted isometry property, and also nearly optimal Grassmannian frames. We show that one can exactly reconstruct every M-sparse multivariate trigonometric polynomial with fixed degree and of length D from the determinant sampling X, using the orthogonal matching pursuit, and with |X| a prime number greater than (MlogD)². This result is optimal within the (logD)² factor. The simulations show that the deterministic sampling can offer reconstruction performance similar to the random sampling.     

A result on common zeros location of orthogonal polynomials in two variables

The aim of this paper is to investigate some general properties of common zeros of orthogonal polynomials in two variables for any given region D⊂R² from a view point of invariant factor. An important result is shown that if X₀ is a common zero of all the orthogonal polynomials of degree k then the intersection of any line passing through X₀ and D is not empty. This result can be used to settle the problem of location of common zeros of orthogonal polynomials in two variables. The main result of the paper can be considered as an extension of the univariate case.     

Linearization of the product of symmetric orthogonal polynomials

A new constructive approach is given to the linearization formulas of symmetric orthogonal polynomials. We use the monic three-term recurrence relation of an orthogonal polynomial system to set up a partial difference equation problem for the product of two polynomials and solve it in terms of the initial data. To this end, an auxiliary function of four integer variables is introduced, which may be seen as a discrete analogue of Riemann's function. As an application, we derive the linearization formulas for the associated Hermite polynomials and for their continuousq-analogues. The linearization coefficients are represented here in terms of₃ F ₂ and₃Φ₂ (basic) hypergeometric functions, respectively. We also give some partial results in the case of the associated continuousq-ultraspherical polynomials.     

Polynomial algebras on classical banach spaces

For the classical Banach spacesX = ℓ _p ,C(K) we identify alln such that every polynomial of degreen + 1 onX is uniformly approximable on the unit ball by elements of the algebra generated by all polynomials of degree up ton onX.     

On the polynomial Lindenstrauss theorem

Under certain hypotheses on the Banach space X, we show that the set of N-homogeneous polynomials from X to any dual space, whose Aron–Berner extensions are norm attaining, is dense in the space of all continuous N-homogeneous polynomials. To this end we prove an integral formula for the duality between tensor products and polynomials. We also exhibit examples of Lorentz sequence spaces for which there is no polynomial Bishop–Phelps theorem, but our results apply. Finally we address quantitative versions, in the sense of Bollobás, of these results.     

The generalized Bochner condition about classical orthogonal polynomials revisited

We bring a new proof for showing that an orthogonal polynomial sequence is classical if and only if any of its polynomial fulfils a certain differential equation of order 2k, for some k?1. So, we build those differential equations explicitly. If k=1, we get the Bochner's characterization of classical polynomials. With help of the formal computations made in Mathematica, we explicitly give those differential equations for k=1,2 and 3 for each family of the classical polynomials. Higher order differential equations can be obtained similarly.     

On the conjecture on APN functions and absolute irreducibility of polynomials

An almost perfect nonlinear (APN) function (necessarily a polynomial function) on a finite field \(\mathbb {F}\) is called exceptional APN, if it is also APN on infinitely many extensions of \(\mathbb {F}\). In this article we consider the most studied case of \(\mathbb {F}=\mathbb {F}_{2^n}\). A conjecture of Janwa–Wilson and McGuire–Janwa–Wilson (1993/1996), settled in 2011, was that the only monomial exceptional APN functions are the monomials \(x^n\), where \(n=2^k+1\) or \(n={2^{2k}-2^k+1} \) (the Gold or the Kasami exponents, respectively). A subsequent conjecture states that any exceptional APN function is one of the monomials just described. One of our results is that all functions of the form \(f(x)=x^{2^k+1}+h(x)\) (for any odd degree h(x), with a mild condition in few cases), are not exceptional APN, extending substantially several recent results towards the resolution of the stated conjecture. We also show absolute irreducibility of a class of multivariate polynomials over finite fields (by repeated hyperplane sections, linear transformations, and reductions) and discuss their applications.     

Moment representations of the exceptional X1‐Laguerre orthogonal polynomials

Exceptional orthogonal Laguerre polynomials can be viewed as an extension of the classical Laguerre polynomials per excluding polynomials of certain order(s) from being eigenfunctions for the corresponding exceptional differential operator. We are interested in the (so‐called) Type I X₁‐Laguerre polynomial sequence , and , where the constant polynomial is omitted. We derive two representations for the polynomials in terms of moments by using determinants. The first representation in terms of the canonical moments is rather cumbersome. We introduce adjusted moments and find a second, more elegant formula. We deduce a recursion formula for the moments and the adjusted ones. The adjusted moments are also expressed via a generating function. We observe a certain detachedness of the first two moments from the others.     

Density of multivariate homogeneous polynomials on star like domains

The famous Weierstrass theorem asserts that every continuous function on a compact set in ${\mathbb{R}}^d$ can be uniformly approximated by algebraic polynomials. A related interesting problem consists in studying the same question for the important subclass of homogeneous polynomials containing only monomials of the same degree. The corresponding conjecture claims that every continuous function on the boundary of convex 0-symmetric bodies can be uniformly approximated by pairs of homogeneous polynomials. The main objective of the present paper is to review the recent progress on this conjecture and provide a new unified treatment of the same problem on non convex star like domains. It will be shown that the boundary of every 0-symmetric non convex star like domain contains an exceptional zero set so that a continuous function can be uniformly approximated on the boundary of the domain by a sum of two homogeneous polynomials if and only if the function vanishes on this zero set. Thus the Weierstrass type approximation problem for homogeneous polynomials on non convex star like domains amounts to the study of these exceptional zero sets. We will also present an extension of a theorem of Varjú which describes the exceptional zero sets for intersections of star like domains. These results combined with certain transformations of the underlying region will lead to the discovery of some new classes of convex and non convex domains for which the Weierstrass type approximation result holds for homogeneous polynomials.     

Growth of Schreier graphs of automaton groups

Every automaton group naturally acts on the space X ^?? of infinite sequences over some alphabet X. For every ${w \in X^{\omega}}$ we consider the Schreier graph ?? _w of the action of the group on the orbit of w. We prove that for a large class of automaton groups all Schreier graphs ?? _w have subexponential growth bounded above by ${n^{(\log n)^m}}$ with some constant m. In particular, this holds for all groups generated by automata with polynomial activity growth (in terms of S. Sidki), confirming a conjecture of V. Nekrashevych. We present applications to ??-periodic graphs and Hanoi graphs.