首页/论文/1111.6404

arXiv 1111.64042011-11math.CO

关于极大弱分离集族的纯性

On the purity of maximal weakly separated set families

Hwanchul Yoo

备注：: This paper has been withdrawn by the author

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

给出了一个简短的证明，证明了在$[a,b]$之间的势的$[n]$的弱分离子集的极大族具有相同的大小。我们的证明是直接的，只使用格路径的初等组合学。

英文摘要：

We present a short proof that every maximal family of weakly separated subsets of $[n]$ of cardinality between $[a,b]$ have the same size. Our proof is direct and only uses elementary combinatorics of lattice paths.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

对称分离集系统的纯性现象

The purity phenomenon for symmetric separated set-systems

令$n$为正整数。如果$X\in {\cal S}$隐含$X^\ast\in {\cal S}$，则$[n]=\{1,\ldots,n\}$的子集的集合$\cal S$被称为{ \it对称}，其中$X^\ast:=\{i\in [n]\colon n-i+1\notin X\}$。我们证明了在{ \it strong}、{ \it weak}和{ \it chord}三种分离关系中，都发生了如下的“纯性现象”：$2^{[n]}$中所有包含式最大对称分离集合具有相同的基数.这些给“对称版本”的知名结果的纯度通常强，弱和弦分离集合的子集$[n]$，并在弱分离的情况下，这延长了最近的结果由于Karpman的纯度对称弱分离集合在$\binom{[n]}{n/2}$为$n$甚至。

2022-05-01math.CO

$C$型的纯猜想

The Purity Conjecture in Type $C$

如果对于每个$I, J \in \mathcal{C}$，当整数$1,2,\ldots,m$排列在圆中时，存在将$I \backslash J$与$J \backslash I$分开的弦，则$k$-$\{1,2,\ldots,m\}$的元素子集的集合$\mathcal{C}$是弱分离的。哦，Postnikov和Speyer构建了弱分离集合之间的对应关系，这些集合通过包含和约化平面图而最大化，约化平面图是Postnikov定义的一类网络，它给出了m-空间中$k$ -平面的格拉斯曼图。作为一个推论，他们证明了斯科特的纯度猜想，其中指出，一个弱分离的集合是最大的包含，当且仅当它是最大的大小。本文描述了对称平面图对应的极大弱分离集，给出了Lagrangian Grassmannian上的坐标图，并证明了纯度猜想的一个对称版本.

2019-07-18math.CO

与格拉斯曼项链有关的集合系统的纯洁性

The purity of set-systems related to Grassmann necklaces

研究准交换量子子式的问题，Leclerc和Zelevinsky在1998年引入了弱分离集的概念在$[n]:=\{1,\ldots, n\}$中。此外，他们还对这种对称关系的纯度，特别是对布尔立方体$2^{[n]}$的纯度提出了几点质疑。在0909.1423[math.CO]中，我们证明了布尔立方体$2^{[n]}$，离散格拉斯曼${[n]\choose r}$和其他一些集合系统的这些纯度。Postnikov和Speyer在arxiv：1109.4434中证明了一个包含Grassmann项链$\mathcal N$的正群内弱分离集合的纯度。我们把这样的集合系统表示为$\mathcal{I}nt(\mathcal N )$。本文给出了$\mathcal{I}nt(\mathcal N )$的纯性的另一种（和更短的）证明，并给出了一个更强的结果。更确切地说，我们引入了一套系统$\mathcal{O}ut(\mathcal N )$互补$\mathcal{I}nt(\mathcal N )$，在某种意义上说，并建立其纯度。并且证明了（定理3）这两个集合系统是弱分离的。作为定理3的一个推论，我们得到了与弱分离项链对有关的集合系统的纯性（命题4及推论1和2）。最后，我们提出了一个关于广义项链的内部和外部的纯性的猜想。

2013-12-11math.COmath.RT

分离集的交族

Intersecting Families of Separated Sets

证明了Holroyd和Johnson的一个猜想，即Erdos-Ko-Rado定理的一个类似定理对k-分离集成立.特别是，这决定了由Schrijver确定的Kneser图的顶点临界子图的独立数，即分离集的集合。

2002-11-20math.CO

定向拟阵的提纯与分离

Purity and separation for oriented matroids

