contain ↗ reference
7689 papers tagged with this keyword
On the Multi-coloured Ramsey Numbers of Cycles
For a graph $L$ and an integer $k\geq 2$, $R_k(L)$ denotes the smallest integer $N$ for which for any edge-colouring of the complete graph $K_N$ by $k$ colours there exists a colour $i$ for which the corresponding colour class contains $L$ as a subgraph.
Bondy and Erdős conjectured that for an odd cycle $C_n$ on $n$ vertices, $$R_k(C_n) = 2^{k-1}(n-1)+1 \text{for $n>3$.}$$ They proved the case when $k=2$ and also provided an upper bound $R_k(C_n)\leq (k+2)!n$. Recently, this conjecture has been verified for $k=3$ if $n$ is large. In this note, we prove that for every integer $k\geq 4$, $$R_k(C_n)\leq k2^kn+o(n), \text{as $n\to\infty$.}$$ When $n$ is even, Yongqi, Yuansheng, Feng, and Bingxi gave a construction, showing that $R_k(C_n)\geq (k-1)n-2k+4.$ Here we prove that if $n$ is even, then $$R_k(C_n)\leq kn+o(n), \text{as $n\to\infty$.}$$
On integer radii coin representations of the wheel graph
A {\em flower} is a coin graph representation of the wheel graph. A {\em petal} of the wheel graph is an edge to the center vertex. In this paper we investigate flowers whose coins have integer radii. For an $n$-petaled flower we show there is a unique irreducible polynomial $P_n$ in $n$ variables over the integers $\ints$, the affine variety of which contains the cosines of the internal angles formed by the petals of the flower. We also establish a recursion that these irreducible polynomials satisfy. Using the polynomials $P_n$, we develop a parameterization for all the integer radii of the coins of the 3-petal flower.
Avoiding Abelian powers in binary words with bounded Abelian complexity
Published
• View Publication
• BIB
The notion of Abelian complexity of infinite words was recently used by the three last authors to investigate various Abelian properties of words. In particular, using van der Waerden's theorem, they proved that if a word avoids Abelian $k$-powers for some integer $k$, then its Abelian complexity is unbounded. This suggests the following question: How frequently do Abelian $k$-powers occur in a word having bounded Abelian complexity? In particular, does every uniformly recurrent word having bounded Abelian complexity begin in an Abelian $k$-power? While this is true for various classes of uniformly recurrent words, including for example the class of all Sturmian words, in this paper we show the existence of uniformly recurrent binary words, having bounded Abelian complexity, which admit an infinite number of suffixes which do not begin in an Abelian square. We also show that the shift orbit closure of any infinite binary overlap-free word contains a word which avoids Abelian cubes in the beginning. We also consider the effect of morphisms on Abelian complexity and show that the morphic image of a word having bounded Abelian complexity has bounded Abelian complexity. Finally, we give an open problem on avoidability of Abelian squares in infinite binary words and show that it is equivalent to a well-known open problem of Pirillo-Varricchio and Halbeisen-Hungerbühler.
A note on monotonicity of mixed Ramsey numbers
Published
• View Publication
• BIB
For two graphs, $G$, and $H$, an edge-coloring of a complete graph is $(G,H)$-good if there is no monochromatic subgraph isomorphic to $G$ and no rainbow subgraph isomorphic to $H$ in this coloring. The set of number of colors used by some $(G,H)$-colorings of $K_n$ is called a mixed-Ramsey spectrum. This note addresses a fundamental question of whether the spectrum is an interval. It is shown that the answer is "yes" if $G$ is not a star and $H$ does not contain a pendent edge.
Bandwidth theorem for random graphs
Published
• View Publication
• BIB
A graph $G$ is said to have \textit{bandwidth} at most $b$, if there exists a labeling of the vertices by $1,2,..., n$, so that $|i - j| \leq b$ whenever $\{i,j\}$ is an edge of $G$. Recently, Böttcher, Schacht, and Taraz verified a conjecture of Bollobás and Komlós which says that for every positive $r,Δ,γ$, there exists $β$ such that if $H$ is an $n$-vertex $r$-chromatic graph with maximum degree at most $Δ$ which has bandwidth at most $βn$, then any graph $G$ on $n$ vertices with minimum degree at least $(1 - 1/r + γ)n$ contains a copy of $H$ for large enough $n$. In this paper, we extend this theorem to dense random graphs. For bipartite $H$, this answers an open question of Böttcher, Kohayakawa, and Taraz. It appears that for non-bipartite $H$ the direct extension is not possible, and one needs in addition that some vertices of $H$ have independent neighborhoods. We also obtain an asymptotically tight bound for the maximum number of vertex disjoint copies of a fixed $r$-chromatic graph $H_0$ which one can find in a spanning subgraph of $G(n,p)$ with minimum degree $(1-1/r + γ)np$.
Overlap properties of geometric expanders
Published
• View Publication
• BIB
The {\em overlap number} of a finite $(d+1)$-uniform hypergraph $H$ is defined as the largest constant $c(H)\in (0,1]$ such that no matter how we map the vertices of $H$ into $\R^d$, there is a point covered by at least a $c(H)$-fraction of the simplices induced by the images of its hyperedges. In~\cite{Gro2}, motivated by the search for an analogue of the notion of graph expansion for higher dimensional simplicial complexes, it was asked whether or not there exists a sequence $\{H_n\}_{n=1}^\infty$ of arbitrarily large $(d+1)$-uniform hypergraphs with bounded degree, for which $\inf_{n\ge 1} c(H_n)>0$. Using both random methods and explicit constructions, we answer this question positively by constructing infinite families of $(d+1)$-uniform hypergraphs with bounded degree such that their overlap numbers are bounded from below by a positive constant $c=c(d)$. We also show that, for every $d$, the best value of the constant $c=c(d)$ that can be achieved by such a construction is asymptotically equal to the limit of the overlap numbers of the complete $(d+1)$-uniform hypergraphs with $n$ vertices, as $n\rightarrow\infty$. For the proof of the latter statement, we establish the following geometric partitioning result of independent interest. For any $d$ and any $ε>0$, there exists $K=K(ε,d)\ge d+1$ satisfying the following condition. For any $k\ge K$, for any point $q \in \mathbb{R}^d$ and for any finite Borel measure $μ$ on $\mathbb{R}^d$ with respect to which every hyperplane has measure $0$, there is a partition $\mathbb{R}^d=A_1 \cup \ldots \cup A_{k}$ into $k$ measurable parts of equal measure such that all but at most an $ε$-fraction of the $(d+1)$-tuples $A_{i_1},\ldots,A_{i_{d+1}}$ have the property that either all simplices with one vertex in each $A_{i_j}$ contain $q$ or none of these simplices contain $q$.
Fibonacci numbers and positive braids
The paper contains enumerative combinatorics for positive braids, square free braids, and simple braids, emphasizing connections with classical Fibonacci sequence. The simple subgraph of the Cayley graph of the braid group is analyzed in the final part.
Small Minors in Dense Graphs
Published in European Journal of Combinatorics, 33/6:1226--1245, 2012
• View Publication
• BIB
A fundamental result in structural graph theory states that every graph with large average degree contains a large complete graph as a minor. We prove this result with the extra property that the minor is small with respect to the order of the whole graph. More precisely, we describe functions $f$ and $h$ such that every graph with $n$ vertices and average degree at least $f(t)$ contains a $K_t$-model with at most $h(t)\cdot\log n$ vertices. The logarithmic dependence on $n$ is best possible (for fixed $t$). In general, we prove that $f(t)\leq 2^{t-1}+\eps$. For $t\leq 4$, we determine the least value of $f(t)$; in particular $f(3)=2+\eps$ and $f(4)=4+\eps$. For $t\leq4$, we establish similar results for graphs embedded on surfaces, where the size of the $K_t$-model is bounded (for fixed $t$).
First Passage Properties of the Polya Urn Process
Published in J. Stat. Mech. P07009 (2010)
• View Publication
• BIB
We study first passage statistics of the Polya urn model. In this random process, the urn contains two types of balls. In each step, one ball is drawn randomly from the urn, and subsequently placed back into the urn together with an additional ball of the same type. We derive the probability G_n that the two types of balls are equal in number, for the first time, when there is a total of 2n balls. This first passage probability decays algebraically, G_n ~ n^{-2}, when n is large. We also derive the probability that a tie ever happens. This probability is between zero and one, so that a tie may occur in some realizations but not in others. The likelihood of a tie is appreciable only if the initial difference in the number balls is of the order of the square-root of the total number of balls.
Hardness results on generalized connectivity
Published
• View Publication
• BIB
Let $G$ be a nontrivial connected graph of order $n$ and let $k$ be an integer with $2\leq k\leq n$. For a set $S$ of $k$ vertices of $G$, let $κ(S)$ denote the maximum number $\ell$ of edge-disjoint trees $T_1,T_2,...,T_\ell$ in $G$ such that $V(T_i)\cap V(T_j)=S$ for every pair $i,j$ of distinct integers with $1\leq i,j\leq \ell$. A collection $\{T_1,T_2,...,T_\ell\}$ of trees in $G$ with this property is called an internally disjoint set of trees connecting $S$. Chartrand et al. generalized the concept of connectivity as follows: The $k$-$connectivity$, denoted by $κ_k(G)$, of $G$ is defined by $κ_k(G)=$min$\{κ(S)\}$, where the minimum is taken over all $k$-subsets $S$ of $V(G)$. Thus $κ_2(G)=κ(G)$, where $κ(G)$ is the connectivity of $G$, for which there are polynomial-time algorithms to solve it. This paper mainly focus on the complexity of the generalized connectivity. At first, we obtain that for two fixed positive integers $k_1$ and $k_2$, given a graph $G$ and a $k_1$-subset $S$ of $V(G)$, the problem of deciding whether $G$ contains $k_2$ internally disjoint trees connecting $S$ can be solved by a polynomial-time algorithm. Then, we show that when $k_1$ is a fixed integer of at least 4, but $k_2$ is not a fixed integer, the problem turns out to be NP-complete. On the other hand, when $k_2$ is a fixed integer of at least 2, but $k_1$ is not a fixed integer, we show that the problem also becomes NP-complete. Finally we give some open problems.
An extremal theorem in the hypercube
Published
• View Publication
• BIB
The hypercube Q_n is the graph whose vertex set is {0,1}^n and where two vertices are adjacent if they differ in exactly one coordinate. For any subgraph H of the cube, let ex(Q_n, H) be the maximum number of edges in a subgraph of Q_n which does not contain a copy of H. We find a wide class of subgraphs H, including all previously known examples, for which ex(Q_n, H) = o(e(Q_n)). In particular, our method gives a unified approach to proving that ex(Q_n, C_{2t}) = o(e(Q_n)) for all t >= 4 other than 5.
Hypergraphs do jump
Published
• View Publication
• BIB
We say that $α\in [0,1)$ is a jump for an integer $r\geq 2$ if there exists $c(α)>0$ such that for all $ε>0 $ and all $t\geq 1$ any $r$-graph with $n\geq n_0(α,ε,t)$ vertices and density at least $α+ε$ contains a subgraph on $t$ vertices of density at least $α+c$. The Erd\H os--Stone--Simonovits theorem implies that for $r=2$ every $α\in [0,1)$ is a jump. Erd\H os showed that for all $r\geq 3$, every $α\in [0,r!/r^r)$ is a jump. Moreover he made his famous "jumping constant conjecture" that for all $r\geq 3$, every $α\in [0,1)$ is a jump. Frankl and Rödl disproved this conjecture by giving a sequence of values of non-jumps for all $r\geq 3$. We use Razborov's flag algebra method to show that jumps exist for $r=3$ in the interval $[2/9,1)$. These are the first examples of jumps for any $r\geq 3$ in the interval $[r!/r^r,1)$. To be precise we show that for $r=3$ every $α\in [0.2299,0.2316)$ is a jump. We also give an improved upper bound for the Turán density of $K_4^-=\{123,124,134\}$: $π(K_4^-)\leq 0.2871$. This in turn implies that for $r=3$ every $α\in [0.2871,8/27)$ is a jump.
Enumerating (2+2)-free posets by the number of minimal elements and other statistics
Published
• View Publication
• BIB
An unlabeled poset is said to be (2+2)-free if it does not contain an induced subposet that is isomorphic to 2+2, the union of two disjoint 2-element chains. Let $p_n$ denote the number of (2+2)-free posets of size $n$. In a recent paper, Bousquet-Mélou et al.\cite{BCDK} found, using so called ascent sequences, the generating function for the number of (2+2)-free posets of size $n$: $P(t)=\sum_{n \geq 0} p_n t^n = \sum_{n\geq 0} \prod_{i=1}^{n} (1-(1-t)^i)$. We extend this result in two ways. First, we find the generating function for (2+2)-free posets when four statistics are taken into account, one of which is the number of minimal elements in a poset. Second, we show that if $p_{n,k}$ equals the number of (2+2)-free posets of size $n$ with $k$ minimal elements, then $P(t,z)=\sum_{n,k \geq 0} p_{n,k} t^n z^k = 1+ \sum_{n \geq 0} \frac{zt}{(1-zt)^{n+1}} \prod_{i=1}^n (1-(1-t)^i)$. The second result cannot be derived from the first one by a substitution. On the other hand, $P(t)$ can easily be obtained from $P(t,z)$ thus providing an alternative proof for the enumeration result in \cite{BCDK}. Moreover, we conjecture a simpler form of writing $P(t,z)$. Our enumeration results are extended to certain restricted permutations and to regular linearized chord diagrams through bijections in \cite{BCDK,cdk}. Finally, we define a subset of ascent sequences counted by the Catalan numbers and we discuss its relations with (2+2)- and (3+1)-free posets.
On disjoint crossing families in geometric graphs
Published
• View Publication
• BIB
A geometric graph is a graph drawn in the plane with vertices represented by points and edges as straight-line segments. A geometric graph contains a (k,l)-crossing family if there is a pair of edge subsets E_1,E_2 such that |E_1| = k and |E_2| = l, the edges in E_1 are pairwise crossing, the edges in E_2 are pairwise crossing, and every edges in E_1 is disjoint to every edge in E_2. We conjecture that for any fixed k,l, every n-vertex geometric graph with no (k,l)-crossing family has at most c_{k,l}n edges, where c_{k,l} is a constant that depends only on k and l. In this note, we show that every n-vertex geometric graph with no (k,k)-crossing family has at most c_kn\log n edges, where c_k is a constant that depends only on k, by proving a more general result which relates extremal function of a geometric graph F with extremal function of two completely disjoint copies of F. We also settle the conjecture for geometric graphs with no (2,1)-crossing family. As a direct application, this implies that for any circle graph F on 3 vertices, every n-vertex geometric graph that does not contain a matching whose intersection graph is F has at most O(n) edges.
Some inequalities for the Tutte polynomial
We prove that the Tutte polynomial of a coloopless paving matroid is convex along the portions of the line segments x+y=p lying in the positive quadrant. Every coloopless paving matroids is in the class of matroids which contain two disjoint bases or whose ground set is the union of two bases of M*. For this latter class we give a proof that T_M(a,a) <= max {T_M(2a,0), T_M(0,2a)} for a >= 2. We conjecture that T_M(1,1) <= max {T_M(2,0), T_M(0,2)} for the same class of matroids. We also prove this conjecture for some families of graphs and matroids.
Representations of Finite Unipotent Linear Groups by the Method of Clusters
The general linear group GL(n, K) over a field K contains a particularly prominent subgroup U(n, K), consisting of all the upper triangular unipotent elements. In this paper we are interested in the case when K is the finite field F_q, and our goal is to better understand the representation theory of U(n, F_q). The complete classification of the complex irreducible representations of this group has long been known to be a difficult task. The orbit method of Kirillov, famous for its success when K has characteristic 0, is a natural source of intuition and conjectures, but in our case the relation between coadjoint orbits and complex representations is still a mystery. Here we introduce a natural variant of the orbit method, in which the central role is played by certain clusters of coadjoint orbits. This "method of clusters" leads to the construction of a subring in the representation ring of U(n, F_q) that is rich in structure but pleasantly comprehensible. The cluster method also has many of the major features one would expect from the philosophy of orbit method.
Single Polygon Counting for $m$ Fixed Nodes in Cayley Tree: Two Extremal Cases
We denote a polygon as a connected component in Cayley tree of order 2 containing certain number of fix vertices. We found an exact formula for a polygon counting problem for two cases, in which, for the first case the polygon contain a full connected component of a Cayley tree and for the second case the polygon contain two fixed vertices. From these formulas, which is in the form of finite linear combination of Catalan numbers, one can find the asymptotic estimation for a counting problem.
On Permutations Avoiding Short Progressions
Published
• View Publication
• BIB
We improve the lower bound on the number of permutations of {1,2,...,n} in which no 3-term arithmetic progression occurs as a subsequence, and derive lower bounds on the upper and lower densities of subsets of the positive integers that can be permuted to avoid 3-term and 4-term APs. We also show that any permutation of the positive integers must contain a 3-term AP with odd common difference as a subsequence, and construct a permutation of the positive integers that does not contain any 4-term AP with odd common difference.
Approximate Euclidean Ramsey theorems
According to a classical result of Szemerédi, every dense subset of $1,2,...,N$ contains an arbitrary long arithmetic progression, if $N$ is large enough. Its analogue in higher dimensions due to Fürstenberg and Katznelson says that every dense subset of $\{1,2,...,N\}^d$ contains an arbitrary large grid, if $N$ is large enough. Here we generalize these results for separated point sets on the line and respectively in the Euclidean space: (i) every dense separated set of points in some interval $[0,L]$ on the line contains an arbitrary long approximate arithmetic progression, if $L$ is large enough. (ii) every dense separated set of points in the $d$-dimensional cube $[0,L]^d$ in $\RR^d$ contains an arbitrary large approximate grid, if $L$ is large enough. A further generalization for any finite pattern in $\RR^d$ is also established. The separation condition is shown to be necessary for such results to hold. In the end we show that every sufficiently large point set in $\RR^d$ contains an arbitrarily large subset of almost collinear points. No separation condition is needed in this case.
Cellular resolutions of cointerval ideals
Published
• View Publication
• BIB
Minimal cellular resolutions of the edge ideals of cointerval hypergraphs are constructed. This class of d-uniform hypergraphs coincides with the complements of interval graphs (for the case d=2), and strictly contains the class of `strongly stable' hypergraphs corresponding to pure shifted simplicial complexes. The polyhedral complexes supporting the resolutions are described as certain spaces of directed graph homomorphisms, and are realized as subcomplexes of mixed subdivisions of the Minkowski sums of simplices. Resolutions of more general hypergraphs are obtained by considering decompositions into cointerval hypergraphs.