How quadratic are the natural numbers?

Abstract. For natural numbers n we inspect all factorizations n = ab of n with a ￡ ba \le b in \Bbb N\Bbb N and denote by n=a_n b_nn=a_n b_n the most quadratic one, i.e. such that b_n - a_nb_n - a_n is minimal. Then the quotient k(n) : = a_n/b_n\kappa (n) := a_n/b_n is a measure for the quadraticity of n. The best general estimate for k(n)\kappa (n) is of course very poor: 1/n ￡ k(n) ￡ 11/n \le \kappa (n)\le 1. But a Theorem of Hall and Tenenbaum [1, p. 29], implies(logn)^-d-e ￡ k(n) ￡ (logn)^-d(\log n)^{-\delta -\varepsilon } \le \kappa (n) \le (\log n)^{-\delta } on average, with d = 1 - (1+log₂  2)/log2=0,08607 ?\delta = 1 - (1+\log _2 \,2)/\log 2=0,08607 \ldots and for every e > 0\varepsilon >0. Hence the natural numbers are fairly quadratic.¶k(n)\kappa (n) characterizes a specific optimal factorization of n. A quadraticity measure, which is more global with respect to the prime factorization of n, is k^*(n): = ?_{1 ￡ a ￡ b, ab=n} a/b\kappa ^*(n):= \textstyle\sum\limits \limits _{1\le a \le b, ab=n} a/b. We show k^*(n) ~ \frac 12\kappa ^*(n) \sim \frac {1}{2} on average, and k^*(n)=W(2^{\frac 12(1-e) log n/log ₂n})\kappa ^*(n)=\Omega (2^{\frac {1}{2}(1-\varepsilon ) {\log}\, n/{\log} _2n})for every e > 0\varepsilon>0.     

White noise eliminates instability

Let x₁,..., x_n be points in the d-dimensional Euclidean space E^d with || x_i-x_j|| ￡ 1\| x_{i}-x_{j}\| \le 1 for all 1 \leqq i,j \leqq n1 \leqq i,j \leqq n, where || .||\| .\| denotes the Euclidean norm. We ask for the maximum M(d,n) of \mathop?_i, j=1ⁿ|| x_i-x_j|| ²\textstyle\mathop\sum\limits _{i,\,j=1}^{n}\| x_{i}-x_{j}\| ^{2} (see [4]). This paper deals with the case d = 2. We calculate M(2, n) and show that the value M(2, n) is attained if and only if the points are distributed as evenly as possible among the vertices of a regular triangle of edge-length 1. Moreover we give an upper bound for the value \mathop?_i, j=1ⁿ|| x_i-x_j|| \textstyle\mathop\sum\limits _{i,\,j=1}^{n}\| x_{i}-x_{j}\| , where the points x₁,...,x_n are chosen under the same constraints as above.     

Helly-type theorems for appropriate colorings of visibility sets

Summary. For positive integers q and n, think of P as the vertex set of a (qn + r)-gon, 0 ￡ r ￡ q - 1 0 \leq r \leq q - 1 . For 1 ￡ i ￡ qn + r 1 \leq i \leq qn + r , define V(i) to be a set of q consecutive points of P, starting at p(i), and let S be a subset of {V(i) : 1 ￡ i ￡ qn + r } \lbrace V(i) : 1 \leq i \leq qn + r \rbrace . A q-coloring of P = P(q) such that each member of S contains all q colors is called appropriate for S, and when 1 ￡ j ￡ q 1 \leq j \leq q , the definition may be extended to suitable subsets P(j) of P. If for every 1 ￡ j ￡ q 1 \leq j \leq q and every corresponding P(j), P(j) has a j-coloring appropriate for S, then we say P = P(q) has all colorings appropriate for S. With this terminology, the following Helly-type result is established: Set P = P(q) has all colorings appropriate for S if and only if for every (2n + 1)-member subset T of S, P has all colorings appropriate for T. The number 2n + 1 is best possible for every r 3 1 r \geq 1 . Intermediate results for q-colorings are obtained as well.     

