首页/论文/2101.05545

arXiv 2101.055452021-01math.COmath.RA

自然对偶下同态的次序

The Minor Order of Homomorphisms via Natural Dualities

Wolfgang Poiger, Bruno Teheux

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文研究了代数同态在具有对数自然对偶的拟簇中的次关系。利用对偶分划格的不交并刻画了有限代数的次同态偏序集，并研究了同态的重构问题。

英文摘要：

We study the minor relation for algebra homomorphims in finitely generated quasivarieties that admit a logarithmic natural duality. We characterize the minor homomorphism posets of finite algebras in terms of disjoint unions of dual partition lattices and investigate reconstruction problems for homomorphisms.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

点决定有向图、$\{0,1\}$ -矩阵划分和全同态中的对偶

Point determining digraphs, $\{0,1\}$-matrix partitions, and dualities in full homomorphisms

证明了点决定有向图$D$包含一个点$v$，使得$D-v$也是点决定图.我们应用这一结果表明，对于任何$\{0,1\}$矩阵$M$，$k$对角零和$\ell$对角1，最小$M$障碍的大小是最多$(k+1)(\ell+1)$。这将Sumner、Feder和Hell的结果从无向图和对称矩阵推广到有向图和一般矩阵。

2013-08-01math.CO

关系系统的同态与结构性质

Homomorphisms and Structural Properties of Relational Systems

两个主要议题被认为是：有限同态对偶关系结构的特征，和分裂性质的最大反链的同态顺序。

2007-10-24math.CO

Heyting代数中的对偶与对偶对

Dualities and dual pairs in Heyting algebras

我们提取的有限同态对偶的抽象核心使用的技术Heyting代数和（组合）类别。

2010-06-23math.COmath.CT

梯度和类有界扩展III。限制对偶

Grad and classes with bounded expansion III. restricted dualities

我们在有界扩展的类的背景下研究限制同态对偶。这提出了一个推广的限制对偶先前获得的有界度图，也为适当的小封闭类。这与图的距离着色和哈德维格猜想的“近似版本”有关。

2005-08-17math.CO

具有禁止同态的泛结构

Universal structures with forbidden homomorphisms

我们将泛对象的存在性问题与相应的丰富范畴（提升或扩展）的性质联系起来。特别地，我们推广了以前的结果，证明了对于有限连通结构的每个（可能是无限的）正则集F，存在类Forb（F）的（可数的）ω-范畴泛结构U（不包含F的任何成员的任何同态像的所有可数结构）.我们采用一种称为均匀化的技术：泛对象U是超均匀结构U '的阴影（还原）。我们还把本文的结果的上下文中的同态对偶和约束满足问题。这导致了一个替代的证明的特点有限对偶（由Tardif和Nešetziil），以及特点的无限有限对偶类的关系树由P.L.埃尔多斯、帕尔沃尔吉、塔迪夫和塔尔多斯。正则结构族的概念是由最近关系森林类（本身与正则语言有关）的无限-有限对偶的特征所激发的。我们展示了如何定期家庭的关系树的概念可以扩展到定期家庭的关系结构。这给出了类Forb（F）存在（可数）ω-范畴泛对象的部分特征.

2013-03-02math.CO

符号二部$K_4$ -无子图的同态界和$2k$ -正则$K_4$ -无子重图的边染色

Homomorphism bounds of signed bipartite $K_4$-minor-free graphs and edge-colorings of $2k$-regular $K_4$-minor-free multigraphs

符号图$(G, Σ)$是一个图$G$和它的边的子集$Σ$，它对应于边的符号分配：$Σ$中的边是负的，而不在$Σ$中的边是正的。一个有符号图的闭行走是平衡的，如果它的边（包括重复）的符号的乘积是正的，否则是不平衡的。符号图的不平衡围长是最短不平衡闭行走的长度（如果存在这种行走）。$(G,Σ)$到$(H,Π)$的同态是$G$到$H$的同态，它保持了闭游动的平衡。本文给出了一个不平衡围长$2k$的带符号二部图$(B, Π)$，证明了$(B, Π)$允许任何不平衡围长$2k$的带符号二部图同态的一个充要条件，该图的基础图是$K_4$ -minor-free.该条件可以在关于$B$的阶数的多项式时间内检查。设$SPC(2k)$是顶点集$\mathbb{Z}_2^{2k-1}$上的带符号二部图，其中如果顶点$u$和$v$的差在$\{e_1,e_2, \ldots, e_{2k-1}\}$内（其中$e_i$形成标准基），则顶点$u$和$v$与正边相邻，如果它们的差是$J$（即，全1向量），则顶点$v$与负边相邻。作为我们工作的一个应用，我们证明了不平衡围长$2k$的所有符号二部$K_4$ -minor free图都与$SPC(2k)$同态.这支持了Guenin的一个猜想，即每个不平衡围长$2k$的有符号二部平面图都与$SPC(2k)$同态（这是四色定理的一个推广）。我们也给出了我们的工作的一个应…

