首页/论文/1304.2005

arXiv 1304.20052013-04math.CO

与Rota基猜想有关的关联矩阵的不变量

Integer invariants of an incidence matrix related to Rota's basis conjecture

Stephanie Bittner, Joshua Ducey, Xuyi Guo, Minah Oh, Adam Zweber

备注：: v2. Minor changes, added a reference

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们计算不相交断面的关联矩阵的谱和Smith规范形，这是一个与Rota基猜想的n维情况密切相关的组合对象。

英文摘要：

We compute the spectrum and Smith normal form of the incidence matrix of disjoint transversals, a combinatorial object closely related to the n-dimensional case of Rota's basis conjecture.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

整数模素数幂上 incidence 矩阵的秩

Rank of incidence matrices over integers modulo a prime power

Princeton University（普林斯顿大学）

本文改进了Laba和Trainer关于整数模素数幂上点与超平面 incidence 矩阵的$\mathbb F_p$秩的上界结果，特别当k较大时。

2026-04-28math.CO

格点的子空间覆盖及点-超平面关联的计数

Covering lattice points by subspaces and counting point-hyperplane incidences

令$d$和$k$是整数，其中$1 \leq k \leq d-1$。设$Λ$是$d$维格，$K$是关于原点对称的$d$维紧致凸体.我们提供估计的最小数目的$k$维线性子空间需要覆盖所有点的$Λ\cap K$。特别地，我们的结果意味着覆盖$d$维$n \times \cdots \times n$网格所需的$k$维线性子空间的最小数目至少为$Ω(n^{d(d-k)/(d-1)-\varepsilon})$至多为$O(n^{d(d-k)/(d-1)})$，其中$\varepsilon>0$是任意小的常数.这几乎解决了一个问题中提到的书黄铜，莫泽，和帕奇。我们还找到了紧界的最小数目$k$维仿射子空间需要覆盖$Λ\cap K$。我们使用这些新的结果，以提高最知名的下界的最大数量的点超平面的发病率由黄铜和Knauer。对于$d \geq 3$和$\varepsilon \in (0,1)$，我们证明了存在一个整数$r=r(d,\varepsilon)$，使得对于所有正整数$n,m$，下面的陈述为真。在$\mathbb{R}^d$中有一组$n$点，在$\mathbb{R}^d$中有一组$m$超平面，它们的关联图中没有$K_{r,r}$，如果$d$是奇数，则至少有$Ω\left((mn)^{1-(2d+3)/((d+2)(d+3)) - \varepsilon}\right)$关联，如果$d$是…

2018-01-03math.CO

入射双模、莫比乌斯反演和无穷远投影的Rota公式

Incidence bicomodules, Möbius inversion, and a Rota formula for infinity adjunctions

同样地，分解空间，也称为酉2-Segal空间，有关联（co）代数，某些相对分解空间有关联（co）模，我们确定了有关联bi（co）模的结构：它们是某些满足某些正合性条件的增广双Segal空间。我们建立了一个莫比乌斯反演原则（co）模块，和Rota公式的某些更复杂的结构称为莫比乌斯bicomomorphic配置。后一个概念的最重要的例子是无穷远映射的映射柱，或者更一般的莫比乌斯分解空间之间的映射柱，在罗塔的原始公式的精神。

2019-05-15math.ATmath.COmath.CT

关联超图：内射性、一致性和矩阵树定理

Incidence Hypergraphs: Injectivity, Uniformity, and Matrix-tree Theorems

定向超图是一种定向关联结构，它允许通过其局部符号图子结构将图论概念推广到整数矩阵。在关联超图的子对象分类器中形式化了局部图行为。此外，内射包络计算和显示包含类的一致超图-提供一个组合框架的条目的关联矩阵。对于由任意整数关联矩阵产生的有向超图Laplacian和邻接矩阵的行列式和积和式，得到了一个多元全子式特征多项式.每个多项式的系数被示出为从相同的家庭到由子对象分类器限制的内射包络的子monic映射。这些结果为有向超图矩阵树型定理和Sachs系数型定理提供了一个统一的定理。最后，通过专门的双向图，平凡子类的程度- $k$单项式的拉普拉斯被证明是在一对一的对应关系与$k$ -树形图。

