One key insight, is that the matrix of a non-trivial quantum circuit is going to be huge, and won't fit into any amount classical memory that can be present in this universe.
This is because the matrix is exponential in the number qubits, and is more than the number of atoms in the universe!
Therefore, off the bat we know that we cannot possibly describe those matrices in an explicit form, but rather must use some kind of shorthand.
But it gets worse.
Even if we had enough memory, the act of explicitly computing the matrix is not generally possible.
This is because knowing the matrix, basically means knowing the probability result for all possible outputs for each of the possible inputs.
But if we had those probabilities, our algorithmic problem would already be solved in the first place! We would "just" go over each of those output probabilities (OK, there are of those, which is also an insurmountable problem in itself), and the largest probability would be the answer.
So if we could calculate those probabilities on a classical machine, we would also be able to simulate the quantum computer on the classical machine, and quantum computing would not be able to give exponential speedups, which we know it does.
To see this, consider that for a given input, say 000 on a 3 qubit machine, the corresponding 8-sized quantum state looks like:
000 -> 1000 0000 == (1.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0)
and therefore when you multiply it by the unitary matrix of the quantum circuit, what you get is the first column of the unitary matrix of the quantum circuit. And 001, gives the second column and so on.
As a result, to prove that a quantum algorithm is correct, we need to be a bit smarter than "just calculate the full matrix".
Which is why you should now go and read: Section "Quantum algorithm".
This type of thinking links back to how physical experiments relate to quantum computing: a quantum computer realizes a physical experiment to which we cannot calculate the probabilities of outcomes without exponential time.
So for example in the case of a photonic quantum computer, you are not able to calculate from theory the probability that photons will show up on certain wires or not.
Toffoli gate by Ciro Santilli 37 Updated +Created
Spin Hall effect by Ciro Santilli 37 Updated +Created
Weak interaction by Ciro Santilli 37 Updated +Created
Explains beta decay. TODO why/how.
Maybe a good view of why this force was needed given beta decay experiments is: in beta decay, a neutron is getting split up into an electron and a proton. Therefore, those charges must be contained inside the neutron somehow to start with. But then what could possibly make a positive and a negative particle separate?
www.thestargarden.co.uk/Weak-nuclear-force.html gives a quick and dirty:
Beta decay could not be explained by the strong nuclear force, the force that's responsible for holding the atomic nucleus together, because this force doesn't affect electrons. It couldn't be explained by the electromagnetic force, because this does not affect neutrons, and the force of gravity is far too weak to be responsible. Since this new atomic force was not as strong as the strong nuclear force, it was dubbed the weak nuclear force.
Also interesting:
While the photon 'carries' charge, and therefore mediates the electromagnetic force, the Z and W bosons are said to carry a property known as 'weak isospin'. W bosons mediate the weak force when particles with charge are involved, and Z bosons mediate the weak force when neutral particles are involved.
Video 1.
Weak Nuclear Force and Standard Model of particle physics by Physics Videos by Eugene Khutoryansky (2018)
Source. Some decent visualizations of the field lines.
Quantum volume by Ciro Santilli 37 Updated +Created
Quantum Algorithm Zoo by Ciro Santilli 37 Updated +Created
The most comprehensive list is the amazing curated and commented list of quantum algorithms as of 2020.
Hedonic treadmill by Ciro Santilli 37 Updated +Created
Gossip by Ciro Santilli 37 Updated +Created
Psychologist by Ciro Santilli 37 Updated +Created
Protein structure level by Ciro Santilli 37 Updated +Created
Quantum resistant cryptosystem by Ciro Santilli 37 Updated +Created
Uniqueness theorem for Poisson's equation by Ciro Santilli 37 Updated +Created
Reduced Planck constant by Ciro Santilli 37 Updated +Created
Ethernet by Ciro Santilli 37 Updated +Created
Phosphorescence by Ciro Santilli 37 Updated +Created
Stabilizer (group) by Ciro Santilli 37 Updated +Created
Suppose we have a given permutation group that acts on a set of n elements.
If we pick k elements of the set, the stabilizer subgroup of those k elements is a subgroup of the given permutation group that keeps those elements unchanged.
Note that an analogous definition can be given for non-finite groups. Also note that the case for all finite groups is covered by the permutation definition since all groups are isomorphic to a subgroup of the symmetric group
TODO existence and uniqueness. Existence is obvious for the identity permutation, but proper subgroup likely does not exist in general.
CERN by Ciro Santilli 37 Updated +Created
OurBigBook.com / How to convince teachers to use CC BY-SA by Ciro Santilli 37 Updated +Created
A major difficulty of getting such this to work is that may university teachers want to retain closed copyright of their work because they:
Therefore the only way is to find teachers who are:
The forced option therefore seems like a more bulk efficient starting point for searches.
No matter how much effort a single person puts into writing perfect tutorials, they will never beat 1000x people + an algorithm.
It is not simply a matter of how much time you have. The fundamental reason is that each person has a different background and different skills. Notably the young students have radically different understanding than that of the experienced teacher.
Therefore, those that refuse to contribute to such platforms, or at least license their content with open licenses, will inevitably have their work forgotten in favor of those that have contributed to the more open platform, which will eventually dominate everything.
Perhaps OurBigBook.com is not he killer platform that will make this happen. Perhaps the world is not yet ready for it. But Ciro believes that this will happen, sooner or later, inevitable, and he wants to give it a shot.
Figure 1.
The Grad Student Brain by PhD Comics (2010)
Source. Convincing academics that their tutorial are not always perfect is one of blocking points to the acceptance of solutions such as OurBigBook.com. To thrive in the competition of academia, those people are amazing at publishing novel results. Explaining to beginners however, not necessarily so.

Unlisted articles are being shown, click here to show only listed articles.