1#ifndef CYTNX_NETWORK_H_
2#define CYTNX_NETWORK_H_
6#include <initializer_list>
11#include "utils/utils.hpp"
17 #include <cutensornet.h>
24 enum __nttype {
Void = -1, Regular = 0, Fermion = 1 };
26 class NetworkType_class {
28 enum :
int {
Void = -1, Regular = 0, Fermion = 1 };
29 std::string getname(
const int &nwrktype_id);
31 extern NetworkType_class NtType;
35 class Network_base :
public intrusive_ptr_base<Network_base> {
40 std::vector<UniTensor> tensors;
41 std::vector<std::string> TOUT_labels;
43 cytnx_uint64 TOUT_iBondNum;
48 ContractionTree CtTree;
49 std::vector<std::string> ORDER_tokens;
51 std::string order_line =
"";
53 std::vector<std::pair<cytnx_int64, cytnx_int64>> einsum_path;
56 std::vector<std::vector<std::string>> label_arr;
57 std::vector<cytnx_int64> iBondNums;
60 std::vector<std::string> names;
61 std::map<std::string, cytnx_uint64> name2pos;
64 std::vector<std::pair<int, int>> TOUT_pos;
67 std::vector<std::vector<cytnx_int64>> int_modes;
68 std::vector<cytnx_int64> int_out_mode;
78 cutensornetNetworkDescriptor_t descNet;
80 cutensornetContractionOptimizerInfo_t optimizerInfo;
83 friend class FermionNetwork;
84 friend class RegularNetwork;
86 Network_base() : nwrktype_id(NtType.
Void){};
88 bool HasPutAllUniTensor() {
89 for (cytnx_uint64 i = 0; i < this->tensors.size(); i++) {
90 if (this->tensors[i].uten_type() ==
UTenType.Void)
return false;
106 virtual void PutUniTensor(
const std::string &name,
const UniTensor &utensor);
107 virtual void PutUniTensor(
const cytnx_uint64 &idx,
const UniTensor &utensor);
108 virtual void PutUniTensors(
const std::vector<std::string> &name,
109 const std::vector<UniTensor> &utensors);
111 virtual void RmUniTensor(
const cytnx_uint64 &idx);
112 virtual void RmUniTensor(
const std::string &name);
113 virtual void RmUniTensors(
const std::vector<std::string> &name);
115 virtual void Contract_plan(
const std::vector<UniTensor> &utensors,
const std::string &Tout,
116 const std::vector<std::string> &alias,
117 const std::string &contract_order);
119 virtual void Fromfile(
const std::string &fname);
120 virtual void FromString(
const std::vector<std::string> &content);
121 virtual void clear();
122 virtual std::string getOptimalOrder();
126 virtual std::string getOrder();
127 virtual void setOrder(
const bool &optimal =
false,
const std::string &contract_order =
"");
129 virtual UniTensor Launch();
131 virtual void construct(
const std::vector<std::string> &alias,
132 const std::vector<std::vector<std::string>> &labels,
133 const std::vector<std::string> &outlabel,
const cytnx_int64 &outrk,
134 const std::string &order,
const bool optim);
135 virtual void PrintNet(std::ostream &os);
136 virtual boost::intrusive_ptr<Network_base> clone();
137 virtual void Savefile(
const std::string &fname);
138 virtual ~Network_base(){};
142 class RegularNetwork :
public Network_base {
144 RegularNetwork() { this->nwrktype_id = NtType.Regular; };
145 void Fromfile(
const std::string &fname);
146 void FromString(
const std::vector<std::string> &contents);
147 void PutUniTensor(
const std::string &name,
const UniTensor &utensor);
148 void PutUniTensor(
const cytnx_uint64 &idx,
const UniTensor &utensor);
149 void PutUniTensors(
const std::vector<std::string> &name,
150 const std::vector<UniTensor> &utensors);
152 void RmUniTensor(
const cytnx_uint64 &idx);
153 void RmUniTensor(
const std::string &name);
154 void RmUniTensors(
const std::vector<std::string> &name);
156 void Contract_plan(
const std::vector<UniTensor> &utensors,
const std::string &Tout,
157 const std::vector<std::string> &alias = {},
158 const std::string &contract_order =
"");
160 this->tensors.clear();
161 this->name2pos.clear();
162 this->CtTree.clear();
164 this->iBondNums.clear();
165 this->label_arr.clear();
166 this->TOUT_labels.clear();
167 this->TOUT_iBondNum = 0;
168 this->ORDER_tokens.clear();
170 std::string getOptimalOrder();
173 std::string getOrder();
174 void setOrder(
const bool &optimal =
false,
const std::string &contract_order =
"");
177 void construct(
const std::vector<std::string> &alias,
178 const std::vector<std::vector<std::string>> &labels,
179 const std::vector<std::string> &outlabel,
const cytnx_int64 &outrk,
180 const std::string &order,
const bool optim);
181 boost::intrusive_ptr<Network_base> clone() {
182 RegularNetwork *tmp =
new RegularNetwork();
183 tmp->name2pos = this->name2pos;
184 tmp->CtTree = this->CtTree;
185 tmp->names = this->names;
186 tmp->iBondNums = this->iBondNums;
187 tmp->label_arr = this->label_arr;
188 tmp->TOUT_labels = this->TOUT_labels;
189 tmp->TOUT_iBondNum = this->TOUT_iBondNum;
190 tmp->ORDER_tokens = this->ORDER_tokens;
191 boost::intrusive_ptr<Network_base> out(tmp);
194 void PrintNet(std::ostream &os);
195 void Savefile(
const std::string &fname);
200 class FermionNetwork :
public Network_base {
205 FermionNetwork() { this->nwrktype_id = NtType.Fermion; };
206 void Fromfile(
const std::string &fname){};
207 void FromString(
const std::vector<std::string> &contents){};
208 void RmUniTensor(
const cytnx_uint64 &idx){};
209 void RmUniTensor(
const std::string &name){};
210 void RmUniTensors(
const std::vector<std::string> &name){};
212 void PutUniTensor(
const std::string &name,
const UniTensor &utensor){};
213 void PutUniTensor(
const cytnx_uint64 &idx,
const UniTensor &utensor){};
214 void PutUniTensors(
const std::vector<std::string> &name,
215 const std::vector<UniTensor> &utensors){};
216 void Contract_plan(
const std::vector<UniTensor> &utensors,
const std::string &Tout,
217 const std::vector<std::string> &alias = {},
218 const std::string &contract_order =
""){};
220 this->name2pos.clear();
221 this->CtTree.clear();
223 this->iBondNums.clear();
224 this->label_arr.clear();
225 this->TOUT_labels.clear();
226 this->TOUT_iBondNum = 0;
227 this->ORDER_tokens.clear();
229 UniTensor Launch(
const bool &optimal =
false,
const std::string &contract_order =
"") {
232 boost::intrusive_ptr<Network_base> clone() {
233 FermionNetwork *tmp =
new FermionNetwork();
234 tmp->name2pos = this->name2pos;
235 tmp->CtTree = this->CtTree;
236 tmp->names = this->names;
237 tmp->iBondNums = this->iBondNums;
238 tmp->label_arr = this->label_arr;
239 tmp->TOUT_labels = this->TOUT_labels;
240 tmp->TOUT_iBondNum = this->TOUT_iBondNum;
241 tmp->ORDER_tokens = this->ORDER_tokens;
242 boost::intrusive_ptr<Network_base> out(tmp);
245 void PrintNet(std::ostream &os){};
246 void Savefile(
const std::string &fname){};
261 boost::intrusive_ptr<Network_base> _impl;
262 Network() : _impl(
new Network_base()){};
265 this->_impl = rhs._impl;
317 void Fromfile(
const std::string &fname,
const int &network_type = NtType.Regular) {
318 if (network_type == NtType.Regular) {
319 boost::intrusive_ptr<Network_base> tmp(
new RegularNetwork());
322 cytnx_error_msg(
true,
"[Developing] currently only support regular type network.%s",
"\n");
324 this->_impl->Fromfile(fname);
355 const int &network_type = NtType.Regular) {
356 if (network_type == NtType.Regular) {
357 boost::intrusive_ptr<Network_base> tmp(
new RegularNetwork());
360 cytnx_error_msg(
true,
"[Developing] currently only support regular type network.%s",
"\n");
362 this->_impl->FromString(contents);
366 static Network Contract(
const std::vector<UniTensor> &tensors,
const std::string &Tout,
367 const std::vector<std::string> &alias = {},
368 const std::string &contract_order =
"") {
369 boost::intrusive_ptr<Network_base> tmp(
new RegularNetwork());
372 out._impl->Contract_plan(tensors, Tout, alias, contract_order);
376 Network(
const std::string &fname,
const int &network_type = NtType.Regular) {
377 this->
Fromfile(fname, network_type);
380 void RmUniTensor(
const std::string &name) { this->_impl->RmUniTensor(name); }
381 void RmUniTensor(
const cytnx_uint64 &idx) { this->_impl->RmUniTensor(idx); }
382 void RmUniTensors(
const std::vector<std::string> &names) { this->_impl->RmUniTensors(names); }
384 const std::vector<std::string> &label_order = {}) {
385 if (label_order.size()) {
386 auto tmpu = utensor.
permute(label_order);
387 this->_impl->PutUniTensor(name, tmpu);
389 this->_impl->PutUniTensor(name, utensor);
392 const std::vector<std::string> &label_order = {}) {
393 if (label_order.size()) {
394 auto tmpu = utensor.
permute(label_order);
395 this->_impl->PutUniTensor(idx, tmpu);
397 this->_impl->PutUniTensor(idx, utensor);
401 const std::vector<UniTensor> &utensors) {
402 this->_impl->PutUniTensors(name, utensors);
405 if (network_type == NtType.Regular) {
406 return this->_impl->getOptimalOrder();
408 cytnx_error_msg(
true,
"[Developing] currently only support regular type network.%s",
"\n");
412 std::string
getOrder() {
return this->_impl->getOrder(); }
414 void setOrder(
const bool &optimal,
const std::string &contract_order ) {
415 return this->_impl->setOrder(optimal, contract_order);
419 if (network_type == NtType.Regular) {
420 return this->_impl->Launch();
422 cytnx_error_msg(
true,
"[Developing] currently only support regular type network.%s",
"\n");
427 const std::vector<std::vector<std::string>> &labels,
428 const std::vector<std::string> &outlabel = std::vector<std::string>(),
429 const cytnx_int64 &outrk = 0,
const std::string &order =
"",
430 const bool optim =
false,
const int &network_type = NtType.Regular) {
431 if (network_type == NtType.Regular) {
432 boost::intrusive_ptr<Network_base> tmp(
new RegularNetwork());
435 cytnx_error_msg(
true,
"[Developing] currently only support regular type network.%s",
"\n");
437 this->_impl->construct(alias, labels, outlabel, outrk, order, optim);
442 this->_impl->clear();
447 out._impl = this->_impl->
clone();
450 void PrintNet() { this->_impl->PrintNet(std::cout); }
452 void Savefile(
const std::string &fname) { this->_impl->Savefile(fname); }
456 std::ostream &operator<<(std::ostream &os,
const Network &bin);
Definition Network.hpp:258
void Fromfile(const std::string &fname, const int &network_type=NtType.Regular)
Construct Network from network file.
Definition Network.hpp:317
Network(const std::string &fname, const int &network_type=NtType.Regular)
Definition Network.hpp:376
Network clone()
Definition Network.hpp:445
void setOrder(const bool &optimal, const std::string &contract_order)
Definition Network.hpp:414
void construct(const std::vector< std::string > &alias, const std::vector< std::vector< std::string > > &labels, const std::vector< std::string > &outlabel=std::vector< std::string >(), const cytnx_int64 &outrk=0, const std::string &order="", const bool optim=false, const int &network_type=NtType.Regular)
Definition Network.hpp:426
void PrintNet()
Definition Network.hpp:450
std::string getOptimalOrder(const int &network_type=NtType.Regular)
Definition Network.hpp:404
void RmUniTensors(const std::vector< std::string > &names)
Definition Network.hpp:382
UniTensor Launch(const int &network_type=NtType.Regular)
Definition Network.hpp:418
void RmUniTensor(const cytnx_uint64 &idx)
Definition Network.hpp:381
static Network Contract(const std::vector< UniTensor > &tensors, const std::string &Tout, const std::vector< std::string > &alias={}, const std::string &contract_order="")
Definition Network.hpp:366
void FromString(const std::vector< std::string > &contents, const int &network_type=NtType.Regular)
Construct Network from a list of strings, where each string is the same as each line in network file.
Definition Network.hpp:354
void clear()
Definition Network.hpp:440
void RmUniTensor(const std::string &name)
Definition Network.hpp:380
std::string getOrder()
Definition Network.hpp:412
void PutUniTensors(const std::vector< std::string > &name, const std::vector< UniTensor > &utensors)
Definition Network.hpp:400
void PutUniTensor(const cytnx_uint64 &idx, const UniTensor &utensor, const std::vector< std::string > &label_order={})
Definition Network.hpp:391
void PutUniTensor(const std::string &name, const UniTensor &utensor, const std::vector< std::string > &label_order={})
Definition Network.hpp:383
void Savefile(const std::string &fname)
Definition Network.hpp:452
An Enhanced tensor specifically designed for physical Tensor network simulation.
Definition UniTensor.hpp:2773
UniTensor permute(const std::vector< cytnx_int64 > &mapper, const cytnx_int64 &rowrank=-1) const
permute the legs of the UniTensor
Definition UniTensor.hpp:3778
#define cytnx_error_msg(is_true, format,...)
Definition cytnx_error.hpp:118
Definition Accessor.hpp:12
UniTensorType_class UTenType
UniTensor type.
@ Void
Definition Symmetry.hpp:30