2020-08-03math.COmath.CT

子集相交关系的整数对角形式

Integer diagonal forms for subset intersection relations

本文推广了 Wilson 和 Bier 的工作，描述了子集相交关系下关联矩阵及其在 Bose-Mesner 代数中线性张成矩阵的 Smith 群，给出了计算相关图临界群的有效算法，并首次给出了大小为 3 的 Kneser 和 Johnson 图相关矩阵的对角形式。

2024-11-18math.CO

有限域上点与广义球面的关联及相关问题

Incidences between points and generalized spheres over finite fields and related problems

设$\mathbb{F}_q$是$q$元素的有限域，其中$q$是一个大的奇素数幂，而$Q =a_1 x_1^{c_1}+...+a_dx_d^{c_d}\in \mathbb{F}_q[x_1,...,x_d]$，其中$2\le c_i\le N$，$\gcd(c_i,q)=1$和$a_i\in \mathbb{F}_q$对所有的$1\le i\le d$。一个$Q$球面是一个形式为$\lbrace x\in \mathbb{F}_q^d | Q(x-b)=r\rbrace$的集合，其中$b\in \mathbb{F}_q^d, r\in \mathbb{F}_q$。我们证明了一个点集$\mathcal{P}$和一个$Q$ -球面集$\mathcal{S}$（用$I(\mathcal{P},\mathcal{S})$表示）之间的关联数的界，如下所示。$$| I(\mathcal{P},\mathcal{S})-\frac{|\mathcal{P}||\mathcal{S}|}{q}|\le q^{d/2}\sqrt{|\mathcal{P}||\mathcal{S}|}.$$我们通过研究有向图的谱证明了这个估计。我们也给出了这个估计的一个版本在有限环$\mathbb{Z}_q$ $q$是一个奇数。作为上述界限的结果，我们给出了钉扎距离问题的估计。在$4$节和$5$节中，我们证明了$…

2016-08-17math.CO

更多相关论文收起更多论文

有向超图与将 Harary-Sachs 定理推广到整数矩阵

Oriented hypergraphs and generalizing the Harary-Sachs theorem to integer matrices

本文通过有向超图上的贡献者概念推广 Harary-Sachs 定理，刻画整数矩阵 Laplacian 的全子式多项式系数，并证明尾等价分组的相消性及 Laplacian 与其对偶的非零等谱性。

2025-08-26math.CO

有限关联代数的非线性Lie型导子及相关问题

Nonlinear Lie-Type Derivations of finitary Incidence Algebras and Related Topics

这是我们早期工作的延续\cite{KhrypchenkoWei, Yang20211, Yang20212}关于有限关联代数的（非）线性李型导子。设$X$是预序集，$\mathcal{R}$是有单位元的$2$ -无挠和$(n-1)$ -无挠交换环，其中$n\geq 2$是整数.设$FI(X,\mathcal{R})$是$\mathcal{R}$上$X$的有限关联代数.本文对$FI(X,\mathcal{R})$的非线性Lie型导子的结构作了一个完整的澄清。引入了一类新的$FI(X,\mathcal{R})$上的导子-类内导子，证明了$FI(X,\mathcal{R})$上的每个非线性李$n$ -导子是类内导子、传递诱导导子和拟加诱导李$n$ -导子之和.进一步，当$X$是有限的时，我们证明了一个拟可加的诱导Lie $n$ -导子可以表示为一个可加的诱导Lie导子与一个零化所有$(n-1)$ -次算子的中心值映射之和.我们还提供了一个充分必要条件，使得$FI(X,\mathcal{R})$的每个非线性Lie $n$ -推导都具有正确形式。在文章的最后一节中，提出了一些有待进一步研究的问题。

