contain ↗ reference
7689 papers tagged with this keyword
Combined algebraic and multiplicative properties near zero
Published
• View Publication
• BIB
It was proved that whenever $\mathbb{N}$ is partitioned into finitely many cells, one cell must contain arbitrary length arithmetic and geometric progression nicely intertwined, so that one cell must be rich in the sense of containing substantial combined additive and multiplicative properties. Further it is known that IP$^*$ and central$^*$ sets are also rich in substantial combined additive and multiplicative properties but not partition regular. In this article we prove that these types of results also hold near zero for dense subsemigroups $S$ of $((0,\infty),+)$ for which $(S\cap(0,1),\cdot)$.
Self-similarity of graphs
Published
• View Publication
• BIB
An old problem raised independently by Jacobson and Schönheim asks to determine the maximum $s$ for which every graph with $m$ edges contains a pair of edge-disjoint isomorphic subgraphs with $s$ edges. In this paper we determine this maximum up to a constant factor. We show that every $m$-edge graph contains a pair of edge-disjoint isomorphic subgraphs with at least $c (m\log m)^{2/3}$ edges for some absolute constant $c$, and find graphs where this estimate is off only by a multiplicative constant. Our results improve bounds of Erdős, Pach, and Pyber from 1987.
Real and complex unbiased Hadamard matrices
We use combinatorial and Fourier analytic arguments to prove various non-existence results on systems of real and complex unbiased Hadamard matrices. In particular, we prove that a complete system of complex mutually unbiased Hadamard matrices (MUHs) in any dimension $d$ cannot contain more than one real Hadamard matrix. We also give new proofs of several known structural results in low dimensions, for $d\le 6$.
A counterexample to conjecture 18.5 in "Geometric Etudes in Combinatorial Mathematics", second edition
A collection of sets $\Fscr$ has the $(p,q)$-property if out of every $p$ elements of $\Fscr$ there are $q$ that have a point in common. A transversal of a collection of sets $\Fscr$ is a set $A$ that intersects every member of $\Fscr$. Grünbaum conjectured that every family $\Fscr$ of closed, convex sets in the plane with the $(4,3)$-property and at least two elements that are compact has a transversal of bounded cardinality. Here we construct a counterexample to his conjecture. On the positive side, we also show that if such a collection $\Fscr$ contains two {\em disjoint} compacta then there is a transveral of cardinality at most 13.
Appendix for almost-rainbow edge-colorings of some small subgraphs
This appendix for our article, "Almost-rainbow edge-colorings of some small subgraphs", contains the full proof of Theorem 4.1.
Strong connectivity and directed triangles in oriented graphs. Partial results on a particular case of the Caccetta-Häggkvist conjecture
A particular case of Caccetta-Häggkvist conjecture, says that a digraph of order $n$ with minimum out-degree at least $1/3n$ contains a directed cycle of length at most 3. Recently, Kral, Hladky and Norine proved that a digraph of order $n$ with minimum out-degree at least $0.3465n$ contains a directed cycle of length at most 3 (which currently is the best result). A weaker particular case says that a digraph of order $n$ with minimum semi-degree at least $1/3n$ contains a directed triangle. In a recent paper, by using the result of Kral et al, the author proved that for $β\geq 0.343545$, any digraph $D$ of order $n$ with minimum semi-degree at least $βn$ contains a directed cycle of length at most 3 (which currently is the best result). This means that for a given integer $d\geq 1$, every digraph with minimum semi-degree $d$ and of order $md$ with $m\leq 2.91082$, contains a directed cycle of length at most 3. In particular, every oriented graph with minimum semi-degree $d$ and of order $md$ with $m\leq 2.91082$, contains a directed triangle. In this paper, by using the result of Kral et al, we prove that every oriented graph with minimum semi-degree $d$, of order $md$ with $2.91082< m\leq 3$ and of strong connectivity at most $0.679d$, contains a directed triangle. This will be implied by a more general and more precise result, valid not only for $2.91082< m\leq 3$ but also for larger values of $m$. As application, we improve two existing results. The first result (Authors Broersma and Li), concerns the number of the directed cycles of length 4 of a triangle free oriented graph of order $n$ and of minimum semi-degree at least $\frac{n}{3}$. The second result (Authors Kelly, Kühn and Osthus), concerns the diameter of a triangle free oriented graph of order $n$ and of minimum semi-degree at least $\frac{n}{5}$.
The number of edges in k-quasi-planar graphs
Published
• View Publication
• BIB
A graph drawn in the plane is called k-quasi-planar if it does not contain k pairwise crossing edges. It has been conjectured for a long time that for every fixed k, the maximum number of edges of a k-quasi-planar graph with n vertices is O(n). The best known upper bound is n(\log n)^{O(\log k)}. In the present note, we improve this bound to (n\log n)2^{α^{c_k}(n)} in the special case where the graph is drawn in such a way that every pair of edges meet at most once. Here α(n) denotes the (extremely slowly growing) inverse of the Ackermann function. We also make further progress on the conjecture for k-quasi-planar graphs in which every edge is drawn as an x-monotone curve. Extending some ideas of Valtr, we prove that the maximum number of edges of such graphs is at most 2^{ck^6}n\log n.
Alliance free sets in Cartesian product graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph. For a non-empty subset of vertices $S\subseteq V$, and vertex $v\in V$, let $δ_S(v)=|\{u\in S:uv\in E\}|$ denote the cardinality of the set of neighbors of $v$ in $S$, and let $\bar{S}=V-S$. Consider the following condition: {equation}\label{alliancecondition} δ_S(v)\ge δ_{\bar{S}}(v)+k, \{equation} which states that a vertex $v$ has at least $k$ more neighbors in $S$ than it has in $\bar{S}$. A set $S\subseteq V$ that satisfies Condition (\ref{alliancecondition}) for every vertex $v \in S$ is called a \emph{defensive} $k$-\emph{alliance}; for every vertex $v$ in the neighborhood of $S$ is called an \emph{offensive} $k$-\emph{alliance}. A subset of vertices $S\subseteq V$, is a \emph{powerful} $k$-\emph{alliance} if it is both a defensive $k$-alliance and an offensive $(k +2)$-alliance. Moreover, a subset $X\subset V$ is a defensive (an offensive or a powerful) $k$-alliance free set if $X$ does not contain any defensive (offensive or powerful, respectively) $k$-alliance. In this article we study the relationships between defensive (offensive, powerful) $k$-alliance free sets in Cartesian product graphs and defensive (offensive, powerful) $k$-alliance free sets in the factor graphs.
Two extensions of Ramsey's theorem
Published in Duke Math. J. 162, no. 15 (2013), 2903-2927
• View Publication
• BIB
Ramsey's theorem, in the version of Erdős and Szekeres, states that every 2-coloring of the edges of the complete graph on {1, 2,...,n} contains a monochromatic clique of order 1/2\log n. In this paper, we consider two well-studied extensions of Ramsey's theorem.
Improving a result of Rödl, we show that there is a constant $c>0$ such that every 2-coloring of the edges of the complete graph on \{2, 3,...,n\} contains a monochromatic clique S for which the sum of 1/\log i over all vertices i \in S is at least c\log\log\log n. This is tight up to the constant factor c and answers a question of Erdős from 1981.
Motivated by a problem in model theory, Väänänen asked whether for every k there is an n such that the following holds. For every permutation πof 1,...,k-1, every 2-coloring of the edges of the complete graph on {1, 2, ..., n} contains a monochromatic clique a_1<...<a_k with a_{π(1)+1}-a_{π(1)}>a_{π(2)+1}-a_{π(2)}>...>a_{π(k-1)+1}-a_{π(k-1)}. That is, not only do we want a monochromatic clique, but the differences between consecutive vertices must satisfy a prescribed order. Alon and, independently, Erdős, Hajnal and Pach answered this question affirmatively. Alon further conjectured that the true growth rate should be exponential in k. We make progress towards this conjecture, obtaining an upper bound on n which is exponential in a power of k. This improves a result of Shelah, who showed that n is at most double-exponential in k.
Generating k-Facets by Induction on the Dimension
Let S be a set of n >= d points in general position in R^d. An oriented (d-1)-simplex spanned by d points from S is called a k-facet iff the positive side of its affine hull contains exactly k points from S. A (<=k)-facet is simply an i-facet for some i <= k. Let E_k(S) denote the number of (<=k)-facets. Of particular interest is the problem of bounding E_k(S) in terms of n, d, and k.
We present and analyze a method of generating all oriented d-tuples of points from S (and therefore all k-facets for 0 <= k <= n-d) that is inductive with regard to the dimension d. The motivation behind this is to shed light on the problem of bounding E_k(S) by drawing parallels with a simple method of sampling from certain beta distributions. In particular, we aim to provide a fresh perspective on a difficult open problem, the Generalized Upper Bound Conjecture proposed by Eckhoff, Linhart, and Welzl.
After presenting our analysis of the generation technique, we apply it to obtain a simple proof of a lower bound for E_k(S). This bound was known for d=2 but holds for a wider range of k than previous bounds when d >= 3.
Separation of variables and combinatorics of linearization coefficients of orthogonal polynomials
Published
• View Publication
• BIB
We propose a new approach to the combinatorial interpretations of linearization coefficient problem of orthogonal polynomials. We first establish a difference system and then solve it combinatorially and analytically using the method of separation of variables. We illustrate our approach by applying it to determine the number of perfect matchings, derangements, and other weighted permutation problems. The separation of variables technique naturally leads to integral representations of combinatorial numbers where the integrand contains a product of one or more types of orthogonal polynomials. This also establishes the positivity of such integrals.
Reducts of the random partial order
Published
• View Publication
• BIB
We determine, up to the equivalence of first-order interdefinability, all structures which are first-order definable in the random partial order. It turns out that these structures fall into precisely five equivalence classes. We achieve this result by showing that there exist exactly five closed permutation groups which contain the automorphism group of the random partial order, and thus expose all symmetries of this structure. Our classification lines up with previous similar classifications, such as the structures definable in the random graph or the order of the rationals; it also provides further evidence for a conjecture due to Simon Thomas which states that the number of structures definable in a homogeneous structure in a finite relational language is, up to first-order interdefinability, always finite. The method we employ is based on a Ramsey-theoretic analysis of functions acting on the random partial order, which allows us to find patterns in such functions and make them accessible to finite combinatorial arguments.
The Laplacian lattice of a graph under a simplicial distance function
Published
• View Publication
• BIB
We provide a complete description of important geometric invariants of the Laplacian lattice of a multigraph under the distance function induced by a regular simplex, namely Voronoi Diagram, Delaunay Triangulation, Delaunay Polytope and its combinatorial structure, Shortest Vectors, Covering and Packing Radius. We use this information to obtain the following results: i. Every multigraph defines a Delaunay triangulation of its Laplacian lattice and this Delaunay triangulation contains complete information of the multigraph up to isomorphism. ii. The number of multigraphs with a given Laplacian lattice is controlled, in particular upper bounded, by the number of different Delaunay triangulations. iii. We obtain formulas for the covering and packing densities of a Laplacian lattice and deduce that in the space of Laplacian lattices of undirected connected multigraphs, the Laplacian lattices of highly connected multigraphs such as Ramanujan multigraphs possess good covering and packing properties.
Sarkozy's Theorem for P-Intersective Polynomials
Published
• View Publication
• BIB
We define a necessary and sufficient condition on a polynomial $h\in \mathbb{Z}[x]$ to guarantee that every set of natural numbers of positive upper density contains a nonzero difference of the form $h(p)$ for some prime $p$. Moreover, we establish a quantitative estimate on the size of the largest subset of ${1,2,\dots,N}$ which lacks the desired arithmetic structure, showing that if deg$(h)=k$, then the density of such a set is at most a constant times $(\log N)^{-c}$ for any $c<1/(2k-2)$. We also discuss how an improved version of this result for $k=2$ and a relative version in the primes can be obtained with some additional known methods.
Minimum codegree threshold for $(K_4^3-e)$-factors
Given hypergraphs H and F, an F-factor in H is a spanning subgraph consisting of vertex disjoint copies of F. Let K_4^3-e denote the 3-uniform hypergraph on 4 vertices with 3 edges. We show that for γ>0 there exists an integer n_0 such that every 3-uniform hypergraph $H$ of order n > n_0 with minimum codegree at least (1/2+γ)n and 4|n contains a (K_4^3-e)-factor. Moreover, this bound is asymptotically the best possible and we further give a conjecture on the exact value of the threshold for the existence of a (K_4^3-e)-factor. Therefore, all minimum codegree thresholds for the existence of F-factors are known asymptotically for 3-uniform hypergraphs F on 4 vertices.
Upper bounds for the Stanley-Wilf limit of 1324 and other layered patterns
Published in J. Comb. Theory A, 119(8) (2012), 1680-1691
• View Publication
• BIB
We prove that the Stanley-Wilf limit of any layered permutation pattern of length $\ell$ is at most $4\ell^2$, and that the Stanley-Wilf limit of the pattern 1324 is at most 16. These bounds follow from a more general result showing that a permutation avoiding a pattern of a special form is a merge of two permutations, each of which avoids a smaller pattern. If the conjecture is true that the maximum Stanley-Wilf limit for patterns of length $\ell$ is attained by a layered pattern then this implies an upper bound of $4\ell^2$ for the Stanley-Wilf limit of any pattern of length $\ell$.
We also conjecture that, for any $k\ge 0$, the set of 1324-avoiding permutations with $k$ inversions contains at least as many permutations of length $n+1$ as those of length $n$. We show that if this is true then the Stanley-Wilf limit for 1324 is at most $e^{π\sqrt{2/3}} \simeq 13.001954$.
Two questions of Erdős on hypergraphs above the Tur{á}n threshold}
For ordinary graphs it is known that any graph $G$ with more edges than the Tur{á}n number of $K_s$ must contain several copies of $K_s$, and a copy of $K_{s+1}^-$, the complete graph on $s+1$ vertices with one missing edge. Erdős asked if the same result is true for $K^3_s$, the complete 3-uniform hypergraph on $s$ vertices.
In this note we show that for small values of $n$, the number of vertices in $G$, the answer is negative for $s=4$. For the second property, that of containing a ${K^3_{s+1}}^-$, we show that for $s=4$ the answer is negative for all large $n$ as well, by proving that the Tur{á}n density of ${K^3_5}^-$ is greater than that of $K^3_4$.
Shirshov's theorem and division rings that are left algebraic over a subfield
Published
• View Publication
• BIB
Let D be a division ring. We say that D is left algebraic over a (not necessarily central) subfield K of D if every x in D satisfies a polynomial equation x^n + a_{n-1}x^{n-1}+...+a_0=0 with a_0,...,a_{n-1} in K. We show that if D is a division ring that is left algebraic over a subfield K of bounded degree d then D is at most d^2-dimensional over its center. This generalizes a result of Kaplansky. For the proof we give a new version of the combinatorial theorem of Shirshov that sufficiently long words over a finite alphabet contain either a q-decomposable subword or a high power of a non-trivial subword. We show that if the word does not contain high powers then the factors in the q-decomposition may be chosen to be of almost the same length. We conclude by giving a list of problems for algebras that are left algebraic over a commutative subring.
A note on traces of set families
Published in Moscow Journal of Combinatorics and Number Theory, 2 (2012) 47-55
• Search Publication
A family of sets $\mathcal{F} \subseteq 2^{[n]}$ is defined to be $l$-trace $k$-Sperner if for any $l$-subset $L$ of $[n]$ the family of traces $\mathcal{F}|_L=\{F \cap L: F \in \mathcal{F}\}$ does not contain any chain of length $k+1$. In this paper we prove that for any positive integers $l',k$ with $l'<k$ if $\mathcal{F}$ is $(n-l')$-trace $k$-Sperner, then $|\mathcal{F}| \le (k-l'+o(1))\binom{n}{\lfloor n/2\rfloor}$ and this bound is asymptotically tight.
Embedding spanning bipartite graphs of small bandwidth
Published
• View Publication
• BIB
Boettcher, Schacht and Taraz gave a condition on the minimum degree of a graph G on n vertices that ensures G contains every r-chromatic graph H on n vertices of bounded degree and of bandwidth o(n), thereby proving a conjecture of Bollobas and Komlos. We strengthen this result in the case when H is bipartite. Indeed, we give an essentially best-possible condition on the degree sequence of a graph G on n vertices that forces G to contain every bipartite graph H on n vertices of bounded degree and of bandwidth o(n). This also implies an Ore-type result. In fact, we prove a much stronger result where the condition on G is relaxed to a certain robust expansion property. Our result also confirms the bipartite case of a conjecture of Balogh, Kostochka and Treglown concerning the degree sequence of a graph which forces a perfect H-packing.