Cytnx v0.9.7
Loading...
Searching...
No Matches
Bond.hpp
Go to the documentation of this file.
1#ifndef _H_Bond_
2#define _H_Bond_
3
4#include "Type.hpp"
5#include "cytnx_error.hpp"
6#include "Symmetry.hpp"
7#include <initializer_list>
8#include <vector>
9#include <fstream>
10#include <map>
11#include <algorithm>
13#include "utils/vec_clone.hpp"
14
15namespace cytnx {
16
31 enum bondType : int {
32 BD_KET = -1,
33 BD_BRA = 1,
34 BD_REG = 0,
35 BD_NONE = 0,
36 BD_IN = -1,
37 BD_OUT = 1
38 };
39
41 class Bond_impl : public intrusive_ptr_base<Bond_impl> {
42 private:
43 public:
44 friend class Bond;
45 cytnx_uint64 _dim;
46 bondType _type;
47 std::vector<cytnx_uint64> _degs; // this only works for Qnum
48 /*
49 [Note], _degs has size only when the Bond is defined with Qnum, deg !!
50 Use this size to check if the bond is type-2 (new type)
51 */
52 std::vector<std::vector<cytnx_int64>> _qnums; //(dim, # of sym)
53 std::vector<Symmetry> _syms;
54
55 Bond_impl() : _dim(0), _type(bondType::BD_REG){};
56
57 void _rm_qnum(const cytnx_uint64 &q_index) {
58 // this will not check, so check it before using this internal function!!
59 this->_dim -= this->_degs[q_index];
60 this->_degs.erase(this->_degs.begin() + q_index);
61 this->_qnums.erase(this->_qnums.begin() + q_index);
62 }
63
64 void Init(const cytnx_uint64 &dim, const bondType &bd_type = bondType::BD_REG);
65
66 // new added
67 void Init(const bondType &bd_type, const std::vector<std::vector<cytnx_int64>> &in_qnums,
68 const std::vector<cytnx_uint64> &degs, const std::vector<Symmetry> &in_syms = {});
69
70 bondType type() const { return this->_type; };
71 const std::vector<std::vector<cytnx_int64>> &qnums() const { return this->_qnums; }
72 std::vector<std::vector<cytnx_int64>> &qnums() { return this->_qnums; }
73 const cytnx_uint64 &dim() const { return this->_dim; }
74 cytnx_uint32 Nsym() const { return this->_syms.size(); }
75 const std::vector<Symmetry> &syms() const { return this->_syms; }
76 std::vector<Symmetry> &syms() { return this->_syms; }
77
78 // this is clone return.
79 std::vector<std::vector<cytnx_int64>> qnums_clone() const { return this->_qnums; }
80 std::vector<Symmetry> syms_clone() const { return vec_clone(this->_syms); }
81
82 bool has_duplicate_qnums() const {
83 if (this->_degs.size()) {
84 auto tmp = this->_qnums;
85 std::sort(tmp.begin(), tmp.end());
86 return std::adjacent_find(tmp.begin(), tmp.end()) != tmp.end();
87 } else {
88 return false;
89 }
90 }
91
92 void set_type(const bondType &new_bondType) {
93 if ((this->_type != BD_REG)) {
94 if (new_bondType == BD_REG) {
95 cytnx_error_msg(this->_qnums.size(),
96 "[ERROR] cannot change type to BD_REG for a symmetry bond.%s", "\n");
97 }
98 if (std::abs(int(this->_type)) != std::abs(int(new_bondType))) {
99 cytnx_error_msg(this->_qnums.size(),
100 "[ERROR] cannot exchange BDtype between BD_* <-> gBD_* .%s", "\n");
101 }
102 }
103
104 this->_type = new_bondType;
105 }
106
107 void clear_type() {
108 if (this->_type != BD_REG) {
109 cytnx_error_msg(this->_qnums.size(), "[ERROR] cannot clear type for a symmetry bond.%s",
110 "\n");
111 }
112 this->_type = bondType::BD_REG;
113 }
114
115 boost::intrusive_ptr<Bond_impl> clone() const {
116 boost::intrusive_ptr<Bond_impl> out(new Bond_impl());
117 out->_dim = this->dim();
118 out->_type = this->type();
119 out->_qnums = this->qnums_clone();
120 out->_syms = this->syms_clone(); // return a clone of vec!
121 out->_degs = this->_degs;
122 return out;
123 }
124
125 // [NOTE] for UniTensor iinternal, we might need to return the QNpool (unordered map for further
126 // info on block arrangement!)
127 void combineBond_(const boost::intrusive_ptr<Bond_impl> &bd_in, const bool &is_grp = true);
128
129 boost::intrusive_ptr<Bond_impl> combineBond(const boost::intrusive_ptr<Bond_impl> &bd_in,
130 const bool &is_grp = true) {
131 boost::intrusive_ptr<Bond_impl> out = this->clone();
132 out->combineBond_(bd_in, is_grp);
133 return out;
134 }
135
136 // return a sorted qnums by removing all duplicates, sorted from large to small.
137 std::vector<std::vector<cytnx_int64>> getUniqueQnums(std::vector<cytnx_uint64> &counts,
138 const bool &return_counts);
139 // checked [KHW] ^^
140 // return the degeneracy of the specify qnum set.
141 cytnx_uint64 getDegeneracy(const std::vector<cytnx_int64> &qnum, const bool &return_indices,
142 std::vector<cytnx_uint64> &indices);
143
144 // return the effective qnums when Bra-Ket mismatch.
145 std::vector<std::vector<cytnx_int64>> calc_reverse_qnums();
146
147 std::vector<cytnx_uint64> &getDegeneracies() { return this->_degs; };
148 const std::vector<cytnx_uint64> &getDegeneracies() const { return this->_degs; };
149
150 std::vector<cytnx_uint64> group_duplicates_();
151
152 boost::intrusive_ptr<Bond_impl> group_duplicates(std::vector<cytnx_uint64> &mapper) const {
153 boost::intrusive_ptr<Bond_impl> out = this->clone();
154 mapper = out->group_duplicates_();
155 return out;
156 }
157
158 void force_combineBond_(const boost::intrusive_ptr<Bond_impl> &bd_in, const bool &is_grp);
159
160 }; // Bond_impl
162
176 class Bond {
177 public:
179 boost::intrusive_ptr<Bond_impl> _impl;
180 Bond() : _impl(new Bond_impl()){};
181 Bond(const Bond &rhs) { this->_impl = rhs._impl; }
182 Bond &operator=(const Bond &rhs) {
183 this->_impl = rhs._impl;
184 return *this;
185 }
187
201 : _impl(new Bond_impl()) {
202 this->_impl->Init(dim, bd_type);
203 }
204
225 Bond(const bondType &bd_type, const std::vector<std::vector<cytnx_int64>> &in_qnums,
226 const std::vector<cytnx_uint64> &degs, const std::vector<Symmetry> &in_syms = {})
227 : _impl(new Bond_impl()) {
228 this->_impl->Init(bd_type, in_qnums, degs, in_syms);
229 }
230
238 Bond(const bondType &bd_type, const std::initializer_list<std::vector<cytnx_int64>> &in_qnums,
239 const std::vector<cytnx_uint64> &degs, const std::vector<Symmetry> &in_syms = {})
240 : _impl(new Bond_impl()) {
241 this->_impl->Init(bd_type, in_qnums, degs, in_syms);
242 }
243
244 // this is needed for python binding!
252 Bond(const bondType &bd_type, const std::vector<cytnx::Qs> &in_qnums,
253 const std::vector<cytnx_uint64> &degs, const std::vector<Symmetry> &in_syms = {})
254 : _impl(new Bond_impl()) {
255 vec2d<cytnx_int64> qnums(in_qnums.begin(), in_qnums.end());
256 this->_impl->Init(bd_type, qnums, degs, in_syms);
257 }
258
266 Bond(const bondType &bd_type,
267 const std::vector<std::pair<std::vector<cytnx_int64>, cytnx_uint64>> &in_qnums_dims,
268 const std::vector<Symmetry> &in_syms = {})
269 : _impl(new Bond_impl()) {
270 this->Init(bd_type, in_qnums_dims, in_syms);
271 }
272
300 void Init(const cytnx_uint64 &dim, const bondType &bd_type = bondType::BD_REG) {
301 this->_impl->Init(dim, bd_type);
302 }
303
339 void Init(const bondType &bd_type, const std::vector<std::vector<cytnx_int64>> &in_qnums,
340 const std::vector<cytnx_uint64> &degs, const std::vector<Symmetry> &in_syms = {}) {
341 this->_impl->Init(bd_type, in_qnums, degs, in_syms);
342 }
343
349 void Init(const bondType &bd_type,
350 const std::vector<std::pair<std::vector<cytnx_int64>, cytnx_uint64>> &in_qnums_dims,
351 const std::vector<Symmetry> &in_syms = {}) {
352 vec2d<cytnx_int64> qnums(in_qnums_dims.size());
353 std::vector<cytnx_uint64> degs(in_qnums_dims.size());
354 for (int i = 0; i < in_qnums_dims.size(); i++) {
355 qnums[i] = in_qnums_dims[i].first;
356 degs[i] = in_qnums_dims[i].second;
357 }
358 this->_impl->Init(bd_type, qnums, degs, in_syms);
359 }
360
365 bondType type() const { return this->_impl->type(); };
366
368
373 const std::vector<std::vector<cytnx_int64>> &qnums() const { return this->_impl->qnums(); };
377 std::vector<std::vector<cytnx_int64>> &qnums() { return this->_impl->qnums(); };
379
385 std::vector<std::vector<cytnx_int64>> qnums_clone() const {
386 return this->_impl->qnums_clone();
387 };
388
393 cytnx_uint64 dim() const { return this->_impl->dim(); };
394
399 cytnx_uint32 Nsym() const { return this->_impl->syms().size(); };
400
402
407 const std::vector<Symmetry> &syms() const { return this->_impl->syms(); };
411 std::vector<Symmetry> &syms() { return this->_impl->syms(); };
413
419 std::vector<Symmetry> syms_clone() const { return this->_impl->syms_clone(); };
420
428 Bond &set_type(const bondType &new_bondType) {
429 this->_impl->set_type(new_bondType);
430 return *this;
431 }
432
442 Bond retype(const bondType &new_bondType) {
443 auto out = this->clone();
444 out.set_type(new_bondType);
445 return out;
446 }
447
452 Bond redirect() const {
453 auto out = this->clone();
454 out.set_type(bondType(int(out.type()) * -1));
455 return out;
456 }
457
463 this->set_type(bondType(int(this->type()) * -1));
464 return *this;
465 }
466
472 void clear_type() { this->_impl->clear_type(); }
473
488 Bond clone() const {
489 Bond out;
490 out._impl = this->_impl->clone();
491 return out;
492 }
493
520 void combineBond_(const Bond &bd_in, const bool &is_grp = true) {
521 this->_impl->combineBond_(bd_in._impl, is_grp);
522 }
523
551 Bond combineBond(const Bond &bd_in, const bool &is_grp = true) const {
552 Bond out;
553 out._impl = this->_impl->combineBond(bd_in._impl, is_grp);
554 return out;
555 }
556
584 Bond combineBonds(const std::vector<Bond> &bds, const bool &is_grp = true) {
585 Bond out = this->clone();
586 for (cytnx_uint64 i = 0; i < bds.size(); i++) {
587 out.combineBond_(bds[i], is_grp);
588 }
589 return out;
590 }
591
618 void combineBonds_(const std::vector<Bond> &bds, const bool &is_grp = true) {
619 for (cytnx_uint64 i = 0; i < bds.size(); i++) {
620 this->combineBond_(bds[i], is_grp);
621 }
622 }
623
631 std::vector<std::vector<cytnx_int64>> getUniqueQnums(std::vector<cytnx_uint64> &counts) {
632 return this->_impl->getUniqueQnums(counts, true);
633 }
634
641 std::vector<std::vector<cytnx_int64>> getUniqueQnums() {
642 std::vector<cytnx_uint64> tmp;
643 return this->_impl->getUniqueQnums(tmp, false);
644 }
645
659 cytnx_uint64 getDegeneracy(const std::vector<cytnx_int64> &qnum) const {
660 std::vector<cytnx_uint64> tmp;
661 return this->_impl->getDegeneracy(qnum, false, tmp);
662 }
663
677 cytnx_uint64 getDegeneracy(const std::vector<cytnx_int64> &qnum,
678 std::vector<cytnx_uint64> &indices) const {
679 indices.clear();
680 return this->_impl->getDegeneracy(qnum, true, indices);
681 }
682
691 std::vector<cytnx_uint64> &getDegeneracies() { return this->_impl->getDegeneracies(); }
692
696 const std::vector<cytnx_uint64> &getDegeneracies() const {
697 return this->_impl->getDegeneracies();
698 }
699
716 std::vector<cytnx_uint64> group_duplicates_() { return this->_impl->group_duplicates_(); }
717
738 Bond group_duplicates(std::vector<cytnx_uint64> &mapper) const {
739 Bond out;
740 out._impl = this->_impl->group_duplicates(mapper);
741 return out;
742 }
743
754 bool has_duplicate_qnums() const { return this->_impl->has_duplicate_qnums(); }
755
764 std::vector<std::vector<cytnx_int64>> calc_reverse_qnums() {
765 return this->_impl->calc_reverse_qnums();
766 }
767
775 void Save(const std::string &fname) const;
776
780 void Save(const char *fname) const;
781
788 static cytnx::Bond Load(const std::string &fname);
789
793 static cytnx::Bond Load(const char *fname);
794
796 void _Save(std::fstream &f) const;
797 void _Load(std::fstream &f);
799
808 bool operator==(const Bond &rhs) const;
809
816 bool operator!=(const Bond &rhs) const;
817
835 Bond operator*(const Bond &rhs) const { return this->combineBond(rhs); }
836
854 Bond &operator*=(const Bond &rhs) {
855 this->combineBond_(rhs);
856 return *this;
857 }
858 };
859
861 std::ostream &operator<<(std::ostream &os, const Bond &bin);
863} // namespace cytnx
864
865#endif
the object contains auxiliary properties for each Tensor rank (bond)
Definition Bond.hpp:176
std::vector< std::vector< cytnx_int64 > > & qnums()
Definition Bond.hpp:377
Bond & set_type(const bondType &new_bondType)
change the tag-type of the instance Bond
Definition Bond.hpp:428
cytnx_uint64 getDegeneracy(const std::vector< cytnx_int64 > &qnum) const
return the degeneracy of specify qnum set.
Definition Bond.hpp:659
std::vector< cytnx_uint64 > group_duplicates_()
Group the duplicated quantum number, inplacely.
Definition Bond.hpp:716
static cytnx::Bond Load(const std::string &fname)
Load the Bond object from the file.
void Init(const bondType &bd_type, const std::vector< std::pair< std::vector< cytnx_int64 >, cytnx_uint64 > > &in_qnums_dims, const std::vector< Symmetry > &in_syms={})
Definition Bond.hpp:349
Bond retype(const bondType &new_bondType)
create a new instance of Bond with type changed to the new tag-type.
Definition Bond.hpp:442
void combineBonds_(const std::vector< Bond > &bds, const bool &is_grp=true)
combine multiple input bonds with self, inplacely
Definition Bond.hpp:618
Bond & operator*=(const Bond &rhs)
The multiplication assignment operator of the Bond object.
Definition Bond.hpp:854
const std::vector< Symmetry > & syms() const
return the vector of symmetry objects by reference.
Definition Bond.hpp:407
Bond(const cytnx_uint64 &dim, const bondType &bd_type=bondType::BD_REG)
The constructor of the Bond object.
Definition Bond.hpp:200
Bond combineBond(const Bond &bd_in, const bool &is_grp=true) const
combine the input bond with self, and return a new combined Bond instance.
Definition Bond.hpp:551
std::vector< std::vector< cytnx_int64 > > qnums_clone() const
return the clone (deep copy) of the current quantum number set(s)
Definition Bond.hpp:385
Bond combineBonds(const std::vector< Bond > &bds, const bool &is_grp=true)
combine multiple input bonds with self, and return a new combined Bond instance.
Definition Bond.hpp:584
Bond operator*(const Bond &rhs) const
The multiplication operator of the Bond object.
Definition Bond.hpp:835
Bond group_duplicates(std::vector< cytnx_uint64 > &mapper) const
Group the duplicated quantum number and return the new instance of the Bond ojbect.
Definition Bond.hpp:738
void Init(const cytnx_uint64 &dim, const bondType &bd_type=bondType::BD_REG)
init a bond object
Definition Bond.hpp:300
void clear_type()
change the tag-type to the default value bondType.BD_REG.
Definition Bond.hpp:472
Bond(const bondType &bd_type, const std::vector< cytnx::Qs > &in_qnums, const std::vector< cytnx_uint64 > &degs, const std::vector< Symmetry > &in_syms={})
Definition Bond.hpp:252
Bond redirect() const
create a new instance of Bond with type changed in between bondType.BD_BRA / bondType....
Definition Bond.hpp:452
const std::vector< cytnx_uint64 > & getDegeneracies() const
Definition Bond.hpp:696
std::vector< cytnx_uint64 > & getDegeneracies()
return all degeneracies.
Definition Bond.hpp:691
bondType type() const
return the current bond type (see cytnx::bondType).
Definition Bond.hpp:365
Bond clone() const
return a copy of the instance Bond
Definition Bond.hpp:488
cytnx_uint64 getDegeneracy(const std::vector< cytnx_int64 > &qnum, std::vector< cytnx_uint64 > &indices) const
return the degeneracy of specify qnum set.
Definition Bond.hpp:677
std::vector< Symmetry > syms_clone() const
return copy of the vector of symmetry objects.
Definition Bond.hpp:419
Bond & redirect_()
Change the bond type between bondType.BD_BRA and bondType.BD_KET in the Bond.
Definition Bond.hpp:462
cytnx_uint64 dim() const
return the dimension of the bond
Definition Bond.hpp:393
std::vector< std::vector< cytnx_int64 > > getUniqueQnums()
return a sorted qnum sets by removing all the duplicate qnum sets.
Definition Bond.hpp:641
const std::vector< std::vector< cytnx_int64 > > & qnums() const
return the current quantum number set(s) by reference
Definition Bond.hpp:373
void combineBond_(const Bond &bd_in, const bool &is_grp=true)
Combine the input bond with self, inplacely.
Definition Bond.hpp:520
std::vector< Symmetry > & syms()
Definition Bond.hpp:411
Bond(const bondType &bd_type, const std::vector< std::pair< std::vector< cytnx_int64 >, cytnx_uint64 > > &in_qnums_dims, const std::vector< Symmetry > &in_syms={})
Definition Bond.hpp:266
void Save(const char *fname) const
cytnx_uint32 Nsym() const
return the number of the symmetries
Definition Bond.hpp:399
bool has_duplicate_qnums() const
Check whether there is duplicated quantum numbers in the Bond.
Definition Bond.hpp:754
std::vector< std::vector< cytnx_int64 > > getUniqueQnums(std::vector< cytnx_uint64 > &counts)
return a sorted qnum sets by removing all the duplicate qnum sets.
Definition Bond.hpp:631
std::vector< std::vector< cytnx_int64 > > calc_reverse_qnums()
Calculate the reverse of the quantum numbers.
Definition Bond.hpp:764
Bond(const bondType &bd_type, const std::vector< std::vector< cytnx_int64 > > &in_qnums, const std::vector< cytnx_uint64 > &degs, const std::vector< Symmetry > &in_syms={})
The constructor of the Bond object.
Definition Bond.hpp:225
bool operator!=(const Bond &rhs) const
The comparison operator 'not equal to'.
void Init(const bondType &bd_type, const std::vector< std::vector< cytnx_int64 > > &in_qnums, const std::vector< cytnx_uint64 > &degs, const std::vector< Symmetry > &in_syms={})
init a bond object
Definition Bond.hpp:339
void Save(const std::string &fname) const
Save the Bond object to the file.
static cytnx::Bond Load(const char *fname)
Bond(const bondType &bd_type, const std::initializer_list< std::vector< cytnx_int64 > > &in_qnums, const std::vector< cytnx_uint64 > &degs, const std::vector< Symmetry > &in_syms={})
Definition Bond.hpp:238
bool operator==(const Bond &rhs) const
The comparison operator 'equal to'.
#define cytnx_error_msg(is_true, format,...)
Definition cytnx_error.hpp:16
Helper function to print vector with ODT:
Definition Accessor.hpp:12
uint32_t cytnx_uint32
Definition Type.hpp:56
uint64_t cytnx_uint64
Definition Type.hpp:55
std::vector< std::vector< T > > vec2d
Definition Type.hpp:51
bondType
bond type
Definition Bond.hpp:31
@ BD_IN
Definition Bond.hpp:36
@ BD_OUT
Definition Bond.hpp:37
@ BD_NONE
Definition Bond.hpp:35
@ BD_REG
Definition Bond.hpp:34
@ BD_BRA
Definition Bond.hpp:33
@ BD_KET
Definition Bond.hpp:32
tmp
Definition sp.py:8