Odd order groups with the rewriting property Q3

Let n be an integer greater than 1, and let G be a group. A subset {x₁, x₂, ..., x_n} of n elements of G is said to be rewritable if there are distinct permutations p \pi and s \sigma of {1, 2, ..., n} such that¶¶x_p(1)x_p(2) ?x_p(n) = x_s(1)x_s(2) ?x_s(n). x_{\pi(1)}x_{\pi(2)} \ldots x_{\pi(n)} = x_{\sigma(1)}x_{\sigma(2)} \ldots x_{\sigma(n)}. ¶¶A group is said to have the rewriting property Q_n if every subset of n elements of the group is rewritable. In this paper we prove that a finite group of odd order has the property Q₃ if and only if its derived subgroup has order not exceeding 5.     

Analytic Fourier integral operators, Monge-Ampère equation and holomorphic factorization

We will show that the factorization condition for the Fourier integral operators I_r ^m (X,Y;L )I_\rho ^\mu (X,Y;\it\Lambda ) leads to a parametrized parabolic Monge-Ampère equation. For an analytic operator, the fibration by the kernels of the Hessian of phase function is shown to be analytic in a number of cases, by considering a more general continuation problem for the level sets of a holomorphic mapping. The results are applied to obtain L^p-continuity for translation invariant operators in \Bbb Rⁿ{\Bbb R}^n with n ￡ 4n\leq 4 and for arbitrary \Bbb Rⁿ{\Bbb R}^n with dp_X×Y|_L ￡ n+2d\pi _{X\times Y}|_\Lambda \leq n+2.     

Une Remarque sur une Formule Sommatoire liée à la Somme des Chiffres

Let g ≥ 2 be an integer, and let s(n) be the sum of the digits of n in basis g. Let f(n) be a complex valued function defined on positive integers, such that ?_{n ￡ x} f(n)=o(x)\sum_{n\le x} f(n)=o(x) . We propose sufficient conditions on the function f to deduce the equality ?_{n ￡ x} f(s(n))=o(x)\sum_{n\le x} f(s(n))=o(x) . Applications are given, for instance, on the equidistribution mod 1 of the sequence (s(n))^α, where α is a positive real number.     

On matrix near-rings

Let R be a right near-ring with identity and M_n(R) be the near-ring of n 2 n matrices over R in the sense of Meldrum and Van der Walt. In this paper, M_n(R) is said to be s\sigma-generated if every n 2 n matrix A over R can be expressed as a sum of elements of X_n(R), where X_n(R)={f_ij^r | 1\leqq i, j\leqq n, r ? R}X_n(R)=\{f_{ij}^r\,|\,1\leqq i, j\leqq n, r\in R\}, is the generating set of M_n(R). We say that R is s\sigma-generated if M_n(R) is s\sigma-generated for every natural number n. The class of s\sigma-generated near-rings contains distributively generated and abstract affine near-rings. It is shown that this class admits homomorphic images. For abelian near-rings R, we prove that the zerosymmetric part of R is a ring, so the class of zerosymmetric abelian s\sigma-generated near-rings coincides with the class of rings. Further, for every n, there is a bijection between the two-sided subgroups of R and those of M_n(R).     

Sharp bounds for the Bernoulli numbers

We determine the best possible real constants a\alpha and b\beta such that the inequalities [(2(2n)!)/((2p)²ⁿ)] [1/(1-2^a-2n)] \leqq |B_2n| \leqq [(2(2n)!)/((2p)²ⁿ)] [1/(1-2^b-2n)]{2(2n)! \over(2\pi)^{2n}} {1 \over 1-2^{\alpha -2n}} \leqq |B_{2n}| \leqq {2(2n)! \over (2\pi )^{2n}}\, {1 \over 1-2^{\beta -2n}}hold for all integers n\geqq 1n\geqq 1. Here, B₂, B₄, B₆,... are Bernoulli numbers.     

Approximation by the Bernstein–Durrmeyer Operator on a Simplex

