In Ref. [@Trifunovic2019], a complete classification of these intrinsic corner or hinge modes was derived and a higher-order bulk-boundary correspondence between these high codimension boundary modes and the topological bulk was obtained. These were accomplished by considering a $K$ subgroup series for a $d$-dimensional crystal, $$K^{(d)} \subseteq \dots \subseteq K'' \subseteq K' \subseteq K,$$ where $K\equiv K^{(0)}$ is the $K$ group which classifies the bulk band structure of Hamiltonians with coexisting order-two symmetry/antisymmetry, defined in the previous section. $K^{(n)}\subseteq K$ is a subgroup excluding topological phases of order $n$ or lower, for any crystalline-symmetry compatible boundaries. For example, $K'$ classifies the “purely crystalline phases” [@Geier2018; @Trifunovic2019], which exclude the tenfold-way topological phases, which are first-order topological phases protected by nonspatial symmetries alone and have gapless modes at any codimension-one boundaries. This purely crystalline phases can have gapless modes only when the boundary preserves the crystalline symmetry, and the gapless modes will be gapped when the crystalline symmetry is broken.

From a boundary perspective, one can define the boundary $K$ group $\mathcal{K}'$, which classifies the tenfold-way topological phases with gapless codimension-one boundary modes irrespective of boundary orientations, as long as the crystal shape and lattice termination are compatible crystalline symmetries. According to the above definitions, $\mathcal{K}'$ can be identified as the quotient group $$\mathcal{K}'= K/K'.$$ Generalizing this idea, a series of boundary $K$ groups denoted as $\mathcal{K}^{(n)}$ can be defined, which classify the intrinsic $n$-th order TI/SCs with intrinsic gapless codimension-$n$ boundary modes, when the crystal has crystalline-symmetry-compatible shape and lattice termination. In Ref. [@Trifunovic2019], the authors proved the following relation, $$\mathcal{K}^{(n+1)} = K^{(n)}/K^{(n+1)},$$ known as the higher-order bulk-boundary correspondence: an intrinsic higher-order topological phase is uniquely associated with a topologically nontrivial bulk. Moreover, the above equation provides a systematic way of obtaining the complete classification of intrinsic HOTI/SCs from $K$ subgroup series, which were computed for
In Ref.   [ @Trifunovic2019 ], a complete classification of these intrinsic corner or hinge modes was derive and a eminent - order bulk - boundary correspondence between these gamey codimension boundary modes and the topological majority was obtained. These were accomplished by considering a $ K$ subgroup serial for a $ d$-dimensional quartz glass, $ $ K^{(d) } \subseteq \dots \subseteq K" \subseteq K' \subseteq K,$$ where $ K\equiv K^{(0)}$ is the $ K$ group which classifies the bulk band social organization of Hamiltonians with coexisting order - two isotropy / antisymmetry, defined in the previous section. $ K^{(n)}\subseteq K$ is a subgroup excluding topological phases of order $ n$ or lower, for any crystalline - isotropy compatible boundaries. For example, $ K'$ classifies the “ strictly crystalline phases ” [ @Geier2018; @Trifunovic2019 ], which exclude the tenfold - way topological phases, which are first - ordering topological phases protected by nonspatial symmetries alone and have gapless modes at any codimension - one limit. This purely crystalline phases can have gapless modes only when the boundary preserves the crystalline symmetry, and the gapless modes will be gapped when the crystalline symmetry is broken. 

 From a boundary perspective, one can define the boundary $ K$ group $ \mathcal{K}'$, which classifies the tenfold - way topological phases with gapless codimension - one boundary modes regardless of boundary orientation, as long as the quartz glass condition and wicket termination are compatible crystalline symmetries. According to the above definitions, $ \mathcal{K}'$ can be identified as the quotient group $ $ \mathcal{K}'= K / K'.$$ Generalizing this idea, a series of boundary $ K$ groups announce as $ \mathcal{K}^{(n)}$ can be defined, which classify the intrinsic $ n$-th order TI / SCs with intrinsic gapless codimension-$n$ boundary modes, when the quartz glass has crystalline - symmetry - compatible shape and lattice termination. In Ref.   [ @Trifunovic2019 ], the authors proved the watch relation, $ $ \mathcal{K}^{(n+1) } = K^{(n)}/K^{(n+1)},$$ known as the higher - order bulk - boundary symmetry: an intrinsic higher - order topological phase is uniquely associated with a topologically nontrivial majority. Moreover, the above equality provides a systematic way of obtaining the complete categorization of intrinsic HOTI / SCs from $ K$ subgroup series, which were computed for
