Type C K-斯坦利对称函数与克拉斯维icz-海克插入
密码学与安全
2025-03-24 v1 软件工程
摘要
我们研究Type C K-斯坦利对称函数，这是Type C 斯坦利对称函数的K-理论延拓。它们由签名置换索引化，可用于通过其展开为Schur Q函数的方式枚举简化词，其中Schur Q函数由严格分区索引化。Schur Q-系数的组合描述由克拉斯维icz-海克插入给出。类似地，他们的K-斯坦利类假设扩展为GQ的正展开，这些是Ikeda和Naruse引入的拉格朗日正交Grassmannian的K-理论代表物，也由严格分区索引化。我们引入了克拉斯维icz-海克插入的K-理论类比，可用于枚举签名置换的0-海克表达式，并给出计算此GQ展开的 conjectural 组合规则。我们证明，对于某些完全交换签名置换的Type C K-斯坦利是skew GQ。结合Anderson的Pfff式公式，这使我们能够证明Lewis和Marberg的猜想，即GQ的（skew）矩形形状是GQ的梯形形状。结合我们的先前猜想，这也给出了skew GQ展开为GQ的显式组合描述。结果，我们获得了两个GQ函数乘积的猜想，其中一个具有梯形形状。
引用
@article{arxiv.2503.16640,
title = {Visualizing Privacy-Relevant Data Flows in Android Applications},
author = {Mugdha Khedkar and Michael Schlichtig and Santhosh Mohan and Eric Bodden},
journal= {arXiv preprint arXiv:2503.16640},
year = {2025}
}