graph
35299 papers tagged with this keyword
Spanning Euler Tours in Hypergraphs
Published
• View Publication
• BIB
Motivated by generalizations of de Bruijn cycles to various combinatorial structures (Chung, Diaconis, and Graham), we study various Euler tours in set systems. Let $\mathcal{G}$ be a hypergraph whose corank and rank are $c\geq 3$ and $k$, respetively. The minimum $t$-degree of $\mathcal{G}$ is the fewest number of edges containing every $t$-subset of vertices. An Euler tour (family, respectively) in $\mathcal{G}$ is a (family of, respectively) closed walk(s) that (jointly, respectively) traverses each edge of $\mathcal{G}$ exactly once. An Euler tour is spanning if it traverses all the vertices of $\mathcal{G}$. We show that $\mathcal{G}$ has an Euler family if its incidence graph is $(1+\lceil k/c \rceil)$-edge-connected. Provided that the number of vertices of $\mathcal{G}$ meets a reasonable lower bound, and either $2$-degree is at least $k$ or $t$-degree is at least one for $t\geq 3$, we show that $\mathcal{G}$ has a spanning Euler tour. To exhibit the usefulness of our results, we solve a number of open problems concerning ordering blocks of a design (these have applications in other fields such as erasure-correcting codes). Answering a question of Horan and Hurlbert, we show that a Steiner quadruple system of order $n$ has a (spanning) Euler tour if and only if $n\geq 8$ and $n\equiv 2,4 \pmod 6$, and we prove a similar result for all Steiner systems, as well as all designs except for 2-designs whose index $λ$ is less than the largest block size. We nearly solve a conjecture of Dewar and Stevens on the existence of universal cycles in pairwise balanced designs. Motivated by R.L. Graham's question on the existence of Hamiltonian cycles in block-intersection graphs of Steiner triple systems, we establish the Hamiltonicity of the block-intersection graph of a large family of (not necessarily uniform) designs. All our results are constructive and of polynomial time complexity.
Exact and Heuristic Computation of the Scanwidth of Directed Acyclic Graphs
Published
• View Publication
• BIB
To measure the tree-likeness of a directed acyclic graph (DAG), a new width parameter that considers the directions of the arcs was recently introduced: scanwidth. We present the first algorithm that efficiently computes the exact scanwidth of general DAGs. For DAGs with one root and scanwidth $k$ it runs in $O(k \cdot n^k \cdot m)$ time. The algorithm also functions as an FPT algorithm with complexity $O(2^{4 \ell - 1} \cdot \ell \cdot n + n^2)$ for phylogenetic networks of level-$\ell$, a type of DAG used to depict evolutionary relationships among species. Our algorithm performs well in practice, being able to compute the scanwidth of synthetic networks up to 30 reticulations and 100 leaves within 500 seconds. Furthermore, we propose a heuristic that obtains an average practical approximation ratio of 1.5 on these networks. While we prove that the scanwidth is bounded from below by the treewidth of the underlying undirected graph, experiments suggest that for networks the parameters are close in practice.
Plane Hamiltonian Cycles in Convex Drawings
Published
• View Publication
• BIB
A conjecture by Rafla from 1988 asserts that every simple drawing of the complete graph $K_n$ admits a plane Hamiltonian cycle. It turned out that already the existence of much simpler non-crossing substructures in such drawings is hard to prove. Recent progress was made by Aichholzer et al. and by Suk and Zeng who proved the existence of a plane path of length $Ω(\log n / \log \log n)$ and of a plane matching of size $Ω(n^{1/2})$ in every simple drawing of $K_{n}$.
Instead of studying simpler substructures, we prove Rafla's conjecture for the subclass of convex drawings, the most general class in the convexity hierarchy introduced by Arroyo et al. Moreover, we show that every convex drawing of $K_n$ contains a plane Hamiltonian path between each pair of vertices (Hamiltonian connectivity) and a plane $k$-cycle for each $3 \leq k \leq n$ (pancyclicity), and present further results on maximal plane subdrawings.
Generalized Ramsey--Turán density for cliques
Published
• View Publication
• BIB
We study the generalized Ramsey--Turán function $\mathrm{RT}(n,K_s,K_t,o(n))$, which is the maximum possible number of copies of $K_s$ in an $n$-vertex $K_t$-free graph with independence number $o(n)$. The case when $s=2$ was settled by Erd{ő}s, S{ó}s, Bollob{á}s, Hajnal, and Szemerédi in the 1980s. We combinatorially resolve the general case for all $s\ge 3$, showing that the (asymptotic) extremal graphs for this problem have simple (bounded) structures. In particular, it implies that the extremal structures follow a periodic pattern when $t$ is much larger than $s$. Our results disprove a conjecture of Balogh, Liu, and Sharifzadeh and show that a relaxed version does hold.
Self-avoiding walk is ballistic on graphs with more than one end
Published in Forum of Mathematics, Sigma 13 (2025) e179
• View Publication
• BIB
We prove that on any transitive graph $G$ with infinitely many ends, a self-avoiding walk of length $n$ is ballistic with extremely high probability, in the sense that there exist constants $c,t>0$ such that $\mathbb{P}_n(d_G(w_0,w_n)\geq cn)\geq 1-e^{-tn}$ for every $n\geq 1$. Furthermore, we show that the number of self-avoiding walks of length $n$ grows asymptotically like $μ_w^n$, in the sense that there exists $C>0$ such that $μ_w^n\leq c_n\leq Cμ_w^n$ for every $n\geq 1$. Our results extend more generally to quasi-transitive graphs with infinitely many ends, satisfying the additional technical property that there is a quasi-transitive group of automorphisms of $G$ which does not fix an end of $G$.
Simplification & Incidence: How an Incidence-focused Perspective Patches Category-theoretic Problems in Graph Theory
By applying simplification operations to categories of multigraphs, several natural graph operations are shown to demonstrate categorical issues. The replacement of an undirected edge with a directed cycle for digraphs admits both a left and a right adjoint, while the analogous operation for quivers only admits a left adjoint. The clique-replacement graph, intersection graph, and dual hypergraph fail to be functorial with traditional graph homomorphisms. The three failures are remedied by considering weak set-system homomorphisms, which form a category isomorphic to both the category of incidence structures and a lax comma category.
Identifying codes in graphs of given maximum degree: Characterizing trees
Published in Discrete Mathematics, Volume 349, Issue 2, February 2026, 114826
• View Publication
• BIB
An identifying code of a closed-twin-free graph $G$ is a dominating set $S$ of vertices of $G$ such that any two vertices in $G$ have a distinct intersection between their closed neighborhoods and $S$. It was conjectured that there exists an absolute constant $c$ such that for every connected graph $G$ of order $n$ and maximum degree $Δ$, the graph $G$ admits an identifying code of size at most $( \frac{Δ-1}Δ )n +c$. We provide significant support for this conjecture by exactly characterizing every tree requiring a positive constant $c$ together with the exact value of the constant. Hence, proving the conjecture for trees. For $Δ=2$ (the graph is a path or a cycle), it is long known that $c=3/2$ suffices. For trees, for each $Δ\ge 3$, we show that $c=1/Δ\le 1/3$ suffices and that $c$ is required to have a positive value only for a finite number of trees. In particular, for $Δ= 3$, there are 12 trees with a positive constant $c$ and, for each $Δ\ge 4$, the only tree with positive constant $c$ is the $Δ$-star. Our proof is based on induction and utilizes recent results from [F. Foucaud, T. Lehtilä. Revisiting and improving upper bounds for identifying codes. SIAM Journal on Discrete Mathematics, 2022]. We remark that there are infinitely many trees for which the bound is tight when $Δ=3$; for every $Δ\ge 4$, we construct an infinite family of trees of order $n$ with identification number very close to the bound, namely $\left( \frac{Δ-1+\frac{1}{Δ-2}}{Δ+\frac{2}{Δ-2}} \right) n > (\frac{Δ-1}Δ ) n -\frac{n}{Δ^2}$. Furthermore, we also give a new tight upper bound for identification number on trees by showing that the sum of the domination and identification numbers of any tree $T$ is at most its number of vertices.
Resolving Sets in Temporal Graphs
Published
• View Publication
• BIB
A \emph{resolving set} $R$ in a graph $G$ is a set of vertices such that every vertex of $G$ is uniquely identified by its distances to the vertices of $R$. Introduced in the 1970s, this concept has been since then extensively studied from both combinatorial and algorithmic points of view. We propose a generalization of the concept of resolving sets to temporal graphs, \emph{i.e.}, graphs with edge sets that change over discrete time-steps. In this setting, the \emph{temporal distance from $u$ to $v$} is the earliest possible time-step at which a journey with strictly increasing time-steps on edges leaving $u$ reaches $v$, \emph{i.e.}, the first time-step at which $v$ could receive a message broadcast from $u$. A \emph{temporal resolving set} of a temporal graph $\mathcal{G}$ is a subset $R$ of its vertices such that every vertex of $\mathcal{G}$ is uniquely identified by its temporal distances from vertices of $R$.
We study the problem of finding a minimum-size temporal resolving set, and show that it is NP-complete even on very restricted graph classes and with strong constraints on the time-steps: temporal complete graphs where every edge appears in either time-step~1 or~2, temporal trees where every edge appears in at most two consecutive time-steps, and even temporal subdivided stars where every edge appears in at most two (not necessarily consecutive) time-steps. On the other hand, we give polynomial-time algorithms for temporal paths and temporal stars where every edge appears in exactly one time-step, and give a combinatorial analysis and algorithms for several temporal graph classes where the edges appear in periodic time-steps.
Upper Bounds of the Odd Chromatic Number of a Graph in terms of its Thickness
An odd coloring of a graph $G$ is a proper vertex coloring $\varphi$ with the property that for each non-isolated vertex $v\in V(G)$, there exists a color $c$ such that the cardinality of $\varphi^{-1}(c)\cap N(v)$ is odd. The concept of odd colorings is introduced by Petruševski and Škrekovski. In this paper, we investigate upper bounds of the odd chromatic number of a graph in terms of its thickness and other graphical parameters. In particular, we show that a graph $G$ with the minimum degree at least $2θ(G)-1$ and girth at least $6$ is odd $6θ(G)$-colorable, where $θ(G)$ is the thickness of $G$.
On uniqueness of packing of three copies of 2-factors
Published
• View Publication
• BIB
The packing of three copies of a graph $G$ is the union of three edge-disjoint copies (with the same vertex set) of $G$. In this paper, we completely solve the problem of the uniqueness of packing of three copies of 2-regular graphs. In particular, we show that $C_3,C_4,C_5,C_6$ and $2C_3$ have no packing of three copies, $C_7,C_8,C_3 \cup C_4, C_4 \cup C_4, C_3 \cup C_5$ and $3C_3$ have unique packing, and any other collection of cycles has at least two distinct packings.
Local limit of massive spanning forests on the complete graph
We identify the local limit of massive spanning forests on the complete graph. This generalizes a well-known theorem of Grimmett on the local limit of uniform spanning trees on the complete graph.
The Real Tropical Geometry of Neural Networks
We consider a binary classifier defined as the sign of a tropical rational function, that is, as the difference of two convex piecewise linear functions. The parameter space of ReLU neural networks is contained as a semialgebraic set inside the parameter space of tropical rational functions. We initiate the study of two different subdivisions of this parameter space: a subdivision into semialgebraic sets, on which the combinatorial type of the decision boundary is fixed, and a subdivision into a polyhedral fan, capturing the combinatorics of the partitions of the dataset. The sublevel sets of the 0/1-loss function arise as subfans of this classification fan, and we show that the level-sets are not necessarily connected. We describe the classification fan i) geometrically, as normal fan of the activation polytope, and ii) combinatorially through a list of properties of associated bipartite graphs, in analogy to covector axioms of oriented matroids and tropical oriented matroids. Our findings extend and refine the connection between neural networks and tropical geometry by observing structures established in real tropical geometry, such as positive tropicalizations of hypersurfaces and tropical semialgebraic sets.
Paintability of $r$-chromatic graphs
Published
• View Publication
• BIB
The online list coloring game is a two-player graph-coloring game played on a graph $G$ as follows. On each turn, a Lister reveals a new color $c$ at some subset $S \subseteq V(G)$ of uncolored vertices, and then a Painter chooses an independent subset of $S$ to which to assign $c$. As the game is played, the revealed colors at each vertex $v \in V(G)$ form a color set $L(v)$, often called a list. The paintability of $G$ measures the minimum value $k$ for which Painter has a strategy to complete a coloring of $G$ in such a way that $|L(v)| \leq k$ for each vertex $v \in V(G)$. The paintability of a graph is an upper bound for its list chromatic number, or choosability.
The online list coloring game is a special case of the DP-painting game, which is defined similarly using the setting of DP-coloring. In the DP-painting game, the Lister reveals correspondence covers of a graph $G$ rather than colors, and the Painter chooses independent subsets of these covers. The DP-painting game has a parameter known as DP-paintability which is analogous to paintability.
In this paper, we consider upper bounds for the paintability and DP-paintability of a graph $G$ with large maximum degree $Δ$ and chromatic number at most some fixed value $r$. We prove that the paintability of $G$ is at most $\left(1 - \frac{1}{4r+1} \right ) Δ+ 2$ and that the DP-paintability of $G$ is at most $Δ- Ω( \sqrt{Δ\log Δ})$. We prove our first upper bound using Alon-Tarsi orientations, and we prove our second upper bound by considering the strict type-$3$ degeneracy parameter recently introduced by Zhou, Zhu, and Zhu.
Ordered and colored subgraph density problems
Published
• View Publication
• BIB
We consider three extremal problems about the number of copies of a fixed graph in another larger graph. First, we correct an error in a result of Reiher and Wagner and prove that the number of $k$-edge stars in a graph with density $x \in [0, 1]$ is asymptotically maximized by a clique and isolated vertices or its complement. Next, among ordered $n$-vertex graphs with $m$ edges, we determine the maximum and minimum number of copies of a $k$-edge star whose nonleaf vertex is minimum among all vertices of the star. Finally, for $s \ge 2$, we define a particular $3$-edge-colored complete graph $F$ on $2s$ vertices with colors blue, green and red, and determine, for each $(x_b, x_g)$ with $x_b+x_g\le 1$ and $x_b, x_g \ge 0$, the maximum density of $F$ in a large graph whose blue, green and red edge sets have densities $x_b, x_g$ and $1-x_b-x_g$, respectively. These are the first nontrivial examples of colored graphs for which such complete results are proved.
Walks on tiled boards
Several articles deal with tilings with various shapes, and also a very frequent type of combinatorics is to examine the walks on graphs or on grids. We combine these two things and give the numbers of the shortest walks crossing the tiled $(1\times n)$ and $(2\times n)$ square grids by covering them with squares and dominoes. We describe these numbers not only recursively, but also as rational polynomial linear combinations of Fibonacci numbers.
Edge-Disjoint Spanning Trees on Star-Product Networks
Published
• View Publication
• BIB
A star-product operation may be used to create large graphs from smaller factor graphs. Network topologies based on star-products demonstrate several advantages including low-diameter, high scalability, modularity and others. Many state-of-the-art diameter-2 and -3 topologies~(Slim Fly, Bundlefly, PolarStar etc.) can be represented as star products.
In this paper, we explore constructions of edge-disjoint spanning trees~(EDSTs) in star-product topologies. EDSTs expose multiple parallel disjoint pathways in the network and can be leveraged to accelerate collective communication, enhance fault tolerance and network recovery, and manage congestion.
Our EDSTs have provably maximum or near-maximum cardinality which amplifies their benefits. We further analyze their depths and show that for one of our constructions, all trees have order of the depth of the EDSTs of the factor graphs, and for all other constructions, a large subset of the trees have that depth.
A 2-distance $(2Δ+7)$-coloring of planar graphs
A vertex coloring of a graph $G$ is called a $2$-distance coloring if any two vertices at a distance at most $2$ from each other receive different colors. Recently, Bousquet et al. (Discrete Mathematics, 346(4), 113288, 2023) proved that $2Δ+7$ colors are sufficient for the $2$-distance coloring of planar graphs with maximum degree $Δ\geq 9$. In this paper, we strengthen their result by removing the maximum degree constraint and show that all planar graphs admit a 2-distance $(2Δ+7)$-coloring. This particularly improves the result of Van den Heuvel and McGuinness (Journal of Graph Theory, 42(2), 110-124, 2003).
Obligatory hypergraphs
Published
• View Publication
• BIB
Erdős and Hajnal proved that every graph of uncountable chromatic number contains arbitrarily large finite, complete, bipartite graphs. We extend this result to hypergraphs.
A signed graph product and its Application
A signed graph product is defined for a new product, and initially the unsigned graph product's Laplacian spectrum and signless Laplacian spectrum are found. Next, for the signed graph product, the adjacency spectrum, Laplacian spectrum, and signless Laplacian spectrum are found. In the end, we determined the prerequisite for the signed graph product to be integral and we also have generated a sequence of co-spectral signed graphs and a sequence of non-co-spectral equienergetic signed graphs.
Antimagic Labeling of Graphs Using Prime Numbers
Graph labeling is a technique that assigns unique labels or weights to the vertices or edges of a graph, often used to analyze and solve various graph-related problems. There are few methods with certain limitations conducted by researchers previously on this topic. This research paper focuses on antimagic labeling of different types of graphs and trees. It entails the assignment of distinct prime values to edges in a manner that ensures the cumulative sum of edge labels at each vertex remains unique. This research proposes a conjecture on antimagic labeling of any graphs and proves two theories. Firstly, we tried to give weights to the edges randomly, as some exceptions are faced in particular phases in this way, we followed a whole new way to mitigate this problem. This research paper demonstrates computational and mathematical verification to prove that antimagic labeling of any perfect binary tree and complete graph is possible.