graph
35150 papers tagged with this keyword
Matchings and Clusters on Plabic Fences
Fix two positive braid words $β_+,β_-$, and let $\text{Conf}(β_+,β_-)$ be the corresponding (type A) double Bott-Samelson variety. Let $β$ be a double braid word containing $β_+,β_-$ as the top, bottom words. We consider the open cluster torus $T(C_β)$ associated to a triangulation $C_β$ in $\text{Conf}(β_+,β_-)$ from arXiv:1904.07992, and we identify these with weighted plabic fences, where the usual local moves on planar bipartite graphs naturally correspond to change of torus coordinates in double Bott-Samelson variety. Moreover, $T(C_β)$ can be parametrized explicitly by certain matrix products, and also has monomial coordinates given by the cluster variables, which are matrix minors. We interpret these minors as a generalized notion of perfect matchings on weighted plabic fences, which may not be reduced plabic graphs. Using this interpretation, we show that the cluster variables are given by "generalized minimal matchings", extending the minimal matchings from arXiv:1606.08383. Lastly, we derive a Chamber Ansatz formula for double Bott-Samelson varieties via face alternating products from dimer theory. In general, plabic fences are not reduced plabic graphs, yet we are able to extend and apply the standard tools such as local moves on plabic graphs, trips, and minimal matchings to them.
Coloring Small $K_t$-Minor-Free Graphs
Delcourt and Postle proved that every $K_t$-minor-free graph is $O(t\log\log t)$-colorable and reduced the Linear Hadwiger Conjecture to coloring $K_t$-minor-free graphs on $O(t\log^4 t)$ vertices. In this paper, we use the star contraction technique to improve their bound for small graphs and use their reduction to extend this improvement to all $K_t$-minor-free graphs. Thus we improve their $O(t\log\log t)$ bound to $O(t\sqrt{\log\log t})$.
Orthogonal signed graphs of degree 5
An orthogonal signed graph is a connected signed graph whose signed adjacency matrix has pairwise orthogonal rows. They are closely related to Hadamard matrices, maximal arrangements of equiangular lines, bipartite Ramanujan graphs, and the remarkable resolution of the Sensitivity Conjecture. Orthogonal signed graphs of degree at most 4 have been completely classified, and partial results were known for degree 5. We complete the classification of orthogonal signed graphs of maximum degree 5. We also provide several new infinite families of 6- and 8-regular orthogonal signed graphs.
A graph reconstruction problem involving common neighbors
Given a simple graph $G = (V, E)$ on $v$ vertices and two distinct vertices $x, y \in V$, the co-degree $c_{x,y}$ associated to the pair $\{x, y\}$ is the number of their common neighbors in the graph $G$. The co-degree sequence of $G$, denoted by $γ(G)$, is the list of all the co-degrees associated to all the possible pairs of distinct vertices, arranged in non-increasing order. In this paper we consider the following problem, which can be viewed as a generalization of a result by Erdős and Gallai as well as of the Erdős, Rényi and Sós' friendship theorem: given an integer $v\geqslant 2$ and a sequence $γ$ of nonnegative integers arranged in non-increasing order, establish if there exists a simple graph on $v$ vertices having $γ$ as its co-degree sequence and, in case of positive answer, provide such a graph. We provide a full answer to this problem for the class of planar $C_4$-free graphs.
Graph-based automata
We study graph-based automata: nondeterministic finite automata obtained from edge-colored or oriented graphs by taking every vertex as both initial and accepting, and every edge as a pair of opposite transitions. The language of these automata corresponds to the set of edge-colored or oriented paths mapping to their corresponding graphs. We develop an analogous notion for trees and characterise the languages recognised by these models. For tree languages we prove the existence of a unique size- minimal graph and, more generally, a homomorphism-minimal graph for both word and tree languages using duality methods. In order to further motivate these models, we showcase a few results at the inter- section between graph theory and automata theory: We relate graph-based automata to reversible automata, give a decomposition of graph-based languages into reversible languages, and introduce the remanent language of an undirected graph as the inter- section of all its orientations. This remanent language captures structural information on the graph such as chromatic number.
Four triangle-free intrinsically knotted graphs with 22 edges
An intrinsically knotted graph is one for which every spatial embedding contains a nontrivially knotted cycle. Classifying such graphs is a central problem in spatial graph theory. It is known that every intrinsically knotted graph has at least 21 edges, and the case of 21 edges has been completely resolved. For 22 edges, however, the classification remains incomplete. In particular, exactly eight triangle-free examples with a vertex of degree at least 5 are known, leaving only the case in which all vertices have degree 3 or 4. In this paper, we introduce a method for detecting intrinsic knottedness based on induced subgraphs obtained by deleting pairs of vertices. Using this method, we classify all triangle-free intrinsically knotted graphs with 22 edges having eight vertices of degree~4 and four of degree~3. We prove that there are exactly four: Cousins 43, 105, and 109 in the $E_9\!+\!e$ family and the graph $H_{12}\! +\! e$ in the $H_9\!+\!e$ family.
On the Stability of the Independence Number in Random Distance Graphs
We consider a random subgraph $G_p(n,r,<s)$ of the complete distance graph $G(n,r,<s)$ whose vertices are the $r$-element subsets of the set $\{1,\dots,n\}$ and whose edges join pairs of subsets that intersect in fewer than $s$ elements; each edge survives independently of the others with probability $p$. The independence number of the graph $G(n,r,<s)$ equals $C_{n-s}^{r-s}$ -- this is the classical Erdos-Ko-Rado theorem. We prove that, for $r=r(n)\to\infty$, $s=s(n)\to\infty$, $s=o(r)$, $r^2=o(n)$ and $p\ge 16\,sr^2\ln(n/r)/n$, with probability tending to 1 the independence number of the random graph $G_p(n,r,<s)$ also equals $C_{n-s}^{r-s}$, i.e., the Erdos-Ko-Rado result is stable under random sparsification of the graph. Thereby, in the range of parameters $s\to\infty$, $s=o(r)$, a recent result of Raigorodskii and Karas is strengthened: the lower bound on the probability $p$ that guarantees stability is lowered by a factor of about $r/s$.
On the classification of regular graphs with positive Lin-Lu-Yau curvature
We prove several new structural and classification results about $d$-regular graphs with positive Lin--Lu--Yau (LLY) curvature. We show that any positively curved $d$-regular graph has diameter at most $2d-2$, which improves the previously best known diameter bound obtained from the Bonnet-Myers-type theorem for positively curved graphs. We further show that every positively curved $d$-regular graph with $d\ge 3$ is $3$-connected. We classify all positively curved $3$-regular graphs, as well as all positively curved regular planar graphs.
$Δ$-Y Moves and Partial Steiner Systems
We study graph systems generated by $Δ$-Y and Y-$Δ$ moves and prove that, for initial graphs of minimum degree at least $7$, $Δ$-Y moves alone generate every reachable graph. As a consequence, for $n\ge 8$, the $Δ$-Y system generated from the complete graph of $n$ vertices is canonically isomorphic as graded directed graphs to the space of partial Steiner systems on $n$ points.
Strongly separating graph edges with $10n$ paths
A family of paths strongly separates the edges of a graph if every two distinct edges are separated in both directions by paths in the family. Bonamy, Botler, Dross, Naia, and Skokan proved that every $n$-vertex graph admits such a family of at most $19n$ paths. We improve this bound to $10n-o(n)$.
Density regions, integer certificates and packing colorings of distance graphs
We study simultaneous color densities in packing colorings of integer distance graphs. For $D(1,6)$, we determine several exact density regions and prove that colors $1$ through $7$ have maximum combined density $211/252$. When this maximum is approached, the seven individual color frequencies are forced to converge to a specified vector. On an optimal low-color layer, some density vectors have nonperiodic realizations but no periodic realization; we determine how much accumulated density loss is necessary for switching between the relevant configurations. For sufficiently large additional color indices, a fixed finite graph describes the joint density region. In particular, we determine a seven-vertex region for every $i\equiv8\pmod{14}$ with $i\ge36$ and prove that $36$ is the first stable index in this residue class. The proofs combine finite-state integer certificates with explicit constructions and limit arguments. Applications give $17\leχ_ρ(D(1,6))\le20$, $18\leχ_ρ(D(1,8))\le22$, and $χ_ρ(D(1,9))\le17$.
Catalan-many tropical morphisms to trees; Part II: A space and a count
In their work on Brill-Noether theory, Eisenbud and Harris established the geometry of the universal parameter space of linear series over curves, proving that for even genus $g$ and degree $d = g/2 + 1$, the projection to the moduli space of curves is a finite cover of degree equal to the Catalan number $C_{g/2} = \frac{1}{g/2+1}\binom{g}{g/2}$. In this paper, we construct the tropical counterpart of this universal family: a polyhedral cone complex $\mathcal{G}_{g \to 0, d}^{\mathrm{trop}}$ parametrizing degree-$d$ tropical morphisms from genus-$g$ metric graphs to metric trees. For even $g$ and $d = g/2 + 1$, we prove that the forgetful projection $Π\colon \mathcal{G}_{g \to 0, d}^{\mathrm{trop}} \to \mathcal{M}_{g}^{\mathrm{trop}}$ is a branched cover of degree $C_{g/2}$ equipped with natural determinantal multiplicities. We compute this degree by showing that on caterpillars of loops the morphisms are in bijection with ballot sequences, and we establish its global invariance across $\mathcal{M}_{g}^{\mathrm{trop}}$ via a tropical balancing condition across codimension-$1$ walls. Via deformation and path lifting, this yields an effective method to construct Catalan-many gonality-witnessing maps for any generic metric graph, establishing that the tree gonality of any genus-$g$ metric graph is at most $\lceil g/2 \rceil + 1$.
Connectivity of Districting Metagraphs
In this article, we prove irreducibility results for a family of Markov chains arising in the study of redistricting and detecting gerrymandering. These chains use ReCom moves as their transition mechanism and are commonly employed in Markov chain Monte Carlo methods to generate ensembles of districting plans. Such ensembles are frequently used for outlier analysis, in which a proposed districting map is compared against the ensemble to determine whether it behaves atypically; this methodology often appears in expert testimony in redistricting litigation.
We show that when the underlying dual graph is a triangular subset of the triangular lattice with side length 5 or larger, and each district consists of two merged geographic regions, the associated ReCom chain is irreducible. This provides another entry in the very small list of known classes of ReCom chains for which irreducibility has been established.
We also demonstrate the fragility of this phenomenon by constructing an infinite family of maps for which the corresponding ReCom chain is not irreducible. Indeed, we produce a districting map that, after implementing a single ReCom move, always yields the same original map. These examples remain structurally close to the triangular lattice: they arise as subdivisions of the triangular lattice, and the resulting graphs have maximum degree at most 8.
Finally, we prove irreducibility for a further special case: the ReCom chain on a 3 x n grid graph partitioned into three districts of size n.
The tree packing conjecture for trees of almost linear maximum degree
We prove that there is $c>0$ such that for all sufficiently large $n$, if $T_1,\dots,T_n$ are any trees such that $T_i$ has $i$ vertices and maximum degree at most $cn/\log n$, then $\{T_1,\dots,T_n\}$ packs into $K_n$. Our main result actually allows to replace the host graph $K_n$ by an arbitrary quasirandom graph, and to generalize from trees to graphs of bounded degeneracy that are rich in bare paths, contain some odd degree vertices, and only satisfy much less stringent restrictions on their number of vertices.
Generalized discrete Markov spectra
We develop a generalized Markov theory for the Markov--Lagrange and Markov spectra. The classical discrete Markov spectrum is governed by Markov numbers, the positive integers occurring in solutions of the Markov equation. We show that this relation admits a cluster-combinatorial extension governed by generalized Markov numbers. Replacing the Christoffel-word formalism by snake graphs, we construct generalized discrete Markov spectra attached to the generalized Markov equations \[ x^2+y^2+z^2+k_1yz+k_2zx+k_3xy=(3+k_1+k_2+k_3)xyz. \] Every element of these spectra is realized simultaneously as a Lagrange constant of a quadratic irrational and as a Markov constant of a real indefinite binary quadratic form. We also prove structural results for these spectra, determine their contribution in the transition interval below Freiman's constant, and identify the boundary value obtained from regular lines of irrational slope, again realizing it both as a Lagrange constant and as a Markov constant.
The Borowiecki-Broere Generalized Total Coloring Conjecture for Planar Graphs
We prove the conjecture of Borowiecki and Broere that every finite simple planar graph admits a generalized total coloring with four colors: a proper vertex coloring with four colors together with an edge coloring with four colors in which each edge color class is a forest and no edge receives the color of either endpoint. In fact every proper four-coloring of such a graph extends to an edge coloring of the required kind. The proof combines a component-count inequality for planar graphs whose vertices are partitioned into four independent sets, obtained by completing to a triangulation, with the matroid partition theorem applied to four graphic matroids. A Lean 4 formalization relative to six named background assumptions is described below.
A Counterexample to Wormald's Conjecture
We give a counterexample to Wormald's conjecture. A 16-vertex cubic graph, the disjoint union of $K_{3,3}$ with a 10-vertex bridged graph built from two subdivided copies of $K_4$, has no partition of its edges into two isomorphic spanning linear forests. The obstruction is parity: any such partition would force every monochromatic component to have even order while requiring a five-vertex side of a bridge to be partitioned into such components. Adjoining copies of $K_4$ gives counterexamples in every order $16+4t$. The counterexample is disconnected and leaves the connected case unresolved. The full family is verified in Lean without custom axioms.
Removable matchings in $2$-connected graphs
A matching $M$ of a $2$-connected graph $G$ is removable if $G-M$ is $2$-connected, extending Halin's classical notion of a removable edge. We prove that for every integer $d\ge 5$, every $2$-connected graph $G$ with $δ(G)\ge d$ and $|V(G)|\ge 2d$ has a removable $d$-matching. This is best possible, since the complete bipartite graph $K_{d,\,n-d}$ on $n\,(\ge 2d)$ vertices has no $(d+1)$-matching. Consequently, our result gives a complete answer, for every $d\ge 5$, to a question of Li, Zhou, Fujita, and Mao on the maximum size of a removable matching guaranteed by the minimum degree. The previously best known bound, due to Li, Zhou, Fujita, and Mao and to Chu, Kim, and Park, guaranteed a removable $(d-2)$-matching under the same assumptions. Our proof is based on an analysis of \emph{minimal non-removable matchings}, matchings that are not removable although all of their proper submatchings are.
Bounds for the Vertex Chromatic Number of Connected Triangle-Free Graphs
It was recently shown that every connected graph of order $n \geq 5$ and size $m$ satisfies $χ(G) \leq \left\lceil \frac{m}{\sqrt{n}} \right\rceil$, and it was asked whether the stronger inequality $χ(G) \leq \left\lceil \frac{m}{2\sqrt{n}} \right\rceil + 1$ holds for every connected triangle-free graph. In this paper, we answer this question in the affirmative. In fact, we prove that every connected triangle-free graph $G$ with $G \not\cong C_5$ satisfies $χ(G) \leq \left\lceil \frac{m}{\sqrt{5.5n}} \right\rceil + 1$, where the constant $\sqrt{5.5}$ cannot be replaced by any constant greater than or equal to $\sqrt{6}$, and the equality holds for the Grötzsch graph and for every odd cycle of length between $7$ and $21$.
A note on near alternating sign matrices with prescribed row and column weights
We study near alternating sign matrices with prescribed row and column weights. After recalling the basic definitions and the necessary conditions coming from the Gale--Ryser theorem, we give a graph-theoretic characterization of the existence problem. More precisely, we show that a near alternating sign matrix with prescribed row and column weight sequences exists if and only if there exists a binary array with the same weights whose associated adjacency graph is bipartite. This reformulation shows that the Gale--Ryser conditions are not sufficient in general. We then formulate a natural conjecture up to permutations of the row and column weight sequences, and present some positive results, based on convex binary arrays and composition constructions.