contain ↗ reference
7694 papers tagged with this keyword
Embedding Hypertrees into Steiner Triple Systems
Published
• View Publication
• BIB
In this paper we are interested in the following question: Given an arbitrary Steiner triple system $S$ on $m$ vertices and any 3-uniform hypertree $T$ on $n$ vertices, is it necessary that $S$ contains $T$ as a subgraph provided $m \geq (1+μ)n$? We show the answer is positive for a class of hypertrees and conjecture that the answer is always positive.
Fundamental domains for rhombic lattices with dihedral symmetry of order 8
Published in Electron. J. Combin. 26 (2019) Paper 3.5
• View Publication
• BIB
We show by construction that every rhombic lattice $Γ$ in $\mathbb{R}^{2}$ has a fundamental domain whose symmetry group contains the point group of $Γ$ as a subgroup of index $2$. This solves the last open case of a question raised in [3] on fundamental domains for planar lattices whose symmetry groups properly contain the point groups of the lattices.
On bounds on bend number of split and cocomparability graphs
Published
• View Publication
• BIB
A path is a simple, piecewise linear curve made up of alternating horizontal and vertical line segments in the plane. A $k$-bend path is a path made up of at most $k + 1$ line segments. A $B_k$-VPG representation of a graph is a collection of $k$-bend paths such that each path in the collection represents a vertex of the graph and two such paths intersect if and only if the vertices they represent are adjacent in the graph. The graphs that have a $B_k$-VPG representation are called $B_k$-VPG graphs. It is known that the poset dimension $dim(G)$ of a cocomparability graph $G$ is greater than or equal to its bend number $bend(G)$. Cohen et al. ({\textsc{order 2015}}) asked for examples of cocomparability graphs with low bend number and high poset dimension. We answer this question by proving that for each $m, t \in \mathbb{N}$, there exists a cocomparability graph $G_{t,m}$ with $t < bend(G_{t,m}) \leq 4t+29$ and $dim(G_{t,m})-bend(G_{t,m})>m$. Techniques used to prove the above result, allows us to partially address the open question posed by Chaplick et al. ({\textsc{wg 2012}}) who asked whether $B_k$-VPG-chordal $\subsetneq$ $B_{k+1}$-VPG-chordal for all $k \in \mathbb{N}$. We address this by proving that there are infinitely many $m \in \mathbb{N}$ such that $B_m$-VPG-split $\subsetneq$ $B_{m+1}$-VPG-split which provides infinitely many positive examples. We use the same techniques to prove that, for all $t \in \mathbb{N}$, $B_t$-VPG-$Forb(C_{\geq 5})$ $\subsetneq$ $B_{4t+29}$-VPG-$Forb(C_{\geq 5})$, where $Forb(C_{\geq 5})$ denotes the family of graphs that does not contain induced cycles of length greater than 4. Furthermore, we show that for all $t \in \mathbb{N}$, $PB_t$-VPG-split $\subsetneq PB_{36t+80}$-VPG-split, where $PB_t$-VPG denotes the class of graphs with proper bend number at most $t$.
Rooted complete minors in line graphs with a Kempe coloring
Published in Graphs and Combinatorics (2019) 35:551-557
• View Publication
• BIB
It has been conjectured that if a finite graph has a vertex coloring such that the union of any two color classes induces a connected graph, then for every set $T$ of vertices containing exactly one member from each color class there exists a complete minor such that $T$ contains exactly one member from each branching set. Here we prove the statement for line graphs.
A local approach to the Erdős-Sós conjecture
A famous conjecture of Erdős and Sós states that every graph with average degree more than $k - 1$ contains all trees with $k$ edges as subgraphs. We prove that the Erdős-Sós conjecture holds approximately, if the size of the embedded tree is linear in the size of the graph, and the maximum degree of the tree is sublinear.
Generalized Hypergraph Coloring
Published
• View Publication
• BIB
A smooth hypergraph property $\mathcal{P}$ is a class of hypergraphs that is hereditary and non-trivial, i.e., closed under induced subhypergraphs and it contains a non-empty hypergraph but not all hypergraphs. In this paper we examine $\mathcal{P}$-colorings of hypergraphs with smooth hypergraph properties $\mathcal{P}$. A $\mathcal{P}$-coloring of a hypergraph $H$ with color set $C$ is a function $\varphi:V(H) \to C$ such that $H[\varphi^{-1}(c)]$ belongs to $\mathcal{P}$ for all $c \in C$. Let $L: V(H) \to 2^C$ be a so called list-assignment of the hypergraph $H$. Then, a $(\mathcal{P},L)$-coloring of $H$ is a $\mathcal{P}$-coloring $\varphi$ of $H$ such that $\varphi(v) \in L(v)$ for all $v \in V(H)$. The aim of this paper is a characterization of $(\mathcal{P},L)$-critical hypergraphs. Those are hypergraphs $H$ such $H-v$ is $(\mathcal{P},L)$-colorable for all $v \in V(H)$ but $H$ itself is not. Our main theorem is a Gallai-type result for critical hypergraphs, which implies a Brooks-type result for $(\mathcal{P},L)$-colorable hypergraphs. In the last section, we prove a Gallai bound for the degree sum of $(\mathcal{P},L)$-critical locally linear hypergraphs.
A variation of a theorem by Pósa
A graph $G$ is $\ell$-hamiltonian if for any linear forest $F$ of $G$ with $\ell$ edges, $F$ can be extended to a hamiltonian cycle of $G$. We give a sharp upper bound for the maximum number of cliques of a fixed size in a non-$\ell$-hamiltonian graph. Furthermore, we prove stability for the bound: if a non-$\ell$-hamiltonian graph contains almost the maximum number of cliques, then it must be a subgraph of one of two examples.
Erdős-Szekeres On-Line
In 1935, Erdős and Szekeres proved that $(m-1)(k-1)+1$ is the minimum number of points in the plane which definitely contain an increasing subset of $m$ points or a decreasing subset of $k$ points (as ordered by their $x$-coordinates). We consider their result from an on-line game perspective: Let points be determined one by one by player A first determining the $x$-coordinate and then player B determining the $y$-coordinate. What is the minimum number of points such that player A can force an increasing subset of $m$ points or a decreasing subset of $k$ points? We introduce this as the Erdős-Szekeres on-line number and denote it by $\text{ESO}(m,k)$. We observe that $\text{ESO}(m,k) < (m-1)(k-1)+1$ for $m,k \ge 3$, provide a general lower bound for $\text{ESO}(m,k)$, and determine $\text{ESO}(m,3)$ up to an additive constant.
Constructions of Augmented Orthogonal Arrays
Published
• View Publication
• BIB
Augmented orthogonal arrays (AOAs) were introduced by Stinson, who showed the equivalence between ideal ramp schemes and augmented orthogonal arrays (Discrete Math. 341 (2018), 299-307). In this paper, we show that there is an AOA$(s,t,k,v)$ if and only if there is an OA$(t,k,v)$ which can be partitioned into $v^{t-s}$ subarrays, each being an OA$(s,k,v)$, and that there is a linear AOA$(s,t,k,q)$ if and only if there is a linear maximum distance separable (MDS) code of length $k$ and dimension $t$ over $\mathbb{F}_q$ which contains a linear MDS subcode of length $k$ and dimension $s$ over $\mathbb{F}_q$. Some constructions for AOAs and some new infinite classes of AOAs are also given.
Monochromatic balanced components, matchings, and paths in multicolored complete bipartite graphs
Published
• View Publication
• BIB
It is well-known that in every $r$-coloring of the edges of the complete bipartite graph $K_{n,n}$ there is a monochromatic connected component with at least ${2n\over r}$ vertices. It would be interesting to know whether we can additionally require that this large component be balanced; that is, is it true that in every $r$-coloring of $K_{n,n}$ there is a monochromatic component that meets both sides in at least $n/r$ vertices?
Over forty years ago, Gyárfás and Lehel and independently Faudree and Schelp proved that any $2$-colored $K_{n,n}$ contains a monochromatic $P_n$. Very recently, Bucić, Letzter and Sudakov proved that every $3$-colored $K_{n,n}$ contains a monochromatic connected matching (a matching whose edges are in the same connected component) of size $\lceil n/3 \rceil$. So the answer is strongly "yes" for $1\leq r\leq 3$.
We provide a short proof of (a non-symmetric version of) the original question for $1\leq r\leq 3$; that is, every $r$-coloring of $K_{m,n}$ has a monochromatic component that meets each side in a $1/r$ proportion of its part size. Then, somewhat surprisingly, we show that the answer to the question is "no" for all $r\ge 4$. For instance, there are $4$-colorings of $K_{n,n}$ where the largest balanced monochromatic component has $n/5$ vertices in both partite classes (instead of $n/4$). Our constructions are based on lower bounds for the $r$-color bipartite Ramsey number of $P_4$, denoted $f(r)$, which is the smallest integer $\ell$ such that in every $r$-coloring of the edges of $K_{\ell,\ell}$ there is a monochromatic path on four vertices. Furthermore, combined with earlier results, we determine $f(r)$ for every value of $r$.
A Tight Extremal Bound on the Lovász Cactus Number in Planar Graphs
Published
• View Publication
• BIB
A cactus graph is a graph in which any two cycles are edge-disjoint. We present a constructive proof of the fact that any plane graph $G$ contains a cactus subgraph $C$ where $C$ contains at least a $\frac{1}{6}$ fraction of the triangular faces of $G$. We also show that this ratio cannot be improved by showing a tight lower bound. Together with an algorithm for linear matroid parity, our bound implies two approximation algorithms for computing "dense planar structures" inside any graph: (i) A $\frac{1}{6}$ approximation algorithm for, given any graph $G$, finding a planar subgraph with a maximum number of triangular faces; this improves upon the previous $\frac{1}{11}$-approximation; (ii) An alternate (and arguably more illustrative) proof of the $\frac{4}{9}$ approximation algorithm for finding a planar subgraph with a maximum number of edges.
Our bound is obtained by analyzing a natural local search strategy and heavily exploiting the exchange arguments. Therefore, this suggests the power of local search in handling problems of this kind.
Counting graded lattices of rank three that have few coatoms
Published
• View Publication
• BIB
We consider the problem of computing $R(c,a)$, the number of unlabeled graded lattices of rank $3$ that contain $c$ coatoms and $a$ atoms. More specifically we do this when $c$ is fairly small, but $a$ may be large. For this task, we describe a computational method that combines constructive listing of basic cases and tools from enumerative combinatorics. With this method we compute the exact values of $R(c,a)$ for $c\le 9$ and $a\le 1000$.
We also show that, for any fixed $c$, there exists a quasipolynomial in $a$ that matches with $R(c,a)$ for all $a$ above a small value. We explicitly determine these quasipolynomials for $c \le 7$, thus finding closed form expressions of $R(c,a)$ for $c \le 7$.
Lecture hall tableaux
Published
• View Publication
• BIB
We introduce lecture hall tableaux, which are fillings of a skew Young diagram satisfying certain conditions. Lecture hall tableaux generalize both lecture hall partitions and anti-lecture hall compositions, and also contain reverse semistandard Young tableaux as a limit case. We show that the coefficients in the Schur expansion of multivariate little $q$-Jacobi polynomials are generating functions for lecture hall tableaux. Using a Selberg-type integral we show that moments of multivariate little $q$-Jacobi polynomials, which are equal to generating functions for lecture hall tableaux of a Young diagram, have a product formula. We also explore various combinatorial properties of lecture hall tableaux.
Multi-dimensional $q$-summations and multi-colored partitions
Published
• View Publication
• BIB
Motivated by Alladi's recent multi-dimensional generalization of Sylvester's classical identity, we provide a simple combinatorial proof of an overpartition analogue, which contains extra parameters tracking the numbers of overlined parts of different colors. This new identity encompasses a handful of classical results as special cases, such as Cauchy's identity, and the product expressions of three classical theta functions studied by Gauss, Jacobi and Ramanujan.
On large primitive subsets of $\{1,2,\ldots,2n\}$
A subset of $\{1,2,\ldots,2n\}$ is said to be primitive if it does not contain any pair of elements $(u,v)$ such that $u$ is a divisor of $v$. Let $D(n)$ denote the number of primitive subsets of $\{1,2,\ldots,2n\}$ with $n$ elements. Numerical evidence suggests that $D(n)$ is roughly $(1.32)^n$. We show that for sufficiently large $n$, $$(1.303...)^n < D(n) < (1.408...)^n$$
On random shifted standard Young tableaux and 132-avoiding sorting networks
Published
• View Publication
• BIB
We study shifted standard Young tableaux (SYT). The limiting surface of uniformly random shifted SYT of staircase shape is determined, with the integers in the SYT as heights. This implies via properties of the Edelman-Greene bijection results about random 132-avoiding sorting networks, including limit shapes for trajectories and intermediate permutations. Moreover, the expected number of adjacencies in SYT is considered. It is shown that on average each row and each column of a shifted SYT of staircase shape contains precisely one adjacency.
A degree sum condition on the order, the connectivity and the independence number for Hamiltonicity
Published
• View Publication
• BIB
In [Graphs Combin.~24 (2008) 469--483.], the third author and the fifth author conjectured that if $G$ is a $k$-connected graph such that $σ_{k+1}(G) \ge |V(G)|+κ(G)+(k-2)(α(G)-1)$, then $G$ contains a Hamiltonian cycle, where $σ_{k+1}(G)$, $κ(G)$ and $α(G)$ are the minimum degree sum of $k+1$ independent vertices, the connectivity and the independence number of $G$, respectively. In this paper, we settle this conjecture. This is an improvement of the result obtained by Li: If $G$ is a $k$-connected graph such that $σ_{k+1}(G) \ge |V(G)|+(k-1)(α(G)-1)$, then $G$ is Hamiltonian. The degree sum condition is best possible.
A Tutte polynomial for maps II: the non-orientable case
Published
• View Publication
• BIB
We construct a new polynomial invariant of maps (graphs embedded in a compact surface, orientable or non-orientable), which contains as specializations the Krushkal polynomial, the Bollobás--Riordan polynomial, the Las Vergnas polynomial, and their extensions to non-orientable surfaces, and hence in particular the Tutte polynomial. Other evaluations include the number of local flows and local tensions taking non-identity values in a given finite group.
On the number of containments in $P$-free families
Published
• View Publication
• BIB
A subfamily $\{F_1,F_2,\dots,F_{|P|}\}\subseteq \mathcal F$ is a copy of the poset $P$ if there exists a bijection $i:P\rightarrow \{F_1,F_2,\dots,F_{|P|}\}$ such that $p\le_P q$ implies $i(p)\subseteq i(q)$. A family $\mathcal F$ is $P$-free, if it does not contain a copy of $P$. In this paper we establish basic results on the maximum possible number of $k$-chains in a $P$-free family $\mathcal F\subseteq 2^{[n]}$. We prove that if the height of $P$, $h(P) > k$, then this number is of the order $Θ(\prod_{i=1}^{k+1}\binom{l_{i-1}}{l_i})$, where $l_0=n$ and $l_1\ge l_2\ge \dots \ge l_{k+1}$ are such that $n-l_1,l_1-l_2,\dots, l_k-l_{k+1},l_{k+1}$ differ by at most one. On the other hand if $h(P)\le k$, then we show that this number is of smaller order of magnitude.
Let $\vee_r$ denote the poset on $r+1$ elements $a, b_1, b_2, \ldots, b_r$, where $a < b_i$ for all $1 \le i \le r$ and let $\wedge_r$ denote its dual. For any values of $k$ and $l$, we construct a $\{\wedge_k,\vee_l\}$-free family and we conjecture that it contains asymptotically the maximum number of pairs in containment. We prove that this conjecture holds under the additional assumption that a chain of length 4 is forbidden. Moreover, we prove the conjecture for some small values of $k$ and $l$. We also derive the asymptotics of the maximum number of copies of certain tree posets $T$ of height 2 in $\{\wedge_k,\vee_l\}$-free families $\mathcal F \subseteq 2^{[n]}$.
On set systems without a simplex-cluster and the Junta method
Published
• View Publication
• BIB
A family $\{A_{0},\ldots,A_{d}\}$ of $k$-element subsets of $[n]=\{1,2,\ldots,n\}$ is called a simplex-cluster if $A_{0}\cap\cdots\cap A_{d}=\varnothing$, $|A_{0}\cup\cdots\cup A_{d}|\le2k$, and the intersection of any $d$ of the sets in $\{A_{0},\ldots,A_{d}\}$ is nonempty. In 2006, Keevash and Mubayi conjectured that for any $d+1\le k\le\frac{d}{d+1}n$, the largest family of $k$-element subsets of $[n]$ that does not contain a simplex-cluster is the family of all $k$-subsets that contain a given element. We prove the conjecture for all $k\geζn$ for an arbitrarily small $ζ>0$, provided that $n\ge n_{0}(ζ,d)$.
We call a family $\{A_{0},\ldots,A_{d}\}$ of $k$-element subsets of $[n]$ a $(d,k,s)$-cluster if $A_{0}\cap\cdots\cap A_{d}=\varnothing$ and $|A_{0}\cup\cdots\cup A_{d}|\le s$. We also show that for any $ζn\le k\le\frac{d}{d+1}n$ the largest family of $k$-element subsets of $[n]$ that does not contain a $(d,k,(\frac{d+1}{d}+ζ)k)$-cluster is again the family of all $k$-subsets that contain a given element, provided that $n\ge n_{0}(ζ,d)$.
Our proof is based on the junta method for extremal combinatorics initiated by Dinur and Friedgut and further developed by Ellis, Keller, and the author.