graph
35299 papers tagged with this keyword
Improved upper bounds on even-cycle creating Hamilton paths
Published
• View Publication
• BIB
We study the function $H_n(C_{2k})$, the maximum number of Hamilton paths such that the union of any pair of them contains $C_{2k}$ as a subgraph. We give upper bounds on this quantity for $k\ge 3$, improving results of Harcos and Soltész, and we show that if a conjecture of Ustimenko is true then one additionally obtains improved upper bounds for all $k\geq 6$. {We also give bounds on $H_n(K_{2,3})$ and $H_n(K_{2,4})$. In order to prove our results, we extend a theorem of Krivelevich which counts Hamilton cycles in $(n, d, λ)$-graphs to bipartite or irregular graphs, and then apply these results to generalized polygons and the constructions of Lubotzky-Phillips-Sarnak and Füredi.
A spectral extremal problem on non-bipartite triangle-free graphs
Published in Electron. J. Combin. 31 (1) (2024), #P1.52
• View Publication
• BIB
A theorem of Nosal and Nikiforov states that if $G$ is a triangle-free graph with $m$ edges, then $λ(G)\le \sqrt{m}$, where the equality holds if and only if $G$ is a complete bipartite graph. A well-known spectral conjecture of Bollobás and Nikiforov [J. Combin. Theory Ser. B 97 (2007)] asserts that if $G$ is a $K_{r+1}$-free graph with $m$ edges, then $λ_1^2(G) + λ_2^2(G) \le (1-\frac{1}{r})2m$. Recently, Lin, Ning and Wu [Combin. Probab. Comput. 30 (2021)] confirmed the conjecture in the case $r=2$. Using this base case, they proved further that $λ(G)\le \sqrt{m-1}$ for every non-bipartite triangle-free graph $G$, with equality if and only if $m=5$ and $G=C_5$. Moreover, Zhai and Shu [Discrete Math. 345 (2022)] presented an improvement by showing $λ(G) \le β(m)$, where $β(m)$ is the largest root of $Z(x):=x^3-x^2-(m-2)x+m-3$. The equality in Zhai--Shu's result holds only if $m$ is odd and $G$ is obtained from the complete bipartite graph $K_{2,\frac{m-1}{2}}$ by subdividing exactly one edge. Motivated by this observation, Zhai and Shu proposed a question to find a sharp bound when $m$ is even. We shall solve this question by using a different method and characterize three kinds of spectral extremal graphs over all triangle-free non-bipartite graphs with even size. Our proof technique is mainly based on applying Cauchy interlacing theorem of eigenvalues of a graph, and with the aid of a triangle counting lemma in terms of both eigenvalues and the size of a graph.
Counting the minimum number of arcs in an oriented graph having weak diameter 2
Published
• View Publication
• BIB
An oriented graph has weak diameter at most $d$ if every non-adjacent pair of vertices are connected by a directed $d$-path. The function $f_d(n)$ denotes the minimum number of arcs in an oriented graph on $n$ vertices having weak diameter $d$. Finding the exact value of $f_d(n)$ is a challenging problem even for $d = 2$. This function was introduced by Katona and Szemeredi (1967), and after that several attempts were made to find its exact value by Znam (1970), Dawes and Meijer (1987), Furedi, Horak, Pareek and Zhu (1998), and Kostochka, Luczak, Simonyi and Sopena (1999) through improving its best known bounds. In that process, it was proved that this function is asymptotically equal to $n\log_2 n$ and hence, is an asymptotically increasing function. However, the exact value and behaviour of this function was not known.
In this article, we observe that the oriented graphs with weak diameter at most $2$ are precisely the absolute oriented cliques, that is, analogues of cliques for oriented graphs in the context of oriented coloring. Through studying arc-minimal absolute oriented cliques we prove that $f_2(n)$ is a strictly increasing function. Furthermore, we improve the best known upper bound of $f_2(n)$ and conjecture that our upper bound is tight. This improvement of the upper bound improves known bounds involving the oriented achromatic number.
Hopf algebraic structures on hypergraphs and multi-complexes
Published
• View Publication
• BIB
Using the formalism of species and twisted objects, we introduce two structures of cointeracting bialgebras on hypergraphs, induced by two notions of induced sub-hypergraphs. We study the associated unique morphisms of cointeracting bialgebras from hypergraphs to the polynomial algebra in one indeterminate: in the first case, this gives the chromatic polynomial of a graph attached to the considered hypergraph. In the second case, we obtained Helgason's notion of chromatic polynomial of a hypergraph. We obtain Hopf-algebraic proves of results about the values of this chromatic polynomial in -1 or about its coefficients, with the help of the action of a monoid of characters. This allows to give multiplicity-free formulas for the antipodes of these objects, using various notions of acyclic orientations of hypergraphs. Mixing the two notions of induced sub-hypergraphs, we obtain a third Hopf algebra, firstly described by Aguiar and Ardila. We obtain negative results on the existence of a second coproduct making it a cointeracting bialgebra. Anyway, it is still possible to obtain a polynomial invariant from this structure, which is the chomatic polynomial described by Aval, Kharagbossian and Tanasa. We nally study Iovanov and Jaiung's Hopf algebra of multi-complexes, making it a cointeracting bialgebra which has for quotient one of the preceding cointeracting bialgebras of hypergraphs.
A Note on the Complexity of Maximizing Temporal Reachability via Edge Temporalisation of Directed Graphs
Published
• View Publication
• BIB
A temporal graph is a graph in which edges are assigned a time label. Two nodes u and v of a temporal graph are connected one to the other if there exists a path from u to v with increasing edge time labels. We consider the problem of assigning time labels to the edges of a digraph in order to maximize the total reachability of the resulting temporal graph (that is, the number of pairs of nodes which are connected one to the other). In particular, we prove that this problem is NP-hard. We then conjecture that the problem is approximable within a constant approximation ratio. This conjecture is a consequence of the following graph theoretic conjecture: any strongly connected directed graph with n nodes admits an out-arborescence and an in-arborescence that are edge-disjoint, have the same root, and each spans $Ω$(n) nodes.
Hypergraph Animals
Published
• View Publication
• BIB
Here we introduce simple structures for the analysis of complex hypergraphs, hypergraph animals. These structures are designed to describe the local node neighbourhoods of nodes in hypergraphs. We establish their relationships to lattice animals and network motifs, and we develop their combinatorial properties for sparse and uncorrelated hypergraphs. We make use of the tight link of hypergraph animals to partition numbers, which opens up a vast mathematical framework for the analysis of hypergraph animals. We then study their abundances in random hypergraphs. Two transferable insights result from this analysis: (i) it establishes the importance of high-cardinality edges in ensembles of random hypergraphs that are inspired by the classical Erdös-Renyí random graphs; and (ii) there is a close connection between degree and hyperedge cardinality in random hypergraphs that shapes animal abundances and spectra profoundly. Both findings imply that hypergraph animals can have the potential to affect information flow and processing in complex systems. Our analysis of also suggests that we need to spend more effort on investigating and developing suitable conditional ensembles of random hypergraphs that can capture real-world structures and their complex dependency structures.
On the strength and domination number of graphs
Published
• View Publication
• BIB
A numbering $f$ of a graph $G$ of order $n$ is a labeling that assigns distinct elements of the set $\left\{ 1,2,\ldots ,n\right\} $ to the vertices of $G$. The strength $\textrm{str}_{f}\left( G\right)$ of a numbering $f:V\left( G\right) \rightarrow \left\{ 1,2,\ldots ,n\right\} $ of $G$ is defined by% \begin{equation*} \mathrm{str}_{f}\left( G\right) =\max \left\{ f\left( u\right) +f\left( v\right) \left| uv\in E\left( G\right) \right. \right\} \text{,} \end{equation*}% that is, $\mathrm{str}_{f}\left( G\right) $ is the maximum edge label of $G$ and the strength\ \textrm{str}$\left( G\right) $ of a graph $G$ itself is \begin{equation*} \mathrm{str}\left( G\right) =\min \left\{ \mathrm{str}_{f}\left( G\right) \left| f\text{ is a numbering of }G\right. \right\} \text{.} \end{equation*} In this paper, we present a sharp lower bound for the strength of a graph in terms of its domination number as well as its (edge) covering and (edge) independence number. We also provide a necessary and sufficient condition for the strength of a graph to attain the earlier bound in terms of their subgraph structure. In addition, we establish a sharp lower bound for the domination number of a graph under certain conditions.
Variety of mutual-visibility problems in graphs
Published
• View Publication
• BIB
If $X$ is a subset of vertices of a graph $G$, then vertices $u$ and $v$ are $X$-visible if there exists a shortest $u,v$-path $P$ such that $V(P)\cap X \subseteq \{u,v\}$. If each two vertices from $X$ are $X$-visible, then $X$ is a mutual-visibility set. The mutual-visibility number of $G$ is the cardinality of a largest mutual-visibility set of $G$ and has been already investigated. In this paper a variety of mutual-visibility problems is introduced based on which natural pairs of vertices are required to be $X$-visible. This yields the total, the dual, and the outer mutual-visibility numbers. We first show that these graph invariants are related to each other and to the classical mutual-visibility number, and then we prove that the three newly introduced mutual-visibility problems are computationally difficult. According to this result, we compute or bound their values for several graphs classes that include for instance grid graphs and tori. We conclude the study by presenting some inter-comparison between the values of such parameters, which is based on the computations we made for some specific families.
$L_{\infty}$ norm minimization for nowhere-zero integer eigenvectors of the block graphs of Steiner triple systems and Johnson graphs
We study nowhere-zero integer eigenvectors of the block graphs of Steiner triple systems and the Johnson graphs. For the first eigenvalue we obtain the minimums of $L_{\infty}$-norm for several infinite series of Johnson graphs, including J(n,3) as well as general upper and lower bounds. The minimization of $L_{\infty}$-norm for nowhere-zero integer eigenvectors with the second eigenvalue of the block graph of a Steiner triple system $S$ is equivalent to finding the minimum nowhere-zero flow for Steiner triple system S. For the all Assmuss-Mattson Steiner triple systems of order at least 99 we prove that this minimum is bounded above by 4.
Planar site percolation via tree embeddings
We prove that if $G$ is an infinite, connected, planar graph properly embedded in $\mathbb{R}^2$ with minimum degree at least $7$, then i.i.d.\ Bernoulli$(p)$ site percolation on $G$ almost surely has infinitely many infinite open (1-)clusters for every \[ p \in \bigl(p_c^{\mathrm{site}},\, 1-p_c^{\mathrm{site}}\bigr). \] Moreover, we show that $p_c^{\mathrm{site}}<\tfrac12$, so this non-uniqueness interval is nonempty. This verifies Conjecture~7 of Benjamini and Schramm~\cite{bs96} for this class of properly embedded planar graphs.
Our proof introduces a new construction of embedded trees in $G$. These trees yield infinitely many infinite clusters for percolation parameters near $\tfrac12$, and they also enable exponential decay of two-point connection probabilities by partitioning $G$ using infinitely many disjoint trees. Variants of this approach were later used in~\cite{ZL26} to construct a counterexample to Conjecture~7 of~\cite{bs96} for planar graphs with uncountably many ends.
Finally, the methods developed here have further applications: in~\cite{perc24} they are used to prove a vertex-cut characterization of $p_c^{\mathrm{site}}$ (conjectured by Kahn in~\cite{JK03}) and to refute an edge-cut characterization proposed by Lyons and Peres~\cite{LP16} and Tang (\cite{Tang2023}).
Some existence theorems on path-factor critical avoidable graphs
Published
• View Publication
• BIB
A spanning subgraph $F$ of $G$ is called a path factor if every component of $F$ is a path of order at least 2. Let $k\geq2$ be an integer. A $P_{\geq k}$-factor of $G$ means a path factor in which every component has at least $k$ vertices. A graph $G$ is called a $P_{\geq k}$-factor avoidable graph if for any $e\in E(G)$, $G$ has a $P_{\geq k}$-factor avoiding $e$. A graph $G$ is called a $(P_{\geq k},n)$-factor critical avoidable graph if for any $W\subseteq V(G)$ with $|W|=n$, $G-W$ is a $P_{\geq k}$-factor avoidable graph. In other words, $G$ is $(P_{\geq k},n)$-factor critical avoidable if for any $W\subseteq V(G)$ with $|W|=n$ and any $e\in E(G-W)$, $G-W-e$ admits a $P_{\geq k}$-factor. In this article, we verify that (\romannumeral1) an $(n+r+2)$-connected graph $G$ is $(P_{\geq2},n)$-factor critical avoidable if $I(G)>\frac{n+r+3}{2(r+2)}$; (\romannumeral2) an $(n+r+2)$-connected graph $G$ is $(P_{\geq3},n)$-factor critical avoidable if $t(G)>\frac{n+r+2}{2(r+2)}$; (\romannumeral3) an $(n+r+2)$-connected graph $G$ is $(P_{\geq3},n)$-factor critical avoidable if $I(G)>\frac{n+3(r+2)}{2(r+2)}$; where $n$ and $r$ are two nonnegative integers.
Canonical Decompositions of 3-Connected Graphs
Published in Advances in Combinatorics 2025:7, 73pp [Journal]; FOCS '23, 1887-1920 [Conference Proceedings]
• View Publication
• BIB
We offer a new structural basis for the theory of 3-connected graphs, providing a unique decomposition of every such graph into parts that are either quasi 4-connected, wheels, or thickened $K_{3,m}$'s. Our construction is explicit, canonical, and has the following applications: we obtain a new theorem characterising all finite Cayley graphs as either essentially 4-connected, cycles, or complete graphs on at most four vertices, and we provide an automatic proof of Tutte's wheel theorem.
Dichotomies for Maximum Matching Cut: $H$-Freeness, Bounded Diameter, Bounded Radius
Published
• View Publication
• BIB
The (Perfect) Matching Cut problem is to decide if a graph $G$ has a (perfect) matching cut, i.e., a (perfect) matching that is also an edge cut of $G$. Both Matching Cut and Perfect Matching Cut are known to be NP-complete. A perfect matching cut is also a matching cut with maximum number of edges. To increase our understanding of the relationship between the two problems, we perform a complexity study for the Maximum Matching Cut problem, which is to determine a largest matching cut in a graph. Our results yield full dichotomies of Maximum Matching Cut for graphs of bounded diameter, bounded radius and $H$-free graphs. A disconnected perfect matching of a graph $G$ is a perfect matching that contains a matching cut of $G$. We also show how our new techniques can be used for finding a disconnected perfect matching with a largest matching cut for special graph classes. In this way we can prove that the decision problem Disconnected Perfect Matching is polynomial-time solvable for $(P_6+sP_2)$-free graphs for every $s\geq 0$, extending a known result for $P_5$-free graphs (Bouquet and Picouleau, 2020).
On a generalisation of the coupon collector problem
Published
• View Publication
• BIB
We consider a generalisation of the classical coupon collector problem. We define a super-coupon to be any $s$-subset of a universe of $n$ coupons. In each round, a random $r$-subset from the universe is drawn and all its $s$-subsets are marked as collected. We show that the time to collect all super-coupons is $\binom{r}{s}^{-1}\binom{n}{s} \log \binom{n}{s}(1 + o(1))$ on average and has a Gumbel limit after a suitable normalisation. In a similar vein, we show that for any $α\in (0, 1)$, the expected time to collect $(1 - α)$ proportion of all super-coupons is $\binom{r}{s}^{-1}\binom{n}{s} \log \big(\frac{1}α\big)(1 + o(1))$. The $r = s$ case of this model is equivalent to the classical coupon collector model.
We also consider a temporally dependent model where the $r$-subsets are drawn according to the following Markovian dynamics: the $r$-subset at round $k + 1$ is formed by replacing a random coupon from the $r$-subset drawn at round $k$ with another random coupon from outside this $r$-subset. We link the time it takes to collect all super-coupons in the $r = s$ case of this model to the cover time of random walk on a certain finite regular graph and conjecture that in general, it takes $\frac{r}{s} \binom{r}{s}^{-1}\binom{n}{s}\log\binom{n}{s}(1 + o(1))$ time on average to collect all super-coupons.
Universality in prelimiting tail behavior for regular subgraph counts in the Poisson regime
Published
• View Publication
• BIB
Let $N$ be the number of copies of a small subgraph $H$ in an Erdős-Rényi graph $G \sim \mathcal{G}(n, p_n)$ where $p_n \to 0$ is chosen so that $\mathbb{E} N = c$, a constant. Results of Bollobás show that for regular graphs $H$, the count $N$ weakly converges to a Poisson random variable. For large but finite $n$, and for the specific case of the triangle, investigations of the upper tail $\mathbb{P}(N \geq k_n)$ by Ganguly, Hiesmayr and Nam (2022) revealed that there is a phase transition in the tail behavior and the associated mechanism. Smaller values of $k_n$ correspond to disjoint occurrences of $H$, leading to Poisson tails, with a different behavior emerging when $k_n$ is large, guided by the appearance of an almost clique. We show that a similar phase transition also occurs when $H$ is any regular graph, at the point where $k_n^{1 -2/q}\log k_n = \log n$ ($q$ is the number of vertices in $H$). This establishes universality of this transition, previously known only for the case of the triangle.
The limit points of the top and bottom eigenvalues of regular graphs
We prove that for each $d \geq 3$ the set of all limit points of the second largest eigenvalue of growing sequences of $d$-regular graphs is $[2\sqrt{d-1},d]$. A similar argument shows that the set of all limit points of the smallest eigenvalue of growing sequences of $d$-regular graphs with growing (odd) girth is $[-d, -2 \sqrt{d-1}]$. The more general question of identifying all vectors which are limit points of the vectors of the top $k$ eigenvalues of sequences of $d$-regular graphs is considered as well. As a by product, in the study of discrete counterpart of the "scarring" phenomenon observed in the investigation of quantum ergodicity on manifolds, our technique provides a method to construct $d$-regular almost Ramanujan graphs with large girth and localized eigenvectors corresponding to eigenvalues larger than $2\sqrt{d-1}$, strengthening a result of Alon, Ganguly, and Srivastava.
Rigidity expander graphs
Published
• View Publication
• BIB
Jordán and Tanigawa recently introduced the $d$-dimensional algebraic connectivity $a_d(G)$ of a graph $G$. This is a quantitative measure of the $d$-dimensional rigidity of $G$ which generalizes the well-studied notion of spectral expansion of graphs. We present a new lower bound for $a_d(G)$ defined in terms of the spectral expansion of certain subgraphs of $G$ associated with a partition of its vertices into $d$ parts. In particular, we obtain a new sufficient condition for the rigidity of a graph $G$. As a first application, we prove the existence of an infinite family of $k$-regular $d$-rigidity-expander graphs for every $d\ge 2$ and $k\ge 2d+1$. Conjecturally, no such family of $2d$-regular graphs exists. Second, we show that $a_d(K_n)\geq \frac{1}{2}\left\lfloor\frac{n}{d}\right\rfloor$, which we conjecture to be essentially tight. In addition, we study the extremal values $a_d(G)$ attained if $G$ is a minimally $d$-rigid graph.
Slow Coloring of 3k-Connected Graphs
Published
• View Publication
• BIB
The slow coloring game was introduced by Mahoney, Puleo, and West and it is played by two players, Lister and Painter, on a graph \(G\). In round \(i\), Lister marks a nonempty subset \(M\) of \(V(G)\). By doing this he scores \(|M|\) points. Painter responds by deleting a maximal independent subset of \(M\). This process continues until all vertices are deleted. Lister aims to maximize the score, while Painter aims to minimize it. The best score that both players can guarantee is called the \textit{slow coloring number} or \textit{sum-color cost} of \(G\), denoted \(\spo{(G)}\).
Puleo and West found that for an \(n\)-vertex tree \(T\), the slow coloring number is at most \(\lfloor \frac{3n}{2} \rfloor\), and that the maximum can be reached when \(T\) contains a spanning forest with vertices of degree 1 or 3. This implies that every n-vertex graph \(G\) having a perfect matching satisfies \(\spo(G) \geq \lfloor{\frac{3n}{2}}\rfloor\). In this paper, we prove that for \(3k\)-connected graphs with \(|V(G)| \geq 4k\) and with a perfect matching the lower bound is higher: \(\spo(G) \geq \frac{3n}{2} + k\).
Gallai-like characterization of strong cocomparability graphs
Published
• View Publication
• BIB
Strong cocomparability graphs are the reflexive graphs whose adjacency matrix can be rearranged by a simultaneous row and column permutation to avoid the submatrix with rows $01, 10$. Strong cocomparability graphs form a subclass of cocomparability graphs (i.e., the complements of comparability graphs) and can be recognized in polynomial time. In his seminal paper, Gallai characterized cocomparability graphs in terms of a forbidden structure called asteroids. Gallai proved that cocomparability graphs are precisely those reflexive graphs which do not contain asteroids.
In this paper, we give a characterization of strong cocomparability graphs which is analogous to Gallai's characterization for cocomparability graphs. We prove that strong cocomparability graphs are precisely those reflexive graphs which do not contain weak edge-asteroids (a weaker version of asteroids). Our characterization also leads to a polynomial time recognition algorithm for strong cocomparability graphs.
Graphical regular representations of $(2,p)$-generated groups
Published
• View Publication
• BIB
For groups $G$ that can be generated by an involution and an element of odd prime order, this paper gives a sufficient condition for a certain Cayley graph of $G$ to be a graphical regular representation (GRR), that is, for the Cayley graph to have full automorphism group isomorphic to $G$. This condition enables one to show the existence of GRRs of prescribed valency for a large class of groups, and in this paper, $k$-valent GRRs of finite nonabelian simple groups with $k\geq5$ are considered.