<?xml version="1.0" encoding="UTF-8" standalone="yes"?><oembed><version><![CDATA[1.0]]></version><provider_name><![CDATA[Azimuth]]></provider_name><provider_url><![CDATA[https://johncarlosbaez.wordpress.com]]></provider_url><author_name><![CDATA[John Baez]]></author_name><author_url><![CDATA[https://johncarlosbaez.wordpress.com/author/johncarlosbaez/]]></author_url><title><![CDATA[The Rarest Things in the&nbsp;Universe]]></title><type><![CDATA[link]]></type><html><![CDATA[<p><i>guest post by <b><a href="http://www.usc.edu/dept/molecular-science/fm-adleman.htm">Leonard Adleman</a></b></i></p>
<p style="text-align:justify;">About 50 years ago Kolomogorov assigned to each finite binary string <img src='https://s0.wp.com/latex.php?latex=%5Csigma&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma' title='&#92;sigma' class='latex' /> a non-negative integer that measured that string&#8217;s &#8216;descriptive complexity&#8217;. Informally, <img src='https://s0.wp.com/latex.php?latex=K%28%5Csigma%29&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='K(&#92;sigma)' title='K(&#92;sigma)' class='latex' /> is the length (in binary) of the shortest (Turing machine) program that with the empty string as input, outputs <img src='https://s0.wp.com/latex.php?latex=%5Csigma&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma' title='&#92;sigma' class='latex' /> and halts. A related measure of descriptive complexity is <img src='https://s0.wp.com/latex.php?latex=M%28%5Csigma%29%3D%5Cfrac%7BK%28%5Csigma%29%7D%7B%7C%5Csigma%7C%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='M(&#92;sigma)=&#92;frac{K(&#92;sigma)}{|&#92;sigma|}' title='M(&#92;sigma)=&#92;frac{K(&#92;sigma)}{|&#92;sigma|}' class='latex' />, where <img src='https://s0.wp.com/latex.php?latex=%7C%5Csigma%7C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|&#92;sigma|' title='|&#92;sigma|' class='latex' /> denotes the length of <img src='https://s0.wp.com/latex.php?latex=%5Csigma&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma' title='&#92;sigma' class='latex' />. A simple string like:</p>
<p style="text-align:center;"><img src='https://s0.wp.com/latex.php?latex=%5Csigma_0%3D%5Coverbrace%7B111%5Cldots+111%7D%5E%7B1%2C000%2C000%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma_0=&#92;overbrace{111&#92;ldots 111}^{1,000,000}' title='&#92;sigma_0=&#92;overbrace{111&#92;ldots 111}^{1,000,000}' class='latex' /></p>
<p style="text-align:justify;">can be produced by a very short program; hence <img src='https://s0.wp.com/latex.php?latex=M%28%5Csigma_0%29&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='M(&#92;sigma_0)' title='M(&#92;sigma_0)' class='latex' /> is near 0. But if <img src='https://s0.wp.com/latex.php?latex=%5Csigma&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma' title='&#92;sigma' class='latex' /> is a &#8216;random string&#8217; (e.g. obtained by flipping coins), then, with high probability, it cannot be produced by a program significantly shorter than <img src='https://s0.wp.com/latex.php?latex=%5Csigma&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma' title='&#92;sigma' class='latex' /> itself; hence <img src='https://s0.wp.com/latex.php?latex=M%28%5Csigma%29&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='M(&#92;sigma)' title='M(&#92;sigma)' class='latex' /> will be near 1.</p>
<p style="text-align:justify;">If I asked you to produce (using a computer) a thousand strings of length one million with <img src='https://s0.wp.com/latex.php?latex=M&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='M' title='M' class='latex' /> near 1, it would be easy to do; just flip a lot of coins.  If I asked you to produce a thousand strings with <img src='https://s0.wp.com/latex.php?latex=M&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='M' title='M' class='latex' /> near 0, that would also be easy. For example, you could start with a short random string and repeat it a lot. Actually, if I chose my favorite <img src='https://s0.wp.com/latex.php?latex=%5Calpha%5Cin+%5B0%2C1%5D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;alpha&#92;in [0,1]' title='&#92;alpha&#92;in [0,1]' class='latex' /> and wanted a thousand strings of length one million with <img src='https://s0.wp.com/latex.php?latex=M&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='M' title='M' class='latex' /> near <img src='https://s0.wp.com/latex.php?latex=%5Calpha&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;alpha' title='&#92;alpha' class='latex' />, then a mix of the preceding approaches can be used to produce them. So strings with a desired <img src='https://s0.wp.com/latex.php?latex=M&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='M' title='M' class='latex' /> are not rare.</p>
<p style="text-align:justify;">Now let&#8217;s consider &#8216;deep strings&#8217;<a href="#depth">*</a>.  I will be informal here, but the underlying theory can be found in my <a href="http://www.usc.edu/molecular-science/timespacerand.pdf" target="_blank">Time space and randomness</a>.</p>
<p style="text-align:justify;">For all binary strings <img src='https://s0.wp.com/latex.php?latex=%5Csigma&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma' title='&#92;sigma' class='latex' />, we assign a value that measures the &#8216;depth&#8217; of <img src='https://s0.wp.com/latex.php?latex=%5Csigma&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma' title='&#92;sigma' class='latex' />. <img src='https://s0.wp.com/latex.php?latex=D%28%5Csigma%29&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='D(&#92;sigma)' title='D(&#92;sigma)' class='latex' /> is obtained by considering both the size and the number of steps used by each program that with the empty string as input, outputs <img src='https://s0.wp.com/latex.php?latex=%5Csigma&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma' title='&#92;sigma' class='latex' /> and halts<a href="#definition depth">**</a>. <img src='https://s0.wp.com/latex.php?latex=D%28%5Csigma%29&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='D(&#92;sigma)' title='D(&#92;sigma)' class='latex' /> has the following properties:</p>
<ul style="text-align:justify;">
<li>If there is no short program to produce <img src='https://s0.wp.com/latex.php?latex=%5Csigma&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma' title='&#92;sigma' class='latex' />, then <img src='https://s0.wp.com/latex.php?latex=D%28%5Csigma%29&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='D(&#92;sigma)' title='D(&#92;sigma)' class='latex' /> is small.</li>
<li>If there is a short program to produce <img src='https://s0.wp.com/latex.php?latex=%5Csigma&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma' title='&#92;sigma' class='latex' /> and it uses few steps, then <img src='https://s0.wp.com/latex.php?latex=D%28%5Csigma%29&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='D(&#92;sigma)' title='D(&#92;sigma)' class='latex' /> is small.</li>
<li>If there is a short program to produce <img src='https://s0.wp.com/latex.php?latex=%5Csigma&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma' title='&#92;sigma' class='latex' />, but all short programs to produce <img src='https://s0.wp.com/latex.php?latex=%5Csigma&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma' title='&#92;sigma' class='latex' /> use lots of steps, then <img src='https://s0.wp.com/latex.php?latex=D%28%5Csigma%29&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='D(&#92;sigma)' title='D(&#92;sigma)' class='latex' /> is large. Roughly speaking, the more steps small programs use to produce <img src='https://s0.wp.com/latex.php?latex=%5Csigma&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma' title='&#92;sigma' class='latex' />, the larger <img src='https://s0.wp.com/latex.php?latex=D%28%5Csigma%29&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='D(&#92;sigma)' title='D(&#92;sigma)' class='latex' /> will be.</li>
</ul>
<p style="text-align:justify;">Informally, we call a string with large <img src='https://s0.wp.com/latex.php?latex=D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='D' title='D' class='latex' /> &#8216;deep&#8217; and one with small <img src='https://s0.wp.com/latex.php?latex=D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='D' title='D' class='latex' /> &#8216;shallow&#8217;. A few examples may help.</p>
<p style="text-align:justify;">Consider a string <img src='https://s0.wp.com/latex.php?latex=%5Csigma&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma' title='&#92;sigma' class='latex' /> obtained by flipping coins. With high probability there is no short program to produce <img src='https://s0.wp.com/latex.php?latex=%5Csigma&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma' title='&#92;sigma' class='latex' />, hence <img src='https://s0.wp.com/latex.php?latex=%5Csigma&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma' title='&#92;sigma' class='latex' /> is shallow.</p>
<p style="text-align:justify;">Now consider <img src='https://s0.wp.com/latex.php?latex=%5Csigma_0&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma_0' title='&#92;sigma_0' class='latex' /> above. Since there is a short program to produce <img src='https://s0.wp.com/latex.php?latex=%5Csigma_0&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma_0' title='&#92;sigma_0' class='latex' /> and that program uses few steps, <img src='https://s0.wp.com/latex.php?latex=%5Csigma_0&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma_0' title='&#92;sigma_0' class='latex' /> is shallow.</p>
<p style="text-align:justify;">Now treat <img src='https://s0.wp.com/latex.php?latex=%5Csigma_0&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma_0' title='&#92;sigma_0' class='latex' /> as a number in binary (i.e. <img src='https://s0.wp.com/latex.php?latex=2%5E%7B1%2C000%2C000%7D-1&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='2^{1,000,000}-1' title='2^{1,000,000}-1' class='latex' />) and consider the prime factorization. The fundamental theorem tells us it exists and will be about one million bits long.  But, unless <img src='https://s0.wp.com/latex.php?latex=2%5E%7B1%2C000%2C000%7D-1&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='2^{1,000,000}-1' title='2^{1,000,000}-1' class='latex' /> is somehow special (e.g. a prime times a very smooth number), its prime factorization may be very very deep. A short program can generate the prime factorization (just generate one million 1s with a short program and then give it to a short factoring program). But if it turns out that factoring can&#8217;t be done in polynomial time, then perhaps all short programs that generate the prime factorization use a huge number of steps. So the prime factorization would have a very large <img src='https://s0.wp.com/latex.php?latex=D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='D' title='D' class='latex' />.  Conceivably, since steps on a computer use time and energy, the prime factorization can never be realized. It is not a long string (only one million bits) but it may exist only in theory and not in reality.</p>
<p style="text-align:justify;">If I asked you to produce even one string of length one million with <img src='https://s0.wp.com/latex.php?latex=D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='D' title='D' class='latex' /> near that of the prime factorization of  <img src='https://s0.wp.com/latex.php?latex=2%5E%7B1%2C000%2C000%7D-1&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='2^{1,000,000}-1' title='2^{1,000,000}-1' class='latex' />, could you do it? I would not know how and I suspect that as a practical matter it cannot be done. So strings with such a <img src='https://s0.wp.com/latex.php?latex=D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='D' title='D' class='latex' /> are rare.</p>
<p style="text-align:justify;">Here is a string that does exist in our universe and that (I suspect) is quite deep:</p>
<p style="text-align:center;"><img src='https://s0.wp.com/latex.php?latex=46817226351072265620777670675006972301618979214252832875068976303839400413682313&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='46817226351072265620777670675006972301618979214252832875068976303839400413682313' title='46817226351072265620777670675006972301618979214252832875068976303839400413682313' class='latex' /><br /> <img src='https://s0.wp.com/latex.php?latex=921168154465151768472420980044715745858522803980473207943564433%2A5277396428112339&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='921168154465151768472420980044715745858522803980473207943564433*5277396428112339' title='921168154465151768472420980044715745858522803980473207943564433*5277396428112339' class='latex' /><br /> <img src='https://s0.wp.com/latex.php?latex=17558838216073534609312522896254707972010583175760467054896492872702786549764052&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='17558838216073534609312522896254707972010583175760467054896492872702786549764052' title='17558838216073534609312522896254707972010583175760467054896492872702786549764052' class='latex' /><br /> <img src='https://s0.wp.com/latex.php?latex=643493511382273226052631979775533936351462037464331880467187717179256707148303247&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='643493511382273226052631979775533936351462037464331880467187717179256707148303247' title='643493511382273226052631979775533936351462037464331880467187717179256707148303247' class='latex' /></p>
<p style="text-align:justify;">In fact, this string is the prime factorization of <img src='https://s0.wp.com/latex.php?latex=2%5E%7B1061%7D-1&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='2^{1061}-1' title='2^{1061}-1' class='latex' />. We should not expect it to be as deep as the prime factorization of <img src='https://s0.wp.com/latex.php?latex=2%5E%7B1%2C000%2C000%7D-1&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='2^{1,000,000}-1' title='2^{1,000,000}-1' class='latex' />, but we should still expect it to have considerable depth. There is even some experimental evidence that supports this view. How did I get this prime factorization? I got it from: <a href="http://eprint.iacr.org/2012/444.pdf" target="_blank">Factorization of a 1061-bit number by the Special Number Field Sieve</a>, by Greg Childers. So it was easy to get. Well, easy for me anyway; not so easy for Childers. He reports that the factorization took about `3 CPU-centuries&#8217; using the Special Number Field Sieve. Other than by factoring <img src='https://s0.wp.com/latex.php?latex=2%5E%7B1061%7D-1&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='2^{1061}-1' title='2^{1061}-1' class='latex' />, how could you ever come to write this pair of primes? I venture to say that since the Special Number Field Sieve is the fastest known algorithm for factoring numbers of this kind, no method available today could have written these primes (for the first time) using fewer steps (and hence less time/energy).</p>
<p style="text-align:justify;">The situation might be compared to that of atomic physics. I am not a physicist, but I suppose it is possible to theorize about an atomic nucleus with a million protons. But what if I want to create one? It appears that producing transuranic elements takes huge amounts of time/energy and the greater the number of protons, the more time/energy it takes. It is even conceivable (to me at least) that there is not enough time/energy available (at least on earth) to actually produce one. Like the prime factorization of <img src='https://s0.wp.com/latex.php?latex=2%5E%7B1%2C000%2C000%7D-1&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='2^{1,000,000}-1' title='2^{1,000,000}-1' class='latex' />, it may exist in theory but not in reality. On the other hand, physicists from Russia and America, using lots of time/energy, have created an atomic nucleus with 118 protons called Ununoctium. Ununoctium is analogous to Childers&#8217; prime factorization; both exist in reality; both were very costly to create.</p>
<p style="text-align:justify;">But my focus here is neither ontology nor physics; it is money. Recently Bitcoins and Bitcoin-like things have captured the world&#8217;s attention. I suspect that this kind of currency will revolutionize the nature of economies, and consequently the nature of governance. Personally, I am agnostic on whether this is a good thing or a bad thing.  But, in any case, I am wondering if &#8216;depth&#8217; might form part of a theoretical basis for understanding new currencies. I must confess to knowing few details about Bitcoins; consequently, I will start from first principles and consider some of the properties of currency:</p>
<ul style="text-align:justify;">
<li><b>Mass</b>: A currency may have mass or may be massless. U.S. dollars and gold have mass. Bitcoins are massless. The efficiencies of the Internet market require a massless currency. Imagine running eBay or Amazon using gold. U.S. dollars have mass, so we do not actually use them for transactions on the Internet, rather we use credit card numbers to create massless IOUs that promise to deliver (but, in fact, seldom actually deliver) U.S. dollars in the future. These IOUs are essentially a massless currency.</li>
<li><b>Production</b>: Who can produce or destroy the currency? This has been an important political, legal and economic issue for millennia. In the west, coins began to appear at about the time Solon ruled Athens. Solon realized that he could manipulate the value of coins. And so he did. Solon&#8217;s lesson has not been lost on governments ever since. In its simplest form: if you owe <img src='https://s0.wp.com/latex.php?latex=K&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='K' title='K' class='latex' /> dollars, you print <img src='https://s0.wp.com/latex.php?latex=K&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='K' title='K' class='latex' /> dollars, and voila! no more debt. Creditors don&#8217;t like debtors to do that, so they want to be paid in a currency that no one can produce more of. Gold comes close. You can produce more gold but you have to spend a lot of time/energy in a mine to do so.  Production also includes counterfeiting. Counterfeiting comes in at least two important forms: de novo-counterfeiting (build a press) and duplication-counterfeiting (get a xerox machine). For now, all massless currencies are in digital form and are vulnerable to duplication-counterfeiting since computers make it cheap and easy to create perfect copies of digital notes (a unit of a currency will be called a &#8216;note&#8217;). As a result, massless currencies will typically be associated with systems that mitigate this threat. Perhaps the elaborate ledgers implemented by the creators of Bitcoin are an attempt to deal with the threat of duplication-counterfeiting.</li>
<li><b>Abundance</b>: As is often said, money can be used to &#8216;lubricate the economy&#8217;. To accomplish this a currency has to be sufficiently abundant. For example, Ununoctium, might be attractive to creditors because, compared to gold, it is far more costly in time/energy to produce more.  However, it is not desirable for lubricating the economy because it is so costly to produce that less than 100 atoms have ever been created.</li>
</ul>
<p style="text-align:justify;">The transition from mass to masslessness will lead to currencies with uses and properties we do not normally associate with money. For example, using the techniques of secret-sharing, it becomes possible to create digital currencies where a single note can be jointly owned by 1000 individuals; any 501 of whom could cooperate to spend it, while any 500 of whom would be unable to do so.</p>
<p style="text-align:justify;">What is the perfect currency? This is probably the wrong question, rather we should ask what properties may currency have, in theory and in reality. Let&#8217;s consider massless currencies.</p>
<p style="text-align:justify;">Is there a massless currency similar to the U.S. dollar? I think yes. For example, the Government could simply publish a set of numbers and declare the numbers to be currency. Put another way, make the U.S. dollar smaller and smaller to decrease mass until asymptotically all that is left is the serial number. With regard to abundance, like the U.S. dollar, the Government is free to determining the number of notes available. With regard to production, as with the U.S. dollar, the Government can print more by simply publishing new numbers to be added to the set (or destroy some by declaring that some numbers have been removed from the set). With regard to counterfeiting, the U.S. dollar has some advantages. The mass of the U.S. dollar turns counterfeiting from a digital problem to a physical one. This provides the Government with the ability to change the U.S. dollar physically to defeat technology that might arise to produce faithful (either de novo or duplication) counterfeits.</p>
<p style="text-align:justify;">Is there a massless currency similar to gold? I think yes. I think this is what Bitcoin-like currencies are all about. They are &#8216;deep-currencies&#8217;, sets of deep strings. With regard to abundance, they are superior to gold. The total number of deep strings in the set can be chosen at initiation by the creator of the currency. The abundance of gold on the other hand has already been set by nature (and, at least as currently used, gold is not sufficiently abundant to lubricate the world economy). With regard to production, as with gold, making notes requires time/energy.  With regard to counterfeiting, gold has an advantage. Counterfeit gold is an absurdity, since all gold (by the ounce, not numismatically), no matter how it arises, is the same atomically and is perceived to have the same value. On the other hand, as stated above, massless currencies are vulnerable to duplication-counterfeiting. Interestingly, deep-currencies may be resistant to de novo-counterfeiting, since the creator of the deep-currency is free to choose the depth of the notes, and consequently the cost of producing new notes.</p>
<p style="text-align:justify;">The value of a massless currency in our information based world is clear. Deep-currencies such as Bitcoin offer an attractive approach. But there is an interesting issue that may soon arise. The issue stems from the fact that the production of each note in currencies like Bitcoin requires a large investment of time/energy, and as with gold, this deprives governments of the prerogative to print money. Creditors may like this, but governments will not. What will governments do? Perhaps they will want to create a &#8216;Dual-currency&#8217;. A Dual-currency should be massless. It should come with a secret key. If you do not possess the secret key, then, like gold, it should be very costly to produce a new note, but if you possess the secret key, then, like the U.S. dollar, it should be inexpensive to produce a new note. Is a Dual-currency possible?  Here is an example of an approach I call aurum:</p>
<ul style="text-align:justify;">
<li>Generate a pair of RSA keys: a public key <img src='https://s0.wp.com/latex.php?latex=%5Clangle+E%2CN%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;langle E,N&#92;rangle' title='&#92;langle E,N&#92;rangle' class='latex' />, and a secret key <img src='https://s0.wp.com/latex.php?latex=%5Clangle+D%2CN%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;langle D,N&#92;rangle' title='&#92;langle D,N&#92;rangle' class='latex' />. Publish the public key <img src='https://s0.wp.com/latex.php?latex=%5Clangle+E%2CN%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;langle E,N&#92;rangle' title='&#92;langle E,N&#92;rangle' class='latex' />.</li>
<li>Declare that notes are exactly those integers <img src='https://s0.wp.com/latex.php?latex=G&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='G' title='G' class='latex' /> such that <img src='https://s0.wp.com/latex.php?latex=2%5Cleq+G%5Cleq+N-1&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='2&#92;leq G&#92;leq N-1' title='2&#92;leq G&#92;leq N-1' class='latex' /> and (the least positive residue of) <img src='https://s0.wp.com/latex.php?latex=G%5EE%5Cmbox%7BMod%7D%28N%29&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='G^E&#92;mbox{Mod}(N)' title='G^E&#92;mbox{Mod}(N)' class='latex' /> is less than or equal to <img src='https://s0.wp.com/latex.php?latex=%5Cfrac%7BN%7D%7B10%5E9%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;frac{N}{10^9}' title='&#92;frac{N}{10^9}' class='latex' />.</li>
</ul>
<p style="text-align:justify;">So, choosing a random integer <img src='https://s0.wp.com/latex.php?latex=V&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='V' title='V' class='latex' /> such that <img src='https://s0.wp.com/latex.php?latex=2%5Cleq+V%5Cleq+N-1&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='2&#92;leq V&#92;leq N-1' title='2&#92;leq V&#92;leq N-1' class='latex' />, and then computing <img src='https://s0.wp.com/latex.php?latex=V%5EE%5Cmbox%7BMod%7D%28N%29&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='V^E&#92;mbox{Mod}(N)' title='V^E&#92;mbox{Mod}(N)' class='latex' /> has about one chance in a billion of producing a note. Hence the expected number of modular exponentiations to produce a note is about one billion. On the other hand, those who possess the secret key can chose an integer <img src='https://s0.wp.com/latex.php?latex=W&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='W' title='W' class='latex' /> such that <img src='https://s0.wp.com/latex.php?latex=2%5Cleq+W%5Cleq+%5Cfrac%7BN%7D%7B10%5E9%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='2&#92;leq W&#92;leq &#92;frac{N}{10^9}' title='2&#92;leq W&#92;leq &#92;frac{N}{10^9}' class='latex' /> and calculate <img src='https://s0.wp.com/latex.php?latex=W%5ED%5Cmbox%7BMod%7D%28N%29&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='W^D&#92;mbox{Mod}(N)' title='W^D&#92;mbox{Mod}(N)' class='latex' /> to produce a note after just one modular exponentiation. There are many bells and whistles that can be accommodated with aurum, but here is what is &#8216;really&#8217; going on. The depth of a string <img src='https://s0.wp.com/latex.php?latex=%5Csigma&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma' title='&#92;sigma' class='latex' /> is obtained by considering programs running with the empty string as input, but we can consider a more general concept: &#8216;relative depth&#8217;.  Given a pair of strings <img src='https://s0.wp.com/latex.php?latex=%5Csigma&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma' title='&#92;sigma' class='latex' /> and <img src='https://s0.wp.com/latex.php?latex=%5Ctau&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;tau' title='&#92;tau' class='latex' />, the depth of <img src='https://s0.wp.com/latex.php?latex=%5Csigma&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma' title='&#92;sigma' class='latex' /> relative to <img src='https://s0.wp.com/latex.php?latex=%5Ctau&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;tau' title='&#92;tau' class='latex' /> is obtained by considering programs running with <img src='https://s0.wp.com/latex.php?latex=%5Ctau&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;tau' title='&#92;tau' class='latex' /> as the input. Hence depth as we have been discussing it is the same as depth relative to the empty string. In the example above, we have made `dual-strings&#8217;; strings that are deep relative to the public key, but shallow relative to the secret key.</p>
<p style="text-align:justify;">One of the interesting phenomena of theoretical computer science is that you can sometimes turn bad news into good news. If factoring is hard, then we are deprived of the ability to do something we (at least number theorists) would like to do. Bad news. But surprisingly, we acquire public-key cryptography and the ability to preserve our privacy. Good news. Similarly, strings that are very hard to produce seem useless, but Bitcoins have revealed that such strings can provide a new and useful form of currency.  Now that we are aware that deep strings can have value, I expect that clever people will find many new uses for them.</p>
<p style="text-align:justify;">After thinking about deep strings for many years, I see them everywhere &#8211; I invite you to do the same. I will finish with one of my favorite observations. The watchmaker analogy is well known and is frequently used in arguing the existence of a creator.  If you stumble upon a watch, you recognize from its complexity that it did not form by chance, and you conclude that there must have been a watchmaker. A human is more complex than a watch, so there must have been a &#8216;human-maker&#8217; &#8211; a creator. An alternative view is that the complexity you recognize is actually &#8216;depth&#8217; and the conclusion you should reach is that there must have been a computational process sustained through a great many steps. In the case of humans, the process is 3.6 billion years of evolution and the depth can be read in the genome. The watch is deep as well, but much of its depth is acquired from the human genome relative to which it is not nearly so deep.</p>
<div style="border-top:2px double #DB1200;margin-top:1em;padding-top:1em;"> </div>
<div style="border-top:2px double #0B5394;margin-top:1em;padding-top:1em;">
<p style="text-align:justify;"><a id="depth"></a>*It has been brought to my attention that others have considered similar concepts including <a href="http://rjlipton.wordpress.com/2012/02/12/how-deep-is-your-coloring/" target="_blank">Charles Bennett, Murray Gell-Mann, and Luis Antunes, Lance Fortnow, Dieter Van Melkebeek, and N. Variyam Vinodchandran</a>. Indeed, the latter group has even used the term &#8216;deep string&#8217;, hence it is to them we owe the name.</p>
<p><a id="definition depth"></a>**For all <img src='https://s0.wp.com/latex.php?latex=%5Csigma%5Cin%5C%7B0%2C1%5C%7D%5E%7B%2A%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma&#92;in&#92;{0,1&#92;}^{*}' title='&#92;sigma&#92;in&#92;{0,1&#92;}^{*}' class='latex' />:</p>
<ul style="text-align:justify;">
<li><img src='https://s0.wp.com/latex.php?latex=T%28%5Csigma%29&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='T(&#92;sigma)' title='T(&#92;sigma)' class='latex' /> denotes the set of Turing machine programs that with the empty string as input, output <img src='https://s0.wp.com/latex.php?latex=%5Csigma&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;sigma' title='&#92;sigma' class='latex' /> and halt.</li>
<li><img src='https://s0.wp.com/latex.php?latex=E%28%5Csigma%29&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='E(&#92;sigma)' title='E(&#92;sigma)' class='latex' /> denotes <img src='https://s0.wp.com/latex.php?latex=%5Cmin%5C%7B%5Cmax%5C%7B%7CP%7C%2C%5Clog_%7B2%7D%28%5Cvec%7BP%7D%29%5C%7D%7CP%5Cin+T%28%5Csigma%29%5C%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;min&#92;{&#92;max&#92;{|P|,&#92;log_{2}(&#92;vec{P})&#92;}|P&#92;in T(&#92;sigma)&#92;}' title='&#92;min&#92;{&#92;max&#92;{|P|,&#92;log_{2}(&#92;vec{P})&#92;}|P&#92;in T(&#92;sigma)&#92;}' class='latex' />, where <img src='https://s0.wp.com/latex.php?latex=%7CP%7C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|P|' title='|P|' class='latex' /> denotes the length of <img src='https://s0.wp.com/latex.php?latex=P&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='P' title='P' class='latex' />, and <img src='https://s0.wp.com/latex.php?latex=%5Cvec%7BP%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;vec{P}' title='&#92;vec{P}' class='latex' /> denotes the number of steps used by <img src='https://s0.wp.com/latex.php?latex=P&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='P' title='P' class='latex' /> with the empty string as input.</li>
</ul>
<p style="text-align:justify;">It may be convenient for the reader to assume that <img src='https://s0.wp.com/latex.php?latex=D%28%5Csigma%29&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='D(&#92;sigma)' title='D(&#92;sigma)' class='latex' /> is approximately <img src='https://s0.wp.com/latex.php?latex=%5Cfrac%7BE%28%5Csigma%29%7D%7BK%28%5Csigma%29%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;frac{E(&#92;sigma)}{K(&#92;sigma)}' title='&#92;frac{E(&#92;sigma)}{K(&#92;sigma)}' class='latex' />; however, the proper theory of deep strings extends the notion of depth to sets of strings and accommodates the use of randomness in computation.  Depth in the context of quantum computation may also be of interest.</p>
</div>
]]></html></oembed>