Related papers: On Howard's main conjecture and the Heegner point …
Schinzel's Hypothesis (H) was used by Colliot-Th\'el\`ene and Sansuc, and later by Serre, Swinnerton-Dyer and others, to prove that the Brauer-Manin obstruction controls the Hasse principle and weak approximation on pencils of conics and…
Let $\mathfrak g$ be a simple Lie algebra with Cartan subalgebra $\mathfrak h$ and Weyl group $W$. We build up a graded map $(\mathcal H\otimes \bigwedge\mathfrak h\otimes \mathfrak h)^W\to (\bigwedge \mathfrak g\otimes \mathfrak…
A conjecture for higher order separation on generic rational surfaces with some new results about standard divisors.
Robin's Conjecture is strengthened, deformed, and proved. Nicolas conjecture follows.
Building on the construction of big Heegner points in the quaternionic setting, and their relation to special values of Rankin-Selberg $L$-functions, we obtain anticyclotomic analogues of the results of Emerton-Pollack-Weston on the…
Following an idea of Rowland we give a conjectural way to generate increasing sequences of primes using algorithms involving the gcd. These algorithms seem not so useless for searching primes since it appears we found sometime primes much…
We prove Khinchin-type inequalities with sharp constants for type L random variables and all even moments. Our main tool is Hadamard's factorisation theorem from complex analysis, combined with Newton's inequalities for elementary symmetric…
The second Hardy-Littlewood conjecture asserts that the prime counting function $\pi(x)$ satisfies the subadditive inequality \begin{align*} \pi(x+y)\leqslant \pi(x)+\pi (y) \end{align*} for all integers $x,y\geqslant 2$. By linking the…
We first give a new proof and also a new formulation for the Abhyankar-Gurjar inversion formula for formal maps of affine spaces. We then use the reformulated Abhyankar-Gurjar formula to give a more straightforward proof for the equivalence…
We reformulate a conjecture of Deligne on 1-motives by using the integral weight filtration of Gillet and Soul\'e on cohomology, and prove it. This implies the original conjecture up to isogeny. If the degree of cohomology is at most two,…
Consider an elliptic curve, defined over the rational numbers, and embedded in projective space. The rational points on the curve are viewed as integer vectors with coprime coordinates. What can be said about a rational point if a bound is…
Our main objective in this paper (which is expository for the most part) is to study the necessary steps to prove a factorization formula for a certain triple product $p$-adic $L$-function guided by the Artin formalism. The key ingredients…
We partition in classes the set of matroids of fixed dimension on a fixed vertex set. In each class we identify two special matroids, respectively with minimal and maximal h-vector in that class. Such extremal matroids also satisfy a…
The proof of the Heisenberg uncertainty relation is modified to produce two improvements: (a) the resulting inequality is stronger because it includes the covariance between the two observables, and (b) the proof lifts certain restrictions…
Let E be an elliptic curve defined over the rationals and let N be its conductor. Assume N is prime. In this paper we give numerical evidence that suggests some conjectures on the 2-divisibility of certain sums of Heenger points on E of…
We describe an approach to the circulant Hadamard conjecture based on Walsh-Fourier analysis. We show that the existence of a circulant Hadamard matrix of order $n$ is equivalent to the existence of a non-trivial solution of a certain…
We prove the Invariant Subspace Conjecture for separable Hilbert spaces.
Coinduction occurs in two guises in Horn clause logic: in proofs of self-referencing properties and relations, and in proofs involving construction of (possibly irregular) infinite data. Both instances of coinductive reasoning appeared in…
We establish, via a formal/heuristic Fourier inversion calculation, that the Hardy-Littlewood twin prime conjecture is equivalent to an asymptotic formula for the two-point correlation function of Riemann zeros at a height $E$ on the…
This paper explores the connection between two central results in the proof theory of classical logic: Gentzen's cut-elimination for the sequent calculus and Herbrands "fundamental theorem". Starting from Miller's expansion-tree-proofs, a…