graph
34516 papers tagged with this keyword
Hamilton cycles in pseudorandom graphs: resilience and approximate decompositions
Dirac's classical theorem asserts that, for $n \ge 3$, any $n$-vertex graph with minimum degree at least $n/2$ is Hamiltonian. Furthermore, if we additionally assume that such graphs are regular, then, by the breakthrough work of Csaba, Kühn, Lo, Osthus and Treglown, they admit a decomposition into Hamilton cycles and at most one perfect matching, solving the well-known Nash-Williams conjecture. In the pseudorandom setting, it has long been conjectured that similar results hold in much sparser graphs. We prove two overarching theorems for graphs that exclude excessively dense subgraphs, which yield asymptotically optimal resilience and Hamilton-decomposition results in sparse pseudorandom graphs. In particular, our results imply that for every fixed $γ> 0$, there exists a constant $C > 0$ such that if $G$ is a spanning subgraph of an $(n,d,λ)$-graph satisfying $δ(G) \ge (\tfrac12 + γ)d$ and $d/λ\ge C$, then $G$ must contain a Hamilton cycle. Secondly, we show that for every $\varepsilon > 0$, there is $C > 0$ so that every $(n,d,λ)$-graph with $d/λ\ge C$ contains at least $(\tfrac12 - \varepsilon)d$ edge-disjoint Hamilton cycles, and, finally, we prove that the entire edge set of $G$ can be covered by no more than $(\tfrac12 + \varepsilon)d$ such cycles. All bounds are asymptotically optimal and significantly improve earlier results on Hamiltonian resilience, packing, and covering in sparse pseudorandom graphs.
Conditions for building generalized action graphs from sequences
This paper explores the properties of directed graphs, termed generalized action graphs, which exhibit a strong connection to certain number sequences. Focusing on the structural and combinatorial aspects, we investigate the conditions under which specific sequences can generate generalized action graphs. Building upon prior research in this field, we analyze specific features of these graphs and how they correspond to patterns and properties in their sequences. These findings support a broader conclusion that establishes framework for identifying which sequences can produce generalized action graphs.
Character theoretic techniques for nonabelian partial difference sets
A $(v,k,λ, μ)$-partial difference set (PDS) is a subset $D$ of size $k$ of a group $G$ of order $v$ such that every nonidentity element $g$ of $G$ can be expressed in either $λ$ or $μ$ different ways as a product $xy^{-1}$, $x, y \in D$, depending on whether or not $g$ is in $D$. If $D$ is inverse closed and $1 \notin D$, then the Cayley graph ${\rm Cay}(G,D)$ is a $(v,k,λ, μ)$-strongly regular graph (SRG). PDSs have been studied extensively over the years, especially in abelian groups, where techniques from character theory have proven to be particularly effective. Recently, there has been considerable interest in studying PDSs in nonabelian groups, and the purpose of this paper is develop character theoretic techniques that apply in the nonabelian setting. We prove that analogues of character theoretic results of Ott about generalized quadrangles of order $s$ also hold in the general PDS setting, and we are able to use these techniques to compute the intersection of a putative PDS with the conjugacy classes of the parent group in many instances. With these techniques, we are able to prove the nonexistence of PDSs in numerous instances and provide severe restrictions in cases when such PDSs may still exist. Furthermore, we are able to use these techniques constructively, computing several examples of PDSs in nonabelian groups not previously recognized in the literature, including an infinite family of genuinely nonabelian PDSs associated to the block-regular Steiner triple systems originally studied by Clapham and related infinite families of genuinely nonabelian PDSs associated to the block-regular Steiner $2$-designs first studied by Wilson.
Phylogenetic network models as graphical models
The displayed tree phylogenetic network model is shown to sit as a natural submodel of the graphical model associated to a directed acyclic graph (DAG). This representation allows to derive a number of results about the displayed tree model. In particular, the concept of a local modification to a DAG model is developed and applied to the displayed tree model. As an application, some nonidentifiability issues related to the displayed tree models are highlighted as they relate to reticulation edges and stacked reticulations in the networks. We also derive rank conditions on flattenings of probability tensors for the displayed tree model, generalizing classic results for phylogenetic tree models.
The Squishy Grid Problem
In this paper we consider the problem of approximating Euclidean distances by the infinite integer grid graph. Although the topology of the graph is fixed, we have control over the edge-weight assignment $w:E\to \mathbb{R}_{\ge 0}$, and hope to have grid distances be asymptotically isometric to Euclidean distances, that is, for all grid points $u,v$, $\mathrm{dist}_w(u,v) = (1\pm o(1))\|u-v\|_2$. We give three methods for solving this problem, each attractive in its own way.
* Our first construction is based on an embedding of the recursive, non-periodic pinwheel tiling of Radin and Conway into the integer grid. Distances in the pinwheel graph are asymptotically isometric to Euclidean distances, but no explicit bound on the rate of convergence was known. We prove that the multiplicative distortion of the pinwheel graph is $(1+1/Θ(\log^ξ\log D))$, where $D$ is the Euclidean distance and $ξ=Θ(1)$. The pinwheel tiling approach is conceptually simple, but can be improved quantitatively.
* Our second construction is based on a hierarchical arrangement of "highways." It is simple, achieving stretch $(1 + 1/Θ(D^{1/9}))$, which converges doubly exponentially faster than the pinwheel tiling approach.
* The first two methods are deterministic. An even simpler approach is to sample the edge weights independently from a common distribution $\mathscr{D}$. Whether there exists a distribution $\mathscr{D}^*$ that makes grid distances Euclidean, asymptotically and in expectation, is major open problem in the theory of first passage percolation. Previous experiments show that when $\mathscr{D}$ is a Fisher distribution, grid distances are within 1\% of Euclidean. We demonstrate experimentally that this level of accuracy can be achieved by a simple 2-point distribution that assigns weights 0.41 or 4.75 with probability 44\% and 56\%, respectively.
On the DP-chromatic Number of Cartesian Products of Critical Graphs
DP-coloring (also called correspondence coloring) is a well-studied generalization of list coloring introduced by Dvořák and Postle in 2015. The following sharp bound on the DP-chromatic number of the Cartesian product of graphs $G$ and $H$ is known: $χ_{DP}(G \square H) \leq \text{min}\{χ_{DP}(G) + \text{col}(H), χ_{DP}(H) + \text{col}(G) \} - 1$ where $χ_{DP}(G)$ is the DP-chromatic number of $G$ and $\text{col}(H)$ is the coloring number of $H$. We seek to understand when $χ_{DP}(G \square K_{l,t})$ is far from its chromatic number: $χ(G \square K_{l,t}) = \max \{χ(G), 2 \}$ in the case that $G$ is a $k$-critical graph with $χ_{DP}(G)=k$. In particular, we have $χ_{DP}(G \square K_{l,t}) \leq k + l$, and for fixed $l$ we wish to find the smallest $t$ for which this upper bound is achieved. This can be viewed as an extension of the classic result that the list chromatic number of $K_{l,t}$ is $l+1$ if and only if $t \geq l^l$. Our results illustrate that the DP color function of $G$, the DP analogue of the chromatic polynomial, provides a concept and tool that is useful for making progress on this problem.
Slavic Techniques for Hat Guessing Algorithms
2023 undergraduate thesis on a deterministic "hat game." For a digraph $D$, each player stands on a vertex $v$, is assigned a hat from $h(v)$ possible colors, and makes $g(v)$ guesses of her hat's color based on her out-neighbors' hats. If there exists a collective strategy that guarantees a correct guess for any hat assignment, the game is winnable. Which games $(D,g,h)$ are winnable? Two much-studied parameters: $μ(D)$ is the maximum integer $k$ such that $(D,1,k)$ is winnable, and $\hatμ(D)$ is the supremum of $h/g$ for integer $h, g$ such that $(D,g,h)$ is winnable.
Chapter 0 is a casual, riddle-based introduction. Chapter 1 taxonomizes the games, surveys all previous work, and summarizes the piece. Chapter 2 proves lemmata and easy cases. Chapter 3 uses "hats as hints" and "admissible paths" for games on cycles. Chapter 4 generalizes several "constructors" and applies them to tree games. Chapter 5 uses "combinatorial prisms" for a new angle on the well-studied $K_{n,m}$ games. In chapter 6, we apply "dependency digraphs" to the continuous limit of this game. Chapter 7 collects open problems and minor results.
We show:
$(C_{k\geq 4},1,h)$ is winnable if and only if: $h=3$ and $k$ is divisible by $3$ or equal to $4$, $h\leq 4$ and the $h(v)$ sequence $(3,2,3)$ or $(2,3,3)$ appears in the cycle, or the $h(v)$ sequence $(2,...,2)$ appears with no intervening value $>4$.
$(T, 1, h)$ is winnable for tree $T$ iff $T$ has a subtree $T'$ with $h(v)\leq 2^{deg_{T'}(v)}$ for all $v\in V(T')$.
For a digraph $D$, $\hatμ(D)\leq e(Δ^-+1)$. For a graph $G$, $\hatμ(G)\leq (Δ-1)^{1-Δ} Δ^Δ<eΔ$.
$(\overrightarrow{C}_k, g, h)$ is unwinnable if $g(v_i)/h(v_i) + g(v_{i+1})/h(v_{i+1}) < 1$ for some $i$.
And much else. Important open questions: what other graph parameters or properties bound $μ$? What complexity classes are at play?
Solid bricks that every $b$-invariant edge is solitary
A graph $G$ is a brick if it is 3-connected and $G-\{u,v\}$ has a perfect matching for any two distinct vertices $u$ and $v$ of $G$. A brick $G$ is solid if for any two vertex disjoint odd cycles $C_1$ and $C_2$ of $G$, $G-(V(C_1)\cup V(C_2))$ has no perfect matching. Lucchesi and Murty proposed a problem concerning the characterization of bricks, distinct from $K_4$, $\overline{C_6}$ and the Petersen graph, in which every $b$-invariant edge is solitary. In this paper, we show that for a solid brick $G$ of order $n$ that is distinct from $K_4$, every $b$-invariant edge of $G$ is solitary if and only if $G$ is a wheel $W_n$.
The spectra of graph substitutions
Let $(X,E_X)$ and $(V,E_V)$ be finite connected graphs without loops. We assume that $V$ has two distinguished vertices $a,b$ and an automorphism $γ$ which exchanges $a$ and~$b$. The $V$-edge substitution of $X$ is the graph $X[V]$ where each edge $[x,y] \in E_X$ is replaced by a copy of $V$, identifying $x$ with $a$ and $y$ with $b$ or vice versa. (The latter choice does not matter; it yields isomorphic graphs.) The aim is to describe the spectrum of $X[V]$ in terms of the spectra of $X$ and $V$. Instead of the spectra of the adjacency matrices, we consider the versions which are normalised by dividing each row by the row sum (the vertex degree). These are stochastic, reversible matrices, and our approach applies more generally to reversible transition matrices corresponding to arbitrary positive edge weights invariant under $γ$. We write $P$ for the transition matrix over $X$ and $Q$ for the one over $V$. Together, they induce the matrix $P_*$ over $X[V]$.
The main part of the spectrum of $P_*$ is the response of the natural frequencies of $X$ to substituting $V$, given by a functional equation coming from a rational function induced by~$Q$. A second part comes from specific eigenvalues of $Q$, if present. Finally, there is the part of $\mathsf{spec}(P_*)$ whose eigenfunctions have $X$ as a nodal set. The results depend on issues like whether $X$ has circles of even length and on the eigenvalues of the restriction of $Q$ to $V \setminus \{ a,b\}$, which are classified into 4 possible types. Quite subtle is the issue of determining the multiplicities of the latter as eigenvalues of $P_*$ in terms of the input.
A note on the strength of a hypercube
As a generalization of super magic strength, the strength of a graph was introduced in [R. Ichishima, F.A. Muntaner-Batle, A. Oshima, Bounds for the strength of graphs, Austral. J. of Combin. 72(3) (2018) 492-508]. For a vertex ordering $f$ of graph $G$, the strength of $f$ is the maximum sum of the labels on any pair of adjacent vertices. The strength of $G$ is defined as the minimum strength of $f$, taken over all vertex orderings of $G$. The strength of the hypercube is unknown, but bounded. In this note, we provide an improved upper bound for the strength of a hypercube.
Tropical elliptic curves in 3-space
We classify trivalent graphs with 16 vertices and 16 edges that arise from intersecting two quadratic surfaces in tropical 3-space. There are 4,009 such graphs, representing maximally degenerate stable models of elliptic curves realized as tropical complete intersections of two quadrics. Our classification is derived from 405,246,030 regular unimodular triangulations of the 4-dimensional Cayley polytope.
Perfect Graph Modification Problems: An Integer Programming Approach
Graph modification problems, which aim to find a small set of modifications to a graph so that it satisfies a desired property, have been studied for several special graph classes. The literature is rather rich in NP-completeness results and polynomial time solvable cases. However, to the best of our knowledge, only a few exact algorithms have been suggested to address NP-hard cases. In this work, we propose exact solution methods based on integer programming for three perfect graph modification problems: minimum perfect editing, minimum perfect completion and the perfect sandwich problem. The minimum perfect editing problem inquires the smallest number of edge additions and deletions to make a graph perfect, while the completion problem allows only edge additions. In the perfect sandwich problem, only a given subset of non-edges can be changed to edges, and the problem asks whether a perfect graph can be obtained in this way. The proposed methods are based on the Strong Perfect Graph Theorem. We represent odd holes and odd antiholes as linear inequalities, and formulate an integer programming model to solve minimum perfect editing problem. To address the exponential number of constraints, we propose a cutting plane algorithm which relies on finding odd holes and odd antiholes. To enhance the practical efficiency of the cutting plane algorithm, we address the expected number of odd holes and odd antiholes in random graphs. In addition, we propose a heuristic algorithm to make a given graph perfect, which is used to obtain improved upper bounds for the editing and the completion problems. Finally, we demonstrate empirical effectiveness of the proposed methods through computational experiments.
On the $l_\infty$-analog of Algebraic Connectivity
The algebraic connectivity $a(G)$ of a graph $G$ is defined as the second smallest eigenvalue of its Laplacian matrix $L(G)$. It also admits a variational characterization as the minimum of a quadratic form associated with $L(G)$, subject to $l_2$-norm constraints. In 2024, Andrade and Dahl investigated an analogous parameter $γ(G)$, defined using the $l_\infty$-norm instead of the $l_2$-norm. They demonstrated that $γ(G)$ can be computed in polynomial time using linear programming. In this article, we study the combinatorial significance of $γ(G)$, revealing that it can be efficiently computed using a breadth-first search (BFS) algorithm. We show that $γ(G)$ characterizes the connectedness of the graph $G$. We further establish new bounds on $γ(G)$, and analyze the graphs that attain extremal values. Finally, we derive an elegant formula for $γ(G)$ when $G$ is the Cartesian product of finitely many graphs. Applying this formula, we explicitly compute $γ(G)$ for various families of graphs, including hypercube graphs, Hamming graphs, and others.
Rigidity of Graphs and Frameworks: A Matroid Theoretic Approach
A $d$-dimensional (bar-and-joint) framework $(G,p)$ consists of a graph $G=(V,E)$ and a realisation $p:V\to \mathbb{R}^d$. It is rigid if every continuous motion of the vertices which preserves the lengths of the edges is induced by an isometry of $\mathbb{R}^d$. The study of rigid frameworks has increased rapidly since the 1970s stimulated by numerous applications in areas such as civil and mechanical engineering, CAD, molecular conformation, sensor network localisation and low rank matrix completion. We will describe some of the main results in combinatorial rigidity theory and their applications to other areas of combinatorics, putting an emphasis on links to matroid theory.
Domination, matching and transversal numbers for Berge-$G$ hypergraphs
Let $G=(V(G),E(G))$ be a graph and $H=(V(H),E(H))$ be a hypergraph. The hypergraph $H$ is a {\it Berge-G} if there is a bijection $f : E(G) \mapsto E(H)$ such that for each $e \in E(G)$ we have $e \subseteq f(e)$. We define {\it dilations of $G$} as a particular subfamily of not necessarily uniform Berge-$G$ hypergraphs. We examine domination, matching and transversal numbers and some relation between these parameters in that family of hypergraphs.
Our work generalizes previous results concerning generalized power hypergraphs.
A Cop-Win Graph with Maximum Capture Time $ω$
The game of cops and robbers is played on a fixed (finite or infinite) graph $G$. The cop chooses his starting position, then the robber chooses his. After that, they take turns and move to adjacent vertices, or stay at their current vertex, with the cop moving first. The game finishes if the cop lands on the robber's vertex. In that case we say that the cop wins, while if the robber is never caught then we say that the robber wins. The graph $G$ is called cop-win if the cop has a winning strategy.
In this paper we construct an infinite cop-win graph in which, for any two given starting positions of the cop and the robber, we can name in advance a finite time in which the cop can capture the robber, but these finite times are not bounded above. This shows that this graph has maximum capture time (CR-ordinal) $ω$, disproving a conjecture of Bonato, Gordinowicz and Hahn that no such graph should exist.
New bounds for linear arboricity and related problems
A linear forest is a collection of vertex-disjoint paths. The Linear Arboricity Conjecture states that every graph of maximum degree $Δ$ can be decomposed into at most $\lceil(Δ+1)/2\rceil$ linear forests. We prove that $Δ/2 + \mathcal{O}(\log n)$ linear forests suffice, where $n$ is the number of vertices of the graph. If $Δ= Ω(n^\varepsilon)$, this is an exponential improvement over the previous best error term. We achieve this by generalising Pósa rotations from rotations of one endpoint of a path to simultaneous rotations of multiple endpoints of a linear forest. This method has further applications, including the resolution of a conjecture of Feige and Fuchs on spanning linear forests with few paths and the existence of optimally short tours in connected regular graphs.
Potential Theory and the Boundary of Combinatorial Graphs
Let $G=(V,E)$ be a finite, connected graph. We investigate a notion of boundary $\partial G \subseteq V$ and argue that it is well behaved from the point of view of potential theory. This is done by proving a number of discrete analogous of classical results for compact domains $Ω\subset \mathbb{R}^d$. These include (1) an analogue of Pólya's result that a random walk in $Ω$ typically hits the boundary $\partial Ω$ within $\lesssim \mbox{diam}(Ω)^2$ units of time, (2) an analogue of the Faber-Krahn inequality, (3) an analogue of the Hardy inequality, (4) an analogue of the Alexandrov-Bakelman-Pucci estimate, (5) a stability estimate for hot spots and (6) a Theorem of Björck stating that probability measures $μ$ that maximize $\int_{Ω\times Ω} \|x-y\|^α dμ(x) dμ(y)$ are fully supported in the boundary.
Marked multi-colorings and marked chromatic polynomials of hypergraphs and subspace arrangements
We introduce the concepts of marked multi-colorings, marked chromatic polynomials, and marked (multivariate) independence series for hypergraphs. We show that the coefficients of the q-th power of the marked independence series of a hypergraph coincide with its marked chromatic polynomials in q, thereby generalizing a corresponding result for graphs established in Chaithra et al. 2025 (arXiv:2503.11230). These notions are then naturally extended to subspace arrangements. In particular, we prove that the number of marked multi q-colorings of a subspace arrangement is a polynomial in q. We also define the (marked) independence series for subspace arrangements and prove that the (-q)-th power of the independence series of a hyperplane arrangement has non-negative coefficients. We further conjecture that the (-q)-th power of the independence series of a hypergraph has non-negative coefficients if and only if all its edges have even cardinality.
General Strong Bound on the Uncrossed Number which is Tight for the Edge Crossing Number
We investigate a very recent concept for visualizing various aspects of a graph in the plane using a collection of drawings introduced by Hliněný and Masařík [GD 2023]. Formally, given a graph $G$, we aim to find an uncrossed collection containing drawings of $G$ in the plane such that each edge of $G$ is not crossed in at least one drawing in the collection. The uncrossed number of $G$ ($unc(G)$) is the smallest integer $k$ such that an uncrossed collection for $G$ of size $k$ exists. The uncrossed number is lower-bounded by the well-known thickness, which is an edge-decomposition of $G$ into planar graphs. This connection gives a trivial lower-bound $\lceil\frac{|E(G)|}{3|V(G)|-6}\rceil \le unc(G)$. In a recent paper, Balko, Hliněný, Masařík, Orthaber, Vogtenhuber, and Wagner [GD 2024] presented the first non-trivial and general lower-bound on the uncrossed number. We summarize it in terms of dense graphs (where $|E(G)|=ε(|V(G)|)^2$ for some $ε>0$): $\lceil\frac{|E(G)|}{c_ε|V(G)|}\rceil \le unc(G)$, where $c_ε\ge 2.82$ is a constant depending on $ε$.
We improve the lower-bound to state that $\lceil\frac{|E(G)|}{3|V(G)|-6-\sqrt{2|E(G)|}+\sqrt{6(|V(G)|-2)}}\rceil \le unc(G)$. Translated to dense graphs regime, the bound yields a multiplicative constant $c'_ε=3-\sqrt{(2-ε)}$ in the expression $\lceil\frac{|E(G)|}{c'_ε|V(G)|+o(|V(G)|)}\rceil \le unc(G)$. Hence, it is tight (up to low-order terms) for $ε\approx \frac{1}{2}$ as warranted by complete graphs.
In fact, we formulate our result in the language of the maximum uncrossed subgraph number, that is, the maximum number of edges of $G$ that are not crossed in a drawing of $G$ in the plane. In that case, we also provide a construction certifying that our bound is asymptotically tight (up to low-order terms) on dense graphs for all $ε>0$.