graph
34665 papers tagged with this keyword
The main vertices of a star set and related graph parameters
A vertex $v \in V(G)$ is called $λ$-main if it belongs to a star set $X \subset V(G)$ of the eigenvalue $λ$ of a graph $G$ and this eigenvalue is main for the graph obtained from $G$ by deleting all the vertices in $X \setminus \{v\}$; otherwise, $v$ is $λ$-non-main. Some results concerning main and non-main vertices of an eigenvalue are deduced. For a main eigenvalue $λ$ of a graph $G$, we introduce the minimum and maximum number of $λ$-main vertices in some $λ$-star set of $G$ as new graph invariant parameters. The determination of these parameters is formulated as a combinatorial optimization problem based on a simplex-like approach. Using these and some related parameters we develop new spectral tools that can be used in the research of the isomorphism problem. Examples of graphs for which the maximum number of $λ$-main vertices coincides with the cardinality of a $λ$-star set are provided.
Local Coloring Problems on Smooth Graphs
Published
• View Publication
• BIB
We construct a smooth locally finite Borel graph $G$ and a local coloring problem $Π$ such that $G$ has a coloring $V(G) \to \mathbb{N}$ that solves $Π$, but no such coloring can be Borel.
Sharp discrete isoperimetric inequalities in periodic graphs via discrete PDE and Semidiscrete Optimal Transport
We develop criteria based on a calibration argument via discrete PDE and semidiscrete optimal transport, for finding sharp isoperimetric inequalities of the form $(\sharp Ω)^{d-1} \le C (\sharp \overrightarrow{\partialΩ})^d$ where $Ω$ is a subset of vertices of a graph and $\overrightarrow{\partialΩ}$ is the oriented edge-boundary of $Ω$, as well as the optimum isoperimetric shapes $Ω$. The method is a discrete counterpart to Optimal Transport and ABP method proofs valid in the continuum, and answers a question appearing in Hamamuki \cite{hamamuki}, extending that work valid for rectangular grids, to a larger class of graphs, including graphs dual to simplicial meshes of equal volume. We also connect the problem to the theory Voronoi tessellations and of Aleksandrov solutions from semidiscrete optimal transport. The role of the geometric-arithmetic inequality that was used in previous works in the continuum case and in the $\mathbb Z^d$-graph case is now played by a geometric cell-optimization constant, where the optimization problem is like in Minkowski's proof of his classical theorem for convex polyhedra. Finally, we study the optimal constant in the related discrete Neumann boundary problem, and present a series of possible directions for a further classification of discrete edge-isoperimetric constants and shapes.
A note on fractional covers of a graph
Published in Art Discrete Appl. Math. 6(1), P1.06 (2023)
• View Publication
• BIB
A fractional colouring of a graph $G$ is a function that assigns a non-negative real value to all possible colour-classes of $G$ containing any vertex of $G$, such that the sum of these values is at least one for each vertex. The fractional chromatic number is the minimum sum of the values assigned by a fractional colouring over all possible such colourings of $G$. Introduced by Bosica and Tardif, fractional covers are an extension of fractional colourings whereby the real-valued function acts on all possible subgraphs of $G$ belonging to a given class of graphs. The fractional chromatic number turns out to be a special instance of the fractional cover number. In this work we investigate fractional covers acting on $(k+1)$-clique-free subgraphs of $G$ which, although sharing some similarities with fractional covers acting on $k$-colourable subgraphs of $G$, they exhibit some peculiarities. We first show that if a simple graph $G_2$ is a homomorphic image of a simple graph $G_1$, then the fractional cover number defined on the $(k+1)$-clique-free subgraphs of $G_1$ is bounded above by the corresponding number of $G_2$. We make use of this result to obtain bounds for the associated fractional cover number of graphs that are either $n$-colourable or $a\!\!:\!\!b$-colourable.
(2,3) Cordial Trees and Paths
Published
• View Publication
• BIB
Recently L. B. Beasley introduced $(2,3)$-cordial labelings of directed graphs in [1]. He made two conjectures which we resolve in this article. He conjectured that every orientation of a path of length at least five is $(2,3)$ cordial, and that every tree of max degree $n =3$ has a cordial orientation. We show these two conjectures to be false. We also discuss the $(2,3)$ cordiality of orientations of the Petersen graph, and establish an upper bound for the number of edges a graph can have and still be $(2,3)$ cordial. An application of $(2,3)$ cordial labelings is also presented.
Hedge Connectivity without Hedge Overlaps
Connectivity is a central notion of graph theory and plays an important role in graph algorithm design and applications. With emerging new applications in networks, a new type of graph connectivity problem has been getting more attention--hedge connectivity. In this paper, we consider the model of hedge graphs without hedge overlaps, where edges are partitioned into subsets called hedges that fail together. The hedge connectivity of a graph is the minimum number of hedges whose removal disconnects the graph. This model is more general than the hypergraph, which brings new computational challenges. It has been a long open problem whether this problem is solvable in polynomial time. In this paper, we study the combinatorial properties of hedge graph connectivity without hedge overlaps, based on its extremal conditions as well as hedge contraction operations, which provide new insights into its algorithmic progress.
A strengthening on odd cycles in graphs of given chromatic number
Published
• View Publication
• BIB
Resolving a conjecture of Bollobás and Erdős, Gyárfás proved that every graph $G$ of chromatic number $k+1\geq 3$ contains cycles of $\lfloor\frac{k}{2}\rfloor$ distinct odd lengths. We strengthen this prominent result by showing that such $G$ contains cycles of $\lfloor\frac{k}{2}\rfloor$ consecutive odd lengths. Along the way, combining extremal and structural tools, we prove a stronger statement that every graph of chromatic number $k+1\geq 7$ contains $k$ cycles of consecutive lengths, except that some block is $K_{k+1}$. As corollaries, this confirms a conjecture of Verstraëte and answers a question of Moore and West.
Graphs cospectral with NU$(n + 1, q^2)$, $n \ne 3$
Published
• View Publication
• BIB
Let $H(n, q^2)$ be a non-degenerate Hermitian variety of $PG(n, q^2)$, $n \ge 2$. Let NU$(n+1, q^2)$ be the graph whose vertices are the points of $PG(n, q^2) \setminus H(n, q^2)$ and two vertices $P_1$, $P_2$ are adjacent if the line joining $P_1$ and $P_2$ is tangent to $H(n, q^2)$. Then NU$(n + 1, q^2)$ is a strongly regular graph. In this paper we show that NU$(n + 1, q^2)$, $n \ne 3$, is not determined by its spectrum.
Stability from graph symmetrisation arguments with applications to inducibility
Published in J. London Math. Soc.(2) 2023, 108:1121--1162
• View Publication
• BIB
We present a sufficient condition for the stability property of extremal graph problems that can be solved via Zykov's symmetrisation. Our criterion is stated in terms of an analytic limit version of the problem. We show that, for example, it applies to the inducibility problem for an arbitrary complete bipartite graph $B$, which asks for the maximum number of induced copies of $B$ in an $n$-vertex graph, and to the inducibility problem for $K_{2,1,1,1}$ and $K_{3,1,1}$, the only complete partite graphs on at most five vertices for which the problem was previously open.
A study on Type-2 isomorphic circulant graphs and related Abelian groups
Circulant graphs $C_n(R)$ and $C_n(S)$ are said to be \emph{Adam's isomorphic} if there exist some $a\in \mathbb{Z}_n^*$ such that $S = a R$ under arithmetic reflexive modulo $n$. In 1970, Elspas and Turner \cite{eltu} raised a question on the isomorphism of $C_{16}(1, 3, 7)$ and $C_{16}(2, 3, 5)$ and Vilfred \cite{v96} gave its answer by defining Type-2 isomorphism, different from Adam's isomorphism or Type-1 isomorphism, of $C_n(R)$ w.r.t. $m$ where $m > 1$ is a divisor of $\gcd(n, r)$ and $r\in R$. This paper is an extensive study on Type-2 isomorphic circulant graphs. Vilfred and Wilson \cite{vw0A} obtain isomorphic circulant graphs $C_{np^3}(R)$ of Type-2 w.r.t. $m$ = $p$, and related Abelian groups where $p$ is a prime number and $n\in\mathbb{N}$. Using Theorem \ref{c13}, a list of $T2_{np^3,p}(C_{np^3}(R^{np^3,x+yp}_i))$ = $\{C_{np^3}(R^{np^3,x+yp}_{j}) : j = 1,2,...,p\}$ for $p$ = 3,5,7,11 and $n$ = 1 to 5 and also for $p$ = 13 and $n$ = 1 to 3 are given in the Annexure where $(T2_{np^3,p}(C_{np^3}(R^{np^3,x+yp}_i)), \circ)$ is an abelian group on the $p$ isomorphic circulant graphs $C_{np^3}(R^{np^3,x+yp}_i)$ of Type-2 w.r.t. $m$ = $p$, $1 \leq i,j \leq p$, $1 \leq x \leq p-1$, $y\in\mathbb{N}_0$, $0 \leq y \leq np - 1$, $1 \leq x+yp \leq np^2-1$, $p,np^3-p\in R^{np^3,x+yp}_i$ and $i,j,n,x\in\mathbb{N}$. We also show existence of isomorphic circulant graphs $C_n(R)$ and $C_n(S)$ which are neither Type-1 nor Type-2 w.r.t. any particular $m$. We use VB program to develop this theory and for illustration of examples.
On Grundy and b-chromatic number of some families of graphs: a comparative study
Published in Graphs and Combinatorics 37, 605--620 (2021)
• View Publication
• BIB
The Grundy and the {\rm b}-chromatic number of graphs are two important chromatic parameters. The Grundy number of a graph $G$, denoted by $Γ(G)$ is the worst case behavior of greedy (First-Fit) coloring procedure for $G$ and the {\rm b}-chromatic number ${\rm{b}}(G)$ is the maximum number of colors used in any color-dominating coloring of $G$. Because the nature of these colorings are different they have been studied widely but separately in the literature. This paper presents a comparative study of these coloring parameters. There exists a sequence $\{G_n\}_{n\geq 1}$ with limited {\rm b}-chromatic number but $Γ(G_n)\rightarrow \infty$. We obtain families of graphs $\mathcal{F}$ such that for some adequate function $f(.)$, $Γ(G)\leq f({\rm{b}}(G))$, for each graph $G$ from the family. This verifies a previous conjecture for these families.
The antimagic orientation problems for graphs obtained by some graph operations
Published
• View Publication
• BIB
A simple graph $G$ is said to admit an antimagic orientation if there exist an orientation on the edges of $G$ and a bijection from $E(G)$ to $\{1,2,\ldots,|E(G)|\}$ such that the vertex sums of vertices are pairwise distinct, where the vertex sum of a vertex is defined to be the sum of the labels of the in-edges minus that of the out-edges incident to the vertex. It was conjectured by Hefetz, Mütze, and Schwartz~\cite{HMS10} in 2010 that every connected simple graph admits an antimagic orientation.
In this paper, we prove that the Mycielski construction and the corona product for graphs with some conditions yield graphs satisfying the above conjecture.
Hamiltonian properties in generalized lexicographic products
Published
• View Publication
• BIB
The lexicographic product $G[H]$ of two graphs $G$ and $H$ is obtained from $G$ by replacing each vertex with a copy of $H$ and adding all edges between any pair of copies corresponding to adjacent vertices of $G$. We consider also the generalized lexicographic product such that we replace each vertex of $G$ with arbitrary graph on the same number of vertices. We present sufficient and necessary conditions for traceability, hamiltonicity and hamiltonian connectivity of $G[H]$ if $G$ is a path and hence we improved and extended results in M. Kriesell, A Note on Hamiltonian Cycles in Lexicographical Products.
On monophonic position sets in graphs
Published
• View Publication
• BIB
The general position problem in graph theory asks for the largest set $S$ of vertices of a graph $G$ such that no shortest path of $G$ contains more than two vertices of $S$. In this paper we consider a variant of the general position problem called the \emph{monophonic position problem}, obtained by replacing `shortest path' by `induced path'. We prove some basic properties and bounds for the monophonic position number of a graph and determine the monophonic position number of some graph families, including unicyclic graphs, complements of bipartite graphs and split graphs. We show that the monophonic position number of triangle-free graphs is bounded above by the independence number. We present realisation results for the general position number, monophonic position number and monophonic hull number. Finally we discuss the complexity of the monophonic position problem.
The Inductive Graph Dimension from The Minimum Edge Clique Cover
Published
• View Publication
• BIB
In this paper we prove that the inductively defined graph dimension has a simple additive property under the join operation. The dimension of the join of two simple graphs is one plus the sum of the dimensions of the component graphs: $\mathrm{dim}\, (G_1+ G_2) = 1 +\mathrm{dim}\, G_1+ \mathrm{dim}\, G_2$. We use this formula to derive an expression for the inductive dimension of an arbitrary finite simple graph from its minimum edge clique cover. A corollary of the formula is that any arbitrary finite simple graph whose maximal cliques are all of order $N$ has dimension $N-1$. We finish by finding lower and upper bounds on the inductive dimension of a simple graph in terms of its clique number.
The chromatic profile of locally bipartite graphs
Published in Journal of Combinatorial Theory, Series B 156, pages 343-388, 2022
• View Publication
• BIB
In 1973, Erdős and Simonovits asked whether every $n$-vertex triangle-free graph with minimum degree greater than $1/3 \cdot n$ is 3-colourable. This question initiated the study of the chromatic profile of triangle-free graphs: for each $k$, what minimum degree guarantees that a triangle-free graph is $k$-colourable. This problem has a rich history which culminated in its complete solution by Brandt and Thomassé. Much less is known about the chromatic profile of $H$-free graphs for general $H$.
Triangle-free graphs are exactly those in which each neighbourhood is one-colourable. Locally bipartite graphs, first mentioned by Luczak and Thomassé, are the natural variant of triangle-free graphs in which each neighbourhood is bipartite. Here we study the chromatic profile of locally bipartite graphs. We show that every $n$-vertex locally bipartite graph with minimum degree greater than $4/7 \cdot n$ is 3-colourable ($4/7$ is tight) and with minimum degree greater than $6/11 \cdot n$ is 4-colourable. Although the chromatic profiles of locally bipartite and triangle-free graphs bear some similarities, we will see there are striking differences.
Classification of Planar Graphs Associated to the Ideal of the Numerical Semigroup
Published
• View Publication
• BIB
Let $Λ$ be a numerical semigroup and $I\subset Λ$ be an ideal of $Λ$. The graph $G_I(Λ)$ assigned to an ideal $I$ of $Λ$ is a graph with elements of $(Λ\setminus I)^*$ as vertices and any two vertices $x,y$ are adjacent if and only if $x+y \in I$. In this paper we give a complete characterization (up to isomorphism ) of the graph $G_I(Λ)$ to be planar, where $I$ is an irreducible ideal of $Λ$. This will finally characterize non planar graphs $G_I(Λ)$ corresponding to irreducible ideal $I$.
Finding singularly cospectral graphs
Published
• View Publication
• BIB
Two graphs having the same spectrum are said to be cospectral. A pair of singularly cospectral graphs is formed by two graphs such that the absolute values of their nonzero eigenvalues coincide. Clearly, a pair of cospectral graphs is also singularly cospectral but the converse may not be true. Two graphs are almost cospectral if their nonzero eigenvalues and their multiplicities coincide. In this paper, we present necessary and sufficient conditions for a pair of graphs to be singularly cospectral, giving an answer to a problem posted by Nikiforov. In addition, we construct an infinite family of pairs of noncospectral singularly cospectral graphs with unbounded number of vertices. It is clear that almost cospectral graphs are also singularly cospectral but the converse is not necessarily true, we present families of graphs where both concepts: almost cospectrality and singularly cospectrality agree.
Improving the Delsarte bound
In this paper, we study the order of a maximal clique in an amply regular graph with a fixed smallest eigenvalue by considering a vertex that is adjacent to some (but not all) vertices of the maximal clique. As a consequence, we show that if a strongly regular graph contains a Delsarte clique, then the parameter $μ$ is either small or large.
Furthermore, we obtain a cubic polynomial that assures that a maximal clique in an amply regular graph is either small or large (under certain assumptions). Combining this cubic polynomial with the claw-bound, we rule out an infinite family of feasible parameters $(v,k,λ,μ)$ for strongly regular graphs. Lastly, we provide tables of parameters $(v,k,λ,μ)$ for nonexistent strongly regular graphs with smallest eigenvalue $-4, -5, -6$ or $-7$.
Sampling Arborescences in Parallel
We study the problem of sampling a uniformly random directed rooted spanning tree, also known as an arborescence, from a possibly weighted directed graph. Classically, this problem has long been known to be polynomial-time solvable; the exact number of arborescences can be computed by a determinant [Tut48], and sampling can be reduced to counting [JVV86, JS96]. However, the classic reduction from sampling to counting seems to be inherently sequential. This raises the question of designing efficient parallel algorithms for sampling. We show that sampling arborescences can be done in RNC.
For several well-studied combinatorial structures, counting can be reduced to the computation of a determinant, which is known to be in NC [Csa75]. These include arborescences, planar graph perfect matchings, Eulerian tours in digraphs, and determinantal point processes. However, not much is known about efficient parallel sampling of these structures. Our work is a step towards resolving this mystery.