Sign in

Nathaniel Johnston

@njohnston.ca
368 followers 125 following 110 posts

Associate Professor of Mathematics at Mount Allison University Interested in quantum information theory, Conway's Game of Life, recreational mathematics, and mathematics pedagogy. 🔗 njohnston.ca ▶️ www.youtube.com/@NathanielMath

PostsRepliesMedia
Nathaniel Johnston @njohnston.ca · 24/09/2026
New preprint today. I (with AI) proved the S_{n,n} conjecture from spectral graph theory: arxiv.org/abs/2609.26895
arxiv.org
The Laplacian $S_{n,n}$ conjecture is true
The "$S_{n,n}$ conjecture" asserts that there does not exist a simple graph on $n$ vertices with Laplacian spectrum $\{0,1,2,\ldots,n-1\}$ for any integer $n \geq 2$. This conjecture has already been ...
020
Nathaniel Johnston @njohnston.ca · 16/09/2026
New preprint today with Benjamin Lovitz, @vrusso.bsky.social, and Jamie Sikora: arxiv.org/abs/2609.17411 We have been trying to extend our older paper (arXiv:2311.17047) since late 2023, but we were stuck on the proof of what is now Theorem 2 in the new paper for *years*.
arxiv.org
Sharp bounds for perfect quantum state classification beyond antidistinguishability
A multiset of pure quantum states is said to be k-learnable if there is a measurement strategy that always narrows an unknown sample drawn from the list down to one of at most k candidates. The parame...
120
Nathaniel Johnston @njohnston.ca · 11/09/2026
New preprint up today with Benjamin Lovitz: arxiv.org/abs/2609.11849 We construct positive-partial-transpose states with Schmidt number near n - sqrt(2n), versus the previously best-known constructions with Schmidt number of roughly n/2.
arxiv.org
PPT states of almost maximal Schmidt number
We construct PPT states on $\mathbb{C}^m \otimes\mathbb{C}^n$ that have Schmidt number asymptotically approaching the smaller local dimension. More specifically, we construct a PPT state with Schmidt ...
141
Nathaniel Johnston @njohnston.ca · 02/08/2026
It seems the rush to use ChatGPT Sol to solve all our open problems has hit quantum information theory. A problem from the field that has been open for 25 years was just solved 3 times, by 3 separate groups, in 2 days: arxiv.org/abs/2607.23416 arxiv.org/abs/2607.24309 arxiv.org/abs/2607.24479
arxiv.org
A partial-trace matrix inequality and Werner-state distillability
Motivated by the equivalent partial-trace formulations of Werner-state distillability [P. Costa Rico, Lett. Math. Phys. 115, 47 (2025); S.-Y. Qi et al., Phys. Rev. A 110, 012406 (2024)], we prove a bi...
2110
Nathaniel Johnston @njohnston.ca · 08/07/2026
New preprint with Sarah Plosker and my student, Luis Varona: "Enumeration of Laplacian integral and {-1,0,1}-diagonalizable graphs" (description in replies) arxiv.org/abs/2607.06336
arxiv.org
Enumeration of Laplacian integral and {-1,0,1}-diagonalizable graphs
A graph with Laplacian matrix $L$ is called Laplacian integral if the eigenvalues of $L$ are all integers, and it is called $\{-1,0,1\}$-diagonalizable if $L$ has a full set of eigenvectors with entri...
130
Reposted by Nathaniel Johnston
Vincent Russo @vrusso.bsky.social · 15/04/2026
New preprint with @njohnston.ca: "Distinguishability of locally diagonal orthogonally invariant quantum states" Optimal measurements preserve LDOI structure, reducing optimization from n^4 to O(n^2) variables. For two-qubit cases: LOCC = SEP = PPT. arxiv.org/abs/2604.12808
051
Nathaniel Johnston @njohnston.ca · 25/08/2025
Huge shout-out to authors who put humour, even very mild humour, in their papers. You keep me awake.
A screenshot of a math paper.
170
Nathaniel Johnston @njohnston.ca · 21/07/2025
New paper published today! "A hierarchy of eigencomputations for polynomial optimization on the sphere", with Benjamin Lovitz: link.springer.com/article/10.1...
link.springer.com
A hierarchy of eigencomputations for polynomial optimization on the sphere - Mathematical Programming
We introduce a convergent hierarchy of lower bounds on the minimum value of a real form over the unit sphere. The main practical advantage of our hierarchy over the real sum-of-squares (RSOS) hierarch...
131
Nathaniel Johnston @njohnston.ca · 03/04/2025
New paper published today! "The factor width rank of a matrix", with Shirin Moein and Sarah Plosker: www.sciencedirect.com/science/arti...
sciencedirect.com
The factor width rank of a matrix
A matrix is said to have factor width at most k if it can be written as a sum of positive semidefinite matrices that are non-zero only in a single k×k…
160
Nathaniel Johnston @njohnston.ca · 15/03/2025
Happy belated pi day! Had a midterm in my Vector Calculus class yesterday, so I asked my students to compute some vector line integrals along pi: www.desmos.com/calculator/u... #ITeachMath #MathsToday
desmos.com
Desmos | Graphing Calculator
060
Nathaniel Johnston @njohnston.ca · 28/02/2025
Now, two months later, Musk says that "Grok 3 is becoming superhuman" because Grok 3 obtained just as good as solution (i.e., an absolutely terrible non-solution) to this Putnam problem. Unreal.
Luis Batalha: None of the top 500 contestants in the 2025 Putnam competition fully solved this problem. Grok 3 (Think) found the solution in ~8 minutes.

