graph
35273 papers tagged with this keyword
On the local convergence of integer-valued Lipschitz functions on regular trees
Published
• View Publication
• BIB
We study random integer-valued Lipschitz functions on regular trees. It was shown by Peled, Samotij and Yehudayoff that such functions are localized, however, finer questions about the structure of Gibbs measures remain unanswered. Our main result is that the weak limit of a uniformly chosen 1-Lipschitz function with 0 boundary condition on a $d$-ary tree of height $n$ exists as $n \to \infty$ if $2 \le d \le 7$, but not if $d \ge 8$, thereby partially answering a question posed by Peled, Samotij and Yehudayoff. For large $d$, the value at the root alternates between being almost entirely concentrated on 0 for even $n$ and being roughly uniform on $\{-1,0,1\}$ for odd $n$, leading to different limits as $n$ approaches infinity along evens or odds. For $d \ge 8$, the essence of this phenomenon is preserved, which obstructs the convergence. For $d \le 7$, this phenomenon ceases to exist, and the law of the value at the root loses its connection with the parity of $n$. Along the way, we also obtain an alternative proof of localization. The key idea is a fixed point convergence result for a related operator on $\ell^\infty$, and a procedure to show that the iterations get into a `basin of attraction' of the fixed point. We also prove some accompanying analogous `even-odd phenomenon' type results about $M$-lipschitz functions on general non-amenable graphs with high enough expansion (this includes for example the large $d$ case for regular trees). We also prove a convergence result for 1-Lipschitz functions with $\{0,1\}$ boundary condition. This last result relies on an absolute value FKG for uniform 1-Lipschitz functions when shifted by $1/2$.
Multipartite tournaments in which any two vertices have an $(i,j)$-step common out-neighbor
We say that a digraph $D$ is $(i,j)$-step competitive if any two vertices have an $(i,j)$-step common out-neighbor in $D$ and that a graph $G$ is $(i,j)$-step competitively orientable if there exists an $(i,j)$-step competitive orientation of $G$.
In [Choi et al. Competitively orientable complete multipartite graphs. Discrete Mathematics, 345(9):112950, 2022], Choi et al. introduce the notion of competitive digraph and completely characterize competitively orientable complete multipartite graphs in terms of the sizes of its partite sets. Here, a competitive digraph means a $(1,1)$-step competitive digraph. In this paper, the result of Choi et al. has been extended to a general characterization of $(i,j)$-step competitively orientable complete multipartite graphs.
Non-conflicting no-where zero $Z_2\times Z_2$ flows in cubic graphs
Published in AUSTRALASIAN JOURNAL OF COMBINATORICS 91(3), 2025, 392--413
• Search Publication
Let $Z_2\times Z_2=\{0, α, β, α+β\}$. If $G$ is a bridgeless cubic graph, $F$ is a perfect matching of $G$ and $\overline{F}$ is the complementary 2-factor of $F$, then a no-where zero $Z_2\times Z_2$-flow $θ$ of $G/\overline{F}$ is called non-conflicting with respect to $\overline{F}$, if $\overline{F}$ contains no edge $e=uv$, such that $u$ is incident to an edge with $θ$-value $α$ and $v$ is incident to an edge with $θ$-value $β$. In this paper, we demonstrate the usefulness of non-conflicting flows by showing that if a cubic graph $G$ admits such a flow with respect to some perfect matching $F$, then $G$ admits a normal 6-edge-coloring. We use this observation in order to show that claw-free bridgeless cubic graphs, bridgeless cubic graphs possessing a 2-factor having at most two cycles admit a normal 6-edge-coloring. We demonstrate the usefulness of non-conflicting flows further by relating them to a recent conjecture of Thomassen about edge-disjoint perfect matchings in highly connected regular graphs. In the end of the paper, we construct infinitely many 2-edge-connected cubic graphs such that $G/\overline{F}$ does not admit a non-conflicting no-where zero $Z_2\times Z_2$-flow with respect to any perfect matching $F$.
Eigenvalues, edge-disjoint perfect matchings and toughness of regular graphs
Published
• View Publication
• BIB
Let $G$ be a connected $d$-regular graph of order $n$, where $d\geq3$. Let $λ_{2}(G)$ be the second largest eigenvalue of $G$. For even $n$, we show that $G$ contains $\left\lfloor\frac{2}{3}(d-λ_{2}(G))\right\rfloor$ edge-disjoint perfect matchings. This improves a result stated by Cioabă, Gregory and Haemers \cite{CGH}. Let $t(G)$ be the toughness of $G$. When $G$ is non-bipartite, we give a sharp upper bound of $λ_{2}(G)$ to guarantee that $t(G)>1$. This enriches the previous results on this direction.
Unavoidable immersions of 4- and $f(t)$-edge-connected graphs
In this paper we prove that every sufficiently large 4-edge-connected graph contains the double cycle, $C_{2,r}$, as an immersion. In proving this, we develop a new tool we call a ring-decomposition. We also prove that linear edge-connectivity implies the presence of a $C_{t,r}$ immersion in a sufficiently large graph, where $C_{t,r}$ denotes the graph obtained from a cycle on $r$ vertices by adding $(t-1)$ edges in parallel to each existing edge; this result is an edge-analogue of a result of Böhme, Kawarabayashi, Maharry, and Mojar. We then use the latter result to provide an unavoidable minor theorem for highly connected line graphs.
Brushing Directed Graphs
Brushing of graphs is a graph searching process in which the searching agents are called brushes. We focus on brushing directed graphs based on a new model in which the brushes can only travel in the same direction as the orientation of the arcs that they traverse. We discuss strategies to brush directed graphs as well as values and bounds for the brushing number of directed graphs. We determine the brushing number for any transitive tournament, which we use to give an upper bound for the brushing number of directed acyclic graphs in general. We also establish exact values for the brushing numbers of complete directed graphs, rooted trees, and rotational tournaments.
Partition density, star arboricity, and sums of Laplacian eigenvalues of graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph on $n$ vertices, and let $λ_1(L(G))\ge \cdots\ge λ_{n-1}(L(G))\ge λ_n(L(G))=0$ be the eigenvalues of its Laplacian matrix $L(G)$. Brouwer conjectured that for every $1\le k\le n$, $\sum_{i=1}^k λ_i(L(G)) \le |E|+\binom{k+1}{2}$. Here, we prove the following weak version of Brouwer's conjecture: For every $1\leq k \leq n$, \[
\sum_{i=1}^k λ_i(L(G)) \leq
|E|+k^2+15k\log{k}+65k. \] For a graph $G=(V,E)$, we define its partition density $\tildeρ(G)$ as the maximum, over all subgraphs $H$ of $G$, of the ratio between the number of edges of $H$ and the number of vertices in the largest connected component of $H$. Our argument relies on the study of the structure of the graphs $G$ satisfying $\tildeρ(G)< k$. In particular, using a result of Alon, McDiarmid and Reed, we show that every such graph can be decomposed into at most $k+ 15\log{k}+65$ edge-disjoint star forests (that is, forests whose connected components are all isomorphic to stars).
In addition, we show that for every graph $G=(V,E)$ and every $1\le k\le |V|$, \[
\sum_{i=1}^k λ_i(L(G)) \leq
|E|+k\cdot ν(G) + \left\lfloor\frac{k}{2}\right\rfloor, \] where $ν(G)$ is the maximum size of a matching in $G$.
Forbidden induced subgraphs in iterative higher order line graphs
Published
• View Publication
• BIB
Let $G$ be a simple finite connected graph. The line graph $L(G)$ of graph $G$ is the graph whose vertices are the edges of $G$, where $ef \in E(L(G))$ when $e \cap f \neq \emptyset$. Iteratively, the higher order line graphs are defined inductively as $L^1(G) = L(G)$ and $L^n(G) = L(L^{n-1}(G))$ for $n \geq 2$. In [Derived graphs and digraphs, Beitrage zur Graphentheorie (Teubner, Leipzig 1968), 17--33 (1968)], Beineke characterize line graphs in terms of nine forbidden subgraphs. Inspired by this result, in this paper, we characterize second order line graphs in terms of pure forbidden induced subgraphs. We also give a sufficient list of forbidden subgraphs for a graph $G$ such that $G$ is a higher order line graph. We characterize all order line graphs of graph $G$ with $Δ(G) = 3$ and $4$.
Second largest maximal cliques in small Paley graphs of square order
There is a conjecture that the second largest maximal cliques in Paley graphs of square order $P(q^2)$ have size $\frac{q+ε}{2}$, where $q \equiv ε\pmod 4$, and split into two orbits under the full group of automorphisms whenever $q \ge 25$ (a symmetric description for these two orbits is known). However, some extra second largest maximal cliques (of this size) exist in $P(q^2)$ whenever $q \in \{9,11,13,17,19,23\}$. In this paper we analyse the algebraic and geometric structure of the extra cliques.
Horadam cubes
Published
• View Publication
• BIB
We define and investigate a new three-parameter family of graphs that further generalizes the Fibonacci and metallic cubes. Namely, the number of vertices in this family of graphs satisfies Horadam recurrence, a linear recurrence of second order with constant coefficients. It is shown that the new family preserves many appealing and useful properties of the Fibonacci and metallic cubes. In particular, we present recursive decomposition and decomposition into grids. Furthermore, we explore metric and enumerative properties such as the number of edges, distribution of degrees, and cube polynomials. We also investigate the existence of Hamiltonian paths and cycles.
Construction and Conditions for Completely Independent Spanning Trees in Hypercubes and Regular Bipartite Graphs
A set of \( k \) spanning trees in a graph \( G \) is called a set of \textit{completely independent spanning trees (CISTs)} if, for every pair of vertices \( x \) and \( y \), the paths connecting \( x \) and \( y \) across different trees do not share any vertices or edges, except for \( x \) and \( y \) themselves. Hasunuma conjectured that every \(2k\)-connected graph contains exactly \(k\) completely independent spanning trees (CISTs). However, Pétérfalvi disproved this conjecture.
When \( k = 2 \), the two CISTs are called a \textit{dual-CIST}. It has been shown that determining whether a graph can have \( k \) CISTs is an NP-complete problem, even when \( k = 2 \). In $2017$, Darties et al. raised the question of whether the $6-$dimensional hypercube \( Q_6 \) can have three completely independent spanning trees (CISTs). This paper provides an answer to that question.
In this paper, we first present a necessary condition for \( k \)-regular, \( k \)-connected bipartite graphs to have \( \left\lfloor \frac{k}{2} \right\rfloor \) CISTs. We also investigate that the hypercube of dimension \( n \) cannot have \( \frac{n}{2} \) CISTs, which means Hasunuma's conjecture does not hold for the hypercube \( Q_n \) when \( n \) is an even integer \(2 < n \leq 10^7 \), except when \(n = 2^r\) and \( n \in \{161038, 215326, 2568226, 3020626, 7866046, 9115426 \} \). This result also resolves a question posed by Darties et al.
The construction of multiple CISTs on the underlying graph of a network has practical applications in ensuring the fault tolerance of data transmission. In this context, we also provide a construction for three completely independent spanning trees in the hypercube \(Q_n\) for \(n \geq 7\). Our results show that Hasunuma's conjecture holds for odd integer \(n = 7\) in \(Q_n\), but does not hold for even integer \(n = 6\).
Lower Bounds for Book Ramsey Numbers
Published
• View Publication
• BIB
We prove new bounds for Ramsey numbers for book graphs $B_n$. In particular, we show that $R(B_{n-1},B_n) = 4n-1$ for an infinite family of $n$ using a block-circulant construction similar to Paley graphs. We obtain improved bounds for several other values of $R(B_r,B_s)$ using different block-circulant graphs from SAT and integer programming (IP) solvers. Finally, we enumerate the number of critical graphs for $R(B_r,B_s)$ for small $r$ and $s$ using SAT modulo symmetries (SMS).
Fault tolerance of metric basis can be expensive
Published
• View Publication
• BIB
A set of vertices S is a resolving set of a graph G; if for every pair of vertices x and y in G, there exists a vertex s in S such that x and y differ in distance to s. A smallest resolving set of G is called a metric basis. The metric dimension dim(G) is the cardinality of a metric basis of G. The notion of a metric basis is applied to the problem of placing sensors in a network, where the problem of sensor faults can arise. The fault-tolerant metric dimension ftdim(G) is the cardinality of a smallest resolving set S such that S\{s} remains a resolving set of G for every s in S. A natural question is how much more sensors need to be used to achieve a fault-tolerant metric basis. It is known in literature that there exists an upper bound on ftdim(G) which is exponential in terms of dim(G); i.e. ftdim(G) <= dim(G)(1+2^(5dim(G)-1)). In this paper, we construct graphs G with ftdim(G) = dim(G)+2^(dim(G)-1) for any value of dim(G), so the exponential upper bound is necessary. We also extend these results to the k-metric dimension which is a generalization of the fault-tolerant metric dimension. First, we establish a similar exponential upper bound on dim(k+1)(G) in terms of dim(k)(G); and then we show that there exists a graph for which dim(k+1)(G) is indeed exponential. For a possible further work, we leave the gap between the bounds to be reduced.
Decompositions of the wreath product of certain directed graphs into directed hamiltonian cycles
Published
• View Publication
• BIB
We affirm several special cases of a conjecture that first appears in Alspach et al.~(1987) which stipulates that the wreath (lexicographic) product of two hamiltonian decomposable directed graphs is also hamiltonian decomposable. Specifically, we show that the wreath product of hamiltonian decomposable directed graph $G$, such that $|V(G)|$ is even and $|V(G)|\geqslant 3$, with a directed $m$-cycle such that $m \geqslant 4$ or the complete symmetric directed graph on $m$ vertices such that $m\geqslant 3$, is hamiltonian decomposable. We also show the wreath product of a directed $n$-cycle, where $n$ is even, with a directed $m$-cycle, where $m \in \{2,3\}$, is not hamiltonian decomposable.
An optimal construction for complete graph embeddings with duals of low connectivity
Published
• View Publication
• BIB
We describe a construction for embeddings of complete graphs where the dual has a cutvertex and the genus is close to the minimum genus of the primal graph. When the number of vertices is congruent to 5 modulo 12, we further guarantee that the dual is simple and that the genera of the resulting embeddings match a lower bound of Brinkmann, Noguchi, and Van den Camp, showing that their lower bound is tight infinitely often.
A combinatorial introduction to Adinkras
We survey the combinatorics of the Adinkra, a graphical device for solving differential equations in supersymmetry. These graphs represent an exceptional class of 1-factorizations with further augmentations. As a new feature, we characterize Adinkras using Latin rectangles.
On strong odd colorings of graphs
Published
• View Publication
• BIB
A strong odd coloring of a simple graph $G$ is a proper coloring of the vertices of $G$ such that for every vertex $v$ and every color $c$, either $c$ is used an odd number of times in the open neighborhood $N_G(v)$ or no neighbor of $v$ is colored by $c$. The smallest integer $k$ for which $G$ admits a strong odd coloring with $k$ colors is the strong odd chromatic number, $χ_{soc}(G)$. These coloring notion and graph parameter were recently defined in [H. Kwon and B. Park, Strong odd coloring of sparse graphs, ArXiv:2401.11653v2]. We answer a question raised by the originators concerning the existence of a constant bound for the strong odd chromatic number of all planar graphs. We also consider strong odd colorings of trees, unicyclic graphs and graph products.
Chromatic number and regular subgraphs
Published
• View Publication
• BIB
In 1992, Erdős and Hajnal posed the following natural problem: Does there exist, for every $r\in \mathbb{N}$, an integer $F(r)$ such that every graph with chromatic number at least $F(r)$ contains $r$ edge-disjoint cycles on the same vertex set? We solve this problem in a strong form, by showing that there exist $n$-vertex graphs with fractional chromatic number $Ω\left(\frac{\log \log n}{\log \log \log n}\right)$ that do not even contain a $4$-regular subgraph. This implies that no such number $F(r)$ exists for $r\ge 2$. We show that assuming a conjecture of Harris, the bound on the fractional chromatic number in our result cannot be improved.
The bunkbed conjecture is false
Published
• View Publication
• BIB
We give an explicit counterexample to the Bunkbed Conjecture introduced by Kasteleyn in 1985. The counterexample is given by a planar graph on $7222$ vertices, and is built on the recent work of Hollom (2024).
Normal trees of digraphs
In this paper, we investigate normal trees of directed graphs, which extend the fundamental concept of normal trees of undirected graphs. We prove that a directed graph $D$ has a normal spanning tree if and only if the topological space $|D|$ is metrizable, which generalises Diestel's result for undirected graphs. Furthermore, we show that the existence of normal arborescences implies the existence of normal trees in directed graphs, and that the converse is generally not true.