{ localUrl: '../page/fractional_digits.html', arbitalUrl: 'https://arbital.com/p/fractional_digits', rawJsonUrl: '../raw/44l.json', likeableId: '2625', likeableType: 'page', myLikeValue: '0', likeCount: '7', dislikeCount: '0', likeScore: '7', individualLikes: [ 'AlexeiAndreev', 'EricBruylant', 'NateSoares', 'MalcolmMcCrimmon', 'EricRogstad', 'SzymonSlawinski', 'AndrewKennedy' ], pageId: 'fractional_digits', edit: '8', editSummary: '', prevEdit: '7', currentEdit: '8', wasPublished: 'true', type: 'wiki', title: 'Fractional digits', clickbait: '', textLength: '11220', alias: 'fractional_digits', externalUrl: '', sortChildrenBy: 'likes', hasVote: 'false', voteType: '', votesAnonymous: 'false', editCreatorId: 'MalcolmMcCrimmon', editCreatedAt: '2016-07-30 02:56:30', pageCreatorId: 'NateSoares', pageCreatedAt: '2016-06-09 23:58:13', seeDomainId: '0', editDomainId: 'AlexeiAndreev', submitToDomainId: '0', isAutosave: 'false', isSnapshot: 'false', isLiveEdit: 'true', isMinorEdit: 'false', indirectTeacher: 'false', todoCount: '5', isEditorComment: 'false', isApprovedComment: 'true', isResolved: 'false', snapshotText: '', anchorContext: '', anchorText: '', anchorOffset: '0', mergedInto: '', isDeleted: 'false', viewCount: '325', text: 'When $b$ and $x$ are [48l integers], $\\log_b(x)$ has a few good interpretations. It's roughly the [416 length of $x$] when written in [number_bases base $b$]. More precisely, it's the [427 fair price of an $x$-digit] in terms of [4sj $b$-digits]. But what about when $x$ or $b$ is not a whole number? $\\log_{3.16}(5.62) \\approx 1.5$; how are we supposed to interpret this fact?\n\nWe could appeal to the definition of the logarithm, observe that $3.16^{1.5} \\approx 5.62,$ and call it a day. But what does that mean? That 3.16 multiplied by itself one-and-a-half times is roughly 5.62? That 5.62, written in base 3.16, is about 1.5 digits long? That a 5.62-digit is worth about 1.5 times as much as a 3.16-digit? What does it mean to multiply a number by itself "half a time"? How would you even write a number down in "base 3.16"? What would a 3.16-digit even look like?\n\nLet's say that you want to [storing_numbers store a lot of data], and [42d digit wheels] cost \\$1. At that price, an object that can store 3 different values costs about 48¢, whereas an object that stores 4 different values costs about 60¢. What storage medium, then, costs exactly 50¢? I can think of two:\n\n1. You and I could buy a digit wheel, split the costs, and share it.\n2. You and I could both pay 50¢ each for a digit wheel, and then toss a coin to see who gets to use it.\n\nHow could we split the digit wheel? The digit wheel can be put into any one of ten different states, labeled 0, 1, 2, 3, 4, 5, 6, 7, 8, and 9. Here's one way to use it to encode two different messages: I choose a number $a$ between 0 and 1, then you choose a number $b$ between 0 and 4. Then we put the digit wheel into the state $5a + b.$ Thus, if you choose 0, the wheel will either say 0 or 5 (depending on which number I choose). If you choose 3, the wheel will either say 3 or 8 (depending on which number I chose). Each number you want to record (0-4) has two representations, and I choose whether we use the high one or the low one. Thus, the digit wheel records two messages: 7 means (high, 2) and so on.\n\nOf course, this is not a fair way to split the digit wheel — you get to store a [3v9 5-message] whereas I only get to store a 2-message.%%note:Thus we see that a [4sj 10-digit] is worth a 5-digit plus a 2-digit, that is, $\\log_{10}(5) + \\log_{10}(2) = 1$.%% Can we do something fairer?\n\nWell, the methodology can be used to share arbitrary $n$-digits between two people. If $x$ and $y$ are whole numbers such that $x \\cdot y \\le n$ then an $n$-digit can be used to store both an $x$-message and a $y$-message at once: You choose the [-quotient] of $n$ divided by $x$, I choose the [-remainder].\n\n__Exercise:__ How would you use an $18$-digit to store both a $3$-message and a $6$-message? How do you store (2, 4) using that encoding?\n%%hidden(Answer):\nHere's one way: Let $a$ be the value of the 3-message (between 0 and 2) and $b$ be the value of the 6-message (between 0 and 5). Record $6a+b.$ Using this encoding, (2, 4) is stored as the number 16.\n\nYou can verify for yourself that there is exactly one way to store each (3-message, 6-message) pair in an 18-message under this encoding.\n%%\n\n(From this we can see that, when $n = x \\cdot y,$ the cost of a $n$-digit is exactly equal to the cost of an $x$-digit plus the cost of a $y$-digit. In other words, $n = x \\cdot y$ then $\\log_b(x) + \\log_b(y) = \\log_b(n),$ no matter what base $b$ we're using.)\n\nThe fair split of the 10-digit, then, is to let us both store a 3-message: 3 is the highest integer $x$ such that $x \\cdot x < 10.$ This isn't maximally efficient, though; that encoding only uses 9 of the 10 possibilities that we paid for, and therefore it's not worth our money: Why buy what is effectively a 3-message for 50¢ when the fair price of 3-messages is 48¢? This might be worth knowing if the market isn't selling objects that carry 3-messages, and both you and I just need a tiny bit more storage, but in general it's not worth it.\n\nHowever, it becomes more worthwhile the more 10-digits we split. You might expect that, when splitting three digit wheels, we'd each get one digit wheel to ourselves plus a 3-message each from the third wheel, giving us 30 different possible messages each. However, we can do better than that if we're clever. If you pick a number $a$ between 0 and 30 (for a total of 31 different possibilities), and I also pick a number $b$ between 0 and 30, then the number $31a + b$ can always be stored on 3 digit wheels (because $31 \\cdot 30 + 30 = 960 \\le 999$), so if we're splitting three digit wheels, we can actually use them to store two 31-messages. ([ Why?]) This still isn't maximally efficient (the values from 961 to 999 are wasted), but it's a little better. And we can keep increasing the efficiency if we keep going: Five digit wheels can hold two 316-messages; 7 digit wheels can hold two 3162-messages, and so on. (You can verify those numbers yourself.)\n\nAs you can see, when splitting an $n$-digit, the fair split occurs at the largest whole number $x$ such that $x \\cdot x \\le n$, in which case we both get to record one $x$-message. This is why it is 316, and not 500, that can most naturally be seen as "about 2.5 decimal digits long:" The number that is 2.5 decimal digits long is the largest number $x$ such that, given five digits, both you and I can use those 5 digits to store independent $x$-messages. If you store a 500-message, that only leaves enough space for me to store a 200-message. If you only store a 300-message, that leaves enough space for me to store a 333-message. $x=316$ is the point where we can both store an $x$-message, because 316 is the largest whole number such that $x^2 \\le 100000.$\n\n(From this we can deduce that $\\log_b(316) \\approx \\frac{5\\log_b(10)}{2}$, no matter what the base: A 316-digit is worth about half as much as five 10-digits put together.)\n\nThe more 10-digits you split, the more efficient it gets — if we split 7 digit wheels, each of us gets to record a 3162-message; if we split 9 wheels, we each get to record a 31622-message, and so on. But the split is never maximally efficient, because 10 is not a [-square_number]: An $n$-digit can be split perfectly in half if and only if there is an $x$ such that $x \\cdot x = n,$ and this can't happen if $n$ is an odd power of 10. Thus, splitting an odd number of digit wheels never makes the final digit wheel be worth _exactly_ 50¢.\n\nYou know what storage medium is worth exactly 50¢? A 50% chance of a 10-digit.\n\nLet's say we pay 50¢ each for a digit wheel, and then toss a coin to see who gets to use it. How much does this decrease your storage costs? Half the time, you get to [ reduce the number you have left to store] by a factor of 10; the other half the time, you reduce the number you have left to store by a factor of 1 (i.e., not at all). How much does that reduce the number you have left to store, [4b5 on average]?\n\nOn average, your number gets reduced by the [-geometric_mean] of 1 and 10. Geometric means "average out" multiplications: Let's say that you have a thing and you're going to multiply it by 2, 12 and 9. At the end of the day, your thing is going to be 216 times larger, and you're going to have multiplied it by three numbers. Geometric means ask how big each multiplication was "on average" — instead of multiplying your thing by three different numbers, can we find one number $y$ such that $y \\cdot y \\cdot y = 216,$ such that multiplying your thing by $y$ three times is the same as multiplying by 2, 12, and 9 separately? The answer is yes, and $y = \\sqrt[3]{2 \\cdot 12 \\cdot 9} = 6$, as you can verify. Thus, multiplying your thing by 6 is equivalent, [4b5 in expectation], to multiplying your thing by a value selected [uniform_random uniformly at random] from the list [2, 12, 9]. (For more on this, see [ Geometric mean: Intuition].)\n\nSimilarly, if we might reduce the size of the number we want to store by a factor of 1, and we might reduce it by a factor of 10, then "on average" we're reducing it by a factor of $\\sqrt[2]{1 \\cdot 10} \\approx 3.16.$ Multiplying by $\\sqrt[2]{10}$ twice is the same as multiplying by 1 once and 10 once, so it's equivalent [4b5 in expectation] to multiplying by values selected uniformly at random from the list [1, 10].\n\nIf _three_ people are sharing a 10-digit, then the amount of digits each one gets to use in expectation is $\\sqrt[3]{1 \\cdot 1 \\cdot 10} \\approx 2.15.$ So that's what a 2.15 digit looks like — a 10-digit shared between three people. This can be generalized to any probability, and any $n$-digit for $1 < n \\le 10$ can be interpreted as a digit wheel that you have some probability of getting to use ([ How?]).\n\nThere are a few different things we can learn from this interpretation. It allows us to give a physical interpretation to facts like $\\log_{3.16}(5.62) \\approx 1.5$, which says that a 5.62-digit is worth one and a half times as much as a 3.16 digit. What's a 3.16 digit? It's (approximately) a 10-digit shared between two people, i.e., a 10-digit that you have a 50% chance of getting to use yourself. What's a 5.62-digit? It's a 10-digit that you have a 75% chance of getting to use yourself. It's 1.5x as valuable, because 75% is 1.5x as much as 50%. The upgrade from a 3.16-digit to a 5.62-digit constitutes 1.5x increase in my chance of getting to use the digit wheel.\n\nThe other thing that this interpretation tells us is that the digit worth exactly half an $n$-digit is the $\\sqrt{n}$-digit, both because (1) if you want to use an $n$-digit to store two $x$-messages for some $x$, you need $x \\cdot x$ to be at most $n$; and (2) if you have a 50% chance of getting to use an $n$-digit and a 50% chance of [1digit nothing], then that's equivalent [4b5 on average] to a certainty of a $\\sqrt{n}$-digit.\n\nIn case you haven't noticed, we've been implicitly using the fact that doubling a digit squares the number of possibilities you have available to you: With one 10-digit you can store 10 possibilities, with two you can store $10^2 = 100.$ Because two $n$-digits [ emulate] an $n^2$-digit, it's no surprise that half an $n$-digit is a $\\sqrt{n}$-digit.\n\nYou might be wondering how these square root signs weaseled into a discussion about logarithms. You also might be starting to suspect that roots, logarithms, and exponentials are secretly three sides of the same coin. If so, [exp_log_root you're right], though that's a topic for another day.\n\nLest you think that this gives us a complete interpretation of logarithms, note that it still doesn't explain what's going on when the inputs to the logarithm function are between 0 and 1. You might think, "well, now that I know what a 3.16-digit is, I can use that intuition to figure out what a 0.16-digit is" — but it's not quite as easy as that. A 3.16-digit can be interpreted as probabilistic access to a 10-digit, and the same is true for $x$-digits whenever $x > 1.$ But no matter how many people share a 10-digit, it's never worth _less_ than a 1-digit ([1digit which is worthless]); $\\sqrt[n]{10} > 1$ no matter how large $n$ gets. To understand $x$-digits for $0 < x < 1,$ we need one final puzzle piece, covered in the next post.', metaText: '', isTextLoaded: 'true', isSubscribedToDiscussion: 'false', isSubscribedToUser: 'false', isSubscribedAsMaintainer: 'false', discussionSubscriberCount: '2', maintainerCount: '2', userSubscriberCount: '0', lastVisit: '', hasDraft: 'false', votes: [], voteSummary: 'null', muVoteSummary: '0', voteScaling: '0', currentUserVote: '-2', voteCount: '0', lockedVoteType: '', maxEditEver: '0', redLinkCount: '0', lockedBy: '', lockedUntil: '', nextPageId: '', prevPageId: '', usedAsMastery: 'false', proposalEditNum: '0', permissions: { edit: { has: 'false', reason: 'You don't have domain permission to edit this page' }, proposeEdit: { has: 'true', reason: '' }, delete: { has: 'false', reason: 'You don't have domain permission to delete this page' }, comment: { has: 'false', reason: 'You can't comment in this domain because you are not a member' }, proposeComment: { has: 'true', reason: '' } }, summaries: {}, creatorIds: [ 'NateSoares', 'EricRogstad', 'MalcolmMcCrimmon' ], childIds: [], parentIds: [ 'logarithm' ], commentIds: [ '451', '45t', '8nq', '8ns', '8nt', '8nv' ], questionIds: [], tagIds: [ 'b_class_meta_tag' ], relatedIds: [], markIds: [], explanations: [], learnMore: [], requirements: [], subjects: [], lenses: [], lensParentId: '', pathPages: [], learnMoreTaughtMap: {}, learnMoreCoveredMap: {}, learnMoreRequiredMap: {}, editHistory: {}, domainSubmissions: {}, answers: [], answerCount: '0', commentCount: '0', newCommentCount: '0', linkedMarkCount: '0', changeLogs: [ { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '19587', pageId: 'fractional_digits', userId: 'AlexeiAndreev', edit: '0', type: 'newTag', createdAt: '2016-09-14 23:58:33', auxPageId: 'b_class_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '19586', pageId: 'fractional_digits', userId: 'AlexeiAndreev', edit: '0', type: 'deleteTag', createdAt: '2016-09-14 23:58:28', auxPageId: 'work_in_progress_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '3264', likeableType: 'changeLog', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [], id: '17779', pageId: 'fractional_digits', userId: 'MalcolmMcCrimmon', edit: '8', type: 'newEdit', createdAt: '2016-07-30 02:56:30', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15090', pageId: 'fractional_digits', userId: 'NateSoares', edit: '7', type: 'newEdit', createdAt: '2016-07-01 23:50:00', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12360', pageId: 'fractional_digits', userId: 'NateSoares', edit: '6', type: 'newEdit', createdAt: '2016-06-10 19:58:29', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12356', pageId: 'fractional_digits', userId: 'EricRogstad', edit: '5', type: 'newEdit', createdAt: '2016-06-10 19:43:18', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12355', pageId: 'fractional_digits', userId: 'NateSoares', edit: '0', type: 'newAlias', createdAt: '2016-06-10 19:25:37', auxPageId: '', oldSettingsValue: '44l', newSettingsValue: 'fractional_digits' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12257', pageId: 'fractional_digits', userId: 'NateSoares', edit: '4', type: 'newEdit', createdAt: '2016-06-10 01:25:19', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12256', pageId: 'fractional_digits', userId: 'NateSoares', edit: '3', type: 'newEdit', createdAt: '2016-06-10 01:22:14', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12255', pageId: 'fractional_digits', userId: 'NateSoares', edit: '2', type: 'newEdit', createdAt: '2016-06-10 01:20:50', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12247', pageId: 'fractional_digits', userId: 'NateSoares', edit: '1', type: 'newTag', createdAt: '2016-06-09 23:58:29', auxPageId: 'work_in_progress_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12245', pageId: 'fractional_digits', userId: 'NateSoares', edit: '1', type: 'newParent', createdAt: '2016-06-09 23:58:25', auxPageId: 'logarithm', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12243', pageId: 'fractional_digits', userId: 'NateSoares', edit: '1', type: 'newEdit', createdAt: '2016-06-09 23:58:13', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' } ], feedSubmissions: [], searchStrings: {}, hasChildren: 'false', hasParents: 'true', redAliases: {}, improvementTagIds: [], nonMetaTagIds: [], todos: [], slowDownMap: 'null', speedUpMap: 'null', arcPageIds: 'null', contentRequests: { lessTechnical: { likeableId: '3523', likeableType: 'contentRequest', myLikeValue: '0', likeCount: '2', dislikeCount: '0', likeScore: '2', individualLikes: [], id: '88', pageId: 'fractional_digits', requestType: 'lessTechnical', createdAt: '2016-09-21 23:41:57' }, speedUp: { likeableId: '3600', likeableType: 'contentRequest', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [], id: '112', pageId: 'fractional_digits', requestType: 'speedUp', createdAt: '2016-10-12 03:46:24' } } }