graph
35252 papers tagged with this keyword
Refined algebraic domains with finite sets in the boundaries
Refined algebraic domains are regions in the plane surrounded by finitely many non-singular real algebraic curves which may intersect with normal crossing. We are interested in shapes of such regions with surrounding real algebraic curves. Poincar'e-Reeb Graphs of them are graphs the regions naturally collapse to respecting the projection to a straight line. Such graphs were first formulated by Sorea, for example, around 2020, and regions surrounded by mutually disjoint non-singular real algebraic curves were mainly considered. The author has generalized the studies to several general situations.
We find classes of such objects defined inductively by adding curves. We respect characteristic finite sets in the curves. We consider regions surrounded by the curves and of a new type. We investigate geometric properties and combinatorial ones of them and discuss important examples. We also previously studied explicit classes defined inductively in this way and review them.
Face covers and rooted minors in bounded genus graphs
A {\em rooted graph} is a graph together with a designated vertex subset, called the {\em roots}. In this paper, we consider rooted graphs embedded in a fixed surface. A collection of faces of the embedding is a {\em face cover} if every root is incident to some face in the collection. We prove that every $3$-connected, rooted graph that has no rooted $K_{2,t}$ minor and is embedded in a surface of Euler genus $g$, has a face cover whose size is upper-bounded by some function of $g$ and $t$, provided that the face-width of the embedding is large enough in terms of $g$. In the planar case, we prove an unconditional $O(t^4)$ upper bound, improving a result of Böhme and Mohar~\cite{BM02}. The higher genus case was claimed without a proof by Böhme, Kawarabayashi, Maharry and Mohar~\cite{BKMM08}.
Revisiting products and powers of $(m,p)$ and $(m,\infty)$-isometries
We review known results concerning powers and products of $(m,p)$-isometries with a view to providing elementary proofs based on properties of polynomials. We consider also the situation when $p=\infty$ where we find elements of graph theory and combinatorics arise naturally.
Dense $2$-connected planar graphs and the planar Turán number of $2C_k$
Shi, Walsh and Yu demonstrated that any dense planar graph with certain property (known as circuit graph) contains a large near-triangulation. We extend the result to $2$-connected plane graphs, thereby addressing a question posed by them. Using the result, we prove that the planar Tuán number of $2C_k$ is $\left[3-Θ(k^{\log_23})^{-1}\right]n$ when $k\geq 5$.
Strongly chordal graphs as intersection graphs of trees (Farber's proof revisited)
In his Ph.D. thesis, Farber proved that every strongly chordal graph can be represented as intersection graph of subtrees of a weighted tree, and these subtrees are ``compatible''. Moreover, this is an equivalent characterization of strongly chordal graphs. To my knowledge, Farber never published his results in a conference or a journal, and the thesis is not available electronically. As a service to the community, I therefore reproduce the proof here.
I then answer some questions that naturally arise from the proof. In particular, the sufficiency proof works by showing the existence of a simple vertex. I give here an alternate sufficiency proof that directly converts a set of compatible subtrees into a strong elimination order.
Star decompositions and independent sets in random regular graphs
A $k$-star decomposition of a graph is a partition of its edges into $k$-stars (i.e., $k$ edges with a common vertex). The paper studies the following problem: for what values of $k>d/2$ does the random $d$-regular graph have a $k$-star decomposition (asymptotically almost surely, provided that the number of edges is divisible by $k$)?
Delcourt, Greenhill, Isaev, Lidický, and Postle proposed the following conjecture. It is easy to see that a $k$-star decomposition necessitates the existence of an independent set of density $1-d/(2k)$. So let $k^{\mathrm{ind}}_d$ be the largest $k$ for which the random $d$-regular graph a.a.s. contains an independent set of this density. Clearly, $k$-star decompositions cannot exist for $k>k^{\mathrm{ind}}_d$. The conjecture suggests that this is essentially the only restriction: there is a threshold $k^\star_d$ such that $k$-star decompositions exist if and only if $k \leq k^\star_d$, and it (basically) coincides with the other threshold, i.e., $k^\star_d \approx k^{\mathrm{ind}}_d$.
We confirm this conjecture for sufficiently large $d$ by showing that a $k$-star decomposition exists if $d/2< k < k^{\mathrm{ind}}_d$. In fact, we prove the existence even if $k=k^{\mathrm{ind}}_d$ for degrees $d$ with asymptotic density $1$.
A quantitative way to e-positivity of trees
In 2020, Dahlberg, She, and van Willigenburg conjectured that the chromatic symmetric function of any tree with maximum degree at least 4 is not e-positive. Zheng and Tom verified this conjecture for all trees with maximum degree at least 5 and spiders with maximum degree 4, and in their proofs the following necessary condition given by Wolfgang plays an important role: every connected graph having e-positive chromatic symmetric function must contain a connected partition of every type.
In order to make further progress on this conjecture, we refine Wolfgang's result in a quantitative way. At first, we give an explicit formula for the e-coefficients of trees in terms of their connected partitions, by which e-positivity is equivalent to a series of inequalities for the numbers of connected partitions. Based on this formula, we present several necessary conditions on the numbers of connected partitions or acyclic orientations for trees to be e-positive. These necessary conditions turn out to be characterizations on the structure of e-positive trees, and as sample applications we prove the non-e-positivity of several classes of trees with maximum degree 3 or 4. We further make more discussions and calculations on trees with maximum degree 4 and having a connected partition of every type, which inspire us to come up with a list of open problems towards the final resolution of the above conjecture.
The Topological form is the Pfaffian form
Published
• View Publication
• BIB
For a given graph $G$, Budzik, Gaiotto, Kulp, Wang, Williams, Wu, Yu, and the first author studied a ''topological'' differential form $α_G$, which expresses violations of BRST-closedness of a quantum field theory along a single topological direction. In a seemingly unrelated context, Brown, Panzer, and the second author studied a ''Pfaffian'' differential form $φ_G$, which is used to construct cohomology classes of the odd commutative graph complex. We give an explicit combinatorial proof that $α_G$ coincides with $φ_G$. We also discuss the equivalence of several properties of these forms, which had been established independently for both contexts in previous work.
Permutation-based Strategies for Labeled Chip-Firing on $k$-ary Trees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 28:2, Combinatorics (January 9, 2026) dmtcs:16108
• View Publication
• BIB
Chip-firing is a combinatorial game on a graph, in which chips are placed and dispersed among its vertices until a stable configuration is achieved. We specifically study a chip-firing variant on an infinite, rooted, directed $k$-ary tree where we place $k^n$ chips labeled $0,1,\dots, k^n-1$ on the root for some nonnegative integer $n$, and we say a vertex $v$ can fire if it has at least $k$ chips. When a vertex fires, we select $k$ labeled chips and send the $i$th smallest chip among them to its $i$th leftmost child. A stable configuration is reached when no vertex can fire. In this paper, we focus on stable configurations resulting from specific firing strategies based on permutations of $1, 2, \dots, n$. We then express the stable configuration as a permutation of $0,1, 2, \dots, k^n-1$ and explore its properties, such as the number of inversions and descents.
Edge isoperimetry of lattices
Published
• View Publication
• BIB
We present two results related to an edge-isoperimetric question for Cayley graphs on the integer lattice asked by Ben Barber and Joshua Erde [Isoperimetry of Integer Lattices, Discrete Analysis 7 (2018)]. For any (undirected) graph $G$, the edge boundary of a subset of vertices $S$ is the number of edges between $S$ and its complement in $G$. Barber and Erde asked whether for any Cayley graph on $\mathbb{Z}^d$, there is always an ordering of $\mathbb{Z}^d$ such that for each $n$, the first $n$ terms minimize the edge boundary among all subsets of size $n$.
First, we present an example of a Cayley graph $G_d$ on $\mathbb{Z}^d$ (for all $d\geq 2$) for which there is no such ordering. Furthermore, we show that for all $n$ and any optimal $n$-vertex subset $S_n$ of $G_d$, there is no infinite sequence $S_n\subset S_{n+1}\subset S_{n+2}\subset\cdots$ of optimal sets $S_i$, where $|S_i|=i$ for $i\geq n$. This is to be contrasted with the positive result in $\mathbb{Z}^1$ shown by Joseph Briggs and Chris Wells [arXiv:2402.14087].
Our second result is a positive example for the unit-length triangular lattice (which is isomorphic to $\mathbb{Z}^2$) where two vertices are connected by an edge if their distance is $1$ or $\sqrt{3}$. We show that this graph has such an ordering. This is the most complicated example known to us of a two-dimensional Cayley graph for which an ordering exists.
Bounds on Independent Isolation in Graphs
Published
• View Publication
• BIB
An isolating set of a graph is a set of vertices $S$ such that, if $S$ and its neighborhood is removed, only isolated vertices remain; and the isolation number is the minimum size of such a set. It is known that for every connected graph apart from $K_2$ and $C_5$, the isolation number is at most one-third the order and indeed such a graph has three disjoint isolating sets. In this paper we consider isolating sets where $S$ is required to be an independent set and call the minimum size thereof the independent isolation number. While for general graphs of order $n$ the independent isolation number can be arbitrarily close to $n/2$, we show that in bipartite graphs the vertex set can be partitioned into three disjoint independent isolating sets, whence the independent isolation number is at most $n/3$; while for $3$-colorable graphs the maximum value of the independent isolation number is $(n+1)/3$. We also provide a bound for $k$-colorable graphs.
Secure domination in $P_5$-free graphs
Published
• View Publication
• BIB
A dominating set of a graph $G$ is a set $S \subseteq V(G)$ such that every vertex in $V(G) \setminus S$ has a neighbor in $S$, where two vertices are neighbors if they are adjacent. A secure dominating set of $G$ is a dominating set $S$ of $G$ with the additional property that for every vertex $v \in V(G) \setminus S$, there exists a neighbor $u$ of $v$ in $S$ such that $(S \setminus \{u\}) \cup \{v\}$ is a dominating set of $G$. The secure domination number of $G$, denoted by $γ_s(G)$, is the minimum cardinality of a secure dominating set of $G$. We prove that if $G$ is a $P_5$-free graph, then $γ_s(G) \le \frac{3}{2}α(G)$, where $α(G)$ denotes the independence number of $G$. We further show that if $G$ is a connected $(P_5, H)$-free graph for some $H \in \{ P_3 \cup P_1, K_2 \cup 2K_1, ~\text{paw},~ C_4\}$, then $γ_s(G)\le \max\{3,α(G)\}$. We also show that if $G$ is a $(P_3 \cup P_2)$-free graph, then $γ_s(G)\le α(G)+1$.
Maximal entropy random walks and central Markov chains
We introduce and develop the concept of Maximal Entropy Random Walks (MERWs) on Weighted Bratteli Diagrams (WBDs), maximizing entropy production along paths as a natural criterion for choosing random walks on networks. Initially defined for irreducible finite graphs, MERWs were recently extended to the infinite setting in [1]. Bratteli Diagrams model various growth processes, such as the Young Lattice, where the Plancherel growth process emerges as a MERW. We show that MERWs are special cases of central Markov chains, which, in general, provide a powerful framework for deriving combinatorial identities. Regarding growing trees, in particular, we retrieve and extend Han's hook-length formula for binary trees and demonstrate that the Binary Search Tree (BST) process is a MERW, recovering its asymptotic behavior. We also introduce preferential attachment to generalize BSTs. For comb models, significant central measures appear, including the Chinese restaurant process, providing an alternative proof of the Poisson-Dirichlet limit distribution. Finally, we propose a Monte Carlo method, based on Knuth's algorithm, to approximate MERWs. We apply it to a pyramidal growth model, drawing connections with the limit shape of Young diagrams under the Plancherel measure.
On the number of Hamiltonian cycles in the generalized Petersen graph
Published in J. Combin. Math. Combin. Comput. 126 (2025) 263-278
• View Publication
• BIB
The generalized Petersen graph $G(n, k)$ is a cubic graph with vertex set $V(G(n, k)) = \{v_i\}_{0 \leq i < n} \cup \{w_i\}_{0 \leq i < n}$ and edge set $E(G(n, k)) = \{v_i v_{i+1}\}_{0 \leq i < n} \cup \{w_i w_{i+k}\}_{0 \leq i < n} \cup \{v_i w_i\}_{0 \leq i < n}$ where the indices are taken modulo $n$. Schwenk found the number of Hamiltonian cycles in $G(n, 2)$, and in this article we present initial conditions and linear recurrence relations for the number of Hamiltonian cycles in $G(n, 3)$ and $G(n, 4)$. This is attained by introducing $G'(n, k)$, which is a modified version of $G(n, k)$, and a subset of its subgraphs which we call admissible, and which are partitioned into different classes in such a manner that we can find relations between the number of admissible subgraphs of each class. The classes and their relations define a directed graph such that each strongly connected component is of a manageable size for $k=3$ and $k=4$, which allows us to find linear recurrence relations for the number of admissible subgraphs in each class in these cases. The number of Hamiltonian cycles in $G(n, k)$ is a sum of the number of admissible subgraphs of $G'(n, k)$ over a certain subset of the classes.
Crossing Number of 3-Plane Drawings
Published
• View Publication
• BIB
We study 3-plane drawings, that is, drawings of graphs in which every edge has at most three crossings. We show how the recently developed Density Formula for topological drawings of graphs (KKKRSU GD 2024) can be used to count the crossings in terms of the number $n$ of vertices. As a main result, we show that every 3-plane drawing has at most $5.5(n-2)$ crossings, which is tight. In particular, it follows that every 3-planar graph on $n$ vertices has crossing number at most $5.5n$, which improves upon a recent bound (BBBDHKMOW GD 2024) of $6.6n$. To apply the Density Formula, we carefully analyze the interplay between certain configurations of cells in a 3-plane drawing. As a by-product, we also obtain an alternative proof for the known statement that every 3-planar graph has at most $5.5(n-2)$ edges.
On resilient hypergraphs
The matching number of a $k$-graph is the maximum number of pairwise disjoint edges in it. The $k$-graph is called $t$-resilient if omitting $t$ vertices never decreases its matching number. The complete $k$-graph on $sk+k-1$ vertices has matching number $s$ and it is easily seen to be $(k-1)$-resilient. We conjecture that this is maximal for $k=3$ and $s$ arbitrary. The main result verifies this conjecture for $s=2$. Then Theorem 1.9 provides a considerable improvement on the known upper bounds for $s\geq 3$.
Homotopy types of complexes of hyperplanes in quasi-median graphs and applications to right-angled Artin groups
In this article, we prove that, given two finite connected graphs $Γ_1$ and $Γ_2$, if the two right-angled Artin groups $A(Γ_1)$ and $A(Γ_2)$ are quasi-isometric, then the infinite pointed sums $\bigvee_\mathbb{N} Γ_1^{\bowtie}$ and $\bigvee_\mathbb{N} Γ_2^{\bowtie}$ are homotopy equivalent, where $Γ_i^{\bowtie}$ denotes the simplicial complex whose vertex-set is $Γ_i$ and whose simplices are given by joins. These invariants are extracted from a study, of independent interest, of the homotopy types of several complexes of hyperplanes in quasi-median graphs (such as one-skeleta of CAT(0) cube complexes). For instance, given a quasi-median graph $X$, the \emph{crossing complex} $\mathrm{Cross}^\triangle(X)$ is the simplicial complex whose vertices are the hyperplanes (or $θ$-classes) of $X$ and whose simplices are collections of pairwise transverse hyperplanes. When $X$ has no cut-vertex, we show that $\mathrm{Cross}^\triangle(X)$ is homotopy equivalent to the pointed sum of the links of all the vertices in the prism-completion $X^\square$ of $X$.
Edge ideals whose all matching powers are bi-Cohen-Macaulay
Published
• View Publication
• BIB
We classify all graphs $G$ satisfying the property that all matching powers $I(G)^{[k]}$ of the edge ideal $I(G)$ are bi-Cohen-Macaulay for $1\le k\leν(G)$, where $ν(G)$ is the maximum size of a matching of $G$.
Counting cospectral graphs obtained via switching
Published
• View Publication
• BIB
Switching is an operation on a graph that does not change the spectrum of the adjacency matrix, thus producing cospectral graphs. An important activity in the field of spectral graph theory is the characterization of graphs by their spectrum. Hence, switching provides a tool for disproving the existence of such a characterization.
This paper presents a general framework for counting the number of graphs that have a non-isomorphic cospectral graph through a switching method, expanding on the work by Haemers and Spence [European Journal of Combinatorics, 2004]. Our framework is based on a different counting approach, which allows it to be used for all known switching methods for the adjacency matrix. From this, we derive asymptotic results, which we complement with computer enumeration results for graphs up to $10$ vertices.
Minors in small-set expanders
Published
• View Publication
• BIB
We study large minors in small-set expanders. More precisely, we consider graphs with $n$ vertices and the property that every set of size at most $αn / t$ expands by a factor of $t$, for some (constant) $α> 0$ and large $t = t(n)$. We obtain the following:
* Improving results of Krivelevich and Sudakov, we show that a small-set expander contains a complete minor of order $\sqrt{n t / \log n}$.
* We show that a small-set expander contains every graph $H$ with $O(n \log t / \log n)$ edges and vertices as a minor. We complement this with an upper bound showing that if an $n$-vertex graph $G$ has average degree $d$, then there exists a graph with $O(n \log d / \log n)$ edges and vertices which is not a minor of $G$. This has two consequences: (i) It implies the optimality of our result in the case $t = d^c$ for some constant $c > 0$, and (ii) it shows expanders are optimal minor-universal graphs of a given average degree.