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

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.

For any given positive integer k, and any set A of nonnegative integers, let $r_{1,k}(A,n)$ denote the number of solutions of the equation n = a₁ + ka₂ with a₁,a₂ ∈ A. We prove that if k,l are multiplicatively independent integers, i.e., log k/log l is irrational, then there does not exist any 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₀. We also pose a conjecture and two problems for further research.

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

We prove that for i ≥ 1, the arithmetic $I\Delta ₀+{\Omega }_i$ does not prove a variant of its own Herbrand consistency restricted to the terms of depth in $(1+\epsilon )lo{g}^{i+2}$, where ε is an arbitrarily small constant greater than zero. On the other hand, the provability holds for the set of terms of depths in $lo{g}^{i+3}$.

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.

The inequality $ʃlog|\sum a_n{e}^{2\pi i{\phi }_n}|d{\phi }_1\dots d{\phi }_n\ge Clog\left(\sum \right|a_n{{|}^2)}^{1/2}$ with an absolute constant C, and similar ones, are extended to the case of $a_n$ belonging to an arbitrary normed space X and an arbitrary compact group of unitary operators on X instead of the operators of multiplication by $e^{2\pi i\phi }$.

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 We prove that $F$ is completely monotonic on $(0,\mathrm{\infty })$. This complements a result of Miller and Moskowitz (2006), who proved that $F$ is positive and strictly decreasing on $(0,\mathrm{\infty })$. The sequence $\{S(k)\}$ $(k=1,2,\mathrm{\dots })$ plays a role in information theory.

An inequality of Brascamp and Lieb provides a bound on the covariance of two functions with respect to log-concave measures. The bound estimates the covariance by the product of the $L^2$ norms of the gradients of the functions, where the magnitude of the gradient is computed using an inner product given by the inverse Hessian matrix of the potential of the log-concave measure. Menz and Otto [Uniform logarithmic Sobolev inequalities for conservative spin systems with super-quadratic single-site...

Let d(n) be the divisor function. In 1916, S. Ramanujan stated without proof that ${\sum }_{n\le x}d²\left(n\right)=xP\left(logx\right)+E\left(x\right)$, where P(y) is a cubic polynomial in y and $E\left(x\right)=O\left(x^{3/5+\epsilon }\right)$, with ε being a sufficiently small positive constant. He also stated that, assuming the Riemann Hypothesis (RH), $E\left(x\right)=O\left(x^{1/2+\epsilon }\right)$. In 1922, B. M. Wilson proved the above result unconditionally. The direct application of the RH would produce $E\left(x\right)=O\left(x^{1/2}\left(logx\right)⁵loglogx\right)$. In 2003, K. Ramachandra and A. Sankaranarayanan proved the above result without any assumption. In this paper, we prove $E\left(x\right)=O\left(x^{1/2}\left(logx\right)⁵\right)$. ...

Let $(X_i,i=1,2,...)$ be the normalized gaussian system such that $X_i\in N(0,1)$, i = 1,2,... and let the correlation matrix ${\rho }_{ij}=E\left(X_i{X}_j\right)$ satisfy the following hypothesis: $C=su{p}_{i\ge 1}{\sum }_{j=1}^{\infty }\left|{\rho }_{i,j}\right|<\infty$. We present Gebelein’s inequality and some of its consequences: Borel-Cantelli type lemma, iterated log law, Levy’s norm for the gaussian sequence etc. The main result is that (f(X₁) + ⋯ + f(Xₙ))/n → 0 a.s. for f ∈ L¹(ν) with (f,1)ν = 0.

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