CITE THIS NOTEBOOK: Group Theory Package (GTPack) and Symmetry Principles in Condensed Matter by Matthias Geilhufe. Wolfram Community 30 OCT 2022.
https://youtu.be/TnFEgwfIFfs
Symmetry and symmetry-breaking are fundamental concepts, with wide-ranging applications from the Higgs mechanism of elementary particles to ordered states in many-particle physics. Group theory is the mathematical framework for symmetry. With the aim of making accessible group theory algorithms for studying symmetry principles in the solid state, we develop the Mathematica group theory package GTPack. GTPack contains more than 200 additional commands for the Mathematica language, covering basic group and representation theory as well as applications in electronic/phononic/photonic structure calculations, quantum chemistry, and phenomenological theories. Beisdes active research, GTPack is a valuable tool for teaching, as demonstrated in the corresponding book: Group Theory in Solid State Physics and Photonics: Problem Solving with Mathematica (Wiley-VCH).
Please see https://gtpack.org/download/ to download GTPack. Installation guide can be found here: https://gtpack.org/tutorials/install-gtpack/
Load GTPack
In[]:=
Needs["GroupTheory`"]
In[]:=
?GT*
Out[]=
GroupTheory`
GTGOFast
GroupTheory`Additional`
GTActiveRotation
GTPassiveRotation
GroupTheory`AngularMomentum`
GTAngularMomentumChars
GTJMatrix
GTJplus
GTJx
GTJz
GTAngularMomentumRep
GTJminus
GTJTransform
GTJy
GTPauliMatrix
GroupTheory`Auxiliary`
GTBlueRed
GTDoubleNames
GTGroupHierarchy
GTQInverse
GTSU2Matrix
GTCartesianSphericalHarmonicY
GTEulerAnglesQ
GTNeighborPlot
GTQMultiplication
GTSymbolQ
GTCartesianTesseralHarmonicY
GTExtractDatasets
GTNotationText
GTQPolar
GTTesseralHarmonicY
GTCharacterTableP
GTFermiSurfaceXSF
GTNotationToSFL
GTQuaternionQ
GTVASPBands
GTClusterFilter
GTGauntCoefficient
GTPointGroups
GTReadFromFile
GTVASPBandsPlot
GTCompactStore
GTGetIrepMatrix
GTPointInSquareQ
GTReorderMatrix
GTWriteToFile
GTConnectionPattern
GTGetUnitaryTrafoMatrix
GTQAbs
GTSetTableColors
​
GTDiracMatrix
GTGroupConnection
GTQConjugate
GTSimplify
​
GroupTheory`Basic`
GTAbelianQ
GTCyclicQ
GTGetSU2Matrix
GTInvSubGroupQ
GTProductGroup
GTSymbolToSymbolInfo
GTAllSymbols
GTGenerators
GTGetSubGroups
GTInvSubGroups
GTProductGroupQ
GTTransformation
GTCenter
GTGetEulerAngles
GTGetSymbol
GTLeftCosets
GTQuotientGroup
GTTransformationOperator
GTClasses
GTGetInvSubgroup
GTgmat
GTMagnetic
GTQuotientGroupQ
GTType
GTClassMult
GTGetInvSubGroup
GTGroupFromGenerators
GTMagneticQ
GTRightCosets
GTWhichInput
GTClassMultTable
GTGetMatrix
GTGroupOrder
GTMultTable
GTSelfAdjointQ
GTWhichOutput
GTConjugacyClass
GTGetQuaternion
GTGroupQ
GTNormalizer
GTSetMultiplication
GTWhichRepresentation
GTConjugateElement
GTGetRotationMatrix
GTInverseElement
GTOrderOfElement
GTSubGroupQ
​
GroupTheory`CrystalField`
GTBSTOperator
GTCFDatabaseInfo
GTCFDatabaseUpdate
GTCrystalFieldParameter
GTStevensOperator
GTStevensTheta
GTBSTOperatorElement
GTCFDatabaseRetrieve
GTCrystalField
GTCrystalFieldSplitting
GTStevensOperatorElement
​
GroupTheory`CrystalStructure`
GTAllStructures
GTClusterManipulate
GTGetStructure
GTLatticeVectors
GTPlotStructure2D
GTSymmetryElementQ
GTBravaisLattice
GTCrystalData
GTGroupNotation
GTLoadStructures
GTSaveStructures
GTTubeParameters
GTBuckyBall
GTCrystalSystem
GTImportCIF
GTPlotCluster
GTShowSymmetryElements
GTTubeStructure
GTClearStructures
GTExportXSF
GTInstallStructure
GTPlotStructure
GTSpaceGroups
​
GroupTheory`ElectronicStructure`
GTBands
GTBandsPlot
GTBandStructure
GTDensityOfStates
GTDensityOfStatesRS
GTFermiSurface
GTPartialDOS
GTBandsDOSPlot
GTBandsPlotImprove
GTCompatibility
GTDensityOfStatesPlot
GTFatBandsPlot
GTFermiSurfaceCut
​
GroupTheory`Install`
GTChangeRepresentation
GTInstallAxis
GTReinstallAxes
GTSymbolInfoToO3Matrix
GTSymbolInfoToSymbol
GTWhichAxes
GTIcosahedronAxes
GTInstallGroup
GTSymbolInfoToEulerAngles
GTSymbolInfoToSU2Matrix
GTTableToGroup
​
GroupTheory`LandauTheory`
GTLandauExpansion
GroupTheory`Lattice`
GTAdjacencyMatrix
GTBZMPBPointMesh
GTBZPointMesh
GTGroupGlp
GTLatCluster
GTReciprocalBasis
GTShellVectorsQlp
GTVoronoiCell
GTBZLines
GTBZPath
GTCluster
GTGroupOfK
GTLatShells
GTShells
GTTransformToQlp
​
GroupTheory`Molecules`
GTMolChemicalData
GTMolDatabaseInfo
GTMolDatabaseUpdate
GTMolGetMolecule
GTMolPermutationRep
GTMolToCluster
GroupTheory`Photonics`
GTPhBandsObjects
GTPhEllipticRod
GTPhMasterPixel
GTPhPixelSmooth
GTPhSlab
GTPhSymmetryPoint
GTPhCuboid
GTPhFields
GTPhMPBBands
GTPhPixelStructure
GTPhSlabSmooth
GTPhUncoupledBands
GTPhDCObjects
GTPhMaster
GTPhMPBFields
GTPhPrismaticRod
GTPhSphere
​
GTPhDCPixel
GTPhMasterEquation
GTPhPermittivity
GTPhRodSmooth
GTPhSymmetryBands
​
GTPhDielectric
GTPhMasterObjects
GTPhPermittivityMatrix
GTPhShowStructure
GTPhSymmetryField
​
GroupTheory`PseudoPotential`
GTPwDatabaseInfo
GTPwDatabaseUpdate
GTPwEmptyLatticeIrep
GTPwModelPotential
GTPwSymmetrizePW
GTPwDatabaseRetrieve
GTPwDielectricF
GTPwHamiltonian
GTPwPrintParmSet
​
GroupTheory`RepresentationTheory`
GTCharacters
GTClebschGordanTable
GTGetIreps
GTNumberOfIreps
GTSOCSplitting
GTCharacterTable
GTDirectProductChars
GTIrep
GTProjectionOperator
GTSpinCharacters
GTCharProjectionOperator
GTDirectProductRep
GTIrepDimension
GTReality
GTSymmetrizedProductChars
GTClebschGordanCoefficients
GTExtraRepresentations
GTIrepMatrixView
GTRegularRepresentation
GTVectorRep
GTClebschGordanSum
GTGetIrep
GTIrepNotation
GTReorderCharacterTable
GTWignerProjectionOperator
GroupTheory`RepresentationTheorySG`
GTCharacterTableOfK
GTSGClasses
GTSGGetInvSubGroup
GTSGgmat
GTSGOrderOfElement
GTStarOfK
GTSGCharacterTable
GTSGCosetRepresentative
GTSGGetIreps
GTSGLeftCosets
GTSGRightCosets
​
GroupTheory`SimPack`
GTBZTbPointMesh
GTTbFitExport
GTTbParmExport
GTTbParmImport
GTTbReadBands
GTTbReadDOS
GroupTheory`Symbols`
GTBackGroundColor1
GTCornerColor
GTDividerColor1
GTmaggrpq
GTOverScript
GTSubScript
GTBackGroundColor2
GTcttable
GTDividerColor2
GTnumberlist
GTSF
​
GroupTheory`TightBinding`
GTFindStateNumbers
GTTbDatabaseInfo
GTTbIntegralRelations
GTTbParmToRule
GTTbSpinOrbit
GTTbTubeBands
GTHamiltonianList
GTTbDatabaseRetrieve
GTTbIntegralRules
GTTbPrintParmSet
GTTbSymbol2C
GTTbVarList
GTHamiltonianPlot
GTTbDatabaseUpdate
GTTbMatrixElement
GTTbReadWannier90
GTTbSymbol3C
GTTbWannier90Hamiltonian
GTIrepInfo
GTTbGetParameter
GTTbMatrixElement3C
GTTbRealSpaceMatrix
GTTbSymmetryBands
GTTbWaveFunction
GTPlotStateWeights
GTTbHamiltonian
GTTbNumberOfIntegrals
GTTbRSToFortran
GTTbSymmetryPoint
GTWaveFunctionPlot
GTSymmetryBasisFunctions
GTTbHamiltonianElement
GTTbOrbitalsFromBasis
GTTbSetParameter
GTTbSymmetrySingleBand
​
GTTbAtomicWaveFunction
GTTbHamiltonianOnsite
GTTbParameterNames
GTTbSimplify
GTTbToFortran
​
GTTbBlochFunction
GTTbHamiltonianRS
GTTbParameterSet
GTTbSpinMatrix
GTTbToFortranList
​
GroupTheory`Vibrations`
GTVibDisplacementRep
GTVibLatticeModes
GTVibSetParameters
GTVibTbToPhonon
GTVibDynamicalMatrix
GTVibModeSymmetry
GTVibSpectroscopy
GTVibTbToPhononRule

Symbols

Transformation symbols
Representation matrices
SU(2) matrices?

Groups

GTPack focus is on crystallographic groups, i.e., point and space groups
Install a group from generators
Install a pre-defined point group
Install a pre-defined space group
Install a pre-defined double group

Representation theory

Install a more interesting group
Calculate the character table
Representation matrices

Play with representations - superconductivity

symmetry-adapted free energy expansion (available with GTPack 1.4)

Calculate bilinears

Bilinear basis
Decompose into Clebsch-Gordan sum
can emerge as a nematic vestigial order within the above free energy
[Fernandes, et al., Annu. Rev. Condens. Matter Phys., 10:133-154]

Chemistry - crystal field theory

Phenomenological theory

Install octahedral group
Characters of the angular momentum representation for d-electrons

Quantitative crystal field theory

Derive the crystal field expansion in cubic symmetry
Use e.g. Buckmaster-Smith-Thornley operator equivalents
Alternatively, one can include values for r^l from databases

Molecular symmetry-adapted spin space (mSASS)

R. M. Geilhufe, J. D. Rinehart, arXiv: arXiv:2209.03123
Compute the representation matrices of SU (2) , for J=2.
Generate a generic 5x5 Hamiltonian matrix
To match the right hand side with the left-hand side, we solve for the symmetry invariant terms:
Imposing H to be Hermitian, the final Hamiltonian is given by:

Graphene - band structure calculations

Define the structure in the GTPack style
Generate an atomic cluster and neighbor shells
Construct 2-center tight-binding Hamiltonian
Plot the band structure