Leclerc和Zelevinsky在研究准交换量子旗子式的基础上，引入了强分离和弱分离集合的概念。这些概念与簇代数理论、双Bruhat细胞的组合学和完全正格拉斯曼密切相关。一个关键的特征，称为纯度现象，是每个极大的包含强（分别为，$[n]$中的子集的（弱）分离的集合具有相同的基数。在本文中，我们扩展了这些概念，并定义了$\mathcal{M}$分离集合的任何定向拟阵$\mathcal{M}$。我们表明，最大的大小$\mathcal{M}$分离的集合是在双射与细zonotopal平铺（如果$\mathcal{M}$是一个可实现的定向拟阵），或与一个元素的提升$\mathcal{M}$在一般位置（为任意定向拟阵）。我们引入了一类纯定向拟阵，它的纯现象成立：定向拟阵$\mathcal{M}$是纯的，如果$\mathcal{M}$ -分离的集合形成纯单纯复形，即，通过包含物$\mathcal{M}$分离的集合的任何最大值也是通过大小的最大值。我们密切关注几个特殊类的定向拟阵：定向拟阵秩$3$，图形定向拟阵，一致定向拟阵。在这些情况下，我们分类纯定向拟阵。秩为$3$的定向拟阵是纯的当且仅当它是正拟阵（直到重定向和重标记它的基集）。图定向拟阵是纯的当且仅当它的底层图是外平面图，即$n$ -边形的三角剖分的子图。本文利用禁子式给出了纯定向拟阵的一个简单的几何特征，并对上述拟阵类（秩$3$，图的…

2021-03-25math.COmath.MG

弱分离、纯区域与簇距离

Weak Separation, Pure Domains and Cluster Distance

在证明了弱分离集合的纯度猜想之后，近年来已经揭示了各种各样的更广泛的在不同设置中的纯度的例子。在本文中，我们考虑的集合$\mathcal A_{I,J}$弱分离的两个固定集$I$和$J$。我们发现，所有最大的弱分离的集合$\mathcal W\subset\mathcal A_{I,J}$也是最大的大小，只要$I$和$J$是足够的“通用”。我们还给出了$\mathcal W$的基数关于$I$和$J$的简单公式。我们应用我们的结果来计算簇距离，并给出了在Grassmannian坐标环上的簇代数结构中簇变量之间的突变距离的下界。使用一个线性投影，涉及弱分离的八面体递归，我们也找到了确切的突变距离和聚类距离的一个家庭的集群变量。

2016-12-16math.CO

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

组合拼块和分离集系统

Combined tilings and separated set-systems

1998年，Leclerc和Zelevinsky引入了有序$n$ -元素集$[n]$的子集的弱分离集合的概念（使用这个概念来给出量子矩阵的准交换子式的组合特征）。他们证明了某些天然结构域$D\subseteq 2^{[n]}$的纯度（特别是超立方体$2^{[n]}$本身，以及固定$m$的超单纯形$\{X\subseteq[n]\colon |X|=m\}$），其中如果$D$中的所有最大弱分离集合具有相同的基数，则$D$被称为纯的。这些问题都得到了肯定的回答。在本文中，推广这些早期的结果，我们揭示了更广泛的类的纯域在$2^{[n]}$。这是由于我们的弱分离集系统，所谓的\emph{combined (polygonal) tilings}上的zonogon，这产生了一个新的见解在该地区的一个新的几何-组合模型的研究。

2016-09-17math.CO

局部分离Hamilton路族

Families of locally separated Hamilton paths

我们将K的下界提高了一个指数因子Orner和Muzi关于n个顶点的完全图中任意两条路的并的度为4的最大Hamilton路族的基数的结果。改进是通过一个显式的结构，而以前的界限是由一个贪婪算法。我们解决了一个类似的问题，排列到一个指数因子。

2015-05-04cs.ITmath.COmath.IT

分离凸集族

Separating families of convex sets

如果集合$S$恰好包含$x$和$y$中的一个，则两个元素$x$和$y$由集合$S$分隔。证明了平面上任意位置的$n$点集都可以用$O(n\log\log n/\log n)$凸集分离，并且对某些点集$Ω(n/\log n)$凸集是必要的.

2012-11-13math.COmath.MG

关于二分划的分离族

