contain ↗ reference
7694 papers tagged with this keyword
Optimal induced universal graphs for bounded-degree graphs
Published in Math. Proc. Camb. Phil. Soc. 166 (2019) 61-74
• View Publication
• BIB
We show that for any constant $Δ\ge 2$, there exists a graph $G$ with $O(n^{Δ/ 2})$ vertices which contains every $n$-vertex graph with maximum degree $Δ$ as an induced subgraph. For odd $Δ$ this significantly improves the best-known earlier bound of Esperet et al. and is optimal up to a constant factor, as it is known that any such graph must have at least $Ω(n^{Δ/2})$ vertices.
Our proof builds on the approach of Alon and Capalbo (SODA 2008) together with several additional ingredients. The construction of $G$ is explicit and is based on an appropriately defined composition of high-girth expander graphs. The proof also provides an efficient deterministic procedure for finding, for any given input graph $H$ on $n$ vertices with maximum degree at most $Δ$, an induced subgraph of $G$ isomorphic to $H$.
Characterization and recognition of proper tagged probe interval graphs
Published
• View Publication
• BIB
Interval graphs were used in the study of genomics by the famous molecular biologist Benzer. Later on probe interval graphs were introduced by Zhang as a generalization of interval graphs for the study of cosmid contig mapping of DNA.
A tagged probe interval graph (briefly, TPIG) is motivated by similar applications to genomics, where the set of vertices is partitioned into two sets, namely, probes and nonprobes and there is an interval on the real line corresponding to each vertex. The graph has an edge between two probe vertices if their corresponding intervals intersect, has an edge between a probe vertex and a nonprobe vertex if the interval corresponding to a nonprobe vertex contains at least one end point of the interval corresponding to a probe vertex and the set of non-probe vertices is an independent set. This class of graphs have been defined nearly two decades ago, but till today there is no known recognition algorithm for it.
In this paper, we consider a natural subclass of TPIG, namely, the class of proper tagged probe interval graphs (in short PTPIG). We present characterization and a linear time recognition algorithm for PTPIG. To obtain this characterization theorem we introduce a new concept called canonical sequence for proper interval graphs, which, we belief, has an independent interest in the study of proper interval graphs. Also to obtain the recognition algorithm for PTPIG, we introduce and solve a variation of consecutive $1$'s problem, namely, oriented consecutive $1$'s problem and some variations of PQ-tree algorithm. We also discuss the interrelations between the classes of PTPIG and TPIG with probe interval graphs and probe proper interval graphs.
Rooted forests that avoid sets of permutations
Published
• View Publication
• BIB
We say that an unordered rooted labeled forest avoids the pattern $π\in\mathcal{S}_n$ if the sequence obtained from the labels along the path from the root to any vertex does not contain a subsequence that is in the same relative order as $π$. We enumerate several classes of forests that avoid certain sets of permutations, including the set of unimodal forests, via bijections with set partitions with certain properties. We also define and investigate an analog of Wilf-equivalence for forests.
Complete Description of Matching Polytopes with One Linearized Quadratic Term for Bipartite Graphs
Published
• View Publication
• BIB
We consider, for complete bipartite graphs, the convex hulls of characteristic vectors of all matchings, extended by a binary entry indicating whether the matching contains two specific edges. These polytopes are associated to the quadratic matching problems with a single linearized quadratic term. We provide a complete irredundant inequality description, which settles a conjecture by Klein (Ph.D. thesis, TU Dortmund, 2015). In addition, we also derive facetness and separation results for the polytopes. The completeness proof is based on a geometric relationship to a matching polytope of a nonbipartite graph. Using standard techniques, we finally extend the result to capacitated b-matchings.
Long cycles have the edge-Erdős-Pósa property
Published
• View Publication
• BIB
We prove that the set of long cycles has the edge-Erdős-Pósa property: for every fixed integer $\ell\ge 3$ and every $k\in\mathbb{N}$, every graph $G$ either contains $k$ edge-disjoint cycles of length at least $\ell$ (long cycles) or an edge set $X$ of size $O(k^2\log k + \ell k)$ such that $G-X$ does not contain any long cycle. This answers a question of Birmelé, Bondy, and Reed (Combinatorica 27 (2007), 135--145).
A note on projective norm graphs
Published
• View Publication
• BIB
The projective norm graphs P(q, 4) introduced by Alon, Rónyai and Szabó are explicit examples of extremal graphs not containing K_4,7. Ball and Pepe showed that P(q, 4) does not contain a copy of K_5,5 either for q >= 7, asymptotically improving the best lower bound for ex(n, K_5,5).
We show that these results can not be improved, in the sense that P(q, 4) contains a copy of K_4,6 for infinitely many primes q.
A two-sided analogue of the Coxeter complex
Published
• View Publication
• BIB
For any Coxeter system $(W,S)$ of rank $n$, we introduce an abstract boolean complex (simplicial poset) of dimension $2n-1$ that contains the Coxeter complex as a relative subcomplex. Faces are indexed by triples $(I,w,J)$, where $I$ and $J$ are subsets of the set $S$ of simple generators, and $w$ is a minimal length representative for the parabolic double coset $W_I w W_J$. There is exactly one maximal face for each element of the group $W$. The complex is shellable and thin, which implies the complex is a sphere for the finite Coxeter groups. In this case, a natural refinement of the $h$-polynomial is given by the "two-sided" $W$-Eulerian polynomial, i.e., the generating function for the joint distribution of left and right descents in $W$.
A Variant of the Erdős-Sós Conjecture
Published in Journal of Graph Theory 94.1:131-158, 2020
• View Publication
• BIB
A well-known conjecture of Erdős and Sós states that every graph with average degree exceeding $m-1$ contains every tree with $m$ edges as a subgraph. We propose a variant of this conjecture, which states that every graph of maximum degree exceeding $m$ and minimum degree at least $\lfloor \frac{2m}{3}\rfloor$ contains every tree with $m$ edges.
As evidence for our conjecture we show (i) for every $m$ there is a $g(m)$ such that the weakening of the conjecture obtained by replacing $m$ by $g(m)$ holds, and (ii) there is a $γ>0$ such that the weakening of the conjecture obtained by replacing $\lfloor \frac{2m}{3}\rfloor$ by $(1-γ)m$ holds.
Whitney numbers of arrangements via measure concentration of intrinsic volumes
We verify the Rota-Heron-Welsh conjecture for matroids realizable as c-arrangements: the coefficients of the characteristic polynomial of the associated matroid are log-concave. This family of matroids strictly contains that of complex hyperplane arrangements. Our proof combines the study of intrinsic volumes of certain extensions of arrangements and the Levy--Milman measure concentration phenomenon on realization spaces of arrangements.
Packing perfect matchings in random hypergraphs
Published
• View Publication
• BIB
We introduce a new procedure for generating the binomial random graph/hypergraph models, referred to as \emph{online sprinkling}. As an illustrative application of this method, we show that for any fixed integer $k\geq 3$, the binomial $k$-uniform random hypergraph $H^{k}_{n,p}$ contains $N:=(1-o(1))\binom{n-1}{k-1}p$ edge-disjoint perfect matchings, provided $p\geq \frac{\log^{C}n}{n^{k-1}}$, where $C:=C(k)$ is an integer depending only on $k$. Our result for $N$ is asymptotically best optimal and for $p$ is optimal up to the $polylog(n)$ factor.
Upper bounds for sunflower-free sets
Published in Forum of Mathematics, Sigma, Volume 5, 2017, e15
• View Publication
• BIB
A collection of $k$ sets is said to form a $k$-sunflower, or $Δ$-system, if the intersection of any two sets from the collection is the same, and we call a family of sets $\mathcal{F}$ sunflower-free if it contains no sunflowers. Following the recent breakthrough of Ellenberg and Gijswijt and Croot, Lev and Pach we apply the polynomial method directly to Erdős-Szemerédi sunflower problem and prove that any sunflower-free family $\mathcal{F}$ of subsets of $\{1,2,\dots,n\}$ has size at most \[ |\mathcal{F}|\leq3n\sum_{k\leq n/3}\binom{n}{k}\leq\left(\frac{3}{2^{2/3}}\right)^{n(1+o(1))}. \] We say that a set $A\subset(\mathbb Z/D \mathbb Z)^{n}=\{1,2,\dots,D\}^{n}$ for $D>2$ is sunflower-free if every distinct triple $x,y,z\in A$ there exists a coordinate $i$ where exactly two of $x_{i},y_{i},z_{i}$ are equal. Using a version of the polynomial method with characters $χ:\mathbb{Z}/D\mathbb{Z}\rightarrow\mathbb{C}$ instead of polynomials, we show that any sunflower-free set $A\subset(\mathbb Z/D \mathbb Z)^{n}$ has size \[ |A|\leq c_{D}^{n} \] where $c_{D}=\frac{3}{2^{2/3}}(D-1)^{2/3}$. This can be seen as making further progress on a possible approach to proving the Erdős-Rado sunflower conjecture, which by the work of Alon, Sphilka and Umans is equivalent to proving that $c_{D}\leq C$ for some constant $C$ independent of $D$.
Odd decompositions of eulerian graphs
We prove that an eulerian graph $G$ admits a decomposition into $k$ closed trails of odd length if and only if and it contains at least $k$ pairwise edge-disjoint odd circuits and $k\equiv |E(G)|\pmod{2}$. We conjecture that a connected $2d$-regular graph of odd order with $d\ge 1$ admits a decomposition into $d$ odd closed trails sharing a common vertex and verify the conjecture for $d\le 3$. The case $d=3$ is crucial for determining the flow number of a signed eulerian graph which is treated in a separate paper (arXiv:1408.1703v2). The proof of our conjecture for $d=3$ is surprisingly difficult and calls for the use of signed graphs as a convenient technical tool.
Anagram-free colorings of graphs
A sequence $S$ is called anagram-free if it contains no consecutive symbols $r_1 r_2\dots r_k r_{k+1} \dots r_{2k}$ such that $r_{k+1} \dots r_{2k}$ is a permutation of the block $r_1 r_2\dots r_k$. Answering a question of Erdős and Brown, Keränen constructed an infinite anagram-free sequence on four symbols.
Motivated by the work of Alon, Grytczuk, Hałuszczak and Riordan, we consider a natural generalisation of anagram-free sequences for graph colorings. A coloring of the vertices of a given graph $G$ is called anagram-free if the sequence of colors on any path in $G$ is anagram-free. We call the minimal number of colors needed for such a coloring the anagram-chromatic number of $G$.
In this paper we study the anagram-chromatic number of several classes of graphs like trees, minor-free graphs and bounded-degree graphs. Surprisingly, we show that there are bounded-degree graphs (such as random regular graphs) in which anagrams cannot be avoided unless we basically give each vertex a separate color.
Graphlike families of multiweights
Let ${\cal G}=(G,w)$ be a weighted graph , that is, a graph $G$ endowed with a function $w$ from the edge set of $G$ to the set of real numbers; for any subset $S$ of the vertex set of $G$, we define $D_S({\cal G})$ to be the minimum of the weights of the subgraphs of $G$ whose vertex set contains $S$; we call $D_S({\cal G})$ a multiweight of ${\cal G}$.
Let $X$ be a finite set and let $\{D_S\}_{S \subset X, \; \sharp S \geq 2} $ be a family of positive real numbers. We find necessary and sufficient conditions for the family to be the family of multiweights of a positive-weighted graph with vertex set $X$. Moreover we study the analogous problem for trees. Finally, we find a criterion to say if there exists a nonnegative-weighted tree ${\cal T}$ with leaf set $X$ and such that $D_S ({\cal T})=D_S $ for any $S \subset X$.
The extremal function for cycles of length $\ell$ mod $k$
Published
• View Publication
• BIB
Burr and Erdős conjectured that for each $k,\ell \in \mathbb Z^+$ such that $k \mathbb Z + \ell$ contains even integers, there exists $c_k(\ell)$ such that any graph of average degree at least $c_k(\ell)$ contains a cycle of length $\ell$ mod $k$. This conjecture was proved by Bollobás, and many successive improvements of upper bounds on $c_k(\ell)$ appear in the literature. In this short note, for $1 \leq \ell \leq k$, we show that $c_k(\ell)$ is proportional to the largest average degree of a $C_{\ell}$-free graph on $k$ vertices, which determines $c_k(\ell)$ up to an absolute constant. In particular, using known results on Turán numbers for even cycles, we obtain $c_k(\ell) = O(\ell k^{2/\ell})$ for all even $\ell$, which is tight for $\ell \in \{4,6,10\}$. Since the complete bipartite graph $K_{\ell - 1,n - \ell + 1}$ has no cycle of length $2\ell$ mod $k$, it also shows $c_k(\ell) = Θ(\ell)$ for $\ell = Ω(\log k)$.
Sets of minimal distances and characterizations of class groups of Krull monoids
Published
• View Publication
• BIB
Let $H$ be a Krull monoid with finite class group $G$ such that every class contains a prime divisor. Then every non-unit $a \in H$ can be written as a finite product of atoms, say $a=u_1 \cdot \ldots \cdot u_k$. The set $\mathsf L (a)$ of all possible factorization lengths $k$ is called the set of lengths of $a$. There is a constant $M \in \mathbb N$ such that all sets of lengths are almost arithmetical multiprogressions with bound $M$ and with difference $d \in Δ^* (H)$, where $Δ^* (H)$ denotes the set of minimal distances of $H$. We study the structure of $Δ^* (H)$ and establish a characterization when $Δ^*(H)$ is an interval.
The system $\mathcal L (H) = \{ \mathsf L (a) \mid a \in H \}$ of all sets of lengths depends only on the class group $G$, and a standing conjecture states that conversely the system $\mathcal L (H)$ is characteristic for the class group. We confirm this conjecture (among others) if the class group is isomorphic to $C_n^r$ with $r,n \in \mathbb N$ and $Δ^*(H)$ is not an interval.
Spherical Recurrence and locally isometric embeddings of trees into positive density subsets of $\mathbb{Z}^d$
Published
• View Publication
• BIB
Magyar has shown that if $B \subset \mathbb{Z}^d$ has positive upper density $(d \geq 5)$, then the set of squared distances $\{ \|b_1-b_2 \|^2 \text{ }: \text{ } b_1,b_2 \in B \}$ contains an infinitely long arithmetic progression, whose period depends only on the upper density of $B$. We extend this result by showing that $B$ contains locally isometrically embedded copies of every tree with edge lengths in some given arithmetic progression (whose period depends only on the upper density of $B$ and the number of vertices of the sought tree). In particular, $B$ contains all chains of elements with gaps in some given arithmetic progression (which depends on the length of the sought chain). This is a discrete analogue of a result obtained recently by Bennet, Iosevich and Taylor on chains with prescribed gaps in sets of large Haussdorf dimension. Our techniques are Ergodic theoretic and may be of independent interest to Ergodic theorists. In particular, we obtain Ergodic theoretic analogues of recent \textit{optimal spherical distribution} results of Lyall and Magyar which, via Furstenberg's correspondence principle, recover their combinatorial results.
Square of Hamilton cycle in a random graph
We show that $p=\sqrt{\frac{e}{n}}$ is a sharp threshold for the random graph $G_{n,p}$ to contain the square of a Hamilton cycle. This improves the previous results of Kühn and Osthus and also Nenadov and Škorić.
A Note on the Alon-Kleitman Argument for Sum-free Subset Theorem
In 1990, Alon and Kleitman proposed an argument for the sum-free subset problem: every set of n nonzero elements of a finite Abelian group contains a sum-free subset A of size |A|>\frac{2}{7}n. In this note, we show that the argument confused two different randomness. It applies only to the finite Abelian group G = (Z/pZ)^s where p is a prime. For the general case, the problem remains open.
A stability result using the matrix norm to bound the permanent
Published
• View Publication
• BIB
We prove a stability version of a general result that bounds the permanent of a matrix in terms of its operator norm. More specifically, suppose $A$ is an $n \times n$ matrix over $\mathbb{C}$ (resp. $\mathbb{R}$), and let $\mathcal{P}$ denote the set of $n \times n$ matrices over $\mathbb{C}$ (resp. $\mathbb{R}$) that can be written as a permutation matrix times a unitary diagonal matrix. Then it is known that the permanent of $A$ satisfies $|\text{perm}(A)| \leq \Vert A \Vert_{2} ^n$ with equality iff $A/ \Vert A \Vert_{2} \in \mathcal{P}$ (where $\Vert A \Vert_2$ is the operator $2$-norm of $A$). We show a stability version of this result asserting that unless $A$ is very close (in a particular sense) to one of these extremal matrices, its permanent is exponentially smaller (as a function of $n$) than $\Vert A \Vert_2 ^n$. In particular, for any fixed $α, β> 0$, we show that $|\text{perm}(A)|$ is exponentially smaller than $\Vert A \Vert_2 ^n$ unless all but at most $αn$ rows contain entries of modulus at least $\Vert A \Vert_2 (1 - β)$.