2021-05-22math.COmath.RA

正规单项子环中具有整数舍入性质的系统

Systems with the integer rounding property in normal monomial subrings

设C为杂波，A为其关联矩阵。如果线性系x>=0;xA<=1具有整数舍入性质，我们给出了与C相联系的某些正规子环的典范模和a-不变量的刻划.如果杂波是一个连通图，我们描述时，上述线性系具有整数舍入性质的组合和代数术语使用图论和理论的里斯代数。作为结果，我们证明了二部图的边理想的扩展Rees代数是Gorenstein当且仅当该图是非混合的.

2010-04-29math.ACmath.CO

模无平方的整数环上Kakeya集猜想的证明

Proof of the Kakeya set conjecture over rings of integers modulo square-free $N$

挂谷集合$S \subset (\mathbb{Z}/N\mathbb{Z})^n$是在每个方向上包含一条线的集合。我们表明，当$N$是任何平方自由整数，在$(\mathbb{Z}/N\mathbb{Z})^n$的最小Kakeya集的大小至少是$C_{n,ε} N^{n - ε}$的任何$ε$-解决一个特殊情况下的猜想希克曼和赖特。以前，这样的界限只在素数$N$的情况下才知道。我们还表明，一般$N$的情况可以简化为$(\mathbb{Z}/p^k\mathbb{Z})^n$上的点和超平面的关联矩阵的$\mathbb{F}_p$秩的下界。

2021-04-21math.CAmath.CO

Rota猜想与拟阵的嵌套分离

On Rota's Conjecture and nested separations in matroids

我们证明了对于每个有限域$\mathbb F$和整数$k\in \mathbb Z$，存在$n\in \mathbb Z$使得$\mathbb F$ -可表示拟阵类的排除子阵没有$n$嵌套$k$ -分离.

2015-11-10math.CO

宽划分、拉丁图和罗塔基猜想

Wide partitions, Latin tableaux, and Rota's basis conjecture

假设mu是整数划分lambda的“子划分”，如果mu的部分的多集是lambda的部分的子集，并且定义整数划分lambda为"宽“，如果对于lambda的每个子划分mu，mu >= mu'在支配顺序中（其中mu'表示mu的共轭或转置）。然后Brian Taylor和第一作者已经证明了整数划分lambda是宽的当且仅当存在形状为lambda的表，使得（1）对于所有i，表的第i行中的条目恰好是从1到lambda_i的整数，并且（2）对于所有j，表的第j列中的条目是成对不同的。这个猜想最初是由罗塔的基础猜想，如果真的，产生一类新的整数多流问题，满足最大流最小割和完整性。宽划分也产生一类满足“δ-共轭”（在Greene和Kleitman的意义下）的图，并且上述猜想暗示这些图还具有完全饱和的独立集划分。我们提出了几个部分结果，但猜想仍然非常开放。

2002-09-09math.COmath.OC

Rota-Baxter的Enumeration

Enumeration of Rota-Baxter Words

本文证明了有限个生成元和有限个一元算子中Rota-Baxter字集合的计数结果。Rota-Baxter词是通过在Rota-Baxter算子下连接词的生成元和图像而形成的词。在适当的条件下，它们形成自由Rota-Baxter代数的标准基，并且最近在组合学、数论、量子场论中的重整化和运算中进行了研究。基的枚举通常是在实现中选择数据表示的第一步。我们的方法应用了一些简单的思想，从形式语言和组成（有序分区）的整数。我们首先解决一个生成元和一个算子都有指数1的情况（幂等情况）。与这些Rota-Baxter字集相关的一些整数序列是已知的，并与其他组合序列（如Catalan数）相连，而其他序列则是新的。这些序列的生成序列所满足的递归性促使我们发现一个有效的算法来枚举某些自由Rota-Baxter代数的标准基。更一般的Rota-Baxter词集列举与求和技术有关的组成的整数。

2006-06-26math.COmath.RA