contain ↗ reference
7689 papers tagged with this keyword
On the Density of a Graph and its Blowup
Published
• View Publication
• BIB
The theorem of Chung, Graham, and Wilson on quasi-random graphs asserts that of all graphs with edge density p, the random graph G(n,p) contains the smallest density of copies of K_{t,t}, the complete bipartite graph of size 2t. Since K_{t,t} is a t-blowup of an edge, the following intriguing open question arises: Is it true that of all graphs with triangle density p^3, the random graph G(n,p) contains the smallest density of K_{t,t,t}, which is the t-blowup of a triangle?
Our main result gives an indication that the answer to the above question is positive by showing that for some blowup, the answer must be positive. More formally we prove that if G has triangle density p^3, then there is some 2 <= t <= T(p) for which the density of K_{t,t,t} in G is at least p^{(3+o(1))t^2}, which (up to the o(1) term) equals the density of K_{t,t,t} in G(n,p). We also consider the analogous question on skewed blowups, showing that somewhat surprisingly, the behavior there is different. We also raise several conjectures related to these problems and discuss some applications to other areas.
Multiple recurrence and convergence for Hardy sequences of polynomial growth
Published
• View Publication
• BIB
We study the limiting behavior of multiple ergodic averages involving sequences of integers that satisfy some regularity conditions and have polynomial growth. We show that for "typical" choices of Hardy field functions $a(t)$ with polynomial growth, the averages $\frac{1}{N}\sum_{n=1}^N f_1(T^{[a(n)]}x)\cdot...\cdot f_\ell(T^{\ell [a(n)]}x)$ converge in the mean and we determine their limit. For example, this is the case if $a(t)=t^{3/2}, t\log{t},$ or $t^2+(\log{t})^2$. Furthermore, if ${a_1(t),...,a_\ell(t)}$ is a "typical" family of logarithmico-exponential functions of polynomial growth, then for every ergodic system, the averages $\frac{1}{N}\sum_{n=1}^N f_1(T^{[a_1(n)]}x)\cdot...\cdot f_\ell(T^{[a_\ell(n)]}x)$ converge in the mean to the product of the integrals of the corresponding functions. For example, this is the case if the functions $a_i(t)$ are given by different positive fractional powers of $t$. We deduce several results in combinatorics. We show that if $a(t)$ is a non-polynomial Hardy field function with polynomial growth, then every set of integers with positive upper density contains arithmetic progressions of the form ${m,m+[a(n)],...,m+\ell[a(n)]}$. Under suitable assumptions we get a related result concerning patterns of the form ${m, m+[a_1(n)],..., m+[a_\ell(n)]}.$
Moduli of Crude Limit Linear Series
Published
• View Publication
• BIB
Eisenbud and Harris introduced the theory of limit linear series, and constructed a space parametrizing their limit linear series. Recently, Osserman introduced a new space which compactifies the Eisenbud-Harris construction. In the Eisenbud-Harris space, the set of refined limit linear series is always dense on a general reducible curve. Osserman asks when the same is true for his space. In this paper, we answer his question by characterizing the situations when the crude limit linear series contain an open subset of his space.
The Mobius Function of the Permutation Pattern Poset
A permutation τcontains another permutation σas a pattern if τhas a subsequence whose elements are in the same order with respect to size as the elements in σ. This defines a partial order on the set of all permutations, and gives a graded poset P. We give a large class of pairs of permutations whose intervals in P have Mobius function 0. Also, we give a solution to the problem when σoccurs precisely once in τ, and σand τsatisfy certain further conditions, in which case the Mobius function is shown to be either -1, 0 or 1. We conjecture that for intervals [σ,τ] consisting of permutations avoiding the pattern 132, the magnitude of the Mobius function is bounded by the number of occurrences of σin τ. We also conjecture that the Mobius function of the interval [1,τ] is -1, 0 or 1.
The topology of the space of matrices of Barvinok rank two
The Barvinok rank of a $d \times n$ matrix is the minimum number of points in $\mathbb{R}^d$ such that the tropical convex hull of the points contains all columns of the matrix. The concept originated in work by Barvinok and others on the travelling salesman problem. Our object of study is the space of real $d \times n$ matrices of Barvinok rank two. Let $B_{d,n}$ denote this space modulo rescaling and translation. We show that $B_{d,n}$ is a manifold, thereby settling a conjecture due to Develin. In fact, $B_{d,n}$ is homeomorphic to the quotient of the product of spheres $S^{d-2} \times S^{n-2}$ under the involution which sends each point to its antipode simultaneously in both components. In addition, using discrete Morse theory, we compute the integral homology of $B_{d,n}$. Assuming $d \ge n$, for odd $d$ the homology turns out to be isomorphic to that of $S^{d-2} \times \mathbb{RP}^{n-2}$. This is true also for even $d$ up to degree $d-3$, but the two cases differ from degree $d-2$ and up. The homology computation straightforwardly extends to more general complexes of the form $(S^{d-2} \times X)/\mathbb{Z}_2$, where $X$ is a finite cell complex of dimension at most $d-2$ admitting a free $\mathbb{Z}_2$-action.
Several examples of neigbourly polyhedra in co-dimension 4
Published in Devyatov, R. A., Neighbourly polytopes with few vertices (in Russian), Matematicheskii Sbornik 202:10 (2011), pp. 31-54. English transl.: Sbornik: Mathematics 202:10 (2011), pp. 1441-1462
• View Publication
• BIB
In the article, a series of neigbourly polyhedra is constructed. They have $N=2d+4$ vertices and are embedded in $\mathbb R^{2d}$. Their (affine) Gale diagrams in $\mathbb R^2$ have $d+3$ black points that form a convex polygon.
These Gale diagams can be enumerated using 3-trees (trees with some additional structure).
Given $d$ and $m$, each of the constructed polyhedra in $\mathbb R^{2d}$ has a fixed number of faces of dimension $m$ that contain a vertex $A$. (This number depends on $d$ and $m$ does not depend on the polyhedron and the vertex $A$).
A Linear-Time Algorithm for the Maximum Matched-Paired-Domination Problem in Cographs
Published in International Journal of Computer Mathematics 88/10 (2011) 2042-2056
• View Publication
• BIB
Let $G=(V,E)$ be a graph without isolated vertices. A matching in $G$ is a set of independent edges in $G$. A perfect matching $M$ in $G$ is a matching such that every vertex of $G$ is incident to an edge of $M$. A set $S\subseteq V$ is a \textit{paired-dominating set} of $G$ if every vertex in $V-S$ is adjacent to some vertex in $S$ and if the subgraph $G[S]$ induced by $S$ contains at least one perfect matching. The paired-domination problem is to find a paired-dominating set of $G$ with minimum cardinality. A set $MPD\subseteq E$ is a \textit{matched-paired-dominating set} of $G$ if $MPD$ is a perfect matching of $G[S]$ induced by a paired-dominating set $S$ of $G$. Note that the paired-domination problem can be regard as finding a matched-paired-dominating set of $G$ with minimum cardinality. Let $\mathcal{R}$ be a subset of $V$, $MPD$ be a matched-paired-dominating set of $G$, and let $V(MPD)$ denote the set of vertices being incident to edges of $MPD$. A \textit{maximum matched-paired-dominating set} $MMPD$ of $G$ w.r.t. $\mathcal{R}$ is a matched-paired-dominating set such that $|V(MMPD)\cap \mathcal{R}|\geqslant |V(MPD)\cap \mathcal{R}|$. An edge in $MPD$ is called \textit{free-paired-edge} if neither of its both vertices is in $\mathcal{R}$. Given a graph $G$ and a subset $\mathcal{R}$ of vertices of $G$, the \textit{maximum matched-paired-domination problem} is to find a maximum matched-paired-dominating set of $G$ with the least free-paired-edges; note that, if $\mathcal{R}$ is empty, the stated problem coincides with the classical paired-domination problem. In this paper, we present a linear-time algorithm to solve the maximum matched-paired-domination problem in cographs.
Excluding Kuratowski graphs and their duals from binary matroids
Published
• View Publication
• BIB
We consider some applications of our characterisation of the internally 4-connected binary matroids with no M(K3,3)-minor. We characterise the internally 4-connected binary matroids with no minor in some subset of {M(K3,3),M*(K3,3),M(K5),M*(K5)} that contains either M(K3,3) or M*(K3,3). We also describe a practical algorithm for testing whether a binary matroid has a minor in the subset. In addition we characterise the growth-rate of binary matroids with no M(K3,3)-minor, and we show that a binary matroid with no M(K3,3)-minor has critical exponent over GF(2) at most equal to four.
Large almost monochromatic subsets in hypergraphs
Published
• View Publication
• BIB
We show that for all $\ell$ and $ε>0$ there is a constant $c=c(\ell,ε)>0$ such that every $\ell$-coloring of the triples of an $N$-element set contains a subset $S$ of size $c\sqrt{\log N}$ such that at least $1-ε$ fraction of the triples of $S$ have the same color. This result is tight up to the constant $c$ and answers an open question of Erdős and Hajnal from 1989 on discrepancy in hypergraphs. For $\ell \geq 4$ colors, it is known that there is an $\ell$-coloring of the triples of an $N$-element set whose largest monochromatic subset has cardinality only $Θ(\log \log N)$. Thus, our result demonstrates that the maximum almost monochromatic subset that an $\ell$-coloring of the triples must contain is much larger than the corresponding monochromatic subset. This is in striking contrast with graphs, where these two quantities have the same order of magnitude. To prove our result, we obtain a new upper bound on the $\ell$-color Ramsey numbers of complete multipartite 3-uniform hypergraphs, which answers another open question of Erdős and Hajnal.
Embedding large subgraphs into dense graphs
What conditions ensure that a graph G contains some given spanning subgraph H? The most famous examples of results of this kind are probably Dirac's theorem on Hamilton cycles and Tutte's theorem on perfect matchings. Perfect matchings are generalized by perfect F-packings, where instead of covering all the vertices of G by disjoint edges, we want to cover G by disjoint copies of a (small) graph F. It is unlikely that there is a characterization of all graphs G which contain a perfect F-packing, so as in the case of Dirac's theorem it makes sense to study conditions on the minimum degree of G which guarantee a perfect F-packing.
The Regularity lemma of Szemeredi and the Blow-up lemma of Komlos, Sarkozy and Szemeredi have proved to be powerful tools in attacking such problems and quite recently, several long-standing problems and conjectures in the area have been solved using these. In this survey, we give an outline of recent progress (with our main emphasis on F-packings, Hamiltonicity problems and tree embeddings) and describe some of the methods involved.
A note on embedding hypertrees
Published
• View Publication
• BIB
A classical result from graph theory is that every graph with chromatic number χ> t contains a subgraph with all degrees at least t, and therefore contains a copy of every t-edge tree. Bohman, Frieze, and Mubayi recently posed this problem for r-uniform hypergraphs. An r-tree is an r-uniform hypergraph with no pair of edges intersecting in more than one vertex, and no sequence of distinct vertices and edges (v_1, e_1, ..., v_k, e_k) with all e_i \ni {v_i, v_{i+1}}, where we take v_{k+1} to be v_1. Bohman, Frieze, and Mubayi proved that χ> 2rt is sufficient to embed every r-tree with t edges, and asked whether the dependence on r was necessary. In this note, we completely solve their problem, proving the tight result that χ> t is sufficient to embed any r-tree with t edges.
Extensions to the Method of Multiplicities, with applications to Kakeya Sets and Mergers
Published
• View Publication
• BIB
We extend the "method of multiplicities" to get the following results, of interest in combinatorics and randomness extraction. (A) We show that every Kakeya set (a set of points that contains a line in every direction) in $\F_q^n$ must be of size at least $q^n/2^n$. This bound is tight to within a $2 + o(1)$ factor for every $n$ as $q \to \infty$, compared to previous bounds that were off by exponential factors in $n$. (B) We give improved randomness extractors and "randomness mergers". Mergers are seeded functions that take as input $Λ$ (possibly correlated) random variables in $\{0,1\}^N$ and a short random seed and output a single random variable in $\{0,1\}^N$ that is statistically close to having entropy $(1-δ) \cdot N$ when one of the $Λ$ input variables is distributed uniformly. The seed we require is only $(1/δ)\cdot \log Λ$-bits long, which significantly improves upon previous construction of mergers. (C) Using our new mergers, we show how to construct randomness extractors that use logarithmic length seeds while extracting $1 - o(1)$ fraction of the min-entropy of the source.
The "method of multiplicities", as used in prior work, analyzed subsets of vector spaces over finite fields by constructing somewhat low degree interpolating polynomials that vanish on every point in the subset {\em with high multiplicity}. The typical use of this method involved showing that the interpolating polynomial also vanished on some points outside the subset, and then used simple bounds on the number of zeroes to complete the analysis. Our augmentation to this technique is that we prove, under appropriate conditions, that the interpolating polynomial vanishes {\em with high multiplicity} outside the set. This novelty leads to significantly tighter analyses.
Groups with maximal irredundant covers and minimal blocking sets
Let $n$ be a positive integer. Denote by $\mathrm{PG}(n,q)$ the $n$-dimensional projective space over the finite field $\mathbb{F}_q$ of order $q$. A blocking set in $\mathrm{PG}(n,q)$ is a set of points that has non-empty intersection with every hyperplane of $\mathrm{PG}(n,q)$. A blocking set is called minimal if none of its proper subsets are blocking sets. In this note we prove that if $\mathrm{PG}(n_i,q)$ contains a minimal blocking set of size $k_i$ for $i\in\{1,2\}$, then $\mathrm{PG}(n_1+n_2+1,q)$ contains a minimal blocking set of size $k_1+k_2-1$. This result is proved by a result on groups with maximal irredundant covers.
Constructing subsets of a given packing index in Abelian groups
Published in Acta Univ. Carolinae, Math. Phys. 48:2 (2007)
• Search Publication
By definition, the sharp packing index $\ind_P^\sharp(A)$ of a subset $A$ of an abelian group $G$ is the smallest cardinal $κ$ such that for any subset $B\subset G$ of size $|B|\geκ$ the family $\{b+A:b\in B\}$ is not disjoint. We prove that an infinite Abelian group $G$ contains a subset $A$ with given index $\ind_P^\sharp(A)=κ$ if and only if one of the following conditions holds: (1) $2\le κ\le|G|^+$ and $k\notin \{3,4\}$; (2) $κ=3$ and $G$ is not isomorphic to $\oplus_{i\in I} \mathbb{Z}_3$; (3) $κ=4$ and $G$ is not isomorphic to $\oplus_{i\in I} \mathbb{Z}_2$ or to
$\mathbb{Z}_4\oplus(\oplus_{i\in I} \mathbb{Z}_2)$.
Finitely forcible graphons
Published in Journal of Combinatorial Theory, Series B 101 (2011), 269-301
• Search Publication
We investigate families of graphs and graphons (graph limits) that are defined by a finite number of prescribed subgraph densities. Our main focus is the case when the family contains only one element, i.e., a unique structure is forced by finitely many subgraph densities. Generalizing results of Turan, Erdos-Simonovits and Chung-Graham-Wilson, we construct numerous finitely forcible graphons. Most of these fall into two categories: one type has an algebraic structure and the other type has an iterated (fractal-like) structure. We also give some necessary conditions for forcibility, which imply that finitely forcible graphons are "rare", and exhibit simple and explicit non-forcible graphons.
On upper bounds for parameters related to construction of special maximum matchings
Published in Discrete Mathematics 312/2 (2012), pp. 213--220
• View Publication
• BIB
For a graph $G$ let $L(G)$ and $l(G)$ denote the size of the largest and smallest maximum matching of a graph obtained from $G$ by removing a maximum matching of $G$. We show that $L(G)\leq 2l(G),$ and $L(G)\leq (3/2)l(G)$ provided that $G$ contains a perfect matching. We also characterize the class of graphs for which $L(G)=2l(G)$. Our characterization implies the existence of a polynomial algorithm for testing the property $L(G)=2l(G)$. Finally we show that it is $NP$-complete to test whether a graph $G$ containing a perfect matching satisfies $L(G)=(3/2)l(G)$.
Lower bounds for weak epsilon-nets and stair-convexity
Published in Israel Journal of Mathematics, 182:199-228, 2011
• View Publication
• BIB
A set N is called a "weak epsilon-net" (with respect to convex sets) for a finite set X in R^d if N intersects every convex set that contains at least epsilon*|X| points of X. For every fixed d>=2 and every r>=1 we construct sets X in R^d for which every weak (1/r)-net has at least Omega(r log^{d-1} r) points; this is the first superlinear lower bound for weak epsilon-nets in a fixed dimension.
The construction is a "stretched grid", i.e., the Cartesian product of d suitable fast-growing finite sequences, and convexity in this grid can be analyzed using "stair-convexity", a new variant of the usual notion of convexity.
We also consider weak epsilon-nets for the diagonal of our stretched grid in R^d, d>=3, which is an "intrinsically 1-dimensional" point set. In this case we exhibit slightly superlinear lower bounds (involving the inverse Ackermann function), showing that upper bounds by Alon, Kaplan, Nivasch, Sharir, and Smorodinsky (2008) are not far from the truth in the worst case.
Using the stretched grid we also improve the known upper bound for the so-called "second selection lemma" in the plane by a logarithmic factor: We obtain a set T of t triangles with vertices in an n-point set in the plane such that no point is contained in more than O(t^2 / (n^3 log (n^3/t))) triangles of T.
Crucial words for abelian powers
Published in Lecture Notes in Computer Science, vol. 5583, Springer-Verlag, Berlin, 2009, pp. 264-275
• View Publication
• BIB
A word is "crucial" with respect to a given set of "prohibited words" (or simply "prohibitions") if it avoids the prohibitions but it cannot be extended to the right by any letter of its alphabet without creating a prohibition. A "minimal crucial word" is a crucial word of the shortest length. A word W contains an "abelian k-th power" if W has a factor of the form X_1X_2...X_k where X_i is a permutation of X_1 for 2<= i <= k. When k=2 or 3, one deals with "abelian squares" and "abelian cubes", respectively.
In 2004 (arXiv:math/0205217), Evdokimov and Kitaev showed that a minimal crucial word over an n-letter alphabet A_n = {1,2,..., n} avoiding abelian squares has length 4n-7 for n >= 3. In this paper we show that a minimal crucial word over A_n avoiding abelian cubes has length 9n-13 for n >= 5, and it has length 2, 5, 11, and 20 for n=1, 2, 3, and 4, respectively. Moreover, for n >= 4 and k >= 2, we give a construction of length k^2(n-1)-k-1 of a crucial word over A_n avoiding abelian k-th powers. This construction gives the minimal length for k=2 and k=3. For k >= 4 and n >= 5, we provide a lower bound for the length of crucial words over A_n avoiding abelian k-th powers.
There are k-uniform cubefree binary morphisms for all k >= 0
Published
• View Publication
• BIB
A word is cubefree if it contains no non-empty subword of the form xxx. A morphism h : Sigma^* -> Sigma^* is k-uniform if h(a) has length k for all a in Sigma. A morphism is cubefree if it maps cubefree words to cubefree words. We show that for all k >= 0 there exists a k-uniform cubefree binary morphism.
Universal convex coverings
Published in Bulletin of the London Mathematical Society / The Bulletin of the London Mathematical Society 41, 6 (2010) 987-992
• View Publication
• BIB
In every dimension $d\ge1$, we establish the existence of a constant $v_d>0$ and of a subset $\mathcal U_d$ of $\mathbb R^d$ such that the following holds: $\mathcal C+\mathcal U_d=\mathbb R^d$ for every convex set $\mathcal C\subset \mathbb R^d$ of volume at least $v_d$ and $\mathcal U_d$ contains at most $\log(r)^{d-1}r^d$ points at distance at most $r$ from the origin, for every large $r$.