量子科技中心_量科网

该团队从序论的角度研究了高阶量子映射的信号结构，基于Bisio和Perinotti提出的高阶类型组合特征。该团队在先前的工作arxiv:2411.09256中表明，类型可由称为“类型函数”的布尔函数表示，且每个此类函数都通过一个关联的结构偏序集来表征。该团队通过单调性条件，刻画了由具有固定输入输出系统索引的所有类型函数生成的分配格——其元素被称为“正则子类型”。与类型函数集合不同，正则子类型的格在单向信号积运算下封闭，且由特定系列的因果有序类型生成。 随后，该团队研究了属于正则子类型的映射所对应的信号关系，证明输入与输出系统间的无信号条件可通过对应函数的单次求值确定。特别是对于高阶类型，该团队证明所有信号关系都能通过秩奇偶性条件直接从结构偏序集中读取。最后，该团队探讨了类型结构偏序集与其范式（即用因果有序类型表达该类型的表达式）之间的关系。通过具体示例演示了范式的构造过程，表明范式可系统地从偏序集的极大链及其间的信号关系中推导出来。