graph
35367 papers tagged with this keyword
Proper Conflict-free Coloring of Graphs with Large Maximum Degree
Published in SIAM J. Discrete Math. 38 (2024), 3004-3027
• View Publication
• BIB
A proper coloring of a graph is \emph{conflict-free} if, for every non-isolated vertex, some color is used exactly once on its neighborhood. Caro, Petruševski, and Škrekovski proved that every graph $G$ has a proper conflict-free coloring with at most $5Δ(G)/2$ colors and conjectured that $Δ(G)+1$ colors suffice for every connected graph $G$ with $Δ(G)\ge 3$. Our first main result is that even for list-coloring, $\left\lceil 1.6550826Δ(G)+\sqrt{Δ(G)}\right\rceil$ colors suffice for every graph $G$ with $Δ(G)\ge 10^{8}$; we also prove slightly weaker bounds for all graphs with $Δ(G)\ge 750$. These results follow from our more general framework on proper conflict-free list-coloring of a pair consisting of a graph $G$ and a "conflict" hypergraph ${\mathcal H}$. As another corollary of our results in this general framework, every graph has a proper $(\sqrt{30}+o(1))Δ(G)^{1.5}$-list-coloring such that every bi-chromatic component is a path on at most three vertices, where the number of colors is optimal up to a constant factor. Our proof uses a fairly new type of recursive counting argument called Rosenfeld counting, which is a variant of the Lovász Local Lemma or entropy compression.
We also prove an asymptotically optimal result for a fractional analogue of our general framework for proper conflict-free coloring for pairs of a graph and a conflict hypergraph. A corollary states that every graph $G$ has a fractional $(1+o(1))Δ(G)$-coloring such that every fractionally bi-chromatic component has at most two vertices. In particular, it implies that the fractional analogue of the conjecture of Caro et al.\ holds asymptotically in a strong sense.
Two stability theorems for $\mathcal{K}_{\ell + 1}^{r}$-saturated hypergraphs
Published
• View Publication
• BIB
An $\mathcal{F}$-saturated $r$-graph is a maximal $r$-graph not containing any member of $\mathcal{F}$ as a subgraph. Let $\mathcal{K}_{\ell + 1}^{r}$ be the collection of all $r$-graphs $F$ with at most $\binom{\ell+1}{2}$ edges such that for some $\left(\ell+1\right)$-set $S$ every pair $\{u, v\} \subset S$ is covered by an edge in $F$. Our first result shows that for each $\ell \geq r \geq 2$ every $\mathcal{K}_{\ell+1}^{r}$-saturated $r$-graph on $n$ vertices with $t_{r}(n, \ell) - o(n^{r-1+1/\ell})$ edges contains a complete $\ell$-partite subgraph on $(1-o(1))n$ vertices, which extends a stability theorem for $K_{\ell+1}$-saturated graphs given by Popielarz, Sahasrabudhe and Snyder. We also show that the bound is best possible. Our second result is motivated by a celebrated theorem of Andrásfai, Erdős and Sós which states that for $\ell \geq 2$ every $K_{\ell+1}$-free graph $G$ on $n$ vertices with minimum degree $δ(G) > \frac{3\ell-4}{3\ell-1}n$ is $\ell$-partite. We give a hypergraph version of it. The \emph{minimum positive co-degree} of an $r$-graph $\mathcal{H}$, denoted by $δ_{r-1}^{+}(\mathcal{H})$, is the maximum $k$ such that if $S$ is an $(r-1)$-set contained in a edge of $\mathcal{H}$, then $S$ is contained in at least $k$ distinct edges of $\mathcal{H}$. Let $\ell\ge 3$ be an integer and $\mathcal{H}$ be a $\mathcal{K}_{\ell+1}^3$-saturated $3$-graph on $n$ vertices. We prove that if either $\ell \ge 4$ and $δ_{2}^{+}(\mathcal{H}) > \frac{3\ell-7}{3\ell-1}n$; or $\ell = 3$ and $δ_{2}^{+}(\mathcal{H}) > 2n/7$, then $\mathcal{H}$ is $\ell$-partite; and the bound is best possible. This is the first stability result on minimum positive co-degree for hypergraphs.
Note on Sombor index of connected graphs with given degree sequence
Published
• View Publication
• BIB
For a simple connected graph $G=(V,E)$, let $d(u)$ be the degree of the vertex $u$ of $G$. The general Sombor index of $G$ is defined as $$SO_α(G)=\sum_{uv\in E} \left[d(u)^2+d(v)^2\right]^α$$ where $SO(G)=SO_{0.5}(G)$ is the recently invented Sombor index. In this paper, we show that in the class of connected graphs with a fixed degree sequence (for which the minimum degree being equal to one), there exists a special extremal $BFS$-graph with minimum general Sombor index for $0<α<1$ (resp. maximum general Sombor index for either $α>1$ or $α<0$). Moreover, for any given tree, unicyclic, and bicyclic degree sequences with minimum degree 1, there exists a unique extremal $BFS$-graph with minimum general Sombor index for $0<α<1$ and maximum general Sombor index for either $α>1$ or $α<0$.
Minimum degree of minimal (\emph{n}-10)-factor-critical graphs
Published
• View Publication
• BIB
A graph $G$ of order $n$ is said to be $k$-factor-critical
for integers $1\leq k < n$, if the removal of any $k$
vertices results in a graph with a perfect matching.
A $k$-factor-critical graph $G$
is called minimal if for any edge $e\in E(G)$, $G-e$ is not $k$-factor-critical.
In 1998, O. Favaron and M. Shi conjectured that every minimal $k$-factor-critical graph
of order $n$ has the minimum degree $k+1$ and confirmed it for $k=1, n-2, n-4$ and $n-6$.
By using a novel approach, we have confirmed it for $k = n - 8$ in a previous paper.
Continuing this method, we prove the conjecture to be true for $k=n-10$ in this paper.
Graphs without a rainbow path of length 3
In 1959 Erdős and Gallai proved the asymptotically optimal bound for the maximum number of edges in graphs not containing a path of a fixed length. Here we study a rainbow version of their theorem, in which one considers $k \geq 1$ graphs on a common set of vertices not creating a path having edges from different graphs and asks for the maximum number of edges in each graph. We prove the asymptotically optimal bound in the case of a path on three edges and any $k \geq 1$.
Separating rank 3 graphs
Published
• View Publication
• BIB
We classify, up to some notoriously hard cases, the rank 3 graphs which fail to meet either the Delsarte or the Hoffman bound. As a consequence, we resolve the question of separation for the corresponding rank 3 primitive groups and give new examples of synchronising, but not $\mathbb{Q}\mathrm{I}$, groups of affine type.
Some exact values on Ramsey numbers related to fans
For two given graphs $F$ and $H$, the Ramsey number $R(F,H)$ is the smallest integer $N$ such that any red-blue edge-coloring of the complete graph $K_N$ contains a red $F$ or a blue $H$. When $F=H$, we simply write $R_2(H)$. For an positive integer $n$, let $K_{1,n}$ be a star with $n+1$ vertices, $F_n$ be a fan with $2n+1$ vertices consisting of $n$ triangles sharing one common vertex, and $nK_3$ be a graph with $3n$ vertices obtained from the disjoint union of $n$ triangles. In 1975, Burr, Erdős and Spencer \cite{B} proved that $R_2(nK_3)=5n$ for $n\ge2$. However, determining the exact value of $R_2(F_n)$ is notoriously difficult. So far, only $R_2(F_2)=9$ has been proved. Notice that both $F_n$ and $nK_3$ contain $n$ triangles and $|V(F_n)|<|V(nK_3)|$ for all $n\ge 2$. Chen, Yu and Zhao (2021) speculated that $R_2(F_n)\le R_2(nK_3)=5n$ for $n$ sufficiently large. In this paper, we first prove that $R(K_{1,n},F_n)=3n-\varepsilon$ for $n\ge1$, where $\varepsilon=0$ if $n$ is odd and $\varepsilon=1$ if $n$ is even. Applying the exact values of $R(K_{1,n},F_n)$, we will confirm $R_2(F_n)\le 5n$ for $n=3$ by showing that $R_2(F_3)=14$.
Orientable domination in product-like graphs
Published
• View Publication
• BIB
The orientable domination number, ${\rm DOM}(G)$, of a graph $G$ is the largest domination number over all orientations of $G$. In this paper, ${\rm DOM}$ is studied on different product graphs and related graph operations. The orientable domination number of arbitrary corona products is determined, while sharp lower and upper bounds are proved for Cartesian and lexicographic products. A result of Chartrand et al. from 1996 is extended by establishing the values of ${\rm DOM}(K_{n_1,n_2,n_3})$ for arbitrary positive integers $n_1,n_2$ and $n_3$. While considering the orientable domination number of lexicographic product graphs, we answer in the negative a question concerning domination and packing numbers in acyclic digraphs posed in [Domination in digraphs and their direct and Cartesian products, J. Graph Theory 99 (2022) 359-377].
Magnitude, homology, and the Whitney twist
Published in Homology, Homotopy and Applications 26(1):105--130, 2024
• View Publication
• BIB
Magnitude is a numerical invariant of metric spaces and graphs, analogous, in a precise sense, to Euler characteristic. Magnitude homology is an algebraic invariant constructed to categorify magnitude. Among the important features of the magnitude of graphs is its behaviour with respect to an operation known as the Whitney twist. We give a homological account of magnitude's invariance under Whitney twists, extending the previously known result to encompass a substantially wider class of gluings. As well as providing a new tool for the computation of magnitudes, this is the first new theorem about magnitude to be proved using magnitude homology.
Kronecker coefficients from algebras of bi-partite ribbon graphs
Published in Eur. Phys. J. Spec. Top. (2023)
• View Publication
• BIB
Bi-partite ribbon graphs arise in organising the large $N$ expansion of correlators in random matrix models and in the enumeration of observables in random tensor models. There is an algebra $\mathcal{K}(n)$, with basis given by bi-partite ribbon graphs with $n$ edges, which is useful in the applications to matrix and tensor models. The algebra $\mathcal{K}(n)$ is closely related to symmetric group algebras and has a matrix-block decomposition related to Clebsch-Gordan multiplicities, also known as Kronecker coefficients, for symmetric group representations. Quantum mechanical models which use $\mathcal{K}(n)$ as Hilbert spaces can be used to give combinatorial algorithms for computing the Kronecker coefficients.
Characterizing and recognizing exact-distance squares of graphs
Published
• View Publication
• BIB
For a graph $G=(V,E)$, its exact-distance square, $G^{[\sharp 2]}$, is the graph with vertex set $V$ and with an edge between vertices $x$ and $y$ if and only if $x$ and $y$ have distance (exactly) $2$ in $G$. The graph $G$ is an exact-distance square root of $G^{[\sharp 2]}$. We give a characterization of graphs having an exact-distance square root, our characterization easily leading to a polynomial-time recognition algorithm. We show that it is NP-complete to recognize graphs with a bipartite exact-distance square root. These two results strongly contrast known results on (usual) graph squares. We then characterize graphs having a tree as an exact-distance square root, and from this obtain a polynomial-time recognition algorithm for these graphs. Finally, we show that, unlike for usual square roots, a graph might have (arbitrarily many) non-isomorphic exact-distance square roots which are trees.
Periodicity of bipartite walk on biregular graphs with conditional spectra
Published
• View Publication
• BIB
In this paper we study a class of discrete quantum walks, known as bipartite walks. These include the well-known Grover's walks. Any discrete quantum walk is given by the powers of a unitary matrix $U$ indexed by arcs or edges of the underlying graph. The walk is periodic if $U^k=I$ for some positive integer $k$. Kubota has given a characterization of periodicity of Grover's walk when the walk is defined on a regular bipartite graph with at most five eigenvalues. We extend Kubota's results--if a biregular graph $G$ has eigenvalues whose squares are algebraic integers with degree at most two, we characterize periodicity of the bipartite walk over $G$ in terms of its spectrum. We apply periodicity results of bipartite walks to get a characterization of periodicity of Grover's walk on regular graphs.
Asymptotics of local face distributions and the face distribution of the complete graph
Published
• View Publication
• BIB
We are interested in the distribution of the number of faces across all the $2-$cell embeddings of a graph, which is equivalent to the distribution of genus by Euler's formula. In order to study this distribution, we consider the local distribution of faces at a single vertex. We show an asymptotic uniformity on this local face distribution which holds for any graph with large vertex degrees.
We use this to study the usual face distribution of the complete graph. We show that in this case, the local face distribution determines the face distribution for almost all of the whole graph. We use this result to show that a portion of the complete graph of size $(1-o(1))|K_n|$ has the same face distribution as the set of all permutations, up to parity. Along the way, we prove new character bounds and an asymptotic uniformity on conjugacy class products.
Rainbow copies of $F$ in families of $H$
We study the following problem. How many distinct copies of $H$ can an $n$-vertex graph $G$ have, if $G$ does not contain a rainbow $F$, that is, a copy of $F$ where each edge is contained in a different copy of $H$? The case $H=K_r$ is equivalent to the Turán problem for Berge hypergraphs, which has attracted several researchers recently. We also explore the connection of our problem to the so-called generalized Turán problems. We obtain several exact results. In the particularly interesting symmetric case where $H=F$, we completely solve the case $F$ is the 3-edge path, and asymptitically solve the case $F$ is a book graph.
Dual Cheeger constant for weighted graphs over ordered fields
We consider a dual Cheeger constant $\overline h$ for finite graphs with edge weights from an arbitrary real-closed ordered field. We obtain estimates of $\overline h$ in terms of number of vertices in graph. Further, we estimate the largest eigenvalue for the discrete Laplace operator in terms of $\overline h$ and show the sharpness of estimates. As an example we consider graphs over non-Archimedean field of the Levi-Civita numbers.
Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes
Published
• View Publication
• BIB
The disjoint paths logic, FOL+DP, is an extension of First-Order Logic (FOL) with the extra atomic predicate $\mathsf{dp}_k(x_1,y_1,\ldots,x_k,y_k),$ expressing the existence of internally vertex-disjoint paths between $x_i$ and $y_i,$ for $i\in\{1,\ldots, k\}$. This logic can express a wide variety of problems that escape the expressibility potential of FOL. We prove that for every proper minor-closed graph class, model-checking for FOL+DP can be done in quadratic time. We also introduce an extension of FOL+DP, namely the scattered disjoint paths logic, FOL+SDP, where we further consider the atomic predicate $s{\sf -sdp}_k(x_1,y_1,\ldots,x_k,y_k),$ demanding that the disjoint paths are within distance bigger than some fixed value $s$. Using the same technique we prove that model-checking for FOL+SDP can be done in quadratic time on classes of graphs with bounded Euler genus.
Erdös-Rényi Poissonized
Published
• View Publication
• BIB
We introduce a variant of the Erdös--Rényi random graph where the number of vertices is random and follows a Poisson law. A very simple Markov property of the model entails that the Lukasiewicz exploration is made of \textit{independent} Poisson increments. Using a vanilla Poisson counting process, this enables us to give very short proofs of classical results such as the phase transition for the giant component or the connectedness for the standard Erdös--Rényi model.
A note on unavoidable patterns in locally dense colourings
We show that there is a constant $C$ such that for every $\varepsilon>0$ any $2$-coloured $K_n$ with minimum degree at least $n/4+\varepsilon n$ in both colours contains a complete subgraph on $2t$ vertices where one colour class forms a $K_{t,t}$, provided that $n\geq \varepsilon^{-Ct}$. Also, we prove that if $K_n$ is $2$-coloured with minimum degree at least $\varepsilon n$ in both colours then it must contain one of two natural colourings of a complete graph. Both results are tight up to the value of $C$ and they answer two recent questions posed by Kamčev and Müyesser.
Counting Deranged Matchings
Published
• View Publication
• BIB
Let $\mathrm{pm}(G)$ denote the number of perfect matchings of a graph $G$, and let $K_{r\times 2n/r}$ denote the complete $r$-partite graph where each part has size $2n/r$. Johnson, Kayll, and Palmer conjectured that for any perfect matching $M$ of $K_{r\times 2n/r}$, we have for $2n$ divisible by $r$ \[\frac{\mathrm{pm}(K_{r\times 2n/r}-M)}{\mathrm{pm}(K_{r\times 2n/r})}\sim e^{-r/(2r-2)}.\] This conjecture can be viewed as a common generalization of counting the number of derangements on $n$ letters, and of counting the number of deranged matchings of $K_{2n}$. We prove this conjecture. In fact, we prove the stronger result that if $R$ is a uniformly random perfect matching of $K_{r\times 2n/r}$, then the number of edges that $R$ has in common with $M$ converges to a Poisson distribution with parameter $\frac{r}{2r-2}$.
Flows of 3-edge-colorable cubic signed graphs
Published
• View Publication
• BIB
Bouchet conjectured in 1983 that every flow-admissible signed graph admits a nowhere-zero 6-flow which is equivalent to the restriction to cubic signed graphs. In this paper, we proved that every flow-admissible $3$-edge-colorable cubic signed graph admits a nowhere-zero $10$-flow. This together with the 4-color theorem implies that every flow-admissible bridgeless planar signed graph admits a nowhere-zero $10$-flow. As a byproduct, we also show that every flow-admissible hamiltonian signed graph admits a nowhere-zero $8$-flow.