graph
35299 papers tagged with this keyword
Extremal values for Steiner distances and the Steiner $k$-Wiener index
Published
• View Publication
• BIB
Various questions related to distances between vertices of simple, finite graphs are of interest to extremal graph theorists. The Steiner distance of a set of $k$ vertices is a natural generalization of the regular distance. We extend several theorems on the middle parts and extremal values of trees from their regular distance variants to their Steiner distance variants. More specifically, we show that for a tree $T$, the Steiner $k$-distance, Steiner $k$-leaf-distance, and Steiner $k$-internal-distance are all concave along a path. We also calculate distances between the Steiner $k$-median, Steiner $k$-internal-median, and Steiner $k$-leaf-median. Letting the Steiner $k$-distance of a vertex $v \in V(T)$ be $\dd_k^T(v)$, we find bounds based on the order of $T$ for the ratios $\frac{\dd^T_{k}(u)}{\dd^T_{k}(v)}$, $\frac{\dd^T_{k}(w)}{\dd^T_{k}(z)}$, and $\frac{\dd^T_{k}(u)}{\dd^T_{k}(y)}$ where $u$ and $v$ are leaves, $w$ and $z$ are internal vertices, and $y$ is a Steiner $k$-centroid. Also, denoting the Steiner $k$-Wiener index as $\mathsf{SW}_k(T)$, we find upper and lower bounds for $\frac{\mathsf{SW}_k(T)}{\dd^G_{k}(v)}$. The extremal graphs that produce these bounds are also presented.
Strong Erdős-Hajnal properties in chordal graphs
Published
• View Publication
• BIB
A graph class $\mathcal{G}$ has the strong Erdős-Hajnal property (SEH-property) if there is a constant $c=c(\mathcal{G}) > 0$ such that for every member $G$ of $\mathcal{G}$, either $G$ or its complement has $K_{m, m}$ as a subgraph where $m \geq \left\lfloor c|V(G)|\right\rfloor$. We prove that the class of chordal graphs satisfy SEH-property with constant $c = 2/9$. On the other hand, a strengthening of SEH-property which we call the colorful Erdős-Hajnal property was discussed in geometric settings by Alon et al. (2005) and by Fox et al. (2012). Inspired by their results, we show that for every pair $F_1, F_2$ of subtree families of the same size in a tree $T$ with $k$ leaves, there exists subfamilies $F'_1 \subseteq F_1$ and $F'_2 \subseteq F_2$ of size $θ\left( \frac{\ln k}{k} \left| F_1 \right|\right)$ such that either every pair of representatives from distinct subfamilies intersect or every such pair do not intersect. Our results are asymptotically optimal.
Extremal digraphs for open neighbourhood location-domination and identifying codes
Published in Discrete Applied Mathematics 347:62-74, 2024
• View Publication
• BIB
A set $S$ of vertices of a digraph $D$ is called an open neighbourhood locating-dominating set if every vertex in $D$ has an in-neighbour in $S$, and for every pair $u,v$ of vertices of $D$, there is a vertex in $S$ that is an in-neighbour of exactly one of $u$ and $v$. The smallest size of an open neighbourhood locating-dominating set of a digraph $D$ is denoted by $γ_{OL}(D)$. We study the class of digraphs $D$ whose only open neighbourhood locating-dominating set consists of the whole set of vertices, in other words, $γ_{OL}(D)$ is equal to the order of $D$. We call those digraphs extremal. By considering digraphs with loops allowed, our definition also applies to the related (and more widely studied) concept of identifying codes. We extend previous studies from the literature for both open neighbourhood locating-dominating sets and identifying codes of both undirected and directed graphs. These results all correspond to studying open neighbourhood locating-dominating sets on special classes of digraphs. To do so, we prove general structural properties of extremal digraphs, and we describe how they can all be constructed. We then use these properties to give new proofs of several known results from the literature. We also give a recursive and constructive characterization of the extremal di-trees (digraphs whose underlying undirected graph is a tree).
Perfect matching problems in cluster algebras and number theory
Published
• View Publication
• BIB
This paper is a slightly extended version of the talk I gave at the Open Problems in Algebraic Combinatorics conference at the University of Minnesota in May 2022.
We introduce two strict order relations on lattice paths and formulate several open problems. The topic is related to Markov numbers, the Lagrange spectrum, snake graphs and the cluster algebra of the once punctured torus.
Our lattice paths are required to proceed by North and East steps and never go over the diagonal. To define the order relations, we first construct a snake graph $\mathcal{G}(ω)$ and a band graph $\overline{\mathcal{G}(ω)}$ for every such lattice path $ω$. The first order relation $<_M$ is given by the number of perfect matchings of the snake graphs. The second order relation $<_L$ is given by the Lagrange number of a quadratic irrational associated to the band graph.
An Alon-Tarsi Style Theorem for Additive Colorings
Published in Graphs and Combinatorics 40, 67 (2024)
• View Publication
• BIB
We first give an alternative proof of the Alon-Tarsi list coloring theorem. We use the ideas from this proof to obtain the following result, which is an additive coloring analog of the Alon-Tarsi Theorem: Let $G$ be a graph and let $D$ be an orientation of $G$. We introduce a new digraph $\mathcal{W}(D)$, such that if the out-degree in $D$ of each vertex $v$ is $d_v$, and if the number of Eulerian subdigraphs of $\mathcal{W}(D)$ with an even number of edges differs from the number of Eulerian subdigraphs of $\mathcal{W}(D)$ with an odd number of edges, then for any assignment of lists $L(v)$ of $d_v+1$ positive integers to the vertices of $G$, there is an additive coloring of $G$ assigning to each vertex $v$ an element from $L(v)$. As an application, we prove an additive list coloring result for tripartite graphs $G$ such that one of the color classes of $G$ contains only vertices whose neighborhoods are complete.
Rank-based linkage I: triplet comparisons and oriented simplicial complexes
Published
• View Publication
• BIB
Rank-based linkage is a new tool for summarizing a collection $S$ of objects according to their relationships. These objects are not mapped to vectors, and ``similarity'' between objects need be neither numerical nor symmetrical. All an object needs to do is rank nearby objects by similarity to itself, using a Comparator which is transitive, but need not be consistent with any metric on the whole set. Call this a ranking system on $S$. Rank-based linkage is applied to the $K$-nearest neighbor digraph derived from a ranking system. Computations occur on a 2-dimensional abstract oriented simplicial complex whose faces are among the points, edges, and triangles of the line graph of the undirected $K$-nearest neighbor graph on $S$. In $|S| K^2$ steps it builds an edge-weighted linkage graph $(S, \mathcal{L}, σ)$ where $σ(\{x, y\})$ is called the in-sway between objects $x$ and $y$. Take $\mathcal{L}_t$ to be the links whose in-sway is at least $t$, and partition $S$ into components of the graph $(S, \mathcal{L}_t)$, for varying $t$. Rank-based linkage is a functor from a category of ``out-ordered'' digraphs to a category of partitioned sets, with the practical consequence that augmenting the set of objects in a rank-respectful way gives a fresh clustering which does not ``rip apart'' the previous one. The same holds for single linkage clustering in the metric space context, but not for typical optimization-based methods. Orientation sheaves play in a fundamental role and ensure that partially overlapping data sets can be ``glued'' together. Open combinatorial problems are presented in the last section.
On 2-strong connectivity orientations of mixed graphs and related problems
Published
• View Publication
• BIB
A mixed graph $G$ is a graph that consists of both undirected and directed edges. An orientation of $G$ is formed by orienting all the undirected edges of $G$, i.e., converting each undirected edge $\{u,v\}$ into a directed edge that is either $(u,v)$ or $(v,u)$. The problem of finding an orientation of a mixed graph that makes it strongly connected is well understood and can be solved in linear time. Here we introduce the following orientation problem in mixed graphs. Given a mixed graph $G$, we wish to compute its maximal sets of vertices $C_1,C_2,\ldots,C_k$ with the property that by removing any edge $e$ from $G$ (directed or undirected), there is an orientation $R_i$ of $G\setminus{e}$ such that all vertices in $C_i$ are strongly connected in $R_i$. We discuss properties of those sets, and we show how to solve this problem in linear time by reducing it to the computation of the $2$-edge twinless strongly connected components of a directed graph. A directed graph $G=(V,E)$ is twinless strongly connected if it contains a strongly connected spanning subgraph without any pair of antiparallel (or twin) edges. The twinless strongly connected components (TSCCs) of a directed graph $G$ are its maximal twinless strongly connected subgraphs. A $2$-edge twinless strongly connected component (2eTSCC) of $G$ is a maximal subset of vertices $C$ such that any two vertices $u, v \in C$ are in the same twinless strongly connected component of $G \setminus e$, for any edge $e$. These concepts are motivated by several diverse applications, such as the design of road and telecommunication networks, and the structural stability of buildings.
Extremal edge general position sets in some graphs
Published
• View Publication
• BIB
A set of edges $X\subseteq E(G)$ of a graph $G$ is an edge general position set if no three edges from $X$ lie on a common shortest path. The edge general position number ${\rm gp}_{\rm e}(G)$ of $G$ is the cardinality of a largest edge general position set in $G$. Graphs $G$ with ${\rm gp}_{\rm e}(G) = |E(G)| - 1$ and with ${\rm gp}_{\rm e}(G) = 3$ are respectively characterized. Sharp upper and lower bounds on ${\rm gp}_{\rm e}(G)$ are proved for block graphs $G$ and exact values are determined for several specific block graphs.
Acyclic Chromatic Index of Chordless Graphs
Published in Discrete Mathematics, 346(8), (2023), 113434
• View Publication
• BIB
An acyclic edge coloring of a graph is a proper edge coloring in which there are no bichromatic cycles. The acyclic chromatic index of a graph $G$ denoted by $a'(G)$, is the minimum positive integer $k$ such that $G$ has an acyclic edge coloring with $k$ colors. It has been conjectured by Fiamčík that $a'(G) \le Δ+2$ for any graph $G$ with maximum degree $Δ$. Linear arboricity of a graph $G$, denoted by $la(G)$, is the minimum number of linear forests into which the edges of $G$ can be partitioned. A graph is said to be chordless if no cycle in the graph contains a chord. Every $2$-connected chordless graph is a minimally $2$-connected graph. It was shown by Basavaraju and Chandran that if $G$ is $2$-degenerate, then $a'(G) \le Δ+1$. Since chordless graphs are also $2$-degenerate, we have $a'(G) \le Δ+1$ for any chordless graph $G$. Machado, de Figueiredo and Trotignon proved that the chromatic index of a chordless graph is $Δ$ when $Δ\ge 3$. They also obtained a polynomial time algorithm to color a chordless graph optimally. We improve this result by proving that the acyclic chromatic index of a chordless graph is $Δ$, except when $Δ=2$ and the graph has a cycle, in which case it is $Δ+1$. We also provide the sketch of a polynomial time algorithm for an optimal acyclic edge coloring of a chordless graph. As a byproduct, we also prove that $la(G) = \lceil \frac{Δ}{2} \rceil$, unless $G$ has a cycle with $Δ=2$, in which case $la(G) = \lceil \frac{Δ+1}{2} \rceil = 2$. To obtain the result on acyclic chromatic index, we prove a structural result on chordless graphs which is a refinement of the structure given by Machado, de Figueiredo and Trotignon for this class of graphs. This might be of independent interest.
The liberation set in the inverse eigenvalue problem of a graph
Published
• View Publication
• BIB
The inverse eigenvalue problem of a graph $G$ is the problem of characterizing all lists of eigenvalues of real symmetric matrices whose off-diagonal pattern is prescribed by the adjacencies of $G$. The strong spectral property is a powerful tool in this problem, which identifies matrices whose entries can be perturbed while controlling the pattern and preserving the eigenvalues. The Matrix Liberation Lemma introduced by Barrett et al.~in 2020 advances the notion to a more general setting. In this paper we revisit the Matrix Liberation Lemma and prove an equivalent statement, that reduces some of the technical difficulties in applying the result.
We test our method on matrices of the form $M=A \oplus B$ and show how this new approach supplements the results that can be obtained from the strong spectral property only. While extending this notion to the direct sums of graphs, we discover a surprising connection with the zero forcing game on Cartesian products of graphs.
Throughout the paper we apply our results to resolve a selection of open cases for the inverse eigenvalue problem of a graph on six vertices.
A conjecture related to the nilpotency of groups with isomorphic non-commuting graphs
Published in Journal of Algebra, Volume 633, 2023, Pages 389-402
• View Publication
• BIB
In this work we discuss whether the non-commuting graph of a finite group can determine its nilpotency. More precisely, Abdollahi, Akbari and Maimani conjectured that if $G$ and $H$ are finite groups with isomorphic non-commuting graphs and $G$ is nilpotent, then $H$ must be nilpotent as well (Conjecture 2). We pose a new conjecture (Conjecture 3) that, together with the assumption $|Z(G)|\geq|Z(H)|$, implies Conjecture 2 and we prove it for groups in which all centralizers of non-central elements are abelian.
Refining trees of tangles in abstract separation systems: inessential parts
Published
• View Publication
• BIB
Robertson and Seymour proved two fundamental theorems about tangles in graphs: the tree-of-tangles theorem, which says that every graph has a tree-decomposition such that distinguishable tangles live in different nodes of the tree, and the tangle-tree duality theorem, which says that graphs without a $k$-tangle have a tree-decomposition that witnesses the non-existence of such tangles, in that $k$-tangles would have to live in a node but no node is large enough to accommodate one.
Erde combined these two fundamental theorems into one, by constructing a single tree-decomposition such that every node either accommodates a single $k$-tangle or is too small to accommodate one. Such a tree-decomposition thus shows at a glance how many $k$-tangles a graph has and where they are.
The two fundamental theorems have since been extended to abstract separation systems, which support tangles in more general discrete structures. In this paper we extend Erde's unified theorem to such general systems.
Pseudoflowers in infinite connectivity systems
Given a graph or a matroid, a tree of tangles is a tree decomposition that displays the structure of the connectivity: every edge of the decomposition tree induces a separation, that is, a way to divide the graph or matroid into two parts; and for every two highly connected areas (encoded as tangles) that live on different sides of some separation, some separation induced by an edge distinguishes them. Separations induced by a tree of tangles cannot cross. One approach to display even more connectivity structure is to insert even more structure into a tree of tangles, for example the flowers that were introduced by Oxley, Semple and Whittle in 2007 for matroids and generalised to finite connectivity systems by Clark and Whittle in 2013. Most of the separations displayed by a flower are crossing. In order to extend this theory to the infinite case, we generalise the notion of flowers to infinite connectivity systems, and show that there are maximal generalised flowers. Also, we show in the special case of infinite matroids that of the two types of flowers (anemones and daisies) only anemones can be extended to truly infinite objects, and provide for general connectivity systems a characterisation of when infinite daisies exist. Furthermore we describe a more abstract view on the interaction of tangles and separations distinguishing them, which among other things provides additional motivation for why there should be maximal generalised flowers.
Entropy of Exchangeable Random Graphs
Quantifying the complexity of large graphs requires measures that extend beyond predefined structural features and scale efficiently with graph size. This work adopts a generative perspective, modeling large networks as exchangeable graphs to quantify the information content of their generating mechanisms via graphon entropy. As a graph property, graphon entropy is invariant under isomorphisms, making it an effective measure of complexity; however, it is not directly computable. To address this, we introduce a suite of graphon entropy estimators, including a nonparametric estimator for broad applicability and specialized versions for structured graphons arising from well-studied random graph models such as Erdős-Rényi, Chung-Lu, and stochastic block models. We establish their large-sample properties, deriving convergence rates and Central Limit Theorems. Simulations illustrate how the nonparametric graphon entropy estimator captures structural variations in graphs, while real-world applications demonstrate its role in characterizing evolving network dynamics.
Graphs with large minimum degree and no small odd cycles are $3$-colourable
Answering a question by Letzter and Snyder, we prove that for large enough $k$ any $n$-vertex graph $G$ with minimum degree at least $\frac{1}{2k-1}n$ and without odd cycles of length less than $2k+1$ is $3$-colourable. In fact, we prove a stronger result that works with a slightly smaller minimum degree.
Diminimal families of arbitrary diameter
Published
• View Publication
• BIB
Given a tree $T$, let $q(T)$ be the minimum number of distinct eigenvalues in a symmetric matrix whose underlying graph is $T$. It is well known that $q(T)\geq d(T)+1$, where $d(T)$ is the diameter of $T$, and a tree $T$ is said to be diminimal if $q(T)=d(T)+1$. In this paper, we present families of diminimal trees of any fixed diameter. Our proof is constructive, allowing us to compute, for any diminimal tree $T$ of diameter $d$ in these families, a symmetric matrix $M$ with underlying graph $T$ whose spectrum has exactly $d+1$ distinct eigenvalues.
Rainbow triangles sharing one common vertex or edge
Published in The electronic journal of combinatorics 32(3) (2025), #P3.30
• View Publication
• BIB
Let $G$ be an edge-colored graph on $n$ vertices. For a vertex $v$, the \emph{color degree} of $v$ in $G$, denoted by $d^c(v)$, is the number of colors appearing on the edges incident with $v$. Denote by $δ^c(G)=\min\{d^c(v):v\in V(G)\}$. By a theorem of H. Li, an $n$-vertex edge-colored graph $G$ contains a rainbow triangle if $δ^c(G)\geq \frac{n+1}{2}$. Inspired by this result, we consider two related questions concerning edge-colored books and friendship subgraphs of edge-colored graphs. Let $k\geq 2$ be a positive integer. We prove that if $δ^c(G)\geq \frac{n+k-1}{2}$ where $n\geq 3k-2$, then $G$ contains $k$ rainbow triangles sharing one common edge; and if $δ^c(G)\geq \frac{n+2k-3}{2}$ where $n\geq 2k+9$, then $G$ contains $k$ rainbow triangles sharing one common vertex. The special case $k=2$ of both results improves H. Li's theorem. The main novelty of our proof of the first result is a combination of the recent new technique for finding rainbow cycles due to Czygrinow, Molla, Nagle, and Oursler and some recent counting technique from \cite{LNSZ}. The proof of the second result is with the aid of the machine implicitly in the work of Turán numbers for matching numbers due to Erdős and Gallai.
Connectedness of friends-and-strangers graphs of complete bipartite graphs and others
Published
• View Publication
• BIB
Let $X$ and $Y$ be any two graphs of order $n$. The friends-and-strangers graph $\mathsf{FS}(X,Y)$ of $X$ and $Y$ is a graph with vertex set consisting of all bijections $σ:V(X) \mapsto V(Y)$, in which two bijections $σ$, $σ'$ are adjacent if and only if they differ precisely on two adjacent vertices of $X$, and the corresponding mappings are adjacent in $Y$. The most fundamental question that one can ask about these friends-and-strangers graphs is whether or not they are connected. Let $K_{k,n-k}$ be a complete bipartite graph of order $n$. In 1974, Wilson characterized the connectedness of $\mathsf{FS}(K_{1,n-1},Y)$ by using algebraic methods. In this paper, by using combinatorial methods, we investigate the connectedness of $\mathsf{FS}(K_{k,n-k},Y)$ for any $Y$ and all $k\ge 2$, including $Y$ being a random graph, as suggested by Defant and Kravitz, and pose some open problems.
A hook formula for eigenvalues of k-point fixing graph
Published
• View Publication
• BIB
Let $S_n$ denote the symmetric group on $n$ letters. The $k$-point fixing graph $\mathcal{F}(n,k)$ is defined to be the graph with vertex set $S_n$ and two vertices $g,h$ of $\mathcal{F}(n,k)$ are joined by an edge, if and only if $gh^{-1}$ fixes exactly $k$ points. Ku, Lau and Wong [Cayley graph on symmetric group generated by elements fixing $k$ points, Linear Algebra Appl. 471 (2015) 405-426] obtained a recursive formula for the eigenvalues of $\mathcal{F}(n,k)$.
In this paper, we use objects called excited diagrams defined as certain generalizations of skew shapes and derive an explicit formula for the eigenvalues of Cayley graph $\mathcal{F}(n,k)$. Then we apply this formula and show that the eigenvalues of $\mathcal{F}(n,k)$ are in the interval $[\frac{-|S(n,k)|}{n-k-1}, |S(n,k)|]$, where $S(n,k)$ is the set of elements $σ$ of $S_n$ such that $σ$ fixes exactly $k$ points.
Mycielskian of Signed Graphs
In this paper, we define the Mycielskian of a signed graph and discuss the properties of balance and switching in the Mycielskian of a given signed graph. We provide a condition for ensuring the Mycielskian of a balanced signed graph remains balanced, leading to the construction of a balanced Mycielskian. We establish a relation between the chromatic numbers of a signed graph and its Mycielskian. We also study the structure of different matrices related to the Mycielskian of a signed graph.