For the Jacobi-type Bernstein–Durrmeyer operator M _n,κ on the simplex T ^d of ℝ ^d , we proved that for f∈L ^p (W _κ ;T ^d ) with 1<p<∞,

Simple Explicit Formulas for the Frame-Stewart Numbers

Several different approaches to the multi-peg Tower of Hanoi problem are equivalent. One of them is Stewart's recursive formula ¶¶ S (n, p) = min {2S (n₁, p) + S (n-n₁, p-1) | n₁, n-n₁ ? \mathbbZ⁺}. S (n, p) = min \{2S (n_1, p) + S (n-n_1, p-1)\mid n_1, n-n_1 \in \mathbb{Z}^+\}. ¶¶In the present paper we significantly simplify the explicit calculation of the Frame-Stewart's numbers S(n, p) and give a short proof of the domain theorem that describes the set of all pairs (n, n₁), such that the above minima are achieved at n₁.     

On Ricci curvature of isotropic and Lagrangian submanifolds in complex space forms

Let M ⁿ be a Riemannian n-manifold. Denote by S(p) and [`(Ric)](p)\overline {Ric}(p) the Ricci tensor and the maximum Ricci curvature on M <sup>n</sup> at a point p ? M<sup>n</sup>p\in M^n, respectively. First we show that every isotropic submanifold of a complex space form [(M)\tilde]<sup>m</sup>(4 c)\widetilde M^m(4\,c) satisfies S ￡ ((n-1)c+ [(n<sup>2</sup>)/4] H<sup>2</sup>)gS\leq ((n-1)c+ {n^2 \over 4} H^2)g, where H<sup>2</sup> and g are the squared mean curvature function and the metric tensor on M <sup>n</sup>, respectively. The equality case of the above inequality holds identically if and only if either M <sup>n</sup> is totally geodesic submanifold or n = 2 and M <sup>n</sup> is a totally umbilical submanifold. Then we prove that if a Lagrangian submanifold of a complex space form [(M)\tilde]<sup>m</sup>(4 c)\widetilde M^m(4\,c) satisfies [`(Ric)] = (n-1)c+ [(n²)/4] H²\overline {Ric}= (n-1)c+ {n^2 \over 4} H^2 identically, then it is a minimal submanifold. Finally, we describe the geometry of Lagrangian submanifolds which satisfy the equality under the condition that the dimension of the kernel of second fundamental form is constant.     

Remarks on some zero-sum problems

