Source author record

Hossein Hajiabolhassan

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

14works
2topics
4close collaborators

Published work

14 publications

preprint2016arXiv

Chromatic Number of Random Kneser Hypergraphs

Recently, Kupavskii~[{\it On random subgraphs of {K}neser and {S}chrijver graphs. J. Combin. Theory Ser. A, {\rm 2016}.}] investigated the chromatic number of random Kneser graphs $\KG_{n,k}(ρ)$ and proved that, in many cases, the chromatic numbers of the random Kneser graph $\KG_{n,k}(ρ)$ and the Kneser graph $\KG_{n,k}$ are almost surely closed. He also marked the studying of the chromatic number of random Kneser hypergraphs $\KG^r_{n,k}(ρ)$ as a very interesting problem. With the help of Zp\Z_p-Tucker lemma, a combinatorial generalization of the Borsuk-Ulam theorem, we generalize Kupavskii's result to random general Kneser hypergraphs by introducing an almost surely lower bound for the chromatic number of them. Roughly speaking, as a special case of our result, we show that the chromatic numbers of the random Kneser hypergraph $\KG^r_{n,k}(ρ)$ and the Kneser hypergraph $\KG^r_{n,k}$ are almost surely closed in many cases. Moreover, restricting to the Kneser and {S}chrijver graphs, we present a purely combinatorial proof for an improvement of Kupavskii's results. Also, for any hypergraph $\HH$, we present a lower bound for the minimum number of colors required in a coloring of $\KG^r(\mathcal{H})$ with no monochromatic Kt,…,trK_{t,\ldots,t}^r subhypergraph, where Kt,…,trK_{t,\ldots,t}^r is the complete rr-uniform rr-partite hypergraph with trt r vertices such that each of its parts has tt vertices. This result generalizes the lower bound for the chromatic number of $\KG^r(\mathcal{H})$ found by the present authors~[{\it On the chromatic number of general {K}neser hypergraphs. J. Combin. Theory, Ser. B, {\rm 2015}.}].

preprint2016arXiv

Hedetniemi's Conjecture Via Altermatic Number

A 5050 years unsolved conjecture by Hedetniemi [{\it Homomorphisms of graphs and automata, \newblock {\em Thesis (Ph.D.)--University of Michigan}, 1966}] asserts that the chromatic number of the categorical product of two graphs GG and HH is min⁡{χ(G),χ(H)}\min\{χ(G),χ(H)\}. The present authors [{\it On the chromatic number of general {K}neser hypergraphs. \newblock {\em Journal of Combinatorial Theory, Series B}, 2015.}] introduced the altermatic and the strong altermatic number of graphs as two tight lower bounds for the chromatic number of graphs. In this work, we prove a relaxation of Hedetniemi's conjecture in terms of strong altermatic number. Also, we present a tight lower bound for the chromatic number of the categorical product of two graphs in term of their altermatic and strong altermatic numbers. These results enrich the family of pair graphs {G,H}\{G,H\} satisfying Hedetniemi's conjecture.

preprint2015arXiv

Chromatic Number Via Turan Number

A Kneser representation KG(H) for a graph G is a bijective assignment of hyperedges of a hypergraph H to the vertices of G such that two vertices of G are adjacent if and only if the corresponding hyperedges are disjoint. In this paper, we introduce a colored version of the Turan number and use that to determine the chromatic number of some families of graphs in terms of the generalized Turan number of graphs. In particular, we determine the chromatic number of every Kneser multigraph KG(H), where the vertex set of H is the edge set of a multigraph G such that the multiplicity of each edge is greater than 1 and a hyperedge in H corresponds to a subgraph of G isomorphic to some graph in a fixed prescribed family of simple graphs.

preprint2015arXiv

On Chromatic Number and Minimum Cut

