Sharp Inequalities Involving $$(n!)^{1/n}$$

We prove that, for all integers \(n\ge 1\),

$$\begin{aligned} \Big (\sqrt{2\pi n}\Big )^{\frac{1}{n(n+1)}}\left( 1-\frac{1}{n+a}\right) <\frac{\root n \of {n!}}{\root n+1 \of {(n+1)!}}\le \Big (\sqrt{2\pi n}\Big )^{\frac{1}{n(n+1)}}\left( 1-\frac{1}{n+b}\right) \end{aligned}$$

and

$$\begin{aligned} \big (\sqrt{2\pi n}\big )^{1/n}\left( 1-\frac{1}{2n+\alpha }\right) <\left( 1+\frac{1}{n}\right) ^{n}\frac{\root n \of {n!}}{n}\le \big (\sqrt{2\pi n}\big )^{1/n}\left( 1-\frac{1}{2n+\beta }\right) , \end{aligned}$$

with the best possible constants

$$\begin{aligned}&a=\frac{1}{2},\quad b=\frac{1}{2^{3/4}\pi ^{1/4}-1}=0.807\ldots ,\quad \alpha =\frac{13}{6} \\&\text {and}\quad \beta =\frac{2\sqrt{2}-\sqrt{\pi }}{\sqrt{\pi }-\sqrt{2}}=2.947\ldots . \end{aligned}$$

     

Properties of continuous functions on a normed space and its sphere

Let K ⊂ ℝ³ be a convex body of unit volume. It is proved that K contains an affine-regular pentagonal prism of volume 4( 5 - 2?5 ) \mathord

An explicit formula for |FM(1+1+n)|

We show that the number of elements in FM(1+1+n), the modular lattice freely generated by two single elements and an n-element chain, is 1 $$\frac{1}{{6\sqrt 2 }}\sum\limits_{k = 0}^{n + 1} {\left[ {2\left( {\begin{array}{*{20}c} {2k} \\ k \\ \end{array} } \right) - \left( {\begin{array}{*{20}c} {2k} \\ {k - 2} \\ \end{array} } \right)} \right]} \left( {\lambda _1^{n - k + 2} - \lambda _2^{n - k + 2} } \right) - 2$$ , where \(\lambda _{1,2} = {{\left( {4 \pm 3\sqrt 2 } \right)} \mathord{\left/ {\vphantom {{\left( {4 \pm 3\sqrt 2 } \right)} 2}} \right. \kern-0em} 2}\) .     

Some estimates of norms of random matrices

We show that for any random matrix with independent mean zero entries

where is some universal constant.

     

A conjecture of Segre on diophantine approximation

In 1945,B. Segre proved the following classical theorem: Every irrational ξ has an infinity of rational approximationsp/q such that (0) $$\frac{{ - 1}}{{q^2 \sqrt {1 + 4\tau } }}< \frac{p}{q} - \xi< \frac{\tau }{{q^2 \sqrt {1 + 4\tau } }},$$ where τ is any given non-negative real number. Segre conjectured that when τ≠0 and τ^?1 is not an integer, inequalities (0) can be improved by replacing \(\sqrt {1 + 4\tau } \) and \(\sqrt {1 + 4\tau } /\tau \) with larger numbers. In this paper we prove that these two numbers can be replaced with the larger numbers \(\sqrt {1 + 4\tau } + 0.2\tau ^2 \{ \tau ^{ - 1} \} (1 - \{ \tau ^{ - 1} \} )\) and \(\sqrt {1 + 4\tau } /\tau + 0.2\tau ^2 \{ \tau ^{ - 1} \} (1 - \{ \tau ^{ - 1} \} )\) respectively, where {τ^?1} is the fractional part of τ^?1.     

Factorizations that Involve Ramanujan＇s Function k（q） = r（q）r2（q2）

In the “lost notebook”, Ramanujan recorded infinite product expansions for

A computational approach to Hilbert modular group fixed points

Some useful information is known about the fundamental domain for certain Hilbert modular groups. The six nonequivalent points with nontrivial isotropy in the fundamental domains under the action of the modular group for , , and have been determined previously by Gundlach. In finding these points, use was made of the exact size of the isotropy groups. Here we show that the fixed points and the isotropy groups can be found without such knowledge by use of a computer scan. We consider the cases and . A computer algebra system and a C compiler were essential in perfoming the computations.

     

On the normalizing multiplier of the generalized Jackson kernel

We consider the question of evaluating the normalizing multiplier $$\gamma _{n,k} = \frac{1}{\pi }\int_{ - \pi }^\pi {\left( {\frac{{sin\tfrac{{nt}}{2}}}{{sin\tfrac{t}{2}}}} \right)^{2k} dt} $$ for the generalized Jackson kernel J _n,k (t). We obtain the explicit formula $$\gamma _{n,k} = 2\sum\limits_{p = 0}^{\left[ {k - \tfrac{k}{n}} \right]} {( - 1)\left( {\begin{array}{*{20}c} {2k} \\ p \\ \end{array} } \right)\left( {\begin{array}{*{20}c} {k(n + 1) - np - 1} \\ {k(n - 1) - np} \\ \end{array} } \right)} $$ and the representation $$\gamma _{n,k} = \sqrt {\frac{{24}}{\pi }} \cdot \frac{{(n - 1)^{2k - 1} }}{{\sqrt {2k - 1} }}\left[ {1\frac{1}{8} \cdot \frac{1}{{2k - 1}} + \omega (n,k)} \right],$$ , where $$\left| {\omega (n,k)} \right| < \frac{4}{{(2k - 1)\sqrt {ln(2k - 1)} }} + \sqrt {12\pi } \cdot \frac{{k^{\tfrac{3}{2}} }}{{n - 1}}\left( {1 + \frac{1}{{n - 1}}} \right)^{2k - 2} .$$ .     

