Orthogonal polynomials for exponential weights on , II

Let I=[0,d), where d is finite or infinite. Let W_ρ(x)=x^ρexp(-Q(x)), where and Q is continuous and increasing on I, with limit ∞ at d. We obtain further bounds on the orthonormal polynomials associated with the weight , finer spacing on their zeros, and estimates of their associated fundamental polynomials of Lagrange interpolation. In addition, we obtain weighted Markov and Bernstein inequalities.     

Multidimensional multi-knots piecewise linear spectral sequences

Motivated by representingmultidimensional periodic nonlinear and non-stationary signals (functions), we study a class of orthonormal exponential basis for L ²(I ^d ) with I:= [0,1), whose exponential parts are piecewise linear spectral sequences with p-knots. It is widely applied in time-frequency analysis.     

Candidates for nonzero Betti numbers of monomial ideals

Let I be a monomial ideal in the polynomial ring S generated by elements of degree at most d. In this paper, it is shown that, if the i-th syzygy of I has no elements of degrees j,…,j+(d?1) (where j≥i+d), then (i+1)-th syzygy of I does not have any element of degree j+d. Then we give several applications of this result, including an alternative proof for Green–Lazarsfeld index of the edge ideals of graphs as well as an alternative proof for Fröberg’s theorem on classification of square-free monomial ideals generated in degree 2 with linear resolution. Among all, we deduce a partial result on subadditivity of the syzygies for monomial ideals.     

ANALYTIC SPREAD AND SCHEME-THEORETIC GENERATION

Let I be a homogeneous ideal in a positively graded affine k-algebra (where k is an infinite field). We characterize the scheme-theoretic generations J of I which are reductions of I; we deduce that l(I) ≤ σ(I) where l(I) is the analytic spread of I and σ(I) denotes the minimal number of the scheme-theoretic generations of I. As application, in the polynomial ring k[x ₀,…,x _{d ? 1}], we prove the uniqueness of the degrees of every scheme-th. generation of minimal length for a quasi complete intersection I when codim(I) < d ? 1.     

Strong Version of the Basic Deciding Algorithm for the Existential Theory of Real Fields

Let U be a real algebraic variety in the n-dimensional affine space that is a set of all zeros of a family of polynomials of degree less than d. In the case where U is bounded (this is the main case), an algorithm of polynomial complexity is described for constructing a subset of U with the number of elements bounded from above by dⁿ that has the following property: for every s, this set has a nonempty intersection with every d-dimensional cycle with coefficients from s of the closure of the set of smooth points of dimension s of U. Bibliography: 16 titles.     

Polynomials hardly commuting with increasing bijections

Let I be an interval in the real line ℝ. Among the real polynomials that take I to I, we ask which ones do not commute with any increasing bijection of I other than identity. For this purely algebraic problem, the solution involves concepts in topological dynamics. Our main characterizations are in terms of full orbits of critical points and periodic points. Using these, we obtain simpler criterion, namely, that for no nontrivial subinterval K⊂I, the successive images {f ⁿ (K):n=0,1,2,…} form a pairwise disjoint collection. This problem is of interest in topological dynamics because it is about characterization of polynomials with unique self-topological-conjugacy.     

Strong Asymptotic Behavior and Weak Convergence of Polynomials Orthogonal on an Arc of the Unit Circle

Let σ be a finite positive Borel measure supported on an arc γ of the unit circle, such that σ′>0 a.e. on γ. We obtain a theorem about the weak convergence of the corresponding sequence of orthonormal polynomials. Moreover, we prove an analogue of the Szeg –Geronimus theorem on strong asymptotics of the orthogonal polynomials on the complement of γ, which completes to its full extent a result of N. I. Akhiezer. The key tool in the proofs is the use of orthogonality with respect to varying measures.     

Bounds in Polynomial Rings over Artinian Local Rings

Let R be a (mixed characteristic) Artinian local ring of length l and let X be an n-tuple of variables. We prove that several algebraic constructions in the ring R[X] admit uniform bounds on the degrees of their output in terms of l, n and the degrees of the input. For instance, if I is an ideal in R[X] generated by polynomials g _i of degree at most d and if f is a polynomial of degree at most d belonging to I, then f = q ₁ f ₁ + ··· + q _s f _s , for some q _i of degree bounded in terms of d, l and n only. Similarly, the module of syzygies of I is generated by tuples all of whose entries have degree bounded in terms of d, l and n only.     

Bounds in Polynomial Rings over Artinian Local Rings

Let R be a (mixed characteristic) Artinian local ring of length l and let X be an n-tuple of variables. We prove that several algebraic constructions in the ring R[X] admit uniform bounds on the degrees of their output in terms of l, n and the degrees of the input. For instance, if I is an ideal in R[X] generated by polynomials g _i of degree at most d and if f is a polynomial of degree at most d belonging to I, then f = q ₁ f ₁ + ··· + q _s f _s , for some q _i of degree bounded in terms of d, l and n only. Similarly, the module of syzygies of I is generated by tuples all of whose entries have degree bounded in terms of d, l and n only.     

Transferring strong boundedness among Laguerre orthogonal systems

Given the family of Laguerre polynomials, it is known that several orthonormal systems of Laguerre functions can be considered. In this paper we prove that an exhaustive knowledge of the boundedness in weighted L ^p of the heat and Poisson semigroups, Riesz transforms and g-functions associated to a particular Laguerre orthonormal system of functions, implies a complete knowledge of the boundedness of the corresponding operators on the other Laguerre orthonormal system of functions. As a byproduct, new weighted L ^p boundedness are obtained. The method also allows us to get new weighted estimates for operators related with Laguerre polynomials. Carlos Segovia passed away on April 3, 2007.