A counterexample in copositive approximation

The present paper gives a converse result by showing that there exists a functionf ∈C _[−1,1], which satisfies that sgn(x)f(x) ≥ 0 forx ∈ [−1, 1], such that {fx75-1} whereE _n ⁽⁰⁾ (f, 1) is the best approximation of degreen tof by polynomials which are copositive with it, that is, polynomialsP withP(x(f(x) ≥ 0 for allx ∈ [−1, 1],E _n(f) is the ordinary best polynomial approximation off of degreen.     

On the Poles of Maximal Order of the Topological Zeta Function

The global and local topological zeta functions are singularityinvariants associated to a polynomial f and its germ at 0, respectively.By definition, these zeta functions are rational functions inone variable, and their poles are negative rational numbers.In this paper we study their poles of maximal possible order.When f is non-degenerate with respect to its Newton polyhedron,we prove that its local topological zeta function has at mostone such pole, in which case it is also the largest pole; wegive a similar result concerning the global zeta function. Moreover,for any f we show that poles of maximal possible order are alwaysof the form –1/N with N a positive integer. 1991 MathematicsSubject Classification 14B05, 14E15, 32S50.     

Negative result in pointwise 3-convex polynomial approximation

Let Δ³ be the set of functions three times continuously differentiable on [−1, 1] and such that f″′(x) ≥ 0, x ∈ [−1, 1]. We prove that, for any n ∈ ℕ and r ≥ 5, there exists a function f ∈ C ^r [−1, 1] ⋂ Δ³ [−1, 1] such that ∥f ^(r)∥ _{C[−1, 1]} ≤ 1 and, for an arbitrary algebraic polynomial P ∈ Δ³ [−1, 1], there exists x such that

Logarithmic Kodaira dimension and the poles of the Hodge and motivic zeta functions for surfaces

To any polynomial f[x ₁,,x _n ] with f(0)=0 one associates the well-known motivic zeta function and its specialization to the level of Hodge polynomials. These zeta functions can be given very explicitly in terms of an embedded resolution of f ^–1{0} in ⁿ . In this paper, where we work with polynomials in three variables, i.e., n=3, we find a geometric condition for having a nonzero contribution to the residue at a candidate pole. More precisely, for a given embedded resolution h we fix an exceptional surface E with h(E)={0}, which induces in a canonical way a candidate pole q of the motivic zeta function. Then we prove that, when the surface E is non-rational and we are in a generic situation, the maximality of the logarithmic Kodaira dimension of E implies the non-vanishing of the contribution of E to the residue at q. Here E denotes the part of E that doesn't belong to any other irreducible component of h ^–1(f ^–1{0}). The same result is already true on the level of Hodge polynomials.Postdoctoral Fellow of the Fund for Scientific Research – Flanders (Belgium). Mathematics Subject Classificaton (2000):14B05, 14E15, 14J17 (32S45)     

Are the degrees of best (co)convex and unconstrained polynomial approximation the same?

Let ℂ[−1,1] be the space of continuous functions on [−,1], and denote by Δ² the set of convex functions f ∈ ℂ[−,1]. Also, let E _n (f) and E _n ⁽²⁾ (f) denote the degrees of best unconstrained and convex approximation of f ∈ Δ² by algebraic polynomials of degree < n, respectively. Clearly, En (f) ≦ E _n ⁽²⁾ (f), and Lorentz and Zeller proved that the inverse inequality E _n ⁽²⁾ (f) ≦ cE _n (f) is invalid even with the constant c = c(f) which depends on the function f ∈ Δ². In this paper we prove, for every α > 0 and function f ∈ Δ², that

Monodromy eigenvalues and zeta functions with differential forms

For a complex polynomial or analytic function f, there is a strong correspondence between poles of the so-called local zeta functions or complex powers ∫|f|^2sω, where the ω are C^∞ differential forms with compact support, and eigenvalues of the local monodromy of f. In particular Barlet showed that each monodromy eigenvalue of f is of the form , where s₀ is such a pole. We prove an analogous result for similar p-adic complex powers, called Igusa (local) zeta functions, but mainly for the related algebro-geometric topological and motivic zeta functions.     

Polynomials of best approximation inC[−1,1]

Equivalences between the condition |P _n ^(k) (x)|≦K(n ⁻¹√1−x ²+1/n ²) ^k n ^-a, whereP _n(x) is the bestn-th degree polynomial approximation tof(x), and the Peetre interpolation space betweenC[−1,1] and the space (1−x ²) ^k f ^(2k)(x)∈C[−1,1] is established. A similar result is shown forE _n(f)= ‖f−P _n‖ _C[−1,1]. Rates other thann ^-a are also discussed. Supported by NSERC grant A4816 of Canada.     

New degree bounds for polynomial threshold functions

A real multivariate polynomial p(x ₁, …, x _n ) is said to sign-represent a Boolean function f: {0,1} ⁿ →{−1,1} if the sign of p(x) equals f(x) for all inputs x∈{0,1} ⁿ . We give new upper and lower bounds on the degree of polynomials which sign-represent Boolean functions. Our upper bounds for Boolean formulas yield the first known subexponential time learning algorithms for formulas of superconstant depth. Our lower bounds for constant-depth circuits and intersections of halfspaces are the first new degree lower bounds since 1968, improving results of Minsky and Papert. The lower bounds are proved constructively; we give explicit dual solutions to the necessary linear programs.     

On the smallest poles of Igusa's p-adic zeta functions

Let K be a p-adic field. We explore Igusa's p-adic zeta function, which is associated to a K-analytic function on an open and compact subset of Kⁿ. First we deduce a formula for an important coefficient in the Laurent series of this meromorphic function at a candidate pole. Afterwards we use this formula to determine all values less than −1/2 for n=2 and less than −1 for n=3 which occur as the real part of a pole.     

The <Emphasis Type="Italic">f</Emphasis>-Vector of the Descent Polytope

For a positive integer n and a subset S⊆[n−1], the descent polytope DP  _S is the set of points (x ₁,…,x _n ) in the n-dimensional unit cube [0,1] ⁿ such that x _i ≥x _i+1 if i∈S and x _i ≤x _i+1 otherwise. First, we express the f-vector as a sum over all subsets of [n−1]. Second, we use certain factorizations of the associated word over a two-letter alphabet to describe the f-vector. We show that the f-vector is maximized when the set S is the alternating set {1,3,5,…}∩[n−1]. We derive a generating function for F _S (t), written as a formal power series in two non-commuting variables with coefficients in ℤ[t]. We also obtain the generating function for the Ehrhart polynomials of the descent polytopes.     

Sunyer-i-Balaguer’s almost elliptic functions and Yosida’s normal functions

We study the properties of two classes of meromorphic functions in the complex plane. The first one is the class of almost elliptic functions in the sense of Sunyer-i-Balaguer. This is the class of meromorphic functions f such that the family {f(z + h)} _h∈ℂ is normal with respect to the uniform convergence in the whole complex plane. Given two sequences of complex numbers, we provide sufficient conditions for themto be zeros and poles of some almost elliptic function. These conditions enable one to give (for the first time) explicit non-trivial examples of almost elliptic functions. The second class was introduced by K. Yosida, who called it the class of normal functions of the first category. This is the class of meromorphic functions f such that the family {f(z + h)} _h∈ℂ is normal with respect to the uniform convergence on compacta in the complex plane and no limit point of the family is a constant function. We give necessary and sufficient conditions for two sequences of complex numbers to be zeros and poles of some normal function of the first category and obtain a parametric representation for this class in terms of zeros and poles.     

On the degree of iterates of automorphisms¶of the affine plane

For a polynomial automorphism f of ?² _ℂ, we set τ = deg f ²)/(deg f). We prove that τ≤ 1 if and only if f is triangularizable. In this situation, we show (by using a deep result from number theory known as the theorem of Skolem–Mahler–Lech) that the sequence (deg f ⁿ ) _{n ∈ℕ} is periodic for large n. In the opposite case, we prove that τ is an integer (τ≥ 2) and that the sequence (deg f ⁿ ) _{n ∈ℕ} is a geometric progression of ratio τ. In particular, if f is any automorphism, we obtain the rationality of the formal series . Received: 1 December 1997     

Copositive approximation by rational functions with prescribed numerator degree

The paper proves that, if f（x） ∈ L^p[-1,1],1≤p〈∞ ,changes sign I times in （-1, 1）,then there exists a real rational function r（x） ∈ Rn^（2μ-1）l which is eopositive with f（x）, such that the following Jackson type estimate ｜｜f-r｜｜p≤Cδl^2μωφ（f,1/n）p holds, where μ is a natural number ≥3/2＋1/p, and Cδ is a positive constant depending only on δ.     

Bergman kernel and complex singularity exponent

We give a precise estimate of the Bergman kernel for the model domain defined by Ω _F = “(z,w) ∈ ℂ ⁿ⁺¹: Im w − |F(z)|² > 0”, where F = (f ₁, ..., f _m ) is a holomorphic map from ℂ ⁿ to ℂ ^m , in terms of the complex singularity exponent of F.     

Characterising the Accuracy of Multivariable Refinable Functions via the Symbol Function

Suppose that f(x) = (f ₁(x),...,f _r (x)) ^T , x∈R ^d is a vector-valued function satisfying the refinement equation f(x) = ∑_Λ c _κ f(2x−κ) with finite set Λ of Z ^d and some r×r matricex c _κ. The requirements for f to have accuracy p are given in terms of the symbol function m(ξ). Supported by NSFC     

Computation of Legendre functions

The computation of the Legendre functions P_v(x) for −1 < x ≤ 1, v ∈ ℂ and of the adjoint Legendre functions P _v ^−m (x) for −1 < x ≤ 1, v ∈ ℂ, and m ∈ ℤ₊ is the subject of the paper. Bibliography: 5 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 342, 2007, pp. 14–30.     

Reciprocal polynomials with all zeros on the unit circle

Let f(x)=a _d x ^d +a _d−1 x ^d−1+⋅⋅⋅+a ₀∈ℝ[x] be a reciprocal polynomial of degree d. We prove that if the coefficient vector (a _d ,a _d−1,…,a ₀) or (a _d−1,a _d−2,…,a ₁) is close enough, in the l ¹-distance, to the constant vector (b,b,…,b)∈ℝ ^d+1 or ℝ ^d−1, then all of its zeros have moduli 1.     

A family of counterexamples in ergodic theory

LetT _α be the translationx↦x+α (mod 1) of [0, 1), α irrational. LetT be the Lebesgue measure-preserving automorphism ofX=[0, 3/2) defined byTx = x + 1 forx∈[0, 1/2),Tx=T _α(x−1) forx∈[1,3/2) andTx = T _α x forx∈[1/2, 1), i.e.T isT _α with a tower of height one built over [0, 1/2). If α is poorly approximable by rationals (there does not exist {p _n /q _n } with |α−p _n /q _n |=o(q _n ⁻²)) and λ is a measure onX ^k all of whose one-dimensional marginals are Lebesgue and which is ⊗ _{i − 1} ^k T ¹ invariant and ergodic (l>0) then λ is a product of off-diagonal measures. This property suffices for many purposes of counterexample construction. A connection is established with the POD (proximal orbit dense) condition in topological dynamics. Research supported in part by NSF contract MCS-8003038.     

On the iteration of holomorphic self-maps of ℂ*

Letf be a holomorphic self-map of the punctured plane ℂ^*=ℂ\{0} with essentially singular points 0 and ∞. In this note, we discuss the setsI ₀(f)={z ∈ ℂ^*:f ⁿ (z) → 0,n → ∞} andI _∞(f)={z ∈ ℂ^*:f ⁿ (z) → 0,n → ∞}. We try to find the relation betweenI ₀(f),I _∞(t) andJ(f). It is proved that both the boundary ofI ₀(f) and the boundary ofI _∞)f) equal toJ(f),I ₀(f) ∩J(f) ≠ θ andI _∞(f) ∩J(f) ≠ θ. As a consequence of these results, we find bothI ₀(f) andI _∞(f) are not doubly-bounded. Supported by the National Natural Science Foundation of China