Source author record

Andrew Shallue

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT Data Structures and Algorithms math.CO math.GR

Catalog footprint

Research overview

5works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Algorithms for Carmichael numbers

Our primary concern is the computational complexity of algorithms that find all Carmichael numbers less than some specified bound $B$ . We have three related results. First, we show CARMICHAELS is in $\textbf{P}$ , where only the run-time is conditioned on the ERH. Second, we state a heuristically optimal tabulation algorithm, which is the first asymptotic improvement to tabulation algorithms in the $50$ years since Swift first described the prime-by-prime approach. Third, we implemented a related algorithm that tabulated $100$ times further while only doing about $5$ times the work of the prior tabulation. We found $308,279,939$ Carmichael numbers less than $10^{24}$ and we provide some statistics on these numbers.

preprint2020arXiv

Average liar count for degree-2 Frobenius pseudoprimes

In this paper we obtain lower and upper bounds on the average number of liars for the Quadratic Frobenius Pseudoprime Test of Grantham, generalizing arguments of Erdős and Pomerance, and Monier. These bounds are provided for both Jacobi symbol plus and minus cases, providing evidence for the existence of several challenge pseudoprimes.

preprint2013arXiv

Counting composites with two strong liars

The strong probable primality test is an important practical tool for discovering prime numbers. Its effectiveness derives from the following fact: for any odd composite number $n$ , if a base $a$ is chosen at random, the algorithm is unlikely to claim that $n$ is prime. If this does happen we call $a$ a liar. In 1986, Erdős and Pomerance computed the normal and average number of liars, over all $n \leq x$ . We continue this theme and use a variety of techniques to count $n \leq x$ with exactly two strong liars, those being the $n$ for which the strong test is maximally effective. We evaluate this count asymptotically and give an improved algorithm to determine it exactly. We also provide asymptotic counts for the restricted case in which $n$ has two prime factors, and for the $n$ with exactly two Euler liars.

preprint2013arXiv

Lifting Automorphisms of Quotients by Central Subgroups

Given a finitely presented group $G$ , we wish to explore the conditions under which automorphisms of quotients $G/N$ can be lifted to automorphisms of $G$ . We discover that in the case where $N$ is a central subgroup of $G$ , the question of lifting can be reduced to solving a certain matrix equation. We then use the techniques developed to show that $Inn(G)$ is not characteristic in $Aut(G)$ , where $G$ is a metacyclic group of order $p^n$ , $p\neq 2$ .

preprint2012arXiv

Division algorithms for the fixed weight subset sum problem

Given positive integers $a_1,..., a_n, t$ , the fixed weight subset sum problem is to find a subset of the $a_i$ that sum to $t$ , where the subset has a prescribed number of elements. It is this problem that underlies the security of modern knapsack cryptosystems, and solving the problem results directly in a message attack. We present new exponential algorithms that do not rely on lattices, and hence will be applicable when lattice basis reduction algorithms fail. These algorithms rely on a generalization of the notion of splitting system given by Stinson. In particular, if the problem has length $n$ and weight $\ell$ then for constant $k$ a power of two less than $n$ we apply a $k$ -set birthday algorithm to the splitting system of the problem. This randomized algorithm has time and space complexity that satisfies $T \cdot S^{\log{k}} = O({n \choose \ell})$ (where the constant depends uniformly on $k$ ). In addition to using space efficiently, the algorithm is highly parallelizable.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.