Displaying similar documents to “A set on which the Łojasiewicz exponent at infinity is attained”

On a generalization of the Beiter Conjecture

Bartłomiej Bzdęga (2016)

Acta Arithmetica

Similarity:

We prove that for every ε > 0 and every nonnegative integer w there exist primes p 1 , . . . , p w such that for n = p 1 . . . p w the height of the cyclotomic polynomial Φ n is at least ( 1 - ε ) c w M n , where M n = i = 1 w - 2 p i 2 w - 1 - i - 1 and c w is a constant depending only on w; furthermore l i m w c w 2 - w 0 . 71 . In our construction we can have p i > h ( p 1 . . . p i - 1 ) for all i = 1,...,w and any function h: ℝ₊ → ℝ₊.

On nonsingular polynomial maps of ℝ²

Nguyen Van Chau, Carlos Gutierrez (2006)

Annales Polonici Mathematici

Similarity:

We consider nonsingular polynomial maps F = (P,Q): ℝ² → ℝ² under the following regularity condition at infinity ( J ) : There does not exist a sequence ( p k , q k ) ² of complex singular points of F such that the imaginary parts ( ( p k ) , ( q k ) ) tend to (0,0), the real parts ( ( p k ) , ( q k ) ) tend to ∞ and F ( ( p k ) , ( q k ) ) ) a ² . It is shown that F is a global diffeomorphism of ℝ² if it satisfies Condition ( J ) and if, in addition, the restriction of F to every real level set P - 1 ( c ) is proper for values of |c| large enough.

Explicit bounds for the Łojasiewicz exponent in the gradient inequality for polynomials

Didier D'Acunto, Krzysztof Kurdyka (2005)

Annales Polonici Mathematici

Similarity:

Let f: ℝⁿ → ℝ be a polynomial function of degree d with f(0) = 0 and ∇f(0) = 0. Łojasiewicz’s gradient inequality states that there exist C > 0 and ϱ ∈ (0,1) such that | f | C | f | ϱ in a neighbourhood of the origin. We prove that the smallest such exponent ϱ is not greater than 1 - R ( n , d ) - 1 with R ( n , d ) = d ( 3 d - 3 ) n - 1 .

Coppersmith-Rivlin type inequalities and the order of vanishing of polynomials at 1

(2016)

Acta Arithmetica

Similarity:

For n ∈ ℕ, L > 0, and p ≥ 1 let κ p ( n , L ) be the largest possible value of k for which there is a polynomial P ≢ 0 of the form P ( x ) = j = 0 n a j x j , | a 0 | L ( j = 1 n | a j | p ) 1 / p , a j , such that ( x - 1 ) k divides P(x). For n ∈ ℕ, L > 0, and q ≥ 1 let μ q ( n , L ) be the smallest value of k for which there is a polynomial Q of degree k with complex coefficients such that | Q ( 0 ) | > 1 / L ( j = 1 n | Q ( j ) | q ) 1 / q . We find the size of κ p ( n , L ) and μ q ( n , L ) for all n ∈ ℕ, L > 0, and 1 ≤ p,q ≤ ∞. The result about μ ( n , L ) is due to Coppersmith and Rivlin, but our proof is completely different and much shorter even...

Heights of squares of Littlewood polynomials and infinite series

Artūras Dubickas (2012)

Annales Polonici Mathematici

Similarity:

Let P be a unimodular polynomial of degree d-1. Then the height H(P²) of its square is at least √(d/2) and the product L(P²)H(P²), where L denotes the length of a polynomial, is at least d². We show that for any ε > 0 and any d ≥ d(ε) there exists a polynomial P with ±1 coefficients of degree d-1 such that H(P²) < (2+ε)√(dlogd) and L(P²)H(P²)< (16/3+ε)d²log d. A similar result is obtained for the series with ±1 coefficients. Let A m be the mth coefficient of the square f(x)² of...

Beyond two criteria for supersingularity: coefficients of division polynomials

