Feynman.hpp

#pragma once
#include "HF/HartreeFock.hpp"
#include "MBPT/RadialMatrix.hpp"
#include "MBPT/SpinorMatrix.hpp"
#include "Maths/Grid.hpp"
#include "Wavefunction/DiracSpinor.hpp"
#include <memory>
#include <vector>
 
namespace MBPT {
 
// FeynmanOptions class
 
enum class HoleParticle { exclude, include, include_k0 };
 
enum class Screening { exclude, include };
 
struct FeynmanOptions {
  Screening screening{Screening::exclude};
  HoleParticle hole_particle{HoleParticle::exclude};
  int max_l_internal{6};
  double omre{-0.3};
  double w0{0.05};
  double w_ratio{1.5};
  // int n_min_core{1};
};
 
enum class GreenStates { both, core, excited };
 
//------------------------------------------------------------------------------
class Feynman {
 
  // Pointer to HF potential, and HF core
  const HF::HartreeFock *m_HF;
  // Pointer to shared radial grid (full grid)
  std::shared_ptr<const Grid> m_grid;
  // Parameters of the sub-grid: initial/final points, stride
  std::size_t m_i0, m_stride, m_subgrid_points;
 
  // maximum kappa_index appearing in the core
  int m_max_ki_core;
  // maximum kappa index to include for internal lines
  int m_max_ki;
  // maximum multipolarity, k
  int m_max_k;
  // Lowest n to polarise in polarisation operator
  int m_min_core_n;
  // Include relativistic components of the correlation potential?
  bool m_include_G;
  // real part of frequency for integration
  double m_omre;
  // Stores imaginary frequency grid (setup post-construction)
  Grid m_wgrid;
 
  // Option: include hole-particle interaction into polarisation operator
  bool m_hole_particle;
  // Option to include higher-k in hp interaction
  bool m_include_higher_order_hp;
  // Include screening correction to Coulomb line in Q*Pi*Q => Q*Pi*X*Q
  bool m_screen_Coulomb;
 
  // Coulomb operator; include right integration measure
  // q_ij := (r>^k/r<^{k+1}) * dr_j
  std::vector<ComplexRMatrix> m_qk{};
 
  // Core projection operators (one for each core state)
  std::vector<ComplexGMatrix> m_pa{};
  // Hartree-Fock Exchange matrix (one for each kappa)
  std::vector<GMatrix> m_Vx_kappa{};
 
  // Effective spinless Q*Pi*Q operator: for each imaginary omega, and each k
  LinAlg::Matrix<ComplexRMatrix> m_qpiq_wk{};
 
  // For now, just for testing: switch between complex green methods
  // This is broken, not sure what changed
  bool m_Complex_green_method = false;
 
public:
  Feynman(const HF::HartreeFock *vHF, std::size_t i0, std::size_t stride,
          std::size_t size, const FeynmanOptions &options, int n_min_core,
          bool include_G, bool verbose = true, const std::string &ident = "");
 
  bool screening() const { return m_screen_Coulomb; }
  bool hole_particle() const { return m_hole_particle; }
 
  std::size_t stride() const { return m_stride; }
 
  int n_min() const { return m_min_core_n; }
  double omre() const { return m_omre; }
  double w0() const { return m_wgrid.r0(); }
  double wratio() const { return m_wgrid.r(1) / m_wgrid.r(0); }
  int lmax() const { return Angular::lFromIndex(m_max_ki); }
 
  ComplexGMatrix green(int kappa, std::complex<double> en,
                       GreenStates states = GreenStates::both) const;
 
  ComplexRMatrix polarisation_k(int k, std::complex<double> omega,
                                bool hole_particle) const;
 
  GMatrix Sigma_direct(int kappa_v, double en_v,
                       std::optional<int> k = {}) const;
 
  const ComplexRMatrix &get_qk(int k) const { return m_qk.at(std::size_t(k)); }
 
  const GMatrix &get_Vx_kappa(int kappa) const {
    return m_Vx_kappa.at(std::size_t(Angular::indexFromKappa(kappa)));
  }
 
private:
  // forms Qk matrices, as well as dri, drj
  void form_qk();
  // Forms core projection operators
  void form_pa();
  // Forms HF exchange potential matrix
  void form_vx();
  // Sets up imaginary frequency grid
  Grid form_w_grid(double w0, double wratio) const;
  // Constructs the Q*Pi*Q Matrix along w grid, for each k
  void form_qpiq();
 
  bool readwrite_qpiq(IO::FRW::RoW rw, const std::string &fname);
 
  // Screening factor X = [1 + i qk*pik]^-1
  ComplexRMatrix X_screen(const ComplexRMatrix &pik,
                          const ComplexRMatrix &qdri) const;
 
  // Forms single "Green's function" contribution f*|ket><bra|
  // (f is usually 1/(e-en))
  ComplexGMatrix green_single(const DiracSpinor &ket, const DiracSpinor &bra,
                              const std::complex<double> f) const;
 
  // Forms full Hartree-Fock green's function. If Fc_hp is given,
  // includes hole-particle contribution (Fc is polarised core state).
  // Uses Dyson method to extend to complex energies.
  ComplexGMatrix green_hf(int kappa, std::complex<double> en,
                          const DiracSpinor *Fc_hp = nullptr) const;
 
  // Forms full Hartree-Fock green's function. If Fc_hp is given,
  // includes hole-particle contribution (Fc is polarised core state).
  // Uses "Complex Dirac" method for complex energies.
  ComplexGMatrix green_hf_v2(int kappa, std::complex<double> en,
                             const DiracSpinor *Fc_hp = nullptr) const;
 
  // Given Gr(wr), and wi (wr is real), returns Gr(wr + i*wi)
  ComplexGMatrix green_to_complex(const ComplexGMatrix &Gr,
                                  double om_imag) const;
 
  // Green's function, only due to core states
  ComplexGMatrix green_core(int kappa, std::complex<double> en) const;
 
  // Greens function, only due to excited states (by orthog to core)
  ComplexGMatrix green_excited(int kappa, std::complex<double> en,
                               const DiracSpinor *Fc_hp = nullptr) const;
 
  // Forces Green's fn to be orthog. to core
  ComplexGMatrix orthogonalise_wrt_core(const ComplexGMatrix &g_in,
                                        int kappa) const;
 
  // Given Dirac solutions regular at 0 (x0) and infinity (xI), forms "local"
  // Green's function, with all four spinor components
  GMatrix construct_green_g0(const DiracSpinor &x0, const DiracSpinor &xI,
                             const double w) const;
 
  // Given Dirac solutions regular at 0 (x0 + i*Ix0) and infinity (xI + i*IxI),
  // forms "local" Green's function (complex).
  ComplexGMatrix construct_green_g0(const DiracSpinor &x0,
                                    const DiracSpinor &Ix0,
                                    const DiracSpinor &xI,
                                    const DiracSpinor &IxI,
                                    const std::complex<double> w) const;
 
  // Calculates hole-particle potential (1-P)Vhp(1-P)
  GMatrix calculate_Vhp(int kappa, const DiracSpinor &Fc) const;
 
  // [[nodiscard]] const ComplexGMatrix &get_dri() const { return m_dri; }
  // [[nodiscard]] const ComplexGMatrix &get_drj() const { return m_drj; }
 
public:
  Feynman &operator=(const Feynman &) = default;
  Feynman(const Feynman &) = default;
  ~Feynman() = default;
};
 
} // namespace MBPT