graph
35436 papers tagged with this keyword
Star-critical Ramsey numbers for cycles versus the complete graph on 5 vertices
Let $G$, $H$ and $K$ represent three graphs without loops or parallel edges and $n$ represent an integer. Given any red blue coloring of the edges of $G$, we say that $K \rightarrow (G,H)$, if there exists red copy of $G$ in $K$ or a blue copy of $H$ in $K$. Let $K_n$ represent a complete graph on $n$ vertices, $C_n$ a cycle on $n$ vertices and $S_n=K_{1,n}$ a star on $n+1$ vertices. The Ramsey number $r(G, H)$ is defined as $\min\{n \mid K_n\rightarrow (G,H)\}$. Likewise, the star-critical Ramsey number $r_*(H, G)$ is defined $\min\{k \mid K_{r(G,H)-1} \sqcup K_{1,k} \rightarrow (H, G) \}$. When $n >3$, in this paper we show that $r_*(C_n,K_5)=3n-1$ except $r_*(C_4,K_5)=13$. We also characterize all Ramsey critical $r(C_n,K_5)$ graphs.
Independent arithmetic progressions
We show that there is a positive constant $c$ such that any graph on vertex set $[n]$ with at most $c n^2/k^2 \log k$ edges contains an independent set of order $k$ whose vertices form an arithmetic progression. We also present applications of this result to several questions in Ramsey theory.
Planar order on vertex poset
A planar order is a special linear extension of the edge poset (partially ordered set) of a processive plane graph. The definition of a planar order makes sense for any finite poset and is equivalent to the one of a conjugate order. Here it was proved that there is a planar order on the vertex poset of a processive planar graph naturally induced from the planar order of its edge poset.
Coloring graphs with no induced subdivision of $K_4^+$
Let $K_4^+$ be the 5-vertex graph obtained from $K_4$, the complete graph on four vertices, by subdividing one edge precisely once (i.e. by replacing one edge by a path on three vertices). We prove that if the chromatic number of some graph $G$ is much larger than its clique number, then $G$ contains a subdivision of $K_4^+$ as an induced subgraph.
A lower bound on the tree-width of graphs with irrelevant vertices
Published
• View Publication
• BIB
For their famous algorithm for the disjoint paths problem, Robertson and Seymour proved that there is a function $f$ such that if the tree-width of a graph $G$ with $k$ pairs of terminals is at least $f(k)$, then $G$ contains a solution-irrelevant vertex (Graph Minors. XXII., JCTB 2012). We give a single-exponential lower bound on $f$. This bound even holds for planar graphs.
The Independence Number of the Orthogonality Graph in Dimension $2^k$
Published in Combinatorica 39 (2019) 1425-1428
• View Publication
• BIB
We determine the independence number of the orthogonality graph on $2^k$-dimensional hypercubes. This answers a question by Galliard from 2001 which is motivated by a problem in quantum information theory. Our method is a modification of a rank argument due to Frankl who showed the analogous result for $4p^k$-dimensional hypercubes, where $p$ is an odd prime.
Dismantlability, connectedness, and mixing in relational structures
The Constraint Satisfaction Problem (CSP) and its counting counterpart appears under different guises in many areas of mathematics, computer science, and elsewhere. Its structural and algorithmic properties have demonstrated to play a crucial role in many of those applications. For instance, in the decision CSPs, structural properties of the relational structures involved---like, for example, dismantlability---and their logical characterizations have been instrumental for determining the complexity and other properties of the problem. Topological properties of the solution set such as connectedness are related to the hardness of CSPs over random structures. Additionally, in approximate counting and statistical physics, where CSPs emerge in the form of spin systems, mixing properties and the uniqueness of Gibbs measures have been heavily exploited for approximating partition functions and free energy.
In spite of the great diversity of those features, there are some eerie similarities between them. These were observed and made more precise in the case of graph homomorphisms by Brightwell and Winkler, who showed that dismantlability of the target graph, connectedness of the set of homomorphisms, and good mixing properties of the corresponding spin system are all equivalent. In this paper we go a step further and demonstrate similar connections for arbitrary CSPs. This requires much deeper understanding of dismantling and the structure of the solution space in the case of relational structures, and new refined concepts of mixing introduced by Briceño. In addition, we develop properties related to the study of valid extensions of a given partially defined homomorphism, an approach that turns out to be novel even in the graph case. We also add to the mix the combinatorial property of finite duality and its logic counterpart, FO-definability, studied by Larose, Loten, and Tardif.
Extending partial isometries of antipodal graphs
Published
• View Publication
• BIB
We prove EPPA (extension property for partial automorphisms) for all antipodal classes from Cherlin's list of metrically homogeneous graphs, thereby answering a question of Aranda et al. This paper should be seen as the first application of a new general method for proving EPPA which can bypass the lack of an automorphism-preserving completion. It is done by combining the recent strengthening of the Herwig--Lascar theorem by Hubička, Nešetřil and the author with the ideas of the proof of EPPA for two-graphs by Evans et al.
Minimally Connected Hypergraphs
Graphs and hypergraphs are foundational structures in discrete mathematics. They have many practical applications, including the rapidly developing field of bioinformatics, and more generally, biomathematics. They are also a source of interesting algorithmic problems. In this paper, we define a \textit{construction process} for minimally connected $r$-uniform hypergraphs, which captures the intuitive notion of building a hypergraph piece-by-piece, and a numerical invariant called the \textit{tightness}, which is independent of the construction process used. Using these tools, we prove some fundamental properties of minimally connected hypergraphs. We also give bounds on their chromatic numbers and provide some results involving edge colorings. We show that every connected $r$-uniform hypergraph contains a minimally connected spanning subhypergraph and provide a polynomial-time algorithm for identifying such a subhypergraph.
Small cycles, generalized prisms and Hamiltonian cycles in the Bubble-sort graph
Published
• View Publication
• BIB
The Bubble-sort graph $BS_n,\,n\geqslant 2$, is a Cayley graph over the symmetric group $Sym_n$ generated by transpositions from the set $\{(1 2), (2 3),\ldots, (n-1 n)\}$. It is a bipartite graph containing all even cycles of length $\ell$, where $4\leqslant \ell\leqslant n!$. We give an explicit combinatorial characterization of all its $4$- and $6$-cycles. Based on this characterization, we define generalized prisms in $BS_n,\,n\geqslant 5$, and present a new approach to construct a Hamiltonian cycle based on these generalized prisms.
Extremal problems in uniformly dense hypergraphs
Published in European Journal of Combinatorics 88 (2020), 103117
• View Publication
• BIB
For a $k$-uniform hypergraph $F$ let $\textrm{ex}(n,F)$ be the maximum number of edges of a $k$-uniform $n$-vertex hypergraph $H$ which contains no copy of $F$. Determining or estimating $\textrm{ex}(n,F)$ is a classical and central problem in extremal combinatorics. While for graphs ($k=2$) this problem is well understood, due to the work of Mantel, Turán, Erdős, Stone, Simonovits and many others, only very little is known for $k$-uniform hypergraphs for $k>2$. Already the case when $F$ is a $k$-uniform hypergraph with three edges on $k+1$ vertices is still wide open even for $k=3$.
We consider variants of such problems where the large hypergraph $H$ enjoys additional hereditary density conditions. Questions of this type were suggested by Erdős and Sós about 30 years ago. In recent work with Rödl and Schacht it turned out that the regularity method for hypergraphs, established by Gowers and by Rödl et al. about a decade ago, is a suitable tool for extremal problems of this type and we shall discuss some of those recent results and some interesting open problems in this area.
A Few More Trees the Chromatic Symmetric Function Can Distinguish
Published in Involve 13 (2020) 109-116
• View Publication
• BIB
A well-known open problem in graph theory asks whether Stanley's chromatic symmetric function, a generalization of the chromatic polynomial of a graph, distinguishes between any two non-isomorphic trees. Previous work has proven the conjecture for a class of trees called spiders. This paper generalizes the class of spiders to $n$-spiders, where normal spiders correspond to $n = 1$, and verifies the conjecture for $n = 2$.
Intrinsic linking and knotting in tournaments
A directed graph $G$ is $\textit{intrinsically linked}$ if every embedding of that graph contains a non-split link $L$, where each component of $L$ is a consistently oriented cycle in $G$. A $\textit{tournament}$ is a directed graph where each pair of vertices is connected by exactly one directed edge. We consider intrinsic linking and knotting in tournaments, and study the minimum number of vertices required for a tournament to have various intrinsic linking or knotting properties. We produce the following bounds: intrinsically linked ($n=8$), intrinsically knotted ($9 \leq n \leq 12$), intrinsically 3-linked ($10 \leq n \leq 23$), intrinsically 4-linked ($12 \leq n \leq 66$), intrinsically 5-linked ($15 \leq n \leq 154$), intrinsically $m$-linked ($3m \leq n \leq 8(2m-3)^2$), intrinsically linked with knotted components ($9 \leq n \leq 107$), and the disjoint linking property ($12 \leq n \leq 14$). We also introduce the $\textit{consistency gap}$, which measures the difference in the order of a graph required for intrinsic $n$-linking in tournaments versus undirected graphs. We conjecture the consistency gap to be non-decreasing in $n$, and provide an upper bound at each $n$.
Gallai-Ramsey number for $K_{5}$
Given a graph $H$, the $k$-colored Gallai Ramsey number $gr_{k}(K_{3} : H)$ is defined to be the minimum integer $n$ such that every $k$-coloring of the edges of the complete graph on $n$ vertices contains either a rainbow triangle or a monochromatic copy of $H$. Fox et al. [J. Fox, A. Grinshpun, and J. Pach. The Erd{\H o}s-Hajnal conjecture for rainbow triangles. J. Combin. Theory Ser. B, 111:75-125, 2015.] conjectured the value of the Gallai Ramsey numbers for complete graphs. Recently, this conjecture has been verified for the first open case, when $H = K_{4}$.
In this paper we attack the next case, when $H = K_5$. Surprisingly it turns out, that the validity of the conjecture depends upon the (yet unknown) value of the Ramsey number $R(5,5)$. It is known that $43 \leq R(5,5) \leq 48$ and conjectured that $R(5,5)=43$ [B.D. McKay and S.P. Radziszowski. Subgraph counting identities and Ramsey numbers. J. Combin. Theory Ser. B, 69:193-209, 1997]. If $44 \leq R(5,5) \leq 48$, then Fox et al.'s conjecture is true and we present a complete proof. If, however, $R(5,5)=43$, then Fox et al.'s conjecture is false, meaning that at least one of these two conjectures must be false. For the case when $R(5, 5) = 43$, we show lower and upper bounds for the Gallai Ramsey number $gr_{k}(K_{3} : K_5)$.
Destroying Bicolored $P_3$s by Deleting Few Edges
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Graph Theory (June 8, 2021) dmtcs:6108
• View Publication
• BIB
We introduce and study the Bicolored $P_3$ Deletion problem defined as follows. The input is a graph $G=(V,E)$ where the edge set $E$ is partitioned into a set $E_r$ of red edges and a set $E_b$ of blue edges. The question is whether we can delete at most $k$ edges such that $G$ does not contain a bicolored $P_3$ as an induced subgraph. Here, a bicolored $P_3$ is a path on three vertices with one blue and one red edge. We show that Bicolored $P_3$ Deletion is NP-hard and cannot be solved in $2^{o(|V|+|E|)}$ time on bounded-degree graphs if the ETH is true. Then, we show that Bicolored $P_3$ Deletion is polynomial-time solvable when $G$ does not contain a bicolored $K_3$, that is, a triangle with edges of both colors. Moreover, we provide a polynomial-time algorithm for the case that $G$ contains no blue $P_3$, red $P_3$, blue $K_3$, and red $K_3$. Finally, we show that Bicolored $P_3$ Deletion can be solved in $ O(1.84^k\cdot |V| \cdot |E|)$ time and that it admits a kernel with $ O(kΔ\min(k,Δ))$ vertices, where $Δ$ is the maximum degree of $G$.
On Induced Online Ramsey Number of Paths, Cycles, and Trees
An online Ramsey game is a game between Builder and Painter, alternating in turns. They are given a graph $H$ and a graph $G$ of an infinite set of independent vertices. In each round Builder draws an edge and Painter colors it either red or blue. Builder wins if after some finite round there is a monochromatic copy of the graph $H$, otherwise Painter wins. The online Ramsey number $\widetilde{r}(H)$ is the minimum number of rounds such that Builder can force a monochromatic copy of $H$ in $G$. This is an analogy to the size-Ramsey number $\overline{r}(H)$ defined as the minimum number such that there exists graph $G$ with $\overline{r}(H)$ edges where for any edge two-coloring $G$ contains a monochromatic copy of $H$.
In this paper, we introduce the concept of induced online Ramsey numbers: the induced online Ramsey number $\widetilde{r}_{ind}(H)$ is the minimum number of rounds Builder can force an induced monochromatic copy of $H$ in $G$. We prove asymptotically tight bounds on the induced online Ramsey numbers of paths, cycles and two families of trees. Moreover, we provide a result analogous to Conlon [On-line Ramsey Numbers, SIAM J. Discr. Math. 2009], showing that there is an infinite family of trees $T_1,T_2,\dots$, $|T_i|<|T_{i+1}|$ for $i\ge1$, such that \[
\lim_{i\to\infty} \frac{\widetilde{r}(T_i)}{\overline{r}(T_i)} = 0. \]
A Basic Structure for Grids in Surfaces
A graph $G$ embedded in a surface $S$ is called an $S$-grid when every facial boundary walk has length four, that is, the topological dual graph of $G$ in $S$ is 4-regular. Aside from the case where $S$ is the torus or Klein bottle, an $S$-grid must have vertices of degrees other than four. Let the sequence of degrees other than four in $G$ be called the curvature sequence of $G$. We give a succinct characterization of $S$-grids with nonempty curvature sequence $L$ in terms of graphs that have degree sequence $L$ and are immersed in a certain way in $S$; furthermore, the immersion associated with the $S$-grid $G$ is unique and so our characterization of $S$-grids also partitions the collection of all $S$-grids.
New Dualities From Old: generating geometric, Petrie, and Wilson dualities and trialites of ribbon graphs
We develop an algebraic framework for ribbon graphs, revealing symmetry properties of (partial) twisted duality. The original ribbon group action of Ellis-Monaghan and Moffatt restricts self-duality, -petriality, or -triality to the canonical identification of a graph's edges with those of its dual, petrial, or trial, whereas the more natural definition allows any isomorphism. Here we define a new ribbon group action on ribbon graphs, using a semidirect product of the original ribbon group with a permutation group, to take (partial) twists and duals of ribbon graphs while also encoding graph isomorphisms. This brings new algebraic tools to bear on the natural definitions of self-duality etc., as a ribbon graph is a fixed point of this new ribbon group action exactly when it is isomorphic to one of its (partial) twisted duals. With these tools, we prove that every ribbon graph has in its orbit an orientable embedded bouquet, whose (partial) twisted duality properties propagate through the orbit. Thus, (partial) twisted duality properties of all embedded graphs may be analyzed through such bouquets, for which checking isomorphism reduces to checking just dihedral group symmetries. Previous research on self-duality, etc., typically focused on highly symmetric regular maps, but the theory here fully encompasses all cellularly embedded graphs. In contrast to the few, large, very high-genus, self-trial regular maps found by Wilson, and by Jones and Poultin, here we apply our framework to generate all self-trial ribbon graphs on up to seven edges. We also show how a graph's automorphism group may be used to find self-dual, etc., graphs in its orbit, thus exposing the relationship between regularity and the ribbon group action and, answering a question of Jones and Poulton, yielding an infinite family of self-trial graphs not arising as covers or parallel connections of regular maps.
Orbigraphs: a graph theoretic analog to Riemannian orbifolds
Published in Involve 12 (2019) 721-736
• View Publication
• BIB
A Riemannian orbifold is a mildly singular generalization of a Riemannian manifold that is locally modeled on $R^n$ modulo the action of a finite group. Orbifolds have proven interesting in a variety of settings. Spectral geometers have examined the link between the Laplace spectrum of an orbifold and the singularities of the orbifold. One open question in this field is whether or not a singular orbifold and a manifold can be Laplace isospectral. Motivated by the connection between spectral geometry and spectral graph theory, we define a graph theoretic analogue of an orbifold called an orbigraph. We obtain results about the relationship between an orbigraph and the spectrum of its adjacency matrix. We prove that the number of singular vertices present in an orbigraph is bounded above and below by spectrally determined quantities, and show that an orbigraph with a singular point and a regular graph cannot be cospectral. We also provide a lower bound on the Cheeger constant of an orbigraph.
The isometry group of phylogenetic tree space is $S_n$
A phylogenetic tree is an acyclic graph with distinctly labeled leaves, whose internal edges have a positive weight. Given a set of n leaves, the collection of all phylogenetic trees with this leaf set can be assembled into a metric cube complex known as phylogenetic tree space, or Billera-Holmes-Vogtmann tree space. In this largely combinatorial paper, we show that the isometry group of this space is the symmetric group on n elements. This fact is relevant to distance-based analyses of phylogenetic tree sets.