Marek Mozrzymas, Michał Horodecki, Michał Studziński
{"title":"From port-based teleportation to Frobenius reciprocity theorem: partially reduced irreducible representations and their applications","authors":"Marek Mozrzymas, Michał Horodecki, Michał Studziński","doi":"10.1007/s11005-024-01800-4","DOIUrl":null,"url":null,"abstract":"<div><p>In this paper, we present the connection of two concepts as induced representation and partially reduced irreducible representations (PRIR) appear in the context of port-based teleportation protocols. Namely, for a given finite group <i>G</i> with arbitrary subgroup <i>H</i>, we consider a particular case of matrix irreducible representations, whose restriction to the subgroup <i>H</i>, as a matrix representation of <i>H</i>, is completely reduced to diagonal block form with an irreducible representation of <i>H</i> in the blocks. The basic properties of such representations are given. Then as an application of this concept, we show that the spectrum of the port-based teleportation operator acting on <i>n</i> systems is connected in a very simple way with the spectrum of the corresponding Jucys–Murphy operator for the symmetric group <span>\\(S(n-1)\\subset S(n)\\)</span>. This shows on the technical level relation between teleporation and one of the basic objects from the point of view of the representation theory of the symmetric group. This shows a deep connection between the central object describing properties of deterministic PBT schemes and objects appearing naturally in the abstract representation theory of the symmetric group. In particular, we present a new expression for the eigenvalues of the Jucys–Murphy operators based on the irreducible characters of the symmetric group. As an additional but not trivial result, we give also purely matrix proof of the Frobenius reciprocity theorem for characters with explicit construction of the unitary matrix that realizes the reduction in the natural basis of induced representation to the reduced one.</p></div>","PeriodicalId":685,"journal":{"name":"Letters in Mathematical Physics","volume":"114 2","pages":""},"PeriodicalIF":1.3000,"publicationDate":"2024-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s11005-024-01800-4.pdf","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Letters in Mathematical Physics","FirstCategoryId":"101","ListUrlMain":"https://link.springer.com/article/10.1007/s11005-024-01800-4","RegionNum":3,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"PHYSICS, MATHEMATICAL","Score":null,"Total":0}
引用次数: 0
Abstract
In this paper, we present the connection of two concepts as induced representation and partially reduced irreducible representations (PRIR) appear in the context of port-based teleportation protocols. Namely, for a given finite group G with arbitrary subgroup H, we consider a particular case of matrix irreducible representations, whose restriction to the subgroup H, as a matrix representation of H, is completely reduced to diagonal block form with an irreducible representation of H in the blocks. The basic properties of such representations are given. Then as an application of this concept, we show that the spectrum of the port-based teleportation operator acting on n systems is connected in a very simple way with the spectrum of the corresponding Jucys–Murphy operator for the symmetric group \(S(n-1)\subset S(n)\). This shows on the technical level relation between teleporation and one of the basic objects from the point of view of the representation theory of the symmetric group. This shows a deep connection between the central object describing properties of deterministic PBT schemes and objects appearing naturally in the abstract representation theory of the symmetric group. In particular, we present a new expression for the eigenvalues of the Jucys–Murphy operators based on the irreducible characters of the symmetric group. As an additional but not trivial result, we give also purely matrix proof of the Frobenius reciprocity theorem for characters with explicit construction of the unitary matrix that realizes the reduction in the natural basis of induced representation to the reduced one.
在本文中,我们介绍了基于端口的远程传输协议中出现的诱导表示和部分还原不可还原表示(PRIR)这两个概念之间的联系。也就是说,对于具有任意子群 H 的给定有限群 G,我们考虑矩阵不可还原表示的一种特殊情况,其对子群 H 的限制作为 H 的矩阵表示,完全还原为对角块形式,块中有 H 的不可还原表示。本文给出了这类表示的基本性质。然后,作为这一概念的应用,我们证明了作用于 n 个系统的基于端口的远距传输算子的谱与对称群 \(S(n-1)\subset S(n)\) 的相应朱西-墨菲算子的谱以非常简单的方式相连。这在技术层面上表明了从对称群表示理论的角度看远距法与基本对象之一之间的关系。这显示了描述确定性 PBT 方案性质的中心对象与对称群抽象表示理论中自然出现的对象之间的深刻联系。特别是,我们提出了基于对称群不可还原符的 Jucys-Murphy 算子特征值的新表达式。作为一个额外但并非微不足道的结果,我们还给出了符的弗罗贝尼斯互易定理的纯矩阵证明,并明确构造了单位矩阵,实现了从诱导表示的自然基础到还原表示的还原。
期刊介绍:
The aim of Letters in Mathematical Physics is to attract the community''s attention on important and original developments in the area of mathematical physics and contemporary theoretical physics. The journal publishes letters and longer research articles, occasionally also articles containing topical reviews. We are committed to both fast publication and careful refereeing. In addition, the journal offers important contributions to modern mathematics in fields which have a potential physical application, and important developments in theoretical physics which have potential mathematical impact.