contain ↗ reference
7694 papers tagged with this keyword
Maximum star densities
Published in Studia Scientiarum Mathematicarum Hungarica 55 (2018), 238--259
• View Publication
• BIB
Given an integer $k \geq 2$ and a real number $γ\in [0, 1]$, which graphs of edge density $γ$ contain the largest number of $k$-edge stars? For $k=2$ Ahlswede and Katona proved that asymptotically there cannot be more such stars than in a clique or in the complement of a clique (depending on the value of $γ$). Here we extend their result to all integers $k\ge 2$.
New Canonical Decomposition in Matching Theory
Published
• View Publication
• BIB
In matching theory, one of the most fundamental and classical branches of combinatorics, {\em canonical decompositions} of graphs are powerful and versatile tools that form the basis of this theory. However, the abilities of the known canonical decompositions, that is, the {\em Dulmage-Mendelsohn}, {\em Kotzig-Lovász}, and {\em Gallai-Edmonds} decompositions, are limited because they are only applicable to particular classes of graphs, such as bipartite graphs, or they are too sparse to provide sufficient information. To overcome these limitations, we introduce a new canonical decomposition that is applicable to all graphs and provides much finer information. We focus on the notion of {\em factor-components} as the fundamental building blocks of a graph; through the factor-components, our new canonical decomposition states how a graph is organized and how it contains all the maximum matchings. The main results that constitute our new theory are the following: (i) a canonical partial order over the set of factor-components, which describes how a graph is constructed from its factor-components; (ii) a generalization of the Kotzig-Lovász decomposition, which shows the inner structure of each factor-component in the context of the entire graph; and (iii) a canonically described interrelationship between (i) and (ii), which integrates these two results into a unified theory of a canonical decomposition. These results are obtained in a self-contained way, and our proof of the generalized Kotzig-Lovász decomposition contains a shortened and self-contained proof of the classical counterpart.
A Ramsey Property of Random Regular and $k$-out Graphs
Published
• View Publication
• BIB
In this note we consider a Ramsey property of random $d$-regular graphs, $\mathcal{G}(n,d)$. Let $r\ge 2$ be fixed. Then w.h.p. the edges of $\mathcal{G}(n, 2r)$ can be colored such that every monochromatic component has size $o(n)$. On the other hand, there exists a constant $γ> 0$ such that w.h.p., every $r$-coloring of the edges of $\mathcal{G}(n, 2r+1)$ must contain a monochromatic cycle of length at least $γn$. We prove an analogous result for random $k$-out graphs.
Dense free subgroups of automorphism groups of homogeneous partially ordered sets
Published in Forum Mathematicum, 31 (2019), 215-240
• View Publication
• BIB
A countable poset is ultrahomogeneous if every isomorphism between its finite subposets can be extended to an automorphism. The groups $\operatorname{Aut}(A)$ of such posets $A$ have a natural topology in which $\operatorname{Aut}(A)$ are Polish topological groups. We consider the problem whether $\operatorname{Aut}(A)$ contains a dense free subgroup of two generators. We show that if $A$ is ultrahomogeneous, then $\operatorname{Aut}(A)$ contains such subgroup. Moreover, we characterize whose countable ultrahomogeneous posets $A$ such that for each natural $m$, the set of all cyclically dense elements $\bar{g}\in\operatorname{Aut}(A)^m$ for the diagonal action is comeager in $\operatorname{Aut}(A)^m$. In our considerations we strongly use the result of Schmerl which says that there are essentially four types of countably infinite ultrahomogeneous posets.
A Note on Upper Bounds for Some Generalized Folkman Numbers
Published
• View Publication
• BIB
We present some new constructive upper bounds based on product graphs for generalized vertex Folkman numbers. They lead to new upper bounds for some special cases of generalized edge Folkman numbers, including $F_e(K_3,K_4-e; K_5) \leq 27$ and $F_e(K_4-e,K_4-e; K_5) \leq 51$. The latter bound follows from a construction of a $K_5$-free graph on 51 vertices, for which every coloring of its edges with two colors contains a monochromatic $K_4-e$.
A tanglegram Kuratowski theorem
Published
• View Publication
• BIB
A tanglegram consists of two rooted binary plane trees with the same number of leaves and a perfect matching between the two leaf sets. Tanglegrams are drawn with the leaves on two parallel lines, the trees on either side of the strip created by these lines, and the perfect matching inside the strip. If this can be done without any edges crossing, a tanglegram is called planar. We show that every non-planar tanglegram contains one of two non-planar 4-leaf tanglegrams as induced subtanglegram, which parallels Kuratowski's Theorem.
The Projective Planarity Question for Matroids of $3$-Nets and Biased Graphs
Published in Australasian J. Combinatorics, 76(2) (2020), 299-338
• Search Publication
A biased graph is a graph with a class of selected circles ("cycles", "circuits"), called "balanced", such that no theta subgraph contains exactly two balanced circles. A biased graph has two natural matroids, the frame matroid and the lift matroid. A classical question in matroid theory is whether a matroid can be embedded in a projective geometry. There is no known general answer, but for matroids of biased graphs it is possible to give algebraic criteria. Zaslavsky has previously given such criteria for embeddability of biased-graphic matroids in Desarguesian projective spaces; in this paper we establish criteria for the remaining case, that is, embeddability in an arbitrary projective plane that is not necessarily Desarguesian.
The criteria depend on the embeddability of a quasigroup associated to the graph into the additive or multiplicative loop of a ternary coordinate ring for the plane. A 3-node biased graph is equivalent to an abstract partial 3-net; thus, we have a new algebraic criterion for an abstract 3-net to be realized in a non-Desarguesian projective plane. We work in terms of a special kind of 3-node biased graph called a biased expansion of a triangle. Our results apply to all finite 3-node biased graphs because, as we prove, every such biased graph is a subgraph of a finite biased expansion of a triangle. A biased expansion of a triangle, in turn, is equivalent to an isostrophe class of quasigroups, which is equivalent to a $3$-net. Much is not known about embedding a quasigroup into a ternary ring, so we do not say our criteria are definitive. For instance, it is not even known whether there is a finite quasigroup that cannot be embedded in any finite ternary ring. If there is, then there is a finite rank-3 matroid (of the corresponding biased expansion) that cannot be embedded in any finite projective plane---a presently unsolved problem.
New bounds on the Ramsey number $r(I_m, L_n)$
We investigate the Ramsey numbers $r(I_m, L_n)$ which is the minimal natural number $k$ such that every oriented graph on $k$ vertices contains either an independent set of size $m$ or a transitive tournament on $n$ vertices. Apart from the finitary combinatorial interest, these Ramsey numbers are of interest to set theorists since it is known that $r(ωm, n) = ωr(I_m, L_n)$, where $ω$ is the lowest transfinite ordinal number, and $r(κm, n) = κr(I_m, L_n)$ for all initial ordinals $κ$. Continuing the research by Bermond from 1974 who did show $r(I_3, L_3) = 9$, we prove $r(I_4, L_3) = 15$ and $r(I_5, L_3) = 23$. The upper bounds for both the estimates above are obtained by improving the upper bound of $m^2$ on $r(I_m, L_3)$ due to Larson and Mitchell (1997) to $m^2 - m + 3$. Additionally, we provide asymptotic upper bounds on $r(I_m, L_n)$ for all $n \geq 3$. In particular, we show that $r(I_m, L_3) \in Θ(m^2 / \log m)$.
Independent Feedback Vertex Set for $P_5$-free Graphs
Published
• View Publication
• BIB
The NP-complete problem Feedback Vertex Set is that of deciding whether or not it is possible, for a given integer $k\geq 0$, to delete at most $k$ vertices from a given graph so that what remains is a forest. The variant in which the deleted vertices must form an independent set is called Independent Feedback Vertex Set and is also NP-complete. In fact, even deciding if an independent feedback vertex set exists is NP-complete and this problem is closely related to the $3$-Colouring problem, or equivalently, to the problem of deciding whether or not a graph has an independent odd cycle transversal, that is, an independent set of vertices whose deletion makes the graph bipartite. We initiate a systematic study of the complexity of Independent Feedback Vertex Set for $H$-free graphs. We prove that it is NP-complete if $H$ contains a claw or cycle. Tamura, Ito and Zhou proved that it is polynomial-time solvable for $P_4$-free graphs. We show that it remains polynomial-time solvable for $P_5$-free graphs. We prove analogous results for the Independent Odd Cycle Transversal problem, which asks whether or not a graph has an independent odd cycle transversal of size at most $k$ for a given integer $k\geq 0$. Finally, in line with our underlying research aim, we compare the complexity of Independent Feedback Vertex Set for $H$-free graphs with the complexity of $3$-Colouring, Independent Odd Cycle Transversal and other related problems.
Coloring ($P_5$, bull)-free graphs
We give a polynomial-time algorithm that computes the chromatic number of any graph that contains no path on five vertices and no bull as an induced subgraph (where the bull is the graph with five vertices $a,b,c,d,e$ and edges $ab,bc,cd,be,ce$).
A universal tree-based network with the minimum number of reticulations
Published
• View Publication
• BIB
A tree-based network $\mathcal N$ on $X$ is universal if every rooted binary phylogenetic $X$-tree is a base tree for $\mathcal N$. Hayamizu and, independently, Zhang constructively showed that, for all positive integers $n$, there exists an universal tree-based network on $n$ leaves. For all $n$, Hayamizu's construction contains $Θ(n!)$ reticulations, while Zhang's construction contains $Θ(n^2)$ reticulations. A simple counting argument shows that an universal tree-based network has $Ω(n\log n)$ reticulations. With this in mind, Hayamizu as well as Steel posed the problem of determining whether or not such networks exists with $O(n\log n)$ reticulations. In this paper, we show that, for all $n$, there exists an universal tree-based network on $n$ leaves with $O(n\log n)$ reticulations.
Spanning universality in random graphs
Published
• View Publication
• BIB
A graph is said to be $\mathcal{H}(n, Δ)$-universal if it contains every graph on $n$ vertices with maximum degree at most $Δ$. Using a `matching-based' embedding technique introduced by Alon and Füredi, Dellamonica, Kohayakawa, Rödl and Ruciński showed that the random graph $G_{n,p}$ is asymptotically almost surely $\mathcal{H}(n, Δ)$-universal for $p = \tilde Ω(n^{-1/Δ})$ - a threshold for the property that every subset of $Δ$ vertices has a common neighbour. This bound has become a benchmark in the field and many subsequent results on embedding spanning structures of maximum degree $Δ$ in random graphs are proven only up to this threshold. We take a step towards overcoming limitations of former techniques by showing that $G_{n,p}$ is almost surely $\mathcal{H}(n, Δ)$-universal for $p = \tilde Ω(n^{- 1/(Δ-1/2)})$.
Hamiltonian cycles in $k$-partite graphs
Published
• View Publication
• BIB
Chen, Faudree, Gould, Jacobson, and Lesniak determined the minimum degree threshold for which a balanced $k$-partite graph has a Hamiltonian cycle. We give an asymptotically tight minimum degree condition for Hamiltonian cycles in arbitrary $k$-partite graphs in which all parts have at most $n/2$ vertices (a necessary condition). To do this, we first prove a general result which both simplifies the process of checking whether a graph $G$ is a robust expander and gives useful structural information in the case when $G$ is not a robust expander. Then we use this result to prove that any $k$-partite graph satisfying the minimum degree condition is either a robust expander or else contains a Hamiltonian cycle directly.
The domination number and the least Q-eigenvalue II
Denote by $L_{g, l}$ the $lollipop$ $graph$ obtained by attaching a pendant path $\mathbb{P}=v_{g}v_{g+1}\cdots v_{g+l}$ ($l\geq 1$) to a cycle $\mathbb{C}=v_{1}v_{2}\cdots v_{g}v_{1}$ ($g\geq 3$). A $\mathcal {F}_{g, l}$-$graph$ of order $n\geq g+1$ is defined to be the graph obtained by attaching $n-g-l$ pendent vertices to some of the nonpendant vertices of $L_{g, l}$ in which each vertex other than $v_{g+l-1}$ is attached at most one pendant vertex. A $\mathcal {F}^{\circ}_{g, l}$-graph is a $\mathcal {F}_{g, l}$-$graph$ in which $v_{g}$ is attached with pendant vertex. Denote by $q_{min}$ the $least$ $Q$-$eigenvalue$ of a graph. In this paper, we proceed on considering the domination number, the least $Q$-eigenvalue of a graph as well as their relation. Further results obtained are as follows:
$\mathrm{(i)}$ some results about the changing of the domination number under the structural perturbation of a graph are represented;
$\mathrm{(ii)}$ among all nonbipartite unicyclic graphs of order $n$, with both domination number $γ$ and girth $g$ ($g\leq n-1$), the minimum $q_{min}$ attains at a $\mathcal {F}_{g, l}$-graph for some $l$;
$\mathrm{(iii)}$ among the nonbipartite graphs of order $n$ and with given domination number which contain a $\mathcal {F}^{\circ}_{g, l}$-graph as a subgraph, some lower bounds for $q_{min}$ are represented;
$\mathrm{(iv)}$ among the nonbipartite graphs of order $n$ and with given domination number $\frac{n}{2}$, $\frac{n-1}{2}$, the minimum $q_{min}$ is completely determined respectively;
$\mathrm{(v)}$ among the nonbipartite graphs of order $n\geq 4$, and with both domination number $\frac{n+1}{3}<γ\leq \frac{n}{2}$ and odd-girth (the length of the shortest odd cycle) at most $5$, the minimum $q_{min}$ is completely determined.
Introduction to Cluster Algebras. Chapters 4-5
This is a preliminary draft of Chapters 4-5 of our forthcoming textbook "Introduction to Cluster Algebras." Chapters 1-3 have been posted as arXiv:1608.05735.
This installment contains:
Chapter 4. New patterns from old
Chapter 5. Finite type classification
On some three color Ramsey numbers for paths, cycles, stripes and stars
Published
• View Publication
• BIB
For given graphs $G_{1}, G_{2}, ... , G_{k}, k \geq 2$, the multicolor Ramsey number $R(G_{1}, G_{2}, ... , G_{k})$ is the smallest integer $n$ such that if we arbitrarily color the edges of the complete graph of order $n$ with $k$ colors, then it always contains a monochromatic copy of $G_{i}$ colored with $i$, for some $1 \leq i \leq k$. The bipartite Ramsey number $b(G_1, \cdots, G_k)$ is the least positive integer $b$ such that any coloring of the edges of $K_{b,b}$ with $k$ colors will result in a monochromatic copy of bipartite $G_i$ in the $i$-th color, for some $i$, $1 \le i \le k$.
There is very little known about $R(G_{1},\ldots, G_{k})$ even for very special graphs, there are a lot of open cases. In this paper, by using bipartite Ramsey numbers we obtain the exact values of some multicolor Ramsey numbers. We show that for sufficiently large $n_{0}$ and three following cases:
1. $n_{1}=2s$, $n_{2}=2m$ and $m-1<2s$,
2. $n_{1}=n_{2}=2s$,
3. $n_{1}=2s+1$, $n_{2}=2m$ and $s<m-1<2s+1$, we have
$$R(C_{n_0}, P_{n_{1}},P_{n_{2}}) = n_0 + \Big \lfloor \frac{n_1}{2} \Big \rfloor + \Big \lfloor \frac{n_2}{2} \Big \rfloor -2.$$
We prove that $R(P_n,kK_{2},kK_{2})=n+2k-2$ for large $n$. In addition, we prove that for even $k$, $R((k-1)K_{2},P_{k},P_{k})=3k-4$. For $s < m-1<2s+1$ and $t\geq m+s-1$, we obtain that $R(tK_{2},P_{2s+1},P_{2m})=s+m+2t-2$ where $P_{k}$ is a path on $k$ vertices and $tK_{2}$ is a matching of size $t$.
We also provide some new exact values or generalize known results for other multicolor Ramsey numbers of paths, cycles, stripes and stars versus other graphs.
Three-term polynomial progressions in subsets of finite fields
Published in Israel J. Math. 228 (2018), no. 1, 379-405
• View Publication
• BIB
Bourgain and Chang recently showed that any subset of $\mathbb{F}_p$ of density $\gg p^{-1/15}$ contains a nontrivial progression $x,x+y,x+y^2$. We answer a question of theirs by proving that if $P_1,P_2\in\mathbb{Z}[y]$ are linearly independent and satisfy $P_1(0)=P_2(0)=0$, then any subset of $\mathbb{F}_p$ of density $\gg_{P_1,P_2}p^{-1/24}$ contains a nontrivial polynomial progression $x,x+P_1(y),x+P_2(y)$.
Orthogonally Resolvable Matching Designs
Published
• View Publication
• BIB
An Orthogonally resolvable Matching Design OMD$(n, k)$ is a partition of the edges the complete graph $K_n$ into matchings of size $k$, called blocks, such that the blocks can be resolved in two different ways. Such a design can be represented as a square array whose cells are either empty or contain a matching of size $k$, where every vertex appears exactly once in each row and column. In this paper we show that an OMD$(n.k)$ exists if and only if $n \equiv 0 \pmod{2k}$ except when $k=1$ and $n = 4$ or $6$.
Polynomial-time algorithm for Maximum Weight Independent Set on $P_6$-free graphs
Published
• View Publication
• BIB
In the classic Maximum Weight Independent Set problem we are given a graph $G$ with a nonnegative weight function on vertices, and the goal is to find an independent set in $G$ of maximum possible weight. While the problem is NP-hard in general, we give a polynomial-time algorithm working on any $P_6$-free graph, that is, a graph that has no path on $6$ vertices as an induced subgraph. This improves the polynomial-time algorithm on $P_5$-free graphs of Lokshtanov et al. (SODA 2014), and the quasipolynomial-time algorithm on $P_6$-free graphs of Lokshtanov et al (SODA 2016). The main technical contribution leading to our main result is enumeration of a polynomial-size family $\mathcal{F}$ of vertex subsets with the following property: for every maximal independent set $I$ in the graph, $\mathcal{F}$ contains all maximal cliques of some minimal chordal completion of $G$ that does not add any edge incident to a vertex of $I$.
Linear dependence between hereditary quasirandomness conditions
Published in Electronic Journal of Combinatorics 25 (2018), P4.12
• View Publication
• BIB
Answering a question of Simonovits and S\' os, Conlon, Fox, and Sudakov proved that for any nonempty graph $H$, and any $\varepsilon>0$, there exists $δ>0$ polynomial in $\varepsilon$, such that if $G$ is an $n$-vertex graph with the property that every $U\subseteq V(G)$ contains $p^{e(H)}|U|^{v(H)}\pmδn^{v(H)}$ labeled copies of $H$, then $G$ is $(p,\varepsilon)$-quasirandom in the sense that every subset $U\subseteq G$ contains $\frac{1}{2}p|U|^{2}\pm\varepsilon n^{2}$ edges. They conjectured that $δ$ may be taken to be linear in $\varepsilon$ and proved this in the case that $H$ is a complete graph. We study a labelled version of this quasirandomness property proposed by Reiher and Schacht. Let $H$ be any nonempty graph on $r$ vertices $v_{1},\ldots,v_{r}$, and $\varepsilon>0$. We show that there exists $δ=δ(\varepsilon)>0$ linear in $\varepsilon$, such that if $G$ is an $n$-vertex graph with the property that every sequence of $r$ subsets $U_{1},\ldots,U_{r}\subseteq V(G)$, the number of copies of $H$ with each $v_{i}$ in $U_{i}$ is $p^{e(H)}\prod|U_{i}|\pmδn^{v(H)}$, then $G$ is $(p,\varepsilon)$-quasirandom.