gowers
Reputation
Next privilege 20,000 Rep.
Access 'trusted user' tools
 Oct 1 comment Proposals for polymath projects This looks like a great question, and I agree that it would be good for a polymath project. Can I quickly check whether the rank you are talking about is over the reals? (I guess so, or you would have made it a 01 matrix.) Apr 17 comment A variant of Goldbach Conjecture Sorry, that wasn't what I meant to ask. I asked the question I actually wanted to ask in a comment on Harald's answer above, which he has now answered. (The question was whether one could do it for all N and not just sufficiently large N.) Apr 16 comment A variant of Goldbach Conjecture Can your work can be adapted to prove the result for every $N$ when $p_1,p_2$ and $p_3$ are required to be less than $N$? Apr 15 comment A variant of Goldbach Conjecture You mean the result where you insist that $p_1$, $p_2$ and $p_3$ are less than $N$? Jul 8 comment Nonexistence of an approximately distance-preserving map between discrete cubes You're right about projection on to the first $n-1$ coordinates. Actually, the case that I'm really interested in is $n/2$ dimensions. In an hour or so I'll modify the question accordingly. Jun 22 comment Are there very strongly pseudorandom permutations? I think I've now found a construction that does what I want. Jun 20 comment Are there any good websites for hosting discussions of mathematical papers? I think you can make contributions by registering directly with the site, and anybody can read it. But Google Plus is a particularly convenient way of contributing, since all you have to do is write a normal post and add the #spnetwork hashtag. In due course other social networks will be added, but Google Plus has the advantage that public posts are genuinely public. Jun 20 comment Are there very strongly pseudorandom permutations? Actually, scratch that -- I miscalculated the information-theoretic bound, which gives that exponentially many would be needed. Jun 19 comment Are there very strongly pseudorandom permutations? I now think it may be possible to do something by composing polynomially many Feistel permutations. Jun 19 comment Are there very strongly pseudorandom permutations? Yes. I was vague about it, but the precise requirement I would like is that $k$ should be at most a polynomial function of $n$ (or perhaps a very slightly superpolynomial function). Jun 18 comment Are there very strongly pseudorandom permutations? Good point -- thanks for the tip. Jun 18 comment Are there very strongly pseudorandom permutations? I have now found a source that seems to suggest that the Luby-Rackoff construction won't give hardness greater than $2^n$. So it looks as though a different idea would be needed. But maybe there are some different ideas out there. Jun 13 comment Are there any very hard unknots? I drew the "quotient" knot and the picture has been sitting on my desk for about a month. At first it looked hard to simplify, but then I saw that one could make a "hole" in the middle and take a chunk of knot and pass it up through the hole and back down again. This kind of global untwisting would, I think, have to be part of any unknotting procedure of the kind I fantasize about. At some point I might make the knot out of string and see whether I can indeed untie it fairly straightforwardly starting with that move. May 9 comment Are there any very hard unknots? Thank you for this example. It's quite interesting as it is in some sense a "product" of smaller knots. I tried replacing the bundles of strands (most of the time four strands) by a single strand and obtained a picture of a knot that I can't instantly see to be the unknot, though I did find a local way of reducing the number of crossings. If this "quotient" knot is not the unknot, then it's a very interesting example. Mar 29 comment What can be proved about the Ramanujan conjecture using elementary means? I don't mind complex analysis, but I'm wondering whether a "non-structural" proof is possible. Without saying precisely what I mean by that, I would say that modular forms are on the wrong side of the boundary. Mar 29 comment What can be proved about the Ramanujan conjecture using elementary means? Ah, I see the point now. OK, I'll go back and add a condition. Mar 29 comment What can be proved about the Ramanujan conjecture using elementary means? I'm taking $1-q^{a_r}$, and not $1+(-q)^{a_r}$. Oct 26 comment Believing the Conjectures Going back to your hypothetical Tsirelson story, I still don't see what Maximize adds to it. Why not just say that if you've tried hard to prove a conjecture, it becomes more reasonable to doubt it, regardless of what that conjecture looks like? (This doesn't apply to all conjectures: for example, our failure to prove the twin prime conjecture doesn't suggest that it might be false, since there are good heuristic reasons to expect both that it is true and that it is hard to prove.) Oct 26 comment Believing the Conjectures This discussion, which I find very interesting by the way, leaves me with the feeling that I don't understand very well what the rules of thumb are really saying and what their purpose is. I agree about Banach space theory: in some ways it is a very structureless subject, because any old bunch of functionals can be used to define a norm (as long as you've got enough of them that you don't have just a seminorm), but from time to time it springs surprises -- the almost negligible constraints nevertheless interestingly restrict what you can do. Oct 26 comment Believing the Conjectures The general point I'm making here is that in this context it's the mathematics that tells us to what extent Maximize is an appropriate principle, rather than the principle that is guiding our mathematical expectations.