FermionSiteSU2xU1.h

Go to the documentation of this file.

#ifndef FERMIONSITESU2xU1_H_
#define FERMIONSITESU2xU1_H_
 
#include "symmetry/kind_dummies.h"
 
#include "DmrgTypedefs.h"
 
#include "symmetry/S1xS2.h"
#include "symmetry/SU2.h"
#include "symmetry/U1.h"
 
#include "tensors/SiteOperatorQ.h"
 
template <typename Symmetry> class FermionSite;
 
template <>
class FermionSite<Sym::S1xS2<Sym::SU2<Sym::SpinSU2>,Sym::U1<Sym::ChargeU1> > >
{
    typedef double Scalar;
    typedef Sym::S1xS2<Sym::SU2<Sym::SpinSU2>,Sym::U1<Sym::ChargeU1> > Symmetry;
    typedef SiteOperatorQ<Symmetry,Eigen::Matrix<Scalar,Eigen::Dynamic,Eigen::Dynamic> > OperatorType;
    
public:
    
    FermionSite() {};
    FermionSite (bool REMOVE_DOUBLE, bool REMOVE_EMPTY, bool REMOVE_UP, bool REMOVE_DN, int mfactor_input=1, int k_input=0);
    
    OperatorType Id_1s() const {return Id_1s_;}
    OperatorType F_1s() const {return F_1s_;}
    
    OperatorType c_1s() const {return c_1s_;}
    OperatorType cdag_1s() const {return cdag_1s_;}
    
    OperatorType n_1s() const {return n_1s_;}
    OperatorType ns_1s() const {return n_1s() - 2.*d_1s();}
    OperatorType nh_1s() const {return 2.*d_1s() - n_1s() + Id_1s();}
    OperatorType d_1s() const {return d_1s_;}
    
    OperatorType S_1s() const {return S_1s_;}
    
    OperatorType Tz_1s() const {return 0.5*(n_1s() - Id_1s());}
    OperatorType cc_1s() const {return p_1s_;}
    OperatorType cdagcdag_1s() const {return pdag_1s_;}
    
    Qbasis<Symmetry> basis_1s() const {return basis_1s_;}
    
protected:
    
    Qbasis<Symmetry> basis_1s_;
    
    OperatorType Id_1s_; //identity
    OperatorType F_1s_; //Fermionic sign
    OperatorType c_1s_; //annihilation
    OperatorType cdag_1s_; //creation
    OperatorType n_1s_; //particle number
    OperatorType d_1s_; //double occupancy
    OperatorType S_1s_; //orbital spin
    OperatorType p_1s_; //pairing
    OperatorType pdag_1s_; //pairing adjoint
};
 
FermionSite<Sym::S1xS2<Sym::SU2<Sym::SpinSU2>,Sym::U1<Sym::ChargeU1> > >::
FermionSite (bool REMOVE_DOUBLE, bool REMOVE_EMPTY, bool REMOVE_UP, bool REMOVE_DN, int mfactor_input, int k_input)
{
    bool REMOVE_SINGLE = (REMOVE_UP or REMOVE_DN)? true:false;
    
    //create basis for one Fermionic Site
    typename Symmetry::qType Q;
    Eigen::Index inner_dim;
    std::vector<std::string> ident;
    
    if (!REMOVE_EMPTY)
    {
        Q={1,0}; //empty state
        inner_dim = 1;
        ident.push_back("empty");
        basis_1s_.push_back(Q,inner_dim,ident);
        ident.clear();
    }
    
    if (!REMOVE_SINGLE)
    {
        Q={2,1}; //singly occupied state
        inner_dim = 1;
        ident.push_back("single");
        basis_1s_.push_back(Q,inner_dim,ident);
        ident.clear();
    }
    
    if (!REMOVE_DOUBLE)
    {
        Q={1,2}; //doubly occupied state
        inner_dim = 1;
        ident.push_back("double");
        basis_1s_.push_back(Q,inner_dim,ident);
        ident.clear();
    }
    
    //cout << "single site basis" << endl << this->basis_1s_ << endl;
    
    Id_1s_ = OperatorType({1,0},basis_1s_,"id");
    F_1s_  = OperatorType({1,0},basis_1s_,"F");
    c_1s_  = OperatorType({2,-1},basis_1s_,"c");
    d_1s_  = OperatorType({1,0},basis_1s_,"d");
    S_1s_  = OperatorType({3,0},basis_1s_,"S");
    
    // create operators one orbitals
    if (!REMOVE_EMPTY)  Id_1s_("empty", "empty") = 1.;
    if (!REMOVE_DOUBLE) Id_1s_("double", "double") = 1.;
    if (!REMOVE_SINGLE) Id_1s_("single", "single") = 1.;
    
    if (!REMOVE_EMPTY)  F_1s_("empty", "empty") = 1.;
    if (!REMOVE_DOUBLE) F_1s_("double", "double") = 1.;
    if (!REMOVE_SINGLE) F_1s_("single", "single") = -1.;
    
    if (!REMOVE_EMPTY and !REMOVE_SINGLE) c_1s_("empty", "single")  = std::sqrt(2.);
    if (!REMOVE_DOUBLE and !REMOVE_SINGLE) c_1s_("single", "double") = 1.;
    
    cdag_1s_ = c_1s_.adjoint();
    n_1s_ = std::sqrt(2.) * OperatorType::prod(cdag_1s_,c_1s_,{1,0});
    if (!REMOVE_DOUBLE) d_1s_( "double", "double" ) = 1.;
    if (!REMOVE_SINGLE) S_1s_("single", "single") = std::sqrt(0.75);
    p_1s_ = -std::sqrt(0.5) * OperatorType::prod(c_1s_,c_1s_,{1,-2}); //The sign convention corresponds to c_DN c_UP
    pdag_1s_ = p_1s_.adjoint(); //The sign convention corresponds to (c_DN c_UP)†=c_UP† c_DN†
}
 
#endif //FERMIONSITESU2xU1_H_