{"id":9732,"date":"2026-05-10T14:54:41","date_gmt":"2026-05-10T19:54:41","guid":{"rendered":"https:\/\/scottaaronson.blog\/?p=9732"},"modified":"2026-05-10T14:54:41","modified_gmt":"2026-05-10T19:54:41","slug":"the-trevisan-award-and-the-decimal-digits-of-powers-of-2","status":"publish","type":"post","link":"https:\/\/scottaaronson.blog\/?p=9732","title":{"rendered":"The Trevisan Award and the Decimal Digits of Powers of 2"},"content":{"rendered":"\n

WHOA … I\u2019ve won the inaugural Luca Trevisan Award for Expository Work in Theoretical Computer Science<\/a>! This has a particular meaning for me as someone who knew<\/a> Luca Trevisan<\/a> as well as I did for 25 years \u2014 who had him as a professor and thesis committee member, whose blog bounced off his blog, who benefitted tremendously from his<\/em> expository work in TCS \u2014 before Luca tragically succumbed to cancer two years ago.<\/p>\n\n\n\n

As I told the committee, receiving this award makes me want to use my blog for more actual CS theory exposition, and less venting, in order to retrospectively become worthier of such an honor.<\/p>\n\n\n\n

I\u2019m ridiculously grateful to the entire TCS community \u2014 my people, my homies \u2014 for tolerating me to do what I do.<\/p>\n\n\n\n

If you’re curious, here’s the official citation:<\/p>\n\n\n\n

\n

The inaugural Luca Trevisan Award for Expository Work in Theoretical Computer Science is awarded to Scott Aaronson for his sustained and high-impact inspirational efforts to explain and promote our field to broad audiences. His blog Shtetl-Optimized has hosted remarkably frequent and elaborate posts over more than two decades, and has become a central meeting place for wide-ranging conversations across the TCS and Physics communities. Scott Aaronson\u2019s blog posts contain crystal-clear, informative expositions of exciting new results, calibrated evaluations of technological claims, and profound analyses of topics in these fields and (way) beyond. The uniquely enthusiastic and witty style of his writings (including his book Quantum Computing Since Democritus<\/em> and his other lecture notes and surveys), lectures, and interviews have made him a top invitee for both popular and professional appearances, attracting large audiences. These qualities have inspired many students to enter the field, and made Scott Aaronson a go-to person for journalists and scientists alike looking for a definitive word on the latest scientific activity in TCS and quantum computing.<\/p>\n<\/blockquote>\n\n\n\n

\n\n\n\n

In the rest of this post, I’m going to start practicing what I preached—y’know, about turning over more of this blog to actual exposition<\/em>, of a kind that the Trevisan Award could plausibly be meant to encourage. I’ll start with something that’s been on my back burner for the past couple months: namely, the (lightly edited) transcript of a talk that I gave this spring at UT Austin’s undergraduate math club. So, without further ado, and in memory of Luca…<\/p>\n\n\n\n

\n\n\n\n

On the Decimal Digits of Powers of 2<\/strong>
by Scott Aaronson<\/p>\n\n\n\n

Hi! I’ve given six previous talks here at UT’s math club, some on relatively “important” topics—G\u00f6del’s Theorem, time travel, Huang’s proof of the Sensitivity Conjecture<\/a>, and so on.<\/p>\n\n\n\n

Today, I want to talk about an un<\/em>important question, one that my son Daniel, who was then 8, and who’s sitting here in the front row (along with his sister Lily), asked me a few months ago.<\/p>\n\n\n\n

Daniel asked: which powers of 2 can you double without needing to carry digits? Clearly 1, 2, 4, 32, and 1024 all have this property, their doubles being 2, 4, 8, 64, and 2048 respectively. Are there any others?<\/p>\n\n\n\n

Since I happen to have the powers of 2 up to 220<\/sup> = 1,048,576 committed to memory since childhood, I confirmed that there were no other examples up to there: 128, 256, 512, 2048, etc. all require carries. So I told Daniel: I can’t find<\/em> any other example, and on that basis, I conjecture<\/em> that there aren’t any more. But if that conjecture is true, I don’t know if it will ever<\/em> be proven, by humans or even AI!<\/p>\n\n\n\n

Then I googled it, and saw that this is a known question<\/a> (not very<\/em> well known, but there’s a StackExchange post about it). And indeed it had been checked up to 2millions<\/sup>, and no other counterexample had been found.<\/p>\n\n\n\n

\n\n\n\n

Why did I become confident so quickly that yes, 1024 is probably<\/em> the last example of a power of 2 that can be doubled without carrying?<\/p>\n\n\n\n

Because of the heuristic that the decimal digits of 2n<\/sup> are more or less “random,” apart from various constraints that are irrelevant here (like that the last digit always cycles among 2, 4, 6, and 8). And 2n<\/sup> has about n\/log2<\/sub>10 decimal digits. Since only 0, 1, 2, 3, 4 can be doubled without carrying, the probability of 2n<\/sup> being a counterexample should therefore be about $$ (\\frac{1}{2} )^{n \/ \\log_2 10}. $$<\/p>\n\n\n\n

So, if we’ve already checked up to (say) n=1000, then the probability of a larger counterexample should be at most<\/p>\n\n\n\n

$$ \\sum_{n=1001}^{\\infty} (\\frac{1}{2} )^{n \/ \\log_2 10} $$<\/p>\n\n\n\n

which, when we sum the geometric series, is exceedingly close to 0.<\/p>\n\n\n\n

\n\n\n\n

Ah, but why did I say that I don’t know if the conjecture will ever be proven? Because it seems to belong a large class of similar statements, none of which mathematicians have had any idea how to prove.<\/p>\n\n\n\n

Variant<\/a> of a conjecture by Jeffrey Shallit:<\/strong> 65,536 is the only power of 2 that has no power of 2 among its decimal digits.<\/p>\n\n\n\n

Freeman Dyson’s conjecture (2005):<\/a><\/strong> There’s no power of 2 for which, when you reverse the decimal digits, you get a power of 5.<\/p>\n\n\n\n

Paul Erd\u00f6s’s conjecture (1979):<\/a><\/strong> For every n\u22659, there’s at least one ‘2’ in the base-3 representation of 2n<\/sup>.<\/p>\n\n\n\n

Or looking even more broadly:<\/p>\n\n\n\n

Conjecture:<\/strong> The decimal expansion of \u03c0 is not all 6’s and 7’s after some finite point.<\/p>\n\n\n\n

(This would follow from the stronger conjecture that \u03c0 is base-10 normal<\/a>—that is, that every finite pattern of decimal digits occurs in it with the limiting frequency you’d expect.)<\/p>\n\n\n\n

Or:<\/p>\n\n\n\n

Conjecture:<\/strong> \u03c0+e is an irrational number.<\/p>\n\n\n\n

What all the above conjectures have in common, and what I find so fascinating about them, is that they seem hopeless to prove<\/em> for exactly the same reason why they seem almost certainly true<\/em>. Namely, they all seem to be true “merely” because it would be too insane of a coincidence were they false!<\/p>\n\n\n\n

The trouble is, that’s not the sort of reason that seems amenable to turning into a proof. Fermat’s Last Theorem is an interesting exception that proves the rule here. That xn<\/sup>+yn<\/sup>=zn<\/sup> has no nontrivial integer solution for n\u22653, did<\/em> seem almost certainly true on statistical grounds for n\u22654 (and for the n=3 case, a proof goes back to Euler). And of course, FLT was<\/em> ultimately provable. But Wiles’s eventual proof exploited a lucky connection between the Fermat equation and deep, fancy things like modular forms and elliptic curves. At no point did the proof formalize the statistical argument that a 12-year-old could understand, for why the theorem is “almost certainly true.” It simply had nothing to do with the statistical argument.<\/p>\n\n\n\n

So then, if you wanted to prove conjectures like my son Daniel’s, or like Shallit’s or Dyson’s or Erd\u00f6s’s above, the question would be: could these “recreational” problems about base-10 representations ever be connected to anything similarly deep? Right now, it’s very hard to see how they could.<\/p>\n\n\n\n

Still, all hope is not lost! Here’s a striking theorem that I learned about when I researched this:<\/p>\n\n\n\n

Theorem (James Maynard, 2016):<\/a><\/strong> For every digit a from 0 to 9, there are infinitely many primes with no a’s in their base-10 representation.<\/p>\n\n\n\n

The proof uses heavy Fourier-analytic techniques. Likewise, presumably<\/em> there are infinitely many primes that you can double without carrying—2, 3, 11, 13, 23, 31, …—because the primes are much denser than the powers of 2! And presumably there are infinitely many primes that are missing any two decimal digits, or even whose decimal digits consist entirely of 0’s and 1’s. But Maynard’s techniques are not yet powerful enough to prove such things.<\/p>\n\n\n\n

\n\n\n\n

Even though I promised a topic of no importance today, I can’t resist pointing out a potential connection here to one of the biggest questions on earth right now, and something that’s professionally interested me for the past four years: namely, the question of how to align powerful AIs with human values and prevent them from destroying the world.<\/p>\n\n\n\n

Paul Christiano<\/a>, and the Alignment Research Center<\/a> in Berkeley that he founded, have developed a whole program<\/a> for how to make AI safe that depends on the possibility of formalizing “heuristic arguments”—that is, the kinds of arguments that convince us that the above conjectures are all almost certainly true, even without proofs of them.<\/p>\n\n\n\n

The intuition here is that we’ll never<\/em> have a rigorous proof that, for example, a real-world neural network will behave safely under all circumstances—it’s just too complicated. The best we can hope for is an argument that, e.g., “for this model to scheme against humans would require a crazy unexplained coincidence in its weights.” But how can we hope to formalize such arguments? As baby test cases, can we at least formalize our intuitions for why \u03c0 is normal, or why Daniel’s conjecture is true, in some principled way?<\/p>\n\n\n\n

ARC has tried: there’s a 2022 paper<\/a> by Christiano, Neyman, and Xu on “Formalizing the presumption of independence.” But it’s tricky, and ARC itself would be the first to agree that the existing results are unsatisfying. How do we even formalize the intuition that, for example, you should be willing to bet at even odds against the 10100<\/sup>th digit of \u03c0 being a 5?<\/p>\n\n\n\n

\n\n\n\n

In the rest of this talk, I’d like to circle back to Daniel’s original question about powers of 2, and show you some things that can<\/em> be proved about it—with thanks to Greg Kuperberg and my other friends on Facebook, and in some cases to GPT5Pro.<\/p>\n\n\n\n

Let’s start with the following easier question. Is there a power of 2 whose decimal digits start<\/em> with 31415? Or with the complete works of Shakespeare, encoded by letter values in some suitable way? Or with a googolplex digits all of which can be doubled without carrying (as Daniel wanted)?<\/p>\n\n\n\n

I claim that the answers are yes, yes, and yes! How do we prove this?<\/p>\n\n\n\n

The key fact we’ll use is simply that log10<\/sub>2 is an irrational number. (If you don’t remember the proof: suppose log10<\/sub>2 = a\/b. Then 10a\/b<\/sup> = 2, so 10a<\/sup>=2b<\/sup>. But this has no integer solutions other than a=b=0.)<\/p>\n\n\n\n

Suppose we want k as a prefix, where 10d-1<\/sup> \u2264 k \u2264 10d<\/sup>. Then we want integers n,r such that<\/p>\n\n\n\n

$$ k 10^r \\le 2^n \\le (k+1) 10^r, $$<\/p>\n\n\n\n

i.e. taking the base-10 log,<\/p>\n\n\n\n

$$ \\log_{10}k + r \\le n \\log_{10}2 \\le \\log_{10}(k+1) + r. $$<\/p>\n\n\n\n

In other words, the fractional part<\/em> of n log10<\/sub>2 needs to lie between the fractional part of log10<\/sub>(k), and the fractional part of log10<\/sub>(k+1) (where again, k is given).<\/p>\n\n\n\n

But now we can appeal to the following Key Fact:<\/strong> if \u03b1 is any irrational number, then the set<\/p>\n\n\n\n

{the fractional part of n\u03b1 : n\u2208N}<\/p>\n\n\n\n

is dense in the interval [0,1]. Or equivalently, if I rotate around and around the unit circle by 2\u03b1\u03c0 radians each time, then if \u03b1 is irrational, I’ll eventually get arbitrarily close to any given point on the unit circle.<\/p>\n\n\n\n

Why is the key fact true? Just the pigeonhole principle! Clearly, for any \u03b5>0, the fact that \u03b1 is irrational means that there must be two points, x\u03b1 and y\u03b1, whose fractional parts are distinct yet closer together than \u03b5. But then, by adding multiples of (x-y)\u03b1, we can get our fractional part to be \u03b5-close to anything<\/em> in [0,1].<\/p>\n\n\n\n

And to sum up, this is why there must be a power of 2 whose decimal representation starts with the complete works of Shakespeare, or with a googolplex carry-free digits! (Indeed, from the above discussion, we could even extract an efficient algorithm for constructing that power of 2.)<\/p>\n\n\n\n

\n\n\n\n

So much for the first<\/em> decimal digits of 2n<\/sup>. Now let’s look at 2n<\/sup>‘s last<\/em> decimal digits!<\/p>\n\n\n\n

Here there are some complications, arising from the twin facts that<\/p>\n\n\n\n

(a) 10 is composite, and
(b) 2 is one of its factors.<\/p>\n\n\n\n

But we can deal with those complications!<\/p>\n\n\n\n

For starters: what are the possible last decimal digits of 2n<\/sup>?<\/p>\n\n\n\n

1, 2, 4, 8, 6, 2, 4, 8, 6, …<\/p>\n\n\n\n

So, there’s an initial 1, but then we cycle forever through the even nonzero digits.<\/p>\n\n\n\n

What about the last two<\/em> digits of 2n<\/sup>? If you’ve never tried this before, it’s instructive to work it out:<\/p>\n\n\n\n

01, 02, 04, 08, 16, 32, 64, 28, 56, 12, 24, 48, 96, 92, 84, 68, 36, 72, 44, 88, 76, 52, 04, …<\/p>\n\n\n\n

So, there’s an initial 01 and 02, but after that, we cycle forever through 20=4\u00d75 possibilities, namely all the possible multiples of 4 whose last digits are nonzero.<\/p>\n\n\n\n

You can check that the general pattern is: the last k decimal digits of 2n<\/sup> have an initial segment that looks like 001, 002, 004, 008, …, 2k-1<\/sup>. And then there’s an eternal cycle of length 4\u00d75k-1<\/sup>, where the last digit can be any of 2,4,6,8, while every other digit can either<\/em> be any possible even digit or<\/em> any possible odd digit, depending on the digits to its right—in (if you want to say this a fancier way) a recursively defined embedding of the powers of 2 mod 5k<\/sup> into the cyclic group Z\/10k<\/sup>. So, there’s an initial “runup” as you fill out all the needed powers of 2, but then once that’s done, you just cycle around forever in an embedding of Z\/5k<\/sup> into Z\/10k<\/sup>, because<\/p>\n\n\n\n

(a) 2 happens to be a primitive element of Z\/5k<\/sup> for any k, and
(b) 5 divides 10.<\/p>\n\n\n\n

So in particular, and relevant to Daniel’s conjecture: there exists a power of 2 whose last<\/em> googolplex digits can all be doubled without carrying. Why? For the last digit, you can pick 2 or 4. Then, for the last googolplex digits but one, you can pick 1 or 3 for those constrained to be odd, and 0, 2, or 4 for those constrained to be even. Lots of choices that work!<\/p>\n\n\n\n

\n\n\n\n

So, we can avoid carries in the leftmost digits of 2n<\/sup>, we can avoid carries in the rightmost digits … so that “merely” leaves all the digits in the middle, where who the hell knows! Empirically, the digits seem to pass every standard randomness test that you can throw at them. So in particular, e.g., the fraction of the digits that are in {0,1,2,3,4} seems to converge inexorably towards 50%, so that it’s extremely plausible to conjecture that the fraction is less than 49% or more than 51% for only finitely many values of n. But of course, that’s presumably even harder<\/em> to prove than Daniel’s original conjecture.<\/p>\n\n\n\n

\n\n\n\n

OK, last topic. Suppose we want to program a computer to check Daniel’s conjecture up to 2n<\/sup>, for some huge n. What algorithm will do that most efficiently? A naive algorithm would just calculate 1, 2, 4, …, 2n<\/sup> and check all the digits of all of them. That takes O(n2<\/sup>) time, since each 2k<\/sup>, for k=0,1,…,n, has ~klog10<\/sub>2 = O(k) decimal digits.<\/p>\n\n\n\n

We can improve this to roughly O(n) time, by simply noticing that we only need to check O(1) digits per power of 2 in expectation<\/em>, presumably, until we find the first digit that requires carrying. Then we don’t even need to compute<\/em> the remaining digits: we can simply move on to the next power of 2. (This sort of trick is used all over the place in the design of fast algorithms.)<\/p>\n\n\n\n

But when I posted about Daniel’s problem on Facebook, my friend Greg Kuperberg<\/a> (who’s a mathematician at UC Davis) noticed that further improvements are possible. To wit: 8\u00d76 = 48, which again ends in 8. So, 8\u00d716 ends in 8, as does 8\u00d716k<\/sup> for every k\u22650. Meaning: no 2n<\/sup> where n=3+4k can possibly be a counterexample to Daniel’s conjecture. They’re all ruled out!<\/p>\n\n\n\n

Likewise, 64\u00d71,048,576 ends in 64, so no 2n<\/sup> of the form n=6+20k can be a counterexample. They’re all ruled out as well.<\/p>\n\n\n\n

We can keep going this way, filling out the “search tree” of potential counterexamples to Daniel’s conjecture via breadth-first search. At the root of the search tree, we try all possibilities for the last digit. One level deeper, we try all possibilities for the second-to-last digit, and so on. As we go, we prune subtrees according to constraints like the ones above that we keep discovering and adding.<\/p>\n\n\n\n

When I worked this out, I got an algorithm for checking Daniel’s conjecture up to 2n<\/sup>, which under reasonable assumptions takes time only O(n\u03b1<\/sup>), where \u03b1 = 1-log5<\/sub>2 \u2248 0.569, and space only polylog(n).<\/p>\n\n\n\n

Paul Crowley<\/a> (who’s my Facebook friend) then actually implemented this algorithm, and he tells me that he used it to check that Daniel’s conjecture holds all the way up to $$2^{10^{21}}$$ (!!), using 40 minutes on a 128-core machine.<\/p>\n\n\n\n

So, to return at last to the first thing I told Daniel: yes, I think his conjecture is almost certainly true, even though I have no idea when, if ever, the human race or its successors will have a proof.<\/p>\n","protected":false},"excerpt":{"rendered":"

WHOA … I\u2019ve won the inaugural Luca Trevisan Award for Expository Work in Theoretical Computer Science! This has a particular meaning for me as someone who knew Luca Trevisan as well as I did for 25 years \u2014 who had him as a professor and thesis committee member, whose blog bounced off his blog, who […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"advanced_seo_description":"","jetpack_seo_html_title":"","jetpack_seo_noindex":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"_wpas_customize_per_network":false},"categories":[31,5,3],"tags":[],"class_list":["post-9732","post","type-post","status-publish","format-standard","hentry","category-announcements","category-complexity","category-procrastination"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/9732","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=9732"}],"version-history":[{"count":10,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/9732\/revisions"}],"predecessor-version":[{"id":9749,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/9732\/revisions\/9749"}],"wp:attachment":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=9732"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=9732"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=9732"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}