Related papers: Ties in Function Field Prime Races

We study several properties of equi-Baire 1 families of functions between metric spaces. We consider the related equi-Lebesgue property for such families. We examine the behaviour of equi-Baire 1 and equi-Lebesgue families with respect to…

As a corollary to the recent extraordinary theorem of Maynard and Tao, we re-prove, in a stronger form, a result of Shiu concerning "strings" of consecutive, congruent primes.

Let M(q)=\sum c(n) q^n be one of Ramanujan's mock theta functions. We establish the existence of infinitely many linear congruences of the form c(An+B) \equiv 0 (mod \ell^j), where A is a multiple of \ell and an auxiliary prime p. Moreover,…

We consider convex trace functions $\Phi_{p,q,s} = Trace[ (A^{q/2}B^p A^{q/2})^s]$ where $A$ and $B$ are positive $n\times n$ matrices and ask when these functions are convex or concave. We also consider operator convexity/concavity of…

We consider $cp_{a,b,m}(n)$, the number of $(a,b,m)$-copartitions of $n$. We find many infinitelymany congruencesmodulo 2 and 6 for some particular value of $a$, $b$ and $m$.

Recently, Garthwaite-Penniston have shown that the coefficients of Ramanujan's mock theta function $\omega$ satisfy infinitely many congruences of Ramanujan-type. In this work we give the first explicit examples of congruences for…

A theory T is tight if different deductively closed extensions of T (in the same language) cannot be bi-interpretable. Many well-studied foundational theories are tight, including PA [Visser2006], ZF, Z2, and KM [enayat2017]. In this…

The Theory of Functional Connections (TFC) is most often used for constraints over the field of real numbers. However, previous works have shown that it actually extends to arbitrary fields. The evidence for these claims is restricting…

The partition function is known to exhibit beautiful congruences that are often proved using the theory of modular forms. In this paper, we study the extent to which these congruence results apply to the generalized Frobenius partitions…

We prove a model theoretic Baire category theorem for $\tilde\tau_{low}^f$-sets in a countable simple theory in which the extension property is first-order and show some of its applications. We also prove a trichotomy for minimal types in…

We show, in an effective way, that there exists a sequence of congruence classes $a_k\pmod {m_k}$ such that the minimal solution $n=n_k$ of the congruence $\phi(n)\equiv a_k\pmod {m_k}$ exists and satisfies $\log n_k/\log m_k\to\infty $ as…

We introduce a method for showing that there exist prime numbers which are very close together. The method depends on the level of distribution of primes in arithmetic progressions. Assuming the Elliott-Halberstam conjecture, we prove that…

We give an asymptotic formula for correlations \[ \sum_{n\le x}f_1(P_1(n))f_2(P_2(n))\cdot \dots \cdot f_m(P_m(n))\] where $f\dots,f_m$ are bounded "pretentious" multiplicative functions, under certain natural hypotheses. We then deduce…

The theory of complex trees is introduced as a new approach to study a broad class of self-similar sets. Systems of equations encoded by complex trees tip-to-tip equivalence relations are used to obtain one-parameter families of connected…

A powerful way to study groups is via their actions on suitable spaces. Classifying spaces for families of subgroups are a type of these spaces, obtained by imposing some strict conditions on the fixed-point sets. We show how in the…

The K-theory of a functor may be viewed as a relative version of the K-theory of a ring. In the case of a Galois extension of a number field F/L with rings of integers A/B respectively, this K-theory of the "norm functor" is an extension of…

We revisit and prove some convexity inequalities for trace functions conjectured in the earlier part I. The main functional considered is \Phi_{p,q}(A_1,A_2,...,A_m) = (trace((\sum_{j=1}^m A_j^p)^{q/p}))^{1/q} for m positive definite…

The arithmetic properties of the second order mock theta function $\mathcal{B}(q)$, introduced by McIntosh, defined by \begin{equation*} \mathcal{B}(q) := \sum_{n \geq 0} \frac{q^n (-q;q^2)_n}{(q;q^2)_{n+1}} = \sum_{n \geq 0}b(n)q^n,…

We establish improved finite field Szemeredi-Trotter and Beck type theorems. First we show that if P and L are a set of points and lines respectively in the plane F_p^2, with |P|,|L| \leq N and N<p, then there are at most C_1…

Let G be a finite group. Define a relation ~ on the conjugacy classes of G by setting C ~ D if there are representatives c \in C and d \in D such that cd = dc. In the case where G has a normal subgroup H such that G/H is cyclic, two…