The Jacobian Conjecture in case of

Ludwik M. Drużkowski

Displaying similar documents to “The Jacobian Conjecture in case of 'non-negative coefficients'”

On a problem of Sidon for polynomials over finite fields

Wentang Kuo, Shuntaro Yamagishi (2016)

Acta Arithmetica

Similarity:

Let ω be a sequence of positive integers. Given a positive integer n, we define rₙ(ω) = |(a,b) ∈ ℕ × ℕ : a,b ∈ ω, a+b = n, 0 < a < b|. S. Sidon conjectured that there exists a sequence ω such that rₙ(ω) > 0 for all n sufficiently large and, for all ϵ > 0, $l i m_{n \to \infty} r ₙ (ω) / n^{ϵ} = 0$ . P. Erdős proved this conjecture by showing the existence of a sequence ω of positive integers such that log n ≪ rₙ(ω) ≪ log n. In this paper, we prove an analogue of this conjecture in $_{q} [T]$ , where $_{q}$ is a finite field of...

Recent progress on the Jacobian Conjecture

Michiel de Bondt, Arno van den Essen (2005)

Annales Polonici Mathematici

Similarity:

We describe some recent developments concerning the Jacobian Conjecture (JC). First we describe Drużkowski’s result in [6] which asserts that it suffices to study the JC for Drużkowski mappings of the form $x + {(A x)}^{* 3}$ with A² = 0. Then we describe the authors’ result of [2] which asserts that it suffices to study the JC for so-called gradient mappings, i.e. mappings of the form x - ∇f, with $f \in k^{[n]}$ homogeneous of degree 4. Using this result we explain Zhao’s reformulation of the JC which asserts the...

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} = \prod_{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 \to \infty} c_{w}^{2^{- w}} \approx 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_{\infty})$ : There does not exist a sequence $(p_{k}, q_{k}) \subset ℂ ²$ 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}))) \to a \in ℝ ²$ . It is shown that F is a global diffeomorphism of ℝ² if it satisfies Condition $(J_{\infty})$ and if, in addition, the restriction of F to every real level set $P^{- 1} (c)$ is proper for values of |c| large enough.

On a number theoretic conjecture on positive integral points in a 5-dimensional tetrahedron and a sharp estimate of the Dickman–De Bruijn function

Ke-Pao Lin, Xue Luo, Stephen S.-T. Yau, Huaiqing Zuo (2014)

Journal of the European Mathematical Society

Similarity:

It is well known that getting the estimate of integral points in right-angled simplices is equivalent to getting the estimate of Dickman-De Bruijn function $ψ (x, y)$ which is the number of positive integers $\leq x$ and free of prime factors $> y$ . Motivating from the Yau Geometry Conjecture, the third author formulated the Number Theoretic Conjecture which gives a sharp polynomial upper estimate that counts the number of positive integral points in n-dimensional ( $n \geq 3$ ) real right-angled simplices. In this...

On the Gauss-Lucas'lemma in positive characteristic

Umberto Bartocci, Maria Cristina Vipera (1988)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

If $f(x)$ is a polynomial with coefficients in the field of complex numbers, of positive degree $n$ , then $f(x)$ has at least one root a with the following property: if $\mu\leq k\leq n$ , where $\mu$ is the multiplicity of $\alpha$ , then $f^{(k)}(\alpha)\neq 0$ (such a root is said to be a "free" root of $f(x)$ ). This is a consequence of the so-called Gauss-Lucas'lemma. One could conjecture that this property remains true for polynomials (of degree $n$ ) with coefficients in a field of positive characteristic $p>n$ (Sudbery's Conjecture). In this paper it...

The generalized Hodge and Bloch conjectures are equivalent for general complete intersections

Claire Voisin (2013)

Annales scientifiques de l'École Normale Supérieure

Similarity:

