graph
34516 papers tagged with this keyword
Dirac's theorem and the switch geometry of perfect matchings
Let $G$ be a graph on an even number $n$ of vertices and let ${\cal M}_G$ be the collection of perfect matchings in $G$. Dirac's theorem says that if the minimum degree $δ(G)$ of $G$ is at least $n/2$, then ${\cal M}_G$ is guaranteed to be non-empty, while this is not necessarily the case if $δ(G) \le n/2-1$. Given an integer $k\ge 2$, let $\mathcal H_k(G)$ be the reconfiguration graph formed on ${\cal M}_G$ by connecting two distinct $M_1,M_2\in {\cal M}_G$ by an edge in $\mathcal H_k(G)$ if $M_1$ can be obtained from $M_2$ by switching at most $k$ edges.
Besides non-emptiness, as per Dirac's theorem, what other natural properties of $\mathcal H_k(G)$ are guaranteed based on the minimum degree $δ(G)$ of $G$? We show that if $δ(G) \ge \lfloor2n/3\rfloor+1$, then $\mathcal H_2(G)$ must be connected and an expander, while for each $δ\le \lfloor(2n-2)/3\rfloor$ there are $n$-vertex graphs $G$ with minimum degree $δ$ such that $\mathcal H_2(G)$ is disconnected. We also show that, if $δ(G) \ge n/2+2$, then $\mathcal H_3(G)$ must be connected and an expander, while for each $δ\le n/2-C_k$ there are $n$-vertex graphs $G$ with minimum degree $δ$ such that $\mathcal H_k(G)$ is disconnected, for some $C_k$ depending on $k\ge 3$. Furthermore, for every $\varepsilon >0$, there exists a $c>1$ such that for every $k\ge 2$ and every large enough $n$, there are $n$-vertex graphs $G$ with $δ(G) \ge \frac{n}2-\varepsilon kn$ such that $\mathcal H_k(G)$ has at least $c^n$ components. With respect to guaranteeing that $\mathcal H_k(G)$ has positive minimum degree (or, equivalently, no isolated vertices) we show that if $δ(G) \ge n/2+1$, then $\mathcal H_2(G)$ must have positive minimum degree. For $k\ge 3$, we show how this threshold for $δ(G)$ is related to the notorious Caccetta-Häggkvist conjecture.
Generalized Turán problems for Berge hypergraphs
Let $\mathcal{H}$ be a hypergraph and $F$ be a graph.
If there exists a bijection between the hyperedges of $\mathcal{H}$ and the edges of $F$ such that each hyperedge contains its image, then we say that $\mathcal{H}$ is a \textit{Berge copy} of $F$, and the collection of Berge copies of $F$ is denoted by Berge-$F$.
Given $r$-graphs $\mathcal{F}$ and $\mathcal{H}$, the generalized hyper-Turán number $\text{ex}_r(n, \mathcal{H}, \mathcal{F})$ is the maximum number of copies of $\mathcal{H}$ in $n$-vertex $\mathcal{F}$-free $r$-graphs.
We study $\text{ex}_r(n, \mathcal{H}, \text{Berge-}F)$. For general $\mathcal{H}$, we connect this problem to counting copies of the shadow graph of $\mathcal{H}$ in $F$-free graphs and obtain several exact results. In particular, we show that for any hypergraph $\mathcal{H}$, if $k$ is sufficiently large, then $\text{ex}_r(n, \mathcal{H}, \text{Berge-}K_k)$ is achieved by the balanced complete $(k-1)$-partite $r$-graph, generalizing a result of Morrison, Nir, Norin, Rza{ż}ewski and Wesolek [\textit{Journal of Combinatorial Theory, Series B}, 162 (2023) 231--243] to the case of hypergraphs.
We show that $\text{ex}_r(n,K_s^r,\text{Berge-}F)\le \text{ex}_s(n,\text{Berge-}F)$ and present sufficient conditions for equality. We also consider the connected generalized Turán number for Berge paths.
Saturation of Markov Polynomials
Solutions to the Markov equation appear in many mathematical contexts. We aim to build on the understanding of them by proving a recent conjecture about Markov polynomials; solutions to a generalised version of the Markov equation. The proof we provide is a constructive argument based on the Markov snake graph, a combinatorial object related to Markov numbers, deepening the connection between the Markov equation and combinatorics.
Separating Matchings in Cubic Graphs
We study separating matchings in graphs, that is, matchings whose removal increases the number of connected components, and focus on determining the maximum size of such a matching in a graph $G$, denoted by $\mathrm{mms}(G)$. We show that every subcubic graph admits a separating matching, except for exactly eight graphs, which allows us to focus on bounding $\mathrm{mms}(G)$ for cubic graphs. Our main results show that every cubic graph $G$ on $n$ vertices that admits a separating matching satisfies $\mathrm{mms}(G) \ge n/2 - 2$. For bipartite cubic graphs, assuming a conjecture of Funk, the problem reduces to a recursively defined class $\mathcal{F}$, for which we prove that $\mathrm{mms}(G) \ge n/2 - 1$, up to four exceptional graphs. In contrast, we show that every claw-free cubic graph satisfies $\mathrm{mms}(G) = n/2$. These results extend previous work on matching cuts and disconnected $2$-factors, and provide the first systematic study of maximum separating matchings.
Generalized spectral Turán problems for disjoint cliques
The generalized Turán number $\text{ex}(n, H, F)$ denotes the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. Let $kK_{r+1}$ be the disjoint union of $k$ copies of the complete graph $K_{r+1}$. Recently, Gerbner determined $\text{ex}(n, K_{t},kK_{r+1})$ for all sufficiently large $n$. In this paper, we study a spectral analogue of this problem via the $t$-clique tensor of a graph. We prove that if an $n$-vertex $kK_{r+1}$-free graph $G$ maximizes the $t$-clique spectral radius, then for sufficiently large $n$, $G$ is the join of a complete graph $K_{k-1}$ and the $r$-partite Turán graph $T_{r}(n-k+1)$. This establishes a spectral counterpart of Gerbner's Theorem. Moreover, in the case $t=2$, our result recovers a theorem of Ni, Wang, and Kang on the maximum spectral radius of $kK_{r+1}$-free graphs.
Ramsey-finiteness for graph pairs: A complete solution to the Burr-Erdős-Faudree-Schelp conjectures
For finite graphs $G$ and $H$, let $\RR(G,H)$ denote the isomorphism classes of Ramsey-minimal graphs for $(G,H)$. We prove two 1981 conjectures of Burr, Erdős, Faudree, Rousseau, and Schelp: Ramsey-finiteness is preserved by adjoining disjoint matchings, and $(G,H)$ is Ramsey-infinite unless both graphs are odd stars or one graph has a $K_2$ component. We also refute Burr's stronger 1979 survey conjecture via an explicit finite counterexample from the star-forest theorem, and reformulate Faudree's 1991 theorem as a complete forest-classification corollary.
Fundamental cycles in grid graphs
We show that the average length of a fundamental cycle with respect to any fixed spanning tree of the $n\times n$ square grid is at least $Ω(\log n)$; the bound is asymptotically tight. This result answers in the affirmative a question posed by McCarty in relation to sparse representations of binary matroids.
On (distance) Laplacian characteristic polynomials of power graphs
Published in J. Algebra Appl. 24(14) (2024), Art. No. 2550003
• View Publication
• BIB
The characteristic polynomials of the Laplacian and the distance Laplacian matrices of power graphs of groups of order $ pqr $, where $ p,q $ and $ r $ are { primes,} are obtained. Further, the characteristic polynomials of these matrices for proper power graphs of cyclic and dicyclic groups are given. The important inequalities for the zeros of the distance Laplacian characteristic polynomials of power graphs of finite groups are presented in comments.
Forbidden subgraphs in divisor graphs and an Erdős divisibility problem
Erdős asked for the largest size $f(n)$ of a subset of $\{1,\dots,n\}$ with no element dividing two others. We show that $f(n)=c_2\,n+o(n)$ for an effectively computable constant $c_2$, and moreover that the number $q(n)$ of such subsets satisfies $q(n)=β_2^{n+o(n)}$ for a computable constant $β_2$. To prove this, we recast the divisibility constraint as forbidding a certain directed subgraph in the divisor graph on $\{1,\dots,n\}$ and prove a more general result: for any finite family of connected forbidden subgraphs of the divisor graph, both the extremal density and counting rate are effectively computable. The proof uses a theorem of McNew on local statistics of divisor graphs.
Lower bounds on the $g$-numbers of spheres without large missing faces
We establish several new lower bounds on the $g$-numbers of simplicial spheres without large missing faces. For this class of spheres, we derive bounds on the $g$-numbers in terms of the independence numbers of their graphs, extending a result of Chudnovsky and Nevo. As a consequence, we show that flag $(d-1)$-spheres -- and more generally, flag normal $(d-1)$-pseudomanifolds -- satisfy $g_2\geq (1/2-δ(d))f_0$, where $δ(d)$ is a function of $d$ with $δ(d)\to 0$ as $d\to \infty$. We further prove that, for simplicial $(d-1)$-spheres without large missing faces, an initial segment of the $g$-vector forms a level sequence, yielding additional inequalities among the $g$-numbers. Finally, we show that simplicial $4$-spheres without missing faces of dimension greater than two satisfy $g_2\geq \frac{2}{5}f_0 - \frac{6}{5}$.
The Cayley graph of a quandle
In this paper, we investigate structural properties of the Cayley graph of a quandle and describe this graph for several important classes of quandles, including conjugation, Takasaki, dihedral, and Alexander quandles. In particular, we prove that for an Alexander quandle $A_t(G)$ over a finite abelian group $G$, the connected components of the Cayley graph correspond to the cosets of the subgroup $\mathrm{im}(\mathrm{id}-t)$. We also show that the Cayley graphs of generalized Alexander quandles are regular. When the defining automorphism is inner, we give an explicit description of the forward orbits and prove that the connected components correspond to cosets of the subgroup generated by commutators with the defining element.
Hypergraphs without Subgraphs of Given Connectivity
In this paper, we study the problem of determining the maximum number of edges in an $n$-vertex $r$-uniform hypergraph that contains no $(k+1)$-connected subgraph. The graph case is a classical problem initiated by Mader, central to graph theory, and still open. First, for all $r \ge 3$, we determine this maximum up to an $O(n)$ error term, thereby identifying its leading term. We also address a related question of Carmesin by establishing a tight bound for $r$-uniform hypergraphs with no $(k+1)$-connected subgraph on more than $Ck$ vertices for any constant $C>2$ and sufficiently large $r$, and further obtain an asymptotically tight bound in the case $C=2$. Our proof combines the separator tree method introduced by Carmesin with several new combinatorial and optimization techniques, and we conclude with related remarks and open problems.
Markov numbers of semigroups
In this paper, we systematically study generalized Markov numbers arising from semigroups of reduced integer matrices. This construction allows us to find these numbers by counting perfect matchings of a new family of bipartite graphs, which we call wug-snake graphs. We also show how this relates to the geometry of numbers and the classical theory of Markov minima.
A topological characterization of end space of infinite graphs via games, subspaces and products
In 1992, Diestel asked which topological spaces could be represented as the end space of some graph. In 2023, Pitz provided a solution to this question by giving a topological characterization of end spaces using a hereditarily complete special subbase. In this paper, we present an alternative topological characterization of end spaces, in which we employ a special subbase and a topological game. Furthermore, we provide several applications of this characterization: we show that every end space is hereditarily Baire, that $G_δ$ subspaces of end spaces are also end spaces, and that the product of end spaces is not always an end space.
On the asymptotic behavior of online Ramsey numbers for paths and cycles
The online Ramsey game for graphs $G$ and $H$ is played on the infinite complete graph $K_\mathbb{N}$. Each round, Builder chooses an edge, and Painter colors it red or blue. The online Ramsey number $\tilde{r}(G,H)$ is the smallest integer $t$ for which Builder has a strategy that guarantees a red copy of $G$ or a blue copy of $H$ in at most $t$ rounds. In this paper, we prove that for every positive integer $k$, there is a constant $L$ such that $\lim_{n\to\infty}\frac{\tilde{r}(P_k,P_n)}{n}=\lim_{n\to\infty}\frac{\tilde{r}(P_k,C_n)}{n}=L$.
Signless Laplacian index conditions for trebly chorded cycles in graphs with given order
It is proved that for a graph of order $n$, where $n\ge 6$, if the signless Laplacian index is larger than or equal to certain value depending on $n$, then the graph contains a trebly chorded cycle, where the chords incident to a common vertex, unless it is one of two specified graphs.
Positive and negative 3-energies of graphs
For a simple graph $G$ with $n$ vertices, let $A_G$ denote the adjacency matrix of $G$, and let $λ_1(G) \geq λ_2(G) \geq \dots \geq λ_n(G)$ be its eigenvalues. For an integer $p \geq 2$, the positive $p$-energy and negative $p$-energy of $G$, denoted $\mathcal{E}^+_p(G)$ and $\mathcal{E}^-_p(G)$, are defined as follows: $\mathcal{E}^+_p(G) = \sum_{λ_i(G) > 0} |λ_i(G)|^p$ and $\mathcal{E}^-_p(G) = \sum_{λ_i(G) < 0} |λ_i(G)|^p,$ respectively. Tang, Liu, and Wang proposed a conjecture that, for any integer $p \geq 2$, every connected $n$-vertex graph $G$ satisfies $\mathcal{E}^+_p(G) \geq \mathcal{E}^+_p(P_n)$. Akbari, Kumar, Mohar, and Pragada conjectured that, for any $p \geq 2$, every connected $n$-vertex graph $G$ satisfies $\mathcal{E}^-_p(G) \geq \mathcal{E}^-_p(K_n)$, and they proved this conjecture for $p \geq 4$. In this paper, we prove that every connected $n$-vertex graph, except for $K_1$, $K_2$, and $P_3$, satisfies $\mathcal{E}^+_3(G) \geq \frac{\sqrt{5}}{2}n$. Moreover, we show that for any integer $p \geq 3$, every connected $n$-vertex graph $G$ satisfies $\mathcal{E}^-_p(G) \geq \mathcal{E}^-_p(K_n)$, which improves upon the previously known result.
On the Turán number of double stars
The Turán number of a graph $F$, $ex(n,F)$, is the maximum number of edges in a graph on $n$ vertices which does not contain $F$ as a subgraph. Let $S_{a,b}$ denote a double star with a central edge $uv$, $a$ leaves connected to $u$ and $b$ leaves connected to $v$. The function $ex(n,S_{a,b})$ has been studied for $a=1,2$, their extremal graphs are disjoint copies of $K_{a+b+1}$ and either a small clique or a near $b$-regular graph. In this paper, we further study $ex(n,S_{3,b})$ and determine the extremal graphs, which have more structures than those of $a=1,2$.
Odd Edge Colorings of Graphs with Odd Order
An {\em odd subgraph} of a graph is a subgraph in which every vertex has odd degree. A graph $G$ is said to be {\em odd $k$-edge-colorable} if there exists an edge-coloring $E(G) \rightarrow \{1,2, \ldots, k\}$ such that each non-empty color class induces an odd subgraph of $G$. The {\em odd chromatic index} of $G$, denoted by $χ'_o(G)$, is the minimum $k$ for which $G$ is odd $k$-edge-colorable. In this paper, we prove that every $4$-connected simple graph of odd order is odd 3-edge-colorable, and show that the $4$-connectedness assumption is necessary. We also prove that for a connected Eulerian graph $G$ of odd order, there exists an edge $e$ such that $G-e$ is odd $2$-edge-colorable.
The general position number of digraphs
The general position number for graphs ask for largest vertex subsets $S$ such that no three vertices are contained on a common shortest path. We examine this problem in the setting of directed graphs. We provide bounds for the general position number of digraphs, show that the problem is NP-complete for oriented graphs, investigate the problem for some important families of digraphs such as circulant digraphs, Kautz digraphs and permutation digraphs, and study the general position numbers obtained from all orientations of an undirected graph.