On Representing Matroids via Modular Independence
本文研究了基于模独立性的局部交换环上矩阵表示的拟阵,在链环条件下建立了其构成拟阵的判据,揭示了码的 puncturing 与 deletion 等操作的对应关系,并证明了包括 Vámos 拟阵在内的多种拟阵在特定环(如 )上的可表示性。
337 篇论文
本文研究了基于模独立性的局部交换环上矩阵表示的拟阵,在链环条件下建立了其构成拟阵的判据,揭示了码的 puncturing 与 deletion 等操作的对应关系,并证明了包括 Vámos 拟阵在内的多种拟阵在特定环(如 )上的可表示性。
本文通过将变量分为两类,推广了周(Zhou)关于 Kadell 正交性猜想中常数项递归公式的结果。
本文研究了在一名遵循固定巡逻路径的警察与一名全知罪犯的博弈中,警察为确保捕获罪犯所需的最小捕获半径,并针对树、网格及各类弦图等图类确定了该参数的精确值或界。
该论文证明了在满足特定矩条件的临界 Galton-Watson 树中,固定根平面树作为一般子树出现的次数随着节点数趋于无穷而渐近服从正态分布,且均值和方差均与节点数呈线性关系,从而证实了 Janson 的相关猜想并指出了矩条件被违反时结论可能失效的情形。
本文通过引入生成索引集的概念,为 Delahan 关于每个 阶简单图均可作为具有 个顶点的 Steinhaus 图的诱导子图这一结论,提供了一个简短且自包含的新证明。
本文确定了元集合上-完全超分离集系的最小规模(推广了时的最新结果),并给出了$2$-超分离集系的最小规模。
该论文证明了当 趋于无穷大时,具有对称群 或交错群 作为自同构群的定向正则地图(及超地图)中,手性地图的比例趋于 1,即手性在这些家族中是普遍存在的。
本文利用多元多项式几何框架,提出了一个多项式时间算法,用于在 条件下对具有固定色类大小的均衡图着色进行均匀随机采样,并由此导出了着色类大小的多元局部中心极限定理。
该论文通过一项人机协作案例,展示了由大语言模型、符号计算工具与人类策略共同构成的神经符号系统,成功在组合设计理论中发现了拉丁方阵不平衡性的紧下界并经由 Lean 4 形式化验证,证明了此类系统能在纯数学领域产生真正的发现。
本文研究了双数加权有向图邻接矩阵的双 Drazin 逆,推导了双复反三角块矩阵的显式公式,并将其应用于 DN-DS、DN-DLS 和 DN-DW 三类有向图,从而推广并解决了相关文献中的若干开放问题。
本文通过推广“三倍化表”的定义以兼容多个基础起始集,并扩展了基于该表的“数独型”问题构建框架,成功消除了原方法中阶数不能被3整除的限制,从而实现了从任意奇数阶起始集构造中强起始集的通用方法。
本文证明了-变形模群在复数处的特殊化是有限的,当且仅当是2、3、4或5次本原单位根,并确定了这些情形下对应的有限群结构及其在纽结理论等应用中的意义。
本文证实了若无限图中存在 条边不交的 路径且长度有界,则必存在 条两两序兼容的边不交 路径,从而结合 Zelinka 的早期工作得出 Dirac 关于无限基数 的猜想成立当且仅当 具有不可数共尾性,并进一步证明了无论 取值如何,“由 条两两序兼容的边不交路径相连”始终构成一种等价关系。
本文研究了无限词上的“良好分布出现”(WELLDOC)性质,并给出了由态射生成的无限词具有该性质的判定准则。
本文受交换代数中伪 Gorenstein 环的启发,定义了伪 Gorenstein*图,并利用独立多项式对若干自然图类中的此类图进行了分类。
该论文研究了 Ardila 和 Develin 提出的热带定向拟阵的推广,并证明了它们与两个单纯形乘积的子多面体(即根多面体)的细分之间存在双射关系。
本文通过引入“巢序”(nest orderings)这一顶点线性排序概念及其禁止模式,给出了区间巢有向图(interval nest digraphs)的完整刻画,从而补全了区间有向图主要子类在顶点排序刻画方面的理论图景。
该论文首次给出了 3-正则 3-边着色图的最低阶实例,证明了高斯随机张量模型在大 N 极限下不满足因子化性质,从而与随机矩阵的已知结论形成鲜明对比。
本文研究了平衡多面体空间上的凸函数类,利用热带相交理论构造了蒙日 - 安培测度,并通过变分法探讨了相关方程解的存在性,最终将这一框架与非阿基米德位势理论及蒙日 - 安培方程联系起来。
本文通过利用参数线搜索问题的对偶形式并结合割平面方法,提出了首个弱多项式时间算法,显著减少了精确子模函数最小化调用的次数,从而在特定条件下实现了与当前最优子模函数最小化算法相匹配的运行时间。