Given a compact set $K\subset {ℂ}^N$, for each positive integer n, let $V^{\left(n\right)}\left(z\right)$ = $V_K^{\left(n\right)}\left(z\right)$ := sup$1/\left(degp\right)V_{p\left(K\right)}\left(p\left(z\right)\right)$: p holomorphic polynomial, 1 ≤ deg p ≤ n. These “extremal-like” functions $V_K^{\left(n\right)}$ are essentially one-variable in nature and always increase to the “true” several-variable (Siciak) extremal function, $V_K\left(z\right)$:= max[0, sup1/(deg p) log|p(z)|: p holomorphic polynomial, ${\left|\right|p\left|\right|}_K\le 1$]. Our main result is that if K is regular, then all of the functions $V_K^{\left(n\right)}$ are continuous; and their associated Robin functions ${\varrho }_{V_K^{\left(n\right)}}\left(z\right):=limsu{p}_{\left|\lambda \right|\to \infty }[V_K^{\left(n\right)}\left(\lambda z\right)-log\left(\right|\lambda \left|\right)]$ increase to ${\varrho }_K:={\varrho }_{V_K}$ for all z outside a pluripolar...

For n ∈ ℕ, L > 0, and p ≥ 1 let ${\kappa }_p(n,L)$ be the largest possible value of k for which there is a polynomial P ≢ 0 of the form $P\left(x\right)={\sum }_{j=0}^n{a}_j{x}^j$, $|a_0\left|\ge L\right({\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 ${\mu }_q(n,L)$ be the smallest value of k for which there is a polynomial Q of degree k with complex coefficients such that $\left|Q\left(0\right)\right|>1/L({\sum }_{j=1}^n{\left|Q\left(j\right)\right|}^q{)}^{1/q}$. We find the size of ${\kappa }_p(n,L)$ and ${\mu }_q(n,L)$ for all n ∈ ℕ, L > 0, and 1 ≤ p,q ≤ ∞. The result about ${\mu }_{\infty }(n,L)$ is due to Coppersmith and Rivlin, but our proof is completely different and much shorter even...

Let D and ∂D denote the open unit disk and the unit circle of the complex plane, respectively. We denote by ₙ (resp. ${ₙ}^c$) the set of all polynomials of degree at most n with real (resp. complex) coefficients. We define the truncation operators Sₙ for polynomials $Pₙ\in {ₙ}^c$ of the form $Pₙ\left(z\right):={\sum }_{j=0}^n{a}_j{z}_j$, $a_j\in C$, by $Sₙ\left(Pₙ\right)\left(z\right):={\sum }_{j=0}^{n}a{̃}_j{z}_j$, $a{̃}_j:=a_j\left|a_j\right|min|a_j|,1$ (here 0/0 is interpreted as 1). We define the norms of the truncation operators by $\parallel Sₙ{\parallel }_{\infty ,\partial D}^{real}:=su{p}_{Pₙ\in ₙ}(ma{x}_{z\in \partial D}\left|Sₙ\left(Pₙ\right)\left(z\right)\right|)/(ma{x}_{z\in \partial D}\left|Pₙ\left(z\right)\right|)$, $\parallel Sₙ{\parallel }_{\infty ,\partial D}^{comp}:=su{p}_{Pₙ\in {ₙ}^c}(ma{x}_{z\in \partial D}\left|Sₙ\left(Pₙ\right)\left(z\right)\right|)/(ma{x}_{z\in \partial D}\left|Pₙ\left(z\right)\right|$. Our main theorem establishes the right order of magnitude of the above norms: there is an absolute constant c₁...

For n ∈ ℕ, L > 0, and p ≥ 1 let ${\kappa }_p(n,L)$ be the largest possible value of k for which there is a polynomial P ≠ 0 of the form $P\left(x\right)={\sum }_{j=0}^n{a}_j{x}^j$, $|a_0\left|\ge L\right({\sum }_{j=1}^n|a_j{|}^p$1/p$,$aj ∈ ℂ$,$such that ${(x-1)}^k$ divides P(x). For n ∈ ℕ and L > 0 let ${\kappa }_{\infty }(n,L)$ be the largest possible value of k for which there is a polynomial P ≠ 0 of the form $P\left(x\right)={\sum }_{j=0}^n{a}_j{x}^j$, $|a_0|\ge Lma{x}_{1\le j\le 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\surd (n/L)-1\le {\kappa }_{\infty }(n,L)\le c_2\surd (n/L)$ for every L ≥ 1. This complements an earlier result of the authors valid for every n ∈ ℕ and L ∈...

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 \le k\le n$, where $\mu$ is the multiplicity of $\alpha$, then $f^{(k)}(\alpha )\ne 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...

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 ${\Phi }_n$ is at least $(1-\epsilon )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 $li{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: ℝ₊ → ℝ₊.

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 $\mathbb{Z}\left[x\right]$. In this paper, we replace $\mathbb{Z}\left[x\right]$ with ${𝔽}_p\left[x\right]$, where $p$ is an arbitrary-but-fixed prime. We also consider those $n$ where this condition holds for all $p$.

Let $C$ be a hyperelliptic curve of genus $g\ge 1$ over a number field $K$ with good reduction outside a finite set of places $S$ of $K$. We prove that $C$ has a Weierstrass model over the ring of integers of $K$ with height effectively bounded only in terms of $g$, $S$ and $K$. In particular, we obtain that for any given number field $K$, finite set of places $S$ of $K$ and integer $g\ge 1$ one can in principle determine the set of $K$-isomorphism classes of hyperelliptic curves over $K$ of genus $g$ with good reduction outside...

The coefficients of the greatest common divisor of two polynomials $f$ and $g$ (GCD$(f,g)$) can be obtained from the Sylvester subresultant matrix $S_j(f,g)$ transformed to lower triangular form, where $1\le j\le d$ and $d=$ deg(GCD$(f,g)$) needs to be computed. Firstly, it is supposed that the coefficients of polynomials are given exactly. Transformations of $S_j(f,g)$ for an arbitrary allowable $j$ are in details described and an algorithm for the calculation of the GCD$(f,g)$ is formulated. If inexact polynomials are given, then an approximate...

Let ${𝒯}_n$ denote the set of log canonical thresholds of pairs $(X,Y)$, with $X$ a nonsingular variety of dimension $n$, and $Y$ a nonempty closed subscheme of $X$. Using non-standard methods, we show that every limit of a decreasing sequence in ${𝒯}_n$ lies in ${𝒯}_{n-1}$, proving in this setting a conjecture of Kollár. We also show that ${𝒯}_n$ is closed in $𝐑$; in particular, every limit of log canonical thresholds on smooth varieties of fixed dimension is a rational number. As a consequence of this property, we see that in...

We consider nonsingular polynomial maps F = (P,Q): ℝ² → ℝ² under the following regularity condition at infinity $\left(J_{\infty }\right)$: There does not exist a sequence $(p_k,q_k)\subset ℂ²$ of complex singular points of F such that the imaginary parts $(\Im \left(p_k\right),\Im \left(q_k\right))$ tend to (0,0), the real parts $(\Re \left(p_k\right),\Re \left(q_k\right))$ tend to ∞ and $F(\Re \left(p_k\right),\Re \left(q_k\right)))\to a\in ℝ²$. It is shown that F is a global diffeomorphism of ℝ² if it satisfies Condition $\left(J_{\infty }\right)$ and if, in addition, the restriction of F to every real level set $P^{-1}\left(c\right)$ is proper for values of |c| large enough.

In this paper we prove the following theorems in incidence geometry. 1. There is $\delta >0$ such that for any $P_1,\cdots ,P_4$, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le n^{(1+\delta )/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then $P_1,\cdots ,P_4$ are collinear. If the number of the distinct lines is $<c{n}^{1/2}$ then the cross ratio of the four points is algebraic. 2. Given $c>0$, there is $\delta >0$ such that for any $P_1,P_2,P_3\in {ℂ}^2$ noncollinear, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le c{n}^{1/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then for any $P\in {ℂ}^2\setminus \{P_1,P_2,P_3\}$, we have $\delta n$ distinct lines between $P$ and $Q_j$. 3. Given...

For any positive integer k and any set A of nonnegative integers, let $r_{1,k}(A,n)$ denote the number of solutions (a₁,a₂) of the equation n = a₁ + ka₂ with a₁,a₂ ∈ A. Let k,l ≥ 2 be two distinct integers. We prove that there exists a set A ⊆ ℕ such that both $r_{1,k}(A,n)=r_{1,k}(\mathbb{N}\setminus A,n)$ and $r_{1,l}(A,n)=r_{1,l}(\mathbb{N}\setminus A,n)$ hold for all n ≥ n₀ if and only if log k/log l = a/b for some odd positive integers a,b, disproving a conjecture of Yang. We also show that for any set A ⊆ ℕ satisfying $r_{1,k}(A,n)=r_{1,k}(\mathbb{N}\setminus A,n)$ for all n ≥ n₀, we have $r_{1,k}(A,n)\to \infty$ as n → ∞.

A monomial self-map $f$ on a complex toric variety is said to be $k$-stable if the action induced on the $2k$-cohomology is compatible with iteration. We show that under suitable conditions on the eigenvalues of the matrix of exponents of $f$, we can find a toric model with at worst quotient singularities where $f$ is $k$-stable. If $f$ is replaced by an iterate one can find a $k$-stable model as soon as the dynamical degrees ${\lambda }_k$ of $f$ satisfy ${\lambda }_k^2\&gt;{\lambda }_{k-1}{\lambda }_{k+1}$. On the other hand, we give examples of monomial maps $f$, where...

The paper deals with the approximation by polynomials with integer coefficients in $L_p(0,1)$, 1 ≤ p ≤ ∞. Let $P_{n,r}$ be the space of polynomials of degree ≤ n which are divisible by the polynomial $x^r{(1-x)}^r$, r ≥ 0, and let $P_{n,r}^{\mathbb{Z}}\subset P_{n,r}$ be the set of polynomials with integer coefficients. Let $\mu (P_{n,r}^{\mathbb{Z}};L_p)$ be the maximal distance of elements of $P_{n,r}$ from $P_{n,r}^{\mathbb{Z}}$ in $L_p(0,1)$. We give rather precise quantitative estimates of $\mu (P_{n,r}^{\mathbb{Z}};L₂)$ for n ≳ 6r. Then we obtain similar, somewhat less precise, estimates of $\mu (P_{n,r}^{\mathbb{Z}};L_p)$ for p ≠ 2. It follows that $\mu (P_{n,r}^{\mathbb{Z}};L_p)\asymp n^{-2r-2/p}$ as n → ∞. The results...

Let $G$ be a finite group and let $\pi \left(G\right)=\{p_1,p_2,...,p_k\}$ be the set of prime divisors of $\left|G\right|$ for which $p_1<p_2<\cdots <p_k$. The Gruenberg-Kegel graph of $G$, denoted $GK\left(G\right)$, is defined as follows: its vertex set is $\pi \left(G\right)$ and two different vertices $p_i$ and $p_j$ are adjacent by an edge if and only if $G$ contains an element of order $p_i{p}_j$. The degree of a vertex $p_i$ in $\mathrm{GK}\left(G\right)$ is denoted by $d_G\left(p_i\right)$ and the $k$-tuple $D\left(G\right)=(d_G\left(p_1\right),d_G\left(p_2\right),...,d_G\left(p_k\right))$ is said to be the degree pattern of $G$. Moreover, if $\omega \subseteq \pi \left(G\right)$ is the vertex set of a connected component of $GK\left(G\right)$, then the largest $\omega$-number which divides $\left|G\right|$, is...