2019-05-28math.CO

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

$K_4$ -无子图的同态界和边染色

Homomorphism bounds and edge-colourings of $K_4$-minor-free graphs

本文给出了奇围长$2k+1$的图是（至少）$2k+1$的$K_4$ -minor-free图类的一个充要条件，即允许任何这样的$K_4$ -minor-free图的一个同态.这产生了一个多项式时间算法来识别这样的边界。利用这个条件，我们首先证明了奇围长$2k+1$的每个$K_4$ -子自由图都与维数为$2k$的射影超立方体有一个同态.这支持了第三作者的一个猜想，该猜想推广了四色定理，并与Seymour关于平面图边着色的猜想等几个杰出的猜想有关。进一步证明了Kneser图$K(2k+1,k)$满足这些条件，从而暗示了奇围长$2k+1$的每个$K_4$ -子自由图恰好有分数色数$2+\frac{1}{k}$ .已知奇数围长$2k+1$的最小界必须至少有${k+2 \choose 2}$顶点，我们建立了阶$4k^2$的近似最优界。此外，我们还猜想奇围长$2k+1$的$K_4$ -minor-free图的分数色数和圆色数的上确界是由奇围长$2k+1$的一个上界得到的.如果是真的，这改善了，在同态顺序，较早的紧结果的循环色数的$K_4$ -小免费的图形。我们通过证明前几种情况来支持我们的猜想。最后，作为我们工作的应用，在注意到Seymour提供了一个计算$K_4$ -minor-free重图的边色数的公式之后，我们证明了在$K_4$ -minor-free正则重图的情况下可以得到更强的结果。

2018-01-30cs.DSmath.CO

逻辑等价、同态不可区分性与禁止子式

Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors

本文证明任何自补逻辑的等价关系可由子式封闭图类上的同态不可区分性刻画，并分类了满足同态区分封闭极大性条件的有限图类，回答了Roberson提出的相关问题。

2024-02-06cs.CCcs.DMcs.LO

图关系与约束同态偏序

Graph Relations and Constrained Homomorphism Partial Orders

我们考虑图同态的约束变体，如嵌入，单态，全同态，满射同态，和局部约束同态。我们还介绍了这个主题的一个新的变化，它来自图之间的关系，并与多同态。这给出了满同态的推广，并自然地引出了图的R-收缩、R-核和R-余核的概念。图的R-核和R-上核在同构下都是唯一的，并且可以在多项式时间内计算。图同态序的理论已经发展得很好，从它出发，我们考虑了由约束同态引起的序的类似概念。我们确定相应的核心，证明或反驳的普遍性，特点的差距和二重性。我们给出了一个新的和显着更容易证明的同态秩序的普遍性表明，即使是面向循环类是普遍的。我们提供了一个系统的方法来简化在这方面的几个早期的结果的证明。我们更详细地探讨了局部单同态的连通图，特征间隙和显示的普遍性。证明了对每一个$d\geq 3$，最大度图$d$在线图类上的同态序是泛同态.

2014-04-21math.CO

约束同态序

Constrained homomorphism orders

Charles University（查理大学）；Central China Normal University（华中师范大学）

研究有限图约束同态（如单同态、嵌入、满同态等）诱导的偏序，分析其核心、有限性、对偶性等结构性质，并统一框架。

2026-06-08math.CO

通过稀疏图的同构来区分图

Distinguishing Graphs by Counting Homomorphisms from Sparse Graphs

Technische Universität Dresden（德累斯顿工业大学）；IT-Universitetet i København（哥本哈根信息技术大学）

该研究证明了排除某些minor的图类中，同构不可区分性不同于同构，并展示了相关图类的同构区分闭合性及严格层次结构。

2026-09-11cs.DMcs.LOmath.CO

浸入闭类中的同构计数并非同构

Homomorphism counting for immersion-closed classes is not isomorphism

Universidad de Valparaíso（瓦尔帕莱索大学）；Millennium Nucleus for Social Data Science (SODAS)（社会数据科学千年核心）；University of Manitoba（曼尼托巴大学）；University of Alaska Fairbanks（阿拉斯加费尔班克斯大学）

本文证明了对于任何proper immersion闭的图类M，存在非同构的图G和H，其同构计数在M上无法区分。

2026-02-14math.CO

通过同态计数区分具有简单谱的图

Distinguishing graphs with simple spectrum by homomorphism counts