We prove that Bloch’s conjecture is true for surfaces with $p_{g} = 0$ obtained as $0$ -sets $X_{σ}$ of a section $σ$ of a very ample vector bundle on a variety $X$ with “trivial” Chow groups. We get a similar result in presence of a finite group action, showing that if a projector of the group acts as $0$ on holomorphic $2$ -forms of $X_{σ}$ , then it acts as $0$ on $0$ -cycles of degree $0$ of $X_{σ}$ . In higher dimension, we also prove a similar but conditional result showing that the generalized Hodge conjecture for general $X_{σ}$ ...

Retracts that are kernels of locally nilpotent derivations

Dayan Liu, Xiaosong Sun (2022)

Czechoslovak Mathematical Journal

Similarity:

Let $k$ be a field of characteristic zero and $B$ a $k$ -domain. Let $R$ be a retract of $B$ being the kernel of a locally nilpotent derivation of $B$ . We show that if $B = R \oplus I$ for some principal ideal $I$ (in particular, if $B$ is a UFD), then $B = R^{[1]}$ , i.e., $B$ is a polynomial algebra over $R$ in one variable. It is natural to ask that, if a retract $R$ of a $k$ -UFD $B$ is the kernel of two commuting locally nilpotent derivations of $B$ , then does it follow that $B ≅ R^{[2]}$ ? We give a negative answer to this question. The interest in...

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...

Characterization of the alternating groups by their order and one conjugacy class length

Alireza Khalili Asboei, Reza Mohammadyari (2016)

Czechoslovak Mathematical Journal

Similarity:

Let $G$ be a finite group, and let $N (G)$ be the set of conjugacy class sizes of $G$ . By Thompson’s conjecture, if $L$ is a finite non-abelian simple group, $G$ is a finite group with a trivial center, and $N (G) = N (L)$ , then $L$ and $G$ are isomorphic. Recently, Chen et al. contributed interestingly to Thompson’s conjecture under a weak condition. They only used the group order and one or two special conjugacy class sizes of simple groups and characterized successfully sporadic simple groups (see Li’s PhD dissertation)....

A set on which the Łojasiewicz exponent at infinity is attained

Jacek Chądzyński, Tadeusz Krasiński (1997)

Annales Polonici Mathematici

Similarity:

We show that for a polynomial mapping $F = (f ₁, . . ., f ₘ) : ℂ^{n} \to ℂ^{m}$ the Łojasiewicz exponent $_{\infty} (F)$ of F is attained on the set $z \in ℂ^{n} : f ₁ (z) \cdot . . . \cdot f ₘ (z) = 0$ .

$𝒟_{n, r}$ is not potentially nilpotent for $n \geq 4 r - 2$

Yan Ling Shao, Yubin Gao, Wei Gao (2016)

Czechoslovak Mathematical Journal

Similarity:

An $n \times n$ sign pattern $𝒜$ is said to be potentially nilpotent if there exists a nilpotent real matrix $B$ with the same sign pattern as $𝒜$ . Let $𝒟_{n, r}$ be an $n \times n$ sign pattern with $2 \leq r \leq n$ such that the superdiagonal and the $(n, n)$ entries are positive, the $(i, 1)$ $(i = 1, \dots, r)$ and $(i, i - r + 1)$ $(i = r + 1, \dots, n)$ entries are negative, and zeros elsewhere. We prove that for $r \geq 3$ and $n \geq 4 r - 2$ , the sign pattern $𝒟_{n, r}$ is not potentially nilpotent, and so not spectrally arbitrary.

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

Didier D&#039;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 ${| \nabla f | \geq 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) = \sum_{j = 0}^{n} a_{j} x^{j}$ , $| a_{0} | \geq L (\sum_{j = 1}^{n} | a_{j} {|^{p})}^{1 / p}$ , $a_{j} \in ℂ$ , 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 (\sum_{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 $μ_{\infty} (n, L)$ is due to Coppersmith and Rivlin, but our proof is completely different and much shorter even...

On a conjecture of Dekking : The sum of digits of even numbers

Iurie Boreico, Daniel El-Baz, Thomas Stoll (2014)

Journal de Théorie des Nombres de Bordeaux

Similarity:

