contain ↗ reference
7720 papers tagged with this keyword
Linearity of Saturation for Berge Hypergraphs
Published
• View Publication
• BIB
For a graph $F$, we say a hypergraph $H$ is Berge-$F$ if it can be obtained from $F$ be replacing each edge of $F$ with a hyperedge containing it. We say a hypergraph is Berge-$F$-saturated if it does not contain a Berge-$F$, but adding any hyperedge creates a copy of Berge-$F$. The $k$-uniform saturation number of Berge-$F$, $\mathrm{sat}_k(n,\text{Berge-}F)$ is the fewest number of edges in a Berge-$F$-saturated $k$-uniform hypergraph on $n$ vertices. We show that $\mathrm{sat}_k(n,\text{Berge-}F) = O(n)$ for all graphs $F$ and uniformities $3\leq k\leq 5$, partially answering a conjecture of English, Gordon, Graber, Methuku, and Sullivan. We also extend this conjecture to Berge copies of hypergraphs.
Hypergraphs not containing a tight tree with a bounded trunk ~II: 3-trees with a trunk of size 2
A tight $r$-tree $T$ is an $r$-uniform hypergraph that has an edge-ordering $e_1, e_2, \dots, e_t$ such that for each $i\geq 2$, $e_i$ has a vertex $v_i$ that does not belong to any previous edge and $e_i-v_i$ is contained in $e_j$ for some $j<i$. Kalai conjectured in 1984 that every $n$-vertex $r$-uniform hypergraph with more than $\frac{t-1}{r}\binom{n}{r-1}$ edges contains every tight $r$-tree $T$ with $t$ edges.
A trunk $T'$ of a tight $r$-tree $T$ is a tight subtree $T'$ of $T$ such that vertices in $V(T)\setminus V(T')$ are leaves in $T$. Kalai's Conjecture was proved in 1987 for tight $r$-trees that have a trunk of size one. In a previous paper we proved an asymptotic version of Kalai's Conjecture for all tight $r$-trees that have a trunk of bounded size. In this paper we continue that work to establish the exact form of Kalai's Conjecture for all tight $3$-trees with at least $20$ edges that have a trunk of size two.
Cycle-complete Ramsey numbers
Published
• View Publication
• BIB
The Ramsey number $r(C_{\ell},K_n)$ is the smallest natural number $N$ such that every red/blue edge-colouring of a clique of order $N$ contains a red cycle of length $\ell$ or a blue clique of order $n$. In 1978, Erdős, Faudree, Rousseau and Schelp conjectured that $r(C_{\ell},K_n) = (\ell-1)(n-1)+1$ for $\ell \geq n\geq 3$ provided $(\ell,n) \neq (3,3)$.
We prove that, for some absolute constant $C\ge 1$, we have $r(C_{\ell},K_n) = (\ell-1)(n-1)+1$ provided $\ell \geq C\frac {\log n}{\log \log n}$. Up to the value of $C$ this is tight since we also show that, for any $\varepsilon >0$ and $n> n_0(\varepsilon )$, we have $r(C_{\ell }, K_n) \gg (\ell -1)(n-1)+1$ for all $3 \leq \ell \leq (1-\varepsilon )\frac {\log n}{\log \log n}$.
This proves the conjecture of Erdős, Faudree, Rousseau and Schelp for large $\ell $, a stronger form of the conjecture due to Nikiforov, and answers (up to multiplicative constants) two further questions of Erdős, Faudree, Rousseau and Schelp.
On maximum $k$-edge-colorable subgraphs of bipartite graphs
Published
• View Publication
• BIB
If $k\geq 0$, then a $k$-edge-coloring of a graph $G$ is an assignment of colors to edges of $G$ from the set of $k$ colors, so that adjacent edges receive different colors. A $k$-edge-colorable subgraph of $G$ is maximum if it is the largest among all $k$-edge-colorable subgraphs of $G$. For a graph $G$ and $k\geq 0$, let $ν_{k}(G)$ be the number of edges of a maximum $k$-edge-colorable subgraph of $G$. In 2010 Mkrtchyan et al. proved that if $G$ is a cubic graph, then $ν_2(G)\leq \frac{|V|+2ν_3(G)}{4}$. This result implies that if the cubic graph $G$ contains a perfect matching, in particular when it is bridgeless, then $ν_2(G)\leq \frac{ν_1(G)+ν_3(G)}{2}$. One may wonder whether there are other interesting graph-classes, where a relation between $ν_2(G)$ and $\frac{ν_1(G)+ν_3(G)}{2}$ can be proved. Related with this question, in this paper we show that $ν_{k}(G) \geq \frac{ν_{k-i}(G) + ν_{k+i}(G)}{2}$ for any bipartite graph $G$, $k\geq 0$ and $i=0,1,...,k$.
The Active Bijection 2.b - Decomposition of activities for oriented matroids, and general definitions of the active bijection
The active bijection for oriented matroids (and real hyperplane arrangements, and graphs, as particular cases) is introduced and investigated by the authors in a series of papers. Given any oriented matroid defined on a linearly ordered ground set, we exhibit one particularité of its bases, which we call its active basis, with remarkable properties. It preserves activities (for oriented matroids in the sense of Las Vergnas, for matroid bases in the sense of Tutte), as well as some active partitions of the ground set associated with oriented matroids and matroid bases. It yields a canonical bijection between classes of reorientations and bases [...]. It also yields a refined bijection between all reorientations and subsets of the ground set. Those bijections are related to various Tutte polynomial expressions [...]. They contain various noticeable bijections involving orientations/signatures/reorientations and spanning trees/simplices/bases of a graph/real hyperplane arrangement/oriented matroid. [...]
In previous papers of this series, we defined the active bijection between bounded regions and uniactive internal bases by means of fully optimal bases (No. 1), and we defined a decomposition of activities for matroid bases by means of [...] particular sequences of minors (companion paper, No. 2.a). The present paper is central in the series. First, we define a decomposition of activities for oriented matroids, using the same sequences of minors, yielding a decomposition of an oriented matroid into bounded regions of minors. Second, we use the previous results together to provide the canonical and refined active bijections alluded to above. We also give an overview and examples of the various results of independent interest involved in the construction. They arise as soon as the ground set of an oriented matroid is linearly ordered.
A tight Erdős-Pósa function for planar minors
Published in Advances in Combinatorics, 2019:2, 33 pp
• View Publication
• BIB
Let $H$ be a planar graph. By a classical result of Robertson and Seymour, there is a function $f:\mathbb{N} \to \mathbb{R}$ such that for all $k \in \mathbb{N}$ and all graphs $G$, either $G$ contains $k$ vertex-disjoint subgraphs each containing $H$ as a minor, or there is a subset $X$ of at most $f(k)$ vertices such that $G-X$ has no $H$-minor. We prove that this remains true with $f(k) = c k \log k$ for some constant $c=c(H)$. This bound is best possible, up to the value of $c$, and improves upon a recent result of Chekuri and Chuzhoy [STOC 2013], who established this with $f(k) = c k \log^d k$ for some universal constant $d$. The proof is constructive and yields a polynomial-time $O(\log \mathsf{OPT})$-approximation algorithm for packing subgraphs containing an $H$-minor.
On the extremal number of subdivisions
Published
• View Publication
• BIB
One of the cornerstones of extremal graph theory is a result of Füredi, later reproved and given due prominence by Alon, Krivelevich and Sudakov, saying that if $H$ is a bipartite graph with maximum degree $r$ on one side, then there is a constant $C$ such that every graph with $n$ vertices and $C n^{2 - 1/r}$ edges contains a copy of $H$. This result is tight up to the constant when $H$ contains a copy of $K_{r,s}$ with $s$ sufficiently large in terms of $r$. We conjecture that this is essentially the only situation in which Füredi's result can be tight and prove this conjecture for $r = 2$. More precisely, we show that if $H$ is a $C_4$-free bipartite graph with maximum degree $2$ on one side, then there are positive constants $C$ and $δ$ such that every graph with $n$ vertices and $C n^{3/2 - δ}$ edges contains a copy of $H$. This answers a question of Erdős from 1988. The proof relies on a novel variant of the dependent random choice technique which may be of independent interest.
On-line size Ramsey number for monotone k-uniform ordered paths with uniform looseness
An ordered hypergraph is a hypergraph $H$ with a specified linear ordering of the vertices, and the appearance of an ordered hypergraph $G$ in $H$ must respect the specified order on $V(G)$. In on-line Ramsey theory, Builder iteratively presents edges that Painter must immediately color. The $t$-color on-line size Ramsey number $\tilde R_t (G)$ of an ordered hypergraph $G$ is the minimum number of edges Builder needs to play (on a large ordered set of vertices) to force Painter using $t$ colors to produce a monochromatic copy of $G$. The monotone tight path $P_r^{(k)}$ is the ordered hypergraph with $r$ vertices whose edges are all sets of $k$ consecutive vertices.
We obtain good bounds on $\tilde R_t (P_r^{(k)})$. Letting $m=r-k+1$ (the number of edges in $P_r^{(k)}$), we prove $m^{t-1}/(3\sqrt t)\le\tilde R_t (P_r^{(2)})\le tm^{t+1}$. For general $k$, a trivial upper bound is ${R \choose k}$, where $R$ is the least number of vertices in a $k$-uniform (ordered) hypergraph whose $t$-colorings all contain $P_r^{(k)}$ (and is a tower of height $k-2$). We prove $R/(k\lg R)\le\tilde R_t(P_r^{(k)})\le R(\lg R)^{2+ε}$, where $ε$ is any positive constant and $t(m-1)$ is sufficiently large. Our upper bounds improve prior results when $t$ grows faster than $m/\log m$. We also generalize our results to $\ell$-loose monotone paths, where each successive edge begins $\ell$ vertices after the previous edge.
Clumsy packings of graphs
Published
• View Publication
• BIB
Let $G$ and $H$ be graphs. We say that $P$ is an $H$-packing of $G$ if $P$ is a set of edge-disjoint copies of $H$ in $G$. An $H$-packing $P$ is maximal if there is no other $H$-packing of $G$ that properly contains $P$. Packings of maximum cardinality have been studied intensively, with several recent breakthrough results. Here, we consider minimum cardinality maximal packings. An $H$-packing $P$ is clumsy if it is maximal of minimum size. Let $cl(G,H)$ be the size of a clumsy $H$-packing of $G$. We provide nontrivial bounds for $cl(G,H)$, and in many cases asymptotically determine $cl(G,H)$ for some generic classes of graphs $G$ such as $K_n$ (the complete graph), $Q_n$ (the cube graph), as well as square, triangular, and hexagonal grids. We asymptotically determine $cl(K_n,H)$ for every fixed non-empty graph $H$. In particular, we prove that $$ cl(K_n, H) = \frac{\binom{n}{2}- ex(n,H)}{|E(H)|}+o(ex(n,H)),$$ where $ex(n,H)$ is the extremal number of $H$. A related natural parameter is $cov(G,H)$, that is the smallest number of copies of $H$ in $G$ (not necessarily edge-disjoint) whose removal from $G$ results in an $H$-free graph. While clearly $cov(G,H) \le cl(G,H)$, all of our lower bounds for $cl(G,H)$ apply to $cov(G,H)$ as well.
Eventually dendric subshifts
Published
• View Publication
• BIB
We define a new class of shift spaces which contains a number of classes of interest, like Sturmian shifts used in discrete geometry. We show that this class is closed under two natural transformations. The first one is called conjugacy and is obtained by sliding block coding. The second one is called the complete bifix decoding, and typically includes codings by non overlapping blocks of fixed length.
On a Problem of Wang Concerning the Hamiltonicity of Bipartite Digraphs
Published in Mathematical Problems of Computer Science 49, 26-34, 2018
• View Publication
• BIB
R. Wang (Discrete Mathematics and Theoretical Computer Science, vol. 19(3), 2017) proposed the following problem.
\textbf{Problem.} Let $D$ be a strongly connected balanced bipartite directed graph of order $2a\geq 8$. Suppose that $d(x)\geq 2a-k$, $ d(y)\geq a+k$ or $d(y)\geq 2a-k$, $ d(x)\geq a+k$ for every pair of vertices $x,y$ with a common out-neighbour, where $2 \leq k\leq a/2$. Is $D$ Hamiltonian?
In this paper, we prove that if a digraph $D$ satisfies the conditions of this problem, then
(i) $D$ contains a cycle factor,
(ii) for every vertex $x\in V(D)$ there exists a vertex $y\in V(D)$ such that $x$ and $y$ have a common out-neighbour.
Harborth Constants for Certain Classes of Metacyclic Groups
Published
• View Publication
• BIB
The Harborth constant of a finite group $G$ is the smallest integer $k\geq \exp(G)$ such that any subset of $G$ of size $k$ contains $\exp(G)$ distinct elements whose product is $1$. Generalizing previous work on the Harborth constants of dihedral groups, we compute the Harborth constants for the metacyclic groups of the form $H_{n, m}=\langle x, y \mid x^n=1, y^2=x^m, yx=x^{-1}y \rangle$. We also solve the "inverse" problem of characterizing all smaller subsets that do not contain $\exp(H_{n,m})$ distinct elements whose product is $1$.
Puncturing maximum rank distance codes
We investigate punctured maximum rank distance codes in cyclic models for bilinear forms of finite vector spaces. In each of these models we consider an infinite family of linear maximum rank distance codes obtained by puncturing generalized twisted Gabidulin codes. We calculate the automorphism group of such codes and we prove that this family contains many codes which are not equivalent to any generalized Gabidulin code. This solves a problem posed recently by Sheekey in [30].
Geometric comparison of phylogenetic trees with different leaf sets
Published
• View Publication
• BIB
The metric space of phylogenetic trees defined by Billera, Holmes, and Vogtmann, which we refer to as BHV space, provides a natural geometric setting for describing collections of trees on the same set of taxa. However, it is sometimes necessary to analyze collections of trees on non-identical taxa sets (i.e., with different numbers of leaves), and in this context it is not evident how to apply BHV space. Davidson et al. recently approached this problem by describing a combinatorial algorithm extending tree topologies to regions in higher dimensional tree spaces, so that one can quickly compute which topologies contain a given tree as partial data. In this paper, we refine and adapt their algorithm to work for metric trees to give a full characterization of the subspace of extensions of a subtree. We describe how to apply our algorithm to define and search a space of possible supertrees and, for a collection of tree fragments with different leaf sets, to measure their compatibility.
Hopf dreams and diagonal harmonics
Published in J. Lond. Math. Soc., 105(3):1546-1600, 2022
• View Publication
• BIB
This paper introduces a Hopf algebra structure on a family of reduced pipe dreams. We show that this Hopf algebra is free and cofree, and construct a surjection onto a commutative Hopf algebra of permutations. The pipe dream Hopf algebra contains Hopf subalgebras with interesting sets of generators and Hilbert series related to subsequences of Catalan numbers. Three other relevant Hopf subalgebras include the Loday-Ronco Hopf algebra on complete binary trees, a Hopf algebra related to a special family of lattice walks on the quarter plane, and a Hopf algebra on $ν$-trees related to $ν$-Tamari lattices. One of this Hopf subalgebras motivates a new notion of Hopf chains in the Tamari lattice, which are used to present applications and conjectures in the theory of multivariate diagonal harmonics.
The Hopf algebra of integer binary relations
Published in Algebraic Combinatorics, Resurgence, Moulds and Applications (CARMA), European Mathematical Society Publishing House, pp.299-344, 2020
• View Publication
• BIB
We construct a Hopf algebra on integer binary relations that contains under the same roof several well-known Hopf algebras related to the permutahedra and the associahedra: the Malvenuto-Reutenauer algebra on permutations, the Loday-Ronco algebra on planar binary trees, and the Chapoton algebras on ordered partitions and on Schröder trees. We also derive from our construction new Hopf structures on intervals of the weak order on permutations and of the Tamari order on binary trees.
Finding unavoidable colorful patterns in multicolored graphs
Published in The Electronic Journal of Combinatorics, volume 27, issue 4, #P4.4, September 2020
• View Publication
• BIB
We provide multicolored and infinite generalizations for a Ramsey-type problem raised by Bollobás, concerning colorings of $K_n$ where each color is well-represented. Let $χ$ be a coloring of the edges of a complete graph on $n$ vertices into $r$ colors. We call $χ$ $\varepsilon$-balanced if all color classes have $\varepsilon$ fraction of the edges. Fix some graph $H$, together with an $r$-coloring of its edges. Consider the smallest natural number $R_\varepsilon^r(H)$ such that for all $n\geq R_\varepsilon^r(H)$, all $\varepsilon$-balanced colorings $χ$ of $K_n$ contain a subgraph isomorphic to $H$ in its coloring. Bollobás conjectured a simple characterization of $H$ for which $R_\varepsilon^2(H)$ is finite, which was later proved by Cutler and Montágh. Here, we obtain a characterization for arbitrary values of $r$, as well as asymptotically tight bounds. We also discuss generalizations to graphs defined on perfect Polish spaces, where the corresponding notion of balancedness is each color class being non-meagre.
Ramsey goodness of cycles
Published
• View Publication
• BIB
Given a pair of graphs $G$ and $H$, the Ramsey number $R(G,H)$ is the smallest $N$ such that every red-blue coloring of the edges of the complete graph $K_N$ contains a red copy of $G$ or a blue copy of $H$. If a graph $G$ is connected, it is well known and easy to show that $R(G,H) \geq (|G|-1)(χ(H)-1)+σ(H)$, where $χ(H)$ is the chromatic number of $H$ and $σ(H)$ is the size of the smallest color class in a $χ(H)$-coloring of $H$. A graph $G$ is called $H$-good if $R(G,H)= (|G|-1)(χ(H)-1)+σ(H)$. The notion of Ramsey goodness was introduced by Burr and Erdős in 1983 and has been extensively studied since then.
In this paper we show that if $n\geq 10^{60}|H|$ and $σ(H)\geq χ(H)^{22}$ then the $n$-vertex cycle $C_n$ is $H$-good. For graphs $H$ with high $χ(H)$ and $σ(H)$, this proves in a strong form a conjecture of Allen, Brightwell, and Skokan.
The Turán Number for Spanning Linear Forests
Published
• View Publication
• BIB
For a set of graphs $\mathcal{F}$, the extremal number $ex(n;\mathcal{F})$ is the maximum number of edges in a graph of order $n$ not containing any subgraph isomorphic to some graph in $\mathcal{F}$. If $\mathcal{F}$ contains a graph on $n$ vertices, then we often call the problem a spanning Turán problem. A linear forest is a graph whose connected components are all paths and isolated vertices. In this paper, we let $\mathcal{L}_n^k$ be the set of all linear forests of order $n$ with at least $n-k+1$ edges. We prove that when $n\geq 3k$ and $k\geq 2$, \[ ex(n;\mathcal{L}_n^k)=\binom{n-k+1}{2}+ O(k^2). \] Clearly, the result is interesting when $k=o(n)$.
Combining extensions of the Hales-Jewett\\ Theorem with Ramsey Theory\\ in other structures
Published
• View Publication
• BIB
The Hales-Jewett Theorem states that given any finite nonempty set $\A$ and any finite coloring of the free semigroup $S$ over the alphabet $\A$ there is a {\it variable word\/} over $\A$ all of whose instances are the same color. This theorem has some extensions involving several distinct variables occurring in the variable word. We show that, when combined with a sufficiently well behaved homomorphism, the relevant variable word simultaneously satisfies a Ramsey-Theoretic conclusion in the other structure. As an example we show that if $τ$ is the homomorphism from the set of variable words into the natural numbers which associates to each variable word $w$ the number of occurrences of the variable in $w$, then given any finite coloring of $S$ and any infinite sequence of natural numbers, there is a variable word $w$ whose instances are monochromatic and $τ(w)$ is a sum of distinct members of the given sequence.
Our methods rely on the algebraic structure of the Stone-\v Cech compactification of $S$ and the other semigroups that we consider. We show for example that if $τ$ is as in the paragraph above, there is a compact subsemigroup $P$ of $β\ben$ which contains all of the idempotents of $β\ben$ such that, given any $p\in P$, any $A\in p$, and any finite coloring of $S$, there is a variable word $w$ whose instances are monochromatic and $τ(w)\in A$.
We end with a new short algebraic proof of an infinitary extension of the Graham-Rothschild Parameter Sets Theorem.