For a graph GG, the tree graph TG,t{\cal T}_{G,t} has all tree subgraphs of GG with tt vertices as vertex set and two tree subgraphs are neighbors if they are edge-disjoint. Also, the rthr^{th} cut number of GG is the minimum number of edges between parts of a partition of vertex set of GG into two parts such that each part has size at least rr. We show that if t=(1−o(1))nt=(1-o(1))n and nn is large enough, then for any dense graph GG with nn vertices, the chromatic number of the tree graph TG,t{\cal T}_{G,t} is equal to the (n−t+1)th(n-t+1)^{th} cut number of GG. In particular, as a consequence, we prove that if nn is large enough and GG is a dense graph, then the chromatic number of the spanning tree graph TG,n{\cal T}_{G,n} is equal to the size of the minimum cut of GG. The proof method is based on alternating Turán number inspired by Tucker's lemma, an equivalent combinatorial version of the Borsuk-Ulam theorem.

preprint2015arXiv

On The Chromatic Number of Matching Graphs

In an earlier paper, the present authors (2013) introduced the altermatic number of graphs and used Tucker's Lemma, an equivalent combinatorial version of the Borsuk-Ulam Theorem, to show that the altermatic number is a lower bound for the chromatic number. A matching graph has the set of all matchings of a specified size of a graph as vertex set and two vertices are adjacent if the corresponding matchings are edge-disjoint. It is known that the Kneser graphs, the Schrijver graphs, and the permutation graphs can be represented by matching graphs. In this paper, as a generalization of the well-known result of Schrijver about the chromatic number of Schrijver graphs, we determine the chromatic number of a large family of matching graphs by specifying their altermatic number. In particular, we determine the chromatic number of these matching graphs in terms of the generalized Turan number of matchings.

preprint2015arXiv

On The Isoperimetric Spectrum of Graphs and Its Approximations

In this paper we consider higher isoperimetric numbers of a (finite directed) graph. In this regard we focus on the nnth mean isoperimetric constant of a directed graph as the minimum of the mean outgoing normalized flows from a given set of nn disjoint subsets of the vertex set of the graph. We show that the second mean isoperimetric constant in this general setting, coincides with (the mean version of) the classical Cheeger constant of the graph, while for the rest of the spectrum we show that there is a fundamental difference between the nnth isoperimetric constant and the number obtained by taking the minimum over all nn-partitions. In this direction, we show that our definition is the correct one in the sense that it satisfies a Federer-Fleming-type theorem, and we also define and present examples for the concept of a supergeometric graph as a graph whose mean isoperimetric constants are attained on partitions at all levels. Moreover, considering the NP{\bf NP}-completeness of the isoperimetric problem on graphs, we address ourselves to the approximation problem where we prove general spectral inequalities that give rise to a general Cheeger-type inequality as well. On the other hand, we also consider some algorithmic aspects of the problem where we show connections to orthogonal representations of graphs and following J.~Malik and J.~Shi (20002000) we study the close relationships to the well-known kk-means algorithm and normalized cuts method.

preprint2014arXiv

Hedetniemi's conjecture for Kneser hypergraphs

