contain ↗ reference
7689 papers tagged with this keyword
Excluding pairs of tournaments
Published
• View Publication
• BIB
The Erdős-Hajnal conjecture states that for every given undirected graph $H$ there exists a constant $c(H)>0$ such that every graph $G$ that does not contain $H$ as an induced subgraph contains a clique or a stable set of size at least $|V(G)|^{c(H)}$. The conjecture is still open. Its equivalent directed version states that for every given tournament $H$ there exists a constant $c(H)>0$ such that every $H$-free tournament $T$ contains a transitive subtournament of order at least $|V(T)|^{c(H)}$. We prove in this paper that $\{H_{1},H_{2}\}$-free tournaments $T$ contain transitive subtournaments of size at least $|V(T)|^{c(H_{1},H_{2})}$ for some $c(H_{1},H_{2})>0$ and several pairs of tournaments: $H_{1}$, $H_{2}$. In particular we prove that $\{H,H^{c}\}$-freeness implies existence of the polynomial-size transitive subtournaments for several tournaments $H$ for which the conjecture is still open ($H^{c}$ stands for the \textit{complement of $H$}). To the best of our knowledge these are first nontrivial results of this type.
The Strong EH-Property and the Erdős-Hajnal Conjecture
The Erdős-Hajnal Conjecture states that for every $H$ there exists a constant $ε(H)>0$ such that every graph $G$ that does not contain $H$ as an induced subgraph contains a clique or a stable set of size at least $|V(G)|^{ε(H)}$. The Conjecture is still open. Some time ago its directed version was formulated (see:\cite{alon}). In the directed version graphs are replaced by tournaments, and cliques and stable sets by transitive subtournaments. If the Conjecture is not true then the smallest counterexample is a prime tournament. For a long time the Conjecture was known only for finitely many prime tournaments. Recently in \cite{bcc} and \cite{choromanski2} the Conjecture was proven for the families of galaxies and constellations that contain infinitely many prime tournaments. In \cite{bcc} the Conjecture was also proven for all $5$-vertex tournaments. We say that a tournament $H$ has the $EH$-property if it satisfies the Conjecture. In this paper we introduce the so-called \textit{strong EH-property} which enables us to prove the Conjecture for new prime tournaments, but what is even more interesting, provides a mechanism to combine tournaments satisfying the Conjecture to get bigger tournaments that do so and are not necessarily nonprime. We give several examples of families of tournaments constructed according to this procedure. The only procedure known before used to construct bigger tournaments satisfying the Conjecture from smaller tournaments satisfying the Conjecture was the so-called \textit{substitution procedure} (see: \cite{alon}). However an outcome of this procedure is always a nonprime tournament and, from what we have said before, prime tournaments are those that play crucial role in the research on the Conjecture. Our method may be potentially used to prove the Conjecture for several new classes of tournaments.
On the number of 5-cycles in a tournament
Published
• View Publication
• BIB
We find an exact formula for the number of directed 5-cycles in a tournament in terms of its edge score sequence. We use this formula to find both upper and lower bounds on the number of 5-cycles in any $n$-tournament. In particular, we show that the maximum number of 5-cycles is asymptotically equal to $\frac{3}{4}{n \choose 5}$, the expected number 5-cycles in a random tournament ($p=\frac{1}{2}$), with equality (up to order of magnitude) for almost all tournaments. Note that this means that almost all $n$-tournaments contain the maximum number of $5$-cycles.
Vincular pattern posets and the Möbius function of the quasi-consecutive pattern poset
Published
• View Publication
• BIB
We introduce vincular pattern posets, then we consider in particular the quasi-consecutive pattern poset, which is defined by declaring $σ\leq τ$ whenever the permutation $τ$ contains an occurrence of the permutation $σ$ in which all the entries are adjacent in $τ$ except at most the first and the second. We investigate the Möbius function of the quasi-consecutive pattern poset and we completely determine it for those intervals $[σ,τ]$ such that $σ$ occurs precisely once in $τ$.
Ordered Ramsey numbers
Published
• View Publication
• BIB
Given a labeled graph $H$ with vertex set $\{1, 2,\ldots,n\}$, the ordered Ramsey number $r_<(H)$ is the minimum $N$ such that every two-coloring of the edges of the complete graph on $\{1, 2, \ldots,N\}$ contains a copy of $H$ with vertices appearing in the same order as in $H$. The ordered Ramsey number of a labeled graph $H$ is at least the Ramsey number $r(H)$ and the two coincide for complete graphs. However, we prove that even for matchings there are labelings where the ordered Ramsey number is superpolynomial in the number of vertices. Among other results, we also prove a general upper bound on ordered Ramsey numbers which implies that there exists a constant $c$ such that $r_<(H) \leq r(H)^{c \log^2 n}$ for any labeled graph $H$ on vertex set $\{1,2, \dots, n\}$.
Sets of natural numbers with proscribed subsets
Fix $A$, a family of subsets of natural numbers, and let $G_A(n)$ be the maximum cardinality of a subset of $\{1,2,..., n\}$ that does not have any subset in $A$. We consider the general problem of giving upper bounds on $G_A(n)$ and give some new upper bounds on some families that are closed under dilation. Specific examples include sets that do not contain any geometric progression of length $k$ with integer ratio, sets that do not contain any geometric progression of length $k$ with rational ratio, and sets of integers that do not contain multiplicative squares, i.e., nontrivial sets of the form $\{a, ar, as, ars\}$.
Conway groupoids and completely transitive codes
Published
• View Publication
• BIB
To each supersimple $2-(n,4,λ)$ design $\mathcal{D}$ one associates a `Conway groupoid,' which may be thought of as a natural generalisation of Conway's Mathieu groupoid associated to $M_{13}$ which is constructed from $\mathbb{P}_3$.
We show that $\operatorname{Sp}_{2m}(2)$ and $2^{2m}.\operatorname{Sp}_{2m}(2)$ naturally occur as Conway groupoids associated to certain designs. It is shown that the incidence matrix associated to one of these designs generates a new family of completely transitive $\mathbb{F}_2$-linear codes with minimum distance 4 and covering radius 3, whereas the incidence matrix of the other design gives an alternative construction to a previously known family of completely transitive codes.
We also give a new characterization of $M_{13}$ and prove that, for a fixed $λ> 0,$ there are finitely many Conway groupoids for which the set of morphisms does not contain all elements of the full alternating or symmetric group.
A Generalization of Cover Free Families
An (r;w; d) -cover-free family (CFF) is a family of subsets of a finite set such that the intersection of any r members of the family contains at least d elements that are not in the union of any other w members. The minimum number of elements for which there exists an (r;w; d)-CFF with t blocks is denoted by N((r;w; d); t). In this paper, we determine the exact value of N((r;w; d); t) for some special parameters. Also, we present two constructions for (2; 1; d)- CFF and (2; 2; d)-CFF which improve the existing constructions. Moreover, we introduce a generalization of cover-free families which is motivated by an application of CFF in the key predistribution schemes. Also, we investigate some properties and bounds on the parameters of this generalization.
The multiplication table problem for bipartite graphs
Published
• View Publication
• BIB
We investigate the following generalisation of the 'multiplication table problem' of Erdős: given a bipartite graph with $m$ edges, how large is the set of sizes of its induced subgraphs? Erdős's problem of estimating the number of distinct products $ab$ with $a,b \le n$ is precisely the problem under consideration when the graph in question is the complete bipartite graph $K_{n,n}$. In this note, we prove that the set of sizes of the induced subgraphs of any bipartite graph with $m$ edges contains $Ω(m/(\log m)^{12})$ distinct elements.
Minimum degree thresholds for bipartite graph tiling
Published in Journal of Graph Theory. Volume 70, Issue 1, Pages 92-120, May 2012
• View Publication
• BIB
For any bipartite graph $H$, we determine a minimum degree threshold for a balanced bipartite graph $G$ to contain a perfect $H$-tiling. We show that this threshold is best possible up to a constant depending only on $H$. Additionally, we prove a corresponding minimum degree threshold to guarantee that $G$ has an $H$-tiling missing only a constant number of vertices. Our threshold for the perfect tiling depends on either the chromatic number $χ(H)$ or the critical chromatic number $χ_{cr}(H)$ while the threshold for the almost perfect tiling only depends on $χ_{cr}(H)$. Our results answer two questions of Zhao. They can be viewed as bipartite analogs to the results of Kuhn and Osthus and of Shokoufandeh and Zhao.
Recognizing Right-Angled Coxeter Groups Using Involutions
Published in Pacific J. Math. 284 (2016) 41-77
• View Publication
• BIB
We consider the question of determining whether a given group (especially one generated by involutions) is a right-angled Coxeter group. We describe a group invariant, the involution graph, and we characterize the involution graphs of right-angled Coxeter groups. We use this characterization to describe a process for constructing candidate right-angled Coxeter presentations for a given group or proving that one cannot exist. We provide some first applications. In addition, we provide an elementary proof of rigidity of the defining graph for a right-angled Coxeter group. We also recover a result stating that if the defining graph contains no SILs, then Aut^0(W) is a right-angled Coxeter group.
Implicit Representations and Factorial Properties of Graphs
Published
• View Publication
• BIB
The idea of implicit representation of graphs was introduced in [S. Kannan, M. Naor, S. Rudich, Implicit representation of graphs, SIAM J. Discrete Mathematics, 5 (1992) 596--603] and can be defined as follows. A representation of an $n$-vertex graph $G$ is said to be implicit if it assigns to each vertex of $G$ a binary code of length $O(\log n)$ so that the adjacency of two vertices is a function of their codes. Since an implicit representation of an $n$-vertex graph uses $O(n\log n)$ bits, any class of graphs admitting such a representation contains $2^{O(n\log n)}$ labelled graphs with $n$ vertices. In the terminology of [J. Balogh, B. Bollobás, D. Weinreich, The speed of hereditary properties of graphs, J. Combin. Theory B 79 (2000) 131--156] such classes have at most factorial speed of growth. In this terminology, the implicit graph conjecture can be stated as follows: every class with at most factorial speed of growth which is hereditary admits an implicit representation. The question of deciding whether a given hereditary class has at most factorial speed of growth is far from being trivial. In the present paper, we introduce a number of tools simplifying this question. Some of them can be used to obtain a stronger conclusion on the existence of an implicit representation. We apply our tools to reveal new hereditary classes with the factorial speed of growth. For many of them we show the existence of an implicit representation.
General Position Subsets and Independent Hyperplanes in d-Space
Published
• View Publication
• BIB
Erdős asked what is the maximum number $α(n)$ such that every set of $n$ points in the plane with no four on a line contains $α(n)$ points in general position. We consider variants of this question for $d$-dimensional point sets and generalize previously known bounds. In particular, we prove the following two results for fixed $d$:
- Every set $H$ of $n$ hyperplanes in $\mathbb{R}^d$ contains a subset $S\subseteq H$ of size at least $c \left(n \log n\right)^{1/d}$, for some constant $c=c(d)>0$, such that no cell of the arrangement of $H$ is bounded by hyperplanes of $S$ only.
- Every set of $cq^d\log q$ points in $\mathbb{R}^d$, for some constant $c=c(d)>0$, contains a subset of $q$ cohyperplanar points or $q$ points in general position.
Two-dimensional versions of the above results were respectively proved by Ackerman et al. [Electronic J. Combinatorics, 2014] and by Payne and Wood [SIAM J. Discrete Math., 2013].
Intervals of permutation class growth rates
Published in Combinatorica, 38(2):279-303, 2018
• View Publication
• BIB
We prove that the set of growth rates of permutation classes includes an infinite sequence of intervals whose infimum is $θ_B\approx2.35526$, and that it also contains every value at least $λ_B\approx2.35698$. These results improve on a theorem of Vatter, who determined that there are permutation classes of every growth rate at least $λ_A\approx2.48187$. Thus, we also refute his conjecture that the set of growth rates below $λ_A$ is nowhere dense. Our proof is based upon an analysis of expansions of real numbers in non-integer bases, the study of which was initiated by Rényi in the 1950s. In particular, we prove two generalisations of a result of Pedicini concerning expansions in which the digits are drawn from sets of allowed values.
Reversible peg solitaire on graphs
Published
• View Publication
• BIB
The game of peg solitaire on graphs was introduced by Beeler and Hoilman in 2011. In this game, pegs are initially placed on all but one vertex of a graph $G$. If $xyz$ forms a path in $G$ and there are pegs on vertices $x$ and $y$ but not $z$, then a {\em jump} places a peg on $z$ and removes the pegs from $x$ and $y$. A graph is called solvable if, for some configuration of pegs occupying all but one vertex, some sequence of jumps leaves a single peg. We study the game of {\em reversible peg solitaire}, where there are again initially pegs on all but one vertex, but now both jumps and unjumps (the reversal of a jump) are allowed. We show that in this game all non-star graphs that contain a vertex of degree at least three are solvable, that cycles and paths on $n$ vertices, where $n$ is divisible by $2$ or $3$, are solvable, and that all other graphs are not solvable. We also classify the possible starting hole and ending peg positions for solvable graphs.
The topology of the external activity complex of a matroid
Published
• View Publication
• BIB
We prove that the external activity complex $\textrm{Act}_<(M)$ of a matroid is shellable. In fact, we show that every linear extension of LasVergnas's external/internal order $<_{ext/int}$ on $M$ provides a shelling of $\textrm{Act}_<(M)$. We also show that every linear extension of LasVergnas's internal order $<_{int}$ on $M$ provides a shelling of the independence complex $IN(M)$. As a corollary, $\textrm{Act}_<(M)$ and $M$ have the same $h$-vector. We prove that, after removing its cone points, the external activity complex is contractible if $M$ contains $U_{3,1}$ as a minor, and a sphere otherwise.
Bootstrap percolation with inhibition
Published
• View Publication
• BIB
Bootstrap percolation is a prominent framework for studying the spreading of activity on a graph. We begin with an initial set of active vertices. The process then proceeds in rounds, and further vertices become active as soon as they have a certain number of active neighbors. A recurring feature in bootstrap percolation theory is an `all-or-nothing' phenomenon: either the size of the starting set is so small that the process stops very soon, or it percolates (almost) completely.
Motivated by several important phenomena observed in various types of real-world networks we propose in this work a variant of bootstrap percolation that exhibits a vastly different behavior. Our graphs have two types of vertices: some of them obstruct the diffusion, while the others facilitate it. We study the effect of this setting by analyzing the process on Erdős-Rényi random graphs. Our main findings are two-fold. First we show that the presence of vertices hindering the diffusion does not result in a stable behavior: tiny changes in the size of the starting set can dramatically influence the size of the final active set. In particular, the process is non-monotone: a larger starting set can result in a smaller final set. In the second part of the paper we show that this phenomenom arises from the round-based approach: if we move to a continuous time model in which every edge draws its transmission time randomly, then we gain stability, and the process stops with an active set that contains a non-trivial constant fraction of all vertices. Moreover, we show that in the continuous time model percolation occurs significantly faster compared to the classical round-based model. Our findings are in line with empirical observations and demonstrate the importance of introducing various types of vertex behaviors in the mathematical model.
Linear bounds on matrix extremal functions using visibility hypergraphs
Published
• View Publication
• BIB
The 0-1 matrix A contains a 0-1 matrix M if some submatrix of A can be transformed into M by changing some ones to zeroes. If A does not contain M, then A avoids M. Let ex(n,M) be the maximum number of ones in an n x n 0-1 matrix that avoids M, and let ex_k(m,M) be the maximum number of columns in a 0-1 matrix with m rows that avoids M and has at least k ones in every column. A method for bounding ex(n,M) by using bounds on the maximum number of edges in bar visibility graphs was introduced in (R. Fulek, Discrete Mathematics 309, 2009). By using a similar method with bar visibility hypergraphs, we obtain linear bounds on the extremal functions of other forbidden 0-1 matrices.
Littlewood-Richardson rules for symmetric skew quasisymmetric Schur functions
Published in J. Combin. Theory Ser. A 137:179--206 (2016)
• View Publication
• BIB
The classical Littlewood-Richardson rule is a rule for computing coefficients in many areas, and comes in many guises. In this paper we prove two Littlewood-Richardson rules for symmetric skew quasisymmetric Schur functions that are analogous to the famed version of the classical Littlewood-Richardson rule involving Yamanouchi words. Furthermore, both our rules contain this classical Littlewood-Richardson rule as a special case. We then apply our rules to combinatorially classify symmetric skew quasisymmetric Schur functions. This answers affirmatively a conjecture of Bessenrodt, Luoto and van Willigenburg.
Robust hamiltonicity of random directed graphs
Published
• View Publication
• BIB
In his seminal paper from 1952 Dirac showed that the complete graph on $n\geq 3$ vertices remains Hamiltonian even if we allow an adversary to remove $\lfloor n/2\rfloor$ edges touching each vertex. In 1960 Ghouila-Houri obtained an analogue statement for digraphs by showing that every directed graph on $n\geq 3$ vertices with minimum in- and out-degree at least $n/2$ contains a directed Hamilton cycle. Both statements quantify the robustness of complete graphs (digraphs) with respect to the property of containing a Hamilton cycle.
A natural way to generalize such results to arbitrary graphs (digraphs) is using the notion of \emph{local resilience}. The local resilience of a graph (digraph) $G$ with respect to a property $\mathcal{P}$ is the maximum number $r$ such that $G$ has the property $\mathcal{P}$ even if we allow an adversary to remove an $r$-fraction of (in- and out-going) edges touching each vertex. The theorems of Dirac and Ghouila-Houri state that the local resilience of the complete graph and digraph with respect to Hamiltonicity is $1/2$. Recently, this statements have been generalized to random settings. Lee and Sudakov (2012) proved that the local resilience of a random graph with edge probability $p=ω(\log n /n)$ with respect to Hamiltonicity is $1/2\pm o(1)$. For random directed graphs, Hefetz, Steger and Sudakov (2014+) proved an analogue statement, but only for edge probability $p=ω(\log n/\sqrt{n})$. In this paper we significantly improve their result to $p=ω(\log^8 n/ n)$, which is optimal up to the polylogarithmic factor.