A new axiom system for matroids: 1. Uniform matroid recognition
本文提出基于非分离平坦集及其秩的拟阵新公理系统,并推导出判定给定结构是否为均匀拟阵的多项式时间算法,解决了使用独立性预言机时不可解的问题。
2024-02-14 math.CO
Realization Spaces of Uniform Phased Matroids
相位拟阵是具有附加结构的拟阵,其对于复向量排列起着与定向拟阵对于实向量排列相同的作用。一个定向的实现空间(分别为,相位的)拟阵是$\mathbb R^n$中的向量排列的空间(分别,$\mathbb C^n$),其对应于定向(分别,相位)拟阵,模坐标的变化。根据Mnëv的普适性定理,秩大于或等于$3$的一致定向拟阵的实现空间可以像任何开半代数簇一样复杂。相比之下,如果一致拟阵是一致的,则不具有本质定向的一致拟阵具有非常简单的实现空间。我们还提出了一个标准的可实现性的一致相拟阵,基本上没有定向。
2018-07-19 math.CO
The bounded complex of a uniform affine oriented matroid is a ball
Zaslavsky证明了简单超平面排列的有界复形同胚于一个球。我们证明了这一猜想更一般的一致仿射定向拟阵。
2006-10-19 math.CO
Uniform semimodular lattices and valuated matroids
本文给出了赋值拟阵的一个格论刻画,它是拟阵与几何格($=$原子半模格)之间的隐态等价的推广.引入了一类半模格,称之为一致半模格,并建立了整值赋值拟阵与一致半模格之间的隐态等价关系.我们的结果包含了热带线性空间中整数点的一个无坐标格论特征,包含了赋值拟阵的Dress-Terhalle完备化过程,并与A型欧氏建筑物建立了光滑的联系.
2019-03-01 math.CO
Cubic Time Recognition of Cocircuit Graphs of Uniform Oriented Matroids
本文提出了一个算法,它以一个图作为输入,在立方时间内判定该图是否是一个均匀定向拟阵的余圈图。在肯定的情况下,该算法返回定向拟阵的带符号余圈集。这改进了由Babson,Finschi和Fukuda提出的算法。进一步加强了Montellano-Ballesteros和Strausz关于一致定向拟阵上圈图的斜连通性的一个结果.
2010-01-20 math.CO
Almost generalized uniform matroids and excluded minors
本文通过Tutte多项式系数刻画了几乎广义均匀拟阵,并构造了其排除子式的无限族,推广了已知结果。
2023-08-30 math.CO
Real-rootedness of the $Z$-polynomials of sparse paving matroids and strict interlacing for uniform matroids
School of Mathematical Sciences, Tianjin University of Technology(天津理工大学数学科学学院);College of Mathematical Sciences & Institute of Mathematics and Interdisciplinary Sciences, Tianjin Normal University(天津师范大学数学科学学院与数学与交叉科学研究院)
本文证明稀疏铺砌拟阵的$Z$-多项式仅有负实零点,证实实根性猜想,并证明固定余秩下均匀拟阵的$Z$-多项式严格交错,方法是通过$\gamma$-多项式转移性质。
2026-09-09 math.CO
On the representability of the bi-uniform matroid
每个双一致拟阵在所有足够大的域上都是可表示的。但它不是确切地知道,在哪些有限域上,他们是表示,并存在有效的方法来找到一个表示为每个给定的双一致拟阵尚未得到证明。这些问题的兴趣是由于它们对秘密共享的影响。本文首次证明了双一致拟阵表示的有效方法。以前已知的有效结构只适用于一类特殊的双一致拟阵,而已知的一般结构没有被证明是有效的。此外,在许多情况下,我们的建设提供了更小的有限域表示。
2014-07-27 math.CO
The Chow and augmented Chow polynomials of uniform matroids
本文通过给出均匀拟阵的Chow多项式与增广Chow多项式的显式组合公式证明Ferroni猜想,改进现有公式并基于舒伯特拟阵解释系数,还副产品计数了按秩、环数和余girth分类的舒伯特拟阵。
2024-11-29 math.CO
Representability of the direct sum of uniform q-matroids
Université de Rennes(雷恩大学);University College Dublin(都柏林大学学院);Vrije Universiteit Brussel(布鲁塞尔自由大学);Netherlands Defence Academy(荷兰国防学院);University of Naples Federico II(那不勒斯费德里科二世大学);Ghent University(根特大学);University of Campania “Luigi Vanvitelli”(坎帕尼亚路易吉·万维泰利大学)
研究均匀 q-矩阵的直接和的可表示性,利用代数和几何工具证明其总是可表示的。
2026-03-10 math.CO
Foundations of matroids I: Matroids without large uniform minors
拟阵的基础是一个规范的代数不变式,它将拟阵的表示分类到重标度等价。拟阵的基础是牧场,是部分域和超域的同时推广。使用由于Tutte,Dress-Wenzel和Gelfand-Rybnikov-Stone的深入结果,我们给出了生成元和关系方面的拟阵的基础。生成元是某些“交比”,概括了投影线上四个点的交比,并且关系编码了在投影几何中产生的某些低秩配置中的交比之间的依赖性。虽然基础的表示对所有拟阵都有效,但它最简单地适用于没有大的一致子式的拟阵的情况,即没有对应于线上五个点或其对偶配置的子式的拟阵。对于这样的拟阵,我们得到一个完整的分类所有可能的基础。然后,我们给出了一些应用这个分类定理,例如:-我们证明了以下加强定理的李和Scobee:每一个方向的拟阵没有大的统一未成年人来自一个并矢表示,这是唯一的重新缩放。- 对于一个没有大的一致子式的拟阵$M$,我们建立了以下对Ardila-Rincón-Williams 2017年定理的加强:如果$M$是正定向的,那么$M$在每个至少有三个元素的域上都是可表示的。- 两个拟阵被称为属于同一个表示类,如果它们在完全相同的牧场上可表示。我们证明了,有12种可能性的表示类的拟阵没有大的均匀未成年人,正好其中三个是不表示的任何领域。
2020-07-31 math.CO
The excluded minors for 2- and 3-regular matroids
本文刻画了2-正则拟阵类的排除子式,并证明3-正则拟阵类与Hydra-5部分域可表示类一致,其排除子式至多含15个元素。
2023-09-06 math.CO
Chow rings and augmented Chow rings of uniform matroids and their $q$-analogs
University of Miami(迈阿密大学)
本文研究了均匀超图和q-均匀超图的Chow环和增强Chow环的表示及其q-类比,推导了Hilbert级数和Frobenius级数的公式,并揭示了Charney--Davis量的非负性及组合解释。
2025-06-16 math.CO
Chow polynomials of uniform matroids are real-rooted
本文证明了June Huh和Matthew Stevens关于拟阵Chow环Hilbert-Poincaré级数仅有实零点的猜想对一致拟阵成立,并证明极大秩偏序集的Chow多项式与增广Chow多项式也仅有实零点。
2025-09-18 math.CO
Near-uniform $q$-matroids
University of Naples Federico II(那不勒斯费德里科二世大学);Beijing Jiaotong University(北京交通大学)
本文研究与非退化线性近MRD码关联的近均匀$q$-拟阵,显式确定其秩函数并刻画循环平展,证明其为可表示铺砌$q$-拟阵,给出循环平展数量上界及特定参数下的精确计数。
2026-09-30 math.CO
On the Ehrhart Polynomial of Schubert Matroids
本文给出了Schubert拟阵多胞形伸缩的格点数公式。作为应用,我们得到了一致拟阵和极小拟阵的Ehrhart多项式的特殊情形,并给出了$(a,b)$ -Catalan拟阵的Ehrhart多项式的递推公式. Ferroni证明了均匀拟阵和极小拟阵是Ehrhart正的。我们证明了所有的稀疏铺路Schubert拟阵是Ehrhart正的,并且它们的Ehrhart多项式被极小的和一致的拟阵的Ehrhart多项式系数有界。这证实了Ferroni对稀疏铺路Schubert拟阵的一个猜想。此外,我们还引入了凹口矩形拟阵,包括极小拟阵、稀疏铺路Schubert拟阵和柄状拟阵。我们证明了三个带切口的矩形拟阵是Ehrhart正的,并推测所有带切口的矩形拟阵都是Ehrhart正的。
2022-12-06 math.CO
Every non-Euclidean oriented matroid admits a biquadratic final polynomial
Richter-Gebert证明了每个非欧一致定向拟阵都有一个双二次最终多项式。我们将这个结果推广到非均匀情形。
2005-10-24 math.CO
Intersection of a partitional and a general infinite matroid
设$ E $是一个可能的无限集,$ M $和$ N $是定义在$ E $上的拟阵.如果$ M $和$ N $共享一个独立集$ I $,允许一个双划分$ I_M\sqcup I_N $,使得$ \mathsf{span}_M(I_M)\cup \mathsf{span}_N(I_N)=E $,则我们说$ \{ M,N \} $对具有交集属性。Nash-Williams的拟阵交猜想指出,每个拟阵对都具有交性质。该猜想是已知的,并且在其中一个拟阵是均匀拟阵的情况下容易证明,Bowler和Carmesin证明了该猜想是由其中一个拟阵是均匀拟阵的直和的特殊情况所暗示的,即,是分块拟阵证明了若$ M $是任意拟阵,$ N $是n个一致拟阵的直和,则$ \{ M, N \} $具有交性质.
2021-06-10 math.CO
Valuative Invariants of Catalan Matroids
本文通过将 Catalan 配基多面体的指示函数分解为均匀配基直和的加权和,推导出其任意赋值不变量的显式公式,并证明其 Ehrhart 正性及给出 Kazhdan-Lusztig 不变量公式。
2025-10-09 math.CO
Characterizing positroid quotients of uniform matroids
本文研究两步flag positroid,完整刻画了包含一致拟阵的情形,证明Grassmann项链包含关系对一般flag positroid不充分,并解决了装饰排列通过循环移位相关的猜想。
2025-04-04 math.CO
On generalisations of the Aharoni-Pouzet base exchange theorem
Greene-Magnanti定理指出,如果$ M $是有限拟阵,$ B_0 $和$ B_1 $是基,$ B_0=\bigcup_{i=1}^{n} X_i $是一个划分,则存在一个划分$ B_1=\bigcup_{i=1}^{n}Y_i $使得$ (B_0 \setminus X_i) \cup Y_i $是每个$ i $的基。每个$ X_i $都是单例的特殊情况可以被重新表述为在基转换图中存在完美匹配。Pouzet强调,这仍然是真实的无限维向量空间。后来,他和Aharoni回答这个猜想肯定不只是向量空间,但无限拟阵。我们证明了他们的结果的两个推广。一方面,我们表明,“是一个单元素”可以放宽到“有限”,这是尖锐的意义上的无限集的排除是真正必要的。另一方面,我们证明了,如果$ B_0$和$ B_1 $是基地,那么有一个双射$ F $之间的有限子集,使$ (B_0\setminus I) \cup F(I) $是一个基地,每个$ I$。与Aharoni和Pouzet的方法相反,我们的证明是完全初级的,它们不依赖于无限匹配理论。
2022-04-20 math.CO
A two-dimensional topological representation theorem for matroid polytopes of rank 4
Folkman-Lawrence拓扑表示定理是定向拟阵理论中最杰出的结果之一,它指出每一个秩为$r$的(无环)定向拟阵都可以表示为$r$维球面$S^{r-1}$上的伪球面排列.本文给出了秩为$4$的一致拟阵多面体的一个低维拓扑表示定理。在$S^2$上引入了点和伪圆的$2$ -弱构型($2$ -弱PPC构型),证明了每个秩为$4$的一致拟阵多胞形都可以用一个$2$ -弱PPC构型表示.作为应用,我们给出了秩为$4$的一致拟阵多面体的单拓扑上的Las Vergnas猜想的一个证明.
2020-03-03 math.CO
Obstructions for bounded branch-depth in matroids
DeVos、Kwon和Oum引入了拟阵的分支深度的概念,作为图的树深度的自然模拟。他们证明了分支深度足够大的拟阵包含一致拟阵$U_{n,2n}$或大扇形图的循环拟阵作为子阵。我们证明了具有足够大的分支深度的拟阵要么包含一个大的扇形图的循环拟阵作为一个小的或有大的分支宽度。作为推论,我们证明了他们的猜想拟阵表示在一个固定的有限域和拟图拟阵,其中的一致拟阵是不是一个选项。
2021-05-20 math.CO
Minor-closed classes of binary functions
本文研究二元函数的小闭类,通过排除小元刻画具有良定义小元及关联秩函数的类,并推广Tutte定理至二元函数空间。
2024-10-02 math.CO
Secretary problem: graphs, matroids and greedoids
在该文件中,被认为是众所周知的“秘书问题”的推广。本文的目的是给出一个通用的模型,在这样一种方式,选择的一组可能的最佳$k$元素必须是独立的所有被拒绝的元素。这个条件是制定使用理论的greedoids和在其特殊情况下-拟阵和antimatroids。一些特殊情况下的拟阵(均匀,图形拟阵和二叉树)的例子被认为是。
2018-01-02 cs.DM math.CO
Quotients of uniform positroids
旗拟阵是一个丰富的考克斯特拟阵家族,可以用形成商的拟阵对来刻画。我们考虑一类拟阵称为positroids,介绍了Postnikov,并利用其组合表示探索旗positroids的特征。给定一个一致正胚,我们给出了一族与它构成同素异义体的正胚的纯组合刻划,我们用它们的相关装饰置换来说明这一点。在证明我们的特征,我们也充分描述了这个家庭的电路。
2019-12-14 math.CO
Matroids arising from algebraic shifting
Einstein Institute of Mathematics, Hebrew University(希伯来大学爱因斯坦数学研究所);Mathematics Research Institute, Universidad de Valladolid(巴利亚多利德大学数学研究所);CMSA, Harvard University(哈佛大学CMSA)
本文研究了通过代数移位得到的matroid结构,揭示了移位超图与matroid基集的关系,并给出了相关matroid的分类和例子。
2025-12-02 math.CO
A splitter theorem for connected clutters
一个杂波由一个有限集和一个成对的不可比子集的集合组成。杂波是拟阵的自然概括,它们具有相似的删除和收缩操作。我们引入了一个概念的连接混乱,概括的连接拟阵。我们证明了一个连通杂波的分裂定理,它具有连通拟阵的分裂定理作为特例:如果$M$和$N$是连通杂波,并且$N$是$M$的真子式,那么在$E(M)$中有一个元素可以被删除或收缩,以产生一个连通杂波,其中$N$作为子式。
2017-03-02 math.CO
Analytic properties of Speyer's $g$-polynomial of uniform matroids
本文通过递归关系证明了均匀拟阵的Speyer $g$-多项式仅有实零点,并证明了其系数的渐近正态性。为拟阵理论提供了新的解析工具。
2024-08-28 math.CO
The equivariant inverse Kazhdan-Lusztig polynomials of uniform matroids
受逆Kazhdan-Lusztig多项式和等变Kazhdan-Lusztig多项式概念的启发,Proudfoot定义了拟阵的等变逆Kazhdan-Lusztig多项式。本文证明了拟阵的等变逆Kazhdan-Lusztig多项式对于确定拟阵的等变Kazhdan-Lusztig多项式是非常有用的,并确定了布尔拟阵和一致拟阵的等变逆Kazhdan-Lusztig多项式.作为应用,给出了一致拟阵的等变Kazhdan-Lusztig多项式的Gedeon,Proudfoot和Young公式的一个新的证明.受Lee,Nasr和Radcliffe关于一致拟阵的普通Kazhdan-Lusztig多项式的组合解释的启发,我们进一步给出了相应的等变Kazhdan-Lusztig多项式的一个新公式.
2021-05-18 math.CO math.RT
The singular cohomology ring of a uniform matroid: combinatorics and Lefschetz properties
Louisiana State University(路易斯安那州立大学)
本文研究均匀拟阵奇异上同调环的组合结构与Lefschetz性质,通过Koszul同调构造显式基,推导Hodge数公式并证明其满足拟射影强Lefschetz性质。
2026-06-05 math.AG math.CO
Chow polynomials of rank-uniform labeled posets
Centre de Mathématiques Laurent Schwartz, Polytechnique(巴黎综合理工学院施瓦茨数学中心);University of Michigan(密歇根大学)
研究秩均匀标记偏序集的Chow多项式实根性质,揭示其与matroid代数几何结构的关联。
2025-12-18 math.CO
Equivariant Kazhdan-Lusztig polynomials of $q$-niform matroids
我们引入了一致拟阵的$q$ -类似,称之为$q$ -非一致拟阵.一致拟阵允许对称群的作用,而$q$ -拟阵允许有限一般线性群的作用.证明了$q$ -niform拟阵的等变Kazhdan-Lusztig多项式是相应的一致拟阵的等变Kazhdan-Lusztig多项式的幂单$q$ -analogue,从而为等变Kazhdan-Lusztig多项式的正性猜想提供了证据.
2018-09-01 math.CO math.GR
g-Positivity for Paving Matroids
The Ohio State University(俄亥俄州立大学)
本文证明了所有铺砌拟阵的g-多项式系数非负,通过删除-收缩与均匀拟阵系数不等式实现。
2026-09-28 math.CO
The inverse $Z$-polynomial of a matroid
本文研究拟阵的逆 Z-多项式,证明其非负性、可乘性和赋值不变性,给出均匀拟阵与稀疏 paving 拟阵的显式公式,并建立单峰性与对数凹性,进而提出系数单峰对数凹猜想。
2025-07-02 math.CO
The Kazhdan-Lusztig polynomials of uniform matroids
拟阵的Kazhdan-Lusztig多项式由Elias、Proudfoot和Wakefield [{ \it Adv. Math. 2016}]引入。令$U_{m,d}$表示$m+d$元素集合上秩为$d$的一致拟阵。Gedeon,Proudfoot和Young [{ \it J. Combin. Theory Ser. A,2017}]指出他们可以利用等变Kazhdan-Lusztig多项式导出$U_{m,d}$的Kazhdan-Lusztig多项式的显式公式。本文给出了两个可供选择的显式公式,它们允许我们证明$U_{m,d}$的Kazhdan-Lusztig多项式对$2\leq m\leq 15$和所有$d$的实根性。病例$m=1$先前由Gedeon、Proudfoot和Young [{ \it Sém.洛萨组合2017}]。进一步确定了所有$U_{m,d}$的$Z$ -多项式,并证明了$U_{m,d}$的$Z$ -多项式对$2\leq m\leq 15$和所有$d$的实根性.我们的公式也使我们能够给Gedeon,Proudfoot,和年轻的公式的Kazhdan-Lusztig多项式的$U_{m,d}$的另一种证明,而不使用等变Kazhdan-Lusztig多项式。
2018-06-28 math.CO
A Note on a Nearly Uniform Partition into Common Independent Sets of Two Matroids
本说明是对K. Takazawa和Y. Yokoi(A generalized-polymatoid approach to disjoint common independent sets in two matroids,Discrete Mathematics(2019)).对于给定的$E$上的两个拟阵,在与他们论文中相同的假设下,保证存在$E$到两个拟阵的$k$公共独立集的划分,我们证明了存在$E$到$k$公共独立集的几乎一致的划分$\mathcal{P}$,其中$\mathcal{P}$中任何两个集合的基数之差最多为1。
2019-09-29 cs.DM math.CO
Augmented singular cohomology, uniform matroids, and real-rootedness
Louisiana State University(路易斯安那州立大学);KTH Royal Institute of Technology(皇家理工学院)
本文研究均匀拟阵相关环面簇的奇异上同调环,构造显式基,证明修改后的扇满足强Lefschetz性质,并证明精细Hodge--Poincaré多项式的实根性,解决猜想并推广已知定理。
2026-09-15 math.AG math.CO
Uniform density in matroids, matrices and graphs
Max Planck Institute for Mathematics in the Sciences(马克斯·普朗克数学研究所);Vrije Universiteit Amsterdam(阿姆斯特丹自由大学)
本文研究了一致密集矩阵和图的特征化与应用,证明了均匀密集图的1-坚固性及完美匹配的存在性。
2026-02-02 cs.DM math.CO math.SP
Matroid-minor Hopf algebra: a cancellation-free antipode formula and other applications of sign-reversing involutions
本文给出了拟阵子式霍普夫代数的一个无消去对极公式。然后,我们将探讨这个公式的应用。例如,无消去公式将一致拟阵的对极表示为某些有序集划分上的和。我们还证明了任何超域上的拟阵(在Baker和Bowler意义下)都有无消对极公式;而且,对极中的消与超域结构无关,只依赖于底层拟阵.
2018-11-05 math.CO
The monoid of monotone functions on a poset and quasi-arithmetic multiplicities for uniform matroids
本文描述了任意偏序集上自然值单调函数么半群的结构。对于这个幺半群,我们提供了一个介绍,一个表征的素元,并描述其凸包。我们还研究了相应的幺半群环,证明了它是正规的,从而证明了它是Cohen-Macaulay环。我们确定它的Cohen-Macaulay型,刻画Gorenstein性质,并提供定义理想的Gröbner基。然后将这些结果应用于一致拟阵上的拟算术重数幺半群。最后给出了任意拟阵上重幺半群的不可约数的一些证明。
2021-02-15 math.AC math.CO
Equivariant $γ$-positivity of Chow rings and augmented Chow rings of matroids
本研究证明拟阵的Chow环与增广Chow环具有等变$\gamma$-正性,验证了相关猜想,给出展开系数显式解释,推广了均匀拟阵等变正性及拟对称函数正性的已有结果,并解答了二项式欧拉多项式展开的相关问题。
2024-10-29 math.CO
Graded Betti numbers of graded Möbius algebras of uniform matroids
New Mexico State University(新墨西哥州立大学);Iowa State University(爱荷华州立大学);Bryn Mawr College(布林莫尔学院);University of Nebraska-Lincoln(内布拉斯加大学林肯分校);Marshall Univeristy(马歇尔大学);Western University(韦仕敦大学)
本文推导了任意均匀拟阵的分次默比乌斯代数定义理想的分次贝蒂数精确公式,并研究了任意拟阵的分次默比乌斯代数具有线性表示的条件。
2026-09-04 math.AC math.CO
Turán densities for matroid basis hypergraphs
本文研究不含给定均匀拟阵作为子式的拟阵的最大基数目,将其与雏菊超图的Turán数问题联系起来,并对若干特定均匀拟阵给出答案。
2025-03-10 math.CO
On the Reduciblity of a Certain Type of Rank 3 Uniform Oriented Matroid by a Point
Harish-Chandra Research Institute(哈里什-昌德拉研究所)
本文研究了凸n边形内部区域与对称群S_n中特定类型的n循环的关系,发现并非所有区域标签的循环都出现在每个凸n边形中,进而定义了确定性和不定性循环,并探讨了其在均匀秩3凸定向矩阵体的一点扩展中的可约性。
2021-04-12 math.CO
Evolution of random representable matroids: minors, circuits, connectivity and the critical number
本文研究了由有限域上随机矩阵序列表示的随机拟阵演化过程,分析了幼阵、圈、连通性与临界数的出现规律,并解决了文献中的若干开放问题。
2024-04-25 math.CO
Representability of Matroids by c-Arrangements is Undecidable
对于自然数$c$,$c$ -排列是满足以下条件的维度$c$子空间的排列:子空间的任何子集的和具有维度$c$的倍数。作为$c$排列的归一化秩函数而产生的拟阵也称为多线性拟阵。我们证明了它是算法不可判定的是否存在一个$c$,使一个给定的拟阵有一个$c$安排表示,或等价的拟阵是否是多线性的。因此,某些网络编码问题也是不可判定的。在证明中,我们引入了一个广义Dowling几何编码的有限群在秩三拟阵的一致字问题的一个实例。$c$ -排列条件引起了一些困难,解决这些困难是本文的主要部分。
2020-06-09 math.CO
Infinite log-concavity and higher order Turán inequality for the sequences of Speyer's $g$-polynomial of uniform matroids
本文研究均匀拟阵的Speyer $g$-多项式序列,通过证明其生成函数在$t>0$时仅含实零点,得到该序列的无限对数凹性、高阶Turán不等式及多项相关性质,丰富了Turán型不等式领域的研究。
2024-10-10 math.CO
Excluding a line from positroids
McGill University(麦吉尔大学);Auburn University(奥本大学)
本文确定了不含U_{2,ℓ+2}作为子式的简单秩r正阵胚的最大元素数,并刻画了达到最大值的结构,推广到双圆、格路、多路和colaminar等类。
2026-06-29 math.CO
Integer point enumeration on independence polytopes and half-open hypersimplices
本文研究一致拟阵的独立拟阵多胞形的Ehrhart理论。证明了这类多面体存在一个正系数的Ehrhart多项式。为了做到这一点,我们证明,确实所有的半开超单是Ehrhart积极的,并瓷砖不相交我们的多面体使用它们。
2020-12-08 math.CO
On a generalisation of Mantel's theorem to uniformly dense hypergraphs
对于$k$ -一致超图$F$,设$\textrm{ex}(n,F)$为不含$F$副本的$k$ -一致$n$ -顶点超图$H$的最大边数.确定或估计$\textrm{ex}(n,F)$是极值组合学中的一个经典和中心问题。虽然对于$k=2$这个问题是很好理解的,由于工作的图兰和Erdalos和石头,只有很少是已知的$k$ -均匀超图的$k>2$。本文主要研究了$F$是一个$k$ -一致超图且在$k+1$顶点上有三条边的情形.即使对$k=3$来说,这个非常无辜(也许看起来有些特别)的问题仍然是敞开的。我们考虑一个变种的问题,其中大超图$H$享有额外的遗传密度条件。这种类型的问题是由Erd \H os和Sós大约30年前提出的。我们证明了每个密度为$>2^{1-k}$的$k$ -一致超图$H$关于由$(k-2)$ -元组集诱导的$k$ -团的每个大集合都包含$F$的一个拷贝.所需的密度$2^{1-k}$是最好的可能,因为更高阶的比赛结构显示。我们的结果可以被看作是一个共同的推广的第一极值结果在图论由于曼特尔(当$k=2$和遗传密度条件减少到正常的密度条件)和最近的结果Glebov,Král ',和Volec(当$k=3$和大子集的顶点$H$诱导一个子超图的密度$>1/4$)。我们的证明任意$k\geq 2$利用超图的正则性方法。
2017-01-20 math.CO
Inclusion of Forbidden Minors in Random Representable Matroids
1984年,Kelly和Oxley提出了随机可表示拟阵$M[A_n]$的模型,该拟阵对应于一个随机矩阵$A_n \in \mathbb{F}_q^{m(n) \times n}$,其元素是从$\mathbb{F}_q$独立一致地抽取的。尽管诸如秩、连通性和电路大小等属性已经得到了很好的研究,但禁止子项尚未得到分析。在这里,我们调查的渐近概率$n \to \infty$,一个固定的$\mathbb{F}_q$ -可表示拟阵$M$是一个小的$M[A_n]$。(We对于所有足够大的$n$,始终假定$m(n) \geq \text{rank}(M)$,否则$M$永远不会是相应$M[A_n]$的次项。)当$M$是自由的,我们证明了$M$是渐近几乎必然(a.a.s.)$M[A_n]$的副歌。当$M$不自由时,我们显示了相变:$M$是a.a.s.如果是$n - m(n) \to \infty$,则为未成年人,但为a.a.s.如果是$m(n) - n \to \infty$就不会。在更一般的设置$m \leq n$和$m > n$,我们给出了下限和上限,分别对渐近和非渐近概率$M$是一个小的$M[A_n]$。我们开发的工具来分析拟阵运算和随机拟阵的子阵可能是独立的兴趣。我们的结果直接暗示了$M[A_n]$是a.a.s.不包含在$\mathbb{F}_q$ -可表示拟阵的任何真的、子闭类$\math…
2017-02-05 math.CO
Separable and Equatable Hypergraphs
我们考虑一类{ \em可分} $k$ -超图和一类{ \em可等} $k$ -超图.我们证明了每个$k$ -超图要么是可分的,要么是可等的,但不是两者都是。我们提出了几个问题,问哪些类的可等(和可分)超图享有一定的吸引力的特征属性,这可以被看作是统一的类似物的$2$ -summable和$2$ -单调布尔函数的属性。特别是,我们介绍了{ \em交换矩阵}的属性,并表明所有这些有疑问的特征保持图,多部$k$超图的所有$k$,铺路$k$拟阵和二元$k$拟阵的所有$k$,和$3$拟阵,这都是等价的当且仅当它们是可交换的。我们还讨论了决定超图是否可分的复杂性,特别是,它需要指数时间铺设拟阵的独立预言机,并可以在多项式时间内这样的预言机提出的二元拟阵。
2023-03-21 math.CO math.OC
On Binary Matroid Minors and Applications to Data Storage over Small Fields
分布式存储系统的局部可修码近年来引起了人们的广泛兴趣,在文献中可以找到各种各样的构造方法。然而,大多数构造要么导致大的字段大小,因此对于实际实现来说计算复杂性太高,要么导致低速率转化为可用存储空间的浪费。在本文中,我们解决这个问题的发展理论对代码的存在和设计在一个给定的领域。这是通过利用最近建立的线性局部可修复码和拟阵之间的联系,并使用拟阵理论的线性小字段的characterisations。特别是,不存在性可以通过在循环平坦格中找到某些禁止的一致子式来证明。结果表明,二元拟阵的循环平坦格具有额外的结构,显着限制可能的局部性的$\mathbb{F}_{2}$ -线性存储码。此外,收集的标准,检测一致子从一个给定的拟阵的循环平坦的格,这是有趣的,在其本身的权利。
2018-02-19 cs.IT math.CO math.IT