One of the most famous conjecture in graph theory is Hedetniemi's conjecture stating that the chromatic number of the categorical product of graphs is the minimum of their chromatic numbers. Using a suitable extension of the definition of the categorical product, Zhu proposed in 1992 a similar conjecture for hypergraphs. We prove that Zhu's conjecture is true for the usual Kneser hypergraphs of same rank. It provides to the best of our knowledge the first non-trivial and explicit family of hypergraphs with rank larger than two satisfying this conjecture (the rank two case being Hedetniemi's conjecture). We actually prove a more general result providing a lower bound on the chromatic number of the categorical product of any Kneser hypergraphs as soon as they all have same rank. We derive from it new families of graphs satisfying Hedetniemi's conjecture. The proof of the lower bound relies on the ZpZ_p-Tucker lemma.

preprint2013arXiv

On Chromatic Number of Kneser Hypergraphs

In this paper, in view of ZpZ_p-Tucker lemma, we introduce a lower bound for chromatic number of Kneser hypergraphs which improves Dol'nikov-K{ř}{\'ı}{ž} bound. Next, we introduce multiple Kneser hypergraphs and we specify the chromatic number of some multiple Kneser hypergraphs. For a vector of positive integers s⃗=(s1,s2,…,sm)\vec{s}=(s_1,s_2,\ldots,s_m) and a partition π=(P1,P2,…,Pm)π=(P_1,P_2,\ldots,P_m) of {1,2,…,n}\{1,2,\ldots,n\}, the multiple Kneser hypergraph KGr(π;s⃗;k){\rm KG}^r(π; \vec{s};k) is a hypergraph with the vertex set V={A: A⊆P1∪P2∪⋯∪Pm, ∣A∣=k,∀1≤i≤m; ∣A∩Pi∣≤si}V=\left\{A:\ A\subseteq P_1\cup P_2\cup\cdots \cup P_m,\ |A|=k, \forall 1\leq i\leq m;\ |A\cap P_i|\leq s_i\right\} whose edge set is consist of any rr pairwise disjoint vertices. We determine the chromatic number of multiple Kneser hypergraphs provided that r=2r=2 or for any 1≤i≤m1\leq i\leq m, we have ∣Pi∣≤2si|P_i|\leq 2s_i. A subset S⊆[n]S \subseteq [n] is almost ss-stable if for any two distinct elements i,j∈Si,j\in S, we have ∣i−j∣≥s|i-j|\geq s. The almost ss-stable Kneser hypergraph KGr(n,k)s−stab∼{\rm KG}^r(n,k)_{s-stab}^{\sim} has all ss-stable subsets of [n][n] as the vertex set and every rr-tuple of pairwise disjoint vertices forms an edge. Meunier [The chromatic number of almost stable Kneser hypergraphs. J. Combin. Theory Ser. A, 118(6):1820--1828, 2011] showed for any positive integer rr, χ(KGr(n,k)2−stab∼)=⌈n−r(k−1)r−1⌉χ({\rm KG}^r(n,k)_{2-stab}^{\sim})=\left\lceil {n-r(k-1) \over r-1}\right\rceil. We extend this result to a large family of Schrijver hypergraphs. Finally, we present a colorful-type result which confirms the existence of a completely multicolored complete bipartite graph in any coloring of a graph.

preprint2012arXiv

Secure Frameproof Code Through Biclique Cover

For a binary code ΓΓ of length vv, a vv-word ww produces by a set of codewords {w1,...,wr}⊆Γ\{w^1,...,w^r\} \subseteq Γ if for all i=1,...,vi=1,...,v, we have wi∈{wi1,...,wir}w_i\in \{w_i^1, ..., w_i^r\} . We call a code rr-secure frameproof of size tt if ∣Γ∣=t|Γ|=t and for any vv-word that is produced by two sets C1C_1 and C2C_2 of size at most rr then the intersection of these sets is nonempty. A dd-biclique cover of size vv of a graph GG is a collection of vv-complete bipartite subgraphs of GG such that each edge of GG belongs to at least dd of these complete bipartite subgraphs. In this paper, we show that for t≥2rt\geq 2r, an rr-secure frameproof code of size tt and length vv exists if and only if there exists a 1-biclique cover of size vv for the Kneser graph KG(t,r){\rm KG}(t,r) whose vertices are all rr-subsets of a tt-element set and two rr-subsets are adjacent if their intersection is empty. Then we investigate some connection between the minimum size of dd-biclique covers of Kneser graphs and cover-free families, where an (r,w;d)(r,w; d) cover-free family is a family of subsets of a finite set such that the intersection of any rr members of the family contains at least dd elements that are not in the union of any other ww members. Also, we present an upper bound for 1-biclique covering number of Kneser graphs.

preprint2011arXiv

On Coloring Properties of Graph Powers

This paper studies some coloring properties of graph powers. We show that χc(G2r+12s+1)=(2s+1)χc(G)(s−r)χc(G)+2r+1χ_c(G^{^{\frac{2r+1}{2s+1}}})=\frac{(2s+1)χ_c(G)}{(s-r)χ_c(G)+2r+1} provided that χc(G2r+12s+1)<4χ_c(G^{^{\frac{2r+1}{2s+1}}})< 4. As a consequence, one can see that if 2r+12s+1≤χc(G)3(χc(G)−2){2r+1 \over 2s+1} \leq {χ_c(G) \over 3(χ_c(G)-2)}, then χc(G2r+12s+1)=(2s+1)χc(G)(s−r)χc(G)+2r+1χ_c(G^{^{\frac{2r+1}{2s+1}}})=\frac{(2s+1)χ_c(G)}{(s-r)χ_c(G)+2r+1}. In particular, χc(K3n+113)=9n+33n+2χ_c(K_{3n+1}^{^{1\over3}})={9n+3\over 3n+2} and K3n+113K_{3n+1}^{^{1\over3}} has no subgraph with circular chromatic number equal to 6n+12n+1{6n+1\over 2n+1}. This provides a negative answer to a question asked in [Xuding Zhu, Circular chromatic number: a survey, Discrete Math., 229(1-3):371--410, 2001]. Also, we present an upper bound for the fractional chromatic number of subdivision graphs. Precisely, we show that χf(G12s+1)≤(2s+1)χf(G)sχf(G)+1χ_f(G^{^{\frac{1}{2s+1}}})\leq \frac{(2s+1)χ_f(G)}{sχ_f(G)+1}. Finally, we investigate the nnth multichromatic number of subdivision graphs.

preprint2011arXiv

Some New Bounds For Cover-Free Families Through Biclique Cover

An (r,w;d)(r,w;d) cover-free family (CFF)(CFF) is a family of subsets of a finite set such that the intersection of any rr members of the family contains at least dd elements that are not in the union of any other ww members. The minimum number of elements for which there exists an (r,w;d)−CFF(r,w;d)-CFF with tt blocks is denoted by N((r,w;d),t)N((r,w;d),t). In this paper, we show that the value of N((r,w;d),t)N((r,w;d),t) is equal to the dd-biclique covering number of the bipartite graph It(r,w)I_t(r,w) whose vertices are all ww- and rr-subsets of a tt-element set, where a ww-subset is adjacent to an rr-subset if their intersection is empty. Next, we introduce some new bounds for N((r,w;d),t)N((r,w;d),t). For instance, we show that for r≥wr\geq w and r≥2r\geq 2 N((r,w;1),t)≥c(r+ww+1)+(r+w−1w+1)+3(r+w−4w−2)log⁡rlog⁡(t−w+1), N((r,w;1),t) \geq c{{r+w\choose w+1}+{r+w-1 \choose w+1}+ 3 {r+w-4 \choose w-2} \over \log r} \log (t-w+1), where cc is a constant satisfies the well-known bound N((r,1;1),t)≥cr2log⁡rlog⁡tN((r,1;1),t)\geq c\frac{r^2}{\log r}\log t. Also, we determine the exact value of N((r,w;d),t)N((r,w;d),t) for some values of dd. Finally, we show that N((1,1;d),4d−1)=4d−1N((1,1;d),4d-1)=4d-1 whenever there exists a Hadamard matrix of order 4d.

preprint2010arXiv

A Generalization of Kneser's Conjecture

We investigate some coloring properties of Kneser graphs. A star-free coloring is a proper coloring c:V(G)→Nc:V(G)\to \Bbb{N} such that no path with three vertices may be colored with just two consecutive numbers. The minimum positive integer tt for which there exists a star-free coloring c:V(G)→{1,2,...,t}c: V(G) \to \{1,2,..., t\} is called the star-free chromatic number of GG and denoted by χs(G)χ_s(G). In view of Tucker-Ky Fan's lemma, we show that for any Kneser graph KG(n,k){\rm KG}(n,k) we have χs(KG(n,k))≥max⁡{2χ(KG(n,k))−10,χ(KG(n,k))}χ_s({\rm KG}(n,k))\geq \max\{2χ({\rm KG}(n,k))-10, χ({\rm KG}(n,k))\} where n≥2k≥4n\geq 2k \geq 4. Moreover, we show that χs(KG(n,k))=2χ(KG(n,k))−2=2n−4k+2χ_s({\rm KG}(n,k))=2χ({\rm KG}(n,k))-2=2n-4k+2 provided that n≤83kn \leq {8\over 3}k. This gives a partial answer to a conjecture of [12]. Also, we conjecture that for any positive integers n≥2k≥4n\geq 2k \geq 4 we have χs(KG(n,k))=2χ(KG(n,k))−2χ_s({\rm KG}(n,k))= 2χ({\rm KG}(n,k))-2.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.