Version 2.0 (BETA) for Mathematica 7
The power of Dirac Notation in Mathematica
by José Luis Gómez-Muñoz http://homepage.cem.itesm.mx/lgomez/
with contributions by Francisco Delgado-Cepeda
Quantum 2.0 was designed for Mathematica 7.0
For questions please send an e-mail to Dr. Francisco Delgado fdelgado@itesm.mx
Screenshots
Quantum`Notation` screenshot 1
Quantum`Computing` screenshot 1
Quantum`Computing` screenshot 2
Download and Installation Instructions
Documentation
Quantum Mechanics in Mathematica
Quantum Computing in Mathematica (incomplete documentation)
Coming soon: Second Quantization (Occupation Number Formulation of Quantum Field Theory)
Acknowledgements
We need to acknowledge all the sugestions and help for Quantum 2.0 (still in BETA). We will thank them soon in this space
Francisco Delgado-Cepeda, Sergio E. Martinez-Casas, Ruben Dario Santiago-Acosta and Salvador E. Venegas-Andraca also collaborated in the creation of this Mathematica Add-On.
Thanks to Jean-Daniel Bancal for suggestions for improving Quantum. Some lines of code he wrote are included (in a modified form) in Quantum
Thanks to Anirban Das for suggestions for improving Quantum.
Some of the ideas incorporated in Quantum were inspired in the work of Jason Harris (although Quantum does NOT use his Notation package http://library.wolfram.com/infocenter/MathSource/212/) as well as in the work of Bruno Julia Diaz, Joseph M. Burdis and Frank Tabakin (although Quantum does NOT use their QDensity package http://www.pitt.edu/~tabakin/QDENSITY/)
Related Links
Another Mathematica Add-On for Quantum Computing: http://www.pitt.edu/~tabakin/QDENSITY/
Quantum circuit viewer: qasm2circ http://www.media.mit.edu/quanta/qasm2circ/
Quantum Computer Simulator http://www.senko-corp.co.jp/qcs/qcp/qcpe.html
List of QC simulators (Quantiki) http://www.quantiki.org/wiki/index.php/List_of_QC_simulators
Funny Quantum Images and Jokes
José Luis Gómez-Muñoz
20070923 First version of the Quantum website
20071004 Screenshots and Introduction have been added
20080110 Several changes based on the work of Francisco Delgado in order to allow the totally symbolic calculation. The ketdef is no longer necessary, because the set and setdelayed of kets are automatically transformed to upset and upsetdelayed in order to make the definitions upvalues of the arguments of the kets. This is transparent to the final user, which can assign to a ket without any knowledge of what an upvalue is. In Computing.m the tensor product input problem has been solved.
20080305 Important new features:
Expressions in usual "Journal Notation" for papers, books and other publications can be generated, see http://homepage.cem.itesm.mx/lgomez/quantum/qcpaper/qcpaper.html
Besides the "tensor power" (same quantum expresion in different qubits) we have now the "power" (same quantum expression in sam qubit several times), see the table at http://homepage.cem.itesm.mx/lgomez/quantum/tprodtpow/tprodtpow.html
Now you can QuantumPlot[] expressions where the qubit labels are not numbers, see http://homepage.cem.itesm.mx/lgomez/quantum/qcircuits/qcircuits.html
Several minor bugs were fixed
20080416 New Feature Now the end user can create new operators with the DefineOpeatorOnKets command. This allows to take advantage of the replacement rules of Mathematica and Dirac Notation, see the documentation for details.
20080526 I huge amount of updating: Quantum is 1000 faster (thanks to Francisco Delgado) It works with symbolic and infinite sums (thanks to Jean-Daniel Bancal) It calculates Partial Transpose (besides Traces, thanks Anirban Das) It calculates (approx) Exponentials of operators (thanks Ruben Dario) It obtains Dirac expressions from matrices (thanks to Francisco Delgado) Huge, huge updating. See the help documents (Documentation Center) for details