contain ↗ reference
7694 papers tagged with this keyword
Online containers for hypergraphs, with applications to linear equations
Published in Journal of Combinatorial Theory, Series B 121 (2016) 248-283
• View Publication
• BIB
A set of containers for a hypergraph G is a collection of vertex subsets, such that for every independent (or, indeed, merely sparse) set in G there is some subset in the collection which contains it. No set in the collection should be large and the collection itself should be relatively small. Containers with useful properties have been exhibited by Balogh, Morris and Samotij and by the authors, along with several applications.
Our purpose here is to give a simpler algorithm than the one we used previously, which nevertheless yields containers with all the properties needed for our previous theorem. Moreover this algorithm produces containers having the so-called online property, allowing previous colouring applications to be extended to all, not just simple, hypergraphs.
For illustrative purposes, we include a complete proof of a slightly weaker but simpler version of the theorem, which for many (perhaps most) applications is plenty. We also present applications to the number of solution-free sets of linear equations, including the number of Sidon sets, announced previously but not proven.
The set splittability problem
Published in Australasian journal of combinatorics 75(2):190-209, 2019
• Search Publication
The set splittability problem is the following: given a finite collection of finite sets, does there exits a single set that contains exactly half the elements from each set in the collection? (If a set has odd size, we allow the floor or ceiling.) It is natural to study the set splittability problem in the context of combinatorial discrepancy theory and its applications, since a collection is splittable if and only if it has discrepancy $\leq1$.
We introduce a natural generalization of splittability problem called the $p$-splittability problem, where we replace the fraction $\frac12$ in the definition with an arbitrary fraction $p\in(0,1)$. We first show that the $p$-splittability problem is NP-complete. We then give several criteria for $p$-splittability, including a complete characterization of $p$-splittability for three or fewer sets ($p$ arbitrary), and for four or fewer sets ($p=\frac12$). Finally we prove the asymptotic prevalence of splittability over unsplittability in an appropriate sense.
Turán numbers for disjoint paths
Published
• View Publication
• BIB
The Turán number of a graph $H$, $ex(n,H)$, is the maximum number of edges in any graph of order $n$ which does not contain $H$ as a subgraph. Lidický, Liu and Palmer determined $ex(n, F_m)$ for $n$ sufficiently large and proved that the extremal graph is unique, where $F_m$ is disjoint paths of $P_{k_1}, \ldots, P_{k_m}$ [Lidický,B., Liu,H. and Palmer,C. (2013). On the Turán number of forests. Electron. J. Combin. 20(2) Paper 62, 13 pp]. In this paper, by mean of a different approach, we determine $ex(n, F_m)$ for all integers $n$ with minor conditions, which extends their partial results. Furthermore, we partly confirm the conjecture proposed by Bushaw and Kettle for $ex(n, k\cdot P_l)$ [Bushaw,N. and Kttle,N. (2011) Turán numbers of multiple paths and equibipartite forests. Combin. Probab. Comput. 20 837-853]. Moreover, we show that there exist two family graphs $F_m$ and $F_m^{\prime}$ such that $ex(n, F_m)=ex(n, F_m^{\prime})$ for all integers $n$, which is related to an old problem of Erdős and Simonovits.
Classifying unavoidable Tverberg partitions
Published in Journal of Computational Geometry 8(1):174-205, 2017
• View Publication
• BIB
Let $T(d,r) = (r-1)(d+1)+1$ be the parameter in Tverberg's theorem, and call a partition $\mathcal I$ of $\{1,2,\ldots,T(d,r)\}$ into $r$ parts a "Tverberg type". We say that $\mathcal I$ "occurs" in an ordered point sequence $P$ if $P$ contains a subsequence $P'$ of $T(d,r)$ points such that the partition of $P'$ that is order-isomorphic to $\mathcal I$ is a Tverberg partition. We say that $\mathcal I$ is "unavoidable" if it occurs in every sufficiently long point sequence.
In this paper we study the problem of determining which Tverberg types are unavoidable. We conjecture a complete characterization of the unavoidable Tverberg types, and we prove some cases of our conjecture for $d\le 4$. Along the way, we study the avoidability of many other geometric predicates.
Our techniques also yield a large family of $T(d,r)$-point sets for which the number of Tverberg partitions is exactly $(r-1)!^d$. This lends further support for Sierksma's conjecture on the number of Tverberg partitions.
Matchings in $k$-partite $k$-uniform Hypergraphs
Published
• View Publication
• BIB
For $k\ge 3$ and $ε>0$, let $H$ be a $k$-partite $k$-graph with parts $V_1,\dots, V_k$ each of size $n$, where $n$ is sufficiently large. Assume that for each $i\in [k]$, every $(k-1)$-set in $\prod_{j\in [k]\setminus \{i\}} V_i$ lies in at least $a_i$ edges, and $a_1\ge a_2\ge \cdots \ge a_k$. We show that if $a_1, a_2\ge εn$, then $H$ contains a matching of size $\min\{n-1, \sum_{i\in [k]}a_i\}$. In particular, $H$ contains a matching of size $n-1$ if each crossing $(k-1)$-set lies in at least $\lceil n/k \rceil$ edges, or each crossing $(k-1)$-set lies in at least $\lfloor n/k \rfloor$ edges and $n\equiv 1\bmod k$. This special case answers a question of Rödl and Ruciński and was independently obtained by Lu, Wang, and Yu.
The proof of Lu, Wang, and Yu closely follows the approach of Han [Combin. Probab. Comput. 24 (2015), 723--732] by using the absorbing method and considering an extremal case. In contrast, our result is more general and its proof is thus more involved: it uses a more complex absorbing method and deals with two extremal cases.
On the interplay between notions of additive and multiplicative largeness and its combinatorial applications
Published in J. Combin. Theory Ser. A172 (2020), 105203
• View Publication
• BIB
Many natural notions of additive and multiplicative largeness arise from results in Ramsey theory. In this paper, we explain the relationships between these notions for subsets of $\mathbb{N}$ and in more general ring-theoretic structures. We show that multiplicative largeness begets additive largeness in three ways and give a collection of examples demonstrating the optimality of these results. We also give a variety of applications arising from the connection between additive and multiplicative largeness. For example, we show that given any $n, k \in \mathbb{N}$, any finite set with fewer than $n$ elements in a sufficiently large finite field can be translated so that each of its elements becomes a non-zero $k^{\text{th}}$ power. We also prove a theorem concerning Diophantine approximation along multiplicatively syndetic subsets of $\mathbb{N}$ and a theorem showing that subsets of positive upper Banach density in certain multiplicative sub-semigroups of $\mathbb{N}$ of zero density contain arbitrarily long arithmetic progressions. Along the way, we develop a new characterization of upper Banach density in a wide class of amenable semigroups and make explicit the uniformity in recurrence theorems from measure theoretic and topological dynamics. This in turn leads to strengthened forms of classical theorems of Szemerédi and van der Waerden on arithmetic progressions.
P_3-Games on Chordal Bipartite Graphs
Let G=(V,E) be a connected graph. A set U subseteq V is convex if G[U] is connected and all vertices of V\U have at most one neighbor in U. Let sigma(W) denote the unique smallest convex set that contains W subseteq V. Two players play the following game. Consider a convex set U and call it the `playground.' Initially, U = emptyset. When U=V, the player to move loses the game. Otherwise, that player chooses a vertex x in V\U which is at distance at most two from U. The effect of the move is that the playground U changes into sigma(U cup {x}) and the opponent is presented with this new playground.
A graph is chordal bipartite if it is bipartite and has no induced cycle of length more than four. In this paper we show that, when G is chordal bipartite, there is a polynomial-time algorithm that computes the Grundy number of the P_3-game played on G. This implies that there is an efficient algorithm to decide whether the first player has a winning strategy.
Minimal Skew energy of oriented bicyclic graphs with a given diameter
Let $S(G^σ)$ be the skew-adjacency matrix of the oriented graph $G^σ$, which is obtained from a simple undirected graph $G$ by assigning an orientation $σ$ to each of its edges. The skew energy of an oriented graph $G^σ$ is defined as the sum of absolute values of all eigenvalues of $S(G^σ)$. For any positive integer $d$ with $3\leq d\leq n-3$, we determine the graph with minimal skew energy among all oriented bicyclic graphs that contain no vertex disjoint odd cycle of lengths $s$ and $l$ with $s+l\equiv 2(mod 4)$ on $n$ vertices with a given diameter $d$.
Subgraphs with large minimum $\ell$-degree in hypergraphs where almost all $\ell$-degrees are large
Published
• View Publication
• BIB
Let $G$ be an $r$-uniform hypergraph on $n$ vertices such that all but at most $\varepsilon \binom{n}{\ell}$ $\ell$-subsets of vertices have degree at least $p \binom{n-\ell}{r-\ell}$.
We show that $G$ contains a large subgraph with high minimum $\ell$-degree.
Graphs of kei and their diameters
A kei on $[n]$ can be thought of as a set of maps $(f_x)_{x \in [n]}$, where each $f_x$ is an involution on $[n]$ such that $(x)f_x = x$ for all $x$ and $f_{(x)f_y} = f_yf_xf_y$ for all $x$ and $y$. We can think of kei as loopless, edge-coloured multigraphs on $[n]$ where we have an edge of colour $y$ between $x$ and $z$ if and only if $(x)f_y = z$; in this paper we show that any component of diameter $d$ in such a graph must have at least $2^d$ vertices and contain at least $2^{d-1}$ edges of the same colour. We also show that these bounds are tight for each value of $d$.
Explicit linear kernels for packing problems
Published
• View Publication
• BIB
During the last years, several algorithmic meta-theorems have appeared (Bodlaender et al. [FOCS 2009], Fomin et al. [SODA 2010], Kim et al. [ICALP 2013]) guaranteeing the existence of linear kernels on sparse graphs for problems satisfying some generic conditions. The drawback of such general results is that it is usually not clear how to derive from them constructive kernels with reasonably low explicit constants. To fill this gap, we recently presented [STACS 2014] a framework to obtain explicit linear kernels for some families of problems whose solutions can be certified by a subset of vertices. In this article we enhance our framework to deal with packing problems, that is, problems whose solutions can be certified by collections of subgraphs of the input graph satisfying certain properties. ${\mathcal F}$-Packing is a typical example: for a family ${\mathcal F}$ of connected graphs that we assume to contain at least one planar graph, the task is to decide whether a graph $G$ contains $k$ vertex-disjoint subgraphs such that each of them contains a graph in ${\mathcal F}$ as a minor. We provide explicit linear kernels on sparse graphs for the following two orthogonal generalizations of ${\mathcal F}$-Packing: for an integer $\ell \geq 1$, one aims at finding either minor-models that are pairwise at distance at least $\ell$ in $G$ ($\ell$-${\mathcal F}$-Packing), or such that each vertex in $G$ belongs to at most $\ell$ minors-models (${\mathcal F}$-Packing with $\ell$-Membership). Finally, we also provide linear kernels for the versions of these problems where one wants to pack subgraphs instead of minors.
Short cycles in digraphs and the Caccetta-Häggkvist conjecture
In the theory of digraphs, the study of cycles is a subject of great importance and has given birth to a number of deep questions such as the Behzad-Chartrand-Wall conjecture (1970) and its generalization, the Caccetta-Häggkvist conjecture (1978). Despite a lot of interest and efforts, the progress on these remains slow and mostly restricted to the solution of some special cases. In this note, we prove these conjectures for digraphs with girth is at least as large as their minimum out-degree and without short even cycles. More generally, we prove that if a digraph has sufficiently large girth and does not contain closed walks of certain lengths, then the conjectures hold. The proof makes use of some of the known results on the Caccetta-Häggkvist conjecture, properties of direct products of digraphs and a construction that multiplies the girth of a digraph.
Pairwise intersecting homothets of a convex body
Published in Discrete Mathematics, 340(8), 2017, 1950-1956
• View Publication
• BIB
We show that the maximum number of pairwise intersecting positive homothets of a $d$-dimensional centrally symmetric convex body, none of which contains the center of another in its interior, is at most $3^{d+1}$. Also, we improve upper bounds for cardinalities of $k$-distance sets in Minkowski spaces.
A Tutte polynomial for maps
Published
• View Publication
• BIB
We follow the example of Tutte in his construction of the dichromate of a graph (that is, the Tutte polynomial) as a unification of the chromatic polynomial and the flow polynomial in order to construct a new polynomial invariant of maps (graphs embedded in orientable surfaces). We call this the surface Tutte polynomial. The surface Tutte polynomial of a map contains the Las Vergnas polynomial, Bollobás-Riordan polynomial and Kruskhal polynomial as specializations. By construction, the surface Tutte polynomial includes among its evaluations the number of local tensions and local flows taking values in any given finite group. Other evaluations include the number of quasi-forests.
Deletion of oldest edges in a preferential attachment graph
We consider a variation on the Barabási-Albert random graph process with fixed parameters $m\in \mathbb{N}$ and $1/2 < p < 1$. With probability $p$ a vertex is added along with $m$ edges, randomly chosen proportional to vertex degrees. With probability $1 - p$, the oldest vertex still holding its original $m$ edges loses those edges. It is shown that the degree of any vertex either is zero or follows a geometric distribution. If $p$ is above a certain threshold, this leads to a power law for the degree sequence, while a smaller $p$ gives exponential tails. It is also shown that the graph contains a unique giant component whp if and only if $m\geq 2$.
The Turán Polytope
Published
• View Publication
• BIB
The Turán hypergraph problem asks to find the maximum number of $r$-edges in a $r$-uniform hypergraph on $n$ vertices that does not contain a clique of size $a$. When $r=2$, i.e., for graphs, the answer is well-known and can be found in Turán's theorem. However, when $r\geq 3$, the problem remains open. We model the problem as an integer program and call the underlying polytope the Turán polytope. We draw parallels between the latter and the stable set polytope: we show that generalized and transformed versions of the web and wheel inequalities are also facet-defining for the Turán polytope. We also show clique inequalities and what we call doubling inequalities are facet-defining when $r=2$. These facets lead to a simple new polyhedral proof of Turán's theorem.
On the number of cycles in a graph with restricted cycle lengths
Published
• View Publication
• BIB
Let $L$ be a set of positive integers. We call a (directed) graph $G$ an $L$\emph{-cycle graph} if all cycle lengths in $G$ belong to $L$. Let $c(L,n)$ be the maximum number of cycles possible in an $n$-vertex $L$-cycle graph (we use $\vec{c}(L,n)$ for the number of cycles in directed graphs). In the undirected case we show that for any fixed set $L$, we have $c(L,n)=Θ_L(n^{\lfloor k/\ell \rfloor})$ where $k$ is the largest element of $L$ and $2\ell$ is the smallest even element of $L$ (if $L$ contains only odd elements, then $c(L,n)=Θ_L(n)$ holds.) We also give a characterization of $L$-cycle graphs when $L$ is a single element.
In the directed case we prove that for any fixed set $L$ we have $\vec{c}(L,n)=(1+o(1))(\frac{n-1}{k-1})^{k-1}$, where $k$ is the largest element of $L$. We determine the exact value of $\vec{c}(\{k\},n)$ for every $k$ and characterize all graphs attaining this maximum.
Edges and Vertices in a Unique Signed Circle in a Signed Graph
Published
• View Publication
• BIB
We examine the conditions under which a signed graph contains an edge or a vertex that is contained in a unique negative circle or a unique positive circle. For an edge in a unique signed circle, the positive and negative case require the same structure on the underlying graph, but the requirements on the signature are different. We characterize the structure of the underlying graph necessary to support such an edge in terms of bridges of a circle. We then use the results from the edge version of the problem to help solve the vertex version.
Turán number and decomposition number of intersecting odd cycles
Published
• View Publication
• BIB
An extremal graph for a given graph $H$ is a graph on $n$ vertices with maximum number of edges that does not contain $H$ as a subgraph. Let $s,t$ be integers and let $H_{s,t}$ be a graph consisting of $s$ triangles and $t$ cycles of odd lengths at least 5 which intersect in exactly one common vertex. Erdős et al. (1995) determined the extremal graphs for $H_{s,0}$. Recently, Hou et al. (2016) determined the extremal graphs for $H_{0,t}$, where the $t$ cycles have the same odd length $q$ with $q\ge 5$. In this paper, we further determine the extremal graphs for $H_{s,t}$ with $s\ge 0$ and $t\ge 1$. Let $φ(n,H)$ be the largest integer such that, for all graphs $G$ on $n$ vertices, the edge set $E(G)$ can be partitioned into at most $φ(n, H)$ parts, of which every part either is a single edge or forms a graph isomorphic to $H$. Pikhurko and Sousa conjectured that $φ(n,H)=\ex(n,H)$ for $χ(H)\geqs3$ and all sufficiently large $n$. Liu and Sousa (2015) verified the conjecture for $H_{s,0}$. In this paper, we further verify Pikhurko and Sousa's conjecture for $H_{s,t}$ with $s\ge 0$ and $t\ge 1$.
The spectral radius of graphs without trees of diameter at most four
Published
• View Publication
• BIB
Nikiforov (LAA, 2010) conjectured that for given integer $k$, any graph $G$ of sufficiently large order $n$ with spectral radius $μ(G)\geq μ(S_{n,k})$ contains all trees of order $2k+2$, unless $G=S_{n,k}$, where $S_{n,k}=K_k\vee \overline{K_{n-k}}$, the join of a complete graph of order $k$ and an empty graph of order $n-k$. In this paper, we show that the conjecture is true for trees of diameter at most four.