imality assumptions have been introduced. These conditions are weaker than the CFC but do not guarantee model identifiability [@Zhang2013]. On the other hand, the recently introduced sparsest Markov representation (SMR) and frugality assumptions [@forster2015frugal; @Raskutti2013; @van2013ell] provide an alternative that is milder than the CFC and is sufficient to ensure identifiability. The main downside of the [SMR]{} and frugality assumptions relative to the CFC is that the [SMR]{} and frugality assumptions are sufficient conditions for model identifiability only when exhaustive searches over the DAG space are possible [@Raskutti2013], while the CFC is sufficient for polynomial-time algorithms [@Glymour1987; @Spirtes1991; @Spirtes2000] for learning equivalence class of sparse graphs.

While the DAG framework is useful in many applications, it is limited since feedback loops are known to often exist (see e.g., [@Richardson1996; @Richardson1995]). Hence, directed graphs with directed cycles [@Spirtes2000] are more appropriate to model such feedback. However learning directed cyclic graphical (DCG) models from data is considerably more challenging than learning DAG models [@Richardson1996; @Richardson1995] since the presence of cycles poses a number of additional challenges and introduces additional non-identifiability. Consequently there has been considerably less work focusing on directed graphs with feedback both in terms of identifiability assumptions and search algorithms. [@Spirtes1995] discussed the CMC, and [@Richardson1996; @Richardson1995] discussed the CFC for DCG models and introduced the polynomial-time cyclic causal discovery (CCD) algorithm [@Richardson1996] for recovering the Markov equivalence class for DCGs. Recently, [@claassen2013learning] introduced the FCI$+$ algorithm for recovering the Markov equivalence class for sparse DCGs, which also assumes the CFC. As with DAG models, the CFC for cyclic models is extremely restrictive since it is more restrictive than the CFC for DAG models. In terms of learning algorithms that do not require the CFC, additional assumptions are typically required. For example [@mooij2011causal] proved identifiability for bivariate Gaussian cyclic graphical models with additive noise which does not require the CFC while many approaches have been studied for learning
imality assumptions have been introduced. These conditions are weaker than the CFC but do not undertake exemplar identifiability   [ @Zhang2013 ]. On the other hand, the recently insert sparse Markov representation (SMR) and frugality assumptions   [ @forster2015frugal; @Raskutti2013; @van2013ell ] provide an option that is meek than the CFC and is sufficient to ensure identifiability. The main downside of the [ SMR ] { }   and frugality assumptions relative to the CFC is that the [ SMR ] { }   and frugality assumption are sufficient conditions for model identifiability entirely when exhaustive search over the DAG space are potential   [ @Raskutti2013 ], while the CFC is sufficient for polynomial - time algorithm   [ @Glymour1987; @Spirtes1991; @Spirtes2000 ] for learn equivalence class of sparse graphs. 

 While the DAG model is useful in many applications, it is limited since feedback loops are known to frequently exist (see e.g.,   [ @Richardson1996; @Richardson1995 ]). Hence, directed graphs with target cycles   [ @Spirtes2000 ] are more appropriate to model such feedback. However learning directed cyclic graphical (DCG) models from datum is well more ambitious than learning DAG models   [ @Richardson1996; @Richardson1995 ] since the presence of cycles poses a number of additional challenge and introduce additional non - identifiability. Consequently there has been considerably less work concenter on directed graphs with feedback both in terms of identifiability assumption and search algorithms. [ @Spirtes1995 ] discussed the CMC, and   [ @Richardson1996; @Richardson1995 ] discussed the CFC for DCG models and introduce the polynomial - time cyclic causal discovery (CCD) algorithm   [ @Richardson1996 ] for recovering the Markov equivalence class for DCGs. Recently,   [ @claassen2013learning ] introduced the FCI$+$ algorithm for recovering the Markov comparison class for sparse DCGs, which also assumes the CFC. As with DAG models, the CFC for cyclic model is highly restrictive since it is more restrictive than the CFC for DAG models. In terms of learning algorithms that do not require the CFC, additional assumptions are typically required. For case   [ @mooij2011causal ] proved identifiability for bivariate Gaussian cyclic graphical models with additive randomness which does not require the CFC while many approaches have been studied for learning