Elon Musk: Grok 3 is becoming superhuman.
030
Nathaniel Johnston @njohnston.ca · 08/01/2025
I'm teaching Vector Calculus this semester (for the first time, somehow!) and making lecture videos to accompany the course. The first video is now up, with about 3 per week planned (35 to 40 total): www.youtube.com/watch?v=VbDE... The videos make huge use of @desmos.com #ITeachMath #EduSky
youtube.com
Vector Calculus - Lecture 1: Paths and Curves
YouTube video by Nathaniel Johnston
4122
Nathaniel Johnston @njohnston.ca · 01/01/2025
Happy New Year! Just like every year, there were tons of fantastic discoveries and theorems proved in Conway's Game of Life in 2024. This is a thread for my three favourites (and the context behind them to try to convince you that they're interesting). 🧵 #MathSky
184
Nathaniel Johnston @njohnston.ca · 20/12/2024
There's been a bunch of claims (mostly on X) that ChatGPT did great on this year's Putnam math competition. Let's do a thread to talk about it! 🧵 #MathSky
A screenshot of a Tweet claiming that OpenAI o1 scored in the top 1%-2% of participants in the Putnam math competition.
24417
Reposted by Nathaniel Johnston
Alex Pozas-Kerstjens @alexpozas.com · 14/12/2024
It seems like a tradition is emerging here, and it is out duty to maintain it. So here is my part announcing the publication of our review in semidefinite programming for characterizing quantum correlations @dulwichquantum.bsky.social journals.aps.org/rmp/abstract...
0113
Nathaniel Johnston @njohnston.ca · 10/12/2024
The Putnam math competition happened this past weekend! Made a video of how to work through question A1, which (not surprisingly) was the most "rote" of the bunch. I thought questions A6 and B1 were really neat too. #ITeachMath www.youtube.com/watch?v=ccu-...
youtube.com
2024 Putnam Math Competition - Question A1 - Solutions to 2a^n + 3b^n = 4c^n
YouTube video by Nathaniel Johnston
141
Nathaniel Johnston @njohnston.ca · 05/12/2024
It looks like Overleaf's new AI writing tools don't like the notes that I make to myself while writing papers.
A screenshot of Overleaf recommending that I correct "How the hell to do this?" to "How else can we do this?"
030
Nathaniel Johnston @njohnston.ca · 05/12/2024
Had a recent research project where we had to evaluate this hideous sum. Convolution to the rescue! Made a video to talk about how it works (or at least how some similar but simpler sums work): www.youtube.com/watch?v=aIj6...
An alternating double sum of a product of 4 binomial coefficients.
120
Nathaniel Johnston @njohnston.ca · 03/12/2024
Overleaf's down, so I'm cancelling research for the day. Everyone go home and play Slay the Spire.
0122
Nathaniel Johnston @njohnston.ca · 03/12/2024
Me, a moron: I don't need a local TeX installation, Overleaf works so well and is so easy! Overleaf: like every online service that exists, goes down from time to time. Me: shocked Pikachu.
A screenshot of overleaf.com giving a "Error: Server Error" message.
001
Nathaniel Johnston @njohnston.ca · 02/12/2024
There are lots of standard examples of binary operations that are associative but not commutative (e.g., matrix multiplication). But I don’t know of a better example of the opposite (i.e., commutative but not associative) than Infinite Craft: neal.fun/infinite-cra...
neal.fun
Infinite Craft
An endless crafting game
030
Nathaniel Johnston @njohnston.ca · 30/11/2024
Having links to relevant lecture videos included in the margin of the lecture notes is one of the cooler things I’ve seen. Those are gorgeous.
051
Nathaniel Johnston @njohnston.ca · 25/11/2024
The On-Line Encyclopedia of Integer Sequences (OEIS) is hiring someone to manage the crazy number of sequences that it has to review. If you're a US resident with a math PhD, give it a look! Applications due Jan. 25, 2025. neilsloane.com/doc/OEIS.ME....
The logo of the On-Line Encyclopedia of Integer Sequences.
02610
Nathaniel Johnston @njohnston.ca · 25/11/2024
I wrote a review of Jane Hawkins' new book "The Mathematics of Cellular Automata", which is now online. tl;dr: It would be fun to teach a CA course from this book to students who have already taken Real Analysis. www.tandfonline.com/doi/full/10....
The front cover of the book "The Mathematics of Cellular Automata" by Jane Hawkins.
020
Nathaniel Johnston @njohnston.ca · 22/11/2024
Fun fact: my advanced linear algebra textbook has a page about exactly this! Screenshot attached.
A screenshot of a textbook page that describes how to solve semidefinite programs analytically by first solving them numerically, and then using the Inverse Symbolic Calculator to turn that numeric solution into an analytic one, which can then be verified via duality.
160
Nathaniel Johnston @njohnston.ca · 21/11/2024
Back making math videos! #ITeachMath #EduSky I'm teaching calculus this semester, so I'm filling in some of the gaps in my calculus playlist. Animations made with #Manim. www.youtube.com/watch?v=Afc4...
youtube.com
Constrained optimization: how to find the maximal area of a Norman window
YouTube video by Nathaniel Johnston
020
Reposted by Nathaniel Johnston
Rakhim Davletkali @rakhim.org · 20/11/2024
Little known fact: the Bloch Sphere is named after a famous Swedish physicist Felix Sphere.
2396
Nathaniel Johnston @njohnston.ca · 20/11/2024
What are everyone's favourite instructional and/or weird examples to illustrate how much weirder functions of 2 variables can be than functions of 1 variable? ♾️ I'll start with two of my favourites (1/3).
210
Nathaniel Johnston @njohnston.ca · 18/11/2024
Does anyone on #MathSky / #ITeachMath have a favourite way to illustrate and/or motivate mixed 2nd partial derivatives of 2-variable functions?
652
Nathaniel Johnston @njohnston.ca · 17/11/2024
Recent paper with Sarah Plosker about Laplacian integral graphs is now published! Open access: www.sciencedirect.com/science/arti...
sciencedirect.com
Laplacian {−1,0,1}- and {−1,1}-diagonalizable graphs
A graph is called Laplacian integral if the eigenvalues of its Laplacian matrix are all integers. We investigate the subset of these graphs whose Lapl…
010