Source author record

Alex Rice

Alex Rice appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.CO math.NT math.CA Logic in Computer Science math.MG

Catalog footprint

What is connected

10works

5topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2022arXiv

A Type Theory for Strictly Unital $\infty$-Categories

We use type-theoretic techniques to present an algebraic theory of $\infty$-categories with strict units. Starting with a known type-theoretic presentation of fully weak $\infty$-categories, in which terms denote valid operations, we extend the theory with a non-trivial definitional equality. This forces some operations to coincide strictly in any model, yielding the strict unit behaviour. We make a detailed investigation of the meta-theoretic properties of this theory. We give a reduction relation that generates definitional equality, and prove that it is confluent and terminating, thus yielding the first decision procedure for equality in a strictly-unital setting. Moreover, we show that our definitional equality relation identifies all terms in a disc context, providing a point comparison with a previously proposed definition of strictly unital $\infty$-category. We also prove a conservativity result, showing that every operation of the strictly unital theory indeed arises from a valid operation in the fully weak theory. From this, we infer that strict unitality is a property of an $\infty$-category rather than additional structure.

preprint2022arXiv

The pigenhole principle and multicolor Ramsey numbers

For integers $k,r\geq 2$, the diagonal Ramsey number $R_r(k)$ is the minimum $N\in\mathbb{N}$ such that every $r$-coloring of the edges of a complete graph on $N$ vertices yields on a monochromatic subgraph on $k$ vertices. Here we make a careful effort of extracting explicit upper bounds for $R_r(k)$ from the pigeonhole principle alone. Our main term improves on previously documented explicit bounds for $r\geq 3$, and we also consider an often ignored secondary term, which allows us to subtract a uniformly bounded below positive proportion of the main term. Asymptotically, we give a self-contained proof that $R_r(k)\leq \left(\frac{3+e}{2}\right)\frac{(r(k-2))!}{((k-2)!)^r}(1+o_{r\to \infty}(1)),$ and we conclude by noting that our methods combine with previous estimates on $R_r(3)$ to improve the constant $\frac{3+e}{2}$ to $\frac{3+e}{2}-\frac{d}{48}$, where $d=66-R_4(3)\geq 4$. We also compare our formulas, and previously documented formulas, to some collected numerical data.

preprint2020arXiv

A Maximal Extension of the Best-Known Bounds for the Furstenberg-Sárközy Theorem

We show that if $h\in \mathbb{Z}[x]$ is a polynomial of degree $k \geq 2$ such that $h(\mathbb{N})$ contains a multiple of $q$ for every $q\in \mathbb{N}$, known as an $\textit{intersective polynomial}$, then any subset of $\{1,2,\dots,N\}$ with no nonzero differences of the form $h(n)$ for $n\in\mathbb{N}$ has density at most a constant depending on $h$ and $c$ times $(\log N)^{-c\log\log\log\log N}$, for any $c<(\log((k^2+k)/2))^{-1}$. Bounds of this type were previously known only for monomials and intersective quadratics, and this is currently the best-known bound for the original Furstenberg-Sárközy Theorem, i.e. $h(n)=n^2$. The intersective condition is necessary to force any density decay for polynomial difference-free sets, and in that sense our result is the maximal extension of this particular quantitative estimate. Further, we show that if $g,h\in \mathbb{Z}[x]$ are intersective, then any set lacking nonzero differences of the form $g(m)+h(n)$ for $m,n\in \mathbb{N}$ has density at most $\exp(-c(\log N)^μ)$, where $c=c(g,h)>0$, $μ=μ(\text{deg}(g),\text{deg}(h))>0$, and $μ(2,2)=1/2$. We also include a brief discussion of sums of three or more polynomials in the final section.

preprint2020arXiv

Sets in $\mathbb{R}^d$ determining $k$ taxicab distances

We address an analog of a problem introduced by Erdős and Fishburn, itself an inverse formulation of the famous Erdős distance problem, in which the usual Euclidean distance is replaced with the metric induced by the $\ell^1$-norm, commonly referred to as the $\textit{taxicab metric}$. Specifically, we investigate the following question: given $d,k\in \mathbb{N}$, what is the maximum size of a subset of $\mathbb{R}^d$ that determines at most $k$ distinct taxicab distances, and can all such optimal arrangements be classified? We completely resolve the question in dimension $d=2$, as well as the $k=1$ case in dimension $d=3$, and we also provide a full resolution in the general case under an additional hypothesis.

preprint2015arXiv

Polynomials and Primes in Generalized Arithmetic Progressions (Revised Version)

We provide upper bounds on the density of a symmetric generalized arithmetic progression lacking nonzero elements of the form h(n) for natural numbers n, or h(p) with p prime, for appropriate polynomials h with integer coefficients. The prime variant can be interpreted as a multi-dimensional, polynomial extension of Linnik's Theorem. This version is a revision of the published version. Most notably, the properness hypotheses have been removed from Theorems 2 and 3, and the numerology in Theorem 2 has been improved.

preprint2015arXiv

Sarkozy's Theorem for P-Intersective Polynomials

We define a necessary and sufficient condition on a polynomial $h\in \mathbb{Z}[x]$ to guarantee that every set of natural numbers of positive upper density contains a nonzero difference of the form $h(p)$ for some prime $p$. Moreover, we establish a quantitative estimate on the size of the largest subset of ${1,2,\dots,N}$ which lacks the desired arithmetic structure, showing that if deg$(h)=k$, then the density of such a set is at most a constant times $(\log N)^{-c}$ for any $c<1/(2k-2)$. We also discuss how an improved version of this result for $k=2$ and a relative version in the primes can be obtained with some additional known methods.

preprint2014arXiv

A Quantitative Result on Diophantine Approximation for Intersective Polynomials

In this short note, we closely follow the approach of Green and Tao to extend the best known bound for recurrence modulo 1 from squares to the largest possible class of polynomials. The paper concludes with a brief discussion of a consequence of this result for polynomials structures in sumsets and limitations of the method.

preprint2013arXiv

A Purely Combinatorial Approach to Simultaneous Polynomial Recurrence Modulo 1

Using purely combinatorial means we obtain results on simultaneous Diophantine approximation modulo 1 for systems of polynomials with real coefficients and no constant term.

preprint2012arXiv

Improved Bounds on Sarkozy's Theorem for Quadratic Polynomials

We extend the best known bound on the largest subset of {1,2,...,N} with no square differences to the largest possible class of quadratic polynomials.

preprint2011arXiv

Polynomial Differences in the Primes

We establish, utilizing the Hardy-Littlewood Circle Method, an asymptotic formula for the number of pairs of primes whose differences lie in the image of a fixed polynomial. We also include a generalization of this result where differences are replaced with any integer linear combination of two primes.