Matrix mechanics Updated 2025-07-16
Published by Werner Heisenberg in 1925-07-25 as quantum mechanical re-interpretation of kinematic and mechanical relations by Heisenberg (1925), it offered the first general formulation of quantum mechanics.
It is apparently more closely related to the ladder operator method, which is a more algebraic than the more analytical Schrödinger equation.
It appears that this formulation makes the importance of the Poisson bracket clear, and explains why physicists are so obsessed with talking about position and momentum space. This point of view also apparently makes it clearer that quantum mechanics can be seen as a generalization of classical mechanics through the Hamiltonian.
QED and the men who made it: Dyson, Feynman, Schwinger, and Tomonaga by Silvan Schweber (1994) mentions however that relativistic quantum mechanics broke that analogy, because some 2x2 matrix had a different form, TODO find that again.
Inward Bound by Abraham Pais (1988) chapter 12 "Quantum mechanics, an essay" part (c) "A chronology" has some ultra brief, but worthwhile mentions of matrix mechanics and the commutator.
Matrix exponential Updated 2025-07-16
Is the solution to a system of linear ordinary differential equations, the exponential function is just a 1-dimensional subcase.
Note that more generally, the matrix exponential can be defined on any ring.
The matrix exponential is of particular interest in the study of Lie groups, because in the case of the Lie algebra of a matrix Lie group, it provides the correct exponential map.
Matrix congruence can be seen as the change of basis of a bilinear form Updated 2025-07-16
From effect of a change of basis on the matrix of a bilinear form, remember that a change of basis modifies the matrix representation of a bilinear form as:
So, by taking , we understand that two matrices being congruent means that they can both correspond to the same bilinear form in different bases.
Matplotlib Updated 2025-07-16
Tends to be Ciro's pick if gnuplot can't handle the use case, or if the project is really really serious.
Couldn't handle exploration of large datasets though: Survey of open source interactive plotting software with a 10 million point scatter plot benchmark by Ciro Santilli
Examples:
- matplotlib/hello.py
- matplotlib/educational2d.py
- matplotlib/axis.py
- matplotlib/label.py
- Line style
- Subplots
- matplotlib/two_lines.py
- Data from files
- Specialized
MATLAB methlab pun Updated 2025-07-16
MATLAB Breaking Bad crossover
. Source. Mathy Magic: The Gathering thoughts Updated 2025-07-16
In 2019, a paper proved that MTG is Turing complete with a legacy legal deck. Live demo with some hand waving: Video "I Built a COMPUTER in Magic: The Gathering by Because Science (2019)". As Ciro Santilli comments at: github.com/cirosantilli/cirosantilli.github.io/issues/42 this was an interest addition to the previous "indefinite infinite loop" e.g. as found in a Four Horsemen combo deck
MathWorld Updated 2025-07-16
Written mostly by Eric W. Weisstein.
Ciro once saw a printed version of the CRC "concise" encyclopedia of mathematics. It is about 12 cm thick. Imagine if it wasn't concise!!!
Infinite Napkin is the one-person open source replacement we needed for it! And OurBigBook.com will be the final multi-person replacement.
Mathieu group Updated 2025-07-16
Mathieu group Updated 2025-07-16
Mathieu group Updated 2025-07-16
Contains the first sporadic groups discovered by far: 11 and 12 in 1861, and 22, 23 and 24 in 1973. And therefore presumably the simplest! The next sporadic ones discovered were the Janko groups, only in 1965!
Each is a permutation group on elements. There isn't an obvious algorithmic relationship between and the actual group.
TODO initial motivation? Why did Mathieu care about k-transitive groups?
Their; k-transitive group properties seem to be the main characterization, according to Wikipedia:
Looking at the classification of k-transitive groups we see that the Mathieu groups are the only families of 4 and 5 transitive groups other than symmetric groups and alternating groups. 3-transitive is not as nice, so let's just say it is the stabilizer of and be done with it.
Micro Bit Updated 2025-07-27
Bluetooth support: not enough RAM for it, though in principle its chip/transceiver could support it! microbit-micropython.readthedocs.io/en/v1.0.1/ble.html
Supported editors: microbit.org/code/
Bibliography:
Mathematics and Statistics course of the University of Oxford Updated 2025-07-16
Mathematics and Philosophy masters course of the University of Oxford Updated 2025-07-16
Mathematics and Computer Science masters course of the University of Oxford Updated 2025-07-16
Corresponding undergrad: Mathematics and Computer science course of the University of Oxford
Mathematics and Computer science course of the University of Oxford Updated 2025-07-16
Public landing page: www.ox.ac.uk/admissions/undergraduate/courses/course-listing/mathematics-and-computer-science
A mixed cross department course with the Mathematical Institute of the University of Oxford.. Its corresponding masters is known as Oxford MMathCompSci. The handbook is together with the computer science one: Section "Computer science course of the University of Oxford".
Mathematical Sciences masters course of the University of Oxford Updated 2025-07-16
Mathematical formulation of quantum mechanics Updated 2025-07-16
These are the key mathematical ideas to understand!!
There are actually a few formulations out there. By far the dominant one as of 2020 has been the Schrödinger picture, which contrasts notably with the Heisenberg picture.
Another well known one is the de Broglie-Bohm theory, which is deterministic, but non-local.
Mathematical formulation of quantum field theory Updated 2025-07-16
The Dirac equation, OK, is a partial differential equation, so we can easily understand its definition with basic calculus. We may not be able to solve it efficiently, but at least we understand it.
But what the heck is the mathematical model for a quantum field theory? TODO someone was saying it is equivalent to an infinite set of PDEs somehow. Investigate. Related:
The path integral formulation might actually be the most understandable formulation, as shown at Richard Feynman Quantum Electrodynamics Lecture at University of Auckland (1979).
Quantum electrodynamics by Lifshitz et al. 2nd edition (1982) chapter 1. "The uncertainty principle in the relativistic case" contains an interesting idea:
The foregoing discussion suggests that the theory will not consider the time dependence of particle interaction processes. It will show that in these processes there are no characteristics precisely definable (even within the usual limitations of quantum mechanics); the description of such a process as occurring in the course of time is therefore just as unreal as the classical paths are in non-relativistic quantum mechanics. The only observable quantities are the properties (momenta,
polarizations) of free particles: the initial particles which come into interaction, and the final particles which result from the process.
Mathematical constant Updated 2025-07-16
Unlisted articles are being shown, click here to show only listed articles.