graph
34665 papers tagged with this keyword
Matching Book Thickness of Halin Graphs
The \emph{matching book embedding} of a graph $G$ is to arrange its vertices on the spine, and draw its edges into the pages so that the edges on every page do not intersect each other and the maximum degree of vertices on every page is one. The \emph{matching book thickness} is the minimum number of pages in which the graph $G$ can be matching embedded. In this paper, the matching book thickness of Halin graphs is determined.
Construction of LDPC convolutional codes via difference triangle sets
Published
• View Publication
• BIB
In this paper, a construction of $(n,k,δ)$ LDPC convolutional codes over arbitrary finite fields, which generalizes the work of Robinson and Bernstein and the later work of Tong is provided. The sets of integers forming a $(k,w)$-(weak) difference triangle set are used as supports of some columns of the sliding parity-check matrix of an $(n,k,δ)$ convolutional code, where $n\in\mathbb{N}$, $n>k$. The parameters of the convolutional code are related to the parameters of the underlying difference triangle set. In particular, a relation between the free distance of the code and $w$ is established as well as a relation between the degree of the code and the scope of the difference triangle set. Moreover, we show that some conditions on the weak difference triangle set ensure that the Tanner graph associated to the sliding parity-check matrix of the convolutional code is free from $2\ell$-cycles not satisfying the full rank condition over any finite field. Finally, we relax these conditions and provide a lower bound on the field size, depending on the parity of $\ell$, that is sufficient to still avoid $2\ell$-cycles. This is important for improving the performance of a code and avoiding the presence of low-weight codewords and absorbing sets.
Cycle lengths in sparse random graphs
Published
• View Publication
• BIB
We study the set ${\cal L}(G)$ of lengths of all cycles that appear in a random $d$-regular $G$ on $n$ vertices for a fixed $d\geq 3$, as well as in Erdős--Rényi random graphs on $n$ vertices with a fixed average degree $c>1$. Fundamental results on the distribution of cycle counts in these models were established in the 1980's and early 1990's, with a focus on the extreme lengths: cycles of fixed length, and cycles of length linear in $n$. Here we derive, for a random $d$-regular graph, the limiting probability that ${\cal L}(G)$ simultaneously contains the entire range $\{\ell,\ldots,n\}$ for $\ell\geq 3$, as an explicit expression $θ_\ell=θ_\ell(d)\in(0,1)$ which goes to $1$ as $\ell\to\infty$. For the random graph ${\cal G}(n,p)$ with $p=c/n$, where $c\geq C_0$ for some absolute constant $C_0$, we show the analogous result for the range $\{\ell,\ldots,(1-o(1))L_{\max}(G)\}$, where $L_{\max}$ is the length of a longest cycle in $G$. The limiting probability for ${\cal G}(n,p)$ coincides with $θ_\ell$ from the $d$-regular case when $c$ is the integer $d-1$. In addition, for the directed random graph ${\cal D}(n,p)$ we show results analogous to those on ${\cal G}(n,p)$, and for both models we find an interval of $c ε^2 n$ consecutive cycle lengths in the slightly supercritical regime $p=\frac{1+ε}n$.
Computing sandpile configurations using integer linear programming
Published
• View Publication
• BIB
It is well known that recurrent sandpile configurations can be characterized as the optimal solution of certain optimization problems. In this article, we present two new integer linear programming models, one that computes recurrent configurations and other that computes the order of the configuration. Finally, by using duality of linear programming, we are able to compute the identity configuration for the cone of a regular graph.
Homomorphisms of planar $(m, n)$-colored-mixed graphs to planar targets
Published
• View Publication
• BIB
An $(m, n)$-colored-mixed graph $G=(V, A_1, A_2,\cdots, A_m, E_1, E_2,\cdots, E_n)$ is a graph having $m$ colors of arcs and $n$ colors of edges. We do not allow two arcs or edges to have the same endpoints. A homomorphism from an $(m,n)$-colored-mixed graph $G$ to another $(m, n)$-colored-mixed graph $H$ is a morphism $\varphi:V(G)\rightarrow V(H)$ such that each edge (resp. arc) of $G$ is mapped to an edge (resp. arc) of $H$ of the same color (and orientation). An $(m,n)$-colored-mixed graph $T$ is said to be $P_g^{(m, n)}$-universal if every graph in $P_g^{(m, n)}$ (the planar $(m, n)$-colored-mixed graphs with girth at least $g$) admits a homomorphism to $T$.
We show that planar $P_g^{(m, n)}$-universal graphs do not exist for $2m+n\ge3$ (and any value of $g$) and find a minimal (in the number vertices) planar $P_g^{(m, n)}$-universal graphs in the other cases.
Forest expansion of two-body partition functions for sparse interaction graphs
Published in Physica A 609, 2023
• View Publication
• BIB
We study tree approximations to classical two-body partition functions on sparse and loopy graphs via the Brydges-Kennedy-Abdessalam-Rivasseau forest expansion. We show that for sparse graphs (with large cycles), the partition function above a certain temperature $T^*$ can be approximated by a graph polynomial expansion over forests of the interaction graph. Within this "forest phase", we show that the approximation can be written in terms of a reference tree $\mathcal T$ on the interaction graph, with corrections due to cycles. From this point of view, this implies that high-temperature models are easy to solve on sparse graphs, as one can evaluate the partition function using belief propagation. We also show that there exists a high- and low-temperature regime, in which $\mathcal T$ can be obtained via a maximal spanning tree algorithm on a (given) weighted graph. We study the algebra of these corrections and provide first- and second-order approximation to the tree Ansatz, and give explicit examples for the first-order approximation.
On the Zarankiewicz problem for graphs with bounded VC-dimension
Published
• View Publication
• BIB
The problem of Zarankiewicz asks for the maximum number of edges in a bipartite graph on $n$ vertices which does not contain the complete bipartite graph $K_{k,k}$ as a subgraph. A classical theorem due to Kővári, Sós, and Turán says that this number of edges is $O\left(n^{2 - 1/k}\right)$. An important variant of this problem is the analogous question in bipartite graphs with VC-dimension at most $d$, where $d$ is a fixed integer such that $k \geq d \geq 2$. A remarkable result of Fox, Pach, Sheffer, Suk, and Zahl [J. Eur. Math. Soc. (JEMS), no. 19, 1785-1810] with multiple applications in incidence geometry shows that, under this additional hypothesis, the number of edges in a bipartite graph on $n$ vertices and with no copy of $K_{k,k}$ as a subgraph must be $O\left(n^{2 - 1/d}\right)$. This theorem is sharp when $k=d=2$, because by design any $K_{2,2}$-free graph automatically has VC-dimension at most $2$, and there are well-known examples of such graphs with $Ω\left(n^{3/2}\right)$ edges. However, it turns out this phenomenon no longer carries through for any larger $d$.
We show the following improved result: the maximum number of edges in bipartite graphs with no copies of $K_{k,k}$ and VC-dimension at most $d$ is $o(n^{2-1/d})$, for every $k \geq d \geq 3$.
Rainbow cycles vs. rainbow paths
An edge-colored graph $F$ is {\it rainbow} if each edge of $F$ has a unique color. The {\it rainbow Turán number} $\mathrm{ex}^*(n,F)$ of a graph $F$ is the maximum possible number of edges in a properly edge-colored $n$-vertex graph with no rainbow copy of $F$. The study of rainbow Turán numbers was introduced by Keevash, Mubayi, Sudakov, and Verstraëte. Johnson and Rombach introduced the following rainbow-version of generalized Turán problems: for fixed graphs $H$ and $F$, let $\mathrm{ex}^*(n,H,F)$ denote the maximum number of rainbow copies of $H$ in an $n$-vertex properly edge-colored graph with no rainbow copy of $F$.
In this paper we investigate the case $\mathrm{ex}^*(n,C_\ell,P_\ell)$ and give a general upper bound as well as exact results for $\ell = 3,4,5$. Along the way we establish a new best upper bound on $\mathrm{ex}^*(n,P_5)$. Our main motivation comes from an attempt to improve bounds on $\mathrm{ex}^*(n,P_\ell)$, which has been the subject of several recent manuscripts.
Explicit closed algebraic formulas for Orlov-Scherbin $n$-point functions
Published in Journal de l'École polytechnique -- Mathématiques, Volume 9 (2022), pp. 1121-1158
• View Publication
• BIB
We derive a new explicit formula in terms of sums over graphs for the $n$-point correlation functions of general formal weighted double Hurwitz numbers coming from the Kadomtsev-Petviashvili tau functions of hypergeometric type (also known as Orlov-Scherbin partition functions). Notably, we use the change of variables suggested by the associated spectral curve, and our formula turns out to be a polynomial expression in a certain small set of formal functions defined on the spectral curve.
Counterexamples to a conjecture of Merker on 3-connected cubic planar graphs with a large cycle spectrum gap
Published
• View Publication
• BIB
Merker conjectured that if $k \ge 2$ is an integer and $G$ a 3-connected cubic planar graph of circumference at least $k$, then the set of cycle lengths of $G$ must contain at least one element of the interval $[k, 2k+2]$. We here prove that for every even integer $k \ge 6$ there is an infinite family of counterexamples.
Hochschild lattices and shuffle lattices
Published in European Journal of Combinatorics 103 (2022), article 103521
• View Publication
• BIB
In his study of a Hochschild complex arising in connection with the free loop fibration, S. Saneblidze defined the freehedron, a certain polytope constructed via a truncation process from the hypercube. It was recently conjectured by F. Chapoton and proven by C. Combe that a certain orientation of the $1$-skeleton of the freehedron carries a lattice structure. The resulting lattice was dubbed the Hochschild lattice and is congruence uniform and extremal. These properties allow for the definition of three associated structures: the Galois graph, the canonical join complex and the core label order. In this article, we study and characterize these structures. We exhibit an isomorphism from the core label order of the Hochschild lattice to a particular shuffle lattice of C. Greene. We also uncover an enumerative connection between the core label order of the Hochschild lattice, a certain order extension of its poset of irreducibles and the freehedron. These connections nicely parallel the situation surrounding the better-known Tamari lattices, noncrossing partition lattices and associahedra.
On the non-existence of extended perfect codes and some perfect colorings
Published
• View Publication
• BIB
In this paper we obtain the necessary condition for the existence of perfect $k$-colorings (equitable $k$-partitions) in Hamming graphs $H(n,q)$, where $q=2,3,4$ and Doob graphs $D(m,n)$. As an application, we prove the non-existence of extended perfect codes in $H(n,q)$, where $q=3,4$, $n>q+2$, and in $D(m,n)$, where $2m+n>6$.
Graph colorings with restricted bicolored subgraphs: I. Acyclic, star, and treewidth colorings
Published
• View Publication
• BIB
We show that for any fixed integer $m \geq 1$, a graph of maximum degree $Δ$ has a coloring with $O(Δ^{(m+1)/m})$ colors in which every connected bicolored subgraph contains at most $m$ edges. This result unifies previously known upper bounds on the number of colors sufficient for certain types of graph colorings, including star colorings, for which $O(Δ^{3/2})$ colors suffice, and acyclic colorings, for which $O(Δ^{4/3})$ colors suffice. Our proof uses a probabilistic method of Alon, McDiarmid, and Reed. This result also gives previously unknown upper bounds, including the fact that a graph of maximum degree $Δ$ has a proper coloring with $O(Δ^{9/8})$ colors in which every bicolored subgraph is planar, as well as a proper coloring with $O(Δ^{13/12})$ colors in which every bicolored subgraph has treewidth at most $3$.
Graph colorings with restricted bicolored subgraphs: II. The graph coloring game
Published
• View Publication
• BIB
We consider the graph coloring game, a game in which two players take turns properly coloring the vertices of a graph, with one player attempting to complete a proper coloring, and the other player attempting to prevent a proper coloring. We show that if a graph $G$ has a proper coloring in which the game coloring number of each bicolored subgraph is bounded, then the game chromatic number of $G$ is bounded. As a corollary to this result, we show that for two graphs $G_1$ and $G_2$ with bounded game coloring number, the Cartesian product $G_1 \square G_2$ has bounded game chromatic number, answering a question of X. Zhu. We also obtain an upper bound on the game chromatic number of the strong product $G_1 \boxtimes G_2$ of two graphs.
A proof of a conjecture on the distance spectral radius and maximum transmission of graphs
Published
• View Publication
• BIB
Let $G$ be a simple connected graph, and $D(G)$ be the distance matrix of $G$. Suppose that $D_{\max}(G)$ and $λ_1(G)$ are the maximum row sum and the spectral radius of $D(G)$, respectively. In this paper, we give a lower bound for $D_{\max}(G)-λ_1(G)$, and characterize the extremal graphs attaining the bound. As a corollary, we solve a conjecture posed by Liu, Shu and Xue.
The Structure of 2-Colored Best Match Graphs
Published
• View Publication
• BIB
Recent investigations in computational biology have focused on a family of 2-colored digraphs, called 2-colored best match graphs, which naturally arise from rooted phylogenetic trees. Actually the defining properties of such graphs are unusual, and a natural question is whether they also have properties which well fit in structural graph theory. In this paper, we prove that some underlying oriented bipartite graphs of a 2-colored best match graph are acyclic and we point out that the arising topological ordering can efficiently be used for constructing new families of 2-colored best match graphs.
Family sizes for complete multipartite graphs
Published in Involve 15 (2022) 669-686
• View Publication
• BIB
The obstruction set for graphs with knotless embeddings is not known, but a recent paper of Goldberg, Mattman, and Naimi indicates that it is quite large. Almost all known obstructions fall into four Triangle-Y families and they ask if there is an efficient way of finding or estimating the size of such graph families. Inspired by this question, we investigate the family size for complete multipartite graphs. Aside from three families that appear to grow exponentially, these families stabilize: after a certain point, increasing the number of vertices in a fixed part does not change family size.
Padlock Solitaire: A martingale trick for combinatorial enumeration
We introduce a one-person game that we call Padlock Solitaire which resembles the well-known clock solitaire card game. Analyzing variants of this game we obtain simple proofs of some classical results of combinatorics including ballot theorems and the enumeration of spanning trees in various graphs and hypergraphs.
New bounds on domination and independence in graphs
Published in Discussiones Mathematicae Graph Theory (2021)
• View Publication
• BIB
We propose new bounds on the domination number and on the independence number of a graph and show that our bounds compare favorably to recent ones. Our bounds are obtained by using the Bhatia-Davis inequality linking the variance, the expected value, the minimum, and the maximum of a random variable with bounded distribution.
Improved algorithm to determine 3-colorability of graphs with the minimum degree at least 7
Published
• View Publication
• BIB
Let $G$ be an $n$-vertex graph with the maximum degree $Δ$ and the minimum degree $δ$. We give algorithms with complexity $O(1.3158^{n-0.7~Δ(G)})$ and $O(1.32^{n-0.73~Δ(G)})$ that determines if $G$ is 3-colorable, when $δ(G)\geq 8$ and $δ(G)\geq 7$, respectively.