{"id":847,"date":"2022-05-09T14:30:18","date_gmt":"2022-05-09T18:30:18","guid":{"rendered":"https:\/\/mathvoices.ams.org\/mathmedia\/?p=847"},"modified":"2022-06-28T11:55:24","modified_gmt":"2022-06-28T15:55:24","slug":"tonys-take-april-2022","status":"publish","type":"post","link":"https:\/\/mathvoices.ams.org\/mathmedia\/tonys-take-april-2022\/","title":{"rendered":"Tony&#8217;s Take April 2022"},"content":{"rendered":"<h2>This month&#8217;s topics:<\/h2>\n<ul>\n<li><a href=\"#one\">Quipus and quantum computing<\/a><\/li>\n<li><a href=\"#two\">Geometry, a human language?<\/a><\/li>\n<\/ul>\n<p><a name=\"one\"><\/a><\/p>\n<h3>Quipus and quantum computing<\/h3>\n<p><a href=\"https:\/\/www.wsj.com\/articles\/a-quantum-leap-with-strings-attached-11649960549\">Frank Wilczek&#8217;s column<\/a> in the the <i>Wall Street Journal<\/i> (April 14, 2022) had the title &#8220;A Quantum Leap, With Strings Attached; The Inca system of quipu\u2014tying a series of knots to record information\u2014is providing a surprising model to modern physics and quantum computing.&#8221;<\/p>\n<figure id=\"attachment_883\" aria-describedby=\"caption-attachment-883\" style=\"width: 997px\" class=\"wp-caption aligncenter\"><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" class=\"wp-image-883 size-full\" src=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/mathmedia\/wp-content\/uploads\/sites\/3\/2022\/04\/Quipu-images-1.jpg?resize=997%2C720&#038;ssl=1\" alt=\"Left: photo of a quipu. Right: a drawing of a quipu with four pendants and one main cord, representing the number 805.\" width=\"997\" height=\"720\" srcset=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/mathmedia\/wp-content\/uploads\/sites\/3\/2022\/04\/Quipu-images-1.jpg?w=997&amp;ssl=1 997w, https:\/\/i0.wp.com\/mathvoices.ams.org\/mathmedia\/wp-content\/uploads\/sites\/3\/2022\/04\/Quipu-images-1.jpg?resize=300%2C217&amp;ssl=1 300w, https:\/\/i0.wp.com\/mathvoices.ams.org\/mathmedia\/wp-content\/uploads\/sites\/3\/2022\/04\/Quipu-images-1.jpg?resize=768%2C555&amp;ssl=1 768w, https:\/\/i0.wp.com\/mathvoices.ams.org\/mathmedia\/wp-content\/uploads\/sites\/3\/2022\/04\/Quipu-images-1.jpg?resize=465%2C336&amp;ssl=1 465w, https:\/\/i0.wp.com\/mathvoices.ams.org\/mathmedia\/wp-content\/uploads\/sites\/3\/2022\/04\/Quipu-images-1.jpg?resize=692%2C500&amp;ssl=1 692w\" sizes=\"auto, (max-width: 997px) 100vw, 997px\" \/><figcaption id=\"caption-attachment-883\" class=\"wp-caption-text\"><strong>Left<\/strong>, a quipu from the American Museum of Natural History, image taken from L. Leland Locke&#8217;s <i>The Ancient Quipu<\/i> (AMNH, 1923). Here the <i>main cord<\/i> supports 24 <i>pendants<\/i>, tied off in groups of four by the <i> top cords<\/i>. <strong>Right<\/strong>, Locke&#8217;s analysis of the third 4-cord group, image adapted from his book. Overhand knots, represented by circles and crosses, represent 10 or 100 depending on their position on the cord. The other symbols represent the special knots used to record the numbers from 1 to 9. In this quipu each top cord records the sum of the numbers encoded on the four corresponding pendants.<\/figcaption><\/figure>\n<p>This textile document is a typical quipu in that its data is numerical and recorded in a decimal system. (For another example and more details, see <a href=\"https:\/\/www.youtube.com\/watch?v=-mvjiMjZf-4\">Nicole Rode&#8217;s YouTube video<\/a> from the British Museum). While they were used by earlier pre-Columbian Andean cultures, most of the surviving specimens date from the period of Inca domination, c. 1400\u20131532 CE. (We can only guess what the numbers recorded on quipus were actually counting \u2014these civilizations left no written records).<\/p>\n<p>Wilczek compares quipus with the information storage and transmission systems we encounter today: &#8220;written human language, the binary code of computers and the DNA and RNA sequences of genetics,&#8221; and remarks that the Andean system involves &#8220;something unique: topology, the science of stable shapes and structures.&#8221; In fact the difference between one knot and another, which is <i>contrastive<\/i> in quipus, to borrow a term from linguistics, is one of the most basic examples of a purely topological concept.<\/p>\n<p>The connection between quipus and &#8220;modern physics and computing theory&#8221; comes precisely through topology. The equivalents of Andean cords are the <i>world-lines<\/i> of particles. Wilczek asks us to suppose our particles are only moving in two dimensions, and that we add a third dimension to represent time. Then as time progresses the successive positions of a particle trace out a curve: this is its world-line. And if several particles are observed at once, their world-lines can tangle (&#8220;these are not our ancestor&#8217;s strings&#8221;) and form what mathematicians call <i>braids<\/i>.<\/p>\n<figure id=\"attachment_880\" aria-describedby=\"caption-attachment-880\" style=\"width: 405px\" class=\"wp-caption aligncenter\"><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" class=\"wp-image-880 size-full\" src=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/mathmedia\/wp-content\/uploads\/sites\/3\/2022\/04\/knot-braid.jpg?resize=405%2C476&#038;ssl=1\" alt=\"Two examples of how the world-lines of three particles form braids.\" width=\"405\" height=\"476\" srcset=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/mathmedia\/wp-content\/uploads\/sites\/3\/2022\/04\/knot-braid.jpg?w=405&amp;ssl=1 405w, https:\/\/i0.wp.com\/mathvoices.ams.org\/mathmedia\/wp-content\/uploads\/sites\/3\/2022\/04\/knot-braid.jpg?resize=255%2C300&amp;ssl=1 255w\" sizes=\"auto, (max-width: 405px) 100vw, 405px\" \/><figcaption id=\"caption-attachment-880\" class=\"wp-caption-text\">The paths of $n$ planar particles, tracked through time, form an $n$-strand braid. Given a finite piece of the braid, joining tops to bottoms, proceeding left to right, can give a knot. Here (top) $n=3$ and the knot is in fact the figure-eight knot. But for some braids (bottom) this process produces a <i>link<\/i> involving two or more disjoint curves.<\/figcaption><\/figure>\n<p>&#8220;There are certain particles, called anyons, whose quantum behavior keeps track of the braid that their world-lines form [and therefore could be used to store information]. The anyon world-lines form a quantum quipu.&#8221; Wilczek&#8217;s terminology has to be taken with a grain of salt. Knots and braids are very different mathematical objects, although fundamentally related (see the drawing above and <a href=\"https:\/\/en.wikipedia.org\/wiki\/Alexander%27s_theorem\">Alexander&#8217;s Theorem<\/a> on Wikipedia); quipus use one and not the other. Nevertheless it is striking that the topology of curves in space turns up both in an antique recording system and in the latest quantum science.<\/p>\n<p>The science really is very new. Anyons were only experimentally detected two years ago (Wilczek himself had conjectured their existence, and named them, some 40 years back). He tells us that &#8220;the simple quantum quipus that were produced in those pioneering experiments can&#8217;t store much information&#8221; but that only last month &#8220;Microsoft researchers announced that they have engineered much more capable anyons.&#8221; This is presumably the research described in the <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/blog\/microsoft-has-demonstrated-the-underlying-physics-required-to-create-a-new-kind-of-qubit\/\">Microsoft Research Blog<\/a> on March 14.<\/p>\n<p><a name=\"two\"><\/a><\/p>\n<h3>Geometry, a human language?<\/h3>\n<p>Siobhan Roberts contributed <a href=\"https:\/\/www.nytimes.com\/2022\/03\/22\/science\/geometry-math-brain-primates.html\">Is Geometry a Language That Only Humans Know?<\/a> to the March 22, 2022 <i>New York Times<\/i>. The subtitle is more specific: &#8220;Neuroscientists are exploring whether shapes like squares and rectangles \u2014 and our ability to recognize them \u2014 are part of what makes our species special.&#8221; The neuroscientists in question are Stanislas Dehaene (Universit\u00e9 Paris-Saclay and Coll\u00e8ge de France) and his collaborators.<\/p>\n<p>The first part of Roberts&#8217;s article concerns the research that Dehaene and his team published last year in <i>PNAS<\/i>: <a href=\"https:\/\/www.pnas.org\/doi\/10.1073\/pnas.2023123118\">&#8220;Sensitivity to geometric shape regularity in humans and baboons: A putative signature of human singularity.&#8221;<\/a> In a typical experiment they report, subjects were presented with a display of polygons. Five of the six were similar, differing only in size and orientation; the sixth was like the others except that its shape had been changed by moving one vertex. Subjects were asked to pick out the oddball.<\/p>\n<p>The &#8220;normal&#8221; polygons were chosen from a family of eleven quadrilaterals that can be ranked, starting with a square, by how unsymmetrical they are.<\/p>\n<figure id=\"attachment_876\" aria-describedby=\"caption-attachment-876\" style=\"width: 504px\" class=\"wp-caption aligncenter\"><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" class=\"wp-image-876 size-full\" src=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/mathmedia\/wp-content\/uploads\/sites\/3\/2022\/04\/Dehaene-1.png?resize=504%2C340&#038;ssl=1\" alt=\"Eleven quadrilaterals ranging from a square to a completely irregular shape.\" width=\"504\" height=\"340\" srcset=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/mathmedia\/wp-content\/uploads\/sites\/3\/2022\/04\/Dehaene-1.png?w=504&amp;ssl=1 504w, https:\/\/i0.wp.com\/mathvoices.ams.org\/mathmedia\/wp-content\/uploads\/sites\/3\/2022\/04\/Dehaene-1.png?resize=300%2C202&amp;ssl=1 300w, https:\/\/i0.wp.com\/mathvoices.ams.org\/mathmedia\/wp-content\/uploads\/sites\/3\/2022\/04\/Dehaene-1.png?resize=465%2C314&amp;ssl=1 465w\" sizes=\"auto, (max-width: 504px) 100vw, 504px\" \/><figcaption id=\"caption-attachment-876\" class=\"wp-caption-text\">The collection of quadrilaterals used in this experiment. The colors of the labels will identify points in the display of results. &#8220;Irregular&#8221; has no symmetries, no parallel sides and no right angles. The last diagram shows various ways in which an oddball can be generated by moving one vertex. Images for this item used under <a href=\"https:\/\/protect-us.mimecast.com\/s\/lSYQC68xA5UrVw4ycps3r-?domain=creativecommons.org\">PNAS License<\/a>.<\/figcaption><\/figure>\n<figure id=\"attachment_877\" aria-describedby=\"caption-attachment-877\" style=\"width: 449px\" class=\"wp-caption aligncenter\"><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" class=\"wp-image-877 size-full\" src=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/mathmedia\/wp-content\/uploads\/sites\/3\/2022\/04\/Dehaene-2a.jpg?resize=449%2C407&#038;ssl=1\" alt=\"typical test slide: 6 quadrilaterals arranged in a circle. Five of the quadrilaterals are rectanges, and the last is a right hinge (a rectangle with one corner jutting out).\" width=\"449\" height=\"407\" srcset=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/mathmedia\/wp-content\/uploads\/sites\/3\/2022\/04\/Dehaene-2a.jpg?w=449&amp;ssl=1 449w, https:\/\/i0.wp.com\/mathvoices.ams.org\/mathmedia\/wp-content\/uploads\/sites\/3\/2022\/04\/Dehaene-2a.jpg?resize=300%2C272&amp;ssl=1 300w\" sizes=\"auto, (max-width: 449px) 100vw, 449px\" \/><figcaption id=\"caption-attachment-877\" class=\"wp-caption-text\">A typical display during the experiment. Here the &#8220;normal&#8221; quadrilateral is the rectangle. Image redrawn from original for better resolution.<\/figcaption><\/figure>\n<p>The first experiment, involving 605 French adults, showed that the number of errors they made &#8220;varied massively&#8221; with the lack of symmetry\/orthogonality\/parallelism of the &#8220;normal&#8221; exemplar.<\/p>\n<figure id=\"attachment_878\" aria-describedby=\"caption-attachment-878\" style=\"width: 499px\" class=\"wp-caption aligncenter\"><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" class=\"wp-image-878 size-full\" src=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/mathmedia\/wp-content\/uploads\/sites\/3\/2022\/04\/Dehaene-3.png?resize=499%2C235&#038;ssl=1\" alt=\"graph with error rate on the y axis and the shapes on the x axis. More irregular shapes had higher error rates.\" width=\"499\" height=\"235\" srcset=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/mathmedia\/wp-content\/uploads\/sites\/3\/2022\/04\/Dehaene-3.png?w=499&amp;ssl=1 499w, https:\/\/i0.wp.com\/mathvoices.ams.org\/mathmedia\/wp-content\/uploads\/sites\/3\/2022\/04\/Dehaene-3.png?resize=300%2C141&amp;ssl=1 300w, https:\/\/i0.wp.com\/mathvoices.ams.org\/mathmedia\/wp-content\/uploads\/sites\/3\/2022\/04\/Dehaene-3.png?resize=465%2C219&amp;ssl=1 465w\" sizes=\"auto, (max-width: 499px) 100vw, 499px\" \/><figcaption id=\"caption-attachment-878\" class=\"wp-caption-text\">The geometric regularity effect in an experiment with French adults. &#8220;The error rate varied massively with shape,&#8221; the researchers wrote. Shapes are ordered by performance.<\/figcaption><\/figure>\n<p>The team repeated the experiment with French kindergarteners and with Himba adults (&#8220;a pastoral people of northern Namibia whose language contains no words for geometric shapes, who receive little or no formal education, and who, unlike French subjects, do not live in a carpentered world.&#8221;) The results correlated strongly with those of French adults. &#8220;Both findings converge with previous work to suggest that the geometric regularity effect reflects a universal intuition of geometry that is present in all humans and is largely independent of formal knowledge, language, schooling, and environment.&#8221;<\/p>\n<p>The experimenters had access to a colony of baboons (<i>Papio papio<\/i>) in the south of France; they managed to train the baboons to where they had a &#8220;clear understanding of the task&#8221;\u2014they could recognize the oddball apple in a group of watermelon slices, and even a regular hexagon in a group of non-convex polygons, but &#8220;although error rates differed across the 11 shapes, with a consistent ordering across baboons, [&#8230;] they correlated weakly and nonsignificantly with the geometric regularity effect found in human populations.&#8221;<\/p>\n<p>After speaking with Moira Dillon (a psychologist at New York University) Roberts puts this research in a historical context: &#8220;Plato believed that humans were uniquely attuned to geometry; the linguist Noam Chomsky has argued that language is a biologically rooted human capacity. Dr. Dehaene aims to do for geometry what Dr. Chomsky did for language.&#8221; But Frans de Waal (a primatologist at Emory University) cautioned her: &#8220;Whether this difference in perception amounts to human &#8216;singularity&#8217; would have to await research on our closest primate relatives, the apes.&#8221;<\/p>\n<p>Roberts reviews connections between this research and work in artificial intelligence, and then moves on to Dehaene <i>et al.<\/i>&#8216;s latest project, essentially figuring out what in the human mind makes geometric regularity so significant. Here&#8217;s a clue, quoting from Dehaene: &#8220;We postulate that when you look at a geometric shape, you immediately have a mental program for it. You understand it, inasmuch as you have a program to reproduce it.&#8221; The team explored an algorithm, <a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454080\">DreamCoder<\/a> (the authors overlap with Dehaene&#8217;s collaborators) that &#8220;finds, or learns, the shortest possible program for [drawing] any given shape or pattern.&#8221; Then they tested human subjects on the same shapes. &#8220;The researchers found that the more complex a shape and the longer the program, the more difficulty a subject had remembering it or discriminating it from others.&#8221;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>This month&#8217;s topics: Quipus and quantum computing Geometry, a human language? Quipus and quantum computing Frank Wilczek&#8217;s column in the the Wall Street Journal (April 14, 2022) had the title &#8220;A Quantum Leap, With Strings Attached; The Inca system of quipu\u2014tying a series of knots to record information\u2014is providing a<span class=\"more-link\"><a href=\"https:\/\/mathvoices.ams.org\/mathmedia\/tonys-take-april-2022\/\">Read More &rarr;<\/a><\/span><\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"advanced_seo_description":"","jetpack_seo_html_title":"","jetpack_seo_noindex":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_post_was_ever_published":false},"categories":[3],"tags":[],"class_list":["entry","author-tphillips","post-847","post","type-post","status-publish","format-standard","category-tony-phillips-take"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":true,"_links":{"self":[{"href":"https:\/\/mathvoices.ams.org\/mathmedia\/wp-json\/wp\/v2\/posts\/847","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mathvoices.ams.org\/mathmedia\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mathvoices.ams.org\/mathmedia\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/mathvoices.ams.org\/mathmedia\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/mathvoices.ams.org\/mathmedia\/wp-json\/wp\/v2\/comments?post=847"}],"version-history":[{"count":27,"href":"https:\/\/mathvoices.ams.org\/mathmedia\/wp-json\/wp\/v2\/posts\/847\/revisions"}],"predecessor-version":[{"id":909,"href":"https:\/\/mathvoices.ams.org\/mathmedia\/wp-json\/wp\/v2\/posts\/847\/revisions\/909"}],"wp:attachment":[{"href":"https:\/\/mathvoices.ams.org\/mathmedia\/wp-json\/wp\/v2\/media?parent=847"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mathvoices.ams.org\/mathmedia\/wp-json\/wp\/v2\/categories?post=847"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mathvoices.ams.org\/mathmedia\/wp-json\/wp\/v2\/tags?post=847"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}