Compare commits

..

No commits in common. "master" and "finite-field" have entirely different histories.

358 changed files with 124 additions and 2692 deletions

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

View File

@ -2,180 +2,18 @@ project:
type: website
website:
favicon: "./logo-favicon.png"
favicon: ./logo-favicon.png
title: "zenzicubi.co"
repo-url: https://git.zenzicubi.co/cube/zenzicubi.co
repo-branch: master
repo-actions: [source]
repo-link-target: "_blank"
navbar:
logo: "./logo-vector.svg"
left:
- text: "Math"
menu:
- ./posts/math/polycount/index.qmd
- ./posts/math/pentagons/index.qmd
- ./posts/math/chebyshev/index.qmd
- ./posts/math/stereo/index.qmd
- ./posts/math/permutations/index.qmd
- ./posts/math/type-algebra/index.qmd
- ./posts/math/number-number/index.qmd
- ./posts/math/finite-field/index.qmd
- ./posts/math/misc/index.qmd
logo: "/logo-vector.svg"
right:
- ./about/index.qmd
- icon: git
href: https://git.zenzicubi.co/cube/zenzicubi.co
# - about.qmd
- icon: github
href: https://github.com/queue-miscreant
background: primary
search: true
draft-mode: unlinked
sidebar:
- id: topic-sidebar
style: "floating"
contents:
- section: "Topics"
contents:
- ./posts/math/polycount/index.qmd
- ./posts/math/pentagons/index.qmd
- ./posts/math/chebyshev/index.qmd
- ./posts/math/stereo/index.qmd
- ./posts/math/permutations/index.qmd
- ./posts/math/type-algebra/index.qmd
- ./posts/math/number-number/index.qmd
- ./posts/math/finite-field/index.qmd
- ./posts/math/misc/index.qmd
- id: misc-sidebar
style: "floating"
contents:
- section: "Miscellaneous"
contents:
- ./posts/math/misc/platonic-volume/index.qmd
- ./posts/math/misc/infinitesimals/index.qmd
- id: polycount-sidebar
style: "floating"
contents:
- section: "Polynomial Counting"
href: ./posts/math/polycount/index.qmd
contents:
- text: "Part 1: A primer"
href: ./posts/math/polycount/1/index.qmd
- text: "Part 2: Binary and beyond"
href: ./posts/math/polycount/2/index.qmd
- text: "Part 3: The third degree"
href: ./posts/math/polycount/3/index.qmd
- text: "Part 4: Two twos"
href: ./posts/math/polycount/4/index.qmd
contents:
- text: "Appendix"
href: ./posts/math/polycount/4/appendix/index.qmd
- text: "Part 5: Pentamerous multiplication"
href: ./posts/math/polycount/5/index.qmd
- section: 2D
contents:
- text: "Part 1: Lines, leaves, and sand"
href: ./posts/math/polycount/sand-1/index.qmd
- text: "Part 2: Reorienting Polynomials"
href: ./posts/math/polycount/sand-2/index.qmd
- id: pentagons-sidebar
style: "floating"
contents:
- section: "12 Pentagons"
href: ./posts/math/pentagons/index.qmd
contents:
- text: "Part 1"
href: ./posts/math/pentagons/1/index.qmd
- text: "Part 2"
href: ./posts/math/pentagons/2/index.qmd
- text: "Part 3"
href: ./posts/math/pentagons/3/index.qmd
- id: chebyshev-sidebar
style: "floating"
contents:
- section: "Generating Polynomials"
href: ./posts/math/chebyshev/index.qmd
contents:
- text: "Part 1: Regular Constructability"
href: ./posts/math/chebyshev/1/index.qmd
- text: "Part 2: Ghostly Chains"
href: ./posts/math/chebyshev/2/index.qmd
- text: "Extra: Legendary"
href: ./posts/math/chebyshev/extra/index.qmd
- id: stereography-sidebar
style: "floating"
contents:
- section: "Algebraic Stereography"
href: ./posts/math/stereo/index.qmd
contents:
- ./posts/math/stereo/1/index.qmd
- ./posts/math/stereo/2/index.qmd
- id: permutations-sidebar
style: "floating"
contents:
- section: "A Game of Permutations"
href: ./posts/math/permutations/index.qmd
contents:
- text: "Part 1"
href: ./posts/math/permutations/1/index.qmd
- text: "Part 2"
href: ./posts/math/permutations/2/index.qmd
- text: "Part 3"
href: ./posts/math/permutations/3/index.qmd
- text: "Appendix"
href: ./posts/math/permutations/appendix/index.qmd
- id: type-algebra-sidebar
style: "floating"
contents:
- section: "Type Algebra and You"
href: ./posts/math/type-algebra/index.qmd
contents:
- text: "Part 1: Basics"
href: ./posts/math/type-algebra/1/index.qmd
- text: "Part 2: A Fixer-upper"
href: ./posts/math/type-algebra/2/index.qmd
- text: "Part 3: Combinatorial Types"
href: ./posts/math/type-algebra/3/index.qmd
- id: number-number-sidebar
style: "floating"
contents:
- section: "Numbering Numbers"
href: ./posts/math/number-number/index.qmd
contents:
- text: "From 0 to ∞"
href: ./posts/math/number-number/1/index.qmd
- text: "Ordering Obliquely"
href: ./posts/math/number-number/2/index.qmd
- id: finite-field-sidebar
style: "floating"
contents:
- section: "Exploring Finite Fields"
href: ./posts/math/finite-field/index.qmd
contents:
- text: "Part 1: Preliminaries"
href: ./posts/math/finite-field/1/index.qmd
- text: "Part 2: Matrix Boogaloo"
href: ./posts/math/finite-field/2/index.qmd
contents:
- text: "Appendix"
href: ./posts/math/finite-field/2/extra/index.qmd
- text: "Part 3: Roll a d20"
href: ./posts/math/finite-field/2/index.qmd
- text: "Part 5: The Power of Forgetting"
href: ./posts/math/finite-field/2/index.qmd
format:
html:
theme:

