Social science 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
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.
Robert X. Cringely Updated +Created
Hilbert space Updated +Created
Key for quantum mechanics, see: mathematical formulation of quantum mechanics, the most important example by far being .
Schmidt Futures Updated +Created
Ciro's Edict #5 / Advances Updated +Created
Node (server) Updated +Created
It runs one instance of the Linux kernel and has one IP address. Each node is therefore a complete computer. As such is must also contain RAM memory, disk storage and a network interface controller.
Read-modify-write Updated +Created
That's what usually fucks up parallel programs.
Pi Updated +Created
Software documentation Updated +Created
Ciro's Edict #4 / Next steps Updated +Created
The best modern instrumental Western musicians Updated +Created
Programming language Updated +Created
A language that allows you to talk to and command a computer.
There is only space for two languages at most in the world: the compiled one, and the interpreted one.
For 2020 now, when you have a choice, you must go for:
Those two are languages not by any means perfect from a language design point of view, and there are likely already better alternatives, they are only chosen due to a pragmatic tradeoff between ecosystem and familiarity.
Ciro predicts that Python will become like Fortran in the future: a legacy hated by most who have moved to JavaScript long ago (which is slightly inferior, but too similar, and with too much web dominance to be replaced), but with too much dominance in certain applications like machine learning to be worth replacing, like Fortran dominates certain HPC applications. We'll see. Maybe non performance critical scripting languages are easier to replace.
C++ however is decent, and is evolving in very good directions in the 2010's, and will remain relevant in the foreseeable future.
Bash can also be used when you're lazy. But if the project goes on, you will sooner or later regret that choice.
The language syntax in itself does not matter. All that matters is how many useful libraries and tooling it has.
This is how other languages compare:
Recreational programming Updated +Created
Scientific computing Updated +Created
Multimedia software Updated +Created

There are unlisted articles, also show them or only show them.