It has been suggested that non-invertible symmetry protected topological phases (SPT), due to the lack of a stacking structure, do not have symmetric entanglers (globally symmetric finite-depth quantum circuits) connecting them. Using topological holography, we argue that a symmetric entangler should in fact exist for $1+1$d systems whenever the non-invertible symmetry has SPT phases connected by fixed-charge dualities (FCD). Moreover, we construct an explicit example of a symmetric entangler for the two SPT phases with $\mathrm{Rep}(A_4)$-symmetry, as a matrix product unitary (MPU).
рдкреЗрдкрд░ ID : 2509.04581рд╢реАрд░реНрд╖рдХ : рдЧреИрд░-рд╡реНрдпреБрддреНрдХреНрд░рдордгреАрдп SPT рдЪрд░рдгреЛрдВ рдХреЗ рд▓рд┐рдП рд╕рдордорд┐рдд рдЙрд▓рдЭрдирдХрд░реНрддрд╛рд▓реЗрдЦрдХ : рдорд┐рдиреНрдпреЛрдВрдЧ рдпреВ (рдпреВрдХрд╛рд╡рд╛ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рднреМрддрд┐рдХреА рд╕рдВрд╕реНрдерд╛рди, рдХреНрдпреЛрдЯреЛ рд╡рд┐рд╢реНрд╡рд╡рд┐рджреНрдпрд╛рд▓рдп)рд╡рд░реНрдЧреАрдХрд░рдг : cond-mat.str-el hep-th quant-phрдкреНрд░рдХрд╛рд╢рди рддрд┐рдерд┐ : 14 рдЬрдирд╡рд░реА 2025 (arXiv v2)рдкреЗрдкрд░ рд▓рд┐рдВрдХ : https://arxiv.org/abs/2509.04581 рдпрд╣ рдкреЗрдкрд░ рдЧреИрд░-рд╡реНрдпреБрддреНрдХреНрд░рдордгреАрдп рд╕рдордорд┐рдд-рд╕рдВрд░рдХреНрд╖рд┐рдд рдЯреЛрдкреЛрд▓реЙрдЬрд┐рдХрд▓ рдЪрд░рдгреЛрдВ (non-invertible SPT phases) рдореЗрдВ рд╕рдордорд┐рдд рдЙрд▓рдЭрдирдХрд░реНрддрд╛рдУрдВ (symmetric entanglers) рдХреА рдЕрдиреБрдкрд╕реНрдерд┐рддрд┐ рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдкреВрд░реНрд╡рд╡рд░реНрддреА рд╡рд┐рдЪрд╛рд░реЛрдВ рдХреЛ рдЪреБрдиреМрддреА рджреЗрддрд╛ рд╣реИред рд▓реЗрдЦрдХ рдЯреЛрдкреЛрд▓реЙрдЬрд┐рдХрд▓ рд╣реЛрд▓реЛрдЧреНрд░рд╛рдлреА рд╕рд┐рджреНрдзрд╛рдВрдд рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рддрд░реНрдХ рджреЗрддреЗ рд╣реИрдВ рдХрд┐ рдЬрдм рдЧреИрд░-рд╡реНрдпреБрддреНрдХреНрд░рдордгреАрдп рд╕рдордорд┐рддрддрд╛ рдирд┐рд╢реНрдЪрд┐рдд рдЖрд╡реЗрд╢ рджреНрд╡реИрдд (FCD) рджреНрд╡рд╛рд░рд╛ рдЬреБрдбрд╝реЗ SPT рдЪрд░рдгреЛрдВ рдХреЛ рд░рдЦрддреА рд╣реИ, рддреЛ рд╕рдордорд┐рдд рдЙрд▓рдЭрдирдХрд░реНрддрд╛ рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ 1+1 рдЖрдпрд╛рдореА рдкреНрд░рдгрд╛рд▓рд┐рдпреЛрдВ рдореЗрдВ рдореМрдЬреВрдж рд╣реЛрдиреЗ рдЪрд╛рд╣рд┐рдПред рдЗрд╕рдХреЗ рдЕрддрд┐рд░рд┐рдХреНрдд, рд▓реЗрдЦрдХ рджреЛ Rep(AтВД) рд╕рдордорд┐рдд SPT рдЪрд░рдгреЛрдВ рдХреЛ рдЬреЛрдбрд╝рдиреЗ рд╡рд╛рд▓реЗ рд╕рдордорд┐рдд рдЙрд▓рдЭрдирдХрд░реНрддрд╛ рдХреЗ рд╕реНрдкрд╖реНрдЯ рдЙрджрд╛рд╣рд░рдг рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрд░рддреЗ рд╣реИрдВ, рдЬреЛ рдореИрдЯреНрд░рд┐рдХреНрд╕ рдЙрддреНрдкрд╛рдж рдПрдХрд╛рддреНрдордХ рд╕рдВрдЪрд╛рд▓рдХ (MPU) рдХреЗ рд░реВрдк рдореЗрдВ рджрд┐рдП рдЧрдП рд╣реИрдВред
SPT рдЪрд░рдгреЛрдВ рдХреЗ рд╕рдордорд┐рдд рдЙрд▓рдЭрдирдХрд░реНрддрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд : рдкрд░рдВрдкрд░рд╛рдЧрдд рд╕рдореВрд╣-рд╕рдордорд┐рдд-рд╕рдВрд░рдХреНрд╖рд┐рдд SPT рдЪрд░рдгреЛрдВ рдореЗрдВ, рд╕рдордорд┐рдд рдЙрд▓рдЭрдирдХрд░реНрддрд╛ рд╡рд┐рднрд┐рдиреНрди SPT рдЕрд╡рд╕реНрдерд╛рдУрдВ рдХреЛ рдЬреЛрдбрд╝рдиреЗ рд╡рд╛рд▓реЗ рд╡реИрд╢реНрд╡рд┐рдХ рд╕рдордорд┐рддрд┐ рдкрд░рд┐рдорд┐рдд рдЧрд╣рд░рд╛рдИ рдХреНрд╡рд╛рдВрдЯрдо рд╕рд░реНрдХрд┐рдЯ рд╣реИрдВ, рдЬреЛ рд╕рдореВрд╣ рд╕рдВрд░рдЪрдирд╛ рдмрдирд╛рддреЗ рд╣реИрдВ рдФрд░ SPT рдЪрд░рдгреЛрдВ рдХреЗ рд╕реНрдЯреИрдХрд┐рдВрдЧ рд╕рдВрдЪрд╛рд▓рди рд╕реЗ рдШрдирд┐рд╖реНрда рд░реВрдк рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рд╣реИрдВредрдЧреИрд░-рд╡реНрдпреБрддреНрдХреНрд░рдордгреАрдп рд╕рдордорд┐рддрддрд╛ рдХреА рдЪреБрдиреМрддреА : рдЧреИрд░-рд╡реНрдпреБрддреНрдХреНрд░рдордгреАрдп рд╕рдордорд┐рддрддрд╛ рдХреЗ рд▓рд┐рдП, рдкрд░рдВрдкрд░рд╛рдЧрдд рд╕реНрдЯреИрдХрд┐рдВрдЧ рд╕рдВрдЪрд╛рд▓рди рдЕрдм рд▓рд╛рдЧреВ рдирд╣реАрдВ рд╣реЛрддреЗ рдХреНрдпреЛрдВрдХрд┐ рд╕рдВрд▓рдпрди рдмреАрдЬрдЧрдгрд┐рдд рдореЗрдВ рд╡рд┐рдХрд░реНрдг рдЙрдк-рдмреАрдЬрдЧрдгрд┐рдд рдирд╣реАрдВ рд╣реЛрддрд╛ рд╣реИред рдпрд╣ рдПрдХ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдкреНрд░рд╢реНрди рдХреА рдУрд░ рд▓реЗ рдЬрд╛рддрд╛ рд╣реИ: рдХреНрдпрд╛ рдЧреИрд░-рд╡реНрдпреБрддреНрдХреНрд░рдордгреАрдп SPT рдЪрд░рдгреЛрдВ рдХреЗ рдмреАрдЪ рд╕рдордорд┐рдд рдЙрд▓рдЭрдирдХрд░реНрддрд╛ рдореМрдЬреВрдж рд╣реИрдВ?рдореМрдЬреВрджрд╛ рджреГрд╖реНрдЯрд┐рдХреЛрдг рдХреА рд╕реАрдорд╛рдПрдВ : рдкреВрд░реНрд╡рд╡рд░реНрддреА рдЕрдиреБрд╕рдВрдзрд╛рди (рдЬреИрд╕реЗ Ref.7 ) рд╕реНрдЯреИрдХрд┐рдВрдЧ рд╕рдВрд░рдЪрдирд╛ рдХреА рдХрдореА рдХреЗ рдЖрдзрд╛рд░ рдкрд░, рдпрд╣ рдорд╛рдирд╛ рдЬрд╛рддрд╛ рдерд╛ рдХрд┐ рдЧреИрд░-рд╡реНрдпреБрддреНрдХреНрд░рдордгреАрдп SPT рдЪрд░рдгреЛрдВ рдореЗрдВ рд╕рдордорд┐рдд рдЙрд▓рдЭрдирдХрд░реНрддрд╛ рдирд╣реАрдВ рд╣реЛрддреЗ рд╣реИрдВ, рдФрд░ Rep(DтВИ) рдХреЗ рдЙрджрд╛рд╣рд░рдг рдореЗрдВ рдЗрд╕реЗ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рдерд╛редрд▓реЗрдЦрдХ рдЯреЛрдкреЛрд▓реЙрдЬрд┐рдХрд▓ рд╣реЛрд▓реЛрдЧреНрд░рд╛рдлреА рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рдирдП рджреГрд╖реНрдЯрд┐рдХреЛрдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ, рдкрд╛рддреЗ рд╣реИрдВ рдХрд┐ рдирд┐рд╢реНрдЪрд┐рдд рдЖрд╡реЗрд╢ рджреНрд╡реИрдд (FCD) рдЧреИрд░-рд╡реНрдпреБрддреНрдХреНрд░рдордгреАрдп SPT рдЪрд░рдгреЛрдВ рдХреЛ рдЬреЛрдбрд╝рдиреЗ рд╡рд╛рд▓реЗ рд╕рдордорд┐рдд рдЙрд▓рдЭрдирдХрд░реНрддрд╛ рдкреНрд░рджрд╛рди рдХрд░ рд╕рдХрддрд╛ рд╣реИ, рдЬреЛ рдореМрдЬреВрджрд╛ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдврд╛рдВрдЪреЗ рдХреЛ рдЪреБрдиреМрддреА рджреЗрддрд╛ рд╣реИред
рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рд╕рдлрд▓рддрд╛ : рд╕рд╛рдмрд┐рдд рдХрд┐рдпрд╛ рдХрд┐ рдЬрдм рджреЛ SPT рдЪрд░рдгреЛрдВ рдХреЛ рдЬреЛрдбрд╝рдиреЗ рд╡рд╛рд▓рд╛ рдирд┐рд╢реНрдЪрд┐рдд рдЖрд╡реЗрд╢ рджреНрд╡реИрдд рдореМрдЬреВрдж рд╣реЛ, рддреЛ рд╕рдордорд┐рдд рдЙрд▓рдЭрдирдХрд░реНрддрд╛ рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рдЧреИрд░-рд╡реНрдпреБрддреНрдХреНрд░рдордгреАрдп рд╕рдордорд┐рдд рдкреНрд░рдгрд╛рд▓рд┐рдпреЛрдВ рдореЗрдВ рдореМрдЬреВрдж рд╣реИрдВрдЧрдгрд┐рддреАрдп рдкреНрд░рдорд╛рдг : рдЯреЛрдкреЛрд▓реЙрдЬрд┐рдХрд▓ рд╣реЛрд▓реЛрдЧреНрд░рд╛рдлреА рд╕рд┐рджреНрдзрд╛рдВрдд рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ FCD рд╕рдордорд┐рддрддрд╛-рд╕рдВрд░рдХреНрд╖рдг рдкреНрд░рдореЗрдп рдХреЛ рдХрдареЛрд░рддрд╛ рд╕реЗ рд╕рд╛рдмрд┐рдд рдХрд┐рдпрд╛рд╕реНрдкрд╖реНрдЯ рдирд┐рд░реНрдорд╛рдг : рдкрд╣рд▓реА рдмрд╛рд░ Rep(AтВД) рд╕рдордорд┐рддрддрд╛ рдХреЗ рддрд╣рдд рджреЛ SPT рдЪрд░рдгреЛрдВ рдХреЗ рдмреАрдЪ рд╕реНрдкрд╖реНрдЯ рд╕рдордорд┐рдд рдЙрд▓рдЭрдирдХрд░реНрддрд╛ рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрд┐рдпрд╛рдЕрд╡рдзрд╛рд░рдгрд╛ рд╕реНрдкрд╖реНрдЯреАрдХрд░рдг : рд╕рдордорд┐рдд рдЙрд▓рдЭрдирдХрд░реНрддрд╛ рдХреА рдЙрдкрд╕реНрдерд┐рддрд┐ рдФрд░ рд╕реНрдЯреИрдХрд┐рдВрдЧ рд╕рдВрд░рдЪрдирд╛ рдХреЛ рдЧреИрд░-рд╡реНрдпреБрддреНрдХреНрд░рдордгреАрдп рд╕реНрдерд┐рддрд┐ рдореЗрдВ рдЕрд▓рдЧ рдХрд┐рдпрд╛рд▓реЗрдЦрдХ symTFT (рд╕рдордорд┐рддрддрд╛ рдЯреЛрдкреЛрд▓реЙрдЬрд┐рдХрд▓ рдХреНрд╖реЗрддреНрд░ рд╕рд┐рджреНрдзрд╛рдВрдд) рдврд╛рдВрдЪреЗ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддреЗ рд╣реИрдВ, рдЬрд╣рд╛рдВ:
рд╢рд░реАрд░ рдЪрд░рдг 2+1 рдЖрдпрд╛рдореА TQFT рд╕рдВрд▓рдпрди рд╢реНрд░реЗрдгреА рд╕рдордорд┐рддрддрд╛ C рдХреЗ рдбреНрд░рд┐рдирдлреЗрд▓реНрдб рдХреЗрдВрджреНрд░ Z(C) рджреНрд╡рд╛рд░рд╛ рджрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ рд╡рд┐рд╕реНрдореГрддрд┐ рдлрд╝рдВрдХреНрдЯрд░ F: Z(C) тЖТ C рд╢рд░реАрд░ рдЪрд░рдг рд░реЗрдЦрд╛ рд╕рдВрдЪрд╛рд▓рдХреЛрдВ рдХреЛ рд╕реАрдорд╛ рд╕рдордорд┐рддрддрд╛ рд╕рдВрдЪрд╛рд▓рдХреЛрдВ рдореЗрдВ рдореИрдк рдХрд░рддрд╛ рд╣реИ рдЖрд╡реЗрд╢ рдХреЛ рд╕рдВрджрд░реНрдн рд╕реАрдорд╛ рдкрд░ рд╕рдВрдШрдирд┐рдд рдХрд┐рд╕реА рднреА рдХрдг ╬╝ рдХреЗ рд░реВрдк рдореЗрдВ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдЬреЛ тЯи╬╝,1тЯй тЙе 1 рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рддрд╛ рд╣реИ рдкреНрд░рдореЗрдп : рдорд╛рди рд▓реАрдЬрд┐рдП D рд╢рд░реАрд░ рдЪрд░рдг TQFT Z(C) рдХреА рд╕рдордорд┐рддрддрд╛ рд╣реИ, F: Z(C) тЖТ C рд╡рд┐рд╕реНрдореГрддрд┐ рдлрд╝рдВрдХреНрдЯрд░ рд╣реИред рдпрджрд┐ D рдирд┐рд╢реНрдЪрд┐рдд рдЖрд╡реЗрд╢ рджреНрд╡реИрдд (FCD) рд╣реИ, рддреЛ Z(C) рдХреЗ рдХрд┐рд╕реА рднреА рд╢рд░реАрд░ рдЪрд░рдг рдХрдг ╬╝ рдХреЗ рд▓рд┐рдП, F(D(╬╝)) = F(╬╝) рд╣реИред
рдкреНрд░рдорд╛рдг рд░рдгрдиреАрддрд┐ :
рдЯреЛрд░рд╕ рд╡рд┐рднрд╛рдЬрди рдлрд╝рдВрдХреНрд╢рди Z┬╣тВР рдФрд░ ZтВР┬╣ рдХреЗ рдореЙрдбреНрдпреВрд▓рд░ рдкрд░рд┐рд╡рд░реНрддрди рд╕рдВрдмрдВрдз рдХрд╛ рдЙрдкрдпреЛрдЧ FCD рдХреЗ рддрд╣рдд S┬╖ZтВР┬╣ рдХреА рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдпрддрд╛ рдХреЛ рд╕рд╛рдмрд┐рдд рдХрд░рдирд╛ тЯиD(╬╝),aтЯй = тЯи╬╝,aтЯй рдХреА рд╢рд░реНрдд рдХреЛ рд╡реНрдпреБрддреНрдкрдиреНрди рдХрд░рдирд╛ F(D(╬╝)) = F(╬╝) рдХреЗ рдирд┐рд╖реНрдХрд░реНрд╖ рдкрд░ рдкрд╣реБрдВрдЪрдирд╛ рд╣реЛрд▓реЛрдЧреНрд░рд╛рдлрд┐рдХ рджреГрд╖реНрдЯрд┐рдХреЛрдг : рдкрд╣рд▓реА рдмрд╛рд░ рдЧреИрд░-рд╡реНрдпреБрддреНрдХреНрд░рдордгреАрдп SPT рдЪрд░рдгреЛрдВ рдХреЗ рд╕рдордорд┐рдд рдЙрд▓рдЭрдирдХрд░реНрддрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди рдореЗрдВ рдЯреЛрдкреЛрд▓реЙрдЬрд┐рдХрд▓ рд╣реЛрд▓реЛрдЧреНрд░рд╛рдлреА рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЛ рд╡реНрдпрд╡рд╕реНрдерд┐рдд рд░реВрдк рд╕реЗ рд▓рд╛рдЧреВ рдХрд┐рдпрд╛FCD рд╡рд┐рд╢реНрд▓реЗрд╖рдг : рд╕рдордорд┐рддрддрд╛ рдХреЛ рд╕рдВрд░рдХреНрд╖рд┐рдд рдХрд░рдиреЗ рдореЗрдВ рдирд┐рд╢реНрдЪрд┐рдд рдЖрд╡реЗрд╢ рджреНрд╡реИрдд рдХреА рдорд╣рддреНрд╡рдкреВрд░реНрдг рднреВрдорд┐рдХрд╛ рдХрд╛ рдЧрд╣рди рд╡рд┐рд╢реНрд▓реЗрд╖рдгрд╕реНрдкрд╖реНрдЯ рдирд┐рд░реНрдорд╛рдг : рдкреНрд░рдХреНрд╖реЗрдкреА рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рдкрд░ рдЖрдзрд╛рд░рд┐рдд MPU рдирд┐рд░реНрдорд╛рдг рд╡рд┐рдзрд┐ рд╡рд┐рдХрд╕рд┐рдд рдХреАрд╕рдореВрд╣ AтВД: рд╡реИрдХрд▓реНрдкрд┐рдХ рд╕рдореВрд╣, 12 рддрддреНрд╡, рдЬрдирд░реЗрдЯрд░ x┬│ = a┬▓ = e, (xa)┬│ = e рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡: рдЪрд╛рд░ рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ 1, ╧Й, ╧Й┬▓, ╧А (рдЬрд╣рд╛рдВ ╧А 3-рдЖрдпрд╛рдореА рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рд╣реИ) рднреМрддрд┐рдХ рд╣рд┐рд▓реНрдмрд░реНрдЯ рд╕реНрдкреЗрд╕: рдкреНрд░рддреНрдпреЗрдХ рдЬрд╛рд▓реА рдмрд┐рдВрджреБ рдкрд░ CAтВД SPT рдЪрд░рдг 1 (рдЙрддреНрдкрд╛рдж рдЕрд╡рд╕реНрдерд╛) :
|╬итВБтЯй = |e,e,e,┬╖┬╖┬╖тЯй
рдореЙрдбреНрдпреВрд▓рд░ рд╢реНрд░реЗрдгреА Rep(1) рдХреЗ рдЕрдиреБрд░реВрдк, рдмрдВрдзрди рд╕реНрдкреЗрд╕ рдЖрдпрд╛рдо 1 рд╣реИред
SPT рдЪрд░рдг 2 :
ZтВВ├ЧZтВВ рдХреЗ рдЧреИрд░-рддреБрдЪреНрдЫ рдкреНрд░рдХреНрд╖реЗрдкреА рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рдкрд░ рдЖрдзрд╛рд░рд┐рдд MPS:
|╬итВВтЯй = ╬г_{gс╡втИИH} Tr[Q(gтВБ)Q(gтВВ)┬╖┬╖┬╖]|gтВБ,gтВВ,┬╖┬╖┬╖тЯй
рдЬрд╣рд╛рдВ Q(g) ZтВВ├ЧZтВВ рдХрд╛ рдкреНрд░рдХреНрд╖реЗрдкреА рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рдореИрдЯреНрд░рд┐рдХреНрд╕ рд╣реИ, рдмрдВрдзрди рд╕реНрдкреЗрд╕ рдЖрдпрд╛рдо 2 рд╣реИред
MPU рдЯреЗрдВрд╕рд░ :
T^{g,h} = (1/2)(sтВС)_{g,h}Q(gh)
T^{xg,xh} = (1/2)(sтВУ)_{g,h}Q(x)Q(gh)
T^{x┬▓g,x┬▓h} = (1/2)(sтВУ┬▓)_{g,h}Q(x)┬▓Q(gh)
рдЬрд╣рд╛рдВ рдкреНрд░рддреАрдХ рдХрд╛рд░рдХ sтВС, sтВУ, sтВУ┬▓ MPU рдХреА рдПрдХрд╛рддреНрдордХрддрд╛ рд╕реБрдирд┐рд╢реНрдЪрд┐рдд рдХрд░рддреЗ рд╣реИрдВред
рдореБрдЦреНрдп рдЧреБрдг :
рд╕рдВрдпреЛрдЬрдХрддрд╛ : E|╬итВБтЯй = |╬итВВтЯйрдПрдХрд╛рддреНрдордХрддрд╛ : MPU рдХреА рдПрдХрд╛рддреНрдордХ рд╢рд░реНрддреЛрдВ рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рддрд╛ рд╣реИрд╕рдордорд┐рддрддрд╛ : Rep(AтВД) рд╕рдордорд┐рддрддрд╛ рд╕рдВрдЪрд╛рд▓рдХреЛрдВ рдХреЗ рд╕рд╛рде рдХреНрд░рдорд╡рд┐рдирд┐рдордп рдХрд░рддрд╛ рд╣реИрджреНрд╡рд┐рддреАрдп рдХреНрд░рдо : E┬▓ = 1, ZтВВ рд╕рдореВрд╣ рд╕рдВрд░рдЪрдирд╛ рдмрдирд╛рддрд╛ рд╣реИрд▓реЗрдЦрдХ рджреЛ SPT рдЕрд╡рд╕реНрдерд╛рдУрдВ рдХреЗ L-рдкреНрд░рддреАрдХреЛрдВ рдХреА рдЧрдгрдирд╛ рдХрд░рддреЗ рд╣реИрдВ, рдпрд╣ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд░рддреЗ рд╣реБрдП рдХрд┐ рд╡реЗ рд╡рд┐рднрд┐рдиреНрди рдЪрд░рдгреЛрдВ рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рд╣реИрдВ:
SPT рдЪрд░рдг 1 рдХрд╛ рдЯреЛрд░рд╕ рд╡рд┐рднрд╛рдЬрди рдлрд╝рдВрдХреНрд╢рди :
(Z_{╧А╧А,╧А})_{╬╝╬╜} = (-3 0)
( 0 3)
SPT рдЪрд░рдг 2 рдХрд╛ рдЯреЛрд░рд╕ рд╡рд┐рднрд╛рдЬрди рдлрд╝рдВрдХреНрд╢рди :
(Z_{╧А╧А,╧А})_{╬╝╬╜} = ( 3 0)
( 0 -3)
рдкреНрд░рддреАрдХ рдЕрдВрддрд░ рджреЛрдиреЛрдВ рдЪрд░рдгреЛрдВ рдХреА рдЕрд╕рдорд╛рдирддрд╛ рдХреЛ рд╕рд╛рдмрд┐рдд рдХрд░рддрд╛ рд╣реИред
рд╕рд╛рдорд╛рдиреНрдп рдЖрдзрд╛рд░ рдЕрд╡рд╕реНрдерд╛рдУрдВ рдкрд░ MPU рдХреА рдХрд╛рд░реНрд░рд╡рд╛рдИ рдХрд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдХрд░рдХреЗ, рд╕рд╛рдмрд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рдХрд┐:
рд╕рдВрдпреБрдЧреНрдореА рд╡рд░реНрдЧ x рдФрд░ x┬▓ рд╕рдВрд░рдХреНрд╖рд┐рдд рд╣реИрдВ рдЬрдм рдХреБрд▓ рд╕рдореВрд╣ рддрддреНрд╡ H рдореЗрдВ рд╣реЛ, рддреЛ рдЖрд╡реЗрд╢ рд╕рдВрд░рдХреНрд╖рд┐рдд рд╣реИ MPU рд╕рднреА Rep(AтВД) рд╕рдордорд┐рддрддрд╛ рд╕рдВрдЪрд╛рд▓рдХреЛрдВ рдХреЗ рд╕рд╛рде рдХреНрд░рдорд╡рд┐рдирд┐рдордп рдХрд░рддрд╛ рд╣реИ рддреАрди SPT рдЪрд░рдг рдХрд┐рд╕реА рднреА FCD рджреНрд╡рд╛рд░рд╛ рдЬреБрдбрд╝реЗ рдирд╣реАрдВ рд╣реИрдВ рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рд╕рдордорд┐рдд рдЙрд▓рдЭрдирдХрд░реНрддрд╛ рдирд╣реАрдВ рд╣реЛрддреЗ рд╣реИрдВ, рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рднрд╡рд┐рд╖реНрдпрд╡рд╛рдгреА рдХреЗ рдЕрдиреБрд░реВрдк рдЙрддреНрдкрд╛рдж рдЕрд╡рд╕реНрдерд╛ рдЪрд░рдг рдФрд░ рдХреНрд▓рд╕реНрдЯрд░ рдЕрд╡рд╕реНрдерд╛ рдЪрд░рдг рдХреЗ рд▓реИрдЧреНрд░реЗрдВрдЬрд┐рдпрди рдмреАрдЬрдЧрдгрд┐рдд рдореЗрдВ рд╡рд┐рднрд┐рдиреНрди рдмрд╣реБрд▓рддрд╛ рд╕рдВрд░рдЪрдирд╛ рд╣реЛрддреА рд╣реИ рдЙрдиреНрд╣реЗрдВ рдЬреЛрдбрд╝рдиреЗ рд╡рд╛рд▓рд╛ рдХреЛрдИ FSD рдирд╣реАрдВ рд╣реИ, рдЗрд╕рд▓рд┐рдП рдХреЛрдИ FCD рднреА рдирд╣реАрдВ рд╣реИ "рдХреЛрдИ рд╕рдордорд┐рдд рдЙрд▓рдЭрдирдХрд░реНрддрд╛ рдирд╣реАрдВ" рдХреА рднрд╡рд┐рд╖реНрдпрд╡рд╛рдгреА рдХреЗ рдЕрдиреБрд░реВрдк рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рд╕рдлрд▓рддрд╛ : рд╕рд╛рдмрд┐рдд рдХрд┐рдпрд╛ рдХрд┐ рдЧреИрд░-рд╡реНрдпреБрддреНрдХреНрд░рдордгреАрдп SPT рдЪрд░рдгреЛрдВ рдореЗрдВ рд╕рдордорд┐рдд рдЙрд▓рдЭрдирдХрд░реНрддрд╛ рд╣реЛ рд╕рдХрддреЗ рд╣реИрдВ, рд╢рд░реНрдд рдпрд╣ рд╣реИ рдХрд┐ рдЙрдиреНрд╣реЗрдВ рдЬреЛрдбрд╝рдиреЗ рд╡рд╛рд▓рд╛ FCD рдореМрдЬреВрдж рд╣реЛрдЕрд╡рдзрд╛рд░рдгрд╛ рд╕реНрдкрд╖реНрдЯреАрдХрд░рдг : рд╕рдордорд┐рдд рдЙрд▓рдЭрдирдХрд░реНрддрд╛ рдХреА рдЙрдкрд╕реНрдерд┐рддрд┐ рдФрд░ рд╕реНрдЯреИрдХрд┐рдВрдЧ рд╕рдВрд░рдЪрдирд╛ рдЧреИрд░-рд╡реНрдпреБрддреНрдХреНрд░рдордгреАрдп рд╕реНрдерд┐рддрд┐ рдореЗрдВ рдЕрд▓рдЧ рд╣реИрдВрд╕реНрдкрд╖реНрдЯ рдХрд╛рд░реНрдпрд╛рдиреНрд╡рдпрди : рдкрд╣рд▓реА рдмрд╛рд░ рдЧреИрд░-рд╡реНрдпреБрддреНрдХреНрд░рдордгреАрдп SPT рдЪрд░рдгреЛрдВ рдХреЗ рд╕реНрдкрд╖реНрдЯ рд╕рдордорд┐рдд рдЙрд▓рдЭрдирдХрд░реНрддрд╛ рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрд┐рдпрд╛рд╢рд░реНрдд рдкреНрд░рддрд┐рдмрдВрдз : рдХреЗрд╡рд▓ FCD рджреНрд╡рд╛рд░рд╛ рдЬреБрдбрд╝реЗ SPT рдЪрд░рдгреЛрдВ рдкрд░ рд▓рд╛рдЧреВ рд╣реЛрддрд╛ рд╣реИрдирд┐рд░реНрдорд╛рдг рд╡рд┐рдзрд┐ : рд╕реНрдкрд╖реНрдЯ MPU рдирд┐рд░реНрдорд╛рдг рдЕрд╕реНрдерд╛рдпреА рд╣реИ, рд╢рд░реАрд░ рдЪрд░рдг FCD рд╕реЗ рд╕реАрдзреЗ рд╡реНрдпреБрддреНрдкрдиреНрди рдирд╣реАрдВ рд╣реИрдЖрдпрд╛рдо рдкреНрд░рддрд┐рдмрдВрдз : рд╡рд░реНрддрдорд╛рди рдореЗрдВ рдХреЗрд╡рд▓ 1+1 рдЖрдпрд╛рдореА рдкреНрд░рдгрд╛рд▓рд┐рдпреЛрдВ рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИрд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг : рдпрд╣ рдЕрдиреНрд╡реЗрд╖рдг рдХрд░рдирд╛ рдХрд┐ рдХреНрдпрд╛ рдЧреИрд░-рд╡реНрдпреБрддреНрдХреНрд░рдордгреАрдп рд╕рдордорд┐рддрддрд╛ рдХреЗ рд▓рд┐рдП рд▓рд╛рдЧреВ рд╣реЛрдиреЗ рд╡рд╛рд▓реА рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рд╕реНрдЯреИрдХрд┐рдВрдЧ рдЕрд╡рдзрд╛рд░рдгрд╛ рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИрд╢рд░реАрд░-рд╕реАрдорд╛ рдкрддреНрд░рд╛рдЪрд╛рд░ : рд╢рд░реАрд░ рдЪрд░рдг FCD рд╕реЗ рд╕реАрдорд╛ рд╕рдордорд┐рдд рдЙрд▓рдЭрдирдХрд░реНрддрд╛ рддрдХ рдкреНрд░рддреНрдпрдХреНрд╖ рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рд╡рд┐рдзрд┐ рд╕реНрдерд╛рдкрд┐рдд рдХрд░рдирд╛рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг : рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рдЧреИрд░-рд╡реНрдпреБрддреНрдХреНрд░рдордгреАрдп SPT рдЪрд░рдгреЛрдВ рдХреЗ рд╕рдордорд┐рдд рдЙрд▓рдЭрдирдХрд░реНрддрд╛ рдХрд╛ рдЕрдзреНрдпрдпрдирдЕрд╡рдзрд╛рд░рдгрд╛ рдирд╡рд╛рдЪрд╛рд░ : рдореМрдЬреВрджрд╛ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдврд╛рдВрдЪреЗ рдХреЛ рдЪреБрдиреМрддреА рджреЗрддрд╛ рд╣реИ, рдирдпрд╛ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рджреГрд╖реНрдЯрд┐рдХреЛрдг рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИрдХрдареЛрд░ рдкреНрд░рдорд╛рдг : рдЯреЛрдкреЛрд▓реЙрдЬрд┐рдХрд▓ рд╣реЛрд▓реЛрдЧреНрд░рд╛рдлреА рд╕рд┐рджреНрдзрд╛рдВрдд рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рдХрдареЛрд░ рдЧрдгрд┐рддреАрдп рдкреНрд░рдорд╛рдг рджреЗрддрд╛ рд╣реИрд╕реНрдкрд╖реНрдЯ рдирд┐рд░реНрдорд╛рдг : рдЧреИрд░-рд╡реНрдпреБрддреНрдХреНрд░рдордгреАрдп SPT рдЪрд░рдгреЛрдВ рдХреЗ рд╕рдордорд┐рдд рдЙрд▓рдЭрдирдХрд░реНрддрд╛ рдХрд╛ рдкрд╣рд▓рд╛ рдареЛрд╕ рдЙрджрд╛рд╣рд░рдг рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИрддрдХрдиреАрдХреА рдЧрд╣рд░рд╛рдИ : рдХрдИ рдЙрдЪреНрдЪ-рд╕реНрддрд░реАрдп рдЧрдгрд┐рддреАрдп рднреМрддрд┐рдХреА рдЕрд╡рдзрд╛рд░рдгрд╛рдУрдВ рдХреЛ рдЬреЛрдбрд╝рддрд╛ рд╣реИ (рд╕рдВрд▓рдпрди рд╢реНрд░реЗрдгреА, рдЯреЛрдкреЛрд▓реЙрдЬрд┐рдХрд▓ рдХреНрд╡рд╛рдВрдЯрдо рдХреНрд╖реЗрддреНрд░ рд╕рд┐рджреНрдзрд╛рдВрдд, рдореИрдЯреНрд░рд┐рдХреНрд╕ рдЙрддреНрдкрд╛рдж рд╕рдВрдЪрд╛рд▓рдХ рдЖрджрд┐)рд▓рд╛рдЧреВ рд╕реАрдорд╛ : рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗрд╡рд▓ рд╡рд┐рд╢рд┐рд╖реНрдЯ рд╢рд░реНрддреЛрдВ (FCD рдХреА рдЙрдкрд╕реНрдерд┐рддрд┐) рдкрд░ рд▓рд╛рдЧреВ рд╣реЛрддрд╛ рд╣реИ, рд╕рд╛рд░реНрд╡рднреМрдорд┐рдХрддрд╛ рд╕реАрдорд┐рдд рд╣реИрдирд┐рд░реНрдорд╛рдг рдЕрдВрддрд░рд╛рд▓ : рд╕реНрдкрд╖реНрдЯ MPU рдирд┐рд░реНрдорд╛рдг рдФрд░ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рднрд╡рд┐рд╖реНрдпрд╡рд╛рдгреА рдХреЗ рдмреАрдЪ рдкреНрд░рддреНрдпрдХреНрд╖ рд╕рдВрдмрдВрдз рдХреА рдХрдореАрдкреНрд░рд╛рдпреЛрдЧрд┐рдХ рд╕рддреНрдпрд╛рдкрди : рднреМрддрд┐рдХ рдХрд╛рд░реНрдпрд╛рдиреНрд╡рдпрди рдпрд╛ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рд╕рддреНрдпрд╛рдкрди рдХреА рдХрдореАрд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдорд╣рддреНрд╡ : рдЧреИрд░-рд╡реНрдпреБрддреНрдХреНрд░рдордгреАрдп рд╕рдордорд┐рддрддрд╛ рдХреЗ рддрд╣рдд SPT рдЪрд░рдг рд╡рд░реНрдЧреАрдХрд░рдг рдХреА рд╕рдордЭ рдХреЛ рдкреБрдирдГ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░рддрд╛ рд╣реИрддрдХрдиреАрдХреА рдкреНрд░рдЧрддрд┐ : рдЧреИрд░-рд╡реНрдпреБрддреНрдХреНрд░рдордгреАрдп рд╕рдордорд┐рдд рдкреНрд░рдгрд╛рд▓рд┐рдпреЛрдВ рдХреЗ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреЗ рд▓рд┐рдП рдирдП рдЙрдкрдХрд░рдг рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИрдЕрдиреБрдкреНрд░рдпреЛрдЧ рд╕рдВрднрд╛рд╡рдирд╛ : рдХреНрд╡рд╛рдВрдЯрдо рдХрдВрдкреНрдпреВрдЯрд┐рдВрдЧ рдФрд░ рдЯреЛрдкреЛрд▓реЙрдЬрд┐рдХрд▓ рдХреНрд╡рд╛рдВрдЯрдо рдкрджрд╛рд░реНрде рдХреЗ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреЛ рдкреНрд░рднрд╛рд╡рд┐рдд рдХрд░ рд╕рдХрддрд╛ рд╣реИрд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рднреМрддрд┐рдХреА рдЕрдиреБрд╕рдВрдзрд╛рди : рдЯреЛрдкреЛрд▓реЙрдЬрд┐рдХрд▓ рдЪрд░рдг рдкрд░рд┐рд╡рд░реНрддрди рдФрд░ рдХреНрд╡рд╛рдВрдЯрдо рдЪрд░рдгреЛрдВ рдХреЗ рд╡рд░реНрдЧреАрдХрд░рдг рдЕрдиреБрд╕рдВрдзрд╛рдирдХреНрд╡рд╛рдВрдЯрдо рд╕реВрдЪрдирд╛ : рдХреНрд╡рд╛рдВрдЯрдо рддреНрд░реБрдЯрд┐ рд╕реБрдзрд╛рд░ рдХреЛрдб рдФрд░ рдЯреЛрдкреЛрд▓реЙрдЬрд┐рдХрд▓ рдХреНрд╡рд╛рдВрдЯрдо рдХрдВрдкреНрдпреВрдЯрд┐рдВрдЧрд╕рдВрдШрдирд┐рдд рдкрджрд╛рд░реНрде рд╕рд┐рджреНрдзрд╛рдВрдд : рджреГрдврд╝рддрд╛ рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рдЗрд▓реЗрдХреНрдЯреНрд░реЙрди рдкреНрд░рдгрд╛рд▓реА рдФрд░ рдХреНрд╡рд╛рдВрдЯрдо рд╕реНрдкрд┐рди рдкреНрд░рдгрд╛рд▓реАрдпрд╣ рдкреЗрдкрд░ 35 рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕рдВрджрд░реНрднреЛрдВ рдХрд╛ рд╣рд╡рд╛рд▓рд╛ рджреЗрддрд╛ рд╣реИ, рдЬреЛ рд╕рдВрд▓рдпрди рд╢реНрд░реЗрдгреА рд╕рд┐рджреНрдзрд╛рдВрдд, SPT рдЪрд░рдг рд╡рд░реНрдЧреАрдХрд░рдг, рдЯреЛрдкреЛрд▓реЙрдЬрд┐рдХрд▓ рд╣реЛрд▓реЛрдЧреНрд░рд╛рдлреА рд╕рд┐рджреНрдзрд╛рдВрдд рдФрд░ рдореИрдЯреНрд░рд┐рдХреНрд╕ рдЙрддреНрдкрд╛рдж рдЕрд╡рд╕реНрдерд╛ рдЖрджрд┐ рдХрдИ рдХреНрд╖реЗрддреНрд░реЛрдВ рдХреЗ рдореБрдЦреНрдп рдХрд╛рд░реНрдпреЛрдВ рдХреЛ рд╢рд╛рдорд┐рд▓ рдХрд░рддреЗ рд╣реИрдВ, рдЬреЛ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреЗ рд▓рд┐рдП рдПрдХ рдордЬрдмреВрдд рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЖрдзрд╛рд░ рдкреНрд░рджрд╛рди рдХрд░рддреЗ рд╣реИрдВред