An easy generalization of Beukers' integrals allows us to conjecture a double integral formula involving the zeta and the gamma functions. A special case of this formula is Sondow's double integral formula for Euler's constant gamma.
The Smarandache function of a positive integer $n$, denoted by $S(n)$, is defined to be the smallest positive integer $j$ such that $n$ divides the factorial $j!$. In this note, we prove that for any fixed number $k > 1$, the inequality $n^k < S(n)!$ holds for almost all positive integers $n$. This confirms Sondow's conjecture which asserts that the inequality $n^2 < S(n)!$ holds for almost all positive integers $n$.
We present logarithmic series for u, ln u and the Euler-Mascheroni constant gamma. It was indicated by J. Sondow that Theorem 4 and all proofs are new. All proofs are elementary. We present some conjectures.
We evaluate certain multidimensional integrals in terms of the Lerch transcendent function $Φ$, generalizing Guillera-Sondow's formulas. As an application, we get new representations of classical constants like Euler's constant $γ$ and $\ln(4/π)$.
As the reviewer have pointed out, the proof of Roelke Conjecture contains an error. For cofinite groups, we obtain a formula connecting the discrete spectrum of Laplace operator and the resonance spectrum. Using this formula, we give a proof of the Roelke conjecture. In this version, we make several corrections in Theorem 1 and Lemma 5.
Under Cramér's conjecture concerning the prime numbers, we prove that for any $x>1$, there exists a real $A=A(x)>1$ for which the formula $[A^{n^x}]$ (where $[]$ denotes the integer part) gives a prime number for any positive integer $n$. Under the same conjecture, we also prove that for any $ε>0$, there exists a positive real number $B$ for which the formula $[B.{n!}^{2+ε}]$ gives a prime number for any sufficiently large positive integer $n$.
The paper is withdrawn. The reviewer pointed out that the assertion that the quantity $D_Γ$ is finite (used by the author) is still unproved for the general group, and perhaps is false.
This paper discusses four formulae conjectured by J. A. Lara Rodríguez on certain power series in function fields, which yield a 'harmonic product' formula for Thakur's double zeta values. We prove affirmatively the first two formulae. While we detect and correct errors in the last two formulae, and prove the corrected ones.
In this paper we formulate two generalizations of Agoh's conjecture. We also formulate conjectures involving congruence modulo primes about hyperbolic secant, hyperbolic tangent, Nörlund numbers, as well as about coefficients of expansions in powers of other analytic functions. We formulate a thesis about combinatorial objects that do not produce fake primes.
We derive a fully explicit version of the Selberg trace formula for twist-minimal Maass forms of weight 0 and arbitrary conductor and nebentypus character, and apply it to prove two theorems. First, conditional on Artin's conjecture, we classify the even 2-dimensional Artin representations of small conductor; in particular, we show that the even icosahedral representation of smallest conductor is the one found by Doud and Moore, of conductor 1951. Second, we verify the Selberg eigenvalue conjecture for groups of small level, improving on a result of Huxley from 1985.
In the 1980s Böcherer formulated a conjecture relating the central values of the imaginary quadratic twists of the spin L-function attached to a Siegel modular form $F$ to the Fourier coefficients of $F$. This conjecture has been proved when $F$ is a lift. More recently, we formulated an analogous conjecture for paramodular forms $F$ of prime level, even weight and in the plus-space. In this paper, we examine generalizations of this conjecture. In particular, our new formulations relax the conditions on $F$ and allow for twists by real characters. Moreover, these formulation are more explicit …
Let $p\equiv 4,7\mod 9$ be a rational prime number such that $3\mod p$ is not a cubic residue. In this paper we prove the 3-part of the product of the full BSD conjectures for $E_p$ and $E_{3p^3}$ is true using an explicit Gross-Zagier formula, where $E_p: x^3+y^3=p$ and $E_{3p^2}: x^3+y^3=3p^2$ are the elliptic curves related to the Sylvester conjecture and cube sum problems.
Let $p$ be an odd prime. Given an imaginary quadratic field $K=\mathbb{Q}(\sqrt{-D_K})$ where $p$ splits with $D_K>3$, and a $p$-ordinary newform $f \in S_k(Γ_0(N))$ such that $N$ verifies the Heegner hypothesis relative to $K$, we prove a $p$-adic Gross-Zagier formula for the critical slope $p$-stabilization of $f$ (assuming that it is non-$θ$-critical). In the particular case when $f=f_A$ is the newform of weight $2$ associated to an elliptic curve $A$ that has good ordinary reduction at $p$, this allows us to verify a conjecture of Perrin-Riou. The $p$-adic Gross-Zagier formula we prove has…
We prove a conjectural formula relating the Bessel period of certain automorphic forms on $\mathrm{GSp}_4$ to a central $L$-value. This formula is proposed by Liu \cite{liu} as the refined Gan-Gross-Prasad conjecture for the groups $(\SO(5), \SO(2))$. The conjecture has been previously proved for certain automorphic forms on $\mathrm{GSp_4}$ from lifts. In this paper, we extend the formula to Siegel modular forms of $\Sp_4(\bZ)$.
We derive heuristically the approximate formula for the difference $\sqrt{p_{n+1}} - \sqrt{p_n}$, where $p_n$ is the n-th prime. We find perfect agreement between this formula and the available data from the list of maximal gaps between consecutive primes.
Harris and Venkatesh made a conjecture relating the derived Hecke operators and the adjoint motivic cohomology in the setting of weight one modular forms. This conjecture was proved under some conditions in the dihedral case by Darmon--Harris--Rotger--Venkatesh. We use a new approach to prove more general cases of the conjecture (up to sign). Our approach relies on Waldspurger's formula for the central value of Rankin L-series and Ichino's formula for the triple product L-function.
Recent work of Borwein, Choi, and the second author examined a collection of polynomials closely related to the Goldbach conjecture: the polynomial $F_N$ is divisible by the $N$th cyclotomic polynomial if and only if there is no representation of $N$ as the sum of two odd primes. The coefficients of these polynomials stabilize, as $N$ grows, to a fixed sequence $a(m)$; they derived upper and lower bounds for $a(m)$, and an asymptotic formula for the summatory function $A(M)$ of the sequence, both under the assumption of a famous conjecture of Hardy and Littlewood. In this article we improve th…
The Nekrasov--Okounkov hook length formula provides a fundamental link between the theory of partitions and the coefficients of powers of the Dedekind eta function. In this paper we examine three conjectures presented by Amdeberhan. The first conjecture is a refined Nekrasov--Okounkov formula involving hooks with trivial legs. We prove the conjecture. The second conjecture is on properties of the roots of the underlying D'Arcais polynomials. We give a counterexample and present a new conjecture. The third conjecture is on the unimodality of the coefficients of the involved polynomials. We conf…
Deligne's conjecture is the Lefschetz trace formula for correspondences defined over a finite field. In this paper, we prove an analogous statement of Deligne's conjecture with respect to $p^n$-torsion étale cohomology under certain conditions, where $p$ is the characteristic of the base field.
A conjecture of Kato says that the monodromy operator on the cohomology of a semi-stable degeneration of projective varieties is represented by an algebraic cycle on the special fiber of a normal crossing model of the fiber product degeneration. We prove this conjecture in the simple case of a semi-stable degeneration arising from a Lefschetz fibration.
Berthelot's conjecture predicts that under a proper and smooth morphism of schemes in characteristic $p$, the higher direct images of an overconvergent $F$-isocrystal are overconvergent $F$-isocrystals. In this paper we prove that this is true for crystals up to isogeny. As an application we prove a Künneth formula for the crystalline fundamental group.
In this paper, we prove, following earlier work of Waldspurger ([Wa1], [Wa4]), a sort of local relative trace formula which is related to the local Gan-Gross-Prasad conjecture for unitary groups over a local field $F$ of characteristic zero. As a consequence, we obtain a geometric formula for certain multiplicities $m(π)$ appearing in this conjecture and deduce from it a weak form of the local Gan-Gross-Prasad conjecture (multiplicity one in tempered L-packets). These results were already known over $p$-adic fields and thus are only new when $F=\mathbb{R}$.
Using the theory of polarised flag type quotients, we determine mass formulae for all principally polarised supersingular abelian threefolds defined over an algebraically closed field $k$ of characteristic $p$. We combine these results with computations of the automorphism groups to study Oort's conjecture; we prove that every generic three-dimensional principally polarised supersingular abelian variety over $k$ of characteristic $\neq 2$ has automorphism group $\{ \pm 1 \}$.
In this paper, by inputting the Bessel identities over the complex field in previous work of the authors, the Waldspurger formula of Baruch and Mao is extended from totally real fields to arbitrary number fields. This is applied to give a non-trivial bound towards the Ramanujan conjecture for automorphic forms of the metaplectic group $\widetilde{\mathrm{SL}}_2$ for the first time in the generality of arbitrary number fields.
We establish an explicit Plancherel decomposition for $\mathrm{GL}_n(F)\backslash \mathrm{GL}_n(E)$ where $E/F$ is a quadratic extension of local fields of characteristic zero by making use of a local functional equation for Asai $γ$-factors. We also give two applications of this Plancherel formula: first to the global Ichino-Ikeda conjecture for unitary groups by completing a comparison between local relative characters that was left open by W. Zhang and secondly to the Hiraga-Ichino-Ikeda conjecture on formal degrees in the case of unitary groups.
Through combining the work of Jean-Loup Waldspurger (\cite{waldspurger10} and \cite{waldspurgertemperedggp}) and Raphaël Beuzart-Plessis (\cite{beuzart2015local}), we give a proof for the tempered part of the local Gan-Gross-Prasad conjecture (\cite{ggporiginal}) for special orthogonal groups over any local fields of characteristic zero, which was already proved by Waldspurger over $p$-adic fields.
Lapid and Mao formulated a conjecture on an explicit formula of Whittaker Fourier coefficients of automorphic forms on quasi-split classical groups and metaplectic groups as an analogue of Ichino-Ikeda conjecture. They also showed that this conjecture is reduced to a certain local identity in the case of unitary groups. In this paper, we study even unitary group case. Indeed, we prove this local identity over $p$-adic fields. Further, we prove an equivalence between this local identity and a refined formal degree conjecture over any local field of characteristic zero. As a consequence, we prov…
Braverman and Kazhdan introduced influential conjectures generalizing the Fourier transform and the Poisson summation formula. Their conjectures should imply that quite general Langlands $L$-functions have meromorphic continuations and functional equations as predicted by Langlands' functoriality conjecture. As evidence for their conjectures, Braverman and Kazhdan considered a setting related to the so-called doubling method in a later paper and proved the corresponding Poisson summation formula under restrictive assumptions on the functions involved. In this paper we consider a special case o…
We propose a conjecture on the relative twist formula of $\ell$-adic sheaves, which can be viewed as a generalization of Kato-Saito's conjecture. We verify this conjecture under some transversal assumptions. We also define a relative cohomological characteristic class and prove that its formation is compatible with proper push-forward. A conjectural relation is also given between the relative twist formula and the relative cohomological characteristic class.
On the Gross-Prasad conjecture with its refinement for $\left(\mathrm{SO}\left(5\right),\mathrm{SO}\left(2\right)\right)$ and the generalized Böcherer conjecture
We continue the analysis of the elliptic part of the trace formula initiated in \cite{Altug:2015aa}. In that reference Poisson summation was applied to the elliptic part and the dominant term was analyzed. The main aim of this paper is to study the remaining terms after Poisson summation. We analyze the the Fourier transforms of (smoothed) orbital integrals and obtain exact asymptotic expansions. As an application we recover, using the Arthur-Selberg trace formula, Kuznetsov's result (cf. \cite{Kuznetsov:1980aa}) that the trace of the $p$th Hecke operator on cuspidal automorphic representation…
We introduce a new technique for isolating components on the spectral side of the trace formula. By applying it to the Jacquet--Rallis relative trace formula, we complete the proof of the global Gan--Gross--Prasad conjecture and its refinement Ichino--Ikeda conjecture for $\mathrm{U}(n)\times\mathrm{U}(n+1)$ in the stable case.
This is a collection of 1031 formulas that were generated by a computer program in 1992. The set is the database of integer sequences as of 1992 which contained 4568 sequences. These sequences were later published in the Encyclopedia of Integer Sequences by Neil J.A. Sloane and Simon Plouffe. The text explain the methodology used for finding a formula. The rest of the pages (over 500) is the collection of formulas found. NOTE : the sequences are numbered in the old system.
We prove Ibukiyama's conjectures on Siegel modular forms of half-integral weight and of degree 2 by using Arthur's multiplicity formula on the split odd special orthogonal group $\SO_5$ and Gan-Ichino's multiplicity formula on the metaplectic group $\Mp_4$. In the proof, the representation theory of the Jacobi groups also plays an important role.
We prove a conjecture of Goncharov, which says that any multiple polylogarithm can be expressed via polylogarithms of depth at most half of the weight. We give an explicit formula for this presentation, involving a summation over trees that correspond to decompositions of a polygon into quadrangles. Our second result is a formula for volume of hyperbolic orthoschemes, generalizing the formula of Lobachevsky in dimension $3$ to an arbitrary dimension. We show a surprising relation between two results, which comes from the fact that hyperbolic orthoschemes are parametrized by configurations of p…
In the relative trace formula approach to the arithmetic Gan-Gross-Prasad conjecture, we formulate a local conjecture (arithmetic transfer) in the case of an exotic smooth formal moduli space of p-divisible groups, associated to a unitary group relative to a ramified quadratic extension of a p-adic field. We prove our conjecture in the case of a unitary group in three variables.
We conjecture a deformation of the Weyl character formula for type G_2 in the spirit of Tokuyama's formula for type A. Using our conjecture we prove a combinatorial version of the Gindikin--Karpelevic formula for G_2, in the spirit of Bump--Nakasuji's formula for type A.
Closed-form formulas, determinantal expressions, recursive relations, power series, and special values of several functions used in Clark--Ismail's two conjectures
本文利用Faà di Bruno公式、偏Bell多项式恒等式及比值求导公式,系统建立了Clark--Ismail两个猜想中相关函数的闭式公式、行列式表达式、递推关系、幂级数与特殊值,并进一步得到Hessenberg矩阵行列式公式及相关数列的对数凸性。
Conrey, Farmer, Keating, Rubinstein, and Snaith, recently conjectured formulas for the full asymptotics of the moments of $L$-functions. In the case of the Riemann zeta function, their conjecture states that the $2k$-th absolute moment of zeta on the critical line is asymptotically given by a certain $2k$-fold residue integral. This residue integral can be expressed as a polynomial of degree $k^2$, whose coefficients are given in exact form by elaborate and complicated formulas. In this article, uniform asymptotics for roughly the first $k$ coefficients of the moment polynomial are derived. Nu…