3,858 reputation
1742
bio website affinemess.com
location Los Altos, CA
age 44
visits member for 4 years, 6 months
seen 2 days ago
Math Circler, ex-Googler and Dad. Now at Facebook.

Feb
17
comment The phenomena of eventual counterexamples
Pretty impressive! Specifically, gcd(n^17+9, (n+1)^17+9)=1 for all n up to some crazy explicit number, the number of digits of which I couldn't even count. This begs the question, is there a reasonably simple proof that this gcd isn't always 1?
Feb
17
comment Describe a tree by junctions
Perhaps it's just me, but I'm completely unable to parse this. Could you perhaps explain what you mean by sectors, infinite branches, junctions and what is the tree? A picture, perhaps?
Feb
17
comment Mathematical solution for a two-player single-suit trick taking game?
@Sam, I just corrected that.
Feb
17
revised Mathematical solution for a two-player single-suit trick taking game?
added 1 characters in body
Feb
13
comment Divide a square into 5 equal squares
That's really neat!
Feb
12
comment Unique factorization in polynomial rings
Read literally, one cannot even state (let alone prove) #1 without having a notion of a "field" which I imagine would disqualify both Euclid and Guass. The first general definition of a field is by Weber (1891) according to Wikipedia. Earlier notions were things like a subfield of the complex numbers. I'm not sure if the question assumes that the prover knew they were working over general fields, or rather looking for proofs which are essentially independent of the base field (even if they were formulated over a specific field).
Feb
12
comment What are the most overloaded words in mathematics?
That's right - thanks!
Feb
10
comment When a formal power series is a rational function in disguise
Isn't it "when the coefficients satisfy a linear recursion of finite length"?
Feb
10
comment Which graphs are Cayley graphs?
One comment on the non-directed case: Every connected regular graph of even degree is a Schreier coset graph. This isn't quite a Cayley graph but a natural generalization of one, so I thought you might find this interesting.
Feb
9
awarded  Enlightened
Feb
9
awarded  Nice Answer
Feb
9
revised Checking if two graphs have the same universal cover
added 22 characters in body
Feb
9
revised Checking if two graphs have the same universal cover
added 14 characters in body
Feb
9
answered Checking if two graphs have the same universal cover
Feb
6
awarded  Nice Answer
Jan
30
revised What is the relationship between various things called holonomic?
edited body
Jan
21
awarded  Enlightened
Jan
21
awarded  Nice Answer
Jan
18
revised Applications of infinite Ramsey's Theorem (on N)?
edited body
Jan
18
revised Archaeogenetics
fixed some formulas with \left and \right that weren't properly parsed.