Every toroidal graphs without adjacent triangles is odd 8-colorable
奇染色是一种带有附加限制的真染色,即每个非孤立顶点都有某种颜色在其邻域中出现奇数次。可以确保图$G$的奇着色的最小颜色数$k$由$χ_o(G)$表示。如果$χ_o(G)\le k$是奇数,我们说$G$是奇数$k$ -可着色的。这个概念最近由Petruševski和Škrekovski引入,他们证明了如果$G$是平面的,那么$ χ_{o}(G) \leq 9 $。环形图是可以嵌入到环面上的图。请注意,$K_7$是一个环形图,$χ_{o}(G)\leq7$。Tian和Yin证明了每个环形图都是奇$9$ -可染的,每个不含$3$ -圈的环形图都是奇$9$ -可染的.本文证明了不含相邻$3$ -圈的环形图是奇$8$ -可染的.
2022-06-15 math.CO
Every toroidal graph without $3$-cycles is odd $7$-colorable
奇染色是一种带有附加限制的真染色,即每个非孤立顶点都有某种颜色在其邻域中出现奇数次。可以确保图$G$的奇着色的最小颜色数$k$由$χ_o(G)$表示。如果是$χ_o(G)\le k$,我们说$G$是$k$ -可着色的。这个概念最近由Petruševski和Škrekovski引入,他们证明了如果$G$是平面的,那么$ χ_{o}(G) \leq 9 $。环形图是可以嵌入到环面上的图。请注意,$K_7$是一个环形图,$χ_{o}(G)\leq7$。本文证明了不含$3$ -圈的环形图是奇$7$ -可染的.因此,任何不含$3$ -圈的平面图都是奇$7$ -可着色的.也就是说,如果解决了围绕$3$ -圈的其余情形,就可以证明每个环形图都是$7$ -可着色的。
2022-06-13 math.CO
Graphs with girth $2\ell+1$ and without longer odd holes are $3$-colorable
对于一个数$\ell\geq 2$,设$\mathcal{G}_{\ell}$表示围长为$2\ell+1$且没有长度大于$2\ell+1$的奇洞的图族. Plummer和Zha证明了$\mathcal{G}_2$中的3-连通和内部4-连通图都是3-可着色的. Wu、Xu和Xu证明了$\bigcup_{\ell\geq2}\mathcal{G}_{\ell}$中的每个图都是3-可着色的。Chudnovsky等人和Wu等人,分别证明了$\mathcal{G}_2$和$\mathcal{G}_3$中的所有图都是3-可着色的。本文证明了$\bigcup_{\ell\geq5}\mathcal{G}_{\ell}$中的所有图都是3-可着色的。
2022-12-31 math.CO
1-planar graphs are odd 13-colorable
图$G$的奇染色是指图$G$中任意非孤立点的染色在其邻点上出现奇数次的真染色。奇色数,记作$χ_o(G)$,是允许$G$的奇染色的最小颜色数。Petruševski和Škrekovski在2021年引入了这个概念,并证明了如果$G$是平面的,那么$χ_o(G)\le9$和证明了$χ_o(G)\le5$。最近,Petr和Portier将$9$改进为$8$。一个图是$1$ -平面的,如果它可以画在平面上,使得每一条边最多与另一条边相交。Cranston,Laffeine和Song证明了每个$1$ -平面图都是奇$23$ -可染的.本文改进了这一结果,证明了每个$1$ -平面图都是奇$13$ -可染的.
2022-06-28 math.CO
Equitable colorings of hypergraphs with few edges
研究了均匀超图的均匀染色的一个极值问题.回想一下,超图$H$的一个顶点着色称为真着色,如果在这个着色下没有单色边。一个超图被称为是公平$r$ -可着色的,如果存在一个适当的$r$颜色着色,使得任意两个颜色类的大小相差至多一个。本文证明了:如果边数为$|E(H)|\leq 0.01\left(\frac{n}{\ln n}\right)^{\frac {r-1}{r}}r^{n-1}$,则超图$H$在$r<\sqrt[5]{\ln n}$的条件下是$r$ -可着色的.
2019-09-01 math.CO
Odd 4-coloring of outerplanar graphs
本研究针对外平面图的奇着色问题,证明连通外平面图可奇4着色的充要条件是其含非5长环拷贝的块,完善了该类图奇4着色的完整刻画。
2024-08-18 math.CO
Simplified inpproximability of hypergraph coloring via t-agreeing families
我们重新证明的硬度上的近似超图着色使用不同的技术的基础上的极端$t$ -同意家庭的$[q]^n$的大小的界限。特别地,利用Frankl-Tokushige [FT 99],Ahlswede-Khachatrian [AK 98]和Frankl [F 76]关于这类族的大小的定理,我们给出了以下问题的拟NP-困难性的简单而统一的证明:$\bullet$着色一个$3$可着色的$4$ -具有$(\log n)^δ$许多颜色的均匀超图$\bullet$着色一个$3$可着色的$3$ -具有$\tilde{O}(\sqrt{\log \log n})$许多颜色的均匀超图$\bullet$着色$2$可着色$6$ -具有$(\log n)^δ$许多颜色的均匀超图$\bullet$着色$2$可着色$4$ -具有$\tilde{O}(\sqrt{\log \log n})$多种颜色的一致超图,其中$n$是超图的顶点数,$δ>0$是泛常数。
2019-04-02 cs.CC cs.DM math.CO
Odd Edge Colorings of Graphs with Odd Order
Ibaraki University(茨城大学);Nihon University(日本大学);Yokohama National University(横滨国立大学)
本文证明了所有奇阶4连通简单图都是奇3边着色图,并展示了4连通性是必要的。同时证明了奇阶连通欧拉图存在一条边e,使得G-e是奇2边着色图。
2026-04-17 math.CO
Every 4-regular 4-uniform hypergraph has a 2-coloring with a free vertex
本文继续研究超图的$2$ -染色。一个超图是$2$ -可着色的,如果它的顶点是$2$ -可着色的,且没有单色的超边.已知(见J.Amer.Math.Soc.5(1992),217- 229)每个$4$ -均匀$4$ -正则超图是$2$ -可着色的.本文的主要结果是加强了这一结果。为此,我们定义一个超图$H$中的顶点是$H$中的自由顶点,如果我们可以$2$ -color $V(H) \setminus \{v\}$,使得$H$中的每个超边都包含两种颜色的顶点(其中$v$没有颜色)。证明了每一个$4$ -一致$4$ -正则超图都有一个自由顶点.这证明了一个已知的猜想。我们的证明使用一个新的结果不全相等的$3$ -SAT这也证明了本文中,是在其本身的权利感兴趣。
2016-11-27 math.CO
Hypergraphs and hypermatrices with symmetric spectrum
众所周知,一个图是二部图当且仅当它的邻接矩阵的谱是对称的。在本文中,这个断言被分解成三个单独的矩阵结果更广泛的范围,这也扩展到超矩阵。为此,我们利用三次超矩阵的一个新的单调性质,即奇可染矩阵,推广了二分性的概念。证明了非负对称$r$ -矩阵$A$有对称谱当且仅当$r$是偶数且$A$是奇数可着色的.这一结果也解决了Pearson和Zhang关于谱对称超图的一个问题,并否定了Zhou,Sun,Wang和Bu的一个猜想。另外,对超矩阵的$H$ -谱也得到了类似的结果.
2016-05-10 math.CO
Graphs with girth 9 and without longer odd holes are 3-colorable
本文通过证明围长为9且不含更长奇洞的图族 ${\cal{G}}_4$ 是3-可着色的,补全了已有结果,从而完整证实了 Wu、Xu 和 Xu 关于此类图3-可着色性的猜想。
2023-07-04 math.CO
Coloring clique-hypergraph of $K_5$-minor-free graphs
图$G$的团染色是对图$G$的顶点的染色,使得大小至少为2的最大团都不是单色的。图$G$的群超图$\mathcal{H}(G)$以$V(G)$为其顶点集,以$G$的最大团为其超边。$\mathcal{H}(G)$的一个(顶点)染色是$G$的一个顶点染色。$G$的团色数是$G$允许团色的最少颜色数。任何可平面图都是3-可色的(Electr. J. Combin. 6(1999),\#R26)。最近,我们证明了每个不同于奇圈的无爪可平面图都是$2$ -可染的(European J. Combin. 36(2014)367-376)。本文将这些结果推广到无爪,无$K_5$ -子图.
2014-08-21 math.CO
Further Progress towards the List and Odd Versions of Hadwiger's Conjecture
在1943年,Hadwiger证明了没有$K_t$子图的图对每个$t\ge 1$都是$(t-1)$ -可着色的。在20世纪80年代,Kostochka和Kristason独立证明了每个没有$K_t$子图的图都有平均度$O(t\sqrt{\log t})$,因此是$O(t\sqrt{\log t})$ -可着色的。最近,Norin,Song和作者证明了每个没有$K_t$子图的图对于每个$β> 1/4$都是$O(t(\log t)^β)$ -可着色的,这是对$O(t\sqrt{\log t})$界的数量级的第一次改进。在这项工作的基础上,我们之前证明了每个没有$K_t$子图的图对于每个$β> 0$都是$O(t (\log t)^β)$ -可着色的。更具体地,它们是$O(t \cdot (\log \log t)^{6})$可着色的。在本文中,我们将这项工作扩展到Hadwiger猜想的列表和奇推广。
2020-10-12 math.CO
A new upper bound on the chromatic number of graphs with no odd $K_t$ minor
Gerards和Seymour证明了没有奇数$K_t$子图的图是$(t-1)$ -可着色的.这是对著名的哈德维格猜想的加强。Geelen等人证明了没有奇数$K_t$子式的图是$O(t\sqrt{\log t})$ -可着色的.使用的方法,本作者和Postle最近开发的着色图没有$K_t$子,我们作出了第一次改进,这个界显示,每个图没有奇数$K_t$子是$O(t(\log t)^β)$ -着色的每一个$β> 1/4$。
2019-12-16 math.CO
A quantitative Lovász criterion for Property B
Lovász的一个著名的观察是,如果一个超图不是$2$ -可着色的,那么它至少有一对边相交于一个顶点。%这个非常简单的标准被证明是非常有用的。在这篇简短的论文中,我们考虑Lovász准则的定量版本。也就是说,我们问有多少对相交于一个顶点的边,应该属于一个非$2$ -可着色的$n$ -一致超图?我们的主要结果是对这个问题的{ \em精确}回答,它进一步刻画了所有的极超图。证明结合了Bollobás的两族定理和Pluhar的随机着色算法。
2019-03-12 math.CO
Multipass greedy coloring of simple uniform hypergraphs
设$m^*(n)$是$n$ -一致简单超图中不可二着色的最小边数.我们证明了$m^*(n)=Ω(4^n/\ln^2(n))$ .我们的结果推广到了$b$ -简单一致超图的$r$ -染色.对于固定的$r$和$b$,我们证明了$b$ -简单$n$ -一致超图中的一个最大顶点度一定是$Ω(r^n /\ln(n))$ .通过修剪参数,它意味着每个这样的图都有$Ω((r^n /\ln(n))^{b+1/b})$边。对于任何固定的$r \geq 2$,我们的技术也产生范德瓦尔登数$W(n,r)$的下界$Ω(r^n/\ln(n))$。
2014-10-22 cs.DM math.CO
Uniform Turán density -- palette classification
Leipzig University(莱比锡大学);Max Planck Institute for Mathematics in the Sciences(马克斯·普朗克科学研究所);Masaryk University(马萨里克大学);Institute for Basic Science (IBS)(基础科学研究院)
本文针对Erdős与Sós提出的3-均匀超图一致Turán密度问题,给出了超图可着色的充要条件,并将其用于证明具有特定一致Turán密度的超图的存在性。
2026-08-28 math.CO
Minimal non-odd-transversal hypergraphs and minimal non-odd-bipartite hypergraphs
在所有具有偶一致性的一致超图中,奇横截或奇二部超图无论从结构还是从谱的角度看都更接近于二部单图。一个超图称为极小非奇横截,如果它是非奇横截的,但删除任何边会得到一个奇横截超图。本文利用关联矩阵的度和秩给出了$\mathbb{Z}_2$上极小非奇横截超图的一个等价刻画。若极小非奇横截超图是一致的,则它具有偶一致性,因而是极小非奇二部超图。刻画了$2$ -正则一致极小非奇二部超图,并给出了$d$ -正则一致超图是极小非奇二部超图的一些例子.最后给出了极小非奇二部超图的邻接张量的最小H-特征值的上界。
2020-03-04 math.CO
Odd edge-colorings of subdivisions of odd graphs
奇图是指所有顶点都是奇数度的有限图。给定的图$G$可分解为$k$奇子图,如果它的边集可划分为$k$子集,每个子集导出$G$的奇子图. $G$的这种分解存在的$k$的最小值是由Pyber(1991)引入的奇色指数$χ_{o}'(G)$。对于每一个$k\geqχ_{o}'(G)$,图$G$被称为是奇$k$ -边可着色的。除了两个特殊的例外,分别是奇$5$ -和奇$6$ -边可着色,其余的连接无环图是奇$4$ -边可着色的,而且其中一个颜色类可以减少到大小$\leq2$。此外,它已被证实,一个奇怪的$4$ -边着色的颜色类的大小最多$1$总是可以实现的。Atanasov等人(2016)根据值$χ_{o}'(G)\leq4$来表征次三次图类。在本文中,我们将他们的结果推广到奇图的所有细分的奇色指数的值的一个特征。这个更大的类$\mathcal{S}$是一个特别感兴趣的,因为它收集了所有的“最少的实例”的非奇图。作为我们的主要结果的前奏,我们表明,每一个连通图$G\in \mathcal{S}$需要最大数量的四种颜色,成为奇数$3$ -边着色后,删除一定的边缘。因此,我们提供了支持所提到的猜想证明它的所有细分的奇图。本文最后提出了一些问题,为可能的进一步工作。
2023-03-08 math.CO
Coloring of graphs without long odd holes
本文研究了无长奇洞图的着色问题,证明了${\cal G}_2$族图1456-可着色、${\cal A}_3$族图4-可着色,并给出${\cal B}_{\ell}$中无7-洞图的$(12\ell+8)$-可着色性。
2025-04-02 math.CO
Odd coloring of $k$-trees
本文研究$k$-树的奇着色问题,将$k$-树奇$(2k+1)$-可着色的上界改进为奇$(k+2\lfloor\log_2 k\rfloor+3)$-可着色,并证明$k=2,3$时的紧致界限。
2025-04-29 math.CO
A note on random greedy coloring of uniform hypergraphs
构成n-一致超图的最少的不是r-可着色的边数记为m(n,r)。Erdens和Lovász证明了m(n,2)=θ(n2^n)$。最著名的下界m(n,2)=Ω(sqrt(n/log(n))2^n)由Radhakrishnan和Srinivasan在2000年获得。我们给出了一个简单的证明。这个证明是基于对Pluhár在2009年研究的随机贪婪着色算法的分析。证明方法扩展到r-着色的情况,我们证明了对于任何固定的r,我们有m(n,r)=Ω((n/log(n))^(1-1/r)r^n),改进了Kostochka从2004年开始的界。我们也得到了类似的界限上的最小边度的n-一致超图是不是r-着色。
2013-10-04 cs.DM math.CO
Some Spectral Properties and Characterizations of Connected Odd-bipartite Uniform Hypergraphs
一个$k$ -一致超图$G=(V,E)$称为奇偶超图([5]),如果$k$是偶超图,且存在$V$的某个真子集$V_1$,使得$G$的每条边包含$V_1$中的奇数个顶点.奇二部超图是普通二部图的推广。研究了连通奇二部超图的谱性质。证明了连通$k$ -一致超图$G$的Laplacian H-谱与无符号Laplacian H-谱相等的充要条件是$k$是偶图,$G$是奇二部图.我们进一步给出了连通奇二部超图的几个谱刻画。给出了连通$k$ -一致超图的Laplacian谱半径与无号Laplacian谱半径相等的一个刻划,从而回答了文[9]中提出的一个问题.通过证明两个奇二部$k$ -一致超图的笛卡儿积$G\Box H$仍然是奇二部的,确定了当$G$和$H$都是奇二部连通时,$G\Box H$的拉普拉斯谱半径是$G$和$H$的拉普拉斯谱半径之和.
2014-03-19 math.CO
The chromatic number of heptagraphs
空穴是长度至少为4的诱导环。如果一个图没有长度为3或4的圈,也没有长度至少为7的奇数洞,则称它为五角图;如果一个图没有长度小于小于7的圈,也没有长度至少为9的奇数洞,则称它为七角图。令$ł\ge 2$为整数。目前的作者证明了一个图是4-可着色的,如果它没有长度小于$2ł+1$的圈,也没有长度至少为$2ł+3$的奇洞. Chudnovsky和Seymour证明了Plummer和Zha的一个猜想,每个五边形都是3-可着色的。根据他们的想法,我们证明了每个七边形都是3-可着色的。
2022-06-03 math.CO
The odd chromatic number of a toroidal graph is at most 9
可平面图是$4$ -可着色的。环形图是可以嵌入到环面上的图。证明了环图是$7$ -可着色的。一个图的正常染色称为\emph{odd},如果每个非孤立点至少有一个颜色在其邻域中出现奇数次。图$ G $允许奇染色的最小颜色数记为$χ_{o}(G)$。本文证明了:若$G$是环面图,则$χ_{o}\left({G}\right)\le9$ ;注意,$K_7$是环面图,其上界不小于$7$ .
2022-06-12 math.CO
The least H-eigenvalue of signless Laplacian of non-odd-bipartite hypergraphs
设$G$是连通的偶均匀非奇二部超图。$G$的无符号拉普拉斯张量的最小H-特征值简称为$G$的最小特征值,相应的H-特征向量称为$G$的第一特征向量.本文给出了含有奇二部分支的$G$的第一特征向量的一些数值性质和结构性质,并研究了当连接在一个顶点的奇二部分支迁移到另一个顶点时,$G$的最小特征值的变化.在一类含有固定非奇二部连通超图的超图中,刻画了最小特征值最小的超图。最后给出了连通非奇二部超图的最小特征值的若干上界,并证明了零是连通非奇二部超图的最小特征值的最小极限点。
2019-02-12 math.CO
Spectral Turán-type problems for the $α$-spectral radius of hypergraphs with degree stability
Jiangxi Normal University(江西师范大学)
研究超图的 $\alpha$-谱半径的极值问题,通过分析技术证明了在 $P$-可着色超图族中达到最大 $\alpha$-谱半径的超图是渐近正则的,并进一步将谱 Turán 型问题约化为谱极值问题,确定了 $F^{(r)}$-自由超图的最大 $\alpha$-谱半径。
2026-05-31 math.CO
Asymptotic Equivalence of Hadwiger's Conjecture and its Odd Minor-Variant
Hadwiger猜想指出,每个$K_t$ -子自由图都是$(t-1)$ -可着色的.由Gerards和Seymour提出的这个猜想的一个定性加强,被称为奇Hadwiger猜想,类似地说,每个没有奇$K_t$ -子图的图是$(t-1)$ -可着色的。对于这两种结构,它们的渐近松弛仍然是开放的,即,对于某个常数$C>0$,$Ct$形式的色数是否存在上界。我们证明了如果每个没有$K_t$ -子图的图都是$f(t)$ -可着色的,那么每个没有奇数$K_t$ -子图的图都是$2f(t)$ -可着色的.利用这一点,Delcourt和Postle最近对$K_t$-minor自由图的色数的$O(t\log\log t)$-上界直接推广到奇$K_t$ -minor自由图的色数.这(稍微)改进了Delcourt和Postle对这个问题的$O(t(\log \log t)^2)$的上界。
2021-09-06 cs.DM math.CO
Two-regular subgraphs of odd-uniform hypergraphs
令$k\ge 3$为奇数,令$n$为足够大的整数。证明了不含$2$ -正则子图的$n$ -顶点$k$ -一致超图的最大边数为$\binom{n-1}{k-1} + \lfloor\frac{n-1}{k} \rfloor$,且等式成立当且仅当$H$是一个中心为$v$且最大匹配不含$v$的全$k$ -星.这证实了穆巴伊和韦斯特拉特的一个猜想。
2018-01-22 math.CO
Constructions of local antimagic 3-colorable graphs of fixed odd size | matrix approach
本文研究了局部反魔幻图,通过提出三种构造满足特定性质的$(3m+2)\times (2k+1)$矩阵的方法,成功得到了许多大小为$(3m+2)(2k+1)$且局部反魔幻色数为3的不连通图。
2024-03-25 math.CO
Graphs with girth $2\ell+1$ and without longer odd holes that contain an odd $K_4$-subdivision
本文证明了对于围长为$2\ell+1$且无更长奇洞的图族$\mathcal{G}_{\ell}$($\ell\geq5$),其中不存在包含奇$K_4$-细分的4-顶点临界图,进而支持了该图族3-可着色性的证明。
2023-12-30 math.CO
Odd hypergraph Mantel theorems
本文证明奇数一致超图的Turán密度无法达到1/2,回答了Keevash的问题,并指出扩展三角形是唯一达到该密度的三边超图。
2025-10-15 math.CO
Random hypergraphs and property B
1964年Erdens证明了$(1+\oh{1})) \frac{\eul \ln(2)}{4} k^2 2^{k}$边足以构造一个非二可着色的$k$ -图。直到今天,它是不知道是否存在这样的$k$ -图具有较少的边数。Erdés界是一个具有$k^2/2$顶点和$M(k)=(1+\oh{1}) \frac{\eul \ln(2)}{4} k^2 2^{k}$随机选择的边的超图的大小为$k$的事实的结果是渐近几乎必然不是两个可着色的。我们的第一个主要结果意味着对任何$\varepsilon > 0$,任何具有$(1-\varepsilon) M(k)$随机均匀选择边的$k$ -图是a.a.s.两种颜色。所提出的证明是一个适应的二阶矩方法类似的Achlioptas和摩尔的发展,从2002年谁考虑的问题与固定大小的边缘和顶点数趋于无穷大。本文的第二部分研究了随机$k$ -图的算法着色问题。我们展示了一个非常简单,有点贪婪的过程,a.a.s.对随机$k$ -图,在$k^2/2$顶点上找到一个适当的二染色,最多有$\Oh{k\ln k\cdot 2^k}$条边。对于固定$k$的情况,这与Achlioptas和Coja-Oghlan在2008年定义的\emph{algorithmic barrier}的类似物具有相同的渐近阶。
2021-02-25 cs.DM math.CO
On the spectral radius of a class of non-odd-bipartite even uniform hypergraphs
为了研究偶均匀超图的非奇偶当$s < k/2$时,$G^{k,s}$总是奇二分的。我们证明了$G^{k,{k \over 2}}$是非奇二部的当且仅当$G$是非二部的,并发现$G^{k,{k \over 2}}$与$G$具有相同的邻接(分别为无符号拉普拉斯)谱半径。因此,涉及单图$G$的邻接或无符号Laplacian谱半径的结果对$G^{k,{k \over 2}}$也成立.特别地,我们刻画了所有固定阶的非奇二部超图$G^{k,{k \over 2}}$中唯一具有最小邻接或无符号Laplacian谱半径的图,并证明了$\sqrt{2+\sqrt{5}}$是非奇二部超图$G^{k,{k \over 2}}$的最小极限点.此外,我们还得到了弱不可约非负张量谱半径的一些结果。
2015-02-15 math.CO
Odd Ramsey numbers of multipartite graphs and hypergraphs
本文研究多部图与超图的奇 Ramsey 数,推广已有结果并确定两类结构的渐近值,其中超图情形属首次。
2025-07-25 math.CO
Making an $H$-Free Graph $k$-Colorable
我们研究了以下问题:从任何$H$ -free图中删除$n$顶点上的几条边可以使图$k$ -可着色?证明了极值图论中的各种经典问题都是这个问题的特例。对于$H$任何固定的奇循环,当$n$足够大时,我们确定答案直到一个常数因子。我们还证明了一个上界时,$H$是一个固定的集团,我们猜想是紧到一个常数因子,并证明上界更一般的家庭图。我们应用这些结果得到了具有禁止奇圈的图的最大割的边数的一个新的界。
2021-03-19 cs.DM math.CO
DP-Colorings of Hypergraphs
超图着色理论中的经典问题是估计非$2$ -可着色的$r$ -均匀超图(分别为$r$ -均匀超图和简单超图)的最小边数$m_2(r)$(分别为$m^\ast_2(r)$).目前已知的最佳界限是任何固定$\varepsilon > 0$的\[c \cdot \sqrt{r/\log r} \cdot 2^r \,\leqslant\, m_2(r) \,\leqslant\, C \cdot r^2 \cdot 2^r \qquad \text{and} \qquad c' \cdot r^{-\varepsilon} \cdot 4^r \,\leqslant\, m_2^\ast(r) \,\leqslant\, C' \cdot r^4 \cdot 4^r,\]和一些$c$、$c'$、$C$、$C' > 0$(其中$c'$可能取决于$\varepsilon$)。在本文中,我们在DP-着色(也称为对应着色)的背景下考虑相同的问题,DP-着色是Dvokiák和Postle引入的列表着色的推广,与Fraigniaud,Heinrich和Kosowski独立研究的局部冲突着色有关。令$\tilde{m}_2(r)$(分别为$\tilde{m}^\ast_2(r)$)表示非$2$-DP-可着色的$r$ -均匀(分别为$r$ -均匀和简单)超图的最小边数.根据定义,$\tilde{m}_2(…
2020-07-06 math.CO
DP-colorings of uniform hypergraphs and splittings of Boolean hypercube into faces
本文借助 k-一致超图 DP-染色与布尔超立方体对跖面覆盖的联系,证明不可 2-DP-染色超图的边数下界对所有奇数 k≥3 都能达到。
2022-04-07 math.CO
On positive hypergraphs
Camarena、Csóka、Hubai、Lippner和Lovász引入了正图的概念。这个概念自然地扩展到$r$ -一致超图。在$r$是奇数的情况下,证明了超图是正的当且仅当它的Levi图是正的.作为应用,我们证明了当$r$是奇数时,$K_{r,r}$的$1$ -细分不是正图.
2022-05-20 math.CO
On the 2-colorability of random hypergraphs
超图的2-着色是从它的顶点到一组两种颜色的映射,使得没有边是单色的。设$H_k(n,m)$是一个随机的$k$ -一致超图,它是由$m$的边均匀、独立、置换地选取$n$的顶点而形成的.很容易证明,如果是$r \geq r_c = 2^{k-1} \ln 2 - (\ln 2) /2$,则$H_k(n,m=rn)$很有可能不是2-可着色的。我们通过证明如果$r \leq r_c - 1$,则$H_k(n,m=rn)$有很高的概率是2-可着色的来补充这一观察。
2020-11-09 cond-mat.stat-mech math.CO math.PR
On dual-ABAB-free and related hypergraphs
本研究针对有序顶点的无交替模式超图,给出不依赖顶点排序的关联矩阵特征刻画,并据此证明无dual-ABAB超图即使限定超边大于参数m也不总能正常2着色的新结论。
2024-06-19 cs.CG math.CO
The largest $H$-eigenvalue and spectral radius of Laplacian tensor of non-odd-bipartite generalized power hypergraphs
设$G$是简单图或超图,$A(G),L(G),Q(G)$分别是$G$的邻接张量、拉普拉斯张量和无符号拉普拉斯张量.最大的$H$特征值(分别为,$L(G),Q(G)$的光谱半径)分别用$λ_{\max}^L(G), λ_{\max}^Q(G)$表示(分别,PDMATHAMR)。对于连通的非二部简单图$G$,$λ_{\max}^L(G)=ρ^L(G) < ρ^Q(G)$ .但这并不适用于非奇二部超图。我们将通过考虑一类广义幂超图$G^{k,\frac{k}{2}}$来研究这个问题,这类超图是由简单连通图$G$通过将$G$的每个顶点吹成一个$\frac{k}{2}$ -集并保持顶点的邻接性而构造的。假设$G$是非二分的,或者等价地$G^{k,\frac{k}{2}}$是非奇二分的。我们得到以下谱性质:(1)$ρ^L(G^{k,{k \over 2}}) =ρ^Q(G^{k,{k \over 2}})$当且仅当$k$是$4$的倍数;在这种情况下,$λ_{\max}^L(G^{k,\frac{k}{2}})<ρ^L(G^{k,{k \over 2}})$。(2)如果$k\equiv 2 (\!\!\!\mod 4)$,则对于足够大的$k$,为$λ_{\max}^L(G^{k,\frac{k}{2}})<ρ^L(G^{k,{k \over 2}})$。受超图$G^{k,\frac{k}{2}}…
2015-10-08 math.CO
Spectral properties of general hypergraphs
本文研究了一般超图(包括一致超图和非一致超图)的邻接张量、拉普拉斯张量和无号拉普拉斯张量的谱性质。我们得到了一般超图的谱半径的顶点度界,并给出了奇二部超图的谱特征。
2016-05-19 math.CO
Improved algorithms for colorings of simple hypergraphs and applications
本文研究超图染色的极值问题。本文利用随机赋边算法证明了任意$n$ -一致简单超图$H$是$r$ -可着色的,其中$c>0$是一个绝对常数,且最大边度至多为\[ Δ(H)\leq c\cdot nr^{n-1}, \].我们还证明了对于$b$ -简单超图也有类似的结果.作为我们的证明技术的应用,我们建立了一个新的下界范德瓦尔登数$W(n,r)$,最小$N$,使在任何$r$ -着色的集合$\{1,...,N\}$有一个单色算术级数的长度$n$。我们证明了对于一定的绝对常数$c>0$,\[ W(n,r)>c\cdot r^{n-1}, \]。
2014-09-24 cs.DM math.CO
Regular Uniform Hypergraphs, $s$-Cycles, $s$-Paths and Their largest Laplacian H-Eigenvalues
本文证明了连通$k$ -一致超图$G$的最大无符号Laplacian H-特征值达到其上界$2Δ(G)$,其中$k \ge 3$是$G$的最大度,当且仅当$G$是正则的.因此,$G$的最大拉普拉斯H-特征值达到相同的上界,当且仅当$G$是正则和奇偶的。本文证明了一个$s$ -圈$G$,作为一个$k$ -一致超图,其中$1 \le s \le k-1$是正则的当且仅当存在正整数$q$使得$k=q(k-s)$ .我们证明了一个偶均匀$s$ -路和一个偶均匀非正则$s$ -圈总是奇二部的。我们证明了一个具有$k=q(k-s)$的正则$s$ -圈$G$是奇二部的当且仅当$m$是$2^{t_0}$的倍数,其中$m$是$G$中的边数,而$q = 2^{t_0}(2l_0+1)$是$t_0$和$l_0$的整数。我们确定的最大无符号拉普拉斯H-本征值的$s$循环$G$在所有可能的情况下。当$G$是奇二部时,这也是它的最大拉普拉斯H-特征值。引入超图的超顶点,证明了奇一致超图的Laplacian H-特征向量的分量相等,如果这些分量对应于同一超顶点上的顶点,且对应的Laplacian H-特征值不等于超顶点的度.利用这个性质,我们证明了奇均匀广义松散$s$ -圈$G$的最大拉普拉斯H-特征值等于$Δ(G)=2$ .我们还证明了$k$ -均匀紧$s$ -圈$G$的最大Laplacian H-特征值不小…
2013-09-18 math.CO
Odd Covers of Complete Graphs and Hypergraphs
本文证明完全图奇数覆盖数猜想,并利用高度对称的完全超图构造给出偶数阶 3-图精确结果及 r=3、4 时小于划分数的结论。
2024-08-09 math.CO
Hyperwalk Formulae for Even and Odd Laplacians in Finite CW-Hypergraphs
本文给出了超图Laplacian幂的一个组合解释。我们的动机来自于有限图情况下的量子力学和热力学的离散公式,这表明了单纯形和CW-复形的自然扩展。有了这个动机,我们还定义了推广的奇拉普拉斯算子,这是特定的超图所产生的CW-复形。然后,我们提供了一个组合的解释,这些拉普拉斯的权力。
2017-08-26 math-ph math.CO math.MP
The spectral symmetry of weakly irreducible nonnegative tensors and connected hypergraphs
设$\mathcal{A}$是具有谱半径$ρ(\mathcal{A})$的弱不可约非负张量.令$\mathfrak{D}$(分别为$\mathfrak{D}^{(0)}$)是从$\mathcal{A}$的本征向量产生的归一化对角矩阵的集合,该本征向量对应于具有模$ρ(\mathcal{A})$的本征值(分别为本征值$ρ(\mathcal{A})$)。证明了$\mathfrak{D}$是一个包含$\mathfrak{D}^{(0)}$作为子群的阿贝尔群,它传递地作用在集合$\{e^{\mathbf{i} \frac{2 πj}{\ell}}\mathcal{A}:j =0,1, \ldots,\ell-1\}$上,其中$|\mathfrak{D}/\mathfrak{D}^{(0)}|=\ell$和$\mathfrak{D}^{(0)}$是$\mathcal{A}$的稳定子. $\mathcal{A}$的谱对称性由群$\mathfrak{D}/\mathfrak{D}^{(0)}$表征,并且$\mathcal{A}$被称为谱$\ell$ -对称的。通过分析$\mathfrak{D}$的性质,得到了$\mathcal{A}$的结构信息,特别是对于连通超图,得到了关于边分布和着色的一些结果。此外,如果$\mathcal{A}$是对称的,我们证明了$\mathcal{A}$是谱$\ell$…
2017-10-30 math.CO
The $H$-spectrum of a generalized power hypergraph
简单图$G$的广义幂,记作$G^{k,s}$,是由$G$通过将每个顶点吹成$s$ -集,每个边吹成$k$ -集得到的,其中$1 \le s \le \frac{k}{2}$ .当$s < \frac{k}{2}$时,$G^{k,s}$总是奇二分的。已知$G^{k,{k \over 2}}$是非奇偶的当且仅当$G$是非偶的,并且$G^{k,{k \over 2}}$与$G$具有相同的邻接(分别为无符号拉普拉斯)谱半径。在本文中,我们证明了,不管重数如何,$\A(G^{k,\frac{k}{2}})$(分别为$\Q(G^{k,\frac{k}{2}})$)的$H$ -谱由$G$的连通导出子图(分别为修改的导出子图)的邻接矩阵(分别为无符号拉普拉斯矩阵)的所有特征值组成.作为推论,$G^{k,{k \over 2}}$具有与$G$相同的最小邻接(相应地,最小无符号拉普拉斯)$H$ -特征值。讨论了超图的最小邻接$H$ -特征值的极限点,构造了一个最小邻接$H$ -特征值收敛于$-\sqrt{2+\sqrt{5}}$的非奇二部超图序列.
2015-06-21 math.CO
Some spectral properties of uniform hypergraphs
对于$k$ -一致超图$H$,我们得到了$H$的拉普拉斯张量的迹公式,这意味着$\sum_{i=1}^nd_i^s$($s=1,\ldots,k$)是由$H$的拉普拉斯谱决定的,其中$d_1,\ldots,d_n$是$H$的度序列.利用拉普拉斯张量的迹公式,得到正则超图的拉普拉斯多项式的某些系数的表达式。给出了奇二部超图的谱刻画,并部分回答了Shao等\cite{ShaoShanWu}提出的一个问题.给出了幂超图的一些谱性质,并证明了Hu等\cite{HuQiShao}提出的一个猜想在一定条件下成立.
2014-07-19 math.CO
Haggkvist-Hell Graphs: A class of Kneser-colorable graphs
对于正整数n和r,我们定义Haggkvist-Hell图H_{n:r}为顶点为有序对(h,T)的图,其中T是[n]的r-子集,h是[n]中不在T中的元素。顶点(h_x,T_x)和(h_y,T_y)相邻当且仅当h_x \in T_y,h_y \in T_x,且T_x和T_y不相交.这些无三角形弧传递图是Kneser图思想的推广,并且从Haggkvist-Hell图H_{n:r}到相应的Kneser图K_{n:r}存在一个自然同态. Haggkvist和Hell介绍了这些图的r=3的情况,证明了一个三次图允许同态到H_{22:3}当且仅当它是无三角形的。Gallucio、Hell和Nesetril也考虑了r=3的情况,证明了H_{n:3}可以有任意大的色数。本文给出了所有Haggkvist-Hell图的直径、围长和奇围长的精确值,并给出了独立性、色数和分数色数的界.进一步,我们将Gallucio等人的结果推广到任意固定的r-\ge 2,并确定了H_{n:r}的全自同构群,它同构于n元上的对称群.
2011-10-07 math.CO
Hypergraph Universality and Erdos-Posa Failure for Chromatically Rich Odd Cycles
University of Manchester(曼彻斯特大学)
本文证明对任意k≥3,任意有限丛可由k-坏奇圈的极小终端迹实现,保持打包-覆盖数,导致有限拥塞和分数Erdős-Pósa性质失效,与k=2情形形成对比。
2026-09-23 math.CO
A hypergraph bipartite Turán problem with odd uniformity
本文针对奇均匀度$r\geq5$的超图二部Turán问题,利用识别正则稠密子结构的新技术,证明了对应Turán数存在带额外$ε$阶衰减的上界,给出Bradač等人相关猜想的肯定回答,揭示了解依赖均匀度奇偶性的罕见特性。
2024-03-10 math.CO
Odd-Cycle-Free Facet Complexes and the König property
我们使用单纯圈的定义来定义无奇圈的刻面复形(超图)。这些是不包含任何奇数长度的环的小平面复合体。我们发现,除了一类这样的小平面复合物,他们都满足柯尼希性质。这个新的复形族包括平衡超图族,已知它们满足柯尼希性质。这些方面的复杂性,但是,不是门格尔的,我们给出一个例子来证明这一事实。
2007-03-15 math.AC math.CO