contain ↗ reference
7694 papers tagged with this keyword
Universal rooted phylogenetic tree shapes and universal tanglegrams
We provide an $Ω(n\log n) $ lower bound and an $O(n^2)$ upper bound for the smallest size of rooted binary trees (a.k.a. phylogenetic tree shapes), which are universal for rooted binary trees with $n$ leaves, i.e., contain all of them as induced binary subtrees. We explicitly compute the smallest universal trees for $n\leq 11$. We also provide an $Ω(n^2) $ lower bound and an $O(n^4)$ upper bound for the smallest size of tanglegrams, which are universal for size $n$ tanglegrams, i.e., which contain all of them as induced subtanglegrams. Some of our results generalize to rooted $d$-ary trees and to $d$-ary tanglegrams.
The next case of Andrásfai's conjecture
Let $\mathrm{ex}(n,s)$ denote the maximum number of edges in a triangle-free graph on $n$ vertices which contains no independent sets larger than $s$. The behaviour of $\mathrm{ex}(n,s)$ was first studied by Andrásfai, who conjectured that for $s>n/3$ this function is determined by appropriately chosen blow-ups of so called Andrásfai graphs. Moreover, he proved $\mathrm{ex}(n, s)=n^2-4ns+5s^2$ for $s/n\in [2/5, 1/2]$ and in earlier work we obtained $\mathrm{ex}(n, s)=3n^2-15ns+20s^2$ for $s/n\in [3/8, 2/5]$. Here we make the next step in the quest to settle Andrásfai's conjecture by proving $\mathrm{ex}(n, s)=6n^2-32ns+44s^2$ for $s/n\in [4/11, 3/8]$.
On maximal cliques in the graph of simplex codes
Published
• View Publication
• BIB
The induced subgraph of the corresponding Grassmann graph formed by simplex codes is considered. We show that this graph, as the Grassmann graph, contains two types of maximal cliques. For any two cliques of the first type there is a monomial linear automorphism transferring one of them to the other. Cliques of the second type are more complicated and can contain different numbers of elements.
Erdős-Gyárfás Conjecture for $P_{10}$-free Graphs
Published
• View Publication
• BIB
Let $P_{10}$ be a path on $10$ vertices. A graph is said to be $P_{10}$-free if it does not contain $P_{10}$ as an induced subgraph. The well-known Erdős-Gyárfás Conjecture states that every graph with minimum degree at least three has a cycle whose length is a power of $2$. In this paper, we show that every $P_{10}$-free graph with minimum degree at least three contains a cycle of length $4$ or $8$. This implies that the conjecture is true for $P_{10}$-free graphs.
A new approach to pancyclicity of Paley graphs I
Let $G$ be an undirected graph of order $n$ and let $C_i$ be an $i$-cycle graph. $G$ is called pancyclic if $G$ contains a $C_i$ for any $i\in \{3,4,\ldots,n\}$. We show that the pancyclicity of specific Cayley graphs and the Cartesian product of specific two graphs. As a corollary of these two theorems, we provide a new proof of the pancyclicity of the Paley graph.
Induced-Minor-Free Graphs: Separator Theorem, Subexponential Algorithms, and Improved Hardness of Recognition
Published
• View Publication
• BIB
A graph $G$ contains a graph $H$ as an induced minor if $H$ can be obtained from $G$ by vertex deletions and edge contractions. The class of $H$-induced-minor-free graphs generalizes the class of $H$-minor-free graphs, but unlike $H$-minor-free graphs, it can contain dense graphs. We show that if an $n$-vertex $m$-edge graph $G$ does not contain a graph $H$ as an induced minor, then it has a balanced vertex separator of size $O_{H}(\sqrt{m})$, where the $O_{H}(\cdot)$-notation hides factors depending on $H$. More precisely, our upper bound for the size of the balanced separator is $O(\min(|V(H)|^2, \log n) \cdot \sqrt{|V(H)|+|E(H)|} \cdot \sqrt{m})$. We give an algorithm for finding either an induced minor model of $H$ in $G$ or such a separator in randomized polynomial-time. We apply this to obtain subexponential $2^{O_{H}(n^{2/3} \log n)}$ time algorithms on $H$-induced-minor-free graphs for a large class of problems including maximum independent set, minimum feedback vertex set, 3-coloring, and planarization.
For graphs $H$ where every edge is incident to a vertex of degree at most 2, our results imply a $2^{O_{H}(n^{2/3} \log n)}$ time algorithm for testing if $G$ contains $H$ as an induced minor. Our second main result is that there exists a fixed tree $T$, so that there is no $2^{o(n/\log^3 n)}$ time algorithm for testing if a given $n$-vertex graph contains $T$ as an induced minor unless the Exponential Time Hypothesis (ETH) fails. Our reduction also gives NP-hardness, which solves an open problem asked by Fellows, Kratochvíl, Middendorf, and Pfeiffer [Algorithmica, 1995], who asked if there exists a fixed planar graph $H$ so that testing for $H$ as an induced minor is NP-hard.
Critical $(P_5,dart)$-Free Graphs
Published
• View Publication
• BIB
Given two graphs $H_1$ and $H_2$, a graph is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ nor $H_2$. Let $P_t$ be the path on $t$ vertices. A dart is the graph obtained from a diamond by adding a new vertex and making it adjacent to exactly one vertex with degree 3 in the diamond.
In this paper, we show that there are finitely many $k$-vertex-critical $(P_5,dart)$-free graphs for $k \ge 1$ To prove these results, we use induction on $k$ and perform a careful structural analysis via Strong Perfect Graph Theorem combined with the pigeonhole principle based on the properties of vertex-critical graphs. Moreover, for $k \in \{5, 6, 7\}$ we characterize all $k$-vertex-critical $(P_5,dart)$-free graphs using a computer generation algorithm. Our results imply the existence of a polynomial-time certifying algorithm to decide the $k$-colorability of $(P_5,dart)$-free graphs for $k \ge 1$ where the certificate is either a $k$-coloring or a $(k+1)$-vertex-critical induced subgraph.
Algebraic degrees of quasi-abelian semi-Cayley digraphs
Published
• View Publication
• BIB
For a digraph $Γ$, if $F$ is the smallest field that contains all roots of the characteristic polynomial of the adjacency matrix of $Γ$, then $F$ is called the splitting field of $Γ$. The extension degree of $F$ over the field of rational numbers $\mathbb{Q}$ is said to be the algebraic degree of $Γ$. A digraph is a semi-Cayley digraph over a group $G$ if it admits $G$ as a semiregular automorphism group with two orbits of equal size. A semi-Cayley digraph $\mathrm{SC}(G,T_{11},T_{22},T_{12},T_{21})$ is called quasi-abelian if each of $T_{11},T_{22},T_{12}$ and $T_{21}$ is a union of some conjugacy classes of $G$. This paper determines the splitting field and the algebraic degree of a quasi-abelian semi-Cayley digraph over any finite group in terms of irreducible characters of groups. This work generalizes the previous works on algebraic degrees of Cayley graphs over abelian groups and any group having a subgroup of index 2, and semi-Cayley digraphs over abelian groups.
Independent dominating sets in planar triangulations
Published
• View Publication
• BIB
In 1996, Matheson and Tarjan proved that every near planar triangulation on $n$ vertices contains a dominating set of size at most $n/3$, and conjectured that this upper bound can be reduced to $n/4$ for planar triangulations when $n$ is sufficiently large. In this paper, we consider the analogous problem for independent dominating sets: What is the minimum $ε$ for which every near planar triangulation on $n$ vertices contains an independent dominating set of size at most $εn$? We prove that $2/7 \leq ε\leq 5/12$. Moreover, this upper bound can be improved to $3/8$ for planar triangulations, and to $1/3$ for planar triangulations with minimum degree 5.
Everywhere unbalanced configurations
Published
• View Publication
• BIB
An old problem in discrete geometry, originating with Kupitz, asks whether there is a fixed natural number $k$ such that every finite set of points in the plane has a line through at least two of its points where the number of points on either side of this line differ by at most $k$. We give a negative answer to a natural variant of this problem, showing that for every natural number $k$ there exists a finite set of points in the plane together with a pseudoline arrangement such that each pseudoline contains at least two points and there is a pseudoline through any pair of points where the number of points on either side of each pseudoline differ by at least $k$. Moreover, we may find such a configuration with at most $2^{2^{ck}}$ points, which, by a result of Pinchasi, is best possible up to the value of the constant $c$.
Prime and polynomial distances in colourings of the plane
Published
• View Publication
• BIB
We give two extensions of the recent theorem of the first author that the odd distance graph has unbounded chromatic number. The first is that for any non-constant polynomial $f$ with integer coefficients and positive leading coefficient, every finite colouring of the plane contains a monochromatic pair of distinct points whose distance is equal to $f(n)$ for some integer $n$. The second is that for every finite colouring of the plane, there is a monochromatic pair of points whose distance is a prime number.
Induced subdivisions with pinned branch vertices
Published in European Journal of Combinatorics 124 (2025), 104-072
• View Publication
• BIB
We prove that for all $r\in \mathbb{N}\cup \{0\}$ and $s,t\in \mathbb{N}$, there exists $Ω=Ω(r,s,t)\in \mathbb{N}$ with the following property. Let $G$ be a graph and let $H$ be a subgraph of $G$ isomorphic to a $(\leq r)$-subdivision of $K_Ω$. Then either $G$ contains $K_t$ or $K_{t,t}$ as an induced subgraph, or there is an induced subgraph $J$ of $G$ isomorphic to a proper $(\leq r)$-subdivision of $K_s$ such that every branch vertex of $J$ is a branch vertex of $H$. This answers in the affirmative a question of Lozin and Razgon. In fact, we show that both the branch vertices and the paths corresponding to the subdivided edges between them can be preserved.
Sparse pancyclic subgraphs of random graphs
Published
• View Publication
• BIB
It is known that the complete graph $K_n$ contains a pancyclic subgraph with $n+(1+o(1))\cdot \log _2 n$ edges, and that there is no pancyclic graph on $n$ vertices with fewer than $n+\log _2 (n-1) -1$ edges. We show that, with high probability, $G(n,p)$ contains a pancyclic subgraph with $n+(1+o(1))\log_2 n$ edges for $p \ge p^*$, where $p^*=(1+o(1))\ln n/n$, right above the threshold for pancyclicity.
Decomposing a signed graph into rooted circuits
Published in Advances in Combinatorics 2024:7, 22pp
• View Publication
• BIB
We prove a precise min-max theorem for the following problem. Let $G$ be an Eulerian graph with a specified set of edges $S \subseteq E(G)$, and let $b$ be a vertex of $G$. Then what is the maximum integer $k$ so that the edge-set of $G$ can be partitioned into $k$ non-zero $b$-trails? That is, each trail must begin and end at $b$ and contain an odd number of edges from~$S$. This theorem is motivated by a connection to vertex-minors and yields two conjectures of Máčajová and Škoviera as corollaries.
A short note on cospectral and integral chain graphs for Seidel matrix
In this brief communication, we investigate the cospectral as well integral chain graphs for Seidel matrix, a key component to study the structural properties of equiangular lines in space. We derive a formula that allows to generate an infinite number of inequivalent chain graphs with identical spectrum. In addition, we obtain a family of Seidel integral chain graphs. This contrapositively answers a problem posed by Greaves ["Equiangular line systems and switching classes containing regular graphs", Linear Algebra Appl., (2018)] ("Does every Seidel matrix with precisely three distinct rational eigenvalues contain a regular graph in its switching class?"). Our observation is- "no".
On Rödl's Theorem for Cographs
Published
• View Publication
• BIB
A theorem of Rödl states that for every fixed $F$ and $\varepsilon>0$ there is $δ=δ_F(\varepsilon)$ so that every induced $F$-free graph contains a vertex set of size $δn$ whose edge density is either at most $\varepsilon$ or at least $1-\varepsilon$. Rödl's proof relied on the regularity lemma, hence it supplied only a tower-type bound for $δ$. Fox and Sudakov conjectured that $δ$ can be made polynomial in $\varepsilon$, and a recent result of Fox, Nguyen, Scott and Seymour shows that this conjecture holds when $F=P_4$. In fact, they show that the same conclusion holds even if $G$ contains few copies of $P_4$. In this note we give a short proof of a more general statement.
On the Kohayakawa-Kreuter conjecture
Published
• View Publication
• BIB
Let us say that a graph $G$ is Ramsey for a tuple $(H_1,\dots,H_r)$ of graphs if every $r$-coloring of the edges of $G$ contains a monochromatic copy of $H_i$ in color $i$, for some $i \in [r]$. A famous conjecture of Kohayakawa and Kreuter, extending seminal work of Rödl and Ruciński, predicts the threshold at which the binomial random graph $G_{n,p}$ becomes Ramsey for $(H_1,\dots,H_r)$ asymptotically almost surely. In this paper, we resolve the Kohayakawa-Kreuter conjecture for almost all tuples of graphs. Moreover, we reduce its validity to the truth of a certain deterministic statement, which is a clear necessary condition for the conjecture to hold. All of our results actually hold in greater generality, when one replaces the graphs $H_1,\dots,H_r$ by finite families $\mathcal{H}_1,\dots,\mathcal{H}_r$. Additionally, we pose a natural (deterministic) graph-partitioning conjecture, which we believe to be of independent interest, and whose resolution would imply the Kohayakawa-Kreuter conjecture.
Minors of matroids represented by sparse random matrices over finite fields
Published
• View Publication
• BIB
Consider a random $n\times m$ matrix $A$ over the finite field of order $q$ where every column has precisely $k$ nonzero elements, and let $M[A]$ be the matroid represented by $A$. In the case that q=2, Cooper, Frieze and Pegden (RS\&A 2019) proved that given a fixed binary matroid $N$, if $k\ge k_N$ and $m/n\ge d_N$ where $k_N$ and $d_N$ are sufficiently large constants depending on N, then a.a.s. $M[A]$ contains $N$ as a minor. We improve their result by determining the sharp threshold (of $m/n$) for the appearance of a fixed matroid $N$ as a minor of $M[A]$, for every $k\ge 3$, and every finite field.
Spectral Turán-type problems on sparse spanning graphs
Published
• View Publication
• BIB
Let $F$ be a graph and $\SPEX (n, F)$ be the class of $n$-vertex graphs which attain the maximum spectral radius and contain no $F$ as a subgraph. Let $\EX (n, F)$ be the family of $n$-vertex graphs which contain maximum number of edges and no $F$ as a subgraph. It is a fundamental problem in spectral extremal graph theory to characterize all graphs $F$ such that $\SPEX (n, F)\subseteq \EX (n, F)$ when $n$ is sufficiently large. Establishing the conjecture of Cioabă, Desai and Tait [European J. Combin., 2022], Wang, Kang, and Xue [J. Combin. Theory Ser. B, 2023] prove that: for any graph $F$ such that the graphs in $\EX (n, F)$ are Turán graphs plus $O(1)$ edges, $\SPEX (n, F)\subseteq \EX (n, F)$ for sufficiently large $n$. In this paper, we prove that $\SPEX (n, F)\subseteq \EX (n, F)$ for sufficiently large $n$, where $F$ is an $n$-vertex graph with no isolated vertices and $Δ(F) \leq \sqrt{n}/40$. We also prove a signless Laplacian spectral radius version of the above theorem. These results give new contribution to the open problem mentioned above, and can be seen as spectral analogs of a theorem of Alon and Yuster [J. Combin. Theory Ser. B, 2013]. Furthermore, as immediate corollaries, we have tight spectral conditions for the existence of several classes of special graphs, including clique-factors, $k$-th power of Hamilton cycles and $k$-factors in graphs. The first special class of graphs gives a positive answer to a problem of Feng, and the second one extends a previous result of Yan et al.
The last patch for classifying shuffle groups
Divide a deck of $kn$ cards into $k$ equal piles and place them from left to right. The standard shuffle $σ$ is performed by picking up the top cards one by one from left to right and repeating until all cards have been picked up. For every permutation $τ$ of the $k$ piles, use $ρ_τ$ to denote the induced permutation on the $kn$ cards. The shuffle group $G_{k,kn}$ is generated by $σ$ and the $k!$ permutations $ρ_τ$. It was conjectured by Cohen et al in 2005 that the shuffle group $G_{k,kn}$ contains $A_{kn}$ if $k\geq3$, $(k,n)\ne\{4,2^f\}$ for any positive integer $f$ and $n$ is not a power of $k$. Very recently, Xia, Zhang and Zhu reduced the proof of the conjecture to that of the $2$-transitivity of the shuffle group and then proved the conjecture under the condition that $k\ge4$ or $k\nmid n$. In this paper, we proved that the group $G_{3,3n}$ is $2$-transitive for any positive integer $n$ which is a multiple of $3$ but not a power of $3$. This result leads to the complete classification of the shuffle groups $G_{k,kn}$ for all $k\ge2$ and $n\ge1$.