graph
34665 papers tagged with this keyword
Extremal triangle-free and odd-cycle-free colourings of uncountable graphs
Published
• View Publication
• BIB
The optimality of the Erdős-Rado theorem for pairs is witnessed by the colouring $Δ_κ: [2^κ]^2 \rightarrow κ$ recording the least point of disagreement between two functions. This colouring has no monochromatic triangles or, more generally, odd cycles. We investigate a number of questions investigating the extent to which $Δ_κ$ is an \emph{extremal} such triangle-free or odd-cycle-free colouring. We begin by introducing the notion of $Δ$-regressive and almost $Δ$-regressive colourings and studying the structures that must appear as monochromatic subgraphs for such colourings. We also consider the question as to whether $Δ_κ$ has the minimal cardinality of any \emph{maximal} triangle-free or odd-cycle-free colouring into $κ$. We resolve the question positively for odd-cycle-free colourings.
Max Min vertex cover and the size of Betti tables
Let $G$ be a finite simple graph on $n$ vertices, that contains no isolated vertices, and let $I(G) \subseteq S = K[x_1, \dots, x_n]$ be its edge ideal. In this paper, we study the pair of integers that measure the projective dimension and the regularity of $S/I(G)$. We show that if the projective dimension of $S/I(G)$ attains its minimum value $2\sqrt{n}-2$ then, with only one exception, the its regularity must be 1. We also provide a full description for the spectrum of the projective dimension of $S/I(G)$ when the regularity attains its minimum value 1.
Nullities for a class of skew-symmetric Toeplitz band matrices
Published
• View Publication
• BIB
For all $n > k \ge 1$, we give formulas for the nullity $N(n,k)$ of the $n \times n$ skew-symmetric Toeplitz band matrix whose first $k$ superdiagonals have all entries $1$ and whose remaining superdiagonals have all entries $0$. This is accomplished by counting the number of cycles in certain directed graphs. As an application, for each fixed integer $z\ge 0$ and large fixed $k$, we give an asymptotic formula for the percentage of $n > k$ satisfying $N(n,k)=z$. For the purpose of rapid computation, an algorithm is devised that quickly computes $N(n,k)$ even for extremely large values of $n$ and $k$.
Asymptotic dimension of planes and planar graphs
Published
• View Publication
• BIB
We show that the asymptotic dimension of a geodesic space that is homeomorphic to a subset in the plane is at most three. In particular, the asymptotic dimension of the plane and any planar graph is at most three.
On some topological and combinatorial lower bounds on chromatic number of Kneser type hyper graphs
Published
• View Publication
• BIB
In this paper, we prove a generalization of a conjecture of Erdös, about the chromatic number of certain Kneser-type hypergraphs. For integers $n,k,r,s$ with $n\ge rk$ and $2\le s\le r$, the $r$-uniform general Kneser hypergraph $\mbox{KG}^r_s(n,k)$, has all $k$-subsets of $\{1,\dots,n\}$ as the vertex set and all multi-sets $\{A_1,\dots, A_r\}$ of $k$-subsets with $s$-wise empty intersections as the edge set. The case $r=s=2$, was considers by Kneser \cite{K} in 1955, where he conjectured that its chromatic number is $n-2(k-1)$. This was finally proved by Lovász \cite{L} in 1978. The case $r>2$ and $s=2$, was considered by Erdös in 1973, and he conjectured that its chromatic number is $\left\lceil\frac{n-r(k-1)}{r-1}\right\rceil$. This conjecture was proved by Alon, Frankl and Lovász \cite{AFL} in 1986. The case where $s>2$, was considered by Sarkaria \cite{S} in 1990, where he claimed to prove a lower bound for its chromatic number which generalized all previous results. Unfortunately, an error was found by Lange and Ziegler \cite{Z'} in 2006 in the induction method of Sarkaria on the number of prime factors of $r$, and Sarkaria's proof only worked when $s$ is less than the smallest prime factor of $r$ or $s=2$. In this paper, by applying the $\mathbb Z_p$-Tucker lemma of Ziegler \cite{Z} and Meunier \cite{M}, we finally prove the general Erdös conjecture and prove the claimed result of Sarkaria for any $2\le s\le r$. We also provide another proof of a special case of this result, using methods similar to those of Alon, Frankl, and Lovász \cite{AFL} and compute the connectivity of certain simplicial complexes that might be of interest in their own right.
Limits of multiplicative inhomogeneous random graphs and Lévy trees: Limit theorems
Published
• View Publication
• BIB
We consider a natural model of inhomogeneous random graphs that extends the classical Erd\H os-Rényi graphs and shares a close connection with the multiplicative coalescence, as pointed out by Aldous [AOP 1997]. In this model, the vertices are assigned weights that govern their tendency to form edges. It is by looking at the asymptotic distributions of the masses (sum of the weights) of the connected components of these graphs that Aldous and Limic [EJP 1998] have identified the entrance boundary of the multiplicative coalescence, which is intimately related to the excursion lengths of certain Lévy-type processes. We, instead, look at the metric structure of these components and prove their Gromov-Hausdorff-Prokhorov convergence to a class of random compact measured metric spaces that have been introduced in a companion paper. Our asymptotic regimes relate directly to the general convergence condition appearing in the work of Aldous and Limic. Our techniques provide a unified approach for this general "critical" regime, and relies upon two key ingredients: an encoding of the graph by some Lévy process as well as an embedding of its connected components into Galton-Watson forests. This embedding transfers asymptotically into an embedding of the limit objects into a forest of Lévy trees, which allows us to give an explicit construction of the limit objects from the excursions of the Lévy-type process. The mains results combined with the ones in the other paper allow us to extend and complement several previous results that had been obtained via regime-specific proofs, for instance: the case of Erd\H os-Rényi random graphs obtained by Addario-Berry, Goldschmidt and B. [PTRF 2012], the asymptotic homogeneous case as studied by Bhamidi, Sen and Wang [PTRF 2017], or the power-law case as considered by Bhamidi, Sen and van der Hofstad [PTRF 2018].
On indicated coloring of lexicographic product of graphs
Published
• View Publication
• BIB
Indicated coloring is a graph coloring game in which two players collectively color the vertices of a graph in the following way. In each round the first player (Ann) selects a vertex, and then the second player (Ben) colors it properly, using a fixed set of colors. The goal of Ann is to achieve a proper coloring of the whole graph, while Ben is trying to prevent the realization of this project. The smallest number of colors necessary for Ann to win the game on a graph $G$ (regardless of Ben's strategy) is called the indicated chromatic number of $G$, denoted by $χ_i(G)$. In this paper, we have shown that for any graphs $G$ and $H$, $G[H]$ is $k$-indicated colorable for all $k\geq\mathrm{col}(G)\mathrm{col}(H)$. Also, we have shown that for any graph $G$ and for some classes of graphs $H$ with $χ(H)=χ_i(H)=\ell$, $G[H]$ is $k$-indicated colorable if and only if $G[K_\ell]$ is $k$-indicated colorable. As a consequence of this result we have shown that for some particular families of graphs $G$ and $H$, $G[H]$ is $k$-indicated colorable for every $k\geq χ(G[H])$. This serves as a partial answer to one of the questions raised by A. Grzesik in \cite{and}. In addition, if $G$ is a Bipartite graph or a $\{P_5,K_3\}$-free graph (or) a $\{P_5,Paw\}$-free graph and if $H$ is from the same families of graphs, then we have shown that $χ_i(G[H])=χ(G[H])$.
Packing a number of copies of a $(p,\,q)$-graph
Let $k,p,q$ be three positive integers. A graph $G$ with order $n$ is said to be $k$-placeable if there are $k$ edge disjoint copies of $G$ in the complete graph on $n$ vertices. A $(p,\,q)$-graph is a graph of order $p$ with $q$ edges. Packing results have proved useful in the study of the complexity of graph properties. Bollobás et al. investigated the $k$-placeable of $(n,\,n-2)$-graphs and $(n,\,n-1)$-graphs with $k=2$ and $k=3$. Motivated by their results, this paper characterizes $(n,\,n-1)$-graphs with girth at least $9$ which are $4$-placeable. We also consider the $k$-placeable of $(n,\,n+1)$-graphs and 2-factors.
The Genius Conjectures (via Bell Polynomials)
We present two related conjectures, arising in work on i-matchings in random r-regular bipartite graphs. The conjectures themselves are easily stated and involve only basic properties of convergent power series. One formulation involves Bell's polynomials. The conjectures name was chosen since we earnestly believe only a truly genius mathematician will prove them. We advise others not to try. A further belief is that the proof will arise from some deep properties of partitions.
Induced Ramsey number for a star versus a fixed graph
Published
• View Publication
• BIB
For graphs G and H, let the induced Ramsey number IR(H,G) be the smallest number of vertices in a graph F such that any coloring of the edges of F in red and blue, there is either a red induced copy of H or a blue induced copy of G. In this note we consider the case when G=Sn is a star on n edges, for large n, and H is a fixed graph. We prove that (r-1)n < IR(H, Sn) < (r-1)(r-1)n + cn, for any c>0, sufficiently large n, and r denoting the chromatic number of H. The lower bound is asymptotically tight for any fixed bipartite H. The upper bound is attained up to a constant factor, for example by a clique H.
On hybrid order dimension
Published
• View Publication
• BIB
The notion of interval order was introduced by Norbert Wiener \cite{wie} in order to clarify the relation between the notion of an instant of time and that of a period of time. This was a problem on which Bertrand Russell \cite{rus} worked at the time. Interval orders play an important role in many areas of pure and applied mathematics, graph theory, computer science and engineering. Special cases of interval order are the semiorder and linear order. All of these notions are especially important in the study of linear-interval and linear-semiorder dimension of a binary relation. This kind of dimension, which we call {\it hybrid order dimension}, gives a common generalization of linear order and interval order (semiorder) dimension and is arguably the most important measure of ordered set complexity. In this paper, we present three main results of the theory of hybrid order dimension. More specifically, we obtain necessary and sufficient conditions for a binary relation to have an interval order (resp. linear-interval order, linear-simiorder) extension, as well as an interval order realizer of interval orders (resp. linear-interval orders, linear-simiorders). We also obtain a characterization of the interval order (resp. linear-interval order, linear-simiorder) dimension. Because a binary relation's hybrid order dimension is less than its (linear) order dimension, these results will be able to improve known results in graph theory and computer science by identifying more efficient algorithms.
Andrásfai and Vega graphs in Ramsey-Turán theory
Published in Journal of Graph Theory 98 (2021), no. 1, 57-80
• View Publication
• BIB
Given positive integers $n\ge s$, we let ${\mathrm{ex}}(n,s)$ denote the maximum number of edges in a triangle-free graph $G$ on $n$ vertices with $α(G)\le s$. In the early sixties Andrásfai conjectured that for $n/3<s<n/2$ the function ${\mathrm{ex}}(n, s)$ is piecewise quadratic with critical values at $s/n={k}/({3k-1})$. We confirm that this is indeed the case whenever $s/n$ is slightly larger than a critical value, thus determining ${\mathrm{ex}}(n,s)$ for all $n$ and $s$ such that $s/n\in [{k}/({3k-1}), {k}/({3k-1})+γ_k]$, where $γ_k=Θ(k^{-6})$.
Total Roman Domination Edge-Supercritical and Edge-Removal-Supercritical Graphs
A total Roman dominating function on a graph $G$ is a function $f:V(G)\rightarrow \{0,1,2\}$ such that every vertex $v$ with $f(v)=0$ is adjacent to some vertex $u$ with $f(u)=2$, and the subgraph of $G$ induced by the set of all vertices $w$ such that $f(w)>0$ has no isolated vertices. The weight of $f$ is $Σ_{v\in V(G)}f(v)$. The total Roman domination number $γ_{tR}(G)$ is the minimum weight of a total Roman dominating function on $G$. A graph $G$ is $k$-$γ_{tR}$-edge-critical if $γ_{tR}(G+e)<γ_{tR}(G)=k$ for every edge $e\in E(\overline{G})\neq\emptyset $, and $k$-$γ_{tR}$-edge-supercritical if it is $k$-$γ_{tR}$-edge-critical and $γ_{tR}(G+e)=γ_{tR}(G)-2$ for every edge $e\in E(\overline{G})\neq \emptyset $. A graph $G$ is $k$-$γ_{tR}$-edge-stable if $γ_{tR}(G+e)=γ_{tR}(G)=k$ for every edge $e\in E(\overline{G})$ or $E(\overline{G})=\emptyset$. For an edge $e\in E(G)$ incident with a degree $1$ vertex, we define $γ_{tR}(G-e)=\infty$. A graph $G$ is $k$-$γ_{tR}$-edge-removal-critical if $γ_{tR}(G-e)>γ_{tR}(G)=k$ for every edge $e\in E(G)$, and $k$-$γ_{tR}$-edge-removal-supercritical if it is $k$-$γ_{tR}$-edge-removal-critical and $γ_{tR}(G-e)\geqγ_{tR}(G)+2$ for every edge $e\in E(G)$. A graph $G$ is $k$-$γ_{tR}$-edge-removal-stable if $γ_{tR}(G-e)=γ_{tR}(G)=k$ for every edge $e\in E(G)$. We investigate connected $γ_{tR}$-edge-supercritical graphs and exhibit infinite classes of such graphs. In addition, we characterize $γ_{tR}$-edge-removal-critical and $γ_{tR}$-edge-removal-supercritical graphs. Furthermore, we present a connection between $k$-$γ_{tR}$-edge-removal-supercritical and $k$-$γ_{tR}$-edge-stable graphs, and similarly between $k$-$γ_{tR}$-edge-supercritical and $k$-$γ_{tR}$-edge-removal-stable graphs.
On the construction of cospectral graphs for the adjacency and normalized Laplacian matrices
Published
• View Publication
• BIB
In [Steve Butler. A note about cospectral graphs for the adjacency and normalized Laplacian matrices. Linear Multilinear Algebra, 58(3-4):387-390, 2010.], Butler constructed a family of bipartite graphs, which are cospectral for both the adjacency and the normalized Laplacian matrices. In this article, we extend this construction for generating larger classes of bipartite graphs, which are cospectral for both the adjacency and the normalized Laplacian matrices. Also, we provide a couple of constructions of non-bipartite graphs, which are cospectral for the adjacency matrices but not necessarily for the normalized Laplacian matrices.
Algorithmic Complexity of Secure Connected Domination in Graphs
Published
• View Publication
• BIB
Let $G = (V,E)$ be a simple, undirected and connected graph. A connected (total) dominating set $S \subseteq V$ is a secure connected (total) dominating set of $G$, if for each $ u \in V \setminus S$, there exists $v \in S$ such that $uv \in E$ and $(S \setminus \lbrace v \rbrace) \cup \lbrace u \rbrace $ is a connected (total) dominating set of $G$. The minimum cardinality of a secure connected (total) dominating set of $G$ denoted by $ γ_{sc} (G) (γ_{st}(G))$, is called the secure connected (total) domination number of $G$. In this paper, we show that the decision problems corresponding to secure connected domination number and secure total domination number are NP-complete even when restricted to split graphs or bipartite graphs. The NP-complete reductions also show that these problems are w[2]-hard. We also prove that the secure connected domination problem is linear time solvable in block graphs and threshold graphs.
On the nonorientable genus of the generalized unit and unitary Cayley graphs of a commutative ring
Published in Algebra Colloq. 29 (2022), no. 1, 167-180
• View Publication
• BIB
Let $R$ be a commutative ring and let $U(R)$ be multiplicative group of unit elements of $R$. In 2012, Khashyarmanesh et al. defined generalized unit and unitary Cayley graph, $Γ(R, G, S)$, corresponding to a multiplicative subgroup $G$ of $U(R)$ and a non-empty subset $S$ of $G$ with $S^{-1}=\{s^{-1} \mid s\in S\}\subseteq S$, as the graph with vertex set $R$ and two distinct vertices $x$ and $y$ are adjacent if and only if there exists $s\in S$ such that $x+sy \in G$. In this paper, we characterize all Artinian rings $R$ whose $Γ(R,U(R), S)$ is projective. This leads to determine all Artinian rings whose unit graphs, unitary Cayley garphs and co-maximal graphs are projective. Also, we prove that for an Artinian ring $R$ whose $Γ(R, U(R), S)$ has finite nonorientable genus, $R$ must be a finite ring. Finally, it is proved that for a given positive integer $k$, the number of finite rings $R$ whose $Γ(R, U(R), S)$ has nonorientable genus $k$ is finite.
Repeated patterns in proper colourings
Published
• View Publication
• BIB
For a fixed graph $H$, what is the smallest number of colours $C$ such that there is a proper edge-colouring of the complete graph $K_n$ with $C$ colours containing no two vertex-disjoint colour-isomorphic copies, or repeats, of $H$? We study this function and its generalisation to more than two copies using a variety of combinatorial, probabilistic and algebraic techniques. For example, we show that for any tree $T$ there exists a constant $c$ such that any proper edge-colouring of $K_n$ with at most $c n^2$ colours contains two repeats of $T$, while there are colourings with at most $c' n^{3/2}$ colours for some absolute constant $c'$ containing no three repeats of any tree with at least two edges. We also show that for any graph $H$ containing a cycle there exist $k$ and $c$ such that there is a proper edge-colouring of $K_n$ with at most $c n$ colours containing no $k$ repeats of $H$, while, for a tree $T$ with $m$ edges, a colouring with $o(n^{(m+1)/m})$ colours contains $ω(1)$ repeats of $T$.
Enumerative problems for arborescences and monotone paths on polytope graphs
Published
• View Publication
• BIB
Every generic linear functional $f$ on a convex polytope $P$ induces an orientation on the graph of $P$. From the resulting directed graph one can define a notion of $f$-arborescence and $f$-monotone path on $P$, as well as a natural graph structure on the vertex set of $f$-monotone paths. These concepts are important in geometric combinatorics and optimization.
This paper bounds the number of $f$-arborescences, the number of $f$-monotone paths, and the diameter of the graph of $f$-monotone paths for polytopes $P$ in terms of their dimension and number of vertices or facets.
The lattice of cycles of an undirected graph
Published
• View Publication
• BIB
We study bases of the lattice generated by the cycles of an undirected graph, defined as the integer linear combinations of the 0/1-incidence vectors of cycles. We prove structural results for this lattice, including explicit formulas for its dimension and determinant, and we present efficient algorithms to construct lattice bases, using only cycles as generators, in quadratic time. By algebraic considerations, we relate these results to the more general setting with coefficients from an arbitrary Abelian group. Our results generalize classical results for the vector space of cycles of a graph over the binary field to the case of an arbitrary field.
Computational and analytical studies of the Randić index in Erdös-Rényi models
In this work we perform computational and analytical studies of the Randić index $R(G)$ in Erdös-Rényi models $G(n,p)$ characterized by $n$ vertices connected independently with probability $p \in (0,1)$. First, from a detailed scaling analysis, we show that $\left\langle \overline{R}(G) \right\rangle = \left\langle R(G)\right\rangle/(n/2)$ scales with the product $ξ\approx np$, so we can define three regimes: a regime of mostly isolated vertices when $ξ< 0.01$ ($R(G)\approx 0$), a transition regime for $0.01 < ξ< 10$ (where $0<R(G)< n/2$), and a regime of almost complete graphs for $ξ> 10$ ($R(G)\approx n/2$). Then, motivated by the scaling of $\left\langle \overline{R}(G) \right\rangle$, we analytically (i) obtain new relations connecting $R(G)$ with other topological indices and characterize graphs which are extremal with respect to the relations obtained and (ii) apply these results in order to obtain inequalities on $R(G)$ for graphs in Erdös-Rényi models.