complete graph
2194 papers tagged with this keyword
Edge-ordered Ramsey numbers
Published in European Journal of Combinatorics 87, pages 103100, 2020
• View Publication
• BIB
We introduce and study a variant of Ramsey numbers for edge-ordered graphs, that is, graphs with linearly ordered sets of edges. The edge-ordered Ramsey number $\overline{R}_e(\mathfrak{G})$ of an edge-ordered graph $\mathfrak{G}$ is the minimum positive integer $N$ such that there exists an edge-ordered complete graph $\mathfrak{K}_N$ on $N$ vertices such that every 2-coloring of the edges of $\mathfrak{K}_N$ contains a monochromatic copy of $\mathfrak{G}$ as an edge-ordered subgraph of $\mathfrak{K}_N$.
We prove that the edge-ordered Ramsey number $\overline{R}_e(\mathfrak{G})$ is finite for every edge-ordered graph $\mathfrak{G}$ and we obtain better estimates for special classes of edge-ordered graphs. In particular, we prove $\overline{R}_e(\mathfrak{G}) \leq 2^{O(n^3\log{n})}$ for every bipartite edge-ordered graph $\mathfrak{G}$ on $n$ vertices. We also introduce a natural class of edge-orderings, called lexicographic edge-orderings, for which we can prove much better upper bounds on the corresponding edge-ordered Ramsey numbers.
Globally simple Heffter arrays $H(n;k)$ when $k\equiv 0,3\mod 4$
Square Heffter arrays are $n\times n$ arrays such that each row and each column contains $k$ filled cells, each row and column sum is divisible by $2nk+1$ and either $x$ or $-x$ appears in the array for each integer $1\leq x\leq nk$.
Archdeacon noted that a Heffter array, satisfying two additional conditions, yields a face $2$-colourable embedding of the complete graph $K_{2nk+1}$ on an orientable surface, where for each colour, the faces give a $k$-cycle system. Moreover, a cyclic permutation on the vertices acts as an automorphism of the embedding. These necessary conditions pertain to cyclic orderings of the entries in each row and each column of the Heffter array and are: (1) for each row and each column the sequential partial sums determined by the cyclic ordering must be distinct modulo $2nk+1$; (2) the composition of the cyclic orderings of the rows and columns is equivalent to a single cycle permutation on the entries in the array. We construct Heffter arrays that satisfy condition (1) whenever (a) $k\equiv 0\mod 4$; or (b) $n\equiv 1\mod 4$ and $k\equiv 3\mod 4$; or (c) $n\equiv 0\mod 4$, $k\equiv3\mod 4$ and $n\gg k$. As corollaries to the above we obtain pairs of orthogonal $k$-cycle decompositions of $K_{2nk+1}$.
Generalized Ramsey numbers: forbidding paths with few colors
Published
• View Publication
• BIB
Let $f(K_n, H, q)$ be the minimum number of colors needed to edge-color $K_n$ so that every copy of $H$ is colored with at least $q$ colors. Originally posed by Erdős and Shelah when $H$ is complete, the asymptotics of this extremal function have been extensively studied when $H$ is a complete graph or a complete balanced bipartite graph. Here we investigate this function for some other $H$, and in particular we determine the asymptotic behavior of $f(K_n, P_v, q)$ for almost all values of $v$ and $q$, where $P_v$ is a path on $v$ vertices.
A counterexample to prism-hamiltonicity of 3-connected planar graphs
The prism over a graph $G$ is the Cartesian product of $G$ with the complete graph $K_2$. A graph $G$ is hamiltonian if there exists a spanning cycle in $G$, and $G$ is prism-hamiltonian if the prism over $G$ is hamiltonian. In [M.~Rosenfeld, D.~Barnette, Hamiltonian circuits in certain prisms, Discrete Math. 5 (1973), 389--394] the authors conjectured that every 3-connected planar graph is prism-hamiltonian. We construct a counterexample to the conjecture.
Optimal $q$-Ary Error Correcting/All Unidirectional Error Detecting Codes
Published in IEEE Trans. Inform. Theory, Vol. 64, No 8, 2018, pp. 5806-5812
• Search Publication
Codes that can correct up to $t$ symmetric errors and detect all unidirectional errors, known as $t$-EC-AUED codes, are studied in this paper. Given positive integers $q$, $a$ and $t$, let $n_q(a,t+1)$ denote the length of the shortest $q$-ary $t$-EC-AUED code of size $a$. We introduce combinatorial constructions for $q$-ary $t$-EC-AUED codes via one-factorizations of complete graphs, and concatenation of MDS codes and codes from resolvable set systems. Consequently, we determine the exact values of $n_q(a,t+1)$ for several new infinite families of $q,a$ and $t$.
On the Degree Sequences of Multigraphs with Edge Additions and Deletions
The degree sequence of a graph is a numerical method to characterize the properties of graphs. Generalized forms of degree sequences exist for complete graphs and complete graphs. Nikolopolus et al. characterized the number of spanning trees from edge deletions and edge additions. Instead of investigating the number of spanning trees of graphs that arise from edge additions and deletions, we sought to characterize degree sequences of such graphs. We conjecture a characterization for the degree sequence of the addition and edge deletion for many families of graphs including threshold graphs and complete multigraphs.
Keywords: multigraphs, split graphs, degree sequence, threshold graph, Havel-Hakimi, Ruch-Gutman, Edge Deletion
On the WalkerMaker-WalkerBreaker games
Published
• View Publication
• BIB
We study the unbiased WalkerMaker-WalkerBreaker games on the edge set of the complete graph on $n$ vertices, $K_n$, a variant of well-known Maker-Breaker positional games, where both players have the restriction on the way of playing. Namely, each player has to choose her/his edges according to a walk. Here, we focus on two standard graph games - the Connectivity game and the Hamilton cycle game and show how quickly WalkerMaker can win both games.
Gallai-Ramsey number of even cycles with chords
Published
• View Publication
• BIB
For a graph $H$ and an integer $k\ge1$, the $k$-color Ramsey number $R_k(H)$ is the least integer $N$ such that every $k$-coloring of the edges of the complete graph $K_N$ contains a monochromatic copy of $H$. Let $C_m$ denote the cycle on $m\ge4$ vertices and let $Θ_m$ denote the family of graphs obtained from $C_m$ by adding an additional edge joining two non-consecutive vertices. Unlike Ramsey number of odd cycles, little is known about the general behavior of $R_k(C_{2n})$ except that $R_k(C_{2n})\ge (n-1)k+n+k-1$ for all $k\ge2$ and $n\ge2$. In this paper, we study Ramsey number of even cycles with chords under Gallai colorings, where a Gallai coloring is a coloring of the edges of a complete graph without rainbow triangles. For an integer $k\geq 1$, the Gallai-Ramsey number $GR_k(H)$ of a graph $H$ is the least positive integer $N$ such that every Gallai $k$-coloring of the complete graph $K_N$ contains a monochromatic copy of $H$. We prove that $GR_k(Θ_{2n})=(n-1)k+n+1$ for all $k\geq 2$ and $n\geq 3$. This implies that $GR_k(C_{2n})=(n-1)k+n+1$ all $k\geq 2$ and $n\geq 3$. Our result yields a unified proof for the Gallai-Ramsey number of all even cycles on at least four vertices.
Two-dimensional partial cubes
Published
• View Publication
• BIB
We investigate the structure of two-dimensional partial cubes, i.e., of isometric subgraphs of hypercubes whose vertex set defines a set family of VC-dimension at most 2. Equivalently, those are the partial cubes which are not contractible to the 3-cube $Q_3$ (here contraction means contracting the edges corresponding to the same coordinate of the hypercube). We show that our graphs can be obtained from two types of combinatorial cells (gated cycles and gated full subdivisions of complete graphs) via amalgams. The cell structure of two-dimensional partial cubes enables us to establish a variety of results. In particular, we prove that all partial cubes of VC-dimension 2 can be extended to ample aka lopsided partial cubes of VC-dimension 2, yielding that the set families defined by such graphs satisfy the sample compression conjecture by Littlestone and Warmuth (1986). Furthermore we point out relations to tope graphs of COMs of low rank and region graphs of pseudoline arrangements.
Monochromatic paths and cycles in $2$-edge-colored graphs with large minimum degree
Published
• View Publication
• BIB
A graph $G$ arrows a graph $H$ if in every $2$-edge-coloring of $G$ there exists a monochromatic copy of $H$. Schelp had the idea that if the complete graph $K_n$ arrows a small graph $H$, then every "dense" subgraph of $K_n$ also arrows $H$, and he outlined some problems in this direction. Our main result is in this spirit. We prove that for every sufficiently large $n$, if $n = 3t+r$ where $r \in \{0,1,2\}$ and $G$ is an $n$-vertex graph with $δ(G) \ge (3n-1)/4$, then for every $2$-edge-coloring of $G$, either there are cycles of every length $\{3, 4, 5, \dots, 2t+r\}$ of the same color, or there are cycles of every even length $\{4, 6, 8, \dots, 2t+2\}$ of the same color.
Our result is tight in the sense that no longer cycles (of length $>2t+r$) can be guaranteed and the minimum degree condition cannot be reduced. It also implies the conjecture of Schelp that for every sufficiently large $n$, every $(3t-1)$-vertex graph $G$ with minimum degree larger than $3|V(G)|/4$ arrows the path $P_{2n}$ with $2n$ vertices. Moreover, it implies for sufficiently large $n$ the conjecture by Benevides, Łuczak, Scott, Skokan and White that for $n=3t+r$ where $r \in \{0,1,2\}$ and every $n$-vertex graph $G$ with $δ(G) \ge 3n/4$, in each $2$-edge-coloring of $G$ there exists a monochromatic cycle of length at least $2t+r$.
Successive minimum spanning trees
In a complete graph $K_n$ with edge weights drawn independently from a uniform distribution $U(0,1)$ (or alternatively an exponential distribution $\operatorname{Exp}(1)$), let $T_1$ be the MST (the spanning tree of minimum weight) and let $T_k$ be the MST after deletion of the edges of all previous trees $T_i$, $i<k$. We show that each tree's weight $w(T_k)$ converges in probability to a constant $γ_k$ with $2k-2\sqrt k <γ_k<2k+2\sqrt k$, and we conjecture that $γ_k = 2k-1+o(1)$. The problem is distinct from that of Frieze and Johansson (2018), finding $k$ MSTs of combined minimum weight, and for $k=2$ ours has strictly larger cost.
Our results also hold (and mostly are derived) in a multigraph model where edge weights for each vertex pair follow a Poisson process; here we additionally have $\mathbb E(w(T_k)) \to γ_k$. Thinking of an edge of weight $w$ as arriving at time $t=n w$, Kruskal's algorithm defines forests $F_k(t)$, each initially empty and eventually equal to $T_k$, with each arriving edge added to the first $F_k(t)$ where it does not create a cycle. Using tools of inhomogeneous random graphs we obtain structural results including that $C_1(F_k(t))/n$, the fraction of vertices in the largest component of $F_k(t)$, converges in probability to a function $ρ_k(t)$, uniformly for all $t$, and that a giant component appears in $F_k(t)$ at a time $t=σ_k$. We conjecture that the functions $ρ_k$ tend to time translations of a single function, $ρ_k(2k+x)\toρ_\infty(x)$ as $k \to \infty$, uniformly in $x\in \mathbb R$.
Simulations and numerical computations give estimated values of $γ_k$ for small $k$, and support the conjectures just stated.
A reduction of the spectrum problem for odd sun systems and the prime case
Published in Journal of Combinatorial Designs 29(1) 2021, 5-37
• View Publication
• BIB
A $k$-cycle with a pendant edge attached to each vertex is called a $k$-sun. The existence problem for $k$-sun decompositions of $K_v$, with $k$ odd, has been solved only when $k=3$ or $5$.
By adapting a method used by Hoffmann, Lindner and Rodger to reduce the spectrum problem for odd cycle systems of the complete graph, we show that if there is a $k$-sun system of $K_v$ ($k$ odd) whenever $v$ lies in the range $2k< v < 6k$ and satisfies the obvious necessary conditions, then such a system exists for every admissible $v\geq 6k$.
The general position problem and strong resolving graph
The general position number ${\rm gp}(G)$ of a connected graph $G$ is the cardinality of a largest set $S$ of vertices such that no three pairwise distinct vertices from $S$ lie on a common geodesic. It is proved that ${\rm gp}(G)\ge ω(G_{\rm SR}$, where $G_{\rm SR}$ is the strong resolving graph of $G$, and $ω(G_{\rm SR})$ is its clique number. That the bound is sharp is demonstrated with numerous constructions including for instance direct products of complete graphs and different families of strong products, of generalized lexicographic products, and of rooted product graphs. For the strong product it is proved that $gp(G\boxtimes H) \ge gp(G)gp(H)$, and asked whether the equality holds for arbitrary connected graphs $G$ and $H$. It is proved that the answer is in particular positive for strong products with a complete factor, for strong products of complete bipartite graphs, and for certain strong cylinders.
A note on Gallai-Ramsey number of even wheels
A Gallai coloring of a complete graph is an edge-coloring such that no triangle has all its edges colored differently. A Gallai $k$-coloring is a Gallai coloring that uses $k$ colors. Given a graph $H$ and an integer $k\geq 1$, the Gallai-Ramsey number $GR_k(H)$ of $H$ is the least positive integer $N$ such that every Gallai $k$-coloring of the complete graph $K_N$ contains a monochromatic copy of $H$. Let $W_{2n} $ denote an even wheel on $2n+1\ge5$ vertices. In this note, we study Gallai-Ramsey number of $W_{2n}$ and completely determine the exact value of $GR_k(W_4)$ for all $k\ge2$.
Leaves for packings with block size four
We consider maximum packings of edge-disjoint $4$-cliques in the complete graph $K_n$. When $n \equiv 1$ or $4 \pmod{12}$, these are simply block designs. In other congruence classes, there are necessarily uncovered edges; we examine the possible `leave' graphs induced by those edges. We give particular emphasis to the case $n \equiv 0$ or $3 \pmod{12}$, when the leave is $2$-regular. Colbourn and Ling settled the case of Hamiltonian leaves in this case. We extend their construction and use several additional direct and recursive constructions to realize a variety of $2$-regular leaves. For various subsets $S \subseteq \{3,4,5,\dots\}$, we establish explicit lower bounds on $n$ to guarantee the existence of maximum packings with any possible leave whose cycle lengths belong to $S$.
Note on a generalization of Gallai-Ramsey numbers
A colored complete graph is said to be Gallai-colored if it contains no rainbow triangle. This property has been shown to be equivalent to the existence of a partition of the vertices (of every induced subgraph) in which at most two colors appear on edges between the parts and at most one color appears on edges in between each pair of parts. We extend this notion by defining a coloring of a complete graph to be $k$-Gallai if every induced subgraph has a nontrivial partition of the vertices such that there are at most $k$ colors present in between parts of the partition. The generalized $(k, \ell)$ Gallai-Ramsey number of a graph $H$ is then defined to be the minimum number of vertices $N$ such that every $k$-Gallai coloring of a complete graph $K_{n}$ with $n \geq N$ using at most $\ell$ colors contains a monochromatic copy of $H$. We prove bounds on these generalized $(k, \ell)$ Gallai-Ramsey numbers based on the structure of $H$, extending recent results for Gallai colorings.
Complementation, Local Complementation, and Switching in Binary Matroids
Published
• View Publication
• BIB
In 2004, Ehrenfeucht, Harju, and Rozenberg showed that any graph on a vertex set $V$ can be obtained from a complete graph on $V$ via a sequence of the operations of complementation, switching edges and non-edges at a vertex, and local complementation. The last operation involves taking the complement in the neighbourhood of a vertex. In this paper, we consider natural generalizations of these operations for binary matroids and explore their behaviour. We characterize all binary matroids obtainable from the binary projective geometry of rank $r$ under the operations of complementation and switching. Moreover, we show that not all binary matroids of rank at most $r$ can be obtained from a projective geometry of rank $r$ via a sequence of the three generalized operations. We introduce a fourth operation and show that, with this additional operation, we are able to obtain all binary matroids.
On Star-critical (K1,n,K1,m + e) Ramsey numbers
Let $G, H$ be finite graphs without loops or multiple edges and $K_n$ denote the complete graph on $n$ vertices. If for every red/blue colouring of edges of the complete graph $K_n$, there exists a red copy of $G$, or a blue copy of $H$, we will say that $K_n\rightarrow (G,H)$. The Ramsey number $r(G, H)$ is defined as the smallest positive integer $n$ such that $K_{n} \rightarrow (G, H)$. Star-critical Ramsey number $r_*(G, H)$ is defined as the largest value of $k$ such that $K_{r(G,H)-1} \sqcup K_{1,k} \rightarrow (G, H)$. In this paper, we will find $r_*(K_{1,n}, K_{1,m}+e)$ for all $n,m \geq 3$.
On characterizing the critical graphs for matching Ramsey numbers
Given simple graphs $H_{1},H_{2},\ldots,H_{c}$, the Ramsey number $r(H_{1},H_{2},\ldots,H_{c})$ is the smallest positive integer $n$ such that every edge-colored $K_{n}$ with $c$ colors contains a subgraph in color $i$ isomorphic to $H_{i}$ for some $i\in\{1,2,\ldots,c\}$. The critical graphs for $r(H_1,H_2,\ldots,H_c)$ are edge-colored complete graphs on $r(H_1,H_2,\ldots,H_c)-1$ vertices with $c$ colors which contain no subgraphs in color $i$ isomorphic to $H_{i}$ for any $i\in \{1,2,\ldots,c\}$. For $n_1\geq n_2\geq \ldots\geq n_c\geq 1$, Cockayne and Lorimer (The Ramsey number for stripes, {\it J.\ Austral.\ Math.\ Soc.} \textbf{19} (1975), 252--256.) showed that $r(n_{1}K_{2},n_{2}K_{2},\ldots,n_{c}K_{2})=n_{1}+1+ \sum\limits_{i=1}^c(n_{i}-1)$, in which $n_{i}K_{2}$ is a matching of size $n_{i}$. Using the Gallai-Edmonds Theorem, we characterized all the critical graphs for $r(n_{1}K_{2},n_{2}K_{2},\ldots,n_{c}K_{2})$, implying a new proof for this Ramsey number.
Inequalities for doubly nonnegative functions
Published in Electronic Journal of Combinatorics, 28(1)(2021), #P1.32
• View Publication
• BIB
Let $g$ be a bounded symmetric measurable nonnegative function on $[0,1]^2$, and $\left\lVert g \right\rVert = \int_{[0,1]^2} g(x,y) dx dy$. For a graph $G$ with vertices $\{v_1,v_2,\ldots,v_n\}$ and edge set $E(G)$, we define \[
t(G,g) \; = \;
\int_{[0,1]^n} \prod_{\{v_i,v_j\} \in E(G)} g(x_i,x_j)
\: dx_1 dx_2 \cdots dx_n \; . \] We conjecture that $t(G,g) \geq \left\lVert g \right\rVert^{|E(G)|}$ holds for any graph $G$ and any function $g$ with nonnegative spectrum. We prove this conjecture for various graphs $G$, including complete graphs, unicyclic and bicyclic graphs, as well as graphs with $5$ vertices or less.