contain ↗ reference
7694 papers tagged with this keyword
Large area convex holes in random point sets
Published
• View Publication
• BIB
Let $K, L$ be convex sets in the plane. For normalization purposes, suppose that the area of $K$ is $1$. Suppose that a set $K_n$ of $n$ points are chosen independently and uniformly over $K$, and call a subset of $K$ a {\em hole} if it does not contain any point in $K_n$. It is shown that w.h.p. the largest area of a hole homothetic to $L$ is $(1+o(1)) \log{n}/n$. We also consider the problems of estimating the largest area convex hole, and the largest area of a convex polygonal hole with vertices in $K_n$. For these two problems we show that the answer is $Θ\bigl(\log{n}/n\bigr)$.
Pixel and Voxel Representations of Graphs
Published
• View Publication
• BIB
We study contact representations for graphs, which we call pixel representations in 2D and voxel representations in 3D. Our representations are based on the unit square grid whose cells we call pixels in 2D and voxels in 3D. Two pixels are adjacent if they share an edge, two voxels if they share a face. We call a connected set of pixels or voxels a blob. Given a graph, we represent its vertices by disjoint blobs such that two blobs contain adjacent pixels or voxels if and only if the corresponding vertices are adjacent. We are interested in the size of a representation, which is the number of pixels or voxels it consists of.
We first show that finding minimum-size representations is NP-complete. Then, we bound representation sizes needed for certain graph classes. In 2D, we show that, for $k$-outerplanar graphs with $n$ vertices, $Θ(kn)$ pixels are always sufficient and sometimes necessary. In particular, outerplanar graphs can be represented with a linear number of pixels, whereas general planar graphs sometimes need a quadratic number. In 3D, $Θ(n^2)$ voxels are always sufficient and sometimes necessary for any $n$-vertex graph. We improve this bound to $Θ(n\cdot τ)$ for graphs of treewidth $τ$ and to $O((g+1)^2n\log^2n)$ for graphs of genus $g$. In particular, planar graphs admit representations with $O(n\log^2n)$ voxels.
Words with the Maximum Number of Abelian Squares
Published
• View Publication
• BIB
An abelian square is the concatenation of two words that are anagrams of one another. A word of length $n$ can contain $Θ(n^2)$ distinct factors that are abelian squares. We study infinite words such that the number of abelian square factors of length $n$ grows quadratically with $n$.
Existences of rainbow matchings and rainbow matching covers
Published in Discrete Mathematics 338 (2015), 2119-2124
• View Publication
• BIB
Let $G$ be an edge-coloured graph. A rainbow subgraph in $G$ is a subgraph such that its edges have distinct colours. The minimum colour degree $δ^c(G)$ of $G$ is the smallest number of distinct colours on the edges incident with a vertex of $G$. We show that every edge-coloured graph $G$ on $n\geq 7k/2+2$ vertices with $δ^c(G) \geq k$ contains a rainbow matching of size at least $k$, which improves the previous result for $k \ge 10$.
Let $Δ_{\text{mon}}(G)$ be the maximum number of edges of the same colour incident with a vertex of $G$. We also prove that if $t \ge 11$ and $Δ_{\text{mon}}(G) \le t$, then $G$ can be edge-decomposed into at most $\lfloor tn/2 \rfloor $ rainbow matchings. This result is sharp and improves a result of LeSaulnier and West.
On the number of edge-disjoint triangles in $K_4$-free graphs
We show the quarter of a century old conjecture that every $K_4$-free graph with $n$ vertices and $\lfloor n^2/4 \rfloor +k$ edges contains $k$ pairwise edge disjoint triangles.
Erratum to: "Remarks on the second neighborhood problem"
We prove that the proof of existence of weighted local median order of weighted tournaments is wrong and that the proof of the correct statement which asserts that every digraph obtained from a tournament by deleting a set of arcs incident to the same vertex contains a mistake, in the paper entitled "Remarks on the second neighborhood problem". We introduce correct proofs of each.
Heavy subgraphs, stability and hamiltonicity
Published in Discuss. Math. Graph Theory. 37(2017) 691-710
• View Publication
• BIB
Let $G$ be a graph. Adopting the terminology of Broersma et al. and Čada, respectively, we say that $G$ is 2-heavy if every induced claw ($K_{1,3}$) of $G$ contains two end-vertices each one has degree at least $|V(G)|/2$; and $G$ is o-heavy if every induced claw of $G$ contains two end-vertices with degree sum at least $|V(G)|$ in $G$. In this paper, we introduce a new concept, and say that $G$ is \emph{$S$-c-heavy} if for a given graph $S$ and every induced subgraph $G'$ of $G$ isomorphic to $S$ and every maximal clique $C$ of $G'$, every non-trivial component of $G'-C$ contains a vertex of degree at least $|V(G)|/2$ in $G$. In terms of this concept, our original motivation that a theorem of Hu in 1999 can be stated as every 2-connected 2-heavy and $N$-c-heavy graph is hamiltonian, where $N$ is the graph obtained from a triangle by adding three disjoint pendant edges. In this paper, we will characterize all connected graphs $S$ such that every 2-connected o-heavy and $S$-c-heavy graph is hamiltonian. Our work results in a different proof of a stronger version of Hu's theorem. Furthermore, our main result improves or extends several previous results.
Combinatorics on a family of reduced Kronecker coefficients
Published
• View Publication
• BIB
The reduced Kronecker coefficients are particular instances of Kronecker coefficients that contain enough information to recover them. In this notes we compute the generating function of a family of reduced Kronecker coefficients. We also gives its connection to the plane partitions, which allows us to check that this family satisfies the saturation conjecture for reduced Kronecker coefficients, and that they are weakly increasing. Thanks to its generating function we can describe our family by a quasipolynomial, specifying its degree and period.
Rainbow Hamilton cycles in random graphs and hypergraphs
Published
• View Publication
• BIB
Let $H$ be an edge colored hypergraph. We say that $H$ contains a \emph{rainbow} copy of a hypergraph $S$ if it contains an isomorphic copy of $S$ with all edges of distinct colors.
We consider the following setting. A randomly edge colored random hypergraph $H\sim \mathcal H_c^k(n,p)$ is obtained by adding each $k$-subset of $[n]$ with probability $p$, and assigning it a color from $[c]$ uniformly, independently at random.
As a first result we show that a typical $H\sim \mathcal H^2_c(n,p)$ (that is, a random edge colored graph) contains a rainbow Hamilton cycle, provided that $c=(1+o(1))n$ and $p=\frac{\log n+\log\log n+ω(1)}{n}$. This is asymptotically best possible with respect to both parameters, and improves a result of Frieze and Loh.
Secondly, based on an ingenious coupling idea of McDiarmid, we provide a general tool for tackling problems related to finding "nicely edge colored" structures in random graphs/hypergraphs. We illustrate the generality of this statement by presenting two interesting applications. In one application we show that a typical $H\sim \mathcal H^k_c(n,p)$ contains a rainbow copy of a hypergraph $S$, provided that $c=(1+o(1))|E(S)|$ and $p$ is (up to a multiplicative constant) a threshold function for the property of containment of a copy of $S$. In the second application we show that a typical $G\sim \mathcal H_{c}^2(n,p)$ contains $(1-o(1))np/2$ edge disjoint Hamilton cycles, each of which is rainbow, provided that $c=ω(n)$ and $p=ω(\log n/n)$.
On the span of lattice points in a parallelepiped
Published
• View Publication
• BIB
Let $Λ\subset\mathbf{R}^{n}$ be a lattice which contains the integer lattice $\mathbf{Z}^{n}$. We characterize the space of linear functions $\mathbf{R}^{n}\rightarrow\mathbf{R}$ which vanish on the lattice points of $Λ$ lying in the half-open unit cube $[0,1)^{n}$. We also find an explicit formula for the dimension of the linear span of $Λ\cap[0,1)^{n}$. The results in this paper generalize and are based on the Terminal Lemma of Reid, which is in turn based upon earlier work of Morrison and Stevens on the classification of four dimensional isolated Gorenstein terminal cyclic quotient singularities.
Partite Saturation Problems
Published
• View Publication
• BIB
We look at several saturation problems in complete balanced blow-ups of graphs. We let $H[n]$ denote the blow-up of $H$ onto parts of size $n$ and refer to a copy of $H$ in $H[n]$ as 'partite' if it has one vertex in each part of $H[n]$. We then ask how few edges a subgraph $G$ of $H[n]$ can have such that $G$ has no partite copy of $H$ but such that the addition of any new edge from $H[n]$ creates a partite $H$. When $H$ is a triangle this value was determined by Ferrara, Jacobson, Pfender, and Wenger. Our main result is to calculate this value for $H=K_4$ when $n$ is large. We also give exact results for paths and stars and show that for $2$-connected graphs the answer is linear in $n$ whilst for graphs which are not $2$-connected the answer is quadratic in $n$. We also investigate a similar problem where $G$ is permitted to contain partite copies of $H$ but we require that the addition of any new edge from $H[n]$ creates an extra partite copy of $H$. This problem turns out to be much simpler and we attain exact answers for all cliques and trees.
Induced subgraphs of graphs with large chromatic number. III. Long holes
Published
• View Publication
• BIB
We prove a 1985 conjecture of Gyárfás that for all $k,\ell$, every graph with sufficiently large chromatic number contains either a complete subgraph with $k$ vertices or an induced cycle of length at least $\ell$.
Snake graph calculus and cluster algebras from surfaces III: Band graphs and snake rings
We introduce several commutative rings, the snake rings, that have strong connections to cluster algebras. The elements of these rings are residue classes of unions of certain labeled graphs that were used to construct canonical bases in the theory of cluster algebras. We obtain several rings by varying the conditions on the structure as well as the labelling of the graphs. The most restrictive form of this ring is isomorphic to the ring $\mathbb{Z}[x,y]$ of polynomials in two variables over the integers. A more general form contains all cluster algebras of unpunctured surface type.
The definition of the rings requires the snake graph calculus which is completed in this paper building on two earlier articles on the subject. Identities in the snake ring correspond to bijections between the posets of perfect matchings of the graphs. One of the main results of the current paper is the completion of the explicit construction of these bijections.
Hamiltonian Cycles in Linear-Convex Supergrid Graphs
Published
• View Publication
• BIB
A supergrid graph is a finite induced subgraph of the infinite graph associated with the two-dimensional supergrid. The supergrid graphs contain grid graphs and triangular grid graphs as subgraphs. The Hamiltonian cycle problem for grid and triangular grid graphs was known to be NP-complete. In the past, we have shown that the Hamiltonian cycle problem for supergrid graphs is also NP-complete. The Hamiltonian cycle problem on supergrid graphs can be applied to control the stitching trace of computerized sewing machines. In this paper, we will study the Hamiltonian cycle property of linear-convex supergrid graphs which form a subclass of supergrid graphs. A connected graph is called $k$-connected if there are $k$ vertex-disjoint paths between every pair of vertices, and is called locally connected if the neighbors of each vertex in it form a connected subgraph. In this paper, we first show that any 2-connected, linear-convex supergrid graph is locally connected. We then prove that any 2-connected, linear-convex supergrid graph contains a Hamiltonian cycle.
The Number of Distinct Subpalindromes in Random Words
Published
• View Publication
• BIB
We prove that a random word of length $n$ over a $k$-ary fixed alphabet contains, on expectation, $Θ(\sqrt{n})$ distinct palindromic factors. We study this number of factors, $E(n,k)$, in detail, showing that the limit $\lim_{n\to\infty}E(n,k)/\sqrt{n}$ does not exist for any $k\ge2$, $\liminf_{n\to\infty}E(n,k)/\sqrt{n}=Θ(1)$, and $\limsup_{n\to\infty}E(n,k)/\sqrt{n}=Θ(\sqrt{k})$. Such a complicated behaviour stems from the asymmetry between the palindromes of even and odd length. We show that a similar, but much simpler, result on the expected number of squares in random words holds. We also provide some experimental data on the number of palindromic factors in random words.
Positive independence densities of finite rank countable hypergraphs are achieved by finite hypergraphs
Published
• View Publication
• BIB
The independence density of a finite hypergraph is the probability that a subset of vertices, chosen uniformly at random contains no hyperedges. Independence densities can be generalized to countable hypergraphs using limits. We show that, in fact, every positive independence density of a countably infinite hypergraph with hyperedges of bounded size is equal to the independence density of some finite hypergraph whose hyperedges are no larger than those in the infinite hypergraph. This answers a question of Bonato, Brown, Kemkes, and Prałat about independence densities of graphs. Furthermore, we show that for any $k$, the set of independence densities of hypergraphs with hyperedges of size at most $k$ is closed and contains no infinite increasing sequences.
The Kuenneth formula for graphs
We construct a Cartesian product G x H for finite simple graphs. It satisfies the Kuenneth formula: H^k(G x H) is a direct sum of tensor products H^i(G) x H^j(G) with i+j=k and so p(G x H,x) = p(G,x) p(H,y) for the Poincare polynomial p(G,x) and X(G x H) = X(G) X(H) for the Euler characteristic X(G)=p(G,-1). G1=G x K1 has as vertices the simplices of G and a natural digraph structure. We show that dim(G1) is larger or equal than dim(G) and G1 is homotopic to G. The Kuenneth identity is proven using Hodge describing the harmonic forms by the product f g of harmonic forms of G and H and uses a discrete de Rham theorem given by a combinatorial chain homotopy between simplicial and de Rham cohomology. We show dim(G x H) = dim(G1) + dim(H1) implying that dim(G x H) is larger or equal than dim(G) + dim(H) as for Hausdorff dimension in the continuum. The chromatic number c(G1) is smaller or equal than c(G) and c(G x H) is bounded above by c(G)+c(H)-1. The automorphism group of G x H contains Aut(G) x Aut(H). If G~H and U~V then (G x U) ~ (H x V) if ~ means homotopic: homotopy classes can be multiplided. If G is k-dimensional geometric meaning that all unit spheres S(x) in G are (k-1)-discrete homotopy spheres, then G1 is k-dimensional geometric. If G is k-dimensional geometric and H is l-dimensional geometric, then G x H is geometric of dimension (l+k). The product extends to a ring of chains which unlike the category of graphs is closed under boundary operation taking quotients G/A with A subset Aut(G). As we can glue graphs or chains, joins or fibre bundles can be defined with the same features as in the continuum, allowing to build isomorphism classes of bundles.
On a conjecture of Erdős and Szekeres
Let f(n) denote the smallest positive integer such that every set of $f(n)$ points in general position in the Euclidean plane contains a convex n-gon. In a seminal paper published in 1935, Erdős and Szekeres proved that f(n) exists and provided an upper bound. In 1961, they also proved a lower bound, which they conjectured is optimal. Their bounds are: $2^{n-2}+1 \leq f(n) \leq {2n - 4 \choose n-2}+1$. Since then, the upper bound has been improved by rougly a factor of 2, to $f(n) \leq {2n - 5 \choose n-2}+1$. In the current paper, we further improve the upper bound by proving that: $$ \limsup\limits_{n\rightarrow \infty} \frac{f(n)}{2n-5 \choose n-2} \leq \frac{29}{32}$$
Fine structure of 4-critical triangle-free graphs II. Planar triangle-free graphs with two precolored 4-cycles
Published in SIAM J. Discrete Math 31 (2017) 865-874
• View Publication
• BIB
We study 3-coloring properties of triangle-free planar graphs $G$ with two precolored 4-cycles $C_1$ and $C_2$ that are far apart. We prove that either every precoloring of $C_1\cup C_2$ extends to a 3-coloring of $G$, or $G$ contains one of two special substructures which uniquely determine which 3-colorings of $C_1\cup C_2$ extend. As a corollary, we prove that there exists a constant $D>0$ such that if $H$ is a planar triangle-free graph and $S\subseteq V(H)$ consists of vertices at pairwise distances at least $D$, then every precoloring of $S$ extends to a 3-coloring of $H$. This gives a positive answer to a conjecture of Dvořák, Král' and Thomas, and implies an exponential lower bound on the number of 3-colorings of triangle-free planar graphs of bounded maximum degree.
Fine structure of 4-critical triangle-free graphs III. General surfaces
Published
• View Publication
• BIB
Dvořák, Král' and Thomas gave a description of the structure of triangle-free graphs on surfaces with respect to 3-coloring. Their description however contains two substructures (both related to graphs embedded in plane with two precolored cycles) whose coloring properties are not entirely determined. In this paper, we fill these gaps.