Takahiro Matsushita
The bounded degree complex $BD(G,λ)$ is a generalization of the matching complexes of a graph. In this paper, we show that the bounded degree complex of a forest is shellable, by using independence complexes of hypergraphs. We obtain a wedge decomposition result of bounded degree complexes when a graph $G$ has a leaf
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
The independence density of a finite hypergraph is the probability that a subset of vertices, chosen uniformly at random contains no hyperedges. Independence densities can be generalized to countable hypergraphs using limits. We show that, in fact, every positive independence density of a countably infinite hypergraph with hyperedges of bounded size is equal to the independence density of some finite hypergraph whose hyperedges are no larger than those in the infinite hypergraph. This answers a question of Bonato, Brown, Kemkes, and Prałat about independence densities of graphs. Furthermore, w…
We consider the number of independent sets in hypergraphs, which allows us to define the independence density of countable hypergraphs. Hypergraph independence densities include a broad family of densities over graphs and relational structures, such as $F$-free densities of graphs for a given graph $F.$ In the case of $k$-uniform hypergraphs, we prove that the independence density is always rational. In the case of finite but unbounded hyperedges, we show that the independence density can be any real number in $[0,1].$ Finally, we extend the notion of independence density via independence poly…
We consider the random hypergraph on a finite vertex set by choosing each set of vertices as an hyperedge independently at random. We express the probability distributions of the (lower-)associated simplicial complex and the (lower-)associated independence hypergraph of the random hypergraph in terms of the probability distributions of certain random simplicial complex and certain random independence hypergraph of Erdös-Rényi type. We construct a graded structure of the map algebra explicitly and give algorithms to generate random hypergraphs and random simplicial complexes.
The independence polynomial of a hypergraph is the generating function for its independent (vertex) sets with respect to their cardinality. This article aims to discuss several recurrence relations for the independence polynomial using some vertex and edge operations. Further, an extension of the well-known recurrence relation for simple graphs to hypergraphs is proven and other novel recurrence relations are also discussed.
Let K_4 denote the complete 3-uniform hypergraph on 4 vertices. Ajtai, Erdős, Komlós, and Szemerédi (1981) asked if there is a function ω(d) tending to infinity such that every 3-uniform, K_4-free hypergraph N vertices and average degree d has independence number at least ω(d) N/d^{1/2}. We answer this question by constructing a 3-uniform, K_4-free hypergraph with independence number at most 2N/d^{1/2}. We also provide counterexamples to several related conjectures and improve the lower bound of some hypergraph Ramsey numbers.
Spectral bounds for the independence number of graphs and even uniform hypergraphs
本文研究了图和偶均匀超图的独立数的谱界，扩展了霍夫曼界到偶均匀超图，并提出了确定图的独立数、香农容量和洛vasz数的简单谱条件。
Let $\mathcal{H}$ be a hypergraph of rank $r$. We show that the simplicial complex whose simplices are the hypergraphs $\mathcal{F}\subset\mathcal{H}$ with covering number at most $p$ is $\left(\binom{r+p}{r}-1\right)$-collapsible, and the simplicial complex whose simplices are the pairwise intersecting hypergraphs $\mathcal{F}\subset\mathcal{H}$ is $\frac{1}{2}\binom{2r}{r}$-collapsible.
The aim of this paper is to generalize the notion of the coloring complex of a graph to hypergraphs. We present three different interpretations of those complexes -- a purely combinatorial one and two geometric ones. It is shown, that most of the properties, which are known to be true for coloring complexes of graphs, break down in this more general setting, e.g., Cohen-Macaulayness and partitionabilty. Nevertheless, we are able to provide bounds for the $f$- and $h$-vectors of those complexes which yield new bounds on chromatic polynomials of hypergraphs. Moreover, it is shown that the colori…
Let $\mathcal{H}$ be a hypergraph on a finite set $V$. A {\em cover} of $\mathcal{H}$ is a set of vertices that meets all edges of $\mathcal{H}$. If $W$ is not a cover of $\mathcal{H}$, then $W$ is said to be a {\em noncover} of $\mathcal{H}$. The {\em noncover complex} of $\mathcal{H}$ is the abstract simplicial complex whose faces are the noncovers of $\mathcal{H}$. In this paper, we study homological properties of noncover complexes of hypergraphs. In particular, we obtain an upper bound on their Leray numbers. The bound is in terms of hypergraph domination numbers. Also, our proof idea is …
A hypergraph can be obtained from a simplicial complex by deleting some non-maximal simplices. In this paper, we study the embedded homology as well as the homology of the (lower-)associated simplicial complexes for hypergraphs. We generalize the discrete Morse functions on simplicial complexes. We study the discrete Morse functions on hypergraphs as well as the discrete Morse functions on the (lower-)associated simplicial complexes of the hypergraphs.
Given an integer $k\geq 3$ and an initial $k-1$ isolated vertices, an {\em antiregular $k$-hypergraph} is constructed by alternatively adding an isolated vertex (connected to no other vertices) or a dominating vertex (connected to every other $k-1$ vertices). Let $a_i$ be the number of independent sets of cardinality $i$ in a hypergraph $H$, then the {\em independence polynomial} of $H$ is defined as $I(H;x)=\sum_{i=0}^m a_i x^i$, where $m$ is the size of a maximum independent set. The main purpose of the present paper is to generalise some results of independence polynomials of antiregular gr…
We obtain new lower bounds for the independence number of $K_r$-free graphs and linear $k$-uniform hypergraphs in terms of the degree sequence. This answers some old questions raised by Caro and Tuza \cite{CT91}. Our proof technique is an extension of a method of Caro and Wei \cite{CA79, WE79}, and we also give a new short proof of the main result of \cite{CT91} using this approach. As byproducts, we also obtain some non-trivial identities involving binomial coefficients.
Let $σ$ be a partition of the positive integer $r$. A $σ$-hypergraph $H=H(n,r,q|σ)$ is an $r$-uniform hypergraph on $nq$ vertices which are partitioned into $n$ classes $V_1, V_2, \ldots, V_n$ each containing $q$ vertices. An $r$-subset $K$ of vertices is an edge of the hypergraph if the partition of $r$ formed by the non-zero cardinalities $|K\cap V_i|, 1\leq i \leq n,$ is $σ$. In earlier works we have considered colourings of the vertices of $H$ which are constrained such that any edge has at least $α$ and at most $β$ vertices of the same colour, and we have shown that interesting results ca…
Topological persistence of configuration spaces and independence complexes for digraphs
该研究探讨有向图及基础图的（路径）构型空间与独立复形的拓扑持续性，构建相关典范嵌入，将路径同调应用于路径独立复形，得到了关于Shannon容量的相关结论。
Bounds on the connectivity of the independence complexes of hypergraphs
本文研究了超图独立复形的连通性，给出了其连通性下界，并计算了 $d$-均匀真连通三角剖分超图独立复形的同伦类型。
Hypergraph independence polynomials with a zero close to the origin
本文构造了最大度任意大的 $k$-均匀线性超图，证明其独立多项式在原点附近存在零点，从而推翻了 Galvin 等人关于独立多项式零点位置的猜想。
The independence number $α(H)$ of a hypergraph $H$ is the maximum cardinality of a set of vertices of $H$ that does not contain an edge of $H$. Generalizing Shearer's classical lower bound on the independence number of triangle-free graphs (J. Comb. Theory, Ser. B 53 (1991) 300-307), and considerably improving recent results of Li and Zang (SIAM J. Discrete Math. 20 (2006) 96-104) and Chishti et al. (Acta Univ. Sapientiae, Informatica 6 (2014) 132-158), we show that $$α(H)\geq \sum_{u\in V(H)}f_r(d_H(u))$$ for an $r$-uniform linear triangle-free hypergraph $H$ with $r\geq 2$, where \begin{eqna…
In this article, we define a family of regular bipartite graphs and show that the homotopy type of the independence complexes of this family is the wedge sum of spheres of certain dimensions.
Let $H=(V,E)$ be an $s$-uniform hypergraph of order $n$ and $k\geq 0$ be an integer. A $k$-independent set $S\subseteq H$ is a set of vertices such that the maximum degree in the hypergraph induced by $S$ is at most $k$. Denoted by $α_k(H)$ the maximum cardinality of the $k$-independent set of $H$. In this paper, we first give a lower bound of $α_k(H)$ by the maximum degree of $H$. Furthermore, we prove that $α_k(H)\geq \frac{s(k+1)n}{2d+s(k+1)}$ where $d$ is average degree of $H$, and $k\geq 0$ is an integer.
We investigate the representation of a symmetric group $S_n$ on the homology of its Quillen complex at a prime $p$. For homology groups in small codimension, we derive an explicit formula for this representation in terms of the representations of symmetric groups on homology groups of $p$-uniform hypergraph matching complexes. We conjecture an explicit formula for the representation of $S_n$ on the top homology group of the corresponding hypergraph matching complex when $n \equiv 1 \bmod p$. Our conjecture follows from work of Bouc when $p=2$, and we prove the conjecture when $p=3$.
We present a number of lower bounds for the h-vectors of k-CM, broken circuit and independence complexes. These lead to bounds on the coefficients of the characteristic and reliability polynomials of matroids. The main techniques are the use of series and parallel constructions on matroids and the short simplicial h-vector for pure complexes.
Hopf algebraic structures on hypergraphs and multi-complexes
本文基于species形式化方法在超图上引入两种cointeracting bialgebras结构，研究相关色多项式与antipodes公式，并探讨了第三种Hopf代数及multi-complexes的代数结构。
On the Cores of Uniform and Almost-Uniform $3$-Qualitative Independence Hypergraphs
研究均匀和几乎均匀的3 - 定性独立超图，建立与合并约翰逊图的结构对应，重点是核。针对3 - QI(8,2)分类强独立集并确定其强独立数，证明其为核，还给出n > 8时相关超图是核的充分条件。
Let $L$ be a simplicial complex. In this paper, we study random sub-hypergraphs and random sub-complexes of $L$. By considering the minimal complex that a sub-hypergraph can be embedded in and the maximal complex that can be embedded in a sub-hypergraph, we define some maps on the space of probability functions on sub-hypergraphs of $L$. We study the compositions of these maps as well as their actions on the space of probability functions.
We study the class of independence complexes of claw-free graphs. The main theorem give good bounds on the connectivity of these complexes, given bounds for a few subcomplexes of the same class. Two applications are presented. Firstly, we show that the independence complex of a claw-free graph with n vertices and maximal degree d is (cn/d+epsilon)-connected, where c=2/3. This can be compared with the result of Szabo and Tardos that c=1/2 is optimal with no restrictions on the graphs. Secondly, we calculate the connectivity of a family of complexes used in Babson and Kozlov's proof of Lovasz co…
We introduce the weighted path homology on the category of weigh\-ted directed hypergraphs and describe conditions of homotopy invariance of weighted path homology groups. We give several examples that explain the nontriviality of the introduced notions.
We show that the independence complex of a chordal graph is contractible if and only if this complex is dismantlable (strong collapsible) and it is homotopy equivalent to a sphere if and only if its core is a cross-polytopal sphere. The proof uses the properties of tree models of chordal graphs.
Weighted hypergraphs are generalizations of weighted simplicial complexes. In recent years, weighted Laplacians of weighted simplicial complexes have been studied. In 2016, as a generalization of the homology of simplicial complexes, the embedded homology of hypergraphs was constructed. In this paper, we generalize the weighted Laplacians of weighted simplicial complexes to weighted hypergraphs. We study the relations between the weighted Laplacians and the weighted embedded homology of weighted hypergraphs. We generalize the Hodge decompositions of weighted simplicial complexes to weighted hy…
Keevash and Mycroft [\emph{Mem.~Amer.~Math.~Soc., 2015}] developed a geometric theory for hypergraph matchings and characterized the dense simplicial complexes that contain a perfect matching. Their proof uses the hypergraph regularity method and the hypergraph blow-up lemma recently developed by Keevash. In this note we give a new proof of their results, which avoids these complex tools. In particular, our proof uses the lattice-based absorbing method developed by the author and a recent probabilistic argument of Kohayakawa, Person and the author.
The independence number of a hypergraph H is the size of a largest set of vertices containing no edge of H. In this paper, we prove new sharp bounds on the independence number of n-vertex (r+1)-uniform hypergraphs in which every r-element set is contained in at most d edges, where 0 < d < n/(log n)^{3r^2}. Our relatively short proof extends a method due to Shearer. We give an application to hypergraph Ramsey numbers involving independent neighborhoods.
Strong Colouring of the Qualitative Independence Hypergraph $3\text{-}QI(11,2)$
研究定性独立超图$3\text{-}QI(11,2)$的强着色，通过将顶点视为特定子集并评估相交集系统确定强独立数，利用相关界确定覆盖阵列数为11并给出超图满足此条件的充分条件。
Shelling orders are a ubiquitous tool used to understand invariants of cell complexes. Significant effort has been made to develop techniques to decide when a given complex is shellable. However, empirical evidence shows that some shelling orders are better than others. In this article, we explore this phenomenon in the case of matroid independence complexes. Based on a new relation between shellability of dual matroid polytopes and independence complexes, we outline a systematic way to investigate and compare different shellings orders. We explain how our new tools recast and deepen various c…
An Efficiently Computable Lower Bound for the Independence Number of Hypergraphs
本文提出超图独立数的一个可高效计算的下界，通过逆计数不等式得到，并证明其优于现有界。
The subdivision of hypergraphs
本文提出超图细分的概念，证明其可归结为单纯复形细分，并验证了相对于嵌入同调的拓扑不变性。
Optimal zero-free regions for the independence polynomial of bounded degree hypergraphs
本文研究最大度为 $Δ$ 的超图独立多项式零点分布，证明以 $λ_s(Δ)$ 为半径的圆盘为最优无零点区域，并推广相关区间结果至超图，还确定了 $k$-一致线性超树的最大无零点圆盘半径。
We study hypergraphs which are uniquely determined by their chromatic, independence and matching polynomials. B. Bollobás, L. Pebody and O. Riordan (2000) conjectured (BPR-conjecture) that almost all graphs are uniquely determined by their chromatic polynomials. We show that for $r$-uniform hypergraphs with $r \geq 3$ this is almost never the case. This disproves the analolgue of the BPR-conjecture for $3$-uniform hypergraphs. For $r =2$ this also holds for the independence polynomial, as shown by J.A. Makowsky and V. Rakita (2017), whereas for the chromatic and matching polynomial this remain…
Let $G$ be the circulant graph $C_n(S)$ with $S\subseteq\{ 1,\ldots,\left \lfloor\frac{n}{2}\right \rfloor\}$. We study the reduced Euler characteristic $\tildeχ$ of the independence complex $Δ(G)$ for $n=p^k$ with $p$ prime and for $n=2p^k$ with $p$ odd prime, proving that in both cases $\tildeχ$ does not vanish. We also give an example of circulant graph whose independence complex has $\tildeχ$ equals to $0$, giving a negative answer to R. Hoshino.
We prove that any quasirandom uniform hypergraph $H$ can be approximately decomposed into any collection of bounded degree hypergraphs with almost as many edges. In fact, our results also apply to multipartite hypergraphs and even to the sparse setting when the density of $H$ quickly tends to $0$ in terms of the number of vertices of $H$. Our results answer and address questions of Kim, Kühn, Osthus and Tyomkyn; and Glock, Kühn and Osthus as well as Keevash. The provided approximate decompositions exhibit strong quasirandom properties which is very useful for forthcoming applications. Our resu…
Topology of independence complexes and cycle structure of hypergraphs
该研究扩展了关于独立复形拓扑简单性的结论至超图领域，通过引入超图类比的星簇定理，证明了特定超图条件下独立复形的同胚性质。
Contractible independence complexes of trees
研究树的独立复形可收缩条件，通过分支点的截断操作将其简化为特定路径，同时探讨独立多项式在-1处的取值特性。
Bounds for the collapsibility number of a simplicial complex and non-cover complexes of hypergraphs
本文将图的非覆盖复形可坍缩性结果推广至超图，并构造了一系列位于可坍缩数与已知上界差距之间的新上界 $\mathcal{M}_k(X)$，证明了其在 $k$-顶点可分解复形下是紧的。
Concentration of the hypergraph's weak independence number
本文将Bohman和Hofstad关于G(n, p)独立数的结果推广到随机k-均匀超图，研究了在特定p范围内的集中趋势现象。
We use two cofibre sequences to identify some combinatorial situations when the independence complex of a graph splits into a wedge sum of smaller independence complexes. Our main application is to give a recursive relation for the homotopy types of the independence complexes of powers of cycles, which answers an open question of D. Kozlov.
We estimate the likely values of the chromatic and independence numbers of the random $r$-uniform $d$-regular hypergraph on $n$ vertices for fixed $r$, large fixed $d$, and $n \rightarrow \infty$.
Complexes of (not) connected graphs, hypergraphs and their homology appear in the construction of knot invariants given by V. Vassiliev. In this paper we study the complexes of not $i$-connected $k$-hypergraphs on $n$ vertices. We show that the complex of not $2$-connected graphs has the homotopy type of a wedge of $(n-2)!$ spheres of dimension $2n-5$. This answers one of the questions raised by Vassiliev in connection with knot invariants. For this case the $S_n$-action on the homology of the complex is also determined. For complexes of not $2$-connected $k$-hypergraphs we provide a formula f…
Hypergraph independence bounds: from maximum degree to average degree
本文通过转移定理，将超图独立数的下界从最大度推广到平均度，并结合着色和分数着色界，得出排除固定环图、 clique数有界的图、局部 q-着色图及局部稀疏均匀超图的结论。
We determine the homotopy types of the independence complexes of the $(n \times 6)$-square grid graphs. In fact, we show that these complexes are homotopy equivalent to wedges of spheres.
We prove that the independence complexes of some grids have exponential Betti numbers. This corresponds to the number of ground states in the hard-core model in statistical physics with fermions in the vertices of the grid.
The independence number, coloring number and related parameters are investigated in the setting of oriented hypergraphs using the spectrum of the normalized Laplace operator. For the independence number, both an inertia--like bound and a ratio--like bound are shown. A Sandwich Theorem involving the clique number, the vector chromatic number and the coloring number is proved, as well as a lower bound for the vector chromatic number in terms of the smallest and the largest eigenvalue of the normalized Laplacian. In addition, spectral partition numbers are studied in relation to the coloring numb…
We show that if a graph $G$ involves a certain square grid graph as a full subgraph, then a certain operation on it yields a simplicial suspension of the independence complex of $G$. This generalizes a result of Csorba. As a corollary, we determine the simple homotopy types of the independence complexes of some grid graphs.
We show that the independence complexes of generalised Mycielskian of complete graphs are homotopy equivalent to a wedge sum of spheres, and determine the number of copies and the dimensions of these spheres. We also prove that the independence complexes of categorical product of complete graphs are wedge sum of circles, upto homotopy. Further, we show that if we perturb a graph $G$ in a certain way, then the independence complex of this new graph is homotopy equivalent to the suspension of the independence complex of $G$.
We introduce the notion of \textit{star cluster} of a simplex in a simplicial complex. This concept provides a general tool to study the topology of independence complexes of graphs. We use star clusters to answer a question arisen from works of Engström and Jonsson on the homotopy type of independence complexes of triangle-free graphs and to investigate a large number of examples which appear in the literature. We present an alternative way to study the chromatic number of a graph from a homotopical point of view and obtain new results regarding the connectivity of independence complexes.
Given an arbitrary hypergraph $\mathcal{H}$, we may glue to $\mathcal{H}$ a family of hypergraphs to get a new hypergraph $\mathcal{H}'$ having $\mathcal{H}$ as an induced subhypergraph. In this paper, we introduce three gluing techniques for which the topological and combinatorial properties (such as Cohen-Macaulayness, shellability, vertex-decomposability etc.) of the resulting hypergraph $\mathcal{H}'$ is under control in terms of the glued components. This enables us to construct broad classes of simplicial complexes containing a given simplicial complex as induced subcomplex satisfying ni…
We study the independence complexes of families of well-covered circulant graphs discovered by Boros-Gurvich-Milanič, Brown-Hoshino, and Moussi. Because these graphs are well-covered, their independence complexes are pure simplicial complexes. We determine when these pure complexes have extra combinatorial (e.g. vertex decomposable, shellable) or topological (e.g. Cohen-Macaulay, Buchsbaum) structure. We also provide a table of all well-covered circulant graphs on 16 or less vertices, and for each such graph, determine if it is vertex decomposable, shellable, Cohen-Macaulay, and/or Buchsbaum. …
In this article, we introduce the notion of a wedge of graphs and provide detailed computations for the independence complex of a wedge of path and cycle graphs. In particular, we show that these complexes are either contractible or wedges of spheres.
Spheres and balls as independence complexes
该研究探讨加须、嫁接构造的单纯复形的独立复形，证明其为广义Bier球（同胚于球或球面），并分类了极优覆盖图独立复形的同胚类型。
We prove the following: Fix an integer $k\geq 2$, and let $T$ be a real number with $T\geq 1.5$. Let $\cH=(V,\cE_2\cup \cE_3\cup\dots\cup\cE_k)$ be a non-uniform hypergraph with the vertex set $V$ and the set $\cE_i$ of edges of size $i=2,\ldots , k$. Suppose that $\cH$ has no $2$-cycles (regardless of sizes of edges), and neither contains $3$-cycles nor $4$-cycles consisting of $2$-element edges. If the average degrees $t_i^{i-1} := i |\cE_i|/ |V|$ satisfy that $t_i^{i-1} \leq T^{i-1} (\ln T)^{\frac{k-i}{k-1}}$ for $i= 2, \dots , k$, then there exists a constant $C_k > 0$, depending only on $…
Independence complexes of generalized Mycielskian graphs
研究广义Mycielskian图的独立复形同调类型，通过图G和其Kronecker双覆盖图的同调类型确定，并应用于路径、环和完全图积的同调类型计算。
Independence complexes of $(n \times 4)$ and $(n \times 5)$-grid graphs
本文研究两类方形网格图的独立复形，证明其同伦类型均为球面楔和。
The topology of the matching complex for the $2\times n$ grid graph is mysterious. We describe a discrete Morse matching for a family of independence complexes $\mathrm{Ind}(Δ_n^m)$ that include these matching complexes. Using this matching, we determine the dimensions of the chain spaces for the resulting Morse complexes and derive bounds on the location of non-trivial homology groups for certain $\mathrm{Ind}(Δ_n^m)$. Further, we determine the Euler characteristic of $\mathrm{Ind}(Δ_n^m)$ and prove that several homology groups of $\mathrm{Ind}(Δ_n^m)$ are non-zero.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。