Some Mathematical Gifts
Gifts of all kinds: a site, theorems, and proofs
Ron Rivest is one of the most famous computer scientists in the world. While he has done many important things in many aspects of computer theory, he is best known as the “R” in RSA. This is the renowned public key system based on the hardest of factoring created by Ron and Adi Shamir and Len Adleman. They won the Turing Award for this terrific achievement.
Today I thought I would exchange some gifts with you. These are simple mathematical facts that are fun.
One of the “gifts” is from Ron, and the others are from various places and people. It is near the end of the year and the winter solstice is coming up soon: it is on December 21, at 6:38 pm EST. This time of year various cultures also have holidays, festivals, and rituals that celebrate this time. Of course this is the time also for gifts of all kinds, since many holidays involve gifts or celebrations: Chinese New Year, Christmas, Hanukkah, Kwanzaa, New Year, St. Lucia Day, and many others.
In this spirit I hope you enjoy a small number of fun items that I view as gifts from mathematics to all of us.
Gift I
Daniel Kirsch’s gift.
One of the coolest sites I have seen in years is this. Go to the site and then draw with your mouse any symbol at all, anything at all, and magically the site lists a number of LaTeX commands that it thinks are what you want. I drew this
Very cool. Does everyone know about this great site—am I the last to discover it?
(Let us not forget that TeX itself was a gift. And LaTeX and AMSTeX and all the rest too. That is on a scale beyond the margins of this post.)
Ron’s gift.
Ron had a brilliant idea that help solve an important open problem called the Aanderaa-Karp-Rosenberg Conjecture. It is still not completely resolved, but I want to highlight his idea—actually the work was joint with Jean Vuillemin. Suppose that is a boolean function. There are many ways to define the complexity of such a function:
- the size of its smallest formula;
- the size of its smallest general circuit;
- the size of its smallest circuit of a given constant depth;
- and so on.
Another interesting measure is to consider is based on decision trees that compute the boolean function. A decision tree starts at a root and at each node branches left or right based on the value of a single variable . At a leaf the tree decides whether to accept or reject: each leaf is labelled with or .
The depth of the decision tree is the length of the longest path in the tree from the root to a leaf. This is the measure that Ron’s idea works on—note the size of the tree is also quite interesting, but that for another day.
Call a boolean function elusive provided any decision tree for the function, of any size, has some path of depth . Since it is unnecessary to evaluate a variable more than once on any path, an elusive function has the maximum depth possible.
The natural question is how does one prove that various functions are elusive? In general this can be quite hard, but Ron’s beautiful idea resolves it for many functions.
Theorem: Let be a boolean function. Suppose that the number of so that is odd. Then the function is elusive.
The proof is really wonderful. Consider a decision tree for that is not elusive. For a leaf define to be the number of ‘s so that on that input to the tree the path taken goes to the leaf . There are two simple observations. Since the tree is not elusive, all paths are less than , so is alway even. This follows because some was not examined on the path to the leaf and so the number of inputs that go to this leaf is even.
Next we note that the following identity is true:
is the total number of inputs that make the boolean function . we now have a contradiction, since is even, but by assumption it is odd.
This is one of the most elegant counting arguments, in my opinion. Perhaps in each case there is an alternative proof, perhaps one based on an adversary. But this counting is so nice. As a simple example consider the majority function on inputs: it is when there are two or more ‘s in its input. This happens ways, so the function is elusive.
Gift III
Bettina Richmond’s gift.
Imagine that you are given a black box . It has a slot where you can put any real number, after you place one, it makes some sound, vibrates a bit, and returns a value. Inside the box is a secret polynomial : if you put in , you get out .
Your job is to find the exact coefficients of the polynomial, but to make it hard you are only allowed to put in two numbers—one after the other. So far the problem is impossible: it is easy to show that if the black box says each time, you still have no way to get the whole polynomial. So we will restrict the polynomial in a simple way: all the coefficients of the polynomial are natural numbers:
The claim now is the problem is solvable: only two numbers need be evaluated by the black box .
The proof of this is quite neat. Ask the black box for the value . Then ask it for the value at . A moments thought will show that this essentially yields the coefficients of the polynomial: one just converts the answer to radix and reads off the coefficients. Note it works precisely because the coefficients are all non-negative natural numbers.
This is from the article called: On a Perplexing Polynomial Puzzle . By the way I have seen this puzzle elsewhere on the Web, and some sites ask money for the solution. No regrets here—it’s a gift.
Gift IV
Pythagoras’ gift.
Well not quite. There is an interesting discussion on MathOverflow whether or not there is a proof that is not rational that does not use “proof by contradiction.” See also Tim Gowers’ interesting discussion on this and more.
Our goal is to try and get such a proof. A proof that is not rational—without using proof by contradiction. Suppose we examine the polynomial
We will show that this polynomial over the natural numbers is only zero if both and are . The proof is based on the magic number , not , and is unfortunately a series of cases. Well its a gift—if you do not like it, then return it.
I need two basic facts about integers:
- Any integer is congruent to one of modulo .
- Any non-zero integer is of the form where is a natural number and is a non-zero integer than is not divisible by .
I claim these both are provable by induction. To prove (1) use simple induction. It is clearly true for . Suppose that . Then is congruent to one of . By case analysis we can show the same is true for . For example, if , then . To prove (2) use complete induction and prove it for positive integers, which is enough. It is clearly is true for . Suppose that . If is not divisible by , then the statement is true. If divides , then , and the proof follows again by induction.
Let’s start the proof. Fix and , not both zero and let . Our goal is to show is not zero.
Suppose and . Then is clearly non-zero.
Suppose and . Then is clearly non-zero.
So we can assume that both and are not zero. So far no proof by contradiction—right? Now on to the more interesting cases.
Suppose that both and are not divisible by . Then modulo is which is not zero. Thus is not zero. This uses (1) and the fact that .
The above really is the main part of the proof. The rest of the cases have to do with one or both of and being divisible by some power of .
Suppose that and by (2) above. Then,
There are three cases. If then is equal to . Thus is an integer which is congruent modulo to . This shows that is non-zero.
So assume that . Then is equal to
where Then is an integer congruent to modulo . This again shows that is non-zero.
The last sub-case is . Then is equal to
where . Again is an integer congruent to modulo . This again shows that is non-zero.
Open Problems
Is the proof of irrationality of without contradiction? Can it be simplified? Are there other gifts that you would like to share this time of year?
Trackbacks
- Top Posts — WordPress.com
- Puzzle: Perplexing Polynomial
- Cool tool to find a LaTeX expression for a given symbol « Interesting items
- Proofs By Contradiction And Other Dangers « Gödel’s Lost Letter and P=NP
- Matrix67: My Blog » Blog Archive » 趣题:两步猜出多项式的各项系数
- The Year That Was « Gödel’s Lost Letter and P=NP
- Descending Proofs Into Algorithms | Gödel's Lost Letter and P=NP
- Mathematical Search | Gödel's Lost Letter and P=NP
Going beyond TeX/LaTeX, check out TeXmacs:
http://www.texmacs.org/tmweb/home/screenshots.en.html
It’s easy to install:
http://www.texmacs.org/tmweb/download/macosx.en.html
http://www.texmacs.org/tmweb/download/windows.en.html
TeXmacs doesn’t use TeX. It has its own high quality real-time WYSIWYG typesetter.
There’s also a nice iPhone app for the LaTeX symbol finder.
For III, once you assume the coefficients are rational, then *one* evaluation is enough; plug any transcendental into the machine, say e.
While stated this way, it sounds extremely theoretical, my understanding (from Macaulay 2’s Mike Stillman) is that this is actually the basis for some approximate algorithms in numerical algebraic geometry. Actually finding the coefficients is somehow based on LLL-reduction.
Allen,
I like the idea but not sure works. The trouble is this: suppose the polynomial is Ax+B. So you get Ae+B. But A,B can be HUGE, there is no limit on their size. So how does LLL recover?
That’s why I said “approximate”. In an actual application, like decomposing an ideal in a polynomial ring as an intersection of prime ideals, you expect that the coefficients in the answer aren’t actually going to be outrageously large.
Put another way, you would obviously believe the problem to be solvable (in one evaluation) if you knew a bound on the degree of the polynomial and on its coefficients. The LLL-based algorithm I’ve been told of is essentially making that assumption. I presume that when it doesn’t work out well, it starts over with the bound set larger.
Hah, of course you would bring up computational feasibility.
You can do it with one evaluation. Simply iterate over all the polynomials with nonnegative integer coefficients — after all, there are only a countable number of them — and evaluate each one at e. Stop when you get an exact match with the output from the black box. (This idea is due to Fred Henle.)
Bertrand Russell pointed out long ago that if a rational number in lowest terms is not an integer then its square can’t be either (squaring doesn’t add any primes that will divide out).
I’ve always liked this approach much better since it is generative and general — and much easier than arguing from the other direction.
Cheers,
Alan
Sorry to be so boring, but you have an apostrophe in the wrong place in the Tim Gowers reference. His name includes the ‘s’, so it should be “Tim Gowers’s”
Oops, your copy-edit team missed that one. By my book it should be Gowers’ with apostrophe after s.
I think any proof of a “negative” property like being irrational necessarily will be by contradiction (in the sense of assuming the positive counter-property and deriving a contradiction–this is of course constructively valid, as mention on Gower’s blog). In your argument, how do you conclude that $\sqrt2$ is irrational? Only by saying that if it was rational, you would have a non-trivial root of $f$, right?
Only if we could rephrase irrationality as an essentially positive property could we hope for a direct proof. But since the irrationals are uncountable that seems impossible.
I think the irrationality-proof is ok. You can simply define the irrational numbers as those where no exist such that . This is equivalent to (rewriting rule of quantors)
and that’s precisely what the proof shows.
But actually this thing as “proof by contradiction” is quite a high-level thing, I think. I checked the axioms used by metamath, and there doesn’t seem to be an axiom that directly relates to “proof by contradiction”. Hence you could probably transform any proof into a proof that does not use “proof by contradiction” just by going down to the axioms of logic.
why do it modulo 3? The same can be done modulo 2 and it is much easier…
x = 2^k \cdot a, y= 2^l \cdot b.
Then there are two cases k >= l and k < l. In the first case, write z as 2^{2l} (2 \cdot 2^{2k – 2l} – 1) and in the second case, as 2^{2k+1} (1 – 2^{2l – 2k -1})
and the term in the paranthesis is odd, i.e. 1 mod 2 in both cases.
divseh,
Perhaps but what if k=l? Then after factor out get 2^{kl} (2a^2 – b^2). So let a be odd and b even. Then what?
b cannot be even… you have already taken the power of 2 out..
Love the gifts! Thanks!!
Dick: Thanks for the gifts, esp the polynomial one!
I had a followup question: the solution says that you can determine the polynomial if you use two *adaptive* queries. What about *non-adaptive* queries? Can one do something similar in say constant number of non-adaptive queries? (Hopefully, I’m not missing a simple solution here…)
I don’t see how a constant number of non-adaptive queries could ever guarantee finding the coefficients of the hidden polynomial. After all, the number of terms in the secret polynomial can increase without limit – whereas a constant number of queries is, of course, constant.
Therefore a constant number of queries can determine only a limited number of coefficients, whereas there is no limit to the actual number of coefficients that need to be found.
Greg,
Let , for example. You get . Assume that this is
. Then you get . This will be as a decimal number. Then read off the coefficients.
Greg,
The queries are adaptive, the second depends on the first. Sorry for the confusion.
Greg: As Dick pointed out below just talking about the number of queries is not enough. However, maybe I’m missing the part of your argument which makes use of non-adaptivity.
I think I have an argument to show that non-adaptive case is hosed *if* all the query points are integers. Note that the adaptive solution just queries the secret polynomials at two integers.
In fact, let us consider the case where in addition to the black-box, you are also given an upper bound on the degree of the secret polynomial. I claim one needs to make non-adaptive queries (aka the usual polynomial interpolation algorithm). If not, let us assume that the non-adaptive queries are at (distinct) points . Consider the polynomial . Now any pair of polynomial cannot be distinguished by the queries . The issue is that some of the coefficients of can be negative. However, since the queries are *non-adaptive*, one can easily compute the magnitude of the smallest negative coefficient in and make sure that all the coefficients of are large enough positive integers so that both and have natural numbers as coefficients.
However, if the queries are reals, then the coefficients of are no longer guaranteed to be integers and the argument above fails.
Allen Knutson pointed out that testing with a single transcendental number is enough. On the other hand no finite number of fixed/non-adaptive algebraic numbers suffices:
Let p1, …, pn be integer polynomials that have the test numbers as roots. Take their product and split it up into a difference p1p2…pn = q1-q2 of polynomials with natural coefficients. Then q1 and q2 are not distinguished by the test.
Ørjan: thanks! I guess that settles the question.
Wouldn’t the majority function on 4 inputs yield 1 either 11 times (if you count two 1’s as a majority), or 5 times (if you don’t)?
10x for the gifts. Merry Christmas!
Thanks for the gifts. The proof of irrationality reminded me of a neat approach using inequalities. I read about it here first (4th proof):
http://researchinpractice.wordpress.com/2010/06/02/five-proofs-of-the-irrationality-of-root-5/
erennially welcome year-end mathematical gift are ChessBase News Christmas puzzles. This year they are composed by the algebraic topologist and chess grandmaster John Nunn.
Unusually, however, this year’s holiday chess puzzles lead-off with a (seemingly unrelated) link to a YouTube video titled A Christmas Food Court Flash Mob.
Hmmmm … what link (if any) might A Christmas Food Court Flash Mob have to mathematics broadly, and to chess problems in particular? Why post it on ChessBase? Why does this video speak to us so broadly and profoundly (2.6×10^7 views so far)?
In searching my quotation database, I found an answer by Paul Dirac:
Perhaps a A Christmas Food Court Flash Mob speaks to us because we all appreciate that a world filled with many billions of people—and hopefully, many millions of mathematicians—makes sense only if the 21st century unfolds as a Dirac-style Golden Age … and the ordinary people of A Christmas Food Court Flash Mob show us what such a world could be like.
My thanks go to ChessBase, to John Nunn, and especially, to everyone who contributed in the past year to making Gödel’s Lost Letter and P=NP such a wonderful place. Happy holidays to all! 🙂
Regarding the irrationality proof, I also believe it is ok with modulo 2 calculations…
Not using “proof by contradiction” can be done thru clever presentation of the demonstration…
I check it again, and in fact, working modulo 2, you can only prove that x is even and y is odd.
My suggestion is that you may freely set additional conditions on x and y: for example, they have no common factor, and they are non-zero integers.
Then, working modulo 3, you easily prove that z cannot be zero (the ‘no common factor’ condition helps very much).