Simple Lie group Updated +Created
Telecommunication company Updated +Created
Italian (language) Updated +Created
Promiscuity Updated +Created
Sexual orientation Updated +Created
Subtitle file format Updated +Created
Super Mario game Updated +Created
Super Nintendo game Updated +Created
Measure theory Updated +Created
Main motivation: Lebesgue integral.
The key idea, is that we can't define a measure for the power set of R. Rather, we must select a large measurable subset, and the Borel sigma algebra is a good choice that matches intuitions.
Social science Updated +Created
Parallel computing library Updated +Created
World War I Updated +Created
ZX-calculus Updated +Created
How can we easily prove that that quantum circuit equals the state:
?
The naive way would be to just do the matrix multiplication as explained at Section "Quantum computing is just matrix multiplication".
However, ZX-calculus provides a simpler way.
And even more importantly, sometimes it is the only way, because in a real circuit, we would not be able to do the matrix multiplication
What we do in ZX-calculus is we first transform the original quantum circuit into a ZX graph.
This is always possible, because we can describe how to do the conversion simply for any of the Clifford plus T gates, which is a set of universal quantum gates.
Then, after we do this transformation, we can start applying further transformations that simplify the circuit.
It has already been proven that there is no efficient algorithm for this (TODO source, someone said P-sharp complete best case)
But it has been proven in 2017 that any possible equivalence between quantum circuits can be reached by modifying ZX-calculus circuits.
There are only 7 transformation rules that we need, and all others can be derived from those, universality.
So, we can apply those rules to do the transformation shown in Wikipedia:
Figure 1.
GHZ circuit as ZX-diagram
. Source.
and one of those rules finally tells us that that last graph means our desired state:
because it is a Z spider with and .
Video 1.
Working with PyZX by Aleks Kissinger (2019)
Source. This video appears to give amazing motivation on why you should care about ZX-calculus, it mentions
Amit Singhal Updated +Created
Pitched OurBigBook.com to him:
Idea: make all Sitare University materials open, and allow students to write the content
Also, allow anyone to take the exams without enrolling (possibly for a fee if they don't have scholarship).
This is the way to go if you really want to increase your impact/dollar and do something truly innovative that ill make a mark. Why just mirror existing university models that haven't yet caught up to the Internet Age?
Amoeba Updated +Created
This group is a mess.
But one thing you should really know, as often mentioned in Power, Sex, Suicide by Nick Lane (2006): they are all eukaryotes.
Because prokaryotes are fundamentally unable to do phagocytosis, because they have a rigid cell wall. Changing cell shape at will requires a cytoskeleton.
Computer program Updated +Created
One specific software project, typically with a single executable file format entry point.
Hilbert space Updated +Created
Key for quantum mechanics, see: mathematical formulation of quantum mechanics, the most important example by far being .
Robert X. Cringely Updated +Created
Analog quantum computer Updated +Created
Video 1.
TensorFlow quantum by Masoud Mohseni (2020)
Source. At the timestamp, Masoud gives a thought experiment example of the perhaps simplest to understand analog quantum computer: chained double-slit experiments with carefully calculated distances between slits. Calulating the final propability distribution of that grows exponentially.
File manager Updated +Created

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