View File

@ -1,63 +0,0 @@
---
title: "About"
---
This is my personal website (and the third iteration thereof).
The first version used Wordpress since it was quite easy to get into,
didn't require much research, and web hosting services made it easy to set up.
It lasted around three months near the end of 2020, after which I lost my posts because of
hosting troubles and because I wasn't using proper backups.
The second version also used Wordpress, and lasted until the start of 2025
(though the last post I had written up to that point was from the start of 2024).
This version uses [Quarto](https://quarto.org/), an open-source publishing platform that has
some nice features like text-based configuration and Jupyter integration.
As a bonus, it also produces static web pages.
Why Quarto?
-----------
I had a couple of reasons for switching platforms:
- Wordpress is either overkill or not enough.
I don't need a block editor or multiple users, and I don't want to make custom content
just for it to be specific to Wordpress.
- I write a lot of code and LaTeX, which Wordpress relies on plugins for.
Quarto uses (primarily) Pandoc-style Markdown, which allows for inlining of both out of the box.
- Also, because of Jupyter integration, code cells can generate output for the page they're in.
- Since pages are written in Markdown, everything can be edited locally and version-controlled in Git.
The last two are particularly nice in ensuring that the site is reproducibile,
technically even without Quarto.
Instead of articles that live in a Wordpress database or as scattered random files,
I have the complete documents in a structure 1:1 with how the website is organized.
Mathematics
-----------
As of writing, all posts on this site are about math.
In particular, they are dedicated to certain non-obvious insights I choose to investigate.
Typically, although information about these subjects may exist online, it does not exist in a single,
easily-accessible source.
I find writing math posts to be an excellent motivator when it comes to researching things.
It also gives me a chance to learn new tools that otherwise I would not have a reason to use,
not to mention being a good exercise in writing and diagram creation.
An example of this (and one that relates to the creation of the site) is when I was writing code
for what would become the contents of [this post](/posts/polycount/5/).
It was easy enough to learn a library for rendering images (or GIFs),
but I didn't have a gallery to host them, nor a means to share the rationale which produced them.
In a frenzy, I tried gathering my notes in a single text file before eventually putting them on a website.
Along the way, I learned LaTeX to typeset the relevant equations.
I do my best to attribute the programs I use and direct sources I consult along the way,
but extra information is frequently available on Wikipedia,
which I may link to in order to give my explanation some grounding.
Unless otherwise stated, the figures and articles in this category are available under
[CC BY-SA](https://creativecommons.org/licenses/by-sa/4.0/).

View File

@ -1,15 +1,13 @@
---
title: "Posts"
title: "Posts by topic"
listing:
contents:
- posts/math/polycount/*/index.*
- posts/math/pentagons/*/index.*
- posts/math/chebyshev/*/index.*
- posts/math/stereo/*/index.*
- posts/math/permutations/*/index.*
- posts/math/type-algebra/*/index.*
- posts/math/number-number/*/index.*
- posts/math/finite-field/*/index.*
- posts/math/misc/*/index.*
sort: "date desc"
- posts/number-number/index.*
- posts/permutations/index.*
- posts/stereo/index.*
- posts/chebyshev/index.*
- posts/pentagons/index.*
- posts/polycount/index.*
- posts/misc/*/index.*
sort: false
---

View File

@ -27,10 +27,9 @@ Each term of the series is weighted by a geometrically decreasing coefficient *c
$$
[...d_2 d_1 d_0]_p \mapsto e^{2\pi i [d_0] / p}
+ c e^{2\pi i [d_1 d_0] / p^2}
+ c^2 e^{2\pi i [d_2 d_1 d_0] / p^2}
+ ...
\\
+ c e^{2\pi i [d_1 d_0] / p^2}
+ c^2 e^{2\pi i [d_2 d_1 d_0] / p^2}
+ ... \\
f_N(d; p) = \sum_{n = 0}^N c^n e^{2\pi i \cdot [d_{n:0}]_p / p^{n + 1}}
$$

View File

@ -38,7 +38,7 @@ from sympy.abc import z
```
[Recently](/posts/math/misc/platonic-volume), I used coordinate-free geometry to derive
[Recently](/posts/misc/platonic-volume), I used coordinate-free geometry to derive
the volumes of the Platonic solids, a problem which was very accessible to the ancient Greeks.
On the other hand, they found certain problems regarding which figures can be constructed via
compass and straightedge to be very difficult. For example, they struggled with problems
@ -742,13 +742,16 @@ My initial jumping off point for writing this article was completely different.
However, in the process of writing, its share of the article shrank and shrank until its
introduction was only vaguely related to what preceded it.
But alas, the introduction via geometric constructions flows better coming off my
[post about the Platonic solids](/posts/math/misc/platonic-volume).
[post about the Platonic solids](/posts/misc/platonic-volume).
Also, it reads better if I rely less on "if you search for this sequence of numbers"
and more on how to interpret the definition.
Consider reading [the follow-up](../2) to this post if you're interested in another way
one can obtain the Chebyshev polynomials.
I have since rederived the Chebyshev polynomials without the complex exponential,
which you can read about in [this post](/posts/math/stereo/2).
Diagrams created with GeoGebra.
<!--
Update: I have since rederived the Chebyshev polynomials without the complex exponential,
which you can read about in [this post]().
-->

View File

@ -0,0 +1,5 @@
# freeze computational output
freeze: auto
# Enable banner style title blocks
title-block-banner: true

View File

@ -3,9 +3,6 @@ title: "Chebyshev Polynomials"
listing:
contents: .
sort: "date"
bread-crumbs: false
sidebar:
---
Articles about the generating Chebyshev polynomials (and other related families).

View File

@ -1,5 +1,5 @@
---
title: "Exploring Finite Fields, Part 2 Appendix"
title: "Exploring Finite Fields, Part 2 (Extra)"
description: |
Additional notes about polynomial evaluation.
format:
@ -280,7 +280,7 @@ $$
\end{gather*}
$$
The "[path swaps](/posts/math/permutations/1/)" shown commute only the adjacent elements.
The "[path swaps](/posts/permutations/1/)" shown commute only the adjacent elements.
By contrast, the permutation $(0 ~ 2)$ commutes *Ξ*~0~ past both *Ξ*~1~ and *Ξ*~2~.
But since we already know *Ξ*~0~ and *Ξ*~1~ commute by the above list,
we learn at this step that *Ξ*~0~ and *Ξ*~2~ commute.

View File

@ -174,7 +174,7 @@ In addition to this, we can also note the following:
since this follows from associativity.
Both of these facts narrow the ring of matrices to a full-on field.
This absolves us of needing to adjoin roots symbolically using α.
This absolves us of needing to symbolically adjoin roots symbolically using α.
Instead, we can take the companion matrix of an irreducible polynomial *p*
and work with its powers in the same way we would a typical root[^1].

View File

Before

Width:  |  Height:  |  Size: 1.5 MiB

After

Width:  |  Height:  |  Size: 1.5 MiB

View File

@ -281,7 +281,7 @@ If you've studied enough group theory, you know that there are two groups of ord
Since the former group has order-6 elements, but none of these matrices are of order 6,
the matrix group must be isomorphic to the latter.
Since the group is small, it's not too difficult to construct an isomorphism between the two.
Writing the elements of *S*~3~ in [cycle notation](/posts/math/permutations/1/), we have:
Writing the elements of *S*~3~ in [cycle notation](/posts/permutations/1/), we have:
$$
\begin{gather*}

Some files were not shown because too many files have changed in this diff Show More