contain ↗ reference
7720 papers tagged with this keyword
Cycle lengths modulo $k$ in expanders
Published
• View Publication
• BIB
Given a constant $α>0$, an $n$-vertex graph is called an $α$-expander if every set $X$ of at most $n/2$ vertices in $G$ has an external neighborhood of size at least $α|X|$. Addressing a question posed by Friedman and Krivelevich in [Combinatorica, 41(1), (2021), pp. 53--74], we prove the following result: Let $k>1$ be an integer with smallest prime divisor $p$. Then for $α>\frac{1}{p-1}$ every sufficiently large $α$-expanding graph contains cycles of length congruent to any given residue modulo $k$. This result is almost best possible, in the following sense: There exists an absolute constant $c>0$ such that for every integer $k$ with smallest prime divisor $p$ and for every positive $α<\frac{c}{p-1}$, there exist arbitrarily large $α$-expanding graphs with no cycles of length $r$ modulo $k$, for some $r \in \{0,\ldots,k-1\}$.
Extremal results for graphs avoiding a rainbow subgraph
Published
• View Publication
• BIB
We say that $k$ graphs $G_1,G_2,\dots,G_k$ on a common vertex set of size $n$ contain a rainbow copy of a graph $H$ if their union contains a copy of $H$ with each edge belonging to a distinct $G_i$. We provide a counterexample to a conjecture of Frankl on the maximum product of the sizes of the edge sets of three graphs avoiding a rainbow triangle. We propose an alternative conjecture, which we prove under the additional assumption that the union of the three graphs is complete. Furthermore, we determine the maximum product of the sizes of the edge sets of three graphs or four graphs avoiding a rainbow path of length three.
Paths are Turán-good
Published
• View Publication
• BIB
We show that among $K_{k+1}$-free $n$-vertex graphs, the Turán graph contains the most copies of any path.
Primitive permutation groups of degree 3p
This paper presents an analysis of primitive permutation groups of degree $3p$, where $p$ is a prime number, analogous to H. Wielandt's treatment of groups of degree $2p$. It is also intended as an example of the systematic use of combinatorial methods as surveyed in \S6 for distilling information about a permutation group from knowledge of the decomposition of its character. The work is organised into three parts. Part I contains the lesser half of the calculation, the determination of the decomposition of the permutation character. Part II contains a survey of the combinatorial methods and, based on these methods, the major part of the calculation. Part III ties up loose ends left earlier in the paper and gives a tabulation of detailed numerical results.
On The Complexity of Matching Cut for Graphs of Bounded Radius and $H$-Free Graphs
Published
• View Publication
• BIB
For a connected graph $G=(V,E)$, a matching $M\subseteq E$ is a matching cut of $G$ if $G-M$ is disconnected. It is known that for an integer $d$, the corresponding decision problem Matching Cut is polynomial-time solvable for graphs of diameter at most $d$ if $d\leq 2$ and NP-complete if $d\geq 3$. We prove the same dichotomy for graphs of bounded radius. For a graph $H$, a graph is $H$-free if it does not contain $H$ as an induced subgraph. As a consequence of our result, we can solve Matching Cut in polynomial time for $P_6$-free graphs, extending a recent result of Feghali for $P_5$-free graphs. We then extend our result to hold even for $(sP_3+P_6)$-free graphs for every $s\geq 0$ and initiate a complexity classification of Matching Cut for $H$-free graphs.
The Merino--Welsh conjecture for split matroids
Published in Ann. Comb. 27, pp. 737-748 (2023)
• View Publication
• BIB
In 1999 Merino and Welsh conjectured that evaluations of the Tutte polynomial of a graph satisfy an inequality. In this short article we show that the conjecture generalized to matroids holds for the large class of all split matroids by exploiting the structure of their lattice of cyclic flats. This class of matroids strictly contains all paving and copaving matroids.
Some stability and exact results in generalized Turán problems
Published
• View Publication
• BIB
Given graphs $H$ and $F$, the generalized Turán number $\mathrm{ex}(n,H,F)$ is the largest number of copies of $H$ in $n$-vertex $F$-free graphs. Stability refers to the usual phenomenon that if an $n$-vertex $F$-free graph $G$ contains almost $\mathrm{ex}(n,H,F)$ copies of $H$, than $G$ is in some sense similar to some extremal graph. We obtain new stability results for generalized Turán problems and derive several new exact results.
Small cycle structure for words in conjugation invariant random permutations
Published
• View Publication
• BIB
We study the cycle structure of words in several random permutations. We assume that the permutations are independent and that their distribution is conjugation invariant, with a good control on their short cycles. If, after successive cyclic simplifications, the word w still contains at least two different letters, then we get a universal limiting joint law for small cycles for the word in these permutations. These results can be seen as an extension of our previous work [Kammoun and Maïda, 2020] from the product of permutations to any non-trivial word in the permutations and also as an extension of the results of [Nica, 1994] from uniform permutations to general conjugation invariant random permutations.
Threshold for Steiner triple systems
Published
• View Publication
• BIB
We prove that with high probability $\mathbb{G}^{(3)}(n,n^{-1+o(1)})$ contains a spanning Steiner triple system for $n\equiv 1,3\pmod{6}$, establishing the exponent for the threshold probability for existence of a Steiner triple system. We also prove the analogous theorem for Latin squares. Our result follows from a novel bootstrapping scheme that utilizes iterative absorption as well as the connection between thresholds and fractional expectation-thresholds established by Frankston, Kahn, Narayanan, and Park.
The evolution of unavoidable bi-chromatic patterns and extremal cases of balanceability
Published
• View Publication
• BIB
We study the color patterns that, for $n$ sufficiently large, are unavoidable in $2$-colorings of the edges of a complete graph $K_n$ with respect to $\min \{e(R), e(B)\}$, where $e(R)$ and $e(B)$ are the numbers of red and, respectively, blue edges. More precisely, we determine how such unavoidable patterns evolve from the case without restriction in the coloring, namely that $\min \{e(R), e(B)\} \ge 0$ (given by Ramsey's theorem), to the highest possible restriction, namely that $|e(R) - e(B)| \le 1$. We also investigate the effect of forbidding certain sub-structures in each color. In particular, we show that, in $2$-colorings whose graphs induced by each of the colors are both free from an induced matching on $r$ edges, the appearance of the unavoidable patterns is already granted with a much weaker restriction on $\min \{e(R), e(B)\}$. We finish analyzing the consequences of these results to the balancing number $bal(n,G)$ of a graph $G$ (i.e. the minimum $k$ such that every $2$-edge coloring of $K_n$ with $\min \{e(R), e(B)\} > k$ contains a copy of $G$ with half the edges in each color), and show that, for every $\varepsilon > 0$, there are graphs $G$ with $bal(n,G) \ge c n^{2-\varepsilon}$, which is the highest order of magnitude that is possible to achieve, as well as graphs where $bal(n,G) \le c(G)$, where $c(G)$ is a constant that depends only $G$. We characterize the latter ones.
List covering of regular multigraphs with semi-edges
Published
• View Publication
• BIB
In line with the recent development in topological graph theory, we are considering undirected graphs that are allowed to contain {\em multiple edges}, {\em loops}, and {\em semi-edges}. A graph is called {\em simple} if it contains no semi-edges, no loops, and no multiple edges. A graph covering projection, also known as a locally bijective homomorphism, is a mapping between vertices and edges of two graphs which preserves incidences and which is a local bijection on the edge-neighborhood of every vertex. This notion stems from topological graph theory, but has also found applications in combinatorics and theoretical computer science.
It has been known that for every fixed simple regular graph $H$ of valency greater than 2, deciding if an input graph covers $H$ is NP-complete. Graphs with semi-edges have been considered in this context only recently and only partial results on the complexity of covering such graphs are known so far. In this paper we consider the list version of the problem, called \textsc{List-$H$-Cover}, where the vertices and edges of the input graph come with lists of admissible targets. Our main result reads that the \textsc{List-$H$-Cover} problem is NP-complete for every regular graph $H$ of valency greater than 2 which contains at least one semi-simple vertex (i.e., a vertex which is incident with no loops, with no multiple edges and with at most one semi-edge). Using this result we show the NP-co/polytime dichotomy for the computational complexity of \textsc{ List-$H$-Cover} for cubic graphs.
Unavoidable patterns in complete simple topological graphs
Published
• View Publication
• BIB
We show that every complete $n$-vertex simple topological graph contains a topological subgraph on at least $(\log n)^{1/4 - o(1)}$ vertices that is weakly isomorphic to the complete convex geometric graph or the complete twisted graph. This is the first improvement on the bound $Ω(\log^{1/8}n)$ obtained in 2003 by Pach, Solymosi, and Tóth. We also show that every complete $n$-vertex simple topological graph contains a plane path of length at least $(\log n)^{1 -o(1)}$.
Existence of $2$-Factors in Tough Graphs without Forbidden Subgraphs
Published
• View Publication
• BIB
For a given graph $R$, a graph $G$ is $R$-free if $G$ does not contain $R$ as an induced subgraph. It is known that every $2$-tough graph with at least three vertices has a $2$-factor. In graphs with restricted structures, it was shown that every $2K_2$-free $3/2$-tough graph with at least three vertices has a $2$-factor, and the toughness bound $3/2$ is best possible. In viewing $2K_2$, the disjoint union of two edges, as a linear forest, in this paper, for any linear forest $R$ on 5, 6, or 7 vertices, we find the sharp toughness bound $t$ such that every $t$-tough $R$-free graph on at least three vertices has a 2-factor.
Good point sequencings of Steiner triple systems
An l-good sequencing of a Steiner triple system of order v, STS(v), is a permutation of the points of the system such that no l consecutive points in the permutation contains a block. It is known that every STS(v) with v > 3 has a 3-good sequencing. It is proved that every STS(v) with v >= 13 has a 4-good sequencing and every 3-chromatic STS(v) with v >= 15 has a 5-good sequencing. Computational results for Steiner triple systems of small order are also given.
Poset Ramsey number $R(P,Q_n)$. I. Complete multipartite posets
Published
• View Publication
• BIB
A poset $(P',\le_{P'})$ contains a copy of some other poset $(P,\le_P)$ if there is an injection $f\colon P'\to P$ where for every $X,Y\in P$, $X\le_P Y$ if and only if $f(X)\le_{P'} f(Y)$. For any posets $P$ and $Q$, the poset Ramsey number $R(P,Q)$ is the smallest integer $N$ such that any blue/red coloring of a Boolean lattice of dimension $N$ contains either a copy of $P$ with all elements blue or a copy of $Q$ with all elements red. We denote by $K_{t_1,\dots,t_\ell}$ a complete $\ell$-partite poset, i.e.\ a poset consisting of $\ell$ pairwise disjoint sets $A^i$ of size $t_i$, $1\le i\le \ell$, such that for any $i,j\in\{1,\dots,\ell\}$ and any two $X\in A^{i}$ and $Y\in A^{j}$, $X<Y$ if and only if $i<j$. In this paper we show that $R(K_{t_1,\dots,t_\ell},Q_n)\le n+\frac{(2+o_n(1))\ell n}{\log n}$.
Induced subgraphs and tree decompositions V. Small components of big vertices
Aboulker, Adler, Kim, Sintiari, and Trotignon conjectured that every graph with bounded maximum degree and large treewidth must contain, as an induced subgraph, a large subdivided wall, or the line graph of a large subdivided wall. This conjecture was recently proved by Korhonen, but the problem of identifying the obstacles to bounded treewidth in the general case (that is, without the bounded maximum degree condition) remains wide open. Examples of structures of large treewidth which avoid the "usual suspects" have been constructed by Sintiari and Trotignon, and by Davies. In this note, we aim to better isolate the features of these examples that lead to large treewidth. To this end, we prove the following result. Let $G$ be a graph, and write $γ(G)$ for the size of a largest connected component in the graph induced by $G$ on the set of vertices of degree at least 3. If $γ(G)$ is small and the treewidth of $G$ is large, then $G$ must contain a large subdivided wall or the line graph of a large subdivided wall. This result is the best possible, in the sense that the conclusion fails if we replace 3 by any larger number in the definition of $γ(G)$, as evidenced by Davies' example.
Toughness, hamiltonicity and spectral radius in graphs
Published
• View Publication
• BIB
The study of the existence of hamiltonian cycles in a graph is a classic problem in graph theory. By incorporating toughness and spectral conditions, we can consider Chvátal's conjecture from another perspective: what is the spectral condition to guarantee the existence of a hamiltonian cycle among $t$-tough graphs? We first give the answer to $1$-tough graphs, i.e. if $ρ(G)\geqρ(M_{n})$, then $G$ contains a hamiltonian cycle, unless $G\cong M_{n}$, where $M_{n}=K_{1}\nabla K_{n-4}^{+3}$ and $K_{n-4}^{+3}$ is the graph obtained from $3K_{1}\cup K_{n-4}$ by adding three independent edges between $3K_{1}$ and $K_{n-4}$. The Brouwer's toughness theorem states that every $d$-regular connected graph always has $t(G)>\frac{d}λ-1$ where $λ$ is the second largest absolute eigenvalue of the adjacency matrix. In this paper, we extend the result in terms of its spectral radius, i.e. we provide a spectral condition for a graph to be 1-tough with minimum degree $δ$ and to be $t$-tough, respectively.
Convex polytopes in restricted point sets in $\mathbb{R}^d$
Published in Advances in Combinatorics 2025:1, 27pp
• View Publication
• BIB
For a finite point set $P \subset \mathbb{R}^d$, denote by $\text{diam}(P)$ the ratio of the largest to the smallest distances between pairs of points in $P$. Let $c_{d, α}(n)$ be the largest integer $c$ such that any $n$-point set $P \subset \mathbb{R}^d$ in general position, satisfying $\text{diam}(P) < α\sqrt[d]{n}$, contains an $c$-point convex independent subset. We determine the asymptotics of $c_{d, α}(n)$ as $n \to \infty$ by showing the existence of positive constants $β= β(d, α)$ and $γ= γ(d)$ such that $βn^{\frac{d-1}{d+1}} \le c_{d, α}(n) \le γn^{\frac{d-1}{d+1}}$ for $α\geq 2$.
Comparability digraphs: An analogue of comparability graphs
Published
• View Publication
• BIB
Comparability graphs are a popular class of graphs. We introduce as the digraph analogue of comparability graphs the class of comparability digraphs. We show that many concepts such as implication classes and the knotting graph for a comparability graph can be naturally extended to a comparability digraph. We give a characterization of comparability digraphs in terms of their knotting graphs. Semicomplete comparability digraphs are a prototype of comparability digraphs. One instrumental technique for analyzing the structure of comparability graphs is the Triangle Lemma for graphs. We generalize the Triangle Lemma to semicomplete digraphs. Using the Triangle Lemma for semicomplete digraphs we prove that if an implication class of a semicomplete digraph contains no circuit of length 2 then it contains no circuit at all. We also use it to device an $\mathcal{O}(n^3)$ time recognition algorithm for semicomplete comparability digraphs where $n$ is the number of vertices of the input digraph. The correctness of the algorithm implies a characterization for semicomplete comparability digraphs, akin to that for comparability graphs.
Several problems on reduced spherical polygons of thickness less than π/2
Published
• View Publication
• BIB
The present paper aims to solve some problems proposed by Lassak about the reduced spherical polygons. The main result is to show that the regular spherical n-gon has the minimal perimeter among all reduced spherical polygons of fixed thickness less than π/2 and with at most n vertices. In addition, we determine the maximal diameter of every reduced spherical polygons with a fixed thickness less than π/2. We also find the smallest spherical radius that contains every reduced spherical polygons with a fixed thickness less than π/2.