Related papers: Reasoning about Primes (I)
We prove several supercongruences involving the harmonic number of order two $H_n^{(2)}:=\sum_{k=1}^n1/k^2$. For example, if $p>5$ is prime and $\alpha$ is $p$-integral, then we can completely determine $$…
We present a new proof of Stembridge's theorem about the enumeration of totally symmetric plane partitions using the methodology suggested in the recent Koutschan-Kauers-Zeilberger semi-rigorous proof of the Andrews-Robbins q-TSPP…
The aim of this note is a proof of a recent conjecture of Kellner concerning the number of distinct prime factors of a particular product of primes. The proof uses profound results from analytic number theory, such as Granville-Ramar\'{e}'s…
We show that the splitting conjecture in the hybrid model of Gonek--Hughes--Keating holds to order on the Riemann hypothesis. Our results are valid in a larger range of the parameter $X$ which mediates between the partial Euler and Hadamard…
We consider finite sets $A\subset\mathbb{Z}$ tiles the integers by translations. By periodicity, any such tiling is equivalent to a factorization $A\oplus B=\mathbb{Z}_M$ of a finite cyclic group. Building on por previous work, we prove…
Turaev conjectured that the classification, realization and splitting results for Poincar\'e duality complexes of dimension $3$ (PD$_{3}$-complexes) generalize to PD$_{n}$-complexes with $(n-2)$-connected universal cover for $n \ge 3$.…
Cyclic proof systems for Heyting and Peano arithmetic eschew induction axioms by accepting proofs which are finite graphs rather than trees. Proving that such a cyclic proof system coincides with its more conventional variants is often…
We introduce the notion of quadratic hull of a linear code, and give some of its properties. We then show that any symmetric bilinear multiplication algorithm for a finite-dimensional algebra over a field can be obtained by…
We identify the free half shuffle algebra of Sch\"utzenberger (1958) with an algebra of real-valued functionals on paths, where the half shuffle emulates integration of a functional against another. We then provide two, to our knowledge,…
We propose a new, conjectural recursion solution for Hurwitz numbers at all genera. This conjecture is based on recent progress in solving type B topological string theory on the mirrors of toric Calabi-Yau manifolds, which we briefly…
We give an explicit formula for the correspondence between simple Yetter-Drinfeld modules for certain finite-dimensional pointed Hopf algebras $H$ and those for cocycle twists $H^{\sigma}$ of $H$. This implies an equivalence between modules…
The Sigma formulas of the language of arithmetic express semidecidable relations on the natural numbers. More generally, whenever a totality of objects is regarded as incomplete, the Sigma formulas express relations that are witnessed in a…
Let $K=\mathbb{Q}(\omega)$ with $\omega$ the root of a degree $n$ monic irreducible polynomial $f\in\mathbb{Z}[X]$. We show the degree $n$ polynomial $N(\sum_{i=1}^{n-k}x_i\omega^{i-1})$ in $n-k$ variables formed by setting the final $k$…
We describe Imandra, a modern computational logic theorem prover designed to bridge the gap between decision procedures such as SMT, semi-automatic inductive provers of the Boyer-Moore family like ACL2, and interactive proof assistants for…
We develop a theory of multiplicities and mixed multiplicities of filtrations, extending the theory for filtrations of $m$-primary ideals to arbitrary (not necessarily Noetherian) filtrations. The mixed multiplicities of $r$ filtrations on…
For a smooth complex projective variety X defined over a number field, we have filtrations on the Chow groups depending of the choice of realizations. If the realization consists of mixed Hodge structure without any additional structure, we…
In their 2002 paper, Ciucu and Krattenthaler proved several product formulas for the number of lozenge tilings of various regions obtained from a centrally symmetric hexagon on the triangular lattice by removing maximal staircase regions…
The paper presents a solution to the long-standing question about the decidability of the two-variable fragment of the superintuitionistic predicate logic $\mathbf{QLC}$ defined by the class of linear Kripke frames, which is also the…
We introduce a modification of the linear sieve whose weights satisfy strong factorization properties, and consequently equidistribute primes up to size $x$ in arithmetic progressions to moduli up to $x^{10/17}$. This surpasses the level of…
This paper presents a reverse mathematical analysis of several forms of the sorites paradox. We first illustrate how traditional formulations are reliant on H\"older's Representation Theorem for ordered Archimedean groups. While this is…