-
Mertens' Third Theorem for Number Fields: A New Proof, Cramér's Inequality, Oscillations, and Bias
Authors:
Shehzad Hathi,
Ethan S. Lee
Abstract:
The first result of our article is another proof of Mertens' third theorem in the number field setting, which generalises a method of Hardy. The second result concerns the sign of the error term in Mertens' third theorem. Diamond and Pintz showed that the error term in the classical case changes sign infinitely often and in our article, we establish this result for number fields assuming a reasona…
▽ More
The first result of our article is another proof of Mertens' third theorem in the number field setting, which generalises a method of Hardy. The second result concerns the sign of the error term in Mertens' third theorem. Diamond and Pintz showed that the error term in the classical case changes sign infinitely often and in our article, we establish this result for number fields assuming a reasonable technical condition. In order to do so, we needed to prove Cramér's inequality for number fields, which is interesting in its own right. Lamzouri built upon Diamond and Pintz's work to prove the existence of the logarithmic density of the set of real numbers $x \ge 2$ such that the error term in Mertens' third theorem is positive, so the third result of our article generalises Lamzouri's results for number fields. We also include numerical investigations for the number fields $\mathbb{Q}(\sqrt{5})$ and $\mathbb{Q}(\sqrt{13})$, building upon similar work done by Rubinstein and Sarnak in the classical case.
△ Less
Submitted 17 September, 2022; v1 submitted 3 December, 2021;
originally announced December 2021.
-
Representation of even integers as a sum of squares of primes and powers of two
Authors:
Shehzad Hathi
Abstract:
In 1951, Linnik proved the existence of a constant $K$ such that every sufficiently large even number is the sum of two primes and at most $K$ powers of 2. Since then, this style of approximation has been considered for problems similar to the Goldbach conjecture. One such problem is the representation of a sufficiently large even number as a sum of four squares of primes and at most $k$ powers of…
▽ More
In 1951, Linnik proved the existence of a constant $K$ such that every sufficiently large even number is the sum of two primes and at most $K$ powers of 2. Since then, this style of approximation has been considered for problems similar to the Goldbach conjecture. One such problem is the representation of a sufficiently large even number as a sum of four squares of primes and at most $k$ powers of two. In 2014, Zhao proved this to be true with $k = 46$. In this paper, we reduce this to $k = 31$.
△ Less
Submitted 11 November, 2022; v1 submitted 27 September, 2021;
originally announced September 2021.
-
On the sum of a prime and a square-free number with divisibility conditions
Authors:
Shehzad Hathi,
Daniel R. Johnston
Abstract:
Every integer greater than two can be expressed as the sum of a prime and a square-free number. Expanding on recent work, we provide explicit and asymptotic results when divisibility conditions are imposed on the square-free number. For example, we show for odd $k\leq 10^5$ and even $k\leq 2\cdot 10^5$ that any even integer $n\geq 40$ can be expressed as the sum of a prime and a squarefree number…
▽ More
Every integer greater than two can be expressed as the sum of a prime and a square-free number. Expanding on recent work, we provide explicit and asymptotic results when divisibility conditions are imposed on the square-free number. For example, we show for odd $k\leq 10^5$ and even $k\leq 2\cdot 10^5$ that any even integer $n\geq 40$ can be expressed as the sum of a prime and a squarefree number coprime to $k$. We also discuss applications to other Goldbach-like problems.
△ Less
Submitted 24 November, 2023; v1 submitted 24 September, 2021;
originally announced September 2021.
-
Wolstenholme and Vandiver primes
Authors:
Andrew R. Booker,
Shehzad Hathi,
Michael J. Mossinghoff,
Timothy S. Trudgian
Abstract:
A prime $p$ is a Wolstenholme prime if $\binom{2p}{p}\equiv2$ mod $p^4$, or, equivalently, if $p$ divides the numerator of the Bernoulli number $B_{p-3}$; a Vandiver prime $p$ is one that divides the Euler number $E_{p-3}$. Only two Wolstenholme primes and eight Vandiver primes are known. We increase the search range in the first case by a factor of $10$, and show that no additional Wolstenholme p…
▽ More
A prime $p$ is a Wolstenholme prime if $\binom{2p}{p}\equiv2$ mod $p^4$, or, equivalently, if $p$ divides the numerator of the Bernoulli number $B_{p-3}$; a Vandiver prime $p$ is one that divides the Euler number $E_{p-3}$. Only two Wolstenholme primes and eight Vandiver primes are known. We increase the search range in the first case by a factor of $10$, and show that no additional Wolstenholme primes exist up to $10^{11}$, and in the second case by a factor of $20$, proving that no additional Vandiver primes occur up to this same bound. To facilitate this, we develop a number of new congruences for Bernoulli and Euler numbers mod $p$ that are favorable for computation, and we implement some highly parallel searches using GPUs.
△ Less
Submitted 27 March, 2022; v1 submitted 26 January, 2021;
originally announced January 2021.
-
Hybrid Ranking Network for Text-to-SQL
Authors:
Qin Lyu,
Kaushik Chakrabarti,
Shobhit Hathi,
Souvik Kundu,
Jianwen Zhang,
Zheng Chen
Abstract:
In this paper, we study how to leverage pre-trained language models in Text-to-SQL. We argue that previous approaches under utilize the base language models by concatenating all columns together with the NL question and feeding them into the base language model in the encoding stage. We propose a neat approach called Hybrid Ranking Network (HydraNet) which breaks down the problem into column-wise…
▽ More
In this paper, we study how to leverage pre-trained language models in Text-to-SQL. We argue that previous approaches under utilize the base language models by concatenating all columns together with the NL question and feeding them into the base language model in the encoding stage. We propose a neat approach called Hybrid Ranking Network (HydraNet) which breaks down the problem into column-wise ranking and decoding and finally assembles the column-wise outputs into a SQL query by straightforward rules. In this approach, the encoder is given a NL question and one individual column, which perfectly aligns with the original tasks BERT/RoBERTa is trained on, and hence we avoid any ad-hoc pooling or additional encoding layers which are necessary in prior approaches. Experiments on the WikiSQL dataset show that the proposed approach is very effective, achieving the top place on the leaderboard.
△ Less
Submitted 11 August, 2020;
originally announced August 2020.
-
Community Member Retrieval on Social Media using Textual Information
Authors:
Aaron Jaech,
Shobhit Hathi,
Mari Ostendorf
Abstract:
This paper addresses the problem of community membership detection using only text features in a scenario where a small number of positive labeled examples defines the community. The solution introduces an unsupervised proxy task for learning user embeddings: user re-identification. Experiments with 16 different communities show that the resulting embeddings are more effective for community member…
▽ More
This paper addresses the problem of community membership detection using only text features in a scenario where a small number of positive labeled examples defines the community. The solution introduces an unsupervised proxy task for learning user embeddings: user re-identification. Experiments with 16 different communities show that the resulting embeddings are more effective for community membership identification than common unsupervised representations.
△ Less
Submitted 16 April, 2018;
originally announced April 2018.
-
Hierarchical Character-Word Models for Language Identification
Authors:
Aaron Jaech,
George Mulcaire,
Shobhit Hathi,
Mari Ostendorf,
Noah A. Smith
Abstract:
Social media messages' brevity and unconventional spelling pose a challenge to language identification. We introduce a hierarchical model that learns character and contextualized word-level representations for language identification. Our method performs well against strong base- lines, and can also reveal code-switching.
Social media messages' brevity and unconventional spelling pose a challenge to language identification. We introduce a hierarchical model that learns character and contextualized word-level representations for language identification. Our method performs well against strong base- lines, and can also reveal code-switching.
△ Less
Submitted 9 August, 2016;
originally announced August 2016.