Let Z denote the ring of integers and for a prime p and positive integers r and d, let f_r(P, d) denote the smallest positive integer such that given any sequence of f_r(p, d) elements in (Z/pZ(^d, there exists a subsequence of (rp) elements whose sum is zero in (Z/pZ(^d. That f₁(p, 1) = 2p − 1, is a classical result due to Erdős, Ginzburg and Ziv. Whereas the determination of the exact value of f₁(p, 2) has resisted the attacks of many well known mathematicians, we shall see that exact values of f_r(p, 1) for r ≥ 1 can be easily obtained from the above mentioned theorem of Erdős, Ginzburg and Ziv and those of f_r(p, 2) for r ≥ 2 can be established by the existing techniques developed by Alon, Dubiner and Rónyai in connection with obtaining good upper bounds for f₁(p, 2). We shall also take this opportunity to describe some of the early results in the introduction.     

Uncorrelatedness and correlatedness of powers of random variables

Let x₁, ?, x_n \xi_1, \ldots, \xi_n be random variables and U be a subset of the Cartesian product \mathbbZ₊ⁿ, \mathbbZ₊ \mathbb{Z}_+^n, \mathbb{Z}_+ being the set of all non-negative integers. The random variables are said to be strictly U-uncorrelated if¶¶E(x₁^j₁ ?x_n^j_n) = E(x₁^j₁) ?E(x_n^j_n) ? (j₁, ... ,j_n) ? U. \textbf {E}\big(\xi_1^{j_1} \cdots \xi_n^{j_n}\big) = \textbf {E}\big(\xi_1^{j_1}\big) \cdots \textbf {E}\big(\xi_n^{j_n}\big) \iff (j_1, \dots ,j_n) \in U. ¶It is proved that for an arbitrary subset U \subseteqq \mathbbZ₊ⁿ U \subseteqq \mathbb{Z}_+^n containing all points with 0 or 1 non-zero coordinates there exists a collection of n strictly U-uncorrelated random variables.     

Cancellation in primely generated refinement monoids

We prove that any primely generated refinement monoid M has separative cancellation, and even strong separative cancellation provided M has no nonzero idempotents. A form of multiplicative cancellation also holds: na ￡ nb na\leq nb implies a ￡ b a\leq b for a,b ? M a,b \in M and n ? {1,2,3,?} n \in \{1,2,3,\ldots\} . In addition, M is a semilattice in the sense that, given c₁,c₂ ? M c_1,c_2 \in M , there is an element d ? M d \in M such that c₁,c₂ ￡ d c_1,c_2 \leq d and, for all a ? M, c₁,c₂ ￡ a a \in M, c_1,c_2 \leq a implies d ￡ a d \leq a . Finally, we prove that any finitely generated refinement monoid is primely generated; in fact, this holds for any refinement monoid with a set of generators satisfying the descending chain condition.     

Moser's second one-dimensional inequality for a class of integral operators

Suppose that $1 < p < \infty $1 < p < \infty , q=p/(p-1)q=p/(p-1), and for non-negative f ? L^p(-￥ ,￥)f\in L^p(-\infty\! ,\infty ) and any real x we let F(x)-F(0)=ò₀^xf(t) dtF(x)-F(0)=\int _0^xf(t)\ dt; suppose in addition that ò_-￥^￥ F(t)exp(-|t|) dt=0\int\limits _{-\infty }^\infty F(t)\exp (-|t|)\ dt=0. Moser's second one-dimensional inequality states that there is a constant C_pC_p, such that ò_-￥^￥ exp[a |F(x)|^q-|x|]  dx ￡ C_p\int\limits _{-\infty }^\infty \exp [a |F(x)|^q-|x|] \ dx\le C_p for each f with ||f||_p ￡ 1||f||_p\le 1 and every a ￡ 1a\le 1. Moreover the value a = 1 is sharp. We replace the operation connecting f with F by a more general integral operation; specifically we consider non-negative kernels K(t,x) with the property that xK(t,x) is homogeneous of degree 0 in t, x. We state an analogue of the inequality above for this situation, discuss some applications and consider the sharpness of the constant which replaces a.     

A note on a conjecture of Borwein and Choi

A polynomial P(X) with coefficients {ǃ} of odd degree N - 1 is cyclotomic if and only if¶¶P(X) = ±F_p1 (±X)F_p2(±X^p1) ?F_pr(±X^{p1 p2 ?p_r-1}) P(X) = \pm \Phi_{p1} (\pm X)\Phi_{p2}(\pm X^{p1}) \cdots \Phi_{p_r}(\pm X^{p1 p2 \cdots p_r-1}) ¶where N = p₁ p₂ · · · p_r and the p_i are primes, not necessarily distinct, and where F_p(X) : = (X^p - 1) / (X - 1) \Phi_{p}(X) := (X^{p} - 1) / (X - 1) is the p-th cyclotomic polynomial. This is a conjecture of Borwein and Choi [1]. We prove this conjecture for a class of polynomials of degree N - 1 = 2^r p^l - 1 N - 1 = 2^{r} p^{\ell} - 1 for any odd prime p and for integers r, l\geqq 1 r, \ell \geqq 1 .     

Representations of nilpotent Lie algebras

Let (L,[p]) a finite dimensional nilpotent restricted Lie algebra of characteristic p 3 3, c ? L^*p \geq 3, \chi \in L^* a linear form. In this paper we study the representation theory of the reduced universal enveloping algebra u(L,c)u(L,\chi ). It is shown that u(L,c)u(L,\chi ) does not admit blocks of tame representation type. As an application, we prove that the nonregular AR-components of u(L,c)u(L,\chi ) are of types \Bbb Z [A_￥ ]\Bbb Z [A_\infty ] or \Bbb Z [A_n]/(t)\Bbb Z [A_n]/(\tau ).     

On the existence of certain measures appearing in distance geometry

Abstract. We prove the following result: Let X be a compact connected Hausdorff space and f be a continuous function on X x X. There exists some regular Borel probability measure m\mu on X such that the value of¶¶ ò\limit _X f(x,y)dm(y)\int\limit _X f(x,y)d\mu (y) is independent of the choice of x in X if and only if the following assertion holds: For each positive integer n and for all (not necessarily distinct) x₁,x₂,...,x_n,y₁,y₂,...,y_n in X, there exists an x in X such that¶¶ ?_i=1ⁿ f(x_i,x)=?_i=1ⁿ f(y_i,x).\sum\limits _{i=1}^n f(x_i,x)=\sum\limits _{i=1}^n f(y_i,x).     

Quermassintegrals of a random polytope in a convex body

Let K be a convex body in \mathbbRⁿ \mathbb{R}^n with volume |K| = 1 |K| = 1 . We choose N 3 n+1 N \geq n+1 points x₁,?, x_N x_1,\ldots, x_N independently and uniformly from K, and write C(x₁,?, x_N) C(x_1,\ldots, x_N) for their convex hull. Let f : \mathbbR⁺ ? \mathbbR⁺ f : \mathbb{R^+} \rightarrow \mathbb{R^+} be a continuous strictly increasing function and 0 ￡ i ￡ n-1 0 \leq i \leq n-1 . Then, the quantity¶¶E (K, N, f °W_i) = ò_K ?ò_K f[W_i(C(x₁, ?, x_N))]dx_N ?dx₁ E (K, N, f \circ W_{i}) = \int\limits_{K} \ldots \int\limits_{K} f[W_{i}(C(x_1, \ldots, x_N))]dx_{N} \ldots dx_1 ¶¶is minimal if K is a ball (W_i is the i-th quermassintegral of a compact convex set). If f is convex and strictly increasing and 1 ￡ i ￡ n-1 1 \leq i \leq n-1 , then the ball is the only extremal body. These two facts generalize a result of H. Groemer on moments of the volume of C(x₁,?, x_N) C(x_1,\ldots, x_N) .     

Zyklische kubische monogene Erweiterungen der ganzalgebraischen Zahlen eines quadratischen Körpers

D'après [6] et [7] l'anneau des entiers du corps quadratique Q(?d), d \not = -3{\bf Q}(\sqrt {d}), d \not = -3, possède une extension cyclique cubique monogène (de discriminant 1) si, et seulement si, l'équation diophantienne¶¶ 4m³ = y²d + 274m^3 = y^2d + 27 a une solution avec d \not o 21d \not \equiv 21 (mod 36) et m \not o 3m \not \equiv 3 (mod 9).¶¶ On démontre ici que pour qu'une telle extension existe il faut que 3 divise h (d) et, lorsque d o 1d \equiv 1 (mod 8), d'où (2) = \frak p₁\frak p₂(2) = \frak p_1\frak p_2 où \frak p₁\frak p_1 et \frak p₂\frak p_2 sont deux idéaux premiers distincts de A_d, que la classe [\frak p₁][\frak p_1] de \frak p₁\frak p_1 dans le groupe de classes de Q(?d){\bf Q}(\sqrt {d}) ne soit pas un cube. Pour |d||d| < 100'000 cela élimine 68,37 % des valeurs restantes, les valeurs éliminées passent ainsi de 90 à 97 %.¶ De plus d ne doit pas être de la forme pq ou -3 pq pour lesquels le symbole d'Aigner T(p *q)T(p \star q) vale -1. L'article comporte aussi deux corrections, des résultats complétant [6] et [7], parus dans une thèse, et d'autres (en particulier l'indépendance des critères et des résultats numériques) parus ailleurs.