In Gef. [@Trifunovic2019], a complete classification of theve intdinsic curner or hinge modes was dermved and q higher-order bulk-bounaary corrvspondencw beuween these high rkdimensljn bkmndarv nodes and the jopological tulk was obtaitea. Chese were accomplished by considerigg a $K$ xuhgroup series sor s $d$-dijvnwional crystal, $$K^{(d)} \subseteq \dofs \substteq K'' \subseteq K' \xubseteq K,$$ where $K\equiv K^{(0)}$ ls tje $K$ group which cpassifies tye btok band struzture of Hamiltonians sith coexisting order-two symmetfy/antnsymmetry, dgyunef in the pretious fection. $K^{(n)}\sunxeteq N$ is a xubgroup exclucinj topological phases of ocder $n$ or lower, for wny crystdlmine-symmetry compqtuble toungaridw. Fur txakpme, $K'$ cpasaifies the “purely crywtalline phases” [@Geitr2018; @Egofunovic2019], whidh excjuqe the tenfold-way topological phases, whpch zre first-order topologixal phases protected hy nonspaeial symmetries alone and have gapless modes at aty covioenwijv-inf boundaries. This purely crystalline phases cwh nane gapless modes jnly when tne bpondary preservgs the edyatalline symmetry, wnd the gaplwss modes wilk be gapped when the crystaoline symmetgy iw broken.

From a bouudary perspeetive, pne csn define the boundary $Y$ grkup $\mathcal{N}'$, which cmxssifies the tenwolc-wdy topological phases with gapless rodimznsion-ond boondary iodes irredpectlee of boundary orifntatnons, ds long as the crystal shape and lattice vxrmination arg cmmpdtible cxystalkine symmetriqs. According tp the ayove ddfinitions, $\mathcan{K}'$ can be iqentified as dje quotient jroup $$\matrcal{J}'= K/K'.$$ Generaukzing this ides, a series of boundqry $K$ groups denotcd as $\jathcal{K}^{(n)}$ can bz eefined, which ckasrifr nhe igdrinsic $n$-th mrdef TK/XCs wkth intrinslc eaplrss codimension-$n$ boutdarg modes, when the ctyftal has crystaljine-symmetry-cpmpatible shape anf latvice txrminayiog. In Ref. [@Trifunovic2019], the authors proved tje nollowing relwtiok, $$\majhcal{K}^{(n+1)} = K^{(n)}/L^{(n+1)},$$ known as the higher-order bulk-boundarb correspondence: an injrinsic higher-order tpkological phaxe is uniquely associated with a tipologically nontvivial bulk. Moreover, tge aboee eqkation provides a systematic way of obtaining the complete classification of invrynsic HOTI/SDs ftom $K$ sbbgxoup sewies, xhich were computvd for
In Ref. [@Trifunovic2019], a complete classification of corner hinge modes derived and a high boundary modes and topological bulk was These were accomplished by considering a subgroup series for a $d$-dimensional crystal, $$K^{(d)} \subseteq \dots \subseteq K'' \subseteq K' K,$$ where $K\equiv K^{(0)}$ is the $K$ group which classifies the bulk band of with order-two defined in the previous section. $K^{(n)}\subseteq K$ is a subgroup excluding topological phases of order $n$ lower, for any crystalline-symmetry compatible boundaries. For example, classifies the “purely crystalline [@Geier2018; @Trifunovic2019], which exclude the topological which are topological protected nonspatial symmetries alone have gapless modes at any codimension-one boundaries. This purely crystalline phases can have gapless modes only when boundary preserves symmetry, and gapless will gapped when the is broken. From a boundary perspective, the boundary $K$ group $\mathcal{K}'$, which classifies the topological phases gapless codimension-one boundary modes irrespective of orientations, as long as the crystal shape and termination are compatible crystalline symmetries. According to the above definitions, $\mathcal{K}'$ can be identified as group $$\mathcal{K}'= K/K'.$$ Generalizing idea, a series boundary groups as can be which classify the intrinsic $n$-th order TI/SCs with intrinsic gapless codimension-$n$ modes, when the crystal has crystalline-symmetry-compatible shape and lattice termination. [@Trifunovic2019], authors proved the relation, $$\mathcal{K}^{(n+1)} = K^{(n)}/K^{(n+1)},$$ as higher-order bulk-boundary correspondence: an topological is a nontrivial Moreover, the above equation a systematic way of obtaining complete classification of intrinsic which were computed for
In Ref. [@Trifunovic2019], a complete cLassificatIon of TheSe iNtRinsIc coRner or hinge modES was Derived and a higher-order Bulk-bOuNDary COrRespoNdence bETwEEN thEsE hIgh CoDImEnsioN boUndary mOdes and the TopOlOgical bulk waS ObTained. ThesE weRe accomplishEd bY consiDeRinG A $K$ subGroUp serIes for A $D$-dimenSional cryStAL, $$K^{(d)} \subSEteq \dotS \SUbSeteQ K'' \subseteq K' \subsetEQ K,$$ WHere $K\equiv K^{(0)}$ is tHe $K$ groUp WHiCH ClaSsiFies the bulK bAnd stRUcture oF haMILTonIAns with coexisTing order-twO SymMetry/aNtIsyMMetry, dEfineD iN The Previous secTion. $k^{(n)}\subseteQ K$ is a sUBgroup eXCluding TopoloGicAl pHaseS Of OrDer $N$ oR LowER, fOr aNY crYstallinE-sYmMetry CompATIBLe boUndArieS. For eXample, $K'$ classiFieS the “PUreLy cryStallIne pHaSes” [@GeIer2018; @TriFunovIc2019], Which exclude the TenfOld-way topOloGiCal PhAses, wHIch are FirSt-oRder topOlogicaL PhaSeS PROtEcted by nonspatial sYmMETrIes alone And havE GaPlESs modes aT aNy cOdimENSion-oNe boUNdAries. ThiS purelY CrYsTalline PhAses caN hAve GapLess mODes oNly wheN the bounDary pREserves the crysTAlline symmetrY, AnD THe GApleSs mOdes will be gAppeD When The cRYsTalLIne syMmetrY iS BrOKen.

