Complex Projective 4-Space

cp4space.hatsya.com · Personal blog · on HN since 2020

Complex Projective 4-Space is a mathematician's blog on tilings, Boolean circuits, algebra, chess engine neural networks, and number theory.

What HN saysHN links it for aperiodic monotile and Boolean circuit posts. One commenter says they are an author of the tiling paper and offers to answer questions.
15HN people shared it
6linked it in comments
14stories submitted
751story points
6 months agolast shared
2020people per year2026

Most-shared posts

  1. 1
  2. 2
    The neural network of the Stockfish chess engine
    2 people · 355 points · first shared 2021 · 94 comments on HN
  3. 3
    Shallow trees with heavy leaves (2020)
    2 people · 19 points · first shared 2020 · 2 comments on HN
  4. 4
    4-input 2-output Boolean circuits (2020)
    2 people · 1 points · first shared 2025 · discussion on HN
  5. 5
    29-year-old Conway conjecture settled
    1 people · 230 points · first shared 2022 · 54 comments on HN
  6. 6
    The exceptional Jordan algebra (2020)
    1 people · 108 points · first shared 2025 · 15 comments on HN
  7. 7
    Every finite phoenix has period 2
    1 people · 21 points · first shared 2024 · 3 comments on HN
  8. 8
    Urbit for Mathematicians
    1 people · 7 points · first shared 2021 · discussion on HN
  9. 9
    Training a Random Gaussian Generator
    1 people · 3 points · first shared 2022 · discussion on HN
  10. 10
  11. 11
    Subsumptions of Regular Polytopes
    1 people · 2 points · first shared 2020 · discussion on HN
  12. 12
    Keep your public keys private
    1 people · 2 points · first shared 2021 · discussion on HN
  13. 13
    A combinatorial proof of houstons identity
    1 people · first shared 2023
  14. 14

What HN people wrote when they linked it

robinhouston · 2023-01-19
Oh wow! I wasn’t expecting to see this on HN. I’m one of the authors of the paper, and I’m happy to answer any questions. (I’m sorry I didn’t see it earlier, it was posted in the middle of my night.) First of all, to clear up a possible misunderstanding: this new formula will not help you to compute determinants more quickly. The number of terms still grows a lot faster than polynomial, and if you just want to compute the determinant, there are polynomial-time algorithms for that. The best theoretical results on the complexity of computing determinants, that I know of, are in [0]. In practice you'd probably use Gaussian elimination, or maybe Bareiss for integers. Someone complained that there’s no code in the paper. Since it isn’t really useful for practical computation, I didn’t think code would be useful, but in fact it did start as a Mathematica program when I first discovered it. Adam Goucher (one of my co-authors) wrote a blog post on it [1] within a few days of its discovery, which links to my original Mathematica notebook. [0] https://users.cs.duke.edu/~elk27/bibliography/04/KaVi04_2697263.pdf [1] https://cp4space.hatsya.com/2022/07/02/a-combinatorial-proof-of-housto…
OscarCunningham · 2025-06-23
We also know the optimal circuits if you want to compute two boolean functions from four variables at the same time: https://cp4space.hatsya.com/2020/06/30/4-input-2-output-boolean-circui…
sshine · 2024-10-25
Prime numbers with practical applications do get discovered. Most notably, I suppose: 2^64 - 2^32 + 1: https://cp4space.hatsya.com/2021/09/01/an-efficient-prime-for-number-t… There are annual prizes on performing certain computations efficiently in prime fields for this prime: https://www.zprize.io/ But if there is a practical application to very large primes: I don’t know. 40 million digits sounds very inefficient unless you always operate in sub-groups.
Jarmsy · 2023-06-10
"While all agreed "the hat" was the first einstein, its mirror image was required one in seven times to ensure that a pattern never repeated." The article has a small error here - it should say approximately 7. The ratio between the tiles and their mirrors is phi^4. https://cp4space.hatsya.com/2023/03/21/aperiodic-monotile/
bell-cot · 2023-03-23
If I recall (previously-submitted article - https://cp4space.hatsya.com/2023/03/21/aperiodic-monotile/ ), the shape has to be flipped upside down some fraction of the time. So you'd either need two tile shapes for a real bathroom, or your tiles would be a compromise between "both faces are easily cleaned" and "both faces stick firmly to the mortar".

Keyboard shortcuts

/Search
j kNext / previous blog
EnterOpen selected blog
vVisit the blog site
fFollow / unfollow
lSwitch grid / list view
dSwitch dark mode
g hHome
g pTop posts
g tTopics
g fFollowing
g lLiked
g yHistory
g qFAQ
EscBack / close