contain ↗ reference
7694 papers tagged with this keyword
Ramsey Numbers of Odd Cycles Versus Larger Even Wheels
Published
• View Publication
• BIB
The generalized Ramsey number $R(G_1, G_2)$ is the smallest positive integer $N$ such that any red-blue coloring of the edges of the complete graph $K_N$ either contains a red copy of $G_1$ or a blue copy of $G_2$. Let $C_m$ denote a cycle of length $m$ and $W_n$ denote a wheel with $n+1$ vertices. In 2014, Zhang, Zhang and Chen determined many of the Ramsey numbers $R(C_{2k+1}, W_{n})$ of odd cycles versus larger wheels, leaving open the particular case where $n = 2j$ is even and $k<j<3k/2$. They conjectured that for these values of $j$ and $k$, $R(C_{2k+1}, W_{2j})=4j+1$. In 2015, Sanhueza-Matamala confirmed this conjecture asymptotically, showing that $R(C_{2k+1}, W_{2j}) \le 4j+334$. In this paper, we prove the conjecture of Zhang, Zhang and Chen for almost all of the remaining cases. In particular, we prove that $R(C_{2k+1},W_{2j})=4j+1$ if $j-k \ge 251$, $k<j<3k/2$, and $j \ge 212299$.
$3$-uniform hypergraphs and linear cycles
Published
• View Publication
• BIB
Gyárfás, Győri and Simonovits proved that if a $3$-uniform hypergraph with $n$ vertices has no linear cycles, then its independence number $α\ge \frac{2n} {5}$. The hypergraph consisting of vertex disjoint copies of a complete hypergraph $K_5^3$ on five vertices, shows that equality can hold. They asked whether this bound can be improved if we exclude $K_5^3$ as a subhypergraph and whether such a hypergraph is $2$-colorable.
In this paper we answer these questions affirmatively. Namely, we prove that if a $3$-uniform linear-cycle-free hypergraph doesn't contain $K_5^3$ as a subhypergraph, then it is $2$-colorable. This result clearly implies that its independence number $α\ge \lceil \frac{n}{2} \rceil$. We show that this bound is sharp.
Gyárfás, Győri and Simonovits also proved that a linear-cycle-free $3$-uniform hypergraph contains a vertex of strong degree at most 2. In this context, we show that a linear-cycle-free $3$-uniform hypergraph has a vertex of degree at most $n-2$ when $n \ge 10$.
Unavoidable trees in tournaments
Published
• View Publication
• BIB
An oriented tree $T$ on $n$ vertices is unavoidable if every tournament on $n$ vertices contains a copy of $T$. In this paper we give a sufficient condition for $T$ to be unavoidable, and use this to prove that almost all labelled oriented trees are unavoidable, verifying a conjecture of Bender and Wormald. We additionally prove that every tournament on $n + o(n)$ vertices contains a copy of every oriented tree $T$ on $n$ vertices with polylogarithmic maximum degree, improving a result of Kühn, Mycroft and Osthus.
On $r$-uniform linear hypergraphs with no Berge-$K_{2,t}$
Published
• View Publication
• BIB
Let $\mathcal{F}$ be an $r$-uniform hypergraph and $G$ be a multigraph. The hypergraph $\mathcal{F}$ is a Berge-$G$ if there is a bijection $f: E(G) \rightarrow E( \mathcal{F} )$ such that $e \subseteq f(e)$ for each $e \in E(G)$. Given a family of multigraphs $\mathcal{G}$, a hypergraph $\mathcal{H}$ is said to be $\mathcal{G}$-free if for each $G \in \mathcal{G}$, $\mathcal{H}$ does not contain a subhypergraph that is isomorphic to a Berge-$G$. We prove bounds on the maximum number of edges in an $r$-uniform linear hypergraph that is $K_{2,t}$-free. We also determine an asymptotic formula for the maximum number of edges in a linear 3-uniform 3-partite hypergraph that is $\{C_3 , K_{2,3} \}$-free.
The edge Folkman number $F_e(3, 3; 4)$ is greater than 19
Published in Geombinatorics, 27(1):5-14, 2017
• Search Publication
The set of the graphs which do not contain the complete graph on $q$ vertices $K_q$ and have the property that in every coloring of their edges in two colors there exist a monochromatic triangle is denoted by $\mathcal{H}_e(3, 3; q)$. The edge Folkman numbers $F_e(3, 3; q) = \min\{|V(G)| : G \in \mathcal{H}_e(3, 3; q)\}$ are considered. Folkman proved in 1970 that $F_e(3, 3; q)$ exists if and only if $q \geq 4$. From the Ramsey number $R(3, 3) = 6$ it becomes clear that $F_e(3, 3; q) = 6$ if $q \geq 7$. It is also known that $F_e(3, 3; 6) = 8$ and $F_e(3, 3; 5) = 15$. The upper bounds on the number $F_e(3, 3; 4)$ which follow from the construction of Folkman and from the constructions of some other authors are not good. In 1975 Erdos posed the problem to prove the inequality $F_e(3, 3; 4) < 10^{10}$. This Erdos problem was solved by Spencer in 1978. The last upper bound on $F_e(3, 3; 4)$ was obtained in 2012 by Lange, Radziszowski and Xu, who proved that $F_e(3, 3; 4) \leq 786$. The best lower bound on this number is 19 and was obtained 10 years ago by Radziszowski and Xu. In this paper, we improve this result by proving $F_e(3, 3; 4) \geq 20$. At the end of the paper, we improve the known bounds on the vertex Folkman number $F_v(2, 3, 3; 4)$ by proving $20 \leq F_v(2, 3, 3; 4) \leq 24$.
On open and closed convex codes
Published
• View Publication
• BIB
Neural codes serve as a language for neurons in the brain. Convex codes, which arise from the pattern of intersections of convex sets in Euclidean space, are of particular relevance to neuroscience. Not every code is convex, however, and the combinatorial properties of a code that determine its convexity are still poorly understood. Here we find that a code that can be realized by a collection of open convex sets may or may not be realizable by closed convex sets, and vice versa, establishing that open convex and closed convex codes are distinct classes. We also prove that max intersection-complete codes (i.e. codes that contain all intersections of maximal codewords) are both open convex and closed convex, and provide an upper bound for their minimal embedding dimension. Finally, we show that the addition of non-maximal codewords to an open convex code preserves convexity.
Kohnert tableaux and a lifting of quasi-Schur functions
Published
• View Publication
• BIB
We introduce the quasi-key basis of the polynomial ring. We prove this basis contains the quasi-Schur polynomials of of Haglund, Luoto, Mason and van Willigenburg and that stable limits of quasi-key polynomials are quasi-Schur functions, thus giving a lifting of the quasi-Schur basis of quasisymmetric polynomials to the full polynomial ring. We introduce the combinatorial model of Kohnert tableaux, and use this model to prove that key polynomials expand positively in quasi-key polynomials which in turn expand positively in the fundamental slide polynomials introduced earlier by the authors. We give simple combinatorial formulas for these expansions in terms of Kohnert tableaux, lifting the parallel expansions of a Schur function into quasi-Schur functions into fundamental quasisymmetric functions. We further utilize Kohnert tableaux to find the precise point at which the fundamental slide expansion of a key polynomial stabilizes.
Latin squares with no transversals
Published in Electron. J. Combin. 24(2) (2017), #P2.45
• View Publication
• BIB
A $k$-plex in a latin square of order $n$ is a selection of $kn$ entries that includes $k$ representatives from each row and column and $k$ occurrences of each symbol. A $1$-plex is also known as a transversal.
It is well known that if $n$ is even then $B_n$, the addition table for the integers modulo $n$, possesses no transversals. We show that there are a great many latin squares that are similar to $B_n$ and have no transversal. As a consequence, the number of species of transversal-free latin squares is shown to be at least $n^{n^{3/2}(1/2-o(1))}$ for even $n\rightarrow\infty$.
We also produce various constructions for latin squares that have no transversal but do have a $k$-plex for some odd $k>1$. We prove a 2002 conjecture of the second author that for all even orders $n>4$ there is a latin square of order $n$ that contains a $3$-plex but no transversal. We also show that for odd $k$ and $m\geq 2$, there exists a latin square of order $2km$ with a $k$-plex but no $k'$-plex for odd $k'<k$.
The excluded minors for the class of matroids that are graphic or bicircular lift
Published
• View Publication
• BIB
Bicircular lift matroids are a class of matroids defined on the edge set of a graph. For a given graph $G$, the circuits of its bicircular lift matroid $L(G)$ are the edge sets of those subgraphs of $G$ that contain at least two cycles, and are minimal with respect to this property. For each cycle $C$ of $G$, since $L(G)/C$ is graphic and most graphic matroids are not bicircular lift, the class of bicircular lift matroids is not minor-closed. In this paper, we prove that the class of matroids that are graphic or bicircular lift has a finite list of excluded minors.
Hamilton cycles in hypergraphs below the Dirac threshold
Published
• View Publication
• BIB
We establish a precise characterisation of $4$-uniform hypergraphs with minimum codegree close to $n/2$ which contain a Hamilton $2$-cycle. As an immediate corollary we identify the exact Dirac threshold for Hamilton $2$-cycles in $4$-uniform hypergraphs. Moreover, by derandomising the proof of our characterisation we provide a polynomial-time algorithm which, given a $4$-uniform hypergraph $H$ with minimum codegree close to $n/2$, either finds a Hamilton $2$-cycle in $H$ or provides a certificate that no such cycle exists. This surprising result stands in contrast to the graph setting, in which below the Dirac threshold it is NP-hard to determine if a graph is Hamiltonian. We also consider tight Hamilton cycles in $k$-uniform hypergraphs $H$ for $k \geq 3$, giving a series of reductions to show that it is NP-hard to determine whether a $k$-uniform hypergraph $H$ with minimum degree $δ(H) \geq \frac{1}{2}|V(H)| - O(1)$ contains a tight Hamilton cycle. It is therefore unlikely that a similar characterisation can be obtained for tight Hamilton cycles.
On the generalized restricted sumsets in abelian groups
Published
• View Publication
• BIB
Suppose that $A$, $B$ and $S$ are non-empty subsets of a finite abelian group $G$. Then the generalized restricted sumset $$ A\stackrel{S}+B:=\{a+b:\,a\in A,\ b\in B,\ a-b\not\in S\} $$ contains at least $$ \min\{|A|+|B|-3|S|,p(G)\} $$ elements, where $p(G)$ is the least prime factor of $|G|$. Further, we also have $$ |A\stackrel{S}+B|\geq \min\{|A|+|B|-|S|-2,p(G)\}, $$ provided that both $|A|$ and $|B|$ are large with respect to $|S|$.
Kleitman's conjecture about families of given size minimizing the number of $k$-chains
Published
• View Publication
• BIB
A central theorem in combinatorics is Sperner's Theorem, which determines the maximum size of a family $\mathcal{F}\subseteq \mathcal{P}(n)$ that does not contain a $2$-chain $F_1\subsetneq F_2$. Erdős later extended this result and determined the largest family not containing a $k$-chain $F_1\subsetneq \ldots \subsetneq F_k$. Erdős and Katona and later Kleitman asked how many such chains must appear in families whose size is larger than the corresponding extremal result.
This question was resolved for $2$-chains by Kleitman in $1966$, who showed that amongst families of size $M$ in $\mathcal{P}(n)$, the number of $2$-chains is minimized by a family whose sets are taken as close to the middle layer as possible. He also conjectured that the same conclusion should hold for all $k$, not just $2$. The best result on this question is due to Das, Gan and Sudakov who showed that Kleitman's conjecture holds for families whose size is at most the size of the $k+1$ middle layers of $\mathcal{P}(n)$, provided $k\leq n-6$. Our main result is that for every fixed $k$ and $ε>0$, if $n$ is sufficiently large then Kleitman's conjecture holds for families of size at most $(1-ε)2^n$, thereby establishing Kleitman's conjecture asymptotically. Our proof is based on ideas of Kleitman and Das, Gan and Sudakov. Several open problems are also given.
Proceedings of the 24th International Symposium on Graph Drawing and Network Visualization (GD 2016)
Published
• View Publication
• BIB
This is the arXiv index for the electronic proceedings of the 24th International Symposium on Graph Drawing and Network Visualization (GD 2016), which was held in Athens, Greece, September 19-21 2016. It contains the peer-reviewed and revised accepted papers with an optional appendix.
A note on the size of N-free families
Published
• View Publication
• BIB
The $\mathcal{N}$ poset consists of four distinct sets $W,X,Y,Z$ such that $W\subset X$, $Y\subset X$, and $Y\subset Z$ where $W$ is not necessarily a subset of $Z$. A family $\mathcal{F}$ as a subposet of the $n$-dimensional Boolean lattice, $\mathcal{B}_n$, is $\mathcal{N}$-free if it does not contain $\mathcal{N}$ as a subposet. Let $\text{La}(n, \mathcal{N})$ be the size of a largest $\mathcal{N}$-free family in $\mathcal{B}_n$. Katona and Tarján proved that $\text{La}(n,\mathcal{N})\geq {n \choose k}+A(n,4,k+1)$, where $k=\lfloor n/2\rfloor$ and $A(n, 4, k+1)$ is the size of a single-error-correcting code with constant weight $k+1$. In this note, we prove for $n$ even and $k=n/2$, $\text{La}(n, \mathcal{N}) \geq {n\choose k}+A(n, 4, k)$, which improves the bound on $\text{La}(n, \mathcal{N})$ in the second order term for some values of $n$ and should be an improvement for an infinite family of values of $n$, depending on the behavior of the function $A(n,4,\cdot)$.
Algebras sharing the same support $τ$-tilting poset with tree quiver algebras
Published
• View Publication
• BIB
Happel and Unger reconstructed hereditary algebras from their posets of tilting modules. Inspired by this result, we try removing the assumption to be hereditary. However, it would be unfortunately fail in general: e.g. every selfinjective algebra has the poset consisting of only one point. Therefore, we should consider a generalization of the Happel-Unger's result for posets of support $τ$-tilting modules, which contains those of tilting modules. In this paper, we spotlight finite dimensional algebras whose support $τ$-tilting posets coincide with those of tree quiver algebras and give a full characterization of such algebras.
A Note on Large H-Intersecting Families
Published
• View Publication
• BIB
A family $F$ of graphs on a fixed set of $n$ vertices is called triangle-intersecting if for any $G_1,G_2 \in F$, the intersection $G_1 \cap G_2$ contains a triangle. More generally, for a fixed graph $H$, a family $F$ is $H$-intersecting if the intersection of any two graphs in $F$ contains a sub-graph isomorphic to $H$.
In [D. Ellis, Y. Filmus, and E. Friedgut, Triangle-intersecting families of graphs, J. Eur. Math. Soc. 14 (2012), pp. 841--885], Ellis, Filmus and Friedgut proved a 36-year old conjecture of Simonovits and Sós stating that the maximal size of a triangle-intersecting family is $(1/8)2^{n(n-1)/2}$. Furthermore, they proved a $p$-biased generalization, stating that for any $p \leq 1/2$, we have $μ_{p}(F)\le p^{3}$, where $μ_{p}(F)$ is the probability that the random graph $G(n,p)$ belongs to $F$.
In the same paper, Ellis et al. conjectured that the assertion of their biased theorem holds also for $1/2 < p \le 3/4$, and more generally, that for any non-$t$-colorable graph $H$ and any $H$-intersecting family $F$, we have $μ_{p}(F)\le p^{t(t+1)/2}$ for all $p \leq (2t-1)/(2t)$.
In this note we construct, for any fixed $H$ and any $p>1/2$, an $H$-intersecting family $F$ of graphs such that $μ_{p}(F)\ge 1-e^{-n^{2}/C}$, where $C$ depends only on $H$ and $p$, thus disproving both conjectures.
Fractional and Circular Separation Dimension of Graphs
Published
• View Publication
• BIB
The separation dimension of a graph $G$, written $π(G)$, is the minimum number of linear orderings of $V(G)$ such that every two nonincident edges are "separated" in some ordering, meaning that both endpoints of one edge appear before both endpoints of the other. We introduce the fractional separation dimension $π_f(G)$, which is the minimum of $a/b$ such that some $a$ linear orderings (repetition allowed) separate every two nonincident edges at least $b$ times.
In contrast to separation dimension, fractional separation dimension is bounded: always $π_f(G)\le 3$, with equality if and only if $G$ contains $K_4$. There is no stronger bound even for bipartite graphs, since $π_f(K_{m,m})=π_f(K_{m+1,m})=\frac{3m}{m+1}$. We also compute $π_f(G)$ for cycles and some complete tripartite graphs. We show that $π_f(G)<\sqrt 2$ when $G$ is a tree and present a sequence of trees on which the value tends to $4/3$.
Finally, we consider analogous problems for circular orderings, where pairs of nonincident edges are separated unless their endpoints alternate. Let $π^\circ(G)$ be the number of circular orderings needed to separate all pairs and $π_f^\circ(G)$ be the fractional version. Among our results: (1) $π^\circ(G)=1$ if and only $G$ is outerplanar. (2) $π^\circ(G)\le2$ when $G$ is bipartite. (3) $π^\circ(K_n)\ge\log_2\log_3(n-1)$. (4) $π_f^\circ(G)\le\frac{3}{2}$, with equality if and only if $K_4\subseteq G$. (5) $π_f^\circ(K_{m,m})=\frac{3m-3}{2m-1}$.
Induced subgraphs with many distinct degrees
Published
• View Publication
• BIB
Let $\hom(G)$ denote the size of the largest clique or independent set of a graph $G$. In 2007, Bukh and Sudakov proved that every $n$-vertex graph $G$ with $\hom(G) = O(\log n)$ contains an induced subgraph with $Ω(n^{1/2})$ distinct degrees, and raised the question of deciding whether an analogous result holds for every $n$-vertex graph $G$ with $\hom(G) = O(n^ε)$, where $ε> 0$ is a fixed constant. Here, we answer their question in the affirmative and show that every graph $G$ on $n$ vertices contains an induced subgraph with $Ω((n/\hom(G))^{1/2})$ distinct degrees. We also prove a stronger result for graphs with large cliques or independent sets and show, for any fixed $k \in \mathbb{N}$, that if an $n$-vertex graph $G$ contains no induced subgraph with $k$ distinct degrees, then $\hom(G) \ge n/(k-1)-o(n)$; this bound is essentially best-possible.
Minimal obstructions for normal spanning trees
Published
• View Publication
• BIB
Diestel and Leader have characterised connected graphs that admit a normal spanning tree via two classes of forbidden minors. One class are Halin's $(\aleph_0,\aleph_1)$-graphs: bipartite graphs with bipartition $(\mathbb{N},B)$ such that $B$ is uncountable and every vertex of $B$ has infinite degree.
Our main result is that under Martin's Axiom and the failure of the Continuum Hypothesis, the class of forbidden $(\aleph_0,\aleph_1)$-graphs in Diestel and Leader's result can be replaced by one single instance of such a graph.
Under CH, however, the class of $(\aleph_0,\aleph_1)$-graphs contains minor-incomparable elements, namely graphs of binary type, and $\mathcal{U}$-indivisible graphs. Assuming CH, Diestel and Leader asked whether every $(\aleph_0,\aleph_1)$-graph has an $(\aleph_0,\aleph_1)$-minor that is either indivisible or of binary type, and whether any two $\mathcal{U}$-indivisible graphs are necessarily minors of each other. For both questions, we construct examples showing that the answer is in the negative.
Excluding a large theta graph
Published
• View Publication
• BIB
A theta graph, denoted $θ_{a,b,c}$, is a graph of order $a+b+c-1$ consisting of a pair of vertices and three independent paths between them of lengths $a$, $b$, and $c$. We provide a complete characterization of graphs that do not contain a large $θ_{a,b,c}$ as a topological minor. More specifically, we describe the structure of $θ_{1,2,t}$-, $θ_{2,2,t}$-, $θ_{1,t,t}$-, $θ_{2,t,t}$-, and $θ_{t,t,t}$-free graphs where $t$ is large. The main result is a characterization of $θ_{t,t,t}$-free graphs for large $t$. The $3$-connected $θ_{t,t,t}$-free graphs are formed by $3$-summing graphs without a long path to certain planar graphs. The $2$-connected $θ_{t,t,t}$-free graphs are then built up in a similar fashion by 2- and 3-sums. This result implies a well-known theorem of Robertson and Chakravarti on graphs that do not have a bond containing three specified edges.