From a boundary perSpEctive, One caN define the bouNdary $K$ grouP $\MAThcal{K}'$, whIch cLAsSIfies the tenfolD-way tOpological PHases witH gaplEss codimEnsion-one BOUndary moDes IrrEspEctIVE oF boundary orieNTAtioNs, As long aS thE crystaL shApe And LatTiCe terminaTion are cOmPaTiBlE crYstalLIne symmeTrIes. acCorDing tO The aboVe defInitIoNs, $\MAthCal{K}'$ can BE iDENtifIeD aS the QuoTiEnt grOup $$\mAThcAl{K}'= K/K'.$$ GeNeralizinG thIS ideA, a SeRies of bOundary $K$ groupS dEnoted as $\maThCal{k}^{(n)}$ can bE DEfined, whIch classify the intrinsic $N$-Th order tI/Scs witH intRinsic gapLesS codimEnsIOn-$n$ bouNdary mOdes, wHeN thE CRystaL HAs CryStAlline-symmETRy-cOmpatIbLe shApe and lAttice termination. IN ref. [@trifunovic2019], the AutHors PROvEd tHE fOLloWiNG reLATion, $$\mathcal{K}^{(n+1)} = K^{(n)}/k^{(n+1)},$$ known as tHe HIgHer-order buLK-boUnDary corRespondEnce: aN IntrinsIc higher-oRder topolOgIcal PHAse Is uniquely AssociatEd with a toPOlogiCAlLy nonTriVial buLk. morEover, The aboVE eqUatioN proviDeS a systEmatiC wAy of obtaIning the complete classifIcatioN of inTriNsic HOTI/Scs fROm $K$ Subgroup sErieS, which were ComPutEd for
In Ref. [@Trifunovic2019],  a complet e cla ssi fic at ionof t hese intrinsic corn er or hinge modes wasderiv ed anda  h igher -orderb ul k - bou nd ar y c or r es ponde nce  betwee n these hi ghco dimension bo u nd ary modesand  the topolog ica l bulk  w aso btain ed.  Thes e were accomp lished by  c o nsider i ng a $K $ su bgro up series for a $ d $- d imensional cry stal,$$ K ^{ ( d )}\su bseteq \do ts  \sub s eteq K' '  \ s u b set e q K' \subsete q K,$$ wher e  $K \equiv  K ^{( 0 )}$ is  the$K $  gr oup which c lass ifies the  bulkb and str u cture o f Hami lto nia ns w i th  c oex is t ing or der - two  symmetr y/ an tisym metr y , d efin edin t he pr evious sectio n.$K^{ ( n)} \subs eteqK$ i sa sub groupexclu di ng topologicalphas es of ord er$n $ o rlower ,  for a nycry stallin e-symme t ryco m p a ti ble boundaries. Fo re x am ple, $K' $ clas s if ie s  the “pu re lycrys t a lline  pha s es ” [@Geie r2018; @T ri funovic 20 19], w hi chexc ludet he t enfold -way top ologi c al phases, whi c h are first-o r de r to p olog ica l phases pr otec t ed b y no n sp ati a l sym metri es al o ne and have gapless  m odes a t any  codimension- one bounda r i e s. Thispure l yc rystalline pha ses c an have ga p less mod es on ly whenthe bound a r y preser ves  th e c rys t a ll ine symmetry, a nd t he  gaples s m odes wi llbegap ped  w hen the c rystalli ne  s ym me try  is b r oken.

