Aiko Kyle
@akira.social
PhD student at CU Boulder working on quantumey stuff
emacs and julia evangelist
akirakyle.com
emacs and julia evangelist
akirakyle.com
😂 well at least quantum transduction is a legit thing being worked on, but no they won't teleport you to the fifth dimension, at least not anytime soon
November 10, 2025 at 7:42 PM
😂 well at least quantum transduction is a legit thing being worked on, but no they won't teleport you to the fifth dimension, at least not anytime soon
I think the goal should be to shift the student away from defaulting to an explanatory role when they perceive a difference in knowledge to their peers. Instead encourage them to provide context for the peers' solutions amongst the concepts being taught so that their role can be more as a mediator.
November 10, 2025 at 7:35 PM
I think the goal should be to shift the student away from defaulting to an explanatory role when they perceive a difference in knowledge to their peers. Instead encourage them to provide context for the peers' solutions amongst the concepts being taught so that their role can be more as a mediator.
A strategy that might help in this situation is to ask the student to focus more on the problem-solving process itself: "What other approaches work to solve the problem? Can the solution be simplified? For what problems would this approach not work or be unnecessarily complicated?"
November 10, 2025 at 7:35 PM
A strategy that might help in this situation is to ask the student to focus more on the problem-solving process itself: "What other approaches work to solve the problem? Can the solution be simplified? For what problems would this approach not work or be unnecessarily complicated?"
Right, as usual I'm getting excited and jumping to the fun speculations! When I get some more time, I might try to work through this all in more detail and then can share whatever notes come out of that
November 7, 2025 at 7:14 PM
Right, as usual I'm getting excited and jumping to the fun speculations! When I get some more time, I might try to work through this all in more detail and then can share whatever notes come out of that
Reposted by Aiko Kyle
Also in thinking about the interpretation of wick rotation in the C^*-algebra case, does it seem sensible to say that derivations of the lie part give rise to unitary dynamics while derivations of the Jordan part give rise to non-unitary diffusive dynamics so wick rotation is just the intertwiner?
November 6, 2025 at 1:47 AM
Also in thinking about the interpretation of wick rotation in the C^*-algebra case, does it seem sensible to say that derivations of the lie part give rise to unitary dynamics while derivations of the Jordan part give rise to non-unitary diffusive dynamics so wick rotation is just the intertwiner?
My intuition says that under continuous, simultaneous measurement of system energy and mass the pure state-orbits correspond to the energy eigenstates so the associator should then be related to the dephasing channel?
November 6, 2025 at 6:59 PM
My intuition says that under continuous, simultaneous measurement of system energy and mass the pure state-orbits correspond to the energy eigenstates so the associator should then be related to the dephasing channel?
Right! Then I think its that H=(i/8)[a^2+(a^\dagger)^2, i(a^2-(a^\dagger)^2)]=(i/8)[p^2-q^2, {q,p}] where a is the creation operator. This seems quite suggestive now! The p^2-q^2 observable corresponds to the Lagrangian while the {q,p} observable corresponds to single-mode squeezing
November 6, 2025 at 6:59 PM
Right! Then I think its that H=(i/8)[a^2+(a^\dagger)^2, i(a^2-(a^\dagger)^2)]=(i/8)[p^2-q^2, {q,p}] where a is the creation operator. This seems quite suggestive now! The p^2-q^2 observable corresponds to the Lagrangian while the {q,p} observable corresponds to single-mode squeezing
Also in thinking about the interpretation of wick rotation in the C^*-algebra case, does it seem sensible to say that derivations of the lie part give rise to unitary dynamics while derivations of the Jordan part give rise to non-unitary diffusive dynamics so wick rotation is just the intertwiner?
November 6, 2025 at 1:47 AM
Also in thinking about the interpretation of wick rotation in the C^*-algebra case, does it seem sensible to say that derivations of the lie part give rise to unitary dynamics while derivations of the Jordan part give rise to non-unitary diffusive dynamics so wick rotation is just the intertwiner?
Ah I think I found that X=q-p and Y=p^3-q^3 for [q,p]=iI work here, but then I'm struggling find a good answer to the second question you pose in your post of what does it mean to write the heisenberg evolution of an free oscillator as (d/dt) O(t) = (x-p, O(t), p^3 - x^3)
November 6, 2025 at 1:47 AM
Ah I think I found that X=q-p and Y=p^3-q^3 for [q,p]=iI work here, but then I'm struggling find a good answer to the second question you pose in your post of what does it mean to write the heisenberg evolution of an free oscillator as (d/dt) O(t) = (x-p, O(t), p^3 - x^3)
Indeed your new blog post is what led me to your paper! A lot of interesting things in the blog post for me to digest as well. I'm trying to see how this goes through in the case of the harmonic oscillator, but it's not clear to me whether the Hamiltonian there can be written as H=−4i[X,Y]?
November 3, 2025 at 11:09 PM
Indeed your new blog post is what led me to your paper! A lot of interesting things in the blog post for me to digest as well. I'm trying to see how this goes through in the case of the harmonic oscillator, but it's not clear to me whether the Hamiltonian there can be written as H=−4i[X,Y]?
Especially tantalizing is how Wick rotation comes up in this discussion, another thing that's always seemed quite mysterious and honestly somewhat mathematically uncomfortable, so it's so cool to see the thread linking it to algebraic axioms!
November 3, 2025 at 6:46 PM
Especially tantalizing is how Wick rotation comes up in this discussion, another thing that's always seemed quite mysterious and honestly somewhat mathematically uncomfortable, so it's so cool to see the thread linking it to algebraic axioms!
I found this to be a breath of fresh air compared to the many times I've tried to understand Noether's theorem over the years in the context of physics courses, where it seems to wear a different cloak every time
November 3, 2025 at 6:46 PM
I found this to be a breath of fresh air compared to the many times I've tried to understand Noether's theorem over the years in the context of physics courses, where it seems to wear a different cloak every time
Sometimes I find myself using "subtle" as a subtle short hand for "at one point I'm pretty sure I understood these details but now I can't remember how it all works right now so please don't press me further about it because it's not obvious enough to figure them out in real-time"
October 30, 2025 at 7:57 PM
Sometimes I find myself using "subtle" as a subtle short hand for "at one point I'm pretty sure I understood these details but now I can't remember how it all works right now so please don't press me further about it because it's not obvious enough to figure them out in real-time"
A good paper I was reminded of that might be of relevance to this discussion: link.springer.com/article/10.1...
I find it quite interesting that quantum uncertainties more or less come straight from Pontryagin duality, at least for systems with Abelian position/configuration spaces!
I find it quite interesting that quantum uncertainties more or less come straight from Pontryagin duality, at least for systems with Abelian position/configuration spaces!
Uncertainty relations for general phase spaces - Frontiers of Physics
We describe a setup for obtaining uncertainty relations for arbitrary pairs of observables related by a Fourier transform. The physical examples discussed here are the standard position and momentum, ...
link.springer.com
October 23, 2025 at 5:42 PM
A good paper I was reminded of that might be of relevance to this discussion: link.springer.com/article/10.1...
I find it quite interesting that quantum uncertainties more or less come straight from Pontryagin duality, at least for systems with Abelian position/configuration spaces!
I find it quite interesting that quantum uncertainties more or less come straight from Pontryagin duality, at least for systems with Abelian position/configuration spaces!
and now the real challenge begins: how long can I make this zen state last?
October 20, 2025 at 8:19 PM
and now the real challenge begins: how long can I make this zen state last?
have hundreds or thousands of random links?
inside emacs = chaotic good
anywhere else = chaotic evil
inside emacs = chaotic good
anywhere else = chaotic evil
October 20, 2025 at 8:19 PM
have hundreds or thousands of random links?
inside emacs = chaotic good
anywhere else = chaotic evil
inside emacs = chaotic good
anywhere else = chaotic evil
of course this is all thanks to emacs' org-roam where I can just dump everything
October 20, 2025 at 8:19 PM
of course this is all thanks to emacs' org-roam where I can just dump everything
For spin and molecular encodings I would say forward and reverse citation searches on journals.aps.org/prl/abstract... and journals.aps.org/prx/abstract... should hopefully give a decent picture of the field
Designing Codes around Interactions: The Case of a Spin
I present a new approach for designing quantum error-correcting codes guaranteeing a physically natural implementation of Clifford operations. Inspired by the scheme put forward by Gottesman, Kitaev, ...
journals.aps.org
October 17, 2025 at 9:06 PM
For spin and molecular encodings I would say forward and reverse citation searches on journals.aps.org/prl/abstract... and journals.aps.org/prx/abstract... should hopefully give a decent picture of the field
I don't know of papers that specifically look at radicals and actually I'm not sure I know what a radical is other than a charged molecule?
October 17, 2025 at 9:06 PM
I don't know of papers that specifically look at radicals and actually I'm not sure I know what a radical is other than a charged molecule?
GATlab says they technically only implement 1-categories so I would imagine SML is similar, and only 1-categories can be naturally implemented using the module system
October 5, 2025 at 6:49 PM
GATlab says they technically only implement 1-categories so I would imagine SML is similar, and only 1-categories can be naturally implemented using the module system
but afaik SML doesn't technically implement category-theoretic functors, it just is inspired by the concept and steals the word (which according to wikipedia was originally actually taken from linguistics: en.wikipedia.org/wiki/Functio...)
October 5, 2025 at 6:49 PM
but afaik SML doesn't technically implement category-theoretic functors, it just is inspired by the concept and steals the word (which according to wikipedia was originally actually taken from linguistics: en.wikipedia.org/wiki/Functio...)