contain ↗ reference
7694 papers tagged with this keyword
Proof of Komlós's conjecture on Hamiltonian subsets
Published
• View Publication
• BIB
Komlós conjectured in 1981 that among all graphs with minimum degree at least $d$, the complete graph $K_{d+1}$ minimises the number of Hamiltonian subsets, where a subset of vertices is Hamiltonian if it contains a spanning cycle. We prove this conjecture when $d$ is sufficiently large. In fact we prove a stronger result: for large $d$, any graph $G$ with average degree at least $d$ contains almost twice as many Hamiltonian subsets as $K_{d+1}$, unless $G$ is isomorphic to $K_{d+1}$ or a certain other graph which we specify.
Small subgraphs and their extensions in a random distance graph
Published
• View Publication
• BIB
In previous papers, threshold probabilities for the properties of a random distance graph to contain strictly balanced graphs were found. We extend this result to arbitrary graphs and prove that the number of copies of a strictly balanced graph has asymptotically Poisson distribution at the threshold.
Inverting the Kasteleyn matrix for holey hexagons
Consider a semi-regular hexagon on the triangular lattice (that is, the lattice consisting of unit equilateral triangles, drawn so that one family of lines is vertical). Rhombus (or lozenge) tilings of this region may be represented in at least two very different ways: as families of non-intersecting lattice paths; or alternatively as perfect matchings of a certain sub-graph of the hexagonal lattice. In this article we show how the lattice path representation of tilings may be utilised in order to calculate the entries of the inverse Kasteleyn matrix that arises from interpreting tilings as perfect matchings. Our main result gives precisely the inverse Kasteleyn matrix (up to a possible change in sign) for a semi-regular hexagon of side lengths $a,b,c,a,b,c$ (going clockwise from the south-west side). Not only does this theorem generalise a number of known results regarding tilings of hexagons that contain punctures, but it also provides a new formulation through which we may attack problems in statistical physics such as Ciucu's electrostatic conjecture.
A Note on Weak Dirac Conjecture
Published
• View Publication
• BIB
We show that every set $\mathcal{P}$ of $n$ non-collinear points in the plane contains a point incident to at least $\lceil\frac{n}{3}\rceil+1$ of the lines determined by $\mathcal{P}$.
An improved bound for disjoint directed cycles
Published in Discrete Mathematics 341.8 (2018), 2231-2236
• View Publication
• BIB
We show that every directed graph with minimum out-degree at least $18k$ contains at least $k$ vertex disjoint cycles. This is an improvement over the result of Alon who showed this result for digraphs of minimum out-degree at least $64k$. The main benefit of the argument is that getting better results for small values of $k$ allows for further improvements to the constant.
Conflict-Free Coloring of Planar Graphs
Published
• View Publication
• BIB
A conflict-free k-coloring of a graph assigns one of k different colors to some of the vertices such that, for every vertex v, there is a color that is assigned to exactly one vertex among v and v's neighbors. Such colorings have applications in wireless networking, robotics, and geometry, and are well-studied in graph theory. Here we study the natural problem of the conflict-free chromatic number chi_CF(G) (the smallest k for which conflict-free k-colorings exist). We provide results both for closed neighborhoods N[v], for which a vertex v is a member of its neighborhood, and for open neighborhoods N(v), for which vertex v is not a member of its neighborhood.
For closed neighborhoods, we prove the conflict-free variant of the famous Hadwiger Conjecture: If an arbitrary graph G does not contain K_{k+1} as a minor, then chi_CF(G) <= k. For planar graphs, we obtain a tight worst-case bound: three colors are sometimes necessary and always sufficient. We also give a complete characterization of the computational complexity of conflict-free coloring. Deciding whether chi_CF(G)<= 1 is NP-complete for planar graphs G, but polynomial for outerplanar graphs. Furthermore, deciding whether chi_CF(G)<= 2 is NP-complete for planar graphs G, but always true for outerplanar graphs. For the bicriteria problem of minimizing the number of colored vertices subject to a given bound k on the number of colors, we give a full algorithmic characterization in terms of complexity and approximation for outerplanar and planar graphs.
For open neighborhoods, we show that every planar bipartite graph has a conflict-free coloring with at most four colors; on the other hand, we prove that for k in {1,2,3}, it is NP-complete to decide whether a planar bipartite graph has a conflict-free k-coloring. Moreover, we establish that any general} planar graph has a conflict-free coloring with at most eight colors.
An evasion game on a graph
Published in Discrete Mathematics, Volume 314, 6 January 2014, Pages 1-5, ISSN 0012-365X
• View Publication
• BIB
This paper introduced a pursuit and evasion game to be played on a connected graph. One player moves invisibly around the graph, and the other player must guess his position. At each time step the second player guesses a vertex, winning if it is the current location of the first player; if not the first player must move along an edge. It is shown that the graphs on which the second player can guarantee to win are precisely the trees that do not contain a particular forbidden subgraph, and best possible capture times on such graphs are obtained.
Polynomial configurations in sets of positive upper density over local fields
Published
• View Publication
• BIB
Let $F(x)=(f_1(x), \dots, f_m(x))$ be such that $1, f_1, \dots, f_m$ are linearly independent polynomials with real coefficients. Based on ideas of Bachoc, DeCorte, Oliveira and Vallentin in combination with estimating certain oscillatory integrals with polynomial phase we will show that the independence ratio of the Cayley graph of $\mathbb{R}^m$ with respect to the portion of the graph of $F$ defined by $a\leq \log |s| \leq T$ is at most $O(1/(T-a))$. We conclude that if $I \subseteq \mathbb{R}^m$ has positive upper density, then the difference set $I-I$ contains vectors of the form $F(s)$ for an unbounded set of values $s \in \mathbb{R}$. It follows that the Borel chromatic number of the Cayley graph of $\mathbb{R}^m$ with respect to the set $\{ \pm F(s): s \in \mathbb{R} \}$ is infinite. Analogous results are also proven when $\mathbb{R}$ is replaced by the field of $p$-adic numbers $\mathbb{Q}_p$. At the end, we will also the existence of real analytic functions $f_1, \dots, f_m$, for which the analogous statements no longer hold.
Hamiltonicity in locally finite graphs: two extensions and a counterexample
Published in Electronic. J. Comb., 25(3):P3.13, 2018
• View Publication
• BIB
We state a sufficient condition for the square of a locally finite graph to contain a Hamilton circle, extending a result of Harary and Schwenk about finite graphs.
We also give an alternative proof of an extension to locally finite graphs of the result of Chartrand and Harary that a finite graph not containing $K^4$ or $K_{2,3}$ as a minor is Hamiltonian if and only if it is $2$-connected. We show furthermore that, if a Hamilton circle exists in such a graph, then it is unique and spanned by the $2$-contractible edges.
The third result of this paper is a construction of a graph which answers positively the question of Mohar whether regular infinite graphs with a unique Hamilton circle exist.
The Graph Ramsey Number $R(F_\ell,K_6)$
For a given pair of two graphs $(F,H)$, let $R(F,H)$ be the smallest positive integer $r$ such that for any graph $G$ of order $r$, either $G$ contains $F$ as a subgraph or the complement of $G$ contains $H$ as a subgraph. Baskoro, Broersma and Surahmat (2005) conjectured that \[ R(F_\ell,K_n)=2\ell(n-1)+1 \] for $\ell\ge n\ge3$, where $F_\ell$ is the join of $K_1$ and $\ell K_2$. In this paper, we prove that this conjecture is true for the case $n=6$.
Exponential Bounds for the Erdős-Ginzburg-Ziv Constant
Published in Journal of Combinatorial Theory Series A 174, 105185, 19 pp, 2020
• View Publication
• BIB
The Erdős-Ginzburg-Ziv constant of an abelian group $G$, denoted $\mathfrak{s}(G)$, is the smallest $k\in\mathbb{N}$ such that any sequence of elements of $G$ of length $k$ contains a zero-sum subsequence of length $\exp(G)$. In this paper, we use the partition rank, which generalizes the slice rank, to prove that for any odd prime $p$, \[ \mathfrak{s}\left(\mathbb{F}_{p}^{n}\right)\leq(p-1)2^{p}\left(J(p)\cdot p\right)^{n} \] where $0.8414<J(p)<0.91837$ is the constant appearing in Ellenberg and Gijswijt's bound on arithmetic progression-free subsets of $\mathbb{F}_{p}^{n}$. For large $n$, and $p>3$, this is the first exponential improvement to the trivial bound. We also provide a near optimal result conditional on the conjecture that $\left(\mathbb{Z}/k\mathbb{Z}\right)^{n}$ satisfies property $D$, showing that in this case \[ \mathfrak{s}\left(\left(\mathbb{Z}/k\mathbb{Z}\right)^{n}\right)\leq(k-1)4^{n}+k. \]
On Equal Point Separation by Planar Cell Decompositions
In this paper, we investigate the problem of separating a set $X$ of points in $\mathbb{R}^{2}$ with an arrangement of $K$ lines such that each cell contains an asymptotically equal number of points (up to a constant ratio). We consider a property of curves called the stabbing number, defined to be the maximum countable number of intersections possible between the curve and a line in the plane. We show that large subsets of $X$ lying on Jordan curves of low stabbing number are an obstacle to equal separation. We further discuss Jordan curves of minimal stabbing number containing $X$. Our results generalize recent bounds on the Erdős-Szekeres Conjecture, showing that for fixed $d$ and sufficiently large $n$, if $|X| \ge 2^{c_dn/d + o(n)}$ with $c_d = 1 + O(\frac{1}{\sqrt{d}})$, then there exists a subset of $n$ points lying on a Jordan curve with stabbing number at most $d$.
Independent sets in hypergraphs and Ramsey properties of graphs and the integers
Published
• View Publication
• BIB
Many important problems in combinatorics and other related areas can be phrased in the language of independent sets in hypergraphs. Recently Balogh, Morris and Samotij, and independently Saxton and Thomason developed very general container theorems for independent sets in hypergraphs; both of which have seen numerous applications to a wide range of problems. In this paper we use the container method to give relatively short and elementary proofs of a number of results concerning Ramsey (and Turán) properties of (hyper)graphs and the integers. In particular:
(i) We generalise the random Ramsey theorem of Rödl and Ruciński by providing a resilience analogue. Our result unifies and generalises several fundamental results in the area including the random version of Turán's theorem due to Conlon and Gowers and Schacht.
(ii) The above result also resolves a general subcase of the asymmetric random Ramsey conjecture of Kohayakawa and Kreuter.
(iii) All of the above results in fact hold for uniform hypergraphs.
(iv) For a (hyper)graph $H$, we determine, up to an error term in the exponent, the number of $n$-vertex (hyper)graphs $G$ that have the Ramsey property with respect to $H$ (that is, whenever $G$ is $r$-coloured, there is a monochromatic copy of $H$ in $G$).
(v) We strengthen the random Rado theorem of Friedgut, Rödl and Schacht by proving a resilience version of the result.
(vi) For partition regular matrices $A$ we determine, up to an error term in the exponent, the number of subsets of $\{1,\dots,n\}$ for which there exists an $r$-colouring which contains no monochromatic solutions to $Ax=0$.
Along the way a number of open problems are posed.
On Distance Preserving and Sequentially Distance Preserving Graphs
Published
• View Publication
• BIB
A graph $H$ is an \emph{isometric} subgraph of $G$ if $d_H(u,v)= d_G(u,v)$, for every pair~$u,v\in V(H)$. A graph is \emph{distance preserving} if it has an isometric subgraph of every possible order. A graph is \emph{sequentially distance preserving} if its vertices can be ordered such that deleting the first $i$ vertices results in an isometric subgraph, for all $i\ge1$. We give an equivalent condition to sequentially distance preserving based upon simplicial orderings. Using this condition, we prove that if a graph does not contain any induced cycles of length~$5$ or greater, then it is sequentially distance preserving and thus distance preserving. Next we consider the distance preserving property on graphs with a cut vertex. Finally, we define a family of non-distance preserving graphs constructed from cycles.
Fixed points of morphisms among binary generalized pseudostandard words
We introduce a class of fixed points of primitive morphisms among aperiodic binary generalized pseudostandard words. We conjecture that this class contains all fixed points of primitive morphisms among aperiodic binary generalized pseudostandard words that are not standard Sturmian words.
The Partition Rank of a Tensor and $k$-Right Corners in $\mathbb{F}_{q}^{n}$
Published in Journal of Combinatorial Theory Series A 174, 105190, 25 pp, 2020
• View Publication
• BIB
Following the breakthrough of Croot, Lev, and Pach, Tao introduced a symmetrized version of their argument, which is now known as the slice rank method. In this paper, we introduce a more general version of the slice rank of a tensor, which we call the Partition Rank. This allows us to extend the slice rank method to problems that require the variables to be distinct. Using the partition rank, we generalize a recent result of Ge and Shangguan, and prove that any set $A\subset\mathbb{F}_{q}^{n}$ of size \[|A|>\binom{n+(k-1)q}{(k-1)(q-1)}\] contains a $k$-right-corner, that is distinct vectors $x_{1},\dots,x_{k},x_{k+1}$ where $x_{1}-x_{k+1},\dots,x_{k}-x_{k+1}$ are mutually orthogonal, for $q=p^{r}$, a prime power with $p>k$.
Additive bases and flows in graphs
Published in SIAM Journal on Discrete Mathematics 32(1) (2018), 534-542
• View Publication
• BIB
It was conjectured by Jaeger, Linial, Payan, and Tarsi in 1992 that for any prime number $p$, there is a constant $c$ such that for any $n$, the union (with repetition) of the vectors of any family of $c$ linear bases of $\mathbb{Z}_p^n$ forms an additive basis of $\mathbb{Z}_p^n$ (i.e. any element of $\mathbb{Z}_p^n$ can be expressed as the sum of a subset of these vectors). In this note, we prove this conjecture when each vector contains at most two non-zero entries. As an application, we prove several results on flows in highly edge-connected graphs, extending known results. For instance, assume that $p\ge 3$ is a prime number and $\vec{G}$ is a directed, highly edge-connected graph in which each arc is given a list of two distinct values in $\mathbb{Z}_p$. Then $\vec{G}$ has a $\mathbb{Z}_p$-flow in which each arc is assigned a value of its own list.
The Saturation Number of Induced Subposets of the Boolean Lattice
Published
• View Publication
• BIB
Given a poset $P$, a family $F$ of elements in the Boolean lattice is said to be $P$-saturated if (1) $F$ contains no copy of $P$ as a subposet and (2) every proper superset of $F$ contains a copy of $P$ as a subposet. The maximum size of a $P$-saturated family is denoted by $La(n,P)$, which has been studied for a number of choices of $P$. The minimum size of a $P$-saturated family, $sat(n,P)$, was introduced by Gerbner et al. (2013), and parallels the deep literature on the saturation function for graphs.
We introduce and study the concept of saturation for induced subposets. As opposed to induced saturation in graphs, the above definition of saturation for posets extends naturally to the induced setting. We give several exact results and a number of bounds on the induced saturation number for several small posets. We also use a transformation to the biclique cover problem to prove a logarithmic lower bound for a rich infinite family of target posets.
New Lower Bounds for Van der Waerden Numbers
This work contains certificates numbers Van der Waerden, was found using SAT Solver. These certificates establish the best currently known lower bounds of the numbers Van der Waerden W( 7, 3 ), W( 8, 3 ), W( 10, 3 ), W( 11, 3 ), W( 17, 3 ).
On chordal and perfect plane near-triangulations
Published
• View Publication
• BIB
A plane near-triangulation G can be decomposed into a collection of induced subgraphs, described here as the W-components of G, such that G is perfect (respectively, chordal) if and only if each of its W-components is perfect (respectively, chordal). Each W-component is a 2-connected plane near-triangulation, free of edge separators and separating triangles. Graphs satisfying these conditions will be called W-near-triangulations. A linear time decomposition of G into its W-components is achievable using known techniques from the literature. W-near-triangulations have the property that the open neighbourhood of every internal vertex induces a cycle. It follows that a W-near-triangulation H of at least five vertices is non-chordal if and only if it contains an internal vertex. This yields a local structural characterization that a plane near-triangulation G is chordal if and only if it does not contain an induced wheel of at least five vertices. For W-near-triangulations that are free of induced wheels of five vertices, we derive a similar local criteria, that depends only on the neighbourhoods of individual vertices and faces, for checking perfectness. We show that a W-near-triangulation H that is free of any induced wheel of five vertices is perfect if and only if there exists neither an internal vertex x, nor a face f such that, the neighbours of x or f induces an odd hole. The above characterization leads to a linear time algorithm for determining perfectness of this class of graphs.