
Recent Posts
Subscribe to Complex Projective 4Space
Archives
 September 2021
 July 2021
 June 2021
 May 2021
 February 2021
 January 2021
 December 2020
 November 2020
 October 2020
 September 2020
 August 2020
 July 2020
 June 2020
 May 2020
 June 2019
 May 2019
 March 2019
 November 2018
 September 2018
 July 2018
 June 2018
 May 2018
 April 2018
 March 2018
 February 2018
 November 2017
 October 2017
 November 2016
 May 2016
 March 2016
 February 2016
 December 2015
 September 2015
 March 2015
 February 2015
 January 2015
 December 2014
 November 2014
 October 2014
 September 2014
 August 2014
 July 2014
 June 2014
 May 2014
 April 2014
 March 2014
 February 2014
 January 2014
 December 2013
 November 2013
 October 2013
 September 2013
 August 2013
 July 2013
 June 2013
 May 2013
 April 2013
 March 2013
 February 2013
 January 2013
 December 2012
 November 2012
 October 2012
 September 2012
 August 2012
Recent Comments
 Ross Presser on Hamming backups: a 2of3 variant of SeedXOR
 An efficient prime for numbertheoretic transforms  Complex Projective 4Space on Complexity of integer multiplication almost solved
 SuperSupermario24 on Infinite monkey theorem
 Daniel Sebald on Gosper’s Pyrominia animation
 Daniel Sebald on Rational approximations to Platonic solids
Author Archives: apgoucher
Hamming backups: a 2of3 variant of SeedXOR
SeedXOR is an approach for splitting a Bitcoin wallet seed, adhering to the BIP39 standard, into N ‘parts’ (each the same size as the original) which are each a valid BIP39 seed. It is used by the COLDCARD wallet and … Continue reading
Posted in Uncategorized
1 Comment
An efficient prime for numbertheoretic transforms
My new favourite prime is 18446744069414584321. It is given by , where . This means that, in the finite field , 2^32 functions as a primitive 6th root of unity, and therefore 2 is a primitive 192nd root of unity. … Continue reading
Posted in Uncategorized
Leave a comment
Hamming cube of primes
Given two nonnegative integers, m and n, we say that they are Hammingadjacent if and only if their binary expansions differ in exactly one digit. For example, the numbers 42 and 58 are Hammingadjacent because their binary expansions 101010 and … Continue reading
Posted in Uncategorized
2 Comments
Determinacy
I’d like to take this opportunity to highly recommend Oscar Cunningham’s blog. One of the posts, entitled A Better Representation of Real Numbers, describes an elegant orderpreserving* bijection between the nonnegative reals [0, ∞) and ‘Baire space‘, , the space … Continue reading
Posted in Uncategorized
Leave a comment
Oneway permutations
Oneway permutations are fascinating functions that possess a paradoxical pair of properties. They are efficiently computable functions φ from [n] := {0, 1, …, n−1} to itself that are: Mathematically invertible, meaning that φ is a bijection; Cryptographically uninvertible, meaning … Continue reading
Posted in Uncategorized
Leave a comment
Cyclotomic fields
The nth cyclotomic field is the field generated by a primitive nth root of unity, ζ. It is an example of a number field, consisting of algebraic numbers, and its dimension is φ(n) when regarded as a vector space over … Continue reading
Posted in Uncategorized
Leave a comment
Urbit for mathematicians
The three months since the last cp4space article have largely been spent learning about an interesting project called Urbit. My attention was drawn to its existence during a talk by RivaMelissa Tez (formerly of Intel) on the importance of continued … Continue reading
Posted in Uncategorized
3 Comments
A curious construction of the Mathieu group M11
Previously, we discussed which regular polytopes have vertexsets that occur as proper subsets of the vertexset of another regular polytope in the same dimension. In particular, when there is a Hadamard matrix of order 4k, then then the (4k−1)dimensional simplex … Continue reading
Posted in Uncategorized
1 Comment
Assorted topics
This is a digest of things that have happened this month, but which are individually too small to each warrant a separate cp4space post. Firstly, there have been a couple of exciting results in the field of combinatorics: The ErdősFaberLovász … Continue reading
Posted in Uncategorized
Leave a comment
Meagre sets and null sets
There are two competing notions for describing a subset of the real numbers as being ‘small’: a null set is a subset of the reals with Lebesgue measure zero; a meagre set is a countable union of nowheredense sets. Both … Continue reading
Posted in Uncategorized
Leave a comment