graph
34516 papers tagged with this keyword
Perfect matchings and loose Hamilton cycles in the semirandom hypergraph model
Published
• View Publication
• BIB
We study the 2-offer semirandom 3-uniform hypergraph model on $n$ vertices. At each step, we are presented with 2 uniformly random vertices. We choose any other vertex, thus creating a hyperedge of size 3. We show a strategy that constructs a perfect matching, and another that constructs a loose Hamilton cycle, both succeeding asymptotically almost surely within $Θ(n)$ steps. Both results extend to $s$-uniform hypergraphs. The challenges with hypergraphs, and our methods, are qualitatively different from what has been seen for semirandom graphs. Much of our analysis is done on an auxiliary graph that is a uniform $k$-out subgraph of a random bipartite graph, and this tool may be useful in other contexts.
Eulerian 2-Complexes
Published in Mathematics magazine, vol. 97, no. 1, Feb. 2024
• View Publication
• BIB
It is shown that Euler's theorem for graphs can be generalized for 2-complexes. Two notions that generalize cycle and Eulerian tour are introduced (``circlet'' and ``Eulerian cover''), and we show that for a strongly-connected, pure 2-complex, the following are equivalent: (i) each edge meets a positive even number of 2-cells (faces), (ii) the complex can be decomposed as the face-disjoint union of circlets, and (iii) the complex has an Eulerian cover. A number of examples are provided.
Structure of betweenness uniform graphs with low values of betweenness centrality
Published
• View Publication
• BIB
This work deals with undirected graphs that have the same betweenness centrality for each vertex, so-called betweenness uniform graphs (or BUGs). The class of these graphs is not trivial and its classification is still an open problem. Recently, Gago, Coroničová-Hurajová and Madaras conjectured that for every rational $α\ge 3/4$ there exists a BUG having betweenness centrality~$α$. We disprove this conjecture, and provide an alternative view of the structure of betweenness-uniform graphs from the point of view of their complement. This allows us to characterise all the BUGs with betweennes centrality at most 9/10, and show that their betweenness centrality is equal to $\frac{\ell}{\ell+1}$ for some integer $\ell\le 9$. We conjecture that this characterization extends to all the BUGs with betweenness centrality smaller than~1.
Polynomial graph invariants induced from the ${\mathfrak gl}$-weight system
Published
• View Publication
• BIB
Weight systems are functions on chord diagrams satisfying so-called Vassiliev's $4$-term relations. They are closely related to finite type knot invariants introduced by Vassiliev.
Certain weight systems can be derived from graph invariants. Another main source of weight systems are Lie algebras. In recent papers, the weight systems associated to Lie algebras ${\mathfrak gl}(N)$ were unified in a universal ${\mathfrak gl}$-weight system, which takes values in the ring of polynomials in infinitely many variables. The unification has been achieved by extending the ${\mathfrak gl}(N)$-weight systems from chord diagrams to arbitrary permutations.
A natural question then arises, namely, which already known weight systems can be obtained from the universal ${\mathfrak gl}$ weight system. In addition to understanding the internal relationship between weight systems, knowing that a given weight system can be induced from the ${\mathfrak gl}$-weight system would immediately lead to extending the former to arbitrary permutations.
To each chord diagram, one can associate a graph, called the intersection graph of the chord diagram. Certain weight systems are completely determined by the intersection graphs. In general, the relationship between Lie algebra weight systems and polynomial graph invariants looks rather complicated.
Our main result in the present paper consists in showing that the well-known graph and delta-matroid invariant, the interlace polynomial, can be induced from the universal ${\mathfrak gl}$-weight system. We provide an explicit substitution making the ${\mathfrak gl}$-weight system into the interlace polynomial for chord diagrams and their intersection graphs.
Total Matching and Subdeterminants
Published
• View Publication
• BIB
In the total matching problem, one is given a graph $G$ with weights on the vertices and edges. The goal is to find a maximum weight set of vertices and edges that is the non-incident union of a stable set and a matching.
We consider the natural formulation of the problem as an integer program (IP), with variables corresponding to vertices and edges. Let $M = M(G)$ denote the constraint matrix of this IP. We define $Δ(G)$ as the maximum absolute value of the determinant of a square submatrix of $M$.
We show that the total matching problem can be solved in strongly polynomial time provided $Δ(G) \leq Δ$ for some constant $Δ\in \mathbb{Z}_{\ge 1}$. We also show that the problem of computing $Δ(G)$ admits an FPT algorithm. We also establish further results on $Δ(G)$ when $G$ is a forest.
Extending simple monotone drawings
Published in Combinatorial Algorithms (2025) 17-30
• View Publication
• BIB
We prove the following variant of Levi's Enlargement Lemma: for an arbitrary arrangement $\mathcal{A}$ of $x$-monotone pseudosegments in the plane and a pair of points $a,b$ with distinct $x$-coordinates and not on the same pseudosegment, there exists a simple $x$-monotone curve with endpoints $a,b$ that intersects every curve of $\mathcal{A}$ at most once. As a consequence, every simple monotone drawing of a graph can be extended to a simple monotone drawing of a complete graph. We also show that extending an arrangement of cylindrically monotone pseudosegments is not always possible; in fact, the corresponding decision problem is NP-hard.
A new view of hypercube genus
Published in American Math. Monthly 128 (4) (2021) 352-359
• View Publication
• BIB
Beineke, Harary and Ringel discovered a formula for the minimum genus of a torus in which the $n$-dimensional hypercube graph can be embedded. We give a new proof of the formula by building this surface as a union of certain faces in the hypercube's 2-skeleton. For odd dimension $n$, the entire 2-skeleton decomposes into $(n-1)/2$ copies of the surface, and the intersection of any two copies is the hypercube graph.
Answers to Gould's question concerning the existence of chorded cycles
Published
• View Publication
• BIB
Answers are offered to the Gould's question to find spectral sufficient conditions for a graph to have a chorded cycle via signless Laplacian spectral radius. The conditions are tight.
A refinement of Kelly's lemma for graph reconstruction for counting rooted subgraphs
Kelly's lemma is a basic result on graph reconstruction. It states that given the deck of a graph $G$ on $n$ vertices, and a graph $F$ on fewer than $n$ vertices, we can count the number of subgraphs of $G$ that are isomorphic to $F$. Moreover, for a given card $G-v$ in the deck, we can count the number of subgraphs of $G$ that are isomorphic to $F$ and that contain $v$. We consider the problem of refining the lemma to count rooted subgraphs such that the root vertex coincides the deleted vertex. We show that such counting is not possible in general, but a multiset of rooted subgraphs of a fixed height $k$ can be counted if $G$ has radius more than $k$. We also prove a similar result for the edge reconstruction problem.
Hadwiger's conjecture and topological bounds
Published
• View Publication
• BIB
The Odd Hadwiger's conjecture, formulated by Gerards and Seymour in 1995, is a substantial strengthening of Hadwiger's famous coloring conjecture from 1943. We investigate whether the hierarchy of topological lower bounds on the chromatic number, introduced by Matoušek and Ziegler (2003) and refined recently by Daneshpajouh and Meunier (2023), forms a potential avenue to a disproof of Hadwiger's conjecture or its odd-minor variant.
In this direction, we prove that, in a very general sense, every graph $G$ that admits a topological lower bound of $t$ on its chromatic number, contains $K_{\lfloor t/2\rfloor +1}$ as an odd-minor. This solves a problem posed by Simonyi and Zsbán [European Journal of Combinatorics, 31(8), 2110--2119 (2010)].
We also prove that if for a graph $G$ the Dol'nikov-Kříž lower bound on the chromatic number (one of the lower bounds in the aforementioned hierarchy) attains a value of at least $t$, then $G$ contains $K_t$ as a minor.
Finally, extending results by Simonyi and Zsbán, we show that the Odd Hadwiger's conjecture holds for Schrijver and Kneser graphs for any choice of the parameters. The latter are canonical examples of graphs for which topological lower bounds on the chromatic number are tight.
Bounds and extremal graphs for the energy of complex unit gain graphs
Published
• View Publication
• BIB
A complex unit gain graph ($ \mathbb{T} $-gain graph), $ Φ=(G, \varphi) $ is a graph where the gain function $ \varphi $ assigns a unit complex number to each orientation of an edge of $ G $ and its inverse is assigned to the opposite orientation. The associated adjacency matrix $ A(Φ) $ is defined canonically. The energy $ \mathcal{E}(Φ) $ of a $ \mathbb{T} $-gain graph $ Φ$ is the sum of the absolute values of all eigenvalues of $ A(Φ) $. For any connected triangle-free $ \mathbb{T} $-gain graph $ Φ$ with the minimum vertex degree $ δ$, we establish a lower bound $ \mathcal{E}(Φ)\geq 2δ$ and characterize the equality. Then, we present a relationship between the characteristic and the matching polynomial of $ Φ$. Using this, we obtain an upper bound for the energy $ \mathcal{E}(Φ)\leq 2μ\sqrt{2Δ_e+1} $ and characterize the classes of graphs for which the bound sharp, where $ μ$ and $ Δ_e$ are the matching number and the maximum edge degree of $ Φ$, respectively. Further, for any unicyclic graph $ G $, we study the gains for which the gain energy $ \mathcal{E}(Φ) $ attains the maximum/minimum among all $ \mathbb{T} $-gain graphs defined on $G$.
Disjoint list-colorings for planar graphs
One of Thomassen's classical results is that every planar graph of girth at least $5$ is 3-choosable. One can wonder if for a planar graph $G$ of girth sufficiently large and a $3$-list-assignment $L$, one can do even better. Can one find $3$ disjoint $L$-colorings (a packing), or $2$ disjoint $L$-colorings, or a collection of $L$-colorings that to every vertex assigns every color on average in one third of the cases (a fractional packing)? We prove that the packing is impossible, but two disjoint $L$-colorings are guaranteed if the girth is at least $8$, and a fractional packing exists when the girth is at least $6.$
For a graph $G$, the least $k$ such that there are always $k$ disjoint proper list-colorings whenever we have lists all of size $k$ associated to the vertices is called the list packing number of $G$. We lower the two-times-degeneracy upper bound for the list packing number of planar graphs of girth $3,4$ or $5$. As immediate corollaries, we improve bounds for $ε$-flexibility of classes of planar graphs with a given girth. For instance, where previously Dvořák et al. proved that planar graphs of girth $6$ are (weighted) $ε$-flexibly $3$-choosable for an extremely small value of $ε$, we obtain the optimal value $ε=\frac{1}{3}$. Finally, we completely determine and show interesting behavior on the packing numbers for $H$-minor-free graphs for some small graphs $H.$
Families of Linearly $χ$-bounded Graphs without Chair or its Induced Sub-graphs
A hereditary class H of graphs is $χ$-bounded if there is a $χ$-binding function f such that for every $G$ in $H$, $χ(G)$ less than or equal to $f(ω(G))$. Here we prove that if a graph $G$ is free of 1. {Chair; P$_4$+K$_1$} or 2. {Chair; HVN}, then $χ(G)$ is linearly bounded by maximum clique size of G. We further prove that if $G$ is free of 3. {P$_4$+K$_1$; P$_3$ $\cup$ K$_1$} or 4. {P4+K1; K$_2$ $\cup$ 2K$_1$} or 5. {HVN; P$_3$ $\cup$ K$_1$} or 6. {HVN; K$_2$ $\cup$ 2K$_1$} or 7. {K$_{5-e}$; P$_3$ $\cup$ K$_1$} or 8. {K$_{5-e}$; K$_2$ $\cup$ 2K$_1$}, then there is a tight linear $χ$-bound for $G$.
On the complexity of Cayley graphs on a dihedral group
Published
• View Publication
• BIB
In this paper, we investigate the complexity of an infinite family of Cayley graphs $\mathcal{D}_{n}=Cay(\mathbb{D}_{n}, b^{\pmβ_1},b^{\pmβ_2},\ldots,b^{\pmβ_s}, a b^{γ_1}, a b^{γ_2},\ldots, a b^{γ_t} )$ on the dihedral group $\mathbb{D}_{n}=\langle a,b| a^2=1, b^n=1,(a\,b)^2=1\rangle$ of order $2n.$
We obtain a closed formula for the number $τ(n)$ of spanning trees in $\mathcal{D}_{n}$ in terms of Chebyshev polynomials, investigate some arithmetical properties of this function, and find its asymptotics as $n\to\infty.$ Moreover, we show that the generating function $F(x)=\sum\limits_{n=1}^\inftyτ(n)x^n$ is a rational function with integer coefficients.
Kromatic quasisymmetric functions
Published in Electron. J. Combin. 32 (2025), no. 1, Research Paper 11
• View Publication
• BIB
We provide a construction for the kromatic symmetric function $\overline{X}_G$ of a graph introduced by Crew, Pechenik, and Spirkl using combinatorial (linearly compact) Hopf algebras. As an application, we show that $\overline{X}_G$ has a positive expansion into multifundamental quasisymmetric functions. We also study two related quasisymmetric $q$-analogues of $\overline{X}_G$, which are $K$-theoretic generalizations of the quasisymmetric chromatic function of Shareshian and Wachs. We classify exactly when one of these analogues is symmetric. For the other, we derive a positive expansion into symmetric Grothendieck functions when $G$ is the incomparability graph of a natural unit interval order.
A tight bound on $\{C_3,C_5\}$-free connected graphs with positive Lin-Lu-Yau Ricci curvature
Published
• View Publication
• BIB
In this paper, we prove that any simple $\{C_3,C_5\}$-free non-empty connected graph $G$ with LLY curvature bounded below by $κ>0$ has the order at most $2^{\frac{2}κ}$. This upper bound is achieved if and only if $G$ is a hypercube $Q_d$ and $κ=\frac{2}{d}$ for some integer $d\geq 1$.
Eigenvalues and factors: a survey
A factor of a graph is a spanning subgraph satisfying some given conditions. An earlier survey of factors can be traced back to the Akiyama and Kano [J. Graph Theory, 1985, 9: 1-42] in which they described the characterization of factors in (bipartite) graphs and digraphs, respectively. Soon after, Kouider and Vestergaard summarized the findings related to connected factors [Graphs Combin., 2005, 21(1): 1-26]. Plummer extended the aforementioned research by providing a comprehensive overview of progress made in the study of graph factors and factorization from 1985 to 2003 [Discrete Math., 2007, 7-8: 791-821]. In this paper, we aim to summarize the relevant results regarding factors from the perspective of eigenvalues.
On rainbow Turán Densities of Trees
Published
• View Publication
• BIB
For a given collection $\mathcal{G} = (G_1,\dots, G_k)$ of graphs on a common vertex set $V$, which we call a \emph{graph system}, a graph $H$ on a vertex set $V(H) \subseteq V$ is called a \emph{rainbow subgraph} of $\mathcal{G}$ if there exists an injective function $ψ:E(H) \rightarrow [k]$ such that $e \in G_{ψ(e)}$ for each $e\in E(H)$. The maximum value of $\min_{i}\{|E(G_i)|\}$ over $n$-vertex graph systems $\mathcal{G}$ having no rainbow subgraph isomorphic to $H$ is called the rainbow Turán number $\mathrm{ex}_k^{\ast}(n, H)$ of $H$.
In this article, we study the rainbow Turán density $π_k^{\ast}(T) = \lim_{n \rightarrow \infty} \frac{\mathrm{ex}_k^{\ast}(n, T)}{\binom{n}{2}}$ of a tree $T$. While the classical Turán density $π(H)$ of a graph $H$ lies in the set $\{1-\frac{1}{t} : t\in \mathbb{N}\}$, the rainbow Turán density exhibits different behaviors as it can even be an irrational number. Nevertheless, we conjecture that the rainbow Turán density is always an algebraic number. We provide evidence for this conjecture by proving that the rainbow Turán density of a tree is an algebraic number. To show this, we identify the structure of extremal graphs for rainbow trees. Moreover, we further determine all tuples $(α_1,\dots, α_k)$ such that every graph system $(G_1,\dots,G_k)$ satisfying $|E(G_i)|>(α_i+o(1))\binom{n}{2}$ contains all rainbow $k$-edge trees. In the course of proving these results, we also develop the theory on the limit of graph systems.
Truncated degree DP-colourability of $K_{2,4}$-minor free graphs
Assume $G$ is a graph and $k$ is a positive integer. Let $f$ from $V(G)$ to $ N$ be defined as $f(v)$ is the minimum of $k$ and $d(v)$. If $G$ is $f$-DP-colourable (respectively, $f$-choosable), then we say $G$ is $k$-truncated degree DP-colourable (respectively, $k$-truncated degree-choosable). Hutchinson proved that 2-connected maximal outerplanar graphs other than the triangle are $5$-truncated degree-choosable, and asked whether the result can be extended to all outerplanar graphs, and the question remained open.
This paper proves that 2-connected $K24$-minor free graphs other than cycles and complete graphs are $5$-truncated degree DP-colourable. This not only answers Hutchinson's question in the affirmative, but also extends to a larger family of graphs, and strengthens choosability to DP-colourability.
Maximal signed bipartite graphs with totally disconnected graphs as star complements
Published
• View Publication
• BIB
Let $\dot{\mathscr{B}}\triangleq \dot{\mathscr{B}}_{\dot{H}, μ}$ denote an arbitrary signed bipartite graph with $\dot{H}$ as a star complement for an eigenvalue $μ$, where $\dot{H}$ is a totally disconnected graph of order $s$. In this paper, by using Hadamard and Conference matrices as tools, the maximum order of $\dot{\mathscr{B}}$ and the extremal graphs are studied. It is shown that $\dot{\mathscr{B}}$ exists if and only if $μ^2$ is a positive integer. A formula of the maximum order of $\dot{\mathscr{B}}$ is given in the case of $μ^2=p\times q$ such that $p$, $q$ are integers and there exists a $p$-order Hadamard or $(p+1)$-order Conference matrix. In particular, it is proved the maximum order of $\dot{\mathscr{B}}$ is $2s$ when either $q=1$, $s=cμ^2=cp$ or $q=1$, $s=c(μ^2+1)=c(p+1)$, $ c=1,2,3,\cdots$. Futhermore, some extremal graphs are characterized.