The purpose of this paper is to investigate efficient representations of the residue classes modulo $q$, by performing sum and product set operations starting from a given subset $A$ of ${\mathbb{Z}}_q$. We consider the case of very small sets $A$ and composite $q$ for which not much seemed known (nontrivial results were recently obtained when $q$ is prime or when log $\left|A\right|\sim logq$). Roughly speaking we show that all residue classes are obtained from a $k$-fold sum of an $r$-fold product set of $A$, where $r\ll logq$ and $logk\ll logq$, provided the...

For the real quadratic map $P_a\left(x\right)=x^2+a$ and a given $ϵ\>0$ a point $x$ has good expansion properties if any interval containing $x$ also contains a neighborhood $J$ of $x$ with $P_a^n{|}_J$ univalent, with bounded distortion and $B(0,ϵ)\subseteq P_a^n\left(J\right)$ for some $n\in \mathbb{N}$. The $ϵ$-weakly expanding set is the set of points which do not have good expansion properties. Let $\alpha$ denote the negative fixed point and $M$ the first return time of the critical orbit to $[\alpha ,-\alpha ]$. We show there is a set $ℛ$ of parameters with positive Lebesgue measure for which the Hausdorff...

Let K be an algebraic number field with non-trivial class group G and ${}_K$ be its ring of integers. For k ∈ ℕ and some real x ≥ 1, let $F_k\left(x\right)$ denote the number of non-zero principal ideals $a_K$ with norm bounded by x such that a has at most k distinct factorizations into irreducible elements. It is well known that $F_k\left(x\right)$ behaves for x → ∞ asymptotically like $x{\left(logx\right)}^{1-1/\left|G\right|}{\left(loglogx\right)}^{{}_k\left(G\right)}$. We prove, among other results, that $₁\left(C_{n₁}\oplus C_{n₂}\right)=n₁+n₂$ for all integers n₁,n₂ with 1 < n₁|n₂.

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

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

Let $f:I\to I$ be a $C^2$ multimodal interval map satisfying polynomial growth of the derivatives along critical orbits. We prove the existence and uniqueness of equilibrium states for the potential ${\phi }_t:x\mapsto -tlog\left|Df\left(x\right)\right|$ for $t$ close to $1$, and also that the pressure function $t\mapsto P\left({\phi }_t\right)$ is analytic on an appropriate interval near $t=1$.

Let $(𝒪,\Sigma ,F_{\infty })$ be an arithmetic ring of Krull dimension at most 1, $𝒮=\mathrm{Spec}𝒪$ and $(\pi :𝒳\to 𝒮;{\sigma }_1,...,{\sigma }_n)$ an $n$-pointed stable curve of genus $g$. Write $𝒰=𝒳\setminus {\cup }_j{\sigma }_j\left(𝒮\right)$. The invertible sheaf ${\omega }_{𝒳/𝒮}({\sigma }_1+\cdots +{\sigma }_n)$ inherits a hermitian structure ${\parallel ·\parallel }_{\mathrm{hyp}}$ from the dual of the hyperbolic metric on the Riemann surface ${𝒰}_{\infty }$. In this article we prove an arithmetic Riemann-Roch type theorem that computes the arithmetic self-intersection of ${\omega }_{𝒳/𝒮}{({\sigma }_1+...+{\sigma }_n)}_{\mathrm{hyp}}$. The theorem is applied to modular curves $X\left(\Gamma \right)$, $\Gamma ={\Gamma }_0\left(p\right)$ or ${\Gamma }_1\left(p\right)$, $p\ge 11$ prime, with sections given by the cusps. We show $Z^{\text{'}}(Y\left(\Gamma \right),1)\sim e^a{\pi }^b{\Gamma }_2{(1/2)}^{c}L(0,{ℳ}_{\Gamma })$, with $p\equiv 11mod12$ when $\Gamma ={\Gamma }_0\left(p\right)$. Here $Z\left(Y\right(\Gamma ),s)$ is the Selberg...

Let X be a Riemann domain over ${ℂ}^k\times {ℂ}^{\ell }$. If X is a domain of holomorphy with respect to a family ℱ ⊂(X), then there exists a pluripolar set $P\subset {ℂ}^k$ such that every slice $X_a$ of X with a∉ P is a region of holomorphy with respect to the family ${f|}_{X_a}:f\in ℱ$.

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 $X$ be a complex manifold with strongly pseudoconvex boundary $M$. If $\psi$ is a defining function for $M$, then $-log\psi$ is plurisubharmonic on a neighborhood of $M$ in $X$, and the (real) 2-form $\sigma =i\partial \overline{\partial }(-log\psi )$ is a symplectic structure on the complement of $M$ in a neighborhood of $M$ in $X$; it blows up along $M$. The Poisson structure obtained by inverting $\sigma$ extends smoothly across $M$ and determines a contact structure on $M$ which is the same as the one induced by the complex structure. When $M$ is compact, the Poisson structure...

Dati due elementi $f$ e $g$ in un'algebra uniforme $A$, sia $G=f(M_A/f({\partial }_A)$. Nella presente Nota si danno, fra l’altro, due nuove dimostrazioni elementari del fatto che la funzione $\lambda \to \log \max g(f^{-1}(\lambda ))$ è subarmonica su $G$ e che l’applicazione $\lambda \to g(f^{-1}(\lambda ))$ è analitica nel senso di Oka.

Consider the $n\times n$ matrix with $(i,j)$’th entry $gcd(i,j)$. Its largest eigenvalue ${\lambda }_n$ and sum of entries $s_n$ satisfy ${\lambda }_n>s_n/n$. Because $s_n$ cannot be expressed algebraically as a function of $n$, we underestimate it in several ways. In examples, we compare the bounds so obtained with one another and with a bound from S. Hong, R. Loewy (2004). We also conjecture that ${\lambda }_n>6{\pi }^{-2}nlogn$ for all $n$. If $n$ is large enough, this follows from F. Balatoni (1969).

Let $𝒥$ be a coherent ideal sheaf on a complex manifold $X$ with zero set $Z$, and let $G$ be a plurisubharmonic function such that $G=log\left|f\right|+𝒪\left(1\right)$ locally at $Z$, where $f$ is a tuple of holomorphic functions that defines $𝒥$. We give a meaning to the Monge-Ampère products ${\left(d{d}^{c}G\right)}^k$ for $k=0,1,2,...$, and prove that the Lelong numbers of the currents $M_k^{𝒥}:={\mathbf{1}}_Z{\left(d{d}^{c}G\right)}^k$ at $x$ coincide with the so-called Segre numbers of $J$ at $x$, introduced independently by Tworzewski, Gaffney-Gassler, and Achilles-Manaresi. More generally, we show that $M_k^{𝒥}$ satisfy a certain...

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

We give some characterizations of the class ${}_m\left(\Omega \right)$ and use them to establish a lower estimate for the log canonical threshold of plurisubharmonic functions in this class.