contain ↗ reference
7689 papers tagged with this keyword
Comparing skew Schur functions: a quasisymmetric perspective
Published in J. Combin., 5 (1) (2014) 51-85
• View Publication
• BIB
Reiner, Shaw and van Willigenburg showed that if two skew Schur functions s_A and s_B are equal, then the skew shapes A and B must have the same "row overlap partitions." Here we show that these row overlap equalities are also implied by a much weaker condition than skew Schur equality: that s_A and s_B have the same support when expanded in the fundamental quasisymmetric basis F. Surprisingly, there is significant evidence supporting a conjecture that the converse is also true.
In fact, we work in terms of inequalities, showing that if the F-support of s_A contains that of s_B, then the row overlap partitions of A are dominated by those of B, and again conjecture that the converse also holds. Our evidence in favor of these conjectures includes their consistency with a complete determination of all F-support containment relations for F-multiplicity-free skew Schur functions. We conclude with a consideration of how some other quasisymmetric bases fit into our framework.
Ergodic Theorem involving additive and multiplicative groups of a field and $\{x+y,xy\}$ patterns
Published
• View Publication
• BIB
We establish a "diagonal" ergodic theorem involving the additive and multiplicative groups of a countable field $K$ and, with the help of a new variant of Furstenberg's correspondence principle, prove that any "large" set in $K$ contains many configurations of the form $\{x+y,xy\}$. We also show that for any finite coloring of $K$ there are many $x,y\in K$ such that $x,x+y$ and $xy$ have the same color. Finally, by utilizing a finitistic version of our main ergodic theorem, we obtain combinatorial results pertaining to finite fields. In particular we obtain an alternative proof for a result obtained by Cilleruelo [11], showing that for any finite field $F$ and any subsets $E_1,E_2\subset F$ with $|E_1||E_2|>6|F|$, there exist $u,v\in F$ such that $u+v\in E_1$ and $uv\in E_2$.
Erdős - Szekeres Theorem for Lines
According to the Erdős-Szekeres theorem, for every $n$, a sufficiently large set of points in general position in the plane contains $n$ in convex position. In this note we investigate the line version of this result, that is, we want to find $n$ lines in convex position in a sufficiently large set of lines that are in general position. We prove almost matching upper and lower bounds for the minimum size of the set of lines in general position that always contains $n$ in convex position. This is quite unexpected, since in the case of points, the best known bounds are very far from each other. We also establish the dual versions of many variants and generalizations of the Erd\H os-Szekeres theorem.
Uniform Random Planar Graphs with Degree Constraints
Random planar graphs have been the subject of much recent work. Many basic properties of the standard uniform random planar graph P_{n}, by which we mean a graph chosen uniformly at random from the set of all planar graphs with vertex set {1,2,...,n}, are now known, and variations on this standard random graph are also attracting interest.
Prominent among the work on P_{n} have been asymptotic results for the probability that P_{n} will be connected or contain given components/subgraphs. Such progress has been achieved through a combination of counting arguments and a generating function approach.
More recently, attention has turned to P_{n,m}, the graph taken uniformly at random from the set of all planar graphs on {1,2,...,n} with exactly m(n) edges (this can be thought of as a uniform random planar graph with a constraint on the average degree). The case when m(n) = qn for fixed q in (1,3) has been investigated, and results obtained for the events that P_{n,qn} will be connected and that P_{n,qn} will contain given subgraphs.
In Part I of this thesis, we use elementary counting arguments to extend the current knowledge of P_{n,m}. We investigate the probability that P_{n,m} will contain given components, the probability that P_{n,m} will contain given subgraphs, and the probability that P_{n,m} will be connected, all for general m(n), and show that there is different behaviour depending on which `region' the ratio m(n)/n falls into. In Part II, we investigate the same three topics for a uniform random planar graph with constraints on the maximum and minimum degrees.
Lower bounds on geometric Ramsey functions
We continue a sequence of recent works studying Ramsey functions for semialgebraic predicates in $\mathbb{R}^d$. A $k$-ary semialgebraic predicate $Φ(x_1,\ldots,x_k)$ on $\mathbb{R}^d$ is a Boolean combination of polynomial equations and inequalities in the $kd$ coordinates of $k$ points $x_1,\ldots,x_k\in\mathbb{R}^d$. A sequence $P=(p_1,\ldots,p_n)$ of points in $\mathbb{R}^d$ is called $Φ$-homogeneous if either $Φ(p_{i_1}, \ldots,p_{i_k})$ holds for all choices $1\le i_1 < \cdots < i_k\le n$, or it holds for no such choice. The Ramsey function $R_Φ(n)$ is the smallest $N$ such that every point sequence of length $N$ contains a $Φ$-homogeneous subsequence of length $n$.
Conlon, Fox, Pach, Sudakov, and Suk constructed the first examples of semialgebraic predicates with the Ramsey function bounded from below by a tower function of arbitrary height: for every $k\ge 4$, they exhibit a $k$-ary $Φ$ in dimension $2^{k-4}$ with $R_Φ$ bounded below by a tower of height $k-1$. We reduce the dimension in their construction, obtaining a $k$-ary semialgebraic predicate $Φ$ on $\mathbb{R}^{k-3}$ with $R_Φ$ bounded below by a tower of height $k-1$.
We also provide a natural geometric Ramsey-type theorem with a large Ramsey function. We call a point sequence $P$ in $\mathbb{R}^d$ order-type homogeneous if all $(d+1)$-tuples in $P$ have the same orientation. Every sufficiently long point sequence in general position in $\mathbb{R}^d$ contains an order-type homogeneous subsequence of length $n$, and the corresponding Ramsey function has recently been studied in several papers. Together with a recent work of Bárány, Matoušek, and Pór, our results imply a tower function of $Ω(n)$ of height $d$ as a lower bound, matching an upper bound by Suk up to the constant in front of $n$.
Coloring directed cycles
Sopena in his survey [E. Sopena, The oriented chromatic number of graphs: A short survey, preprint 2013] writes, without any proof, that an oriented cycle $\vec C$ can be colored with three colors if and only if $λ(\vec C)=0$, where $λ(\vec C)$ is the number of forward arcs minus the number of backward arcs in $\vec C$. This is not true. In this paper we show that $\vec C$ can be colored with three colors if and only if $λ(\vec C)=0(\bmod~3)$ or $\vec C$ does not contain three consecutive arcs going in the same direction.
$Q$-polynomial distance-regular graphs and a double affine Hecke algebra of rank one
Published in Linear Algebra Appl. 439 (2013), no. 10, 3184--3240
• View Publication
• BIB
We study a relationship between $Q$-polynomial distance-regular graphs and the double affine Hecke algebra of type $(C^{\vee}_1,C_1)$. Let $Γ$ denote a $Q$-polynomial distance-regular graph with vertex set $X$. We assume that $Γ$ has $q$-Racah type and contains a Delsarte clique $C$. Fix a vertex $x \in C$. We partition $X$ according to the path-length distance to both $x$ and $C$. This is an equitable partition. For each cell in this partition, consider the corresponding characteristic vector. These characteristic vectors form a basis for a $\mathbb{C}$-vector space ${\bf W}$.
The universal double affine Hecke algebra of type $(C^{\vee}_1,C_1)$ is the $\mathbb{C}$-algebra $\hat{H}_q$ defined by generators $\{t^{\pm1}_n\}^3_{n=0}$ and relations (i) $t_nt_n^{-1}=t_n^{-1}t_n=1$; (ii) $t_n+t_n^{-1}$ is central; (iii) $t_0t_1t_2t_3 = q^{-1/2}$. In this paper, we display an $\hat{H}_q$-module structure for ${\bf W}$. For this module and up to affine transformation, (i) $t_0t_1+(t_0t_1)^{-1}$ acts as the adjacency matrix of $Γ$; (ii) $t_3t_0+(t_3t_0)^{-1}$ acts as the dual adjacency matrix of $Γ$ with respect to $C$; (iii) $t_1t_2+(t_1t_2)^{-1}$ acts as the dual adjacency matrix of $Γ$ with respect to $x$. To obtain our results we use the theory of Leonard systems.
Smoothed analysis on connected graphs
Published
• View Publication
• BIB
The main paradigm of smoothed analysis on graphs suggests that for any large graph $G$ in a certain class of graphs, perturbing slightly the edges of $G$ at random (usually adding few random edges to $G$) typically results in a graph having much "nicer" properties. In this work we study smoothed analysis on trees or, equivalently, on connected graphs. Given an $n$-vertex connected graph $G$, form a random supergraph $G^*$ of $G$ by turning every pair of vertices of $G$ into an edge with probability $\fracε{n}$, where $ε$ is a small positive constant. This perturbation model has been studied previously in several contexts, including smoothed analysis, small world networks, and combinatorics.
Connected graphs can be bad expanders, can have very large diameter, and possibly contain no long paths. In contrast, we show that if $G$ is an $n$-vertex connected graph then typically $G^*$ has edge expansion $Ω(\frac{1}{\log n})$, diameter $O(\log n)$, vertex expansion $Ω(\frac{1}{\log n})$, and contains a path of length $Ω(n)$, where for the last two properties we additionally assume that $G$ has bounded maximum degree. Moreover, we show that if $G$ has bounded degeneracy, then typically the mixing time of the lazy random walk on $G^*$ is $O(\log^2 n)$. All these results are asymptotically tight.
An arithmetic transference proof of a relative Szemerédi theorem
Published in Math. Proc. Camb. Phil. Soc. 156 (2014) 255-261
• View Publication
• BIB
Recently Conlon, Fox, and the author gave a new proof of a relative Szemerédi theorem, which was the main novel ingredient in the proof of the celebrated Green-Tao theorem that the primes contain arbitrarily long arithmetic progressions. Roughly speaking, a relative Szemerédi theorem says that if S is a set of integers satisfying certain conditions, and A is a subset of S with positive relative density, then A contains long arithmetic progressions, and our recent results show that S only needs to satisfy a so-called linear forms condition.
This note contains an alternative proof of the new relative Szemerédi theorem, where we directly transfer Szemerédi's theorem, instead of going through the hypergraph removal lemma. This approach provides a somewhat more direct route to establishing the result, and it gives better quantitative bounds.
The proof has three main ingredients: (1) a transference principle/dense model theorem of Green-Tao and Tao-Ziegler (with simplified proofs given later by Gowers, and independently, Reingold-Trevisan-Tulsiani-Vadhan) applied with a discrepancy/cut-type norm (instead of a Gowers uniformity norm as it was applied in earlier works), (2) a counting lemma established by Conlon, Fox, and the author, and (3) Szemerédi's theorem as a black box.
A short proof of the multidimensional Szemerédi theorem in the primes
Published in Amer. J. Math. 137 (2015), 1139-1145
• View Publication
• BIB
Tao conjectured that every dense subset of $\mathcal{P}^d$, the $d$-tuples of primes, contains constellations of any given shape. This was very recently proved by Cook, Magyar, and Titichetrakun and independently by Tao and Ziegler. Here we give a simple proof using the Green-Tao theorem on linear equations in primes and the Furstenberg-Katznelson multidimensional Szemerédi theorem.
An extension of the Hajnal-Szemeredi theorem to directed graphs
Published
• View Publication
• BIB
Hajnal and Szemeredi proved that every graph G with |G|=ks and minimum degree at least k(s-1) contains k vertex disjoint s-cliques; moreover this degree bound is optimal. We extend their theorem to directed graphs by showing that every directed graph D with |D|=ks and minimum (total) degree at least 2k(s-1)-1 contains k vertex disjoint transitive tournaments on s vertices. Our result implies the Hajnal-Szemeredi Theorem, and the degree bound is optimal. We also make some conjectures regarding even more general results for multigraphs and partitioning into other tournaments. One of these conjectures is supported by an asymptotic result.
Estimating the number of disjoint edges in simple topological graphs via cylindrical drawings
Published
• View Publication
• BIB
A topological graph drawn on a cylinder whose base is horizontal is \emph{angularly monotone} if every vertical line intersects every edge at most once. Let $c(n)$ denote the maximum number $c$ such that every simple angularly monotone drawing of a complete graph on $n$ vertices contains at least $c$ pairwise disjoint edges. We show that for every simple complete topological graph $G$ there exists $Δ$, $0<Δ<n$, such that $G$ contains at least $\max \{\frac nΔ, c(Δ)\}$ pairwise disjoint edges. By combining our result with a result of Tóth we obtain an alternative proof for the best known lower bound of $Ω(n^\frac 13)$ on the maximum number of pairwise disjoint edges in a simple complete topological graph proved by Suk. Our proof is based on a result of Ruiz-Vargas.
The random graph intuition for the tournament game
Published in Combinator. Probab. Comp. 25 (2016) 76-88
• View Publication
• BIB
In the tournament game two players, called Maker and Breaker, alternately take turns in claiming an unclaimed edge of the complete graph on n vertices and selecting one of the two possible orientations. Before the game starts, Breaker fixes an arbitrary tournament T_k on k vertices. Maker wins if, at the end of the game, her digraph contains a copy of T_k; otherwise Breaker wins. In our main result, we show that Maker has a winning strategy for k = (2-o(1))log_2 n, improving the constant factor in previous results of Beck and the second author. This is asymptotically tight since it is known that for k = (2-o(1))log_2 n Breaker can prevent that the underlying graph of Maker's graph contains a k-clique. Moreover the precise value of our lower bound differs from the upper bound only by an additive constant of 12.
We also discuss the question whether the random graph intuition, which suggests that the threshold for k is asymptotically the same for the game played by two "clever" players and the game played by two "random" players, is supported by the tournament game: It will turn out that, while a straightforward application of this intuition fails, a more subtle version of it is still valid.
Finally, we consider the orientation-game version of the tournament game, where Maker wins the game if the final digraph -- containing also the edges directed by Breaker -- possesses a copy of T_k. We prove that in that game Breaker has a winning strategy for k = (4+o(1))log_2 n.
The Pieri rule for dual immaculate quasi-symmetric functions
Published in Annals of Combinatorics, Volume 20, Issue 2, pp 283-300, 2016
• View Publication
• BIB
The immaculate basis of the non-commutative symmetric functions was recently introduced by the first and third author to lift certain structures in the symmetric functions to the dual Hopf algebras of the non-commutative and quasi-symmetric functions. It was shown that immaculate basis satisfies a positive, multiplicity free right Pieri rule. It was conjectured that the left Pieri rule may contain signs but that it would be multiplicity free. Similarly, it was also conjectured that the dual quasi-symmetric basis would also satisfy a signed multiplicity free Pieri rule. We prove these two conjectures here.
Majority Dynamics and the Retention of Information
Published in Israel Journal of Mathematics, 2015, Volume 206, Issue 1, pp 483-507
• View Publication
• BIB
We consider a group of agents connected by a social network who participate in majority dynamics: each agent starts with an opinion in {-1,+1} and repeatedly updates it to match the opinion of the majority of its neighbors.
We assume that one of {-1,+1} is the "correct" opinion S, and consider a setting in which the initial opinions are independent conditioned on S, and biased towards it. They hence contain enough information to reconstruct S with high probability. We ask whether it is still possible to reconstruct S from the agents' opinions after many rounds of updates.
While this is not the case in general, we show that indeed, for a large family of bounded degree graphs, information on S is retained by the process of majority dynamics.
Our proof technique yields novel combinatorial results on majority dynamics on both finite and infinite graphs, with applications to zero temperature Ising models.
Minimum vertex degree threshold for loose Hamilton cycles in 3-uniform hypergraphs
Published
• View Publication
• BIB
We show that for sufficiently large $n$, every 3-uniform hypergraph on $n$ vertices with minimum vertex degree at least $\binom{n-1}2 - \binom{\lfloor\frac34 n\rfloor}2 + c$, where $c=2$ if $n\in 4\mathbb{N}$ and $c=1$ if $n\in 2\mathbb{N}\setminus 4\mathbb{N}$, contains a loose Hamilton cycle. This degree condition is best possible and improves on the work of Buß, Hàn and Schacht who proved the corresponding asymptotical result.
Boolean algebras and Lubell functions
Published
• View Publication
• BIB
Let $2^{[n]}$ denote the power set of $[n]:=\{1,2,..., n\}$. A collection $\B\subset 2^{[n]}$ forms a $d$-dimensional {\em Boolean algebra} if there exist pairwise disjoint sets $X_0, X_1,..., X_d \subseteq [n]$, all non-empty with perhaps the exception of $X_0$, so that $\B={X_0\cup \bigcup_{i\in I} X_i\colon I\subseteq [d]}$. Let $b(n,d)$ be the maximum cardinality of a family $\F\subset 2^X$ that does not contain a $d$-dimensional Boolean algebra. Gunderson, Rödl, and Sidorenko proved that $b(n,d) \leq c_d n^{-1/2^d} \cdot 2^n$ where $c_d= 10^d 2^{-2^{1-d}}d^{d-2^{-d}}$.
In this paper, we use the Lubell function as a new measurement for large families instead of cardinality. The Lubell value of a family of sets $\F$ with $\F\subseteq \tsupn$ is defined by $h_n(\F):=\sum_{F\in \F}1/{n\choose |F|}$. We prove the following Turán type theorem. If $\F\subseteq 2^{[n]}$ contains no $d$-dimensional Boolean algebra, then $h_n(\F)\leq 2(n+1)^{1-2^{1-d}}$ for sufficiently large $n$. This results implies $b(n,d) \leq C n^{-1/2^d} \cdot 2^n$, where $C$ is an absolute constant independent of $n$ and $d$. As a consequence, we improve several Ramsey-type bounds on Boolean algebras. We also prove a canonical Ramsey theorem for Boolean algebras.
On the codegree density of complete 3-graphs and related problems
Published
• View Publication
• BIB
Given a family of 3-graphs F its codegree threshold coex(n, F) is the largest number d=d(n) such that there exists an n-vertex 3-graph in which every pair of vertices is contained in at least d 3-edges but which contains no member of F as a subgraph. The codegree density gamma(F) is the limit of coex(n,F)/(n-2) as n tends to infinity.
In this paper we generalise a construction of Czygrinow and Nagle to bound below the codegree density of complete 3-graphs: for all integers s>3, the codegree density of the complete 3-graph on s vertices K_s satisfies gamma(K_s)\geq 1-1/(s-2).
We also provide constructions based on Steiner triple systems which show that if this lower bound is sharp, then we do not have stability in general. In addition we prove bounds on the codegree density for two other infinite families of 3-graphs.
Toroidal graphs containing neither $K_5^{-}$ nor 6-cycles are 4-choosable
Published
• View Publication
• BIB
The choosability $χ_\ell(G)$ of a graph $G$ is the minimum $k$ such that having $k$ colors available at each vertex guarantees a proper coloring. Given a toroidal graph $G$, it is known that $χ_\ell(G)\leq 7$, and $χ_\ell(G)=7$ if and only if $G$ contains $K_7$. Cai, Wang, and Zhu proved that a toroidal graph $G$ without 7-cycles is 6-choosable, and $χ_\ell(G)=6$ if and only if $G$ contains $K_6$. They also prove that a toroidal graph $G$ without 6-cycles is 5-choosable, and conjecture that $χ_\ell(G)=5$ if and only if $G$ contains $K_5$. We disprove this conjecture by constructing an infinite family of non-4-colorable toroidal graphs with neither $K_5$ nor cycles of length at least 6; moreover, this family of graphs is embeddable on every surface except the plane and the projective plane. Instead, we prove the following slightly weaker statement suggested by Zhu: toroidal graphs containing neither $K^-_5$ (a $K_5$ missing one edge) nor 6-cycles are 4-choosable. This is sharp in the sense that forbidding only one of the two structures does not ensure that the graph is 4-choosable.
Making Octants Colorful and Related Covering Decomposition Problems
Published
• View Publication
• BIB
We give new positive results on the long-standing open problem of geometric covering decomposition for homothetic polygons. In particular, we prove that for any positive integer k, every finite set of points in R^3 can be colored with k colors so that every translate of the negative octant containing at least k^6 points contains at least one of each color. The best previously known bound was doubly exponential in k. This yields, among other corollaries, the first polynomial bound for the decomposability of multiple coverings by homothetic triangles. We also investigate related decomposition problems involving intervals appearing on a line. We prove that no algorithm can dynamically maintain a decomposition of a multiple covering by intervals under insertion of new intervals, even in a semi-online model, in which some coloring decisions can be delayed. This implies that a wide range of sweeping plane algorithms cannot guarantee any bound even for special cases of the octant problem.