Let $q \geq 2$ and denote by $s_{q}$ the sum-of-digits function in base $q$ . For $j = 0, 1, \dots, q - 1$ consider $# {0 \leq n < N : s_{q} (2 n) \equiv j (mod q)} .$ In 1983, F. M. Dekking conjectured that this quantity is greater than $N / q$ and, respectively, less than $N / q$ for infinitely many $N$ , thereby claiming an absence of a drift (or Newman) phenomenon. In this paper we prove his conjecture.

Invariance of the parity conjecture for $p$ -Selmer groups of elliptic curves in a $D_{2 p^{n}}$ -extension

Thomas de La Rochefoucauld (2011)

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

Similarity:

We show a $p$ -parity result in a $D_{2 p^{n}}$ -extension of number fields $L / K$ ( $p \geq 5$ ) for the twist $1 \oplus η \oplus τ$ : $W (E / K, 1 \oplus η \oplus τ) = {(- 1)}^{〈1 \oplus η \oplus τ, X_{p} (E / L)〉}$ , where $E$ is an elliptic curve over $K$ , $η$ and $τ$ are respectively the quadratic character and an irreductible representation of degree $2$ of $Gal (L / K) = D_{2 p^{n}}$ , and $X_{p} (E / L)$ is the $p$ -Selmer group. The main novelty is that we use a congruence result between $ε_{0}$ -factors (due to Deligne) for the determination of local root numbers in bad cases (places of additive reduction above 2 and 3). We also give applications to the $p$ -parity conjecture...

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) = \sum_{j = 0}^{n} a_{j} x^{j}$ , $| a_{0} | \geq L (\sum_{j = 1}^{n} | a_{j} |^{p}$ 1/p $,$ aj ∈ ℂ $,$ such that ${(x - 1)}^{k}$ divides P(x). For n ∈ ℕ and L > 0 let $κ_{\infty} (n, L)$ be the largest possible value of k for which there is a polynomial P ≠ 0 of the form $P (x) = \sum_{j = 0}^{n} a_{j} x^{j}$ , $| a_{0} | \geq L m a x_{1 \leq j \leq n} | a_{j} |$ , $a_{j} \in ℂ$ , such that ${(x - 1)}^{k}$ divides P(x). We prove that there are absolute constants c₁ > 0 and c₂ > 0 such that $c_{1} \sqrt (n / L) - 1 \leq κ_{\infty} (n, L) \leq c_{2} \sqrt (n / L)$ for every L ≥ 1. This complements an earlier result of the authors valid for every n ∈ ℕ and L ∈...

On the Gauss-Lucas'lemma in positive characteristic

Umberto Bartocci, Maria Cristina Vipera (1988)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

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 \geq 3$ and let $E$ be the elliptic curve given by $y^{2} = f (x)$ . In this paper we prove that the coefficient at $x^{\frac{1}{2} p (p - 1)}$ in the $p$ –th division polynomial of $E$ equals the coefficient at $x^{p - 1}$ in $f {(x)}^{\frac{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...

Elements of large order on varieties over prime finite fields

Mei-Chu Chang, Bryce Kerr, Igor E. Shparlinski, Umberto Zannier (2014)

Journal de Théorie des Nombres de Bordeaux

Similarity:

Let $𝒱$ be a fixed algebraic variety defined by $m$ polynomials in $n$ variables with integer coefficients. We show that there exists a constant $C (𝒱)$ such that for almost all primes $p$ for all but at most $C (𝒱)$ points on the reduction of $𝒱$ modulo $p$ at least one of the components has a large multiplicative order. This generalises several previous results and is a step towards a conjecture of B. Poonen.

On coarse embeddability into $ℓ_{p}$ -spaces and a conjecture of Dranishnikov

Piotr W. Nowak (2006)

Fundamenta Mathematicae

Similarity:

We show that the Hilbert space is coarsely embeddable into any $ℓ_{p}$ for 1 ≤ p ≤ ∞. It follows that coarse embeddability into ℓ₂ and into $ℓ_{p}$ are equivalent for 1 ≤ p < 2.

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$ .