本研究探讨了通过同态计数区分具有简单谱的图，证明了此类图类需满足无界树宽等条件，并构造了相关图对，扩展了三次同态计数的应用范围。

2026-10-22cs.DMmath.CO

有限模型的组合性质

Combinatorial Properties of Finite Models

我们研究可数嵌入通用和同态通用结构和统一的结果与这两个概念。我们发现，许多普遍的和超均匀的结构允许一个简洁的描述（这里称为有限的介绍）。扩展Rado的经典工作（对于随机图），我们找到了以下几类图的有限表示：齐次无向图，齐次竞赛图和齐次偏序集.给出了有理Urysohn度量空间和一些齐次有向图的有限表示。我们调查众所周知的结构，是不对称的。我们专注于赋予自然偏序的结构，并证明其普遍性。这些偏序包括词集合上的偏序、几何对象形成的偏序、语法、多项式和各种组合对象的同态序。给出了同态定义的结构类的嵌入-泛对象存在性的一个新的组合证明。这将可数嵌入泛结构与同态对偶（有限同态泛结构）和Urysohn度量空间联系起来。我们明确的建设也使我们能够显示这些结构的几个属性。

2010-09-03math.CO

强罗伯森猜想的反例

Counterexamples to the Strong Roberson Conjecture

本文构造连通图反例，反驳强罗伯森猜想及其浸入版本，证明排除特定子式或浸入的图类同态计数仍可确定目标同态数，并给出无限族显式反例。方法基于模等价与素数阶自同构。

2026-11-04cs.DMcs.LOmath.CO

符号图的扩展二重覆盖与同态界

Extended Double Covers and Homomorphism Bounds of Signed Graphs

本文研究符号图的扩展二重覆盖与同态界问题，提出平面完备符号图的扩展二重覆盖仍保持平面完备性的猜想，并在无符号 K4-minor 图子类上证明了该猜想，同时研究了围长受限情形下的最优同态界。

2021-10-27math.CO

由二元关系决定的、在Minion同态下的多重排序布尔克隆

Multisorted Boolean Clones Determined by Binary Relations up to Minion Homomorphisms

该研究刻画了由二元关系决定、两坐标投影至多含两个元素的有限集合克隆类在minion同态下的序结构，将其等价为多重排序布尔克隆类，并提出minion核概念以给出克隆等价类的典范代表。

2024-09-12math.COmath.LO

奇同态、分裂 minors 与强罗伯逊猜想

Oddomorphisms, Split-Off Minors, and the Strong Roberson Conjecture

研究表明图 F 到图 G 存在奇同态并不意味着 G 是 F 的 minor，回答了罗伯逊问题，引入分裂 minors 概念，证明其与奇同态关系及相关性质推进了对结构包含与同态不可区分关系的理解。

2026-07-07cs.DMcs.LOmath.CO

有界度图上的奇同态与同态不变性

Oddomorphisms and homomorphism indistinguishability over graphs of bounded degree

我们引入了（弱）奇同态的图，这是同态的基础上的奇偶附加约束。这些地图具有有趣的属性（例如，它们保持平面性），特别是关于同态不可分割性。如果对所有$F \in \mathcal{F}$都有$\hom(F,G) = \hom(F,H)$，则图$G$和$H$在$\mathcal{F}$族上是 * 同态不可区分的 *，其中$\hom(F,G)$是从$F$到$G$的同态的个数。Lovász的一个经典结果说同构等价于所有图类上的同态不变性。近年来，许多同态不可约关系都有自然的代数和/或逻辑公式。目前，这一领域的许多研究都集中在寻找这种重新表述上。我们的目标是扩大目前的研究范围，同态不可约性，通过引入新的概念/结构，并提出了一些建议/问题。特别是，我们猜想，每个家庭关闭下不相交工会和未成年人产生一个独特的同态不可分割的关系。我们还表明，如果$\mathcal{F}$是一个家庭的图下不相交的工会，限制连接组件，和弱奇同胚关闭，然后$\mathcal{F}$满足一定的极大性或封闭性：同态不可扩展性$G$和$H$的$\mathcal{F}$并不意味着$\hom(F,G) = \hom(F,H)$任何$F \notin \mathcal{F}$。这使我们能够回答十多年前提出的一个问题，即有界度图上的同态不变性不等价于同构。

2022-06-21math.CO

Erdős-Pósa 对偶的 Minor 障碍

Obstructions to Erdős-Pósa Dualities for Minors

本文证明对每个 minor 封闭图类 H，其 Erdős-Pósa 反例类有限，并给出完整刻画与构造性算法，从而解决 Thomas 关于半整数 Erdős-Pósa 性质的猜想。

2024-07-16cs.DSmath.CO