F ro m a  b oun daryp erspec tive,  one  c an def ine the bo u n dary  $ K$  gro up$\ mathc al{K } '$,  whichclassifie s t h e te nf ol d-way t opological ph as es with ga pl ess  codim e n sion-one  boundary modes irrespe c tive of  bo undar y or ientation s,as lon g a s  the c rystal  shap eand l attic e te rmi na tion are c o m pat iblecr ysta lline s ymmetries. Accordi n g t o the above d efi niti o n s,  $\ m at h cal {K } '$c a n be identified  as the qu ot i en t group $$ \ mat hc al{K}'=  K/K'.$ $ Gen e ralizin g this id ea, a ser ie s of b oun dary $K$ g roups de noted as$ \math c al {K}^{ (n) }$ can  b e d efine d, whi c h c lassi fy the  i ntrins ic $n $- th order  TI/SCs with intrinsicgaples s cod ime nsion-$n$  bo u nda ry modes,  whe n the crys tal  ha s cry sta l line- symm e tr y-c o mpati bles hape andl at tic e te rmination.I n Ref . [@T rif u novic2 019] , the authors pro v ed the followi ng r e l ati on, $$\m at hcal{K}^{(n+1) } =  K ^ { (n)}/K^{ (n +1)},$$ kno wn as th eh igher -order  bulk- boundar y co r respon denc e:an intrin sic  h i gher-or de rt opolog ical  p hase i s uniq u elya s sociated with atopol o g icall y  no ntriv ia l bulk. More over, theabove equat ion pr ovid es asystema ti c wayofob taining th e  complete  clas sificat io n of  in trinsi c HO T I /SCsfrom  $ K$subgroups e ri e s,  w h ich  wer e com pu tedfor
In Ref. [@Trifunovic2019],_a complete_classification of these intrinsic_corner or_hinge_modes was_derived_and a higher-order_bulk-boundary correspondence between_these high codimension boundary_modes and the_topological_bulk was obtained. These were accomplished by considering a $K$ subgroup series for a_$d$-dimensional_crystal, $$K^{(d)}_\subseteq_\dots_\subseteq K'' \subseteq K' \subseteq_K,$$ where $K\equiv K^{(0)}$ is_the $K$_group which classifies the bulk band structure of_Hamiltonians_with coexisting order-two_symmetry/antisymmetry, defined in the previous section. $K^{(n)}\subseteq K$ is_a subgroup excluding topological phases of_order $n$ or_lower,_for_any crystalline-symmetry compatible boundaries._For example, $K'$ classifies the “purely_crystalline phases” [@Geier2018; @Trifunovic2019], which exclude_the tenfold-way topological phases, which are first-order_topological phases protected by nonspatial symmetries_alone and have gapless modes_at any_codimension-one boundaries. This purely crystalline_phases can have_gapless modes_only when the_boundary preserves the crystalline symmetry, and_the gapless modes_will be gapped when the crystalline_symmetry_is broken.

From a_boundary_perspective,_one can_define the boundary_$K$_group $\mathcal{K}'$,_which_classifies the tenfold-way topological phases with_gapless_codimension-one boundary modes irrespective of boundary orientations,_as long as the_crystal_shape and lattice termination_are compatible crystalline symmetries. According_to the above definitions, $\mathcal{K}'$ can_be identified_as the_quotient group $$\mathcal{K}'= K/K'.$$ Generalizing this idea, a series of boundary_$K$ groups denoted as $\mathcal{K}^{(n)}$ can_be defined, which classify_the intrinsic_$n$-th_order TI/SCs with_intrinsic_gapless codimension-$n$_boundary modes, when the crystal has crystalline-symmetry-compatible_shape and_lattice termination. In Ref. [@Trifunovic2019], the authors_proved the following relation,_$$\mathcal{K}^{(n+1)}_= K^{(n)}/K^{(n+1)},$$ known as the higher-order_bulk-boundary correspondence: an intrinsic higher-order topological_phase is uniquely associated with_a_topologically_nontrivial bulk. Moreover, the above_equation provides a systematic way of_obtaining the complete_classification of intrinsic HOTI/SCs from $K$ subgroup_series,_which were computed for