graph
34629 papers tagged with this keyword
2-switch transition on unicyclic graphs and pseudoforest
In the present work we prove that given any two unicycle graphs (pseudoforests)
that share the same degree sequence there is a finite sequence of 2-switches
transforming one into the other such that all the graphs in the sequence
are also unicyclic graphs (pseudoforests).
Spectra of variants of distance matrices of graphs and digraphs: a survey
Published
• View Publication
• BIB
Distance matrices of graphs were introduced by Graham and Pollack in 1971 to study a problem in communications. Since then, there has been extensive research on the distance matrices of graphs -- a 2014 survey by Aouchiche and Hansen on spectra of distance matrices of graphs lists more than 150 references. In the last ten years, variants such as the distance Laplacian, the distance signless Laplacian, and the normalized distance Laplacian matrix of a graph have been studied. After a brief description of the early history of the distance matrix and its motivating problem, this survey focuses on comparing and contrasting techniques and results for the four types of distance matrices. Digraphs are treated separately after the discussion of graphs, including discussion of similarities and differences between graphs and digraphs. New results are presented that complement existing results, including results for some the matrices on unimodality of characteristic polynomials for graphs, preservation of parameters by cospectrality for graphs, and bounds on spectral radii for digraphs.
Realizations of automorphism groups of metric graphs induced by rational maps
For a rational map $φ$ from a metric graph $\varGamma$ to a tropical projective space $\boldsymbol{TP^n}$ defined by a ratio of rational functions $f_1, \ldots, f_{n + 1}$, an automorphism $σ$ of $\varGamma$ induces a permutation of the coordinates of $\boldsymbol{TP^n}$ if $\{ f_1, \ldots, f_{n + 1} \}$ is $\langle σ\rangle$-invariant. Through this description, we can realize the automorphism group of $Γ$ as ambient automorphism group such as tropical projective general linear group, tropical general linear group and $\boldsymbol{Z}$-linear transformation group of Euclidean space.
A note on the metric and edge metric dimensions of 2-connected graphs
Published
• View Publication
• BIB
For a given graph $G$, the metric and edge metric dimensions of $G$, $\dim(G)$ and ${\rm edim}(G)$, are the cardinalities of the smallest possible subsets of vertices in $V(G)$ such that they uniquely identify the vertices and the edges of $G$, respectively, by means of distances. It is already known that metric and edge metric dimensions are not in general comparable. Infinite families of graphs with pendant vertices in which the edge metric dimension is smaller than the metric dimension are already known. In this article, we construct a 2-connected graph $G$ such that $\dim(G)=a$ and ${\rm edim}(G)=b$ for every pair of integers $a,b$, where $4\le b<a$. For this we use subdivisions of complete graphs, whose metric dimension is in some cases smaller than the edge metric dimension. Along the way, we present an upper bound for the metric and edge metric dimensions of subdivision graphs under some special conditions.
Deza graphs: a survey and new results
In this paper we survey existing results on Deza graphs and give some new results. We present an introduction to Deza graphs for the reader who is unfamiliar with the subject, and then give an overview of some developments in the area of Deza graphs since the initial paper by five authors [M. Erickson, S. Fernando, W. H. Haemers, D. Hardy, J. Hemmeter, Deza graphs: \emph{A generalization of strongly regular graphs}, J. Comb. Designs. 7 (1999), 395--405.] was written. We then investigate 3-class cyclotomic schemes and give necessary and sufficient conditions to get a Deza graph as a graph given by one relation or the union of two relations. Finally, we prove that a strictly Deza circulant on $2p$ vertices, where $p$ is prime, is isomorphic to the lexicographical product of the Paley graph on $p$ vertices with an edge.
Checking the admissibility of odd-vertex pairings is hard
Nash-Williams proved that every graph has a well-balanced orientation. A key ingredient in his proof is admissible odd-vertex pairings. We show that for two slightly different definitions of admissible odd-vertex pairings, deciding whether a given odd-vertex pairing is admissible is co-NP-complete. This resolves a question of Frank. We also show that deciding whether a given graph has an orientation that satisfies arbitrary local arc-connectivity requirements is NP-complete.
Alternative proof of upper bound of spanning trees in a graph
We give a proof for sharp estimate for the number of spanning trees using linear algebra and generalize this bound to multigraphs. In addition, we show that this bound is tight for complete graphs. In addition, we give estimates for number of spanning trees in specific type of graphs such as product of graphs or Cartesian product of two graphs.
$L(2,1)$-Labeling of the iterated Mycielski of graphs and some related to matching problems
Published
• View Publication
• BIB
In this paper, we study the $L(2, 1)$-Labeling of the Mycielski and the iterated Mycielski of graphs in general. For a graph $G$ and all $t\geq 1$, we give sharp bounds for $λ(M^t(G))$ the $L(2, 1)$-labeling number of the $t$-th iterated Mycielski in terms of the number of iterations $t$, the order $n$, the maximum degree $\bigtriangleup$, and $λ(G)$ the $L(2, 1)$-labeling number of $G$. For $t=1$, we present necessary and sufficient conditions between the $4$-star matching number of the complement graph and $λ(M(G))$ the $L(2, 1)$-labeling number of the Mycielski of a graph, with some applications to special graphs. For all $t\geq 2$, we prove that for any graph $G$ of order $n$, we have $2^{t-1}(n+2)-2\leq λ(M^t(G))\leq 2^{t}(n+1)-2$. Thereafter, we characterize the graphs achieving the upper bound $2^t(n+1)-2$, then by using the Marriage Theorem and Tutte's characterization of graphs with a perfect $2$-matching, we characterize all graphs without isolated vertices achieving the lower bound $2^{t-1}(n+2)-2$. We determine the $L(2, 1)$-labeling number for the Mycielski and the iterated Mycielski of some graph classes.
Graphs of Maximal Energy with Fixed Maximal Degree
Published in MATCH Commun. Math. Comput. Chem. 2020, 83(3), 531-539
• Search Publication
We give a bound for the graph energy with given maximal degree in terms of the second and fourth moments of a graph. In the case in which the graph is $d$-regular we obtain the bound that is given in Van Dam, E. et al. (2014). through elementary methods.
On the stability of graph independence number
Published in SIAM Journal on Discrete Mathematics, vol. 36(1), 2022
• View Publication
• BIB
Let $G$ be a graph on $n$ vertices of independence number $α(G)$ such that every induced subgraph of $G$ on $n-k$ vertices has an independent set of size at least $α(G) - \ell$. What is the largest possible $α(G)$ in terms of $n$ for fixed $k$ and $\ell$? We show that $α(G) \le n/2 + C_{k, \ell}$, which is sharp for $k-\ell \le 2$. We also use this result to determine new values of the Erdős--Rogers function.
Critical varieties in the Grassmannian
Published
• View Publication
• BIB
We introduce a family of spaces called critical varieties. Each critical variety is a subset of one of the positroid varieties in the Grassmannian. The combinatorics of positroid varieties is captured by the dimer model on a planar bipartite graph $G$, and the critical variety is obtained by restricting to Kenyon's critical dimer model associated to a family of isoradial embeddings of $G$. This model is invariant under square/spider moves on $G$, and we give an explicit boundary measurement formula for critical varieties which does not depend on the choice of $G$. This extends our recent results for the critical Ising model, and simultaneously also includes the case of critical electrical networks.
We systematically develop the basic properties of critical varieties. In particular, we study their real and totally positive parts, the combinatorics of the associated strand diagrams, and introduce a shift map motivated by the connection to zonotopal tilings and scattering amplitudes.
Chromatic bounds for the subclasses of $pK_2$-free graphs
Published
• View Publication
• BIB
The concept of $χ$-binding functions for classes of free graphs has been extensively studied in the past. In this paper, we improve the existing $χ$-binding function for $\{2K_2, K_1 + C_4\}$-free graphs. Also, we find a linear $χ$-binding function for $\{2K_2, K_2+P_4\}$-free graphs. In addition, we give alternative proofs for the $χ$-binding function of $\{2K_2,gem\}$-free graphs, $\{2K_2,HVN\}$-free graphs and $\{2K_2, K_5-e\}$-free graphs. Finally, for $p\geq3$, we find polynomial $χ$-binding functions for $\{pK_2, H\}$-free graphs where $H\in \{gem, diamond, K_2+P_4, HVN, K_5-e, butterfly, gem^+, dart, K_1 + C_4, C_4, \overline{P_5}\}$.
Markov models for the tipsy cop and robber game on graphs
Published
• View Publication
• BIB
In this paper we analyze and model three open problems posed by Harris, Insko, Prieto-Langarica, Stoisavljevic, and Sullivan in 2020 concerning the tipsy cop and robber game on graphs. The three different scenarios we model account for different biological scenarios. The first scenario is when the cop and robber have a consistent tipsiness level though the duration of the game; the second is when the cop and robber sober up as a function of time; the third is when the cop and robber sober up as a function of the distance between them. Using Markov chains to model each scenario we calculate the probability of a game persisting through $\mathbf{M}$ rounds of the game and the expected game length given different starting positions and tipsiness levels for the cop and robber.
Waiter-Client Triangle-Factor Game on the Edges of the Complete Graph
Published in European Journal of Combinatorics 96 (2021) 103356
• Search Publication
Consider the following game played by two players, called Waiter and Client, on the edges of $K_n$ (where $n$ is divisible by $3$). Initially, all the edges are unclaimed. In each round, Waiter picks two yet unclaimed edges. Client then chooses one of these two edges to be added to Waiter's graph and one to be added to Client's graph. Waiter wins if she forces Client to create a $K_3$-factor in Client's graph at some point, while if she does not manage to do that, Client wins.
It is not difficult to see that for large enough $n$, Waiter has a winning strategy. The question considered by Clemens et al. is how long the game will last if Waiter aims to win as soon as possible, Client aims to delay her as much as possible, and both players play optimally. Denote this optimal number of rounds by $τ_{WC}(\mathcal{F}_{n,K_3-\text{fac}},1 ) $. Clemens et al. proved that $\frac{13}{12}n \leq τ_{WC}(\mathcal{F}_{n,K_3-\text{fac}},1 ) \leq \frac{7}{6}n+o(n) $, and conjectured that $τ_{WC}(\mathcal{F}_{n,K_3-\text{fac}},1 ) = \frac{7}{6}n+o(n) $. In this note, we verify their conjecture.
Covering 2-colored complete digraphs by monochromatic $d$-dominating digraphs
Published
• View Publication
• BIB
A digraph is {\em $d$-dominating} if every set of at most $d$ vertices has a common out-neighbor. For all integers $d\geq 2$, let $f(d)$ be the smallest integer such that the vertices of every 2-edge-colored (finite or infinite) complete digraph (including loops) can be covered by the vertices of at most $f(d)$ monochromatic $d$-dominating subgraphs. Note that the existence of $f(d)$ is not obvious -- indeed, the question which motivated this paper was simply to determine whether $f(d)$ is bounded, even for $d=2$. We answer this question affirmatively for all $d\geq 2$, proving $4\leq f(2)\le 8$ and $2d\leq f(d)\le 2d\left(\frac{d^{d}-1}{d-1}\right)$ for all $d\ge 3$. We also give an example to show that there is no analogous bound for more than two colors.
Our result provides a positive answer to a question regarding an infinite analogue of the Burr-Erdős conjecture on the Ramsey numbers of $d$-degenerate graphs. Moreover, a special case of our result is related to properties of $d$-paradoxical tournaments.
Connectedness of Unit Distance Subgraphs Induced by Closed Convex Sets
Published
• View Publication
• BIB
The unit distance graph $G_{\mathbb{R}^d}^1$ is the infinite graph whose nodes are points in $\mathbb{R}^d$, with an edge between two points if the Euclidean distance between these points is 1. The 2-dimensional version $G_{\mathbb{R}^2}^1$ of this graph is typically studied for its chromatic number, as in the Hadwiger-Nelson problem. However, other properties of unit distance graphs are rarely studied. Here, we consider the restriction of $G_{\mathbb{R}^d}^1$ to closed convex subsets $X$ of $\mathbb{R}^d$. We show that the graph $G_{\mathbb{R}^d}^1[X]$ is connected precisely when the radius of $r(X)$ of $X$ is equal to 0, or when $r(X)\geq 1$ and the affine dimension of $X$ is at least 2. For hyperrectangles, we give bounds for the graph diameter in the critical case that the radius is exactly 1.
Degree conditions forcing directed cycles
Published
• View Publication
• BIB
Caccetta-Häggkvist conjecture is a longstanding open problem on degree conditions that force an oriented graph to contain a directed cycle of a bounded length. Motivated by this conjecture, Kelly, Kühn, and Osthus initiated a study of degree conditions forcing the containment of a directed cycle of a given length. In particular, they found the optimal minimum semidegree, that is, the smaller of the minimum indegree and the minimum outdegree, which forces a large oriented graph to contain a directed cycle of a given length not divisible by 3, and conjectured the optimal minimum semidegree for all the other cycles except the directed triangle.
In this paper, we establish the best possible minimum semidegree that forces a large oriented graph to contain a directed cycle of a given length divisible by 3 yet not equal to 3, hence fully resolve the conjecture by Kelly, Kühn, and Osthus. We also find an asymptotically optimal semidegree threshold of any cycle with a given orientation of its edges with the sole exception of a directed triangle.
Random hypergraphs and property B
Published in European Journal of Combinatorics, Volume 91, January 2021, 103205
• View Publication
• BIB
In 1964 Erdős proved that $(1+\oh{1})) \frac{\eul \ln(2)}{4} k^2 2^{k}$ edges are sufficient to build a $k$-graph which is not two colorable. To this day, it is not known whether there exist such $k$-graphs with smaller number of edges. Erdős' bound is consequence of the fact that a hypergraph with $k^2/2$ vertices and $M(k)=(1+\oh{1}) \frac{\eul \ln(2)}{4} k^2 2^{k}$ randomly chosen edges of size $k$ is asymptotically almost surely not two colorable. Our first main result implies that for any $\varepsilon > 0$, any $k$-graph with $(1-\varepsilon) M(k)$ randomly and uniformly chosen edges is a.a.s. two colorable. The presented proof is an adaptation of the second moment method analogous to the developments of Achlioptas and Moore from 2002 who considered the problem with fixed size of edges and number of vertices tending to infinity. In the second part of the paper we consider the problem of algorithmic coloring of random $k$-graphs. We show that quite simple, and somewhat greedy procedure, a.a.s. finds a proper two coloring for random $k$-graphs on $k^2/2$ vertices, with at most $\Oh{k\ln k\cdot 2^k}$ edges. That is of the same asymptotic order as the analogue of the \emph{algorithmic barrier} defined by Achlioptas and Coja-Oghlan in 2008, for the case of fixed $k$.
Minimum Spanning Tree Cycle Intersection Problem
Published
• View Publication
• BIB
Consider a connected graph $G$ and let $T$ be a spanning tree of $G$. Every edge $e \in G-T$ induces a cycle in $T \cup \{e\}$. The intersection of two distinct such cycles is the set of edges of $T$ that belong to both cycles. We consider the problem of finding a spanning tree that has the least number of such non-empty intersections.
Maximality of Seidel matrices and switching roots of graphs
Published
• View Publication
• BIB
In this paper, we discuss maximality of Seidel matrices with a fixed largest eigenvalue. We present a classification of maximal Seidel matrices of largest eigenvalue $3$, which gives a classification of maximal equiangular lines in a Euclidean space with angle $\arccos1/3$. Motivated by the maximality of the exceptional root system $E_8$, we define strong maximality of a Seidel matrix, and show that every Seidel matrix achieving the absolute bound is strongly maximal.