×

The FermiFab toolbox for fermionic many-particle quantum systems. (English) Zbl 1262.81272

Summary: This paper introduces the FermiFab toolbox for many-particle quantum systems. It is mainly concerned with the representation of (symbolic) fermionic wavefunctions and the calculation of corresponding reduced density matrices (RDMs). The toolbox transparently handles the inherent antisymmetrization of wavefunctions and incorporates the creation/annihilation formalism. Thus, it aims at providing a solid base for a broad audience to use fermionic wavefunctions with the same ease as matrices in Matlab, say. Leveraging symbolic computation, the toolbox can greatly simply tedious pen-and-paper calculations for concrete quantum mechanical systems, and serves as “sandbox” for theoretical hypothesis testing. FermiFab (including full source code) is freely available as a plugin for both Matlab and Mathematica.

MSC:

81V70 Many-body theory; quantum Hall effect
81S05 Commutation relations and statistics as related to quantum mechanics (general)
81R15 Operator algebra methods applied to problems in quantum theory
81Q10 Selfadjoint operator theory in quantum theory, including spectral analysis
81-04 Software, source code, etc. for problems pertaining to quantum theory
81-08 Computational methods for problems pertaining to quantum theory

References:

[1] von Neumann, J., Mathematische Grundlagen der Quantenmechanik (1932), Springer · JFM 58.0929.06
[2] Dirac, P., Note on exchange phenomena in the Thomas atom, Mathematical Proceedings of the Cambridge Philosophical Society, 26, 376-385 (1930) · JFM 56.0751.04
[3] Hohenberg, P.; Kohn, W., Inhomogeneous electron gas, Physical Review, 136, 864-871 (1964)
[4] Kohn, W.; Sham, L. J., Self-consistent equations including exchange and correlation effects, Physical Review, 140, 4A, 1133-1138 (1965)
[5] Loewdin, P.-O., Quantum theory of many-particle systems. I. Physical interpretations by means of density matrices, natural spin-orbitals, and convergence problems in the method of configurational interaction, Physical Review, 97, 6, 1474-1489 (1955) · Zbl 0065.44907
[6] Coleman, A. J., Structure of Fermion density matrices, Reviews of Modern Physics, 35, 3, 668-686 (1963)
[7] Ando, T., Properties of Fermion density matrices, Reviews of Modern Physics, 35, 3, 690-702 (1963)
[8] Mazziotti, D. A., Reduced-Density-Matrix Mechanics: With Application to Many-Electron Atoms and Molecules, Advances in Chemical Physics, vol. 134 (2007), Wiley
[9] Mendl, C. B., FermiFab project at SourceForge (2010), URL
[10] Intel, Intel SSE4 Programming Reference (2007), URL
[11] Intel, Intel 64 and IA-32 Architectures Software Developers Manuals: Basic Architecture (2010), URL
[12] Intel, Intel 64 and IA-32 Architectures Software Developerʼs Manuals: Instruction Set Reference (2010), URL
[13] Anderson, S. E., Bit Twiddling Hacks, URL
[14] Peskin, M. E.; Schroeder, D. V., An Introduction To Quantum Field Theory, Frontiers in Physics (1995), Westview Press
[15] Friesecke, G.; Goddard, B. D., Explicit large nuclear charge limit of electronic ground states for Li, Be, B, C, N, O, F, Ne and basic aspects of the periodic table, SIAM Journal on Mathematical Analysis, 41, 2, 631-664 (2009) · Zbl 1187.81103
[16] Friesecke, G.; Goddard, B. D., Asymptotics-based CI models for atoms: properties, exact solution of a minimal model for Li to Ne, and application to atomic spectra, SIAM Multiscale Modeling and Simulation, 7, 4, 1876-1897 (2009) · Zbl 1180.81154
[17] Mendl, C. B.; Friesecke, G., Efficient algorithm for asymptotics-based configuration-interaction methods and electronic structure of transition metal atoms, Journal of Chemical Physics, 133, 184101 (2010)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.