On Separating Families of Bipartitions

在本文中，我们专注于家庭的双划分，即集划分组成的最多两个组件。我们说一个双划分族是一个集合$S$的分离族，如果$S$中的每两个元素都可以被某个双划分所分离。此外，如果没有真子族是分离族，我们称之为分离族极小。我们刻画了任意集合$S$的最大尺寸的所有极小分离族的集合为$S$上的所有生成树的集合，并列举了最大尺寸的极小分离族.此外，我们列举了分离的家庭的任意大小，不需要最小的。

2011-11-06math.CO

关于集合族的两个结果：坚固性与交集

Two results on set families: sturdiness and intersection

Central South University（中南大学）；Tsinghua University（清华大学）

本文解决两个集合极值理论中的开放问题，证明了IU族的坚固性上界及交叉t-交集分离族大小和的紧上界，推翻了之前提出的开放问题。

2026-04-19math.CO

交叉数已知或有界的图综述

A survey of graphs with known or bounded crossing numbers

我们提出，尽作者所知，所有已知的结果（平面）交叉数的特定的图形和图形的家庭。结果分为不同的类别，具体而言，一般的图形家庭的结果，从各种图形产品所产生的图形的结果，以及递归图形的建设结果。

2021-12-08math.CO

关于Pascal三角形的两类推广

On Two Families of Generalizations of Pascal's Triangle

我们考虑两类Pascal三角形，它们的左边都是1，右边都是由$m-1$ 0分隔的1。$m=1$病例为Pascal三角，当$m=2$时，两个家族也重合。第一家族的成员在三角形内的任何地方都服从帕斯卡递归。我们证明，第$m$个三角形也可以通过反转$(1/(1-x^m),x/(1-x))$ Riordan阵列每行中直到并包括主对角线的元素来获得。因此，可以快速地获得这个三角形族的性质。第二个三角形族的第$m$个成员中的第$(n,k)$个条目是使用$k$ $(1,m-1)$ -栅栏和$n-k$单位正方形的$(n+k)\times1$板的平铺数。$(1,g)$ -栅栏由两个单位正方形子瓦片组成，它们被宽度为$g$的间隙隔开。我们表明，在这些三角形的反对角线的项目是系数的产品的权力，两个连续的斐波那契多项式，并给出一个双射证明，这些系数给出了一些$k$ -子集的$\{1,2,\ldots,n-m\}$，使没有两个元素的子集不同的$m$。第二族三角形的其他性质也通过组合方法获得。最后，我们给出了由平铺$(n\times1)$ -板导出的任何Pascal型三角形（或其行反转形式）是Riordan阵列的充要条件。

2022-01-31math.CO

一些类型B集合分割族的计数由Dowling数完成

Some Families of Type $B$ Set Partitions Counted by the Dowling Numbers

Stockholm University（斯德哥尔摩大学）；Kotebe University of Education（科特贝教育学院）；IRIF, Université de Paris（巴黎大学IRIF研究所）

本文研究了类型B集合分割的计数问题，证明了无合并和分离分割与类型B分割的双射关系，并探讨了下降统计的Gamma-正性及同相性。

2026-09-03math.CO

从弱分离集到拟阵细分

From weakly separated collections to matroid subdivisions

我们研究的安排略有倾斜的热带超平面，称为叶片由A。Ocneanu，在超单形$Δ_{k,n}$的顶点上，我们研究了由此产生的诱导多面体细分。我们发现，放置一个刀片上的顶点$e_J$诱导$\ell$分裂拟阵细分的$Δ_{k,n}$，其中$\ell$是循环间隔的数量在$k$元素子集$J$。我们证明了一个给定的集合的$k$元素子集是弱分离的，在这个意义上的工作的Leclerc和Zelevinsky准交换家庭的量子未成年人，当且仅当安排的刀片$((1,2,\ldots, n))$上的相应顶点的$Δ_{k,n}$诱导拟阵（事实上，一个positroid）细分。在这种方式中，我们得到一个兼容性标准（平面）多重分裂的超单形，推广规则已知的2分裂。我们研究了$(k,n) = (3,7)$的情况下，一组安排的$(k-1)(n-k-1)$弱分离点的$Δ_{k,n}$的一个扩展的例子。

2022-06-01hep-thmath.CO