graph
35436 papers tagged with this keyword
$Δ$-critical graphs with a vertex of degree 2
Let $G$ be a simple graph with maximum degree $Δ$. A classic result of Vizing shows that $χ'(G)$, the chromatic index of $G$, is either $Δ$ or $Δ+1$. We say $G$ is of \emph{Class 1} if $χ'(G)=Δ$, and is of \emph{Class 2} otherwise. A graph $G$ is \emph{$Δ$-critical} if $χ'(G)=Δ+1$ and $χ'(H)<Δ+1$ for every proper subgraph $H$ of $G$, and is \emph{overfull} if $|E(G)|>Δ\lfloor (|V(G)|-1)/2 \rfloor$. Clearly, overfull graphs are Class 2. Hilton and Zhao in 1997 conjectured that if $G$ is obtained from an $n$-vertex $Δ$-regular Class 1 graph with maximum degree greater than $n/3$ by splitting a vertex, then being overfull is the only reason for $G$ to be Class 2. This conjecture was only confirmed when $Δ\ge \frac{n}{2}(\sqrt{7}-1)\approx 0.82n$. In this paper, we improve the bound on $Δ$ from $\frac{n}{2}(\sqrt{7}-1)$ to $0.75n$. Considering the structure of $Δ$-critical graphs with a vertex of degree 2, we also show that for an $n$-vertex $Δ$-critical graph with $Δ\ge \frac{3n}{4}$, if it contains a vertex of degree 2, then it is overfull. We actually obtain a more general form of this result, which partially supports the overfull conjecture of Chetwynd and Hilton from 1986, which states that if $G$ is an $n$-vertex $Δ$-critical graph with $Δ>n/3$, then $G$ contains an overfull subgraph $H$ with $Δ(H)=Δ$. Our proof techniques are new and might shed some light on attacking both of the conjectures when $Δ$ is large.
Pertfect matching and zero-sum 3-magic labeling
A mapping $l : E(G) \rightarrow A$, where $A$ is an abelian group which written additively, is called a labeling of the graph $G$. For every positive integer $h \geqslant 2$, a graph $G$ is said to be zero-sum $h$-magic if there is an edge labeling $l$ from $E(G)$ into $\mathbb{Z}_{h} \backslash \{0\}$ such that $s(v) = \sum_{uv\in E(G)}l(uv) = 0$ for every vertex $v \in V(G)$. In 2014, Saieed Akbari, Farhad Rahmati and Sanaz Zare conjectured that every 5-regular graph admits a zero-sum $3$-magic labeling. In this paper, we obtained that every 5-regular graph with every edge contains in a triangle must have a perfect matching, and admits a zero-sum 3-magic labeling, which partially confirms this conjecture.
Generating Functions of Some Families of Directed Uniform Hypergraphs
In this paper, we count acyclic and strongly connected uniform directed labeled hypergraphs. For these combinatorial structures, we introduce a specific generating function allowing us to recover and generalize some results on the number of directed acyclic graphs and the number of strongly connected directed graphs.
Exact-$2$-Relation Graphs
Published
• View Publication
• BIB
Pairwise compatibility graphs (PCGs) with non-negative integer edge weights recently have been used to describe rare evolutionary events and scenarios with horizontal gene transfer. Here we consider the case that vertices are separated by exactly two discrete events: Given a tree $T$ with leaf set $L$ and edge-weights $λ: E(T)\to\mathbb{N}_0$, the non-negative integer pairwise compatibility graph $\textrm{nniPCG}(T,λ,2,2)$ has vertex set $L$ and $xy$ is an edge whenever the sum of the non-negative integer weights along the unique path from $x$ to $y$ in $T$ equals $2$. A graph $G$ has a representation as $\textrm{nniPCG}(T,λ,2,2)$ if and only if its point-determining quotient $G/\!\rthin$ is a block graph, where two vertices are in relation $\rthin$ if they have the same neighborhood in $G$. If $G$ is of this type, a labeled tree $(T,λ)$ explaining $G$ can be constructed efficiently. In addition, we consider an oriented version of this class of graphs.
A character approach to directed genus distribution of graphs: the bipartite single-black-vertex case
Published in Discrete Math. 345(6), 2022, article 112833
• View Publication
• BIB
Given an Eulerian digraph, we consider the genus distribution of its face-oriented embeddings. We prove that such distribution is log-concave for two families of Eulerian digraphs, thus giving a positive answer for these families to a question asked in Bonnington, Conder, Morton and McKenna (2002). Our proof uses real-rooted polynomials and the representation theory of the symmetric group $\mathbb{S}_n$. The result is also extended to some factorizations of the identity in $\mathbb{S}_n$ that are rotation systems of some families of one-face constellations.
A construction for weak Schur partitions
In 1952, J.H.Braun claimed to have established a formula giving a lower bound for certain partitions of sets of integers into weakly sum-free classes. However, no proof or supporting construction was published at that time. In today's terminology, that claim was equivalent to giving a formulaic lower bound for the weak Schur number $WS(s)$. $WS(s)$ is the maximum number such that there exists a weak Schur partition of the integers from 1 to $WS(s)$, into $s$ subsets. In a weak Schur partition of a set of integers, there can be no three distinct members $a$, $b$ and $c$ in any subset, such that $a+b=c$. An iterative construction described in this paper results in a similar formulaic lower bound. Although different from that given by Braun, it reproduces the result $WS(6) \ge 554$ implied by his formula, and exceeds it for all larger values of $s$. Various starting points can be used as a basis for the iterations. This result itself is no longer remarkable: it has been proven elsewhere that $WS(6) \ge 642$. Even so, it is hoped that the formula and its underlying construction may nevertheless be of interest to those interested in weak Schur partitions and/or the closely-related linear Ramsey graphs.
The Weisfeiler-Leman dimension of distance-hereditary graphs
Published
• View Publication
• BIB
A graph is said to be distance-hereditary if the distance function in every connected induced subgraph is the same as in the graph itself. We prove that the ordinary Weisfeiler-Leman algorithm correctly tests the isomorphism of any two graphs if one of them is distance-hereditary; more precisely, the Weisfeiler-Leman dimension of the class of finite distance-hereditary graphs is equal to $2$. The previously best known upper bound for the dimension was $7$.
Two new families of non-CCA groups
Published
• View Publication
• BIB
We determine two new infinite families of Cayley graphs that admit colour-preserving automorphisms that do not come from the group action. By definition, this means that these Cayley graphs fail to have the CCA (Cayley Colour Automorphism) property, and the corresponding infinite families of groups also fail to have the CCA property. The families of groups consist of the direct product of any dihedral group of order $2n$ where $n \ge 3$ is odd, with either itself, or the cyclic group of order $n$. In particular, this family of examples includes the smallest non-CCA group that had not fit into any previous family of known non-CCA groups.
Two families of graphs that are Cayley on nonisomorphic groups
Published
• View Publication
• BIB
A number of authors have studied the question of when a graph can be represented as a Cayley graph on more than one nonisomorphic group. The work to date has focussed on a few special situations: when the groups are $p$-groups; when the groups have order $pq$; when the Cayley graphs are normal; or when the groups are both abelian. In this paper, we construct two infinite families of graphs, each of which is Cayley on an abelian group and a nonabelian group. These families include the smallest examples of such graphs that had not appeared in other results.
Minimum embedding of any Steiner triple system into a 3-sun system via matchings
Published
• View Publication
• BIB
Let $G$ be a simple finite graph and $G'$ be a subgraph of $G$. A $G'$-design $(X,\cal B)$ of order $n$ is said to be embedded into a $G$-design $(X\cup U,\cal C)$ of order $n+u$, if there is an injective function $f:\cal B\rightarrow \cal C$ such that $B$ is a subgraph of $f(B)$ for every $B\in\cal B$. The function $f$ is called an embedding of $(X,\cal B)$ into $(X\cup U,\cal C)$. If $u$ attains the minimum possible value, then $f$ is a minimum embedding. Here, by means of König's Line Coloring Theorem and edge coloring properties a complete solution is given to the problem of determining a minimum embedding of any $K_3$-design (well-known as Steiner Triple System or, shortly, STS) into a 3-sun system or, shortly, a 3SS (i.e., a $G$-design where $G$ is a graph on six vertices consisting of a triangle with three pendant edges which form a 1-factor).
Isoperimetric and Sobolev inequalities for magnetic graphs
We introduce a concept of isoperimetric dimension for magnetic graphs, that is, graphs where every edge is assigned a complex number of modulus one. In analogy with the classical case, we show that isoperimetric inequalities imply Sobolev inequalities on such graphs. As a first application, we show that the signed Cheeger constant behaves additively with respect to Cartesian products of graphs. Using heat kernel techniques, we also give lower bounds for the eigenvalues of the discrete magnetic Laplacian.
$S$-packing colorings of distance graphs $G(\mathbb{Z},\{2,t\})$
Given a graph $G$ and a non-decreasing sequence $S=(a_1,a_2,\ldots)$ of positive integers, the mapping $f:V(G) \rightarrow \{1,\ldots,k\}$ is an $S$-packing $k$-coloring of $G$ if for any distinct vertices $u,v\in V(G)$ with $f(u)=f(v)=i$ the distance between $u$ and $v$ in $G$ is greater than $a_i$. The smallest $k$ such that $G$ has an $S$-packing $k$-coloring is the $S$-packing chromatic number, $χ_S(G)$, of $G$. In this paper, we consider the distance graphs $G(\mathbb{Z},\{2,t\})$, where $t>1$ is an odd integer, which has $\mathbb{Z}$ as its vertex set, and $i,j\in\mathbb{Z}$ are adjacent if $|i-j|\in\{2,t\}$. We determine the $S$-packing chromatic numbers of the graphs $G(\mathbb{Z},\{2,t\})$, where $S$ is any sequence with $a_i\in\{1,2\}$ for all $i$. In addition, we give lower and upper bounds for the $d$-distance chromatic numbers of the distance graphs $G(\mathbb{Z},\{2,t\})$, which in the cases $d\ge t-3$ give the exact values. Implications for the corresponding $S$-packing chromatic numbers of the circulant graphs are also discussed.
The eigenvalues of the Hessian matrices of the generating functions for trees with $k$ components
Published
• View Publication
• BIB
Let us consider a truncated matroid $M_Γ^{r}$ of rank $r$ of a graphic matroid of a graph $Γ$. The basis for $M_Γ^{r}$ is the set of the forests with $r$ edges in $Γ$. We consider this basis generating function and compute its Hessian. In this paper, we show that the Hessian of the basis generating function of the truncated matroid of the graphic matroid of the complete or complete bipartite graph does not vanish by calculating the eigenvalues of the Hessian matrix. Moreover, we show that the Hessian matrix of the basis generating function of the truncated matroid of the graphic matroid of the complete or complete bipartite graph has exactly one positive eigenvalue. As an application, we show the strong Lefschetz property for the Artinian Gorenstein algebra associated to the truncated matroid.
On growth functions of ordered hypergraphs
For $k,l\ge2$ we consider ideals of edge $l$-colored complete $k$-uniform hypergraphs $(n,χ)$ with vertex sets $[n]=\{1, 2, \dots n\}$ for $n\in\mathbb{N}$. An ideal is a set of such colored hypergraphs that is closed to the relation of induced ordered subhypergraph. We obtain analogues of two results of Klazar [arXiv:0703047] who considered graphs, namely we prove two dichotomies for growth functions of such ideals of colored hypergraphs. The first dichotomy is for any $k,l\ge2$ and says that the growth function is either eventually constant or at least $n-k+2$. The second dichotomy is only for $k=3,l=2$ and says that the growth function of an ideal of edge two-colored complete $3$-uniform hypergraphs grows either at most polynomially, or for $n\ge23$ at least as $G_n$ where $G_n$ is the sequence defined by $G_1=G_2=1$, $G_3=2$ and $G_n = G_{n-1} + G_{n-3}$ for $n\ge4$. The lower bounds in both dichotomies are tight.
New Approximation Algorithms for Maximum Asymmetric Traveling Salesman and Shortest Superstring
In the maximum asymmetric traveling salesman problem (Max ATSP) we are given a complete directed graph with nonnegative weights on the edges and we wish to compute a traveling salesman tour of maximum weight. In this paper we give a fast combinatorial $\frac{7}{10}$-approximation algorithm for Max ATSP. It is based on techniques of {\em eliminating} and {\em diluting} problematic subgraphs with the aid of {\it half-edges} and a method of edge coloring. (A {\it half-edge} of edge $(u,v)$ is informally speaking "either a head or a tail of $(u,v)$".) A novel technique of {\em diluting} a problematic subgraph $S$ consists in a seeming reduction of its weight, which allows its better handling.
The current best approximation algorithms for Max ATSP, achieving the approximation guarantee of $\frac 23$, are due to Kaplan, Lewenstein, Shafrir, Sviridenko (2003) and Elbassioni, Paluch, van Zuylen (2012). Using a result by Mucha, which states that an $α$-approximation algorithm for Max ATSP implies a $(2+\frac{11(1-α)}{9-2α})$-approximation algorithm for the shortest superstring problem (SSP), we obtain also a $(2 \frac{33}{76} \approx 2,434)$-approximation algorithm for SSP, beating the previously best known (having an approximation factor equal to $2 \frac{11}{23} \approx 2,4782$.)
On the cop number of graphs of high girth
Published
• View Publication
• BIB
We establish a lower bound for the cop number of graphs of high girth in terms of the minimum degree, and more generally, in terms of a certain growth condition. We show, in particular, that the cop number of any graph with girth $g$ and minimum degree $δ$ is at least $\tfrac{1}{g}(δ- 1)^{\lfloor \frac{g-1}{4}\rfloor}$. We establish similar results for directed graphs. While exposing several reasons for conjecturing that the exponent $\tfrac{1}{4}g$ in this lower bound cannot be improved to $(\tfrac{1}{4}+\varepsilon)g$, we are also able to prove that it cannot be increased beyond $\frac{3}{8}g$. This is established by considering a certain family of Ramanujan graphs. In our proof of this bound, we also show that the "weak" Meyniel's conjecture holds for expander graph families of bounded degree.
Ordering starlike trees by the totality of their spectral moments
The $k$-th spectral moment $M_k(G)$ of the adjacency matrix of a graph~$G$ represents the number of closed walks of length~$k$ in~$G$. We study here the partial order $\preceq$ of graphs, defined by $G\preceq H$ if $M_k(G)\leq M_k(H)$ for all $k\geq 0$, and are interested in the question when is $\preceq$ a linear order within a specified set of graphs? Our main result is that $\preceq$ is a linear order on each set of starlike trees with constant number of vertices. Recall that a connected graph $G$ is a starlike tree if it has a vertex~$u$ such that the components of $G-u$ are paths, called the branches of~$G$. It turns out that the $\preceq$ ordering of starlike trees with constant number of vertices coincides with the shortlex order of sorted sequence of their branch lengths.
Fragile minor-monotone parameters under random edge perturbation
Published in European J. Combin., 133:104305, 2026
• View Publication
• BIB
We conduct a quantitative analysis of how many random edges need to be added to a base graph $H$ in order to significantly increase natural minor-monotone graph parameters of the resulting graph $R$. Specifically, we show that if $R$ is obtained from a connected graph $H$ by adding only a few random edges, the tree-width, genus, and Hadwiger number of $R$ become very large, irrespective of the structure of $H$.
Improved bounds for some facially constrained colorings
Published in Discuss. Math. Graph Theory 2020
• View Publication
• BIB
A facial-parity edge-coloring of a $2$-edge-connected plane graph is a facially-proper edge-coloring in which every face is incident with zero or an odd number of edges of each color. A facial-parity vertex-coloring of a $2$-connected plane graph is a facially-proper vertex-coloring in which every face is incident with zero or an odd number of vertices of each color. Czap and Jendroľ (in Facially-constrained colorings of plane graphs: A survey, Discrete Math. 340 (2017), 2691--2703), conjectured that $10$ colors suffice in both colorings. We present an infinite family of counterexamples to both conjectures.
A facial $(P_{k}, P_{\ell})$-WORM coloring of a plane graph $G$ is a coloring of the vertices such that $G$ contains no rainbow facial $k$-path and no monochromatic facial $\ell$-path. Czap, Jendroľ and Valiska (in WORM colorings of planar graphs, Discuss. Math. Graph Theory 37 (2017), 353--368), proved that for any integer $n\ge 12$ there exists a connected plane graph on $n$ vertices, with maximum degree at least $6$, having no facial $(P_{3},P_{3})$-WORM coloring. They also asked if there exists a graph with maximum degree $4$ having the same property. We prove that for any integer $n\ge 18$, there exists a connected plane graph, with maximum degree $4$, with no facial $(P_{3},P_{3})$-WORM coloring.
Babai's conjecture for high-rank classical groups with random generators
Published
• View Publication
• BIB
Let $G = \mathrm{SCl}_n(q)$ be a quasisimple classical group with $n$ large, and let $x_1, \dots, x_k \in G$ random, where $k \geq q^C$. We show that the diameter of the resulting Cayley graph is bounded by $q^2 n^{O(1)}$ with probability $1 - o(1)$. In the particular case $G = \mathrm{SL}_n(p)$ with $p$ a prime of bounded size, we show that the same holds for $k = 3$.