Christophe Debry (2014)

Journal de Théorie des Nombres de Bordeaux

Similarity:

Let f ( x ) be a cubic, monic and separable polynomial over a field of characteristic p 3 and let E be the elliptic curve given by y 2 = f ( x ) . In this paper we prove that the coefficient at x 1 2 p ( p - 1 ) in the p –th division polynomial of E equals the coefficient at x p - 1 in f ( x ) 1 2 ( p - 1 ) . For elliptic curves over a finite field of characteristic p , the first coefficient is zero if and only if E is supersingular, which by a classical criterion of Deuring (1941) is also equivalent to the vanishing of the second coefficient. So the...

Variations on a question concerning the degrees of divisors of x n - 1

Lola Thompson (2014)

Journal de Théorie des Nombres de Bordeaux

Similarity:

In this paper, we examine a natural question concerning the divisors of the polynomial x n - 1 : “How often does x n - 1 have a divisor of every degree between 1 and n ?” In a previous paper, we considered the situation when x n - 1 is factored in [ x ] . In this paper, we replace [ x ] with 𝔽 p [ x ] , where p is an arbitrary-but-fixed prime. We also consider those n where this condition holds for all p .

Relative exactness modulo a polynomial map and algebraic ( p , + ) -actions

Philippe Bonnet (2003)

Bulletin de la Société Mathématique de France

Similarity:

Let F = ( f 1 , ... , f q ) be a polynomial dominating map from n to  q . We study the quotient 𝒯 1 ( F ) of polynomial 1-forms that are exact along the generic fibres of F , by 1-forms of type d R + a i d f i , where R , a 1 , ... , a q are polynomials. We prove that 𝒯 1 ( F ) is always a torsion [ t 1 , ... , t q ] -module. Then we determine under which conditions on F we have 𝒯 1 ( F ) = 0 . As an application, we study the behaviour of a class of algebraic ( p , + ) -actions on n , and determine in particular when these actions are trivial.

Determination of a type of permutation trinomials over finite fields

Xiang-dong Hou (2014)

Acta Arithmetica

Similarity:

Let f = a x + b x q + x 2 q - 1 q [ x ] . We find explicit conditions on a and b that are necessary and sufficient for f to be a permutation polynomial of q ² . This result allows us to solve a related problem: Let g n , q p [ x ] (n ≥ 0, p = c h a r q ) be the polynomial defined by the functional equation c q ( x + c ) n = g n , q ( x q - x ) . We determine all n of the form n = q α - q β - 1 , α > β ≥ 0, for which g n , q is a permutation polynomial of q ² .

The multiplicity of the zero at 1 of polynomials with constrained coefficients

Peter Borwein, Tamás Erdélyi, Géza Kós (2013)

Acta Arithmetica

Similarity:

For n ∈ ℕ, L > 0, and p ≥ 1 let κ p ( n , L ) be the largest possible value of k for which there is a polynomial P ≠ 0 of the form P ( x ) = j = 0 n a j x j , | a 0 | L ( j = 1 n | a j | p 1/p , aj ∈ ℂ , such that ( x - 1 ) k divides P(x). For n ∈ ℕ and L > 0 let κ ( n , L ) be the largest possible value of k for which there is a polynomial P ≠ 0 of the form P ( x ) = j = 0 n a j x j , | a 0 | L m a x 1 j n | a j | , a j , such that ( x - 1 ) k divides P(x). We prove that there are absolute constants c₁ > 0 and c₂ > 0 such that c 1 ( n / L ) - 1 κ ( n , L ) c 2 ( n / L ) for every L ≥ 1. This complements an earlier result of the authors valid for every n ∈ ℕ and L ∈...

Entire functions of exponential type not vanishing in the half-plane z > k , where k > 0

Mohamed Amine Hachani (2017)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

Let P ( z ) be a polynomial of degree n having no zeros in | z | < k , k 1 , and let Q ( z ) : = z n P ( 1 / z ¯ ) ¯ . It was shown by Govil that if max | z | = 1 | P ' ( z ) | and max | z | = 1 | Q ' ( z ) | are attained at the same point of the unit circle | z | = 1 , then max | z | = 1 | P ' ( z ) | n 1 + k n max | z | = 1 | P ( z ) | . The main result of the present article is a generalization of Govil’s polynomial inequality to a class of entire functions of exponential type.

Location of the critical points of certain polynomials

Somjate Chaiya, Aimo Hinkkanen (2013)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

Let 𝔻 denote the unit disk { z : | z | < 1 } in the complex plane . In this paper, we study a family of polynomials P with only one zero lying outside 𝔻 ¯ .  We establish  criteria for P to satisfy implying that each of P and P '   has exactly one critical point outside 𝔻 ¯ .

A localization property for B p q s and F p q s spaces

Hans Triebel (1994)

Studia Mathematica

Similarity:

Let f j = k a k f ( 2 j + 1 x - 2 k ) , where the sum is taken over the lattice of all points k in n having integer-valued components, j∈ℕ and a k . Let A p q s be either B p q s or F p q s (s ∈ ℝ, 0 < p < ∞, 0 < q ≤ ∞) on n . The aim of the paper is to clarify under what conditions f j | A p q s is equivalent to 2 j ( s - n / p ) ( k | a k | p ) 1 / p f | A p q s .

Hardness of embedding simplicial complexes in d

Jiří Matoušek, Martin Tancer, Uli Wagner (2011)

Journal of the European Mathematical Society

Similarity:

Let 𝙴𝙼𝙱𝙴𝙳 k d be the following algorithmic problem: Given a finite simplicial complex K of dimension at most k , does there exist a (piecewise linear) embedding of K into d ? Known results easily imply polynomiality of 𝙴𝙼𝙱𝙴𝙳 k 2 ( k = 1 , 2 ; the case k = 1 , d = 2 is graph planarity) and of 𝙴𝙼𝙱𝙴𝙳 k 2 k for all k 3 . We show that the celebrated result of Novikov on the algorithmic unsolvability of recognizing the 5-sphere implies that 𝙴𝙼𝙱𝙴𝙳 d d and 𝙴𝙼𝙱𝙴𝙳 ( d - 1 ) d are undecidable for each d 5 . Our main result is NP-hardness of 𝙴𝙼𝙱𝙴𝙳 2 4 and, more generally, of 𝙴𝙼𝙱𝙴𝙳 k d for all...

Discriminants of Chebyshev radical extensions

T. Alden Gassert (2014)

Journal de Théorie des Nombres de Bordeaux

Similarity:

Let t be any integer and fix an odd prime . Let Φ ( x ) = T n ( x ) - t denote the n -fold composition of the Chebyshev polynomial of degree shifted by t . If this polynomial is irreducible, let K = ( θ ) , where θ is a root of Φ . We use a theorem of Dedekind in conjunction with previous results of the author to give conditions on t that ensure K is monogenic. For other values of t , we apply a result of Guàrdia, Montes, and Nart to obtain a formula for the discriminant of K and compute an integral basis for the ring...

Multifractal analysis of the divergence of Fourier series

Frédéric Bayart, Yanick Heurteaux (2012)

Annales scientifiques de l'École Normale Supérieure

Similarity:

A famous theorem of Carleson says that, given any function f L p ( 𝕋 ) , p ( 1 , + ) , its Fourier series ( S n f ( x ) ) converges for almost every x 𝕋 . Beside this property, the series may diverge at some point, without exceeding O ( n 1 / p ) . We define the divergence index at  x as the infimum of the positive real numbers β such that S n f ( x ) = O ( n β ) and we are interested in the size of the exceptional sets E β , namely the sets of  x 𝕋 with divergence index equal to  β . We show that quasi-all functions in  L p ( 𝕋 ) have a multifractal behavior with respect to...