An estimate for the sum of Legendre symbols

For the sum S of the Legendre symbols of a polynomial of odd degree n ≥ 3 modulo primes p ≥ 3, Weil’s estimate |S| ≤ (n ? 1) $ \sqrt p $ and Korobov’s estimate $$ \left| S \right| \leqslant (n - 1)\sqrt {p - \frac{{(n - 3)(n - 4)}} {4}} forp \geqslant \frac{{n^2 + 9}} {2} $$ are well known. In this paper, we prove a stronger estimate, namely, $$ \left| S \right| < (n - 1)\sqrt {p - \frac{{(n - 3)(n + 1)}} {4}} $$ .     

Precise asymptotics for a series of T. L. Lai

Let be i.i.d. random variables with , and set . We prove that, for

under the assumption that and Necessary and sufficient conditions for the convergence of the sum above were established by Lai (1974).

     

An interstice relationship for flowers with four petals

Given three mutually tangent circles with bends (related to the reciprocal of the radius) a, b and c respectively, an important quantity associated with the triple is the value ${\langle a,b,c \rangle:=ab+ac+bc}$ . In this note we show in the case when a central circle with bend b ₀ is “surrounded” by four circles, i.e., a flower with four petals, with bends b ₁, b ₂, b ₃,b ₄ that either $$\sqrt{\langle b_{0},b_{1},b_{2} \rangle}+\sqrt{\langle b_{0},b_{3},b_{4} \rangle}=\sqrt{\langle b_{0},b_{2},b_{3} \rangle}+\sqrt{\langle b_{0},b_{4},b_{1} \rangle}$$ or $$\sqrt{\langle b_{0},b_{1},b_{2} \rangle}=\sqrt{\langle b_{0},b_{2},b_{3} \rangle}+\sqrt{\langle b_{0},b_{3},b_{4} \rangle}+\sqrt{\langle b_{0},b_{4},b_{1} \rangle}$$ (where ${\langle b_{0},b_{1},b_{2} \rangle}$ is chosen to be maximal). As an application we give a sufficient condition for the alternating sum of the ${\sqrt{\langle a,b,c\rangle}}$ of a packing in standard position to be 0. (A packing is in standard position when we have two circles with bend 0, i.e., parallel lines, and the remaining circles are packed in between.)     

A note on the Moll–Arias de Reyna integral

The Ramanujan Journal - The Moll–Arias de Reyna integral $$\begin{aligned} \int _0^{\infty }\frac{\mathrm{d}x}{(x^2+1)^{3/2}}\frac{1}{\sqrt{\varphi (x)+\sqrt{\varphi (x)}}} \quad \text {...     

Spectral characterization of a graph on the flags of the eleven point biplane

We characterize a 55-point graph by its spectrum ${4^1, (-2)^{10}, (-1 \pm \sqrt{3})^{10}, ((3 \pm \sqrt{5})/2)^{12}}$ . No interlacing is used: examination of tr A ^m for m ≤?7 together with study of the representation in the eigenspace for the eigenvalue ?2 suffices.     

The class number one problem for some non-abelian normal CM-fields of degree 48

We prove that there is precisely one normal CM-field of degree 48 with class number one which has a normal CM-subfield of degree 16: the narrow Hilbert class field of with .

     

Computing discrete logarithms in high-genus hyperelliptic Jacobians in provably subexponential time

We provide a subexponential algorithm for solving the discrete logarithm problem in Jacobians of high-genus hyperelliptic curves over finite fields. Its expected running time for instances with genus and underlying finite field satisfying for a positive constant is given by

The algorithm works over any finite field, and its running time does not rely on any unproven assumptions.

     

InfiniteB 2[g] sequences

We exhibit, for any integerg≥2, an infinite sequenceA ∈B ₂[g] such that . Furthermore, we obtain better estimates for small values ofg. For instance, we exhibit an infinite sequenceA ∈B ₂[2] such that Partially supported by Colciencias, Colombia and Universidad del Cauca.     

A New Estimate on the Two-Dimensional Indirect Coulomb Energy

We prove a new lower bound on the indirect Coulomb energy in two-dimensional quantum mechanics in terms of the single particle density of the system. The new universal lower bound is an alternative to the Lieb–Solovej–Yngvason bound with a smaller constant, ${C = (4/3)^{3/2} \sqrt{5 \pi -1} \approx 5.90 < C_{\rm LSY} = 192 \sqrt{2 \pi} \approx 481.27}$ , which also involves an additive gradient energy term of the single particle density.     

Maximal inequalities for the Ornstein-Uhlenbeck process

Let be the Ornstein-Uhlenbeck velocity process solving

with , where 0$"> and is a standard Brownian motion. Then there exist universal constants 0$">and 0$"> such that

for all stopping times of . In particular, this yields the existence of universal constants 0$"> and 0$"> such that

for all stopping times of . This inequality may be viewed as a stopped law of iterated logarithm. The method of proof relies upon a variant of Lenglart's domination principle and makes use of Itô calculus.

     

On the rates of the other law of the logarithm

Let X, X1 , X2 , . . . be i.i.d. random variables, and set Sn = X1 +···+Xn , Mn = maxk≤n |Sk|, n ≥1. Let an = o( (n)(1/2)/logn). By using the strong approximation, we prove that, if EX = 0, VarX = σ2 0 and E|X| 2+ε ∞ for some ε 0, then for any r 1, lim ε1/(r-1)(1/2) [ε-2-(r-1)]∞∑n=1 nr-2 P{Mn ≤εσ (π2n/(8log n))(1/2) + an } = 4/π . We also show that the widest a n is o( n(1/2)/logn).