3,428 reputation
12132
bio website maths.ox.ac.uk/~greenbj
location Auckland, New Zealand
age 37
visits member for 4 years, 5 months
seen 23 hours ago

I'm a professor at Oxford University, on sabbatical in New Zealand until April 2014


Mar
28
answered Perron, Fourier
Mar
19
comment About unpublished lecture notes of Philip Hall
There's a copy of the Edmonton notes in the Cambridge maths library; I consulted it a couple of years ago.
Feb
3
revised minimum number of subsets?
added 392 characters in body; added 131 characters in body
Feb
3
answered minimum number of subsets?
Dec
27
comment Every prime number > 19 divides one plus the product of two smaller primes?
Denis, I don't understand your comment. I only know two things that count as good reasons in the theory of prime numbers. First, a proof. Second, a decent heuristic or "statistical" argument. Here, the set of $1 + rs$ ought to look like a fairly random (give or take some irregularities mod small primes) subset of $[1,p^2]$ of density $1/\log^2 p$. The probability of $x \leq p^2$ being divisible by $p$ is $1/p$. I'd expect subsets of $[1,X]$ of densities $\alpha$ and $\beta$ to intersect as soon as $\alpha \beta \gg 1/X$ unless there is some good reason why not.
Dec
27
comment Every prime number > 19 divides one plus the product of two smaller primes?
Geoff- there certainly is work on this. It's known that the smallest prime congruent to $a$ mod $q$ is $\ll q^{5.4}$ (or so). It's conjectured that it's $\ll q^{1 + \epsilon}$. The GRH would give $\ll q^{2 + \epsilon}$.
Dec
27
comment Every prime number > 19 divides one plus the product of two smaller primes?
Mark - yes, there are "sum-product" results of this type. The one most applicable here is that due to Bourgain-Katz-Tao: it says that if $A \subseteq Z/pZ$ and $|A + A|, |A \cdot A| \leq K|A|$ then either $|A| \leq K^C$ or $|A| \geq K^{-C} p$. When $A$ has size about $p/\log p$, it tells you rather little (namely either $|A + A|$ or $|A \cdot A|$ has size at least $p/(\log p)^{1 - c}$) and I think exponential sum techniques are likely to be better.
Dec
27
comment Every prime number > 19 divides one plus the product of two smaller primes?
I might add that I would expect trigonometric sums to allow one to show that $A \cdot A$ is almost all of $Z/pZ$ as $p \rightarrow \infty$.
Dec
27
comment Every prime number > 19 divides one plus the product of two smaller primes?
Interesting problem. I don't think either the sum-product idea or the trig sums idea will work immediately. In the latter case because one has a binary problem instead of one with three variables, and in the former because I think you can have both $A.A \subsetneq Z/pZ^*$ and $A + A^{-1} \subsetneq Z/pZ$ with $A$ reasonably large, even positive density. But both of these are good ideas on which to base further thought.
Dec
19
awarded  Notable Question
Dec
16
comment Picking out an odd subset
I should also add that the second question is rather natural: if I tell you $M(p,h)$ for all $h$ mod $p$ and for all $p \leq X$, how big does $X$ need to be before you can tell me $|M|$? Perhaps I'll ask some of the Bristol number theorists today.
Dec
16
comment Picking out an odd subset
Perhaps ideas connected with large sieve will help here. If $M(p,h)$ denotes the number of elts of $M$ congruent to $h$ mod $p$ then the assumption that $M(p,h)$ is always even should force the square mean $\sum_h |M(p,h) - |M|/p|^2$ to be, say, twice the size that one might expect for a positive fraction of $p$s. I'm not claiming to have an actual argument, though!
Dec
12
answered Is there a Plancherel Theorem for Gowers norms?
Dec
2
comment A conjecture on the relative size of Goldbach pairs?
There is most likely a literature on results of the form "For almost all even numbers 2N we can write 2N = p_1 + p_2 with p_1/p_2 < 1/F(N)". I'm pretty sure simply getting F(N) -> infty would be a simple application of the circle method, but I'd be surprised if one could get much better than F(N) > N^c for some small c, if that.
Nov
26
comment Minimum number of twin primes < N
Greg, I was tempted to quibble this comment. But then it occurred to me that there really aren't any modern approaches to the twin prime conjecture. One could imagine an approach using nonstandard analysis, though, which would give no quantitative lower bounds.
Nov
11
comment A question about groups of intermediate growth
When making my comment above I was addressing the question for "supremum" instead of "infimum". I feel one does need Gromov/Pansu to do that.
Nov
10
comment A question about groups of intermediate growth
Nice question. My impression is that there is no simpler proof of 2. You can get some way beyond polynomial growth by quoting Shalom and Tao.
Oct
25
comment Arithmetic Progressions of Squares
Kevin - I'd suggest asking one of them. I think there is a preprint.
Oct
25
awarded  Enlightened
Oct
24
awarded  Nice Answer