contain ↗ reference
7689 papers tagged with this keyword
A Folkman Linear Family
Published
• View Publication
• BIB
For graphs $F$ and $G$, let $F\to (G,G)$ signify that any red/blue edge coloring of $F$ contains a monochromatic $G$. Define Folkman number $f(G;p)$ to be the smallest order of a graph $F$ such that $F\to (G,G)$ and $ω(F) \le p$. It is shown that $f(G;p)\le cn$ for graphs $G$ of order $n$ with $Δ(G)\le Δ$, where $Δ\ge 3$, $c=c(Δ)$ and $p=p(Δ)$ are positive constants.
Matroids denser than a clique
Published
• View Publication
• BIB
The growth-rate function for a minor-closed class $\mathcal{M}$ of matroids is the function $h$ where, for each non-negative integer $r$, $h(r)$ is the maximum number of elements of a simple matroid in $\mathcal{M}$ with rank at most $r$. The Growth-Rate Theorem of Geelen, Kabell, Kung, and Whittle shows, essentially, that the growth-rate function is always either linear, quadratic, exponential, or infinite. Morover, if the growth-rate function is quadratic, then $h(r)\ge \binom{r+1}{2}$, with the lower bound coming from the fact that such classes necessarily contain all graphic matroids. We characterise the classes that satisfy $h(r) = \binom{r+1}{2}$ for all sufficiently large $r$.
Matroids denser than a projective geometry
Published
• View Publication
• BIB
The growth-rate function for a minor-closed class $\mathcal{M}$ of matroids is the function $h$ where, for each non-negative integer $r$, $h(r)$ is the maximum number of elements of a simple matroid in $\mathcal{M}$ with rank at most $r$. The Growth-Rate Theorem of Geelen, Kabell, Kung, and Whittle shows, essentially, that the growth-rate function is always either linear, quadratic, exponential with some prime power $q$ as the base, or infinite. Morover, if the growth-rate function is exponential with base $q$, then the class contains all GF$(q)$-representable matroids, and so $h(r)\ge \frac{q^r-1}{q-1}$ for each $r$. We characterise the classes that satisfy $h(r) = \frac{q^r-1}{q-1}$ for all sufficiently large $r$. As a consequence, we determine the eventual value of the growth rate function for most classes defined by excluding lines, free spikes and/or free swirls.
Regularity of powers of forests and cycles
Let G be a graph and let I = I(G) be its edge ideal. In this paper, when G is a forest or a cycle, we explicitly compute the regularity of I^s for all s > 0. In particular, for these classes of graphs, we provide the asymptotic linear function reg(I^s) as s > 0, and the initial value of s starting from which reg(I^s) attains its linear form. We also give new bounds on the regularity of I when G contains a Hamiltonian path and when G is a Hamiltonian graph.
Two Theorems on the Range of Strategy-proof Rules on a Restricted Domain
Let g be a strategy-proof rule on the domain NP of profiles where no alternative Pareto-dominates any other and let g have range S on NP. We complete the proof of a Gibbard-Satterthwaite result - if S contains more than two elements, then g is dictatorial - by establishing a full range result on two subdomains of NP.
Generalizations of the Szemerédi-Trotter Theorem
Published
• View Publication
• BIB
We generalize the Szemerédi-Trotter incidence theorem, to bound the number of complete \emph{flags} in higher dimensions. Specifically, for each $i=0,1,\ldots,d-1$, we are given a finite set $S_i$ of $i$-flats in $\R^d$ or in $\C^d$, and a (complete) flag is a tuple $(f_0,f_1,\ldots,f_{d-1})$, where $f_i\in S_i$ for each $i$ and $f_i\subset f_{i+1}$ for each $i=0,1,\ldots,d-2$. Our main result is an upper bound on the number of flags which is tight in the worst case.
We also study several other kinds of incidence problems, including (i) incidences between points and lines in $\R^3$ such that among the lines incident to a point, at most $O(1)$ of them can be coplanar, (ii) incidences with Legendrian lines in $\R^3$, a special class of lines that arise when considering flags that are defined in terms of other groups, and (iii) flags in $\R^3$ (involving points, lines, and planes), where no given line can contain too many points or lie on too many planes. The bound that we obtain in (iii) is nearly tight in the worst case.
Finally, we explore a group theoretic interpretation of flags, a generalized version of which leads us to new incidence problems.
Saturation in the Hypercube and Bootstrap Percolation
Published
• View Publication
• BIB
Let $Q_d$ denote the hypercube of dimension $d$. Given $d\geq m$, a spanning subgraph $G$ of $Q_d$ is said to be $(Q_d,Q_m)$-saturated if it does not contain $Q_m$ as a subgraph but adding any edge of $E(Q_d)\setminus E(G)$ creates a copy of $Q_m$ in $G$. Answering a question of Johnson and Pinto, we show that for every fixed $m\geq2$ the minimum number of edges in a $(Q_d,Q_m)$-saturated graph is $Θ(2^d)$.
We also study weak saturation, which is a form of bootstrap percolation. A spanning subgraph of $Q_d$ is said to be weakly $(Q_d,Q_m)$-saturated if the edges of $E(Q_d)\setminus E(G)$ can be added to $G$ one at a time so that each added edge creates a new copy of $Q_m$. Answering another question of Johnson and Pinto, we determine the minimum number of edges in a weakly $(Q_d,Q_m)$-saturated graph for all $d\geq m\geq1$. More generally, we determine the minimum number of edges in a subgraph of the $d$-dimensional grid $P_k^d$ which is weakly saturated with respect to `axis aligned' copies of a smaller grid $P_r^m$. We also study weak saturation of cycles in the grid.
A correspondence between rooted planar maps and normal planar lambda terms
Published in Logical Methods in Computer Science, Volume 11, Issue 3 (September 25, 2015) lmcs:1598
• View Publication
• BIB
A rooted planar map is a connected graph embedded in the 2-sphere, with one edge marked and assigned an orientation. A term of the pure lambda calculus is said to be linear if every variable is used exactly once, normal if it contains no beta-redexes, and planar if it is linear and the use of variables moreover follows a deterministic stack discipline. We begin by showing that the sequence counting normal planar lambda terms by a natural notion of size coincides with the sequence (originally computed by Tutte) counting rooted planar maps by number of edges. Next, we explain how to apply the machinery of string diagrams to derive a graphical language for normal planar lambda terms, extracted from the semantics of linear lambda calculus in symmetric monoidal closed categories equipped with a linear reflexive object or a linear reflexive pair. Finally, our main result is a size-preserving bijection between rooted planar maps and normal planar lambda terms, which we establish by explaining how Tutte decomposition of rooted planar maps (into vertex maps, maps with an isthmic root, and maps with a non-isthmic root) may be naturally replayed in linear lambda calculus, as certain surgeries on the string diagrams of normal planar lambda terms.
Tackling the Minimal Superpermutation Problem
A superpermutation on $n$ symbols is a string that contains each of the $n!$ permutations of the $n$ symbols as a contiguous substring. The shortest superpermutation on $n$ symbols was conjectured to have length $\sum_{i=1}^n i!$. The conjecture had been verified for $n \leq 5$. We disprove it by exhibiting an explicit counterexample for $n=6$. This counterexample was found by encoding the problem as an instance of the (asymmetric) Traveling Salesman Problem, and searching for a solution using a powerful heuristic solver.
The threshold probability for long cycles
Published
• View Publication
• BIB
For a given graph $G$ of minimum degree at least $k$, let $G_p$ denote the random spanning subgraph of $G$ obtained by retaining each edge independently with probability $p=p(k)$. We prove that if $p \ge \frac{\log k + \log \log k + ω_k(1)}{k}$, where $ω_k(1)$ is any function tending to infinity with $k$, then $G_p$ asymptotically almost surely contains a cycle of length at least $k+1$. When we take $G$ to be the complete graph on $k+1$ vertices, our theorem coincides with the classic result on the threshold probability for the existence of a Hamilton cycle in the binomial random graph.
Two series expansions for the logarithm of the gamma function involving Stirling numbers and containing only rational coefficients for certain arguments related to $π^{-1}$
Published in Journal of Mathematical Analysis and Applications (Elsevier), vol. 442, no. 2, pp. 404-434, 2016
• View Publication
• BIB
In this paper, two new series for the logarithm of the $Γ$-function are presented and studied. Their polygamma analogs are also obtained and discussed. These series involve the Stirling numbers of the first kind and have the property to contain only rational coefficients for certain arguments related to $π^{-1}$. In particular, for any value of the form $\lnΓ(\frac{1}{2}n\pmαπ^{-1})$ and $Ψ_k(\frac{1}{2}n\pmαπ^{-1})$, where $Ψ_k$ stands for the $k$th polygamma function, $α$ is positive rational greater than $\frac{1}{6}π$, $n$ is integer and $k$ is non-negative integer, these series have rational terms only. In the specified zones of convergence, derived series converge uniformly at the same rate as $\sum(n\ln^m\!n)^{-2}$, where $m=1, 2, 3,\ldots$\,, depending on the order of the polygamma function. Explicit expansions into the series with rational coefficients are given for the most attracting values, such as $\lnΓ(π^{-1})$, $\lnΓ(2π^{-1})$, $\lnΓ(\tfrac{1}{2}+π^{-1})$, $Ψ(π^{-1})$, $Ψ(\tfrac{1}{2}+π^{-1})$ and $Ψ_k(π^{-1})$. Besides, in this article, the reader will also find a number of other series involving Stirling numbers, Gregory's coefficients (logarithmic numbers, also known as Bernoulli numbers of the second kind), Cauchy numbers and generalized Bernoulli numbers. Finally, several estimations and full asymptotics for Gregory's coefficients, for Cauchy numbers, for certain generalized Bernoulli numbers and for certain sums with the Stirling numbers are obtained. In particular, these include sharp bounds for Gregory's coefficients and for the Cauchy numbers of the second kind.
On the chromatic number of the Erdős-Rényi orthogonal polarity graph
Published
• View Publication
• BIB
For a prime power $q$, let $ER_q$ denote the Erdős-Rényi orthogonal polarity graph. We prove that if $q$ is an even power of an odd prime, then $χ( ER_{q}) \leq 2 \sqrt{q} + O ( \sqrt{q} / \log q)$. This upper bound is best possible up to a constant factor of at most 2. If $q$ is an odd power of an odd prime and satisfies some condition on irreducible polynomials, then we improve the best known upper bound for $χ(ER_{q})$ substantially. We also show that for sufficiently large $q$, every $ER_q$ contains a subgraph that is not 3-chromatic and has at most 36 vertices.
Forbidden hypermatrices imply general bounds on induced forbidden subposet problems
Published
• View Publication
• BIB
We prove that for every poset $P$, there is a constant $C$ such that the size of any family of subsets of $[n]$ that does not contain $P$ as an induced subposet is at most $C{\binom{n}{\lfloor\frac{n}{2}\rfloor}}$, settling a conjecture of Katona, and Lu and Milans. We obtain this bound by establishing a connection to the theory of forbidden submatrices and then applying a higher dimensional variant of the Marcus-Tardos theorem, proved by Klazar and Marcus. We also give a new proof of their result.
The approximate Loebl-Komlós-Sós Conjecture I: The sparse decomposition
Published in SIAM J. Discrete Math. 31 (2017), no. 2, 945-982
• View Publication
• BIB
In a series of four papers we prove the following relaxation of the Loebl-Komlos-Sos Conjecture: For every $α>0$ there exists a number $k_0$ such that for every $k>k_0$ every $n$-vertex graph $G$ with at least $(\frac12+α)n$ vertices of degree at least $(1+α)k$ contains each tree $T$ of order $k$ as a subgraph.
The method to prove our result follows a strategy similar to approaches that employ the Szemerédi regularity lemma: we decompose the graph $G$, find a suitable combinatorial structure inside the decomposition, and then embed the tree $T$ into $G$ using this structure. Since for sparse graphs $G$, the decomposition given by the regularity lemma is not helpful, we use a more general decomposition technique. We show that each graph can be decomposed into vertices of huge degree, regular pairs (in the sense of the regularity lemma), and two other objects each exhibiting certain expansion properties. In this paper, we introduce this novel decomposition technique. In the three follow-up papers, we find a combinatorial structure suitable inside the decomposition, which we then use for embedding the tree.
The Approximate Loebl-Komlós-Sós Conjecture III: The finer structure of LKS graphs
Published in SIAM J. Discrete Math. 31 (2017), no. 2, 1017-1071
• View Publication
• BIB
This is the third of a series of four papers in which we prove the following relaxation of the Loebl-Komlos-Sos Conjecture: For every $α>0$ there exists a number $k_0$ such that for every $k>k_0$ every $n$-vertex graph $G$ with at least $(\frac12+α)n$ vertices of degree at least $(1+α)k$ contains each tree $T$ of order $k$ as a subgraph.
In the first paper of the series, we gave a decomposition of the graph $G$ into several parts of different characteristics. In the second paper, we found a combinatorial structure inside the decomposition. In this paper, we will give a refinement of this structure. In the forthcoming fourth paper, the refined structure will be used for embedding the tree $T$.
The approximate Loebl-Komlós-Sós Conjecture IV: Embedding techniques and the proof of the main result
Published in SIAM J. Discrete Math. 31 (2017), no. 2, 1072-1148
• View Publication
• BIB
This is the last paper of a series of four papers in which we prove the following relaxation of the Loebl-Komlos-Sos Conjecture: For every $α>0$ there exists a number~$k_0$ such that for every $k>k_0$ every $n$-vertex graph $G$ with at least $(\frac12+α)n$ vertices of degree at least $(1+α)k$ contains each tree $T$ of order $k$ as a subgraph.
In the first two papers of this series, we decomposed the host graph $G$, and found a suitable combinatorial structure inside the decomposition. In the third paper, we refined this structure, and proved that any graph satisfying the conditions of the above approximate version of the Loebl-Komlos-Sos Conjecture contains one of ten specific configurations. In this paper we embed the tree $T$ in each of the ten configurations.
The approximate Loebl-Komlós-Sós Conjecture II: The rough structure of LKS graphs
Published in SIAM J. Discrete Math. 31, no. 2, 983-1016 (2017)
• View Publication
• BIB
This is the second of a series of four papers in which we prove the following relaxation of the Loebl-Komlos--Sos Conjecture: For every $α>0$ there exists a number $k_0$ such that for every $k>k_0$ every $n$-vertex graph $G$ with at least $(\frac12+α)n$ vertices of degree at least $(1+α)k$ contains each tree $T$ of order $k$ as a subgraph.
In the first paper of the series, we gave a decomposition of the graph $G$ into several parts of different characteristics; this decomposition might be viewed as an analogue of a regular partition for sparse graphs. In the present paper, we find a combinatorial structure inside this decomposition. In the last two papers, we refine the structure and use it for embedding the tree $T$.
Thin Tree Position
We introduce a method for creating a special type of tree, called a tree position, from a weighted graph. Leaves of the tree correspond to vertices of the original graph, and the tree edges contain information which can be used to partition these vertices. By repeatedly applying reducing operations to the tree position we arrive at a special type of tree position we call thin, and we show that partitions arising from thin tree positions have especially nice properties. The algorithm is based the topological notion of thin position for knots and 3-manifolds and builds on the previously defined idea of a Topological Intrinsic Lexicographic Order (TILO).
On the neighbour sum distinguishing index of planar graphs
Published in J. Graph Theory 85(3) (2017) 669-690
• View Publication
• BIB
Let $c$ be a proper edge colouring of a graph $G=(V,E)$ with integers $1,2,\ldots,k$. Then $k\geq Δ(G)$, while by Vizing's theorem, no more than $k=Δ(G)+1$ is necessary for constructing such $c$. On the course of investigating irregularities in graphs, it has been moreover conjectured that only slightly larger $k$, i.e., $k=Δ(G)+2$ enables enforcing additional strong feature of $c$, namely that it attributes distinct sums of incident colours to adjacent vertices in $G$ if only this graph has no isolated edges and is not isomorphic to $C_5$. We prove the conjecture is valid for planar graphs of sufficiently large maximum degree. In fact even stronger statement holds, as the necessary number of colours stemming from the result of Vizing is proved to be sufficient for this family of graphs. Specifically, our main result states that every planar graph $G$ of maximum degree at least $28$ which contains no isolated edges admits a proper edge colouring $c:E\to\{1,2,\ldots,Δ(G)+1\}$ such that $\sum_{e\ni u}c(e)\neq \sum_{e\ni v}c(e)$ for every edge $uv$ of $G$.
Graphs with minimal well-covered dimension
There is a class of graphs with well-covered dimension equal to the simplicial clique number that contains all chordal graphs and infinitely many other graphs. These graphs generalize a result by Brown and Nowakowski on the well-covered dimension of chordal graphs. Furthermore, each member of the infinite family of Sierpinski gasket graphs of order at least $2$ has well-covered dimension $3,$ the simplicial clique number.