<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>Math on phasewalk</title>
    <link>https://blog.phasewalk.xyz/tags/math/</link>
    <description>Recent content in Math on phasewalk</description>
    <generator>Hugo</generator>
    <language>en-us</language>
    <lastBuildDate>Tue, 21 Apr 2026 00:00:00 +0000</lastBuildDate>
    <atom:link href="https://blog.phasewalk.xyz/tags/math/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>A Music Engine in $\mathbb{Z}_{12}$</title>
      <link>https://blog.phasewalk.xyz/posts/z12/</link>
      <pubDate>Tue, 21 Apr 2026 00:00:00 +0000</pubDate>
      <guid>https://blog.phasewalk.xyz/posts/z12/</guid>
      <description>&lt;p&gt;This project began as a tool for visualizing chord shapes and progressions on a guitar fretboard, while being able to easily switch between different tunings.&lt;/p&gt;&#xA;&lt;p&gt;It&amp;rsquo;s evolving into a more general music engine that can be used to explore various musical concepts, but the initial motivation was to have a tool to help me understand how different tunings work on the guitar.&lt;/p&gt;&#xA;&lt;p&gt;The core insight is that music can be represented using modular&#xA;arithmetic! In particular, the 12 notes in the chromatic scale&#xA;can be represented as elements of the group $\mathbb{Z}_{12}$, which is the integers modulo 12. This allows us to use mathematical operations to manipulate musical concepts like chords and scales.&lt;/p&gt;</description>
    </item>
    <item>
      <title>A Music Engine in $\mathbb{Z}_{12}$</title>
      <link>https://blog.phasewalk.xyz/posts/z12/</link>
      <pubDate>Tue, 21 Apr 2026 00:00:00 +0000</pubDate>
      <guid>https://blog.phasewalk.xyz/posts/z12/</guid>
      <description>&lt;p&gt;This project began as a tool for visualizing chord shapes and progressions on a guitar fretboard, while being able to easily switch between different tunings.&lt;/p&gt;&#xA;&lt;p&gt;It&amp;rsquo;s evolving into a more general music engine that can be used to explore various musical concepts, but the initial motivation was to have a tool to help me understand how different tunings work on the guitar.&lt;/p&gt;&#xA;&lt;p&gt;The core insight is that music can be represented using modular&#xA;arithmetic! In particular, the 12 notes in the chromatic scale&#xA;can be represented as elements of the group $\mathbb{Z}_{12}$, which is the integers modulo 12. This allows us to use mathematical operations to manipulate musical concepts like chords and scales.&lt;/p&gt;</description>
    </item>
    <item>
      <title>The Discrete Logarithm Problem</title>
      <link>https://blog.phasewalk.xyz/posts/dlp/</link>
      <pubDate>Sun, 12 Apr 2026 00:00:00 +0000</pubDate>
      <guid>https://blog.phasewalk.xyz/posts/dlp/</guid>
      <description>&lt;p&gt;The &lt;strong&gt;discrete logarithm problem&lt;/strong&gt; (DLP) is a fundamental problem in group theory that underpins the security of many cryptographic systems, including elliptic curve cryptography and the &lt;a href=&#34;https://en.wikipedia.org/wiki/Diffie%E2%80%93Hellman_key_exchange&#34;&gt;Diffie-Hellman key exchange&lt;/a&gt;.&lt;/p&gt;&#xA;&lt;p&gt;In a &lt;a href=&#34;https://blog.phasewalk.xyz/posts/bn254&#34;&gt;cyclic group&lt;/a&gt; $G$ with generator $g$, every element $h\in G$ can be expressed as $h=g^x$ for some integer $x$. Computing $g^x$ given $g$ and $x$ is fast and efficient &amp;ndash; $\mathcal O(\log x)$ using the method of repeated squaring.&lt;/p&gt;&#xA;&lt;p&gt;The inverse problem, however &amp;ndash; given $g$ and $h=g^x$, find $x$ &amp;ndash; is believed to be computationally hard in certain groups. We haven&amp;rsquo;t &lt;em&gt;proven&lt;/em&gt; that it&amp;rsquo;s hard (P vs NP is still an open problem), but we have decades of cryptanalysis and no known efficient algorithms for solving DLP in well-chosen groups, which gives us confidence in its hardness.&lt;/p&gt;</description>
    </item>
  </channel>
</rss>