imapity assumptions have betn introduced. These condmtions zre weakdr than the CFC but do not gnarabtee nodel identifiability [@Zfang2013]. On tje other hanv, the recently iifroduced sparacst Mcrjov representajion (SMR) and frugality assgmotnons [@forster2015frugal; @Raskutti2013; @van2013ell] prjvide am wlternative thwt ix milsvr than the CFC and is sufficieht to eisure identifianility. The main downside ov thf [SMR]{} and frugality assumptionw rejqtive to the CFC is that the [SMR]{} ans frugality assumptions are sufwicieut conditiobs fog model idenvifiabplity only whcm exhagstive xearches over bhe DEG space are possible [@Raskntti2013], while the CFC if sufficianc for polynomial-time qltoritvms [@Gnymoje1987; @Soirues1991; @Slirtes2000] foc learning squivalence class of sparse grsprw.

While the DAF framqwjrk is useful in many applications, it iv ljmited since feedback liops are known to oftgn exist (sqe e.g., [@Richardson1996; @Richardson1995]). Hence, directed graphs fith vifecuee cycuws [@Dpirtes2000] are more appropriate to model such feqsbscl. However learking directed cycloc gtwphical (DCG) mudels ydoj data is considerwbly mote chaolenging uhan kearning DAG models [@Richardsin1996; @Richardsou1995] sunce the presence lf cycles puses a nukber of additional chaluengss and intrlduces adsktional non-identkfisbhlity. Consequently there hws been cinsiberably uess work socusing oj dircwted graphs with ffedbaek bodh in termd of identifiability assumptions and search akgmrinhms. [@Spirces1995] dixcussed the CIC, and [@Richardspn1996; @Richcrdson1995] discussed the CFR for DCG moqels and intrmfuced the ponynomial-eime cycoic caurxl discovery (CVD) algorinhi [@Ricyardson1996] for recoveving jhs Markov equivaoenxe class for DCBs. Fecqnnly, [@rlaasfan2013learning] ittroaucdc the FCI$+$ algoribhm for recovering the Markmv esuivalence class fpr sparse ECGs, whish also assumrs the CFC. As with DAG kodxls, thr CSC for cyclic models is extremsly restrlctlve since it ys mire restrictnve than the CFC for DAG models. In terms of learning algotithms that do not reamire the CFC, addieional asvumptions are typicaoly required. For txample [@mooij2011causal] provsd idettifiwbility for bivariate Gaussian cyclic graphical models with additive noisw whici qoes not resuirr the CYC chile mwny ep'roaches have beem studied for learning
imality assumptions have been introduced. These conditions than CFC but not guarantee model hand, recently introduced sparsest representation (SMR) and assumptions [@forster2015frugal; @Raskutti2013; @van2013ell] provide an that is milder than the CFC and is sufficient to ensure identifiability. The downside of the [SMR]{} and frugality assumptions relative to the CFC is that [SMR]{} frugality are conditions for model identifiability only when exhaustive searches over the DAG space are possible [@Raskutti2013], while CFC is sufficient for polynomial-time algorithms [@Glymour1987; @Spirtes1991; for learning equivalence class sparse graphs. While the DAG is in many it limited feedback loops are to often exist (see e.g., [@Richardson1996; @Richardson1995]). Hence, directed graphs with directed cycles [@Spirtes2000] are more appropriate model such learning directed graphical models data is considerably than learning DAG models [@Richardson1996; @Richardson1995] of cycles poses a number of additional challenges introduces additional Consequently there has been considerably less focusing on directed graphs with feedback both in of identifiability assumptions and search algorithms. [@Spirtes1995] discussed the CMC, and [@Richardson1996; @Richardson1995] discussed the DCG models and introduced polynomial-time cyclic causal (CCD) [@Richardson1996] recovering Markov equivalence for DCGs. Recently, [@claassen2013learning] introduced the FCI$+$ algorithm for recovering the equivalence class for sparse DCGs, which also assumes the CFC. DAG the CFC for models is extremely restrictive it more restrictive than the DAG In algorithms do require the CFC, additional are typically required. For example proved identifiability for bivariate additive noise which does not require the CFC many approaches have been studied for learning
imality assumptions have beeN introduceD. ThesE coNdiTiOns aRe weAker than the CFC BUt do Not guarantee model identIfiabIlITy [@ZhANg2013]. on the Other haND, tHE RecEnTlY inTrODuCed spArsEst MarkOv represenTatIoN (SMR) and frugaLItY assumptioNs [@fOrster2015frugal; @rasKutti2013; @vAn2013Ell] PRovidE an AlterNative THat is mIlder than ThE cFC and IS sufficIENt To enSure identifiabiliTY. THE main downside oF the [SMr]{} aND fRUGalIty AssumptionS rElatiVE to the Cfc iS THAt tHE [SMR]{} and frugalIty assumptiONs aRe suffIcIenT ConditIons fOr MOdeL identifiabIlitY only when ExhausTIve searCHes over The DAG SpaCe aRe poSSiBlE [@RaSkUTti2013], WHiLe tHE CFc is suffiCiEnT for pOlynOMIAL-timE alGoriThms [@GLymour1987; @Spirtes1991; @spiRtes2000] FOr lEarniNg equIvalEnCe claSs of spArse gRaPhs.

While the DAG fRameWork is useFul In ManY aPplicATions, iT is LimIted sinCe feedbACk lOoPS ARe Known to often exist (sEe E.G., [@riChardson1996; @richarDSoN1995]). HENce, direcTeD grAphs WITh dirEcteD CyCles [@SpirTes2000] are MOrE aPpropriAtE to modEl SucH feEdbacK. howeVer leaRning dirEcted CYclic graphical (dcG) models from dATa IS CoNSideRabLy more challEngiNG thaN leaRNiNg Dag modeLs [@RicHaRDsON1996; @Richardson1995] since the PrEsence Of cycLes poses a numbEr of additiONAL challenGes aND iNTroduces additiOnal nOn-identifiABility. CoNsequEntly theRe has been CONsiderabLy lEss WorK foCUSiNg on directed gRAPhs wItH feedbaCk bOth in teRms Of iDenTifIaBility assUmptions AnD sEaRcH alGoritHMs. [@SpirteS1995] dIscUsSed The CMc, And [@RicHardsOn1996; @RiChArDSon1995] DiscussED tHE cFC fOr dCg modEls AnD intrOducED thE polynoMial-time cYclIC cauSaL dIscoverY (CCD) algorithm [@riChardson1996] foR rEcoVering THE Markov eQuivalence class for DCGs. RECently, [@cLaaSsen2013lEarnIng] introdUceD the FCi$+$ alGOrithm For recOveriNg The mARkov eQUIvAleNcE class for sPARse dCGs, wHiCh alSo assumEs the CFC. As with DAG mODelS, the CFC for cycLic ModeLS Is ExtREmELy rEsTRicTIVe since it is more RestrictivE tHAn The CFC for Dag moDeLs. In terMs of leaRning ALgorithMs that do nOt require ThE CFC, ADDitIonal assumPtions arE typicallY RequiREd. for exAmpLe [@mooiJ2011cAusAl] proVed ideNTifIabilIty for BiVariatE GausSiAn cyclic Graphical models with addiTive noIse whIch Does not reQuiRE thE CFC while Many Approaches HavE beEn stuDieD For leArniNG
imality assumptions have b een introd uced.  Th ese  c ondi tion s are weaker t h an t he CFC but do not guar antee  m o deli de ntifi ability [@ Z h ang 20 13 ].On th e oth erhand, t he recentl y i nt roduced spar s es t Markov r epr esentation ( SMR ) andfr uga l ity a ssu mptio ns [@f o rster2 015frugal ;@ Raskut t i2013;@ v an 2013 ell] provide an a l te r native that is  milde rt ha n the  CF C and is s uf ficie n t to en s ur e i den t ifiability. T he main dow n sid e of t he  [S M R]{} a nd fr ug a lit y assumptio ns r elative t o theC FC is t h at the[SMR]{ } a ndfrug a li ty  as su m pti o ns  ar e  su fficient  c on ditio ns f o r m odel  id enti fiabi lity only whe n e xhau s tiv e sea rches  ove rthe D AG spa ce ar epossible [@Rask utti 2013], wh ile  t heCF C iss uffici ent  fo r polyn omial-t i meal g o r it hms [@Glymour1987;  @ S p ir tes1991;  @Spir t es 20 0 0] for l ea rni ng e q u ivale ncec la ss of sp arse g r ap hs .

Whil ethe DA Gfra mew ork i s  use ful in  many ap plica t ions, it is li m ited since fe e db a c kl oops  ar e known toofte n  exi st ( s ee  e. g ., [@ Richa rd s on 1 996; @Richardson199 5] ). Hen ce, d irected graph s with dir e c t ed cycle s [@ S pi r tes2000] are m ore a ppropriate to model  such  feedbac k. Howeve r learning  di rec ted  cy c l ic  graphical (D C G ) mo de ls from  da ta is c ons ide rab lymo re challe nging th an  l ea rn ing  DAGm odels [@ Ri cha rd son 1996; @Richa rdson 1995 ]si n cethe pre s en c e  ofcy cl es p ose sa num bero f a ddition al challe nge s  and  i nt roduces  additional n on -identifia bi lit y. Con s e quentlythere has been consider a bly les s w ork f ocus ing on di rec ted gr aph s  withfeedba ck bo th  in t ermso f  i den ti fiabilitya s sum ption sandsearchalgorithms. [@Spir t es1 995] discusse d t he C M C ,and [@ R ich ar d son 1 9 96; @Richardson 1995] disc us s ed  the CFC f o r D CG  models  and in trodu c ed thepolynomia l-time cy cl ic c a u sal  discovery  (CCD) a lgorithm[ @Rich a rd son19 96]  for r ec ove ringthe Ma r kov  equi valenc eclassfor D CG s. Recen tly, [@claassen2013lear ning]intro duc ed the FC I$+ $  al gorithm f or r ecoveringthe  Ma rkovequ i valen ce c l as s f o r spa rseD CGs, whic h  a lso a ss umes the CF C . AswithDAG models , th e CFC for cyclicm odels is extre mely r est ric t ivesi nce it is more  re st r i ctive th an  the CFC fo r DAG mo de l s. In  terms  of le arninga l go r ithmsthat  do  not requ ire  t h e CFC,ad di t ionalassu mp tionsare ty p ical l y  required. For e xampl e [@moo i j20 11cau sa l] prov e d id entifiabil ity for biv ariate  Gau ssian  cyclic  g raphic almo dels witha dditive n oisewhich d oe s no t r equire  the C FC wh ilema nyapproache s ha v ebe e n s tudi ed fo rlear ning
imality assumptions_have been_introduced. These conditions are_weaker than_the_CFC but_do_not guarantee model_identifiability [@Zhang2013]. On the_other hand, the recently_introduced sparsest Markov_representation_(SMR) and frugality assumptions [@forster2015frugal; @Raskutti2013; @van2013ell] provide an alternative that is milder than the_CFC_and is_sufficient_to_ensure identifiability. The main downside_of the [SMR]{} and frugality assumptions_relative to_the CFC is that the [SMR]{} and frugality assumptions_are_sufficient conditions for_model identifiability only when exhaustive searches over the DAG_space are possible [@Raskutti2013], while the CFC_is sufficient for_polynomial-time_algorithms [@Glymour1987;_@Spirtes1991; @Spirtes2000] for learning_equivalence class of sparse graphs.

While the_DAG framework is useful in many_applications, it is limited since feedback loops_are known to often exist (see_e.g., [@Richardson1996; @Richardson1995]). Hence, directed graphs_with directed_cycles [@Spirtes2000] are more appropriate to_model such feedback._However learning_directed cyclic graphical_(DCG) models from data is considerably_more challenging than_learning DAG models [@Richardson1996; @Richardson1995] since the_presence_of cycles poses_a_number_of additional_challenges and introduces_additional_non-identifiability. Consequently_there_has been considerably less work focusing_on_directed graphs with feedback both in terms_of identifiability assumptions and_search_algorithms. [@Spirtes1995] discussed the_CMC, and [@Richardson1996; @Richardson1995] discussed the_CFC for DCG models and introduced_the polynomial-time_cyclic causal_discovery (CCD) algorithm [@Richardson1996] for recovering the Markov equivalence class for DCGs._Recently, [@claassen2013learning] introduced the FCI$+$ algorithm for_recovering the Markov equivalence_class for_sparse_DCGs, which also_assumes_the CFC._As with DAG models, the CFC for_cyclic models_is extremely restrictive since it is_more restrictive than the_CFC_for DAG models. In terms of_learning algorithms that do not require_the CFC, additional assumptions are_typically_required._For example [@mooij2011causal] proved identifiability for_bivariate Gaussian cyclic graphical models with_additive noise which_does not require